diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2009-05-03 13:38:38 -0400 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2009-05-03 13:38:38 -0400 |
| commit | 68c699e1046646a9f03fea09049e9edc690995d0 (patch) | |
| tree | 510e9cfffe24a1707fed87d4db2ada66e1151507 /include/linux/patchkey.h | |
| parent | 8c2ed856588664c82faf9f3df244eace68f565f3 (diff) | |
rt domain: make sure release heap is not in use before re-init
This fixes a bug observed under G-EDF:
A task with extremely low wcet budget could get scheduled
and re-added to its own release heap while the heap was still
in use in the same timer callback that released the task.
Havoc, predictably, ensued.
Diffstat (limited to 'include/linux/patchkey.h')
0 files changed, 0 insertions, 0 deletions