![]() |
Realm
A distributed, event-based tasking library
|
#include <rsrv_impl.h>
Static Public Member Functions | |
| static void | handle_message (NodeID sender, const DestroyLockMessage &msg, const void *data, size_t datalen) |
Public Attributes | |
| Reservation | actual |
| Reservation | dummy |
| Event | wait_on |
|
static |
| Reservation Realm::DestroyLockMessage::actual |
| Reservation Realm::DestroyLockMessage::dummy |
| Event Realm::DestroyLockMessage::wait_on |