projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 889c191) | patch
threads: add a wait_list
authorBrian Norris <banorris@uci.edu>
Thu, 6 Sep 2012 20:17:06 +0000 (13:17 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Sep 2012 20:21:48 +0000 (13:21 -0700)
commitd3b710fc183b8b71ab4726c2ae1b75caf13012b7
tree33064dedea64fb10514cc38f967b36ec16506393tree | snapshot
parent889c191994ae00a058bb71e24de95842f6454c0dcommit | diff
threads: add a wait_list

This list will contain all Threads that are waiting on the current Thread. Will
be used for Thread joins, in particular.
threads.cc diff | blob | history
threads.h diff | blob | history
C++11 memory model checker