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())