mirror of
https://github.com/drasko/codezero.git
synced 2026-01-16 12:53:16 +01:00
b1b3b59561
It is possible that in a mult-threaded address space write-faults (or faults in general) on the same address can occur. This is because threads may become runnable during the handling of the first fault. This causes duplicate faults on the same private page in the same address space. On the case of write faulted private page, this causes a spurious page allocation Currently this case is detected and handled, but in the future we need a generic way of detecting duplicate faults (of any kind) and cease duplicate IPC at a very early stage. This is not done yet as it requires knowledge of the PTEs of physical pages in the pager (like reverse mapping in Linux).