3 * @brief Promise class --- tracks future obligations for execution
4 * related to weakly ordered writes.
16 Promise(ModelAction * act, uint64_t value);
17 const ModelAction * get_action() { return read; }
18 int increment_threads() { return ++numthreads; }
23 unsigned int numthreads;