X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fthreads%2FRubric.priority;h=652bc99eff1f34d1c40e34259af31291d4069d85;hp=e8ee82ce1919b96350ec1a261247377c8abb9f19;hb=0eb663f85c834786c5b98186bb55a3e3224b8a2f;hpb=cc41c0acfbda000cb416b3492bc8de3480b62904 diff --git a/src/tests/threads/Rubric.priority b/src/tests/threads/Rubric.priority index e8ee82c..652bc99 100644 --- a/src/tests/threads/Rubric.priority +++ b/src/tests/threads/Rubric.priority @@ -1,13 +1,15 @@ Functionality of priority scheduler: +3 priority-change 3 priority-preempt + +3 priority-fifo +3 priority-sema +3 priority-condvar + 3 priority-donate-one 3 priority-donate-multiple 3 priority-donate-multiple2 3 priority-donate-nest +5 priority-donate-chain 3 priority-donate-sema 3 priority-donate-lower -3 priority-change - -3 priority-fifo -3 priority-sema -3 priority-condvar