The PageTable implementation doesn't trigger a copy when a parent page table is written to and has a child referencing it.
Solutions:
- Eagerly copy when cloning (inefficient)
- Have each tree store a weak array to its children; write can then check if there are possibly live children referencing it and clone if needed: https://ocaml.org/manual/5.5/api/Weak.html
The PageTable implementation doesn't trigger a copy when a parent page table is written to and has a child referencing it.
Solutions: