Classes | |
struct | TableUseLock |
Public Types | |
typedef slist< PathEncoding > | disproof_list_t |
typedef hash_map< HashKey, disproof_list_t > | disproof_table_t |
Public Member Functions | |
Shared () | |
~Shared () | |
void | showStats () |
void | addMainNodeCount (int add) |
void | addSimulationNodeCount (int add) |
Public Attributes | |
CArray< DfpnTable, 2 > | table |
CArray< OraclePool, 2 > | pool |
size_t | main_node_count |
size_t | simulation_count |
volatile size_t | last_gc |
volatile size_t | gc_threshold |
CArray< stat::Average, max_oracle_list_size > | proof_by_oracle |
CArray< bool, 2 > | blocking_verify |
volatile int | shared_table_user |
volatile int | shared_table_gc_wait |
disproof_table_t | disproof_table |
Definition at line 144 of file dualDfpn.cc.
typedef slist<PathEncoding> osl::checkmate::DualDfpn::Shared::disproof_list_t |
Definition at line 162 of file dualDfpn.cc.
typedef hash_map<HashKey, disproof_list_t> osl::checkmate::DualDfpn::Shared::disproof_table_t |
Definition at line 163 of file dualDfpn.cc.
osl::checkmate::DualDfpn::Shared::Shared | ( | ) | [inline] |
Definition at line 166 of file dualDfpn.cc.
References osl::BLACK, blocking_verify, pool, table, and osl::WHITE.
osl::checkmate::DualDfpn::Shared::~Shared | ( | ) | [inline] |
Definition at line 175 of file dualDfpn.cc.
References showStats().
void osl::checkmate::DualDfpn::Shared::addMainNodeCount | ( | int | add | ) | [inline] |
Definition at line 194 of file dualDfpn.cc.
References main_node_count.
void osl::checkmate::DualDfpn::Shared::addSimulationNodeCount | ( | int | add | ) | [inline] |
Definition at line 201 of file dualDfpn.cc.
References simulation_count.
void osl::checkmate::DualDfpn::Shared::showStats | ( | ) | [inline] |
Definition at line 179 of file dualDfpn.cc.
References osl::BLACK, osl::stat::Average::getAverage(), main_node_count, osl::stat::Average::numElements(), pool, proof_by_oracle, simulation_count, table, and osl::WHITE.
Referenced by ~Shared().
CArray<bool,2> osl::checkmate::DualDfpn::Shared::blocking_verify |
Definition at line 152 of file dualDfpn.cc.
Referenced by Shared().
Definition at line 164 of file dualDfpn.cc.
volatile size_t osl::checkmate::DualDfpn::Shared::gc_threshold |
Definition at line 150 of file dualDfpn.cc.
volatile size_t osl::checkmate::DualDfpn::Shared::last_gc |
Definition at line 150 of file dualDfpn.cc.
Definition at line 148 of file dualDfpn.cc.
Referenced by addMainNodeCount(), and showStats().
Definition at line 147 of file dualDfpn.cc.
Referenced by Shared(), and showStats().
Definition at line 151 of file dualDfpn.cc.
Referenced by showStats().
Definition at line 158 of file dualDfpn.cc.
Referenced by osl::checkmate::DualDfpn::Shared::TableUseLock::~TableUseLock().
volatile int osl::checkmate::DualDfpn::Shared::shared_table_user |
Definition at line 158 of file dualDfpn.cc.
Referenced by osl::checkmate::DualDfpn::Shared::TableUseLock::TableUseLock(), and osl::checkmate::DualDfpn::Shared::TableUseLock::~TableUseLock().
Definition at line 149 of file dualDfpn.cc.
Referenced by addSimulationNodeCount(), and showStats().
Definition at line 146 of file dualDfpn.cc.
Referenced by Shared(), and showStats().