Provides the enum and the different headers for communication. More...
Classes | |
class | bcast_location_rpc |
Header for broadcast RPCs to locations. More... | |
class | bcast_request |
Header for ordered and unordered broadcast requests. More... | |
class | location_rpc |
Header for broadcast RPC to locations. More... | |
class | request |
Header for ordered and unordered point-to-point requests. More... | |
Public Types | |
enum | type { INVALID = 0x0, RPC, LOCATION_RPC, FWD_LOCATION_RPC, BCAST_LOCATION_RPC, RMI, FWD_RMI, BCAST_RMI, FWD_BCAST_RMI, UNORDERED_BCAST_RMI, FWD_UNORDERED_BCAST_RMI } |
Header type. More... | |
using | epoch_type = logical_clock::time_type |
Provides the enum and the different headers for communication.
Header type.