diff options
author | Andreas Kling <kling@serenityos.org> | 2021-01-02 16:49:19 +0100 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2021-01-02 16:57:31 +0100 |
commit | fe6b3f99d1f544715098182ce5bed71d67f266cf (patch) | |
tree | 25577fbc5e9f4177ad2fc2b080192ecaf62bb257 /Kernel/VM | |
parent | 5dae85afe7eadfa0ef8c33252ef2cdd7e35faafd (diff) | |
download | serenity-fe6b3f99d1f544715098182ce5bed71d67f266cf.zip |
Kernel: Allocate shared memory regions immediately
Lazily committed shared memory was not working in situations where one
process would write to the memory and another would only read from it.
Since the reading process would never cause a write fault in the shared
region, we'd never notice that the writing process had added real
physical pages to the VMObject. This happened because the lazily
committed pages were marked "present" in the page table.
This patch solves the issue by always allocating shared memory up front
and not trying to be clever about it.
Diffstat (limited to 'Kernel/VM')
-rw-r--r-- | Kernel/VM/Region.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Kernel/VM/Region.cpp b/Kernel/VM/Region.cpp index 62ef18995e..52b29aad26 100644 --- a/Kernel/VM/Region.cpp +++ b/Kernel/VM/Region.cpp @@ -282,6 +282,12 @@ bool Region::map_individual_page_impl(size_t page_index) if (!page || (!is_readable() && !is_writable())) { pte->clear(); } else { + if (is_shared()) { + // Shared memory should not be lazily populated! + ASSERT(!page->is_shared_zero_page()); + ASSERT(!page->is_lazy_committed_page()); + } + pte->set_cache_disabled(!m_cacheable); pte->set_physical_page_base(page->paddr().get()); pte->set_present(true); |