|
|
1da0c7d48c
|
fix: properly assign frame owners and deallocate in all required places
|
2024-12-06 00:29:57 +00:00 |
|
|
|
833c1b0520
|
fix: only swap out shared pages once
|
2024-12-05 22:37:14 +00:00 |
|
|
|
9aa9cdb91e
|
feat: implement proper destruction of pages, including for shared pages
|
2024-12-05 22:23:50 +00:00 |
|
|
|
dd46200256
|
feat: initial shared file page management and initialization
|
2024-12-05 21:46:49 +00:00 |
|
|
|
4dd6b6e928
|
fix: do not leak when inserting the same page twice, just update
|
2024-12-05 19:38:27 +00:00 |
|
|
|
0f1f7b9a6f
|
refactor: extract init_pages
|
2024-12-05 19:35:39 +00:00 |
|
