diff options
| author | Zelin Tong <ztong@ludwig.cs.unc.edu> | 2020-10-23 00:07:18 -0400 |
|---|---|---|
| committer | Zelin Tong <ztong@ludwig.cs.unc.edu> | 2020-10-23 12:06:50 -0400 |
| commit | 6b29cbb940ec64c8d49277b91b006230ac0c8617 (patch) | |
| tree | 4c5d12754f04b59600ba6800c806c29ae4c41c62 /tools/perf/scripts/python/syscall-counts-by-pid.py | |
| parent | 956d7715b06f89a210a9e73a384cf8542ff14417 (diff) | |
Fixed conflicts between ext_res and litmus budget tracking
Problem:
When using litmus's budget enforcement, due various overheads, the
task's budget and the gedf_res's budget may differ a bit. When the task
overruns its budget but due to this difference still has budget
according to gedf_res, this can cause litmus to bug out due to error
checking in litmus's budget enforcement code.
Solution:
Made sure not to dispatch the task if it's out of budget in
gedf_task_dispatch_client
Diffstat (limited to 'tools/perf/scripts/python/syscall-counts-by-pid.py')
0 files changed, 0 insertions, 0 deletions