Changes between Initial Version and Version 1 of Ticket #17556, comment 3
- Timestamp:
- Mar 2, 2022, 7:03:19 PM (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #17556, comment 3
initial v1 4 4 <mmlr> I've seen it but I don't really have an idea 5 5 <mmlr> since it involves actual files it didn't come up in my prior area cutting work 6 < mmlr> I guess I should figure out if the pages are "lost" or cleared? possibly via adding more traces to map_file/cut_area?6 <waddlesplash> I guess I should figure out if the pages are "lost" or cleared? possibly via adding more traces to map_file/cut_area? 7 7 <mmlr> there might be assumptions, i.e. that cutting is never backed by a file and therefore some wrong cache type is used for the new area 8 8 <mmlr> in the end, cutting means making a new area that should be the same as the earlier part and then resizing