Implement COW pages! :^)

sys$fork() now clones all writable regions with per-page COW bits.
The pages are then mapped read-only and we handle a PF by COWing the pages.

This is quite delightful. Obviously there's lots of work to do still,
and it needs better data structures, but the general concept works.
This commit is contained in:
Andreas Kling 2018-11-05 13:48:07 +01:00
parent e85c22fe58
commit 2d045d2a64
Notes: sideshowbarker 2024-07-19 18:33:38 +09:00
11 changed files with 271 additions and 97 deletions

View file

@ -59,8 +59,12 @@ ByteBuffer procfs$pid_vm(Process& process)
region->linearAddress.offset(region->size - 1).get(),
region->size,
region->name.characters());
for (auto& physical_page : region->physical_pages) {
ptr += ksprintf(ptr, "P%x ", physical_page ? physical_page->paddr().get() : 0);
for (size_t i = 0; i < region->physical_pages.size(); ++i) {
auto& physical_page = region->physical_pages[i];
ptr += ksprintf(ptr, "P%x%s ",
physical_page ? physical_page->paddr().get() : 0,
region->cow_map.get(i) ? "!" : ""
);
}
ptr += ksprintf(ptr, "\n");
}
@ -249,24 +253,6 @@ ByteBuffer procfs$kmalloc()
return buffer;
}
static const char* toString(Process::State state)
{
switch (state) {
case Process::Invalid: return "Invalid";
case Process::Runnable: return "Runnable";
case Process::Running: return "Running";
case Process::Terminated: return "Term";
case Process::Crashing: return "Crash";
case Process::Exiting: return "Exit";
case Process::BlockedSleep: return "Sleep";
case Process::BlockedWait: return "Wait";
case Process::BlockedRead: return "Read";
case Process::BeingInspected: return "Inspect";
}
ASSERT_NOT_REACHED();
return nullptr;
}
ByteBuffer procfs$summary()
{
InterruptDisabler disabler;