Merge implementations of priority scheduling by Themis and Saleh #11

Closed

td1223 wants to merge 14 commits from task1/priority-scheduling into task1/merged/priority-scheduling

pull from: task1/priority-scheduling

merge into: :task1/merged/priority-scheduling

:master

:vm/pagedir-spt-synch

:bad-synch

:vm/merged/pinning-synch

:vm/merged/themis-fix

:vm/merged/ethan-spt-synch

:vm/merged/themis

:vm/virtual-memory/saleh-synch

:vm/virtual-memory/themis-synch

:vm/shared-ro-executables/gleb

:vm/virtual-memory/frame-synch/saleh

:vm/mmap-write-back-on-eviction

:vm/virtual-memory/saleh

:vm/frame-pinning

:vm/shared-read-only-executables

:vm/page-swap-synch

:vm/stack-growth/saleh

:vm/memory-mapped-files

:vm/page-swap

:virtual-memory

:ethan-stack-growth

:vm/supplemental-page-table

:vm/lazy-loading

:vm/frame-table

:handle-unchecked-malloc-thread

:system-calls-fd-hashing

:task2/refactoring/saleh

:remove-filesys-ci

:themis/userprog-multi-oom

:system-calls

:task2/system-calls/saleh

:userprog-syn-write

:rox-check-fix

:user-memory

:userprog-merge

:userprog-stack-init

:task1/themis/priority-scheduling

:ethan-BSD

:task1/saleh/priority-scheduling

:gleb/BSD

:task1/priority-scheduling

Conversation 0 Commits 14 Files Changed 3

+59 -37

td1223 commented 2024-10-17 18:07:32 +00:00 (Migrated from gitlab.doc.ic.ac.uk)

Copy Link

Copy Source

No description provided.

td1223 (Migrated from gitlab.doc.ic.ac.uk) closed this pull request 2024-10-17 18:08:33 +00:00

Pull request closed

Please reopen this pull request to perform a merge.

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

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Imperial-MEng/pintos_22#11