X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=1e28264fbcedf171c673bace33be6f41c3aa3f35;hb=5485feb8f53f4fe816b08d854fc3e82b00c33b0b;hp=205bedbf6f12806835a503975e95709162630070;hpb=c5b57f3d98d1d14b4546995a0882753cf71a1c4b;p=model-checker.git

diff --git a/action.cc b/action.cc
index 205bedb..1e28264 100644
--- a/action.cc
+++ b/action.cc
@@ -52,6 +52,11 @@ bool ModelAction::is_rmwc() const
 	return type == ATOMIC_RMWC;
 }
 
+bool ModelAction::is_fence() const 
+{
+	return type == ATOMIC_FENCE;
+}
+
 bool ModelAction::is_initialization() const
 {
 	return type == ATOMIC_INIT;
@@ -168,7 +173,7 @@ void ModelAction::read_from(const ModelAction *act)
 	ASSERT(cv);
 	reads_from = act;
 	if (act != NULL && this->is_acquire()) {
-		std::vector<const ModelAction *> release_heads;
+		std::vector< const ModelAction *, MyAlloc<const ModelAction *> > release_heads;
 		model->get_release_seq_heads(this, &release_heads);
 		for (unsigned int i = 0; i < release_heads.size(); i++)
 			synchronize_with(release_heads[i]);
@@ -230,6 +235,9 @@ void ModelAction::print(void) const
 	case ATOMIC_RMW:
 		type_str = "atomic rmw";
 		break;
+	case ATOMIC_FENCE:
+		type_str = "fence";
+		break;
 	case ATOMIC_RMWR:
 		type_str = "atomic rmwr";
 		break;