![]() |
fpmas 1.6
|
Classes | |
class | HardSyncLinker |
class | HardSyncMutex |
class | LinkClient |
class | LinkServer |
class | MutexClient |
struct | MutexRequest |
class | MutexServer |
class | Server |
class | TerminationAlgorithm |
Enumerations | |
enum | Epoch : int { EVEN = 0x00 , ODD = 0x10 } |
enum | Tag : int { READ = 0x00 , READ_RESPONSE = 0x01 , ACQUIRE = 0x02 , ACQUIRE_RESPONSE = 0x03 , RELEASE_ACQUIRE = 0x04 , LOCK = 0x05 , LOCK_RESPONSE = 0x06 , UNLOCK = 0x07 , LOCK_SHARED = 0x08 , LOCK_SHARED_RESPONSE = 0x09 , UNLOCK_SHARED = 0x0A , LINK = 0x0B , UNLINK = 0x0C , REMOVE_NODE = 0x0D , TOKEN = 0x0E , END = 0x0F } |
enum | Color : std::uint8_t { WHITE = 0 , BLACK = 1 } |
enum class | MutexRequestType { READ , LOCK , ACQUIRE , LOCK_SHARED } |
Defines generic API used to handle HardSyncMode.
enum fpmas::synchro::hard::api::Epoch : int |
Constants used to build messages tags.
enum fpmas::synchro::hard::api::Tag : int |
Constants used to describe fpmas::synchro::hard::HardSyncMode message types.
enum fpmas::synchro::hard::api::Color : std::uint8_t |
Process colors used by the termination algorithm.
|
strong |
Constants used to describe fpmas::synchro::hard::HardSyncMutex requests.