X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=538b4a9e37c35a32c69bef58cd21eeadf0ad663c;hb=d96312573c237eb9648976be85de39261c9531c6;hp=31e0694e459b018da371ae4ff8c484369582f49d;hpb=4ee37711afd0de98bc757ed4853a81d66a6a1533;p=model-checker.git

diff --git a/model.cc b/model.cc
index 31e0694..538b4a9 100644
--- a/model.cc
+++ b/model.cc
@@ -32,10 +32,10 @@ ModelChecker::ModelChecker(struct model_params params) :
 	obj_map(new HashTable<const void *, action_list_t, uintptr_t, 4>()),
 	lock_waiters_map(new HashTable<const void *, action_list_t, uintptr_t, 4>()),
 	obj_thrd_map(new HashTable<void *, std::vector<action_list_t>, uintptr_t, 4 >()),
-	promises(new std::vector<Promise *>()),
-	futurevalues(new std::vector<struct PendingFutureValue>()),
-	pending_rel_seqs(new std::vector<struct release_seq *>()),
-	thrd_last_action(new std::vector<ModelAction *>(1)),
+	promises(new std::vector< Promise *, SnapshotAlloc<Promise *> >()),
+	futurevalues(new std::vector< struct PendingFutureValue, SnapshotAlloc<struct PendingFutureValue> >()),
+	pending_rel_seqs(new std::vector< struct release_seq *, SnapshotAlloc<struct release_seq *> >()),
+	thrd_last_action(new std::vector< ModelAction *, SnapshotAlloc<ModelAction *> >(1)),
 	node_stack(new NodeStack()),
 	mo_graph(new CycleGraph()),
 	failed_promise(false),
@@ -1478,7 +1478,7 @@ void ModelChecker::get_release_seq_heads(ModelAction *act, rel_heads_list_t *rel
 bool ModelChecker::resolve_release_sequences(void *location, work_queue_t *work_queue)
 {
 	bool updated = false;
-	std::vector<struct release_seq *>::iterator it = pending_rel_seqs->begin();
+	std::vector< struct release_seq *, SnapshotAlloc<struct release_seq *> >::iterator it = pending_rel_seqs->begin();
 	while (it != pending_rel_seqs->end()) {
 		struct release_seq *pending = *it;
 		ModelAction *act = pending->acquire;