struct future_value {
uint64_t value;
modelclock_t expiration;
+ thread_id_t tid;
};
class Promise {
SNAPSHOTALLOC
private:
- std::vector<bool> eliminated_thread;
+ std::vector< bool, SnapshotAlloc<bool> > eliminated_thread;
const uint64_t value;
const modelclock_t expiration;
ModelAction * const read;