diff options
| author | GNU Hurd wiki engine <web-hurd@gnu.org> | 2007-08-19 18:43:08 +0000 |
|---|---|---|
| committer | GNU Hurd wiki engine <web-hurd@gnu.org> | 2007-08-19 18:43:08 +0000 |
| commit | 38766f737e9f7c0356997d4b7e70d47ce1849b80 (patch) | |
| tree | 705d4127ae683ce139a72308b87b1938981daf61 /mach | |
| parent | 982fc1df4e827fd1af88390b04b13b9ef0e94ad7 (diff) | |
web commit by NealWalfield: Fix images.
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]]. |