![]() |
Realm
A distributed, event-based tasking library
|
#include <profiling.h>
Classes | |
| struct | WaitInterval |
Public Types | |
| typedef long long | timestamp_t |
Public Attributes | |
| std::vector< WaitInterval > | intervals |
Static Public Attributes | |
| static const ProfilingMeasurementID | ID = PMID_OP_EVENT_WAITS |
| static const timestamp_t | INVALID_TIMESTAMP = LLONG_MIN |
| typedef long long Realm::ProfilingMeasurements::OperationEventWaits::timestamp_t |
|
static |
| std::vector<WaitInterval> Realm::ProfilingMeasurements::OperationEventWaits::intervals |
|
static |