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
gk1623 commented 2024-10-25 13:04:31 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
  • Recalculate priority with donations after BSD priority updates
  • Remove mlfqs checks from lock_acquire
- Recalculate priority with donations after BSD priority updates - Remove mlfqs checks from lock_acquire
td1223 commented 2024-10-25 14:19:18 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

mentioned in commit f8bdd30f09

mentioned in commit f8bdd30f096634812b30bc3cc4da50e42c2d1e4c
td1223 (Migrated from gitlab.doc.ic.ac.uk) merged commit f8bdd30f09 into master 2024-10-25 14:19:18 +00:00
sb3923 commented 2024-10-25 14:41:57 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

This is really good. Good job @gk1623 !

This is really good. Good job @gk1623 !
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone Task 1: Scheduling
Projects
Clear projects
No project
Assignees
Clear assignees
cyclane
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Imperial-MEng/pintos_22#18
No description provided.
Delete Branch "gleb/bsd-priority-donation"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?