X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads-model.h;h=f0b88bb25fea3abd10f8048ac55251460b99dca5;hb=15ea44894415d4b1150728658d65c641556e5fcf;hp=e159697d9d54ce10c3cfb1fe204352a9e0bd7435;hpb=3e2ec3ed4b37f4e6aa8e5e0e9e3241890948c3ac;p=c11tester.git

diff --git a/threads-model.h b/threads-model.h
index e159697d..f0b88bb2 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -102,6 +102,7 @@ public:
 	bool is_model_thread() const { return model_thread; }
 
 	void * get_stack_addr() { return stack; }
+	ClockVector * get_acq_fence_cv() { return acq_fence_cv; }
 
 	friend void thread_startup();
 #ifdef TLS
@@ -137,6 +138,9 @@ private:
 	/** @brief The parent Thread which created this Thread */
 	Thread * const parent;
 
+	/** @brief Acquire fence cv */
+	ClockVector *acq_fence_cv;
+
 	/** @brief The THREAD_CREATE ModelAction which created this Thread */
 	ModelAction *creation;