From 764e70356b8d387397f489f36e277470347b3e64 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 11 Jul 2012 11:53:07 -0700
Subject: [PATCH] model: release/acquire synchronization

I forgot that I had already written the ModelAction::reads_from() code, and it
was just waiting to be hooked up :)

Anyway, I haven't really tested all the synchronization yet...
---
 model.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/model.cc b/model.cc
index 436ef77c..07c81b9e 100644
--- a/model.cc
+++ b/model.cc
@@ -281,7 +281,8 @@ void ModelChecker::check_current_action(void)
 	if (curr->is_read()) {
 		const ModelAction *reads_from = curr->get_node()->get_next_read_from();
 		value = reads_from->get_value();
-		curr->set_value(value);
+		/* Assign reads_from, perform release/acquire synchronization */
+		curr->read_from(reads_from);
 	}
 	th->set_return_value(value);
 }
-- 
2.34.1