#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] |
1.6.3