40 #ifdef GECODE_THREADS_WINDOWS
42 namespace Gecode {
namespace Support {
47 static_cast<Thread::Run*
>(
p)->exec();
57 w_h = CreateThread(NULL, 0,
bootstrap,
this, 0, NULL);
59 throw OperatingSystemError(
"Thread::run[Windows::CreateThread]");
60 if (CloseHandle(w_h) == 0)
61 throw OperatingSystemError(
"Thread::run[Windows::CloseHandle]");
Mutex m
Mutex for synchronization.
void * bootstrap(void *p)
Function to start execution.
void acquire(void)
Acquire the mutex and possibly block.
Runnable * r
Runnable object to execute.
void release(void)
Release the mutex.
int p
Number of positive literals for node type.
Gecode toplevel namespace
Run(Runnable *r)
Create a new thread.