IKGLP virtual unlock and MAJOR BUG FIX

Fixed a major bug where a scheduled task with
and exhausted budget does not recheck its priority
inheritance upon deadline postponement. Postponment
may enable priority inheritance relations, as the
priority of the lock holder decreases.

1 files changed, 2 insertions, 7 deletions

diff --git a/litmus/budget.c b/litmus/budget.c
index aa254349a85e..f7d690c77226 100644
--- a/litmus/budget.c
+++ b/litmus/budget.c
@@ -183,7 +183,8 @@ void sobliv_on_blocked(struct task_struct* t)
                          * trigger another exhaustion signal since signals are controled by
                          * BTF_SIG_BUDGET_SENT. */
                         int exhausted = bt_flag_test_and_clear(t, BTF_BUDGET_EXHAUSTED);
-                        BUG_ON(!exhausted);
+                        //BUG_ON(!exhausted);
+                        WARN_ON(!exhausted);
 
                         TRACE_TASK(t, "budget timer not armed. "
                                            "Raced with exhaustion-resched? Re-arming.\n");
@@ -317,12 +318,6 @@ void sobliv_revaluate_task(struct task_struct* t)
                            "on Litmus lock without "
                            "CONFIG_LITMUS_NESTED_LOCKING enabled.\n");
 #endif
-
-        /* Move a waiter onto a FIFO queue to simulate an unlock call. */
-        if (tsk_rt(t)->outermost_lock &&
-                tsk_rt(t)->outermost_lock->ops->is_omlp_family) {
-                tsk_rt(t)->outermost_lock->ops->omlp_virtual_unlock(tsk_rt(t)->outermost_lock, t);
-        }
 }