diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-02-14 19:24:06 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-08 10:12:52 -0500 |
| commit | 14cc73779849021aa199e305933852c7847aa85a (patch) | |
| tree | 8603ed9fcf5837b3f848483ae48bd694924db4a4 /tools/perf/https:/log msg< | |
| parent | 5f594c7c328a1d6518b196566664c0286f39b88f (diff) | |
LITMUS^RT core: be more careful when pull-migrating tasks
Close more race windows and give plugins a chance to validate
tasks after they have been migrated.
Diffstat (limited to 'tools/perf/https:/log msg<')
0 files changed, 0 insertions, 0 deletions