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.
|
inline |
Definition at line 166 of file dualDfpn.cc.
References osl::BLACK, blocking_verify, pool, table, and osl::WHITE.
|
inline |
Definition at line 175 of file dualDfpn.cc.
References showStats().
|
inline |
Definition at line 194 of file dualDfpn.cc.
References main_node_count.
|
inline |
Definition at line 201 of file dualDfpn.cc.
References simulation_count.
|
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().
disproof_table_t osl::checkmate::DualDfpn::Shared::disproof_table |
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.
size_t osl::checkmate::DualDfpn::Shared::main_node_count |
Definition at line 148 of file dualDfpn.cc.
Referenced by addMainNodeCount(), and showStats().
CArray<OraclePool,2> osl::checkmate::DualDfpn::Shared::pool |
Definition at line 147 of file dualDfpn.cc.
Referenced by Shared(), and showStats().
CArray<stat::Average,max_oracle_list_size> osl::checkmate::DualDfpn::Shared::proof_by_oracle |
Definition at line 151 of file dualDfpn.cc.
Referenced by showStats().
volatile int osl::checkmate::DualDfpn::Shared::shared_table_gc_wait |
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().
size_t osl::checkmate::DualDfpn::Shared::simulation_count |
Definition at line 149 of file dualDfpn.cc.
Referenced by addSimulationNodeCount(), and showStats().
CArray<DfpnTable,2> osl::checkmate::DualDfpn::Shared::table |
Definition at line 146 of file dualDfpn.cc.
Referenced by Shared(), and showStats().