Merge task1/themis/priority-donation into task1/priority-donation #13

Merged

td1223 merged 4 commits from task1/themis/priority-donation into task1/priority-donation 2024-10-23 15:03:08 +00:00

Conversation 1 Commits 4 Files Changed 3

+33 -13

4 Commits

Author	SHA1	Message	Date
Themis Demetriades	5f8dea21be	Fix donate_priority to disable interrupts for entire update of possibly-ready donatee's priority	2024-10-23 14:10:48 +01:00
Themis Demetriades	b0074c80f0	Refactor ready_list_reinsert to require being called with interrupts disabled	2024-10-23 13:51:07 +01:00
Themis Demetriades	2cd4da17a4	Refactor donate_priority to only allow for the current thread to donate its priority	2024-10-23 13:42:36 +01:00
Themis Demetriades	a875d5fcb4	Update donate_priority to only attempt to sort position of the donee that isn't waiting for a lock	2024-10-23 13:37:43 +01:00