diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-10-02 05:52:46 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-02-12 06:49:39 -0500 |
| commit | b94ef2b6c5fa861b2defaab8cafb85df6053a1ca (patch) | |
| tree | 5952a0d3686e8577efc90f8bd6629d8e2cbf1b00 /native/src/cpu_time.cpp | |
| parent | f417089a08b6b8666db7f410b6680921797229d3 (diff) | |
MPCP: we must consider gcs' with equal priority ceilings
gcs' with equal priority ceiling cannot be preempted.
Diffstat (limited to 'native/src/cpu_time.cpp')
0 files changed, 0 insertions, 0 deletions