X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=d0043a1f88b1990de8e0fcdee27e21baa387ccd7;hb=0e98bb1bcba9294c9674fd011e92555b2524f34d;hp=d6c033725dedf36bed645f5615f19d45444b2f07;hpb=9593acf48b245704a75d0e115d6dec1baf51f07c;p=model-checker.git diff --git a/model.h b/model.h index d6c0337..d0043a1 100644 --- a/model.h +++ b/model.h @@ -187,6 +187,10 @@ private: * to a trace of all actions performed on the object. */ HashTable *lock_waiters_map; + /** Per-object list of actions. Maps an object (i.e., memory location) + * to a trace of all actions performed on the object. */ + HashTable *condvar_waiters_map; + HashTable, uintptr_t, 4 > *obj_thrd_map; std::vector< Promise *, SnapshotAlloc > *promises; std::vector< struct PendingFutureValue, SnapshotAlloc > *futurevalues;