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