Cambridge SMT System
|
Convenience wrapper class that can kick off two type of executions: singlethreaded or multithreaded, triggered by program options. Possibly multithreading with 1 thread would do, but I keep both implementations as any plain bug that might arise will be easier to trace down with a normal execution (threadpool uses two, actually). The class is templated with two classes, one for single threading and another for multithreading. Note that the multithreading details are up to the second templated class. e.g. Runner<SingleThreadedFunctor,SingleThreadedFunctor> would not multithread at all ;-). More...
#include <multithreading.helpers.hpp>
Public Member Functions | |
Runner (const RegistryPO &rg) | |
Constructor. More... | |
void | operator() () |
Either runs with multithreading or single-thread option. More... | |
Convenience wrapper class that can kick off two type of executions: singlethreaded or multithreaded, triggered by program options. Possibly multithreading with 1 thread would do, but I keep both implementations as any plain bug that might arise will be easier to trace down with a normal execution (threadpool uses two, actually). The class is templated with two classes, one for single threading and another for multithreading. Note that the multithreading details are up to the second templated class. e.g. Runner<SingleThreadedFunctor,SingleThreadedFunctor> would not multithread at all ;-).
Definition at line 38 of file multithreading.helpers.hpp.
|
inline |
Constructor.
rg | Registry object containing parameters |
Definition at line 55 of file multithreading.helpers.hpp.
|
inline |
Either runs with multithreading or single-thread option.
Definition at line 68 of file multithreading.helpers.hpp.