#include <WorkList.h>
Classes | |
class | Chunk |
struct | p |
struct | rethread |
struct | retype |
Public Types | |
typedef T | value_type |
Public Member Functions | |
MP_SC_FIFO () | |
bool | push (value_type val) |
bool | aborted (value_type val) |
std::pair< bool, value_type > | pop () |
bool | empty () |
template<typename iter > | |
void | fill_initial (iter begin, iter end) |
called in sequential mode to seed the worklist | |
Private Member Functions | |
Chunk * | mkChunk () |
void | delChunk (Chunk *C) |
Private Attributes | |
MM::FixedSizeAllocator | heap |
PerCPU< p > | data |
ConExtLinkedQueue< Chunk, true > | queue |
Chunk * | current |
typedef T GaloisRuntime::WorkList::MP_SC_FIFO< T >::value_type |
GaloisRuntime::WorkList::MP_SC_FIFO< T >::MP_SC_FIFO | ( | ) | [inline] |
bool GaloisRuntime::WorkList::MP_SC_FIFO< T >::aborted | ( | value_type | val | ) | [inline] |
void GaloisRuntime::WorkList::MP_SC_FIFO< T >::delChunk | ( | Chunk * | C | ) | [inline, private] |
bool GaloisRuntime::WorkList::MP_SC_FIFO< T >::empty | ( | ) | [inline] |
void GaloisRuntime::WorkList::MP_SC_FIFO< T >::fill_initial | ( | iter | begin, | |
iter | end | |||
) | [inline] |
called in sequential mode to seed the worklist
Chunk* GaloisRuntime::WorkList::MP_SC_FIFO< T >::mkChunk | ( | ) | [inline, private] |
std::pair<bool, value_type> GaloisRuntime::WorkList::MP_SC_FIFO< T >::pop | ( | ) | [inline] |
bool GaloisRuntime::WorkList::MP_SC_FIFO< T >::push | ( | value_type | val | ) | [inline] |
Chunk* GaloisRuntime::WorkList::MP_SC_FIFO< T >::current [private] |
PerCPU<p> GaloisRuntime::WorkList::MP_SC_FIFO< T >::data [private] |
MM::FixedSizeAllocator GaloisRuntime::WorkList::MP_SC_FIFO< T >::heap [private] |
ConExtLinkedQueue<Chunk, true> GaloisRuntime::WorkList::MP_SC_FIFO< T >::queue [private] |