X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads-model.h;h=8047e1f33d963d001fab179feab210c405ed7f34;hb=c7a5091afba87a67423c0797fa001914ce9e2ff4;hp=5756c1029688fb6fd9d29616291d496129592f7a;hpb=7bba6b355f7b2250aed59de4b9d20f36c89a3eb4;p=c11tester.git

diff --git a/threads-model.h b/threads-model.h
index 5756c102..8047e1f3 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -102,6 +102,9 @@ 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
 	friend void setup_context();
@@ -136,6 +139,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;
 
@@ -157,6 +163,7 @@ private:
 	void *arg;
 	ucontext_t context;
 	void *stack;
+	uint32_t stack_size;
 #ifdef TLS
 	void * helper_stack;
 public: