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

BSD Scheduler implementation #9

Merged
gk1623 merged 12 commits from BSD-merged into master 2024-10-23 16:34:40 +00:00
Conversation 8 Commits 12 Files Changed 5 +223 -16
gk1623 commented 2024-10-17 17:34:22 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

Implement all of 3.3.5 Advanced Scheduler.

Also partial implementation of priority scheduling

Implement all of _3.3.5 Advanced Scheduler_. Also partial implementation of priority scheduling
gk1623 commented 2024-10-17 17:34:22 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

requested review from @sb3923

requested review from @sb3923
gk1623 commented 2024-10-17 17:52:33 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

requested review from @td1223 and removed review request for @sb3923

requested review from @td1223 and removed review request for @sb3923
gk1623 commented 2024-10-17 19:09:51 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

added 1 commit

Compare with previous version

added 1 commit <ul><li>cbb9d524 - Recover removed comment</li></ul> [Compare with previous version](/lab2425_autumn/pintos_22/-/merge_requests/9/diffs?diff_id=136090&start_sha=044c383a0f8ed99db174ad85744006a741792cd7)
sb3923 commented 2024-10-18 12:14:05 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

Let's hold off on merging until after the final implementation of priority scheduling and donation is merged. That way it is easier to merge without many conflicts and commits in master. I'll however review the code once I have a chance to go through it.

Let's hold off on merging until after the final implementation of priority scheduling and donation is merged. That way it is easier to merge without many conflicts and commits in master. I'll however review the code once I have a chance to go through it.
ed1223 commented 2024-10-23 16:30:26 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

added 68 commits

  • cbb9d524...0cbae2a2 - 67 commits from branch master
  • ed11c61f - Merge branch 'master' into 'BSD-merged', fixing merge conflicts

Compare with previous version

added 68 commits <ul><li>cbb9d524...0cbae2a2 - 67 commits from branch <code>master</code></li><li>ed11c61f - Merge branch &#39;master&#39; into &#39;BSD-merged&#39;, fixing merge conflicts</li></ul> [Compare with previous version](/lab2425_autumn/pintos_22/-/merge_requests/9/diffs?diff_id=136615&start_sha=cbb9d5245519aab508391a00ce626e31e2daea4d)
ed1223 commented 2024-10-23 16:30:52 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

approved this merge request

approved this merge request
ed1223 commented 2024-10-23 16:34:40 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

mentioned in commit 176750282f

mentioned in commit 176750282fa10b1736323229fe4ae519d95200ee
ed1223 (Migrated from gitlab.doc.ic.ac.uk) merged commit 176750282f into master 2024-10-23 16:34:40 +00:00
ed1223 (Migrated from gitlab.doc.ic.ac.uk) approved these changes 2025-10-16 16:43:33 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
ed1223
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#9
No description provided.
Delete Branch "BSD-merged"

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?