Definition at line 11 of file statistics.hpp.
Public Attributes | |
utils::statistics::RelaxedCounter< size_t > | lock_successes {0} |
utils::statistics::RelaxedCounter< size_t > | lock_failures {0} |
utils::statistics::RelaxedCounter< size_t > | watchdog_triggers {0} |
utils::statistics::RelaxedCounter< size_t > | brain_splits {0} |
utils::statistics::RelaxedCounter< size_t > | task_failures {0} |
utils::statistics::RelaxedCounter<size_t> dist_lock::Statistics::brain_splits {0} |
Definition at line 15 of file statistics.hpp.
utils::statistics::RelaxedCounter<size_t> dist_lock::Statistics::lock_failures {0} |
Definition at line 13 of file statistics.hpp.
utils::statistics::RelaxedCounter<size_t> dist_lock::Statistics::lock_successes {0} |
Definition at line 12 of file statistics.hpp.
utils::statistics::RelaxedCounter<size_t> dist_lock::Statistics::task_failures {0} |
Definition at line 16 of file statistics.hpp.
utils::statistics::RelaxedCounter<size_t> dist_lock::Statistics::watchdog_triggers {0} |
Definition at line 14 of file statistics.hpp.