X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=ad8760a28576aafecc17d05d9cb01b92e7df259d;hb=8a7dd35db7542ad66f87060cf637172249494e47;hp=aac968a9f14077ca17953f934c82881266dc781b;hpb=fee76896120acbf7b5fa41fc99fca05c54b1f8da;p=model-checker.git

diff --git a/model.h b/model.h
index aac968a..ad8760a 100644
--- a/model.h
+++ b/model.h
@@ -4,6 +4,7 @@
 #include <list>
 #include <map>
 #include <cstddef>
+#include <ucontext.h>
 
 #include "schedule.h"
 #include "libthreads.h"
@@ -69,9 +70,9 @@ public:
 	ModelChecker();
 	~ModelChecker();
 	class Scheduler *scheduler;
-	Thread *system_thread;
 
-	void add_system_thread(Thread *t);
+	void set_system_context(ucontext_t *ctxt) { system_context = ctxt; }
+	ucontext_t * get_system_context(void) { return system_context; }
 
 	void set_current_action(ModelAction *act) { current_action = act; }
 	void check_current_action(void);
@@ -102,6 +103,7 @@ private:
 	Backtrack *exploring;
 	thread_id_t nextThread;
 
+	ucontext_t *system_context;
 	action_list_t *action_trace;
 	std::map<thread_id_t, class Thread *> thread_map;
 	class TreeNode *rootNode, *currentNode;