diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-09-06 08:40:15 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-10-18 16:14:10 -0400 |
| commit | 9e6b747ce5c8ae700441d42d84c723832d91ecf8 (patch) | |
| tree | a0e387e9ae8cae137c8d25403806bc7c0c6fccb1 /README | |
| parent | 3e491287675ebc65aadb0356c028d81d9f7a66ad (diff) | |
P-FP: be paranoid in the preemption case
Crash and burn if an expected preemption didn't happen. This is useful
to flag any bugs in the queue management code...
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions