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

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

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

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

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

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

mentioned in merge request !22

mentioned in merge request !22
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
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#20
No description provided.
Delete Branch "task1/saleh/priority-donation-refactoring"

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?