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

List of all members.

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

Definition at line 166 of file dualDfpn.cc.

References osl::BLACK, blocking_verify, pool, table, and osl::WHITE.

Definition at line 175 of file dualDfpn.cc.

References showStats().


Member Function Documentation

Definition at line 194 of file dualDfpn.cc.

References main_node_count.

Definition at line 201 of file dualDfpn.cc.

References simulation_count.


Member Data Documentation

Definition at line 152 of file dualDfpn.cc.

Referenced by Shared().

Definition at line 164 of file dualDfpn.cc.

Definition at line 150 of file dualDfpn.cc.

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 149 of file dualDfpn.cc.

Referenced by addSimulationNodeCount(), and showStats().

Definition at line 146 of file dualDfpn.cc.

Referenced by Shared(), and showStats().


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines