public:
Promise(ModelAction *act, uint64_t value, modelclock_t expiration) :
value(value), expiration(expiration), read(act), write(NULL)
public:
Promise(ModelAction *act, uint64_t value, modelclock_t expiration) :
value(value), expiration(expiration), read(act), write(NULL)
- bool has_sync_thread(thread_id_t tid) {
- unsigned int id=id_to_int(tid);
- if (id>=synced_thread.size()) {
+ bool has_sync_thread(thread_id_t tid) {
+ unsigned int id = id_to_int(tid);
+ if (id >= synced_thread.size())
uint64_t get_value() const { return value; }
void set_write(const ModelAction *act) { write = act; }
const ModelAction * get_write() { return write; }
uint64_t get_value() const { return value; }
void set_write(const ModelAction *act) { write = act; }
const ModelAction * get_write() { return write; }