Litmus core: support tie-breaking in priority queue

We'd like to have consistent deadline tie-breaking
in priority-ordered wait queues, too.

1 files changed, 3 insertions, 1 deletions

diff --git a/litmus/locking.c b/litmus/locking.c
index 6ceaf2e9d0a2..2db2c2813c0b 100644
--- a/litmus/locking.c
+++ b/litmus/locking.c
@@ -152,7 +152,9 @@ unsigned int __add_wait_queue_prio_exclusive(
                 prio_wait_queue_t* queued = list_entry(pos, prio_wait_queue_t,
                                                        wq.task_list);
 
-                if (unlikely(lt_before(new->priority, queued->priority))) {
+                if (unlikely(lt_before(new->priority, queued->priority) ||
+                             (new->priority == queued->priority &&
+                              new->tie_breaker < queued->tie_breaker))) {
                         /* pos is not less than new, thus insert here */
                         __list_add(&new->wq.task_list, pos->prev, pos);
                         goto out;