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