From ad1c474f5a633940b6732a883f425dcf32760469 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 10 Apr 2012 15:25:34 -0700
Subject: [PATCH] libthreads: perform 'model checking' when moving to next
thread
Simply use the hollow 'check_current_action()' interface to perform model
checking in the thread_system_next() call.
Right now, this just adds the previous (a.k.a. 'current') action to our log.
---
libthreads.cc | 1 +
1 file changed, 1 insertion(+)
diff --git a/libthreads.cc b/libthreads.cc
index 07ce633..a8ce0fa 100644
--- a/libthreads.cc
+++ b/libthreads.cc
@@ -72,6 +72,7 @@ static int thread_system_next(void)
struct thread *curr, *next;
curr = thread_current();
+ model->check_current_action();
if (curr) {
if (curr->state == THREAD_READY)
model->scheduler->add_thread(curr);
--
2.34.1