Test interaction between priority donation and thread_set_priority().

[pintos-anon] / src / tests / threads / tests.h

diff --git a/src/tests/threads/tests.h b/src/tests/threads/tests.h
index 93c61ec78c7cc6a03ddbcab4bd362b02f6579fdb..81e966315553126616f9a71a22d73a59a756bd81 100644 (file)
--- a/src/tests/threads/tests.h
+++ b/src/tests/threads/tests.h
@@ -7,6 +7,7 @@ typedef void test_func (void);
 
 extern test_func test_alarm_single;
 extern test_func test_alarm_multiple;
+extern test_func test_alarm_simultaneous;
 extern test_func test_alarm_priority;
 extern test_func test_alarm_zero;
 extern test_func test_alarm_negative;
@@ -14,7 +15,9 @@ extern test_func test_priority_change;
 extern test_func test_priority_donate_one;
 extern test_func test_priority_donate_multiple;
 extern test_func test_priority_donate_multiple2;
+extern test_func test_priority_donate_sema;
 extern test_func test_priority_donate_nest;
+extern test_func test_priority_donate_lower;
 extern test_func test_priority_fifo;
 extern test_func test_priority_preempt;
 extern test_func test_priority_sema;
@@ -27,6 +30,7 @@ extern test_func test_mlfqs_fair_2;
 extern test_func test_mlfqs_fair_20;
 extern test_func test_mlfqs_nice_2;
 extern test_func test_mlfqs_nice_10;
+extern test_func test_mlfqs_block;
 
 void msg (const char *, ...);
 void fail (const char *, ...);