From 8fb130c6315264ff44d86c1d06b8b2d83035bdbe Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Mon, 13 Dec 2010 17:14:28 +0100 Subject: microkernel/mach/external_pager_mechanism: Based on a 2002-06 email by Neal Walfield. --- microkernel/mach/external_pager_mechanism.mdwn | 13 +++---------- 1 file changed, 3 insertions(+), 10 deletions(-) (limited to 'microkernel') diff --git a/microkernel/mach/external_pager_mechanism.mdwn b/microkernel/mach/external_pager_mechanism.mdwn index 7b6015bb..2040f4ba 100644 --- a/microkernel/mach/external_pager_mechanism.mdwn +++ b/microkernel/mach/external_pager_mechanism.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2002, 2007, 2008 Free Software Foundation, +[[!meta copyright="Copyright © 2002, 2007, 2008, 2010 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable @@ -6,8 +6,8 @@ id="license" text="Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license -is included in the section entitled -[[GNU Free Documentation License|/fdl]]."]]"""]] +is included in the section entitled [[GNU Free Documentation +License|/fdl]]."]]"""]] Mach provides a so-called external pager [[mechanism]]. This mechanism serves to separate *managing memory* from *managing @@ -180,10 +180,3 @@ fashion. The server is not required to send a response to the kernel. (D) The manager then transfers the data to the storeio server which eventually sends it to disk. The device driver consumes the memory doing the equivalent of a `vm_deallocate`. - - -# Sources - -This text is based on a [June 2002 -email](http://lists.gnu.org/archive/html/l4-hurd/2002-06/msg00001.html) by -[[NealWalfield]]. -- cgit v1.2.3