Merge branch 'task1/priority-scheduling' into task1/merged/priority-scheduling

# Conflicts: # .gitignore # src/threads/synch.c # src/threads/thread.c
2024-10-17 19:30:19 +01:00
parent 88967acdaa c32a69a368
commit c9a9d57019
3 changed files with 12 additions and 51 deletions
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -141,4 +141,7 @@ void thread_set_nice (int);
 int thread_get_recent_cpu (void);
 int thread_get_load_avg (void);

+/* Returns true iff the priority of the first list element's thread is greater
+   than that of the second list element's thread. */
+list_less_func thread_priority_greater;
 #endif /* threads/thread.h */