diff options
author | ztong <ztong@cs.unc.edu> | 2022-02-01 13:26:23 -0500 |
---|---|---|
committer | ztong <ztong@cs.unc.edu> | 2022-02-01 13:26:23 -0500 |
commit | 9c949811238b06acde37a9b06c87a520a3dd097b (patch) | |
tree | 4ee8643f626815058176658474dbcd9fb60186e7 | |
parent | a1f9c31fb1405394390b69c103c20a67671a0e8b (diff) |
fixed assumption that task is scheduled when budget assumption happens for suspension locksupdate_litmus_2019
-rw-r--r-- | litmus/sched_gsn_edf.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/litmus/sched_gsn_edf.c b/litmus/sched_gsn_edf.c index 52db1435d5c9..d6a05d9f5e14 100644 --- a/litmus/sched_gsn_edf.c +++ b/litmus/sched_gsn_edf.c | |||
@@ -773,11 +773,8 @@ static enum hrtimer_restart bfmlp_budget_enforce(struct hrtimer *timer) | |||
773 | { | 773 | { |
774 | struct fmlp_semaphore* sem = | 774 | struct fmlp_semaphore* sem = |
775 | container_of(timer, struct fmlp_semaphore, budgeting_timer); | 775 | container_of(timer, struct fmlp_semaphore, budgeting_timer); |
776 | struct task_struct* t = sem->owner; | ||
777 | |||
778 | 776 | ||
779 | if (t == current) | 777 | send_sig(31, current, 0); |
780 | send_sig(31, t, 0); | ||
781 | /* up to the task to: | 778 | /* up to the task to: |
782 | * -detect if CS completed | 779 | * -detect if CS completed |
783 | * -perform fix_state if needed | 780 | * -perform fix_state if needed |