diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-04-08 13:15:48 -0400 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-05-01 12:03:10 -0400 |
| commit | 03201b0f6d2b3f5ba9e4fe48be6b995ddd58a2d5 (patch) | |
| tree | 21ec5e6d3ac6f551fa6e570735daa62d6940ba31 /Makefile | |
| parent | 7ff99e881f4c237e817f51b273c8eeb23660e0e8 (diff) | |
SRP: improve robustness
The SRP implementation did not correctly address various
suspension-related scenarios correctly. Now the need for
SRP blocking is tested on each scheduling event. This ensures
mutual exclusion under the SRP even in the face of unexpected
suspensions, for example due to IO.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions