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

Merge 'vm/merged/pinning-synch' into master #64

Merged
sb3923 merged 8 commits from vm/merged/pinning-synch into master 2024-12-06 16:31:38 +00:00
Conversation 6 Commits 8 Files Changed 8 +40 -36

8 Commits

Author SHA1 Message Date
sBubshait
7f058ffc90 Refactor page_type to rename PAGE_FILE to PAGE_EXECUTABLE as mmap and executables are now separate 2024-12-06 16:22:26 +00:00
Gleb Koval
c1bc70adad ci: do not ignore an VM tests since it is fully implemented now 2024-12-06 15:55:23 +00:00
sBubshait
22f3b0950f Fix: Insert pages in mmap as PAGE_MMAP instead of PAGE_FILE 2024-12-06 15:54:46 +00:00
Gleb Koval
f64b92bbfa refactor: document shared_file_page 2024-12-06 15:35:23 +00:00
Themis Demetriades
3d6e30119b refactor: rename lru_lock to ftable_lock for greater clarity, and update comments to reflect this 2024-12-06 15:31:27 +00:00
Gleb Koval
4104d2c852 fix: always add to frame owners when installing existing shared page. 2024-12-06 15:23:41 +00:00
EDiasAlberto
d389c15828 fix: acquire lru_lock before pinning frames to avoid race condition with eviction 2024-12-06 13:20:43 +00:00
Themis Demetriades
8ac34063d7 fix: disable 'shareable' flag to probe race conditions 2024-12-06 10:56:38 +00:00