From: Brian Norris <banorris@uci.edu>
Date: Mon, 28 May 2012 19:45:54 +0000 (-0700)
Subject: model: set 'last action in thread' as an action's parent
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a7c74db9679fc8ea70f1e14eda1ab2cee6f27740;p=cdsspec-compiler.git

model: set 'last action in thread' as an action's parent

This is a step toward synchronizing clock vectors properly: on exploration of
an action, we use only the last action in the current thread as the 'parent'
(or NULL).

Note that this still does not include the parent thread in determining each
ModelAction's parent.
---

diff --git a/model.cc b/model.cc
index 8656d6b..0a08717 100644
--- a/model.cc
+++ b/model.cc
@@ -211,7 +211,8 @@ void ModelChecker::check_current_action(void)
 		return;
 	}
 
-	curr = node_stack->explore_action(curr, NULL);
+	/* TODO: if get_last_action() is NULL, sync with parent thread */
+	curr = node_stack->explore_action(curr, get_last_action(curr->get_tid()));
 	nextThread = get_next_replay_thread();
 
 	currnode = curr->get_node();