All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Classes | Public Types | Public Member Functions | Public Attributes | List of all members
osl::checkmate::DualDfpn::Shared Struct Reference
Collaboration diagram for osl::checkmate::DualDfpn::Shared:
Collaboration graph
[legend]

Classes

struct  TableUseLock
 

Public Types

typedef slist< PathEncodingdisproof_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
 

Detailed Description

Definition at line 144 of file dualDfpn.cc.

Member Typedef Documentation

Definition at line 162 of file dualDfpn.cc.

Definition at line 163 of file dualDfpn.cc.

Constructor & Destructor Documentation

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().

Member Function Documentation

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

Member Data Documentation

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
volatile int osl::checkmate::DualDfpn::Shared::shared_table_user
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().


The documentation for this struct was generated from the following file: