36#ifdef GECODE_THREADS_WINDOWS
53 w_h = CreateThread(NULL, 0,
bootstrap,
this, 0, NULL);
55 throw OperatingSystemError(
"Thread::run[Windows::CreateThread]");
56 if (CloseHandle(w_h) == 0)
57 throw OperatingSystemError(
"Thread::run[Windows::CloseHandle]");
An interface for objects that can be run by a thread.
Runnable * r
Runnable object to execute.
Run(Runnable *r)
Create a new thread.
Mutex m
Mutex for synchronization.
Support algorithms and datastructures
void * bootstrap(void *p)
Function to start execution.
Gecode toplevel namespace