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

Implement helper functions for managing the supplemental page table #55

Merged
td1223 merged 4 commits from page-swap-helpers into virtual-memory 2024-12-01 21:47:31 +00:00
Conversation 3 Commits 4 Files Changed 4 +26 -2
td1223 commented 2024-12-01 21:42:50 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
No description provided.
td1223 commented 2024-12-01 21:43:10 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

changed title from Implement helper functions for managing the supplemental page tab{-https://gitlab.doc.ic.ac.uk/lab2425_autumn/pintos_22/-/merge_requests/new?change_branches=true&merge_request%5Bsource_branch%5D=page-swap-helpers&merge_request%5Bsource_project_id%5D=14688-}le to Implement helper functions for managing the supplemental page table

changed title from **Implement helper functions for managing the supplemental page tab{-https://gitlab.doc.ic.ac.uk/lab2425_autumn/pintos_22/-/merge_requests/new?change_branches=true&merge_request%5Bsource_branch%5D=page-swap-helpers&merge_request%5Bsource_project_id%5D=14688-}le** to **Implement helper functions for managing the supplemental page table**
td1223 commented 2024-12-01 21:44:19 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

added 6 commits

  • 94adc11f...7ce51230 - 5 commits from branch virtual-memory
  • 9d35beb2 - Merge branch 'virtual-memory' into 'page-swap-helpers'

Compare with previous version

added 6 commits <ul><li>94adc11f...7ce51230 - 5 commits from branch <code>virtual-memory</code></li><li>9d35beb2 - Merge branch &#39;virtual-memory&#39; into &#39;page-swap-helpers&#39;</li></ul> [Compare with previous version](/lab2425_autumn/pintos_22/-/merge_requests/55/diffs?diff_id=141194&start_sha=94adc11f03a386e1e69f00fedecfe682c7317085)
td1223 commented 2024-12-01 21:47:30 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

mentioned in commit 8e278b349a

mentioned in commit 8e278b349a42f139f23d5599a60a7994d97887b9
td1223 (Migrated from gitlab.doc.ic.ac.uk) merged commit 8e278b349a into virtual-memory 2024-12-01 21:47:31 +00:00
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#55
No description provided.
Delete Branch "page-swap-helpers"

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?