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