Merge 'task1/priority-donation' into 'master' #14

Merged
sb3923 merged 66 commits from task1/priority-donation into master 2024-10-23 16:15:45 +00:00
4 changed files with 234 additions and 14 deletions
Showing only changes of commit fc1691f994 - Show all commits

View File

@@ -153,7 +153,4 @@ int thread_get_load_avg (void);
void ready_list_reorder (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 */