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

priority donation refactoring #20

Merged
sb3923 merged 3 commits from task1/saleh/priority-donation-refactoring into master 2024-10-25 15:57:23 +00:00
Conversation 5 Commits 3 Files Changed 2
+29 -8
sb3923 commented 2024-10-25 15:06:13 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

Add all the changes agreed on in PR !14.
Add priority_less for comparing threads based on priority and Refactor sema up to use list_max for clarity.

Passes all test cases for priority donation.

Add all the changes agreed on in PR !14. Add priority_less for comparing threads based on priority and Refactor sema up to use list_max for clarity. Passes all test cases for priority donation.
sb3923 commented 2024-10-25 15:06:13 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

requested review from @gk1623

requested review from @gk1623
sb3923 commented 2024-10-25 15:06:14 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

assigned to @sb3923

assigned to @sb3923
td1223 commented 2024-10-25 15:57:23 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

mentioned in commit 4c33653369

mentioned in commit 4c3365336979f8affc105fafde52f575932ae6db
td1223 (Migrated from gitlab.doc.ic.ac.uk) merged commit 4c33653369 into master 2024-10-25 15:57:23 +00:00
td1223 commented 2024-10-25 16:06:55 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

mentioned in commit 323b5da7ab8965429a17f6c3010e4e89185967c1

mentioned in commit 323b5da7ab8965429a17f6c3010e4e89185967c1
td1223 commented 2024-10-25 16:07:00 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

mentioned in merge request !22

mentioned in merge request !22
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
cyclane (Gleb Koval)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Imperial-MEng/pintos_22#20