From ad1c474f5a633940b6732a883f425dcf32760469 Mon Sep 17 00:00:00 2001 From: Brian Norris 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