spot
1.2.1a
|
Wrapper Launch all threads. More...
#include <fasttgbaalgos/ec/concurec/dead_share.hh>
Public Types | |
enum | DeadSharePolicy { FULL_TARJAN = 0, FULL_DIJKSTRA = 1, MIXED = 2, FULL_TARJAN_EC = 3 } |
The walk policy to be used by threads. More... | |
Public Member Functions | |
dead_share (instanciator *i, int thread_number=1, DeadSharePolicy policy=FULL_TARJAN, std::string option="") | |
Constructor for the multithreaded emptiness check. More... | |
virtual | ~dead_share () |
Release all memory. More... | |
bool | check () |
launch every thread with associated data and wait them to end. More... | |
virtual std::string | csv () |
A CSV containing : More... | |
void | dump_threads () |
Additionnal information threads by threads. More... | |
Protected Attributes | |
spot::uf * | uf_ |
The shared Union Find. More... | |
instanciator * | itor_ |
The instanciator. More... | |
int | tn_ |
The number of threads. More... | |
DeadSharePolicy | policy_ |
The current policy to use. More... | |
std::chrono::milliseconds::rep | max_diff |
Elapse time between 2 stops. More... | |
std::vector < spot::concur_ec_stat * > | chk |
Local data for each threads. More... | |
int | stop |
Stop the world variable. More... | |
Wrapper Launch all threads.
spot::dead_share::dead_share | ( | instanciator * | i, |
int | thread_number = 1 , |
||
DeadSharePolicy | policy = FULL_TARJAN , |
||
std::string | option = "" |
||
) |
Constructor for the multithreaded emptiness check.
This emptiness check is a wrapper for many and the policy to use can be defined using the parameter.
thread_number | the number of thread to use |
|
virtual |
Release all memory.
|
virtual |
launch every thread with associated data and wait them to end.
Implements spot::ec.
|
virtual |
A CSV containing :
void spot::dead_share::dump_threads | ( | ) |
Additionnal information threads by threads.
|
protected |
Local data for each threads.
|
protected |
The instanciator.
|
protected |
Elapse time between 2 stops.
|
protected |
The current policy to use.
|
protected |
Stop the world variable.
|
protected |
The number of threads.
|
protected |
The shared Union Find.