#include <Context.h>
Public Member Functions | |
void | start_iteration () |
void | cancel_iteration () |
void | commit_iteration () |
void | acquire (Lockable *L) |
Private Types | |
typedef boost::intrusive::slist < Lockable, boost::intrusive::base_hook < LockableBaseHook > , boost::intrusive::constant_time_size < false > , boost::intrusive::linear < true > > | locksTy |
Private Attributes | |
locksTy | locks |
typedef boost::intrusive::slist<Lockable, boost::intrusive::base_hook<LockableBaseHook>, boost::intrusive::constant_time_size<false>, boost::intrusive::linear<true> > GaloisRuntime::SimpleRuntimeContext::locksTy [private] |
void GaloisRuntime::SimpleRuntimeContext::acquire | ( | Lockable * | L | ) | [inline] |
void GaloisRuntime::SimpleRuntimeContext::cancel_iteration | ( | ) | [inline] |
void GaloisRuntime::SimpleRuntimeContext::commit_iteration | ( | ) | [inline] |
void GaloisRuntime::SimpleRuntimeContext::start_iteration | ( | ) | [inline] |