A real thread. More...
#include <thread.hpp>
Public Member Functions | |
Run (Runnable *r) | |
Create a new thread. | |
void | exec (void) |
Infinite loop for execution. | |
void | run (Runnable *r) |
Run a runnable object. | |
Static Public Member Functions | |
static void * | operator new (size_t s) |
Allocate memory from heap. | |
static void | operator delete (void *p) |
Free memory allocated from heap. | |
Public Attributes | |
Run * | n |
Next idle thread. | |
Runnable * | r |
Runnable object to execute. | |
Event | e |
Event to wait for next runnable object to execute. | |
Mutex | m |
Mutex for synchronization. |
A real thread.
Definition at line 282 of file thread.hpp.
Gecode::Support::Thread::Run::Run | ( | Runnable * | r | ) | [inline] |
void Gecode::Support::Thread::Run::exec | ( | void | ) |
Infinite loop for execution.
Definition at line 54 of file thread.cpp.
void Gecode::Support::Thread::Run::run | ( | Runnable * | r | ) | [inline] |
Run a runnable object.
Definition at line 102 of file thread.hpp.
void * Gecode::Support::Thread::Run::operator new | ( | size_t | s | ) | [inline, static] |
Allocate memory from heap.
Definition at line 126 of file thread.hpp.
void Gecode::Support::Thread::Run::operator delete | ( | void * | p | ) | [inline, static] |
Free memory allocated from heap.
Definition at line 122 of file thread.hpp.
Next idle thread.
Definition at line 285 of file thread.hpp.
Runnable object to execute.
Definition at line 287 of file thread.hpp.
Event to wait for next runnable object to execute.
Definition at line 289 of file thread.hpp.
Mutex for synchronization.
Definition at line 291 of file thread.hpp.