diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-01-10 10:41:34 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-01-10 10:43:23 -0500 |
| commit | a9a4887bc8dc24b0cf9665f59dc363c126628b25 (patch) | |
| tree | 366e651e6a99654e4a9b7f03f22d52f847160404 /include/litmus | |
| parent | b60b41eb47d4746d16c2c1365521bbcb94d6cd2e (diff) | |
Reimplement plugin switching using stop_machine()
stop_machine() does exactly what we want (avoid all concurrent
scheduling activity) and much simpler than rolling our own (buggy)
implementation.
Diffstat (limited to 'include/litmus')
0 files changed, 0 insertions, 0 deletions