This rewrite serves three purposes: 1. Fix some subtle bugs in the old implementation; 2. Implement mremap using mmap and munmap so that mremap can automatically enjoy new features (e.g., mprotect and memory permissions) once mmap and munmap support the feature. 3. Write down the invariants hold by VMManager explictly so that the correctness of the new implementation can be reason more easily. |
||
---|---|---|
.. | ||
main.c | ||
Makefile |