[mkc2008] Threads and Address Spaces - Kernel-Memory Synchronisation

[Udo A. Steinberg]

On Thu, 02 Apr 2009 22:17:41 +0200 Jan Bierbaum (JB) wrote:

JB> On slide 39 it is stated that for the shared kernel memory region there
JB> is one master page directory that is updated and lazily copied to all AS
JB> on demand.
JB> 
JB> While this works for right promotions what about demotion/deletion, e.g.
JB> deallocation of kernel pages? Does Fiasco never free pages it once
JB> allocated?

Fiasco uses one page directory for each address space and then shares
the page tables for the kernel part of the address space between all page
directories. So removing a page from a page table immediately removes it
from all address spaces.

Cheers,

	- Udo
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 197 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/mkc2008/attachments/20090403/58994422/attachment.asc>