Imperial-MEng/pintos_22
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Allow priority donation with BSD scheduler. #18

Merged
gk1623 merged 1 commits from gleb/bsd-priority-donation into master 2024-10-25 14:19:18 +00:00
Conversation 2 Commits 1 Files Changed 2
+29 -30
1 Commits
Author SHA1 Message Date
cyclane 6e072a557f Allow priority donation with BSD scheduler. 
- Recalculate priority with donations after BSD priority updates
- Remove mlfqs checks from lock_acquire
 2024-10-25 14:03:55 +01:00