diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-05-17 09:41:49 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-05-17 09:41:49 -0400 |
| commit | c2e3e08ef2ce90237b7b50efd0adc1e2848a3729 (patch) | |
| tree | 9574a97377fafda742c6b75a21971a6c909e8394 /native/interface | |
| parent | 7cd7212e7273c9c137e4bb1825d2b9f3842c882d (diff) | |
C++: Properly consider priority ceilings in DPCP bound
The bound should not reflect requests executed by agents that can be preempted.
Diffstat (limited to 'native/interface')
0 files changed, 0 insertions, 0 deletions