diff options
Diffstat (limited to 'mach')
| -rw-r--r-- | mach/externalpagermechanism.mdwn | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/mach/externalpagermechanism.mdwn b/mach/externalpagermechanism.mdwn index 71ffab12..859a365b 100644 --- a/mach/externalpagermechanism.mdwn +++ b/mach/externalpagermechanism.mdwn @@ -84,7 +84,7 @@ mappings etc. # Resolving Page Faults - +> > (G) Client ________ > resumed / \ > | Mach | @@ -106,6 +106,7 @@ mappings etc. > ____________ > / Hardware \ + (A) The client does a memory access and faults. The kernel catches the fault and maps the address to the appropriate memory object. It then invokes the memory_object_request method on the associated @@ -145,7 +146,7 @@ address space and finally, resumes the client. # Paging Data Out - Change manager Pager m_o_return store_write +> Change manager Pager m_o_return store_write > \ _________ (B) __(A)__ (C) ________ (D) _______ > S | / Default \ / \ / \ / \ > W |<=>| Pager |<=>| Mach |==>| server |<=>| storeio |<=> @@ -153,6 +154,7 @@ address space and finally, resumes the client. > P | > / + (A) The paging [[policy]] is implemented by Mach: servers just implement the [[mechanism]]. |