From: Brian Norris <banorris@uci.edu>
Date: Wed, 3 Oct 2012 00:14:46 +0000 (-0700)
Subject: model: refactor mutex thread-blocking code
X-Git-Tag: pldi2013~121^2~4
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=28a8923983a54f838c7a1667795d37c1d801877c;hp=28a8923983a54f838c7a1667795d37c1d801877c;p=model-checker.git

model: refactor mutex thread-blocking code

There are a few functions that are used in suboptimal ways.

* use the ModelChecker::get_thread(ModelAction *) version of overloaded
  'get_thread()' function

* the add/remove interfaces were used inconsistently previously; for
  "waking" we directly utilized Scheduler::add_thread, whereas the
  "sleeping" case used ModelChecker::remove_thread

* use the Scheduler::sleep and Scheduler::wake functions for sleep/wake
  instead of explicitly adding/removing
---