On Tue, Jun 11, 2002 at 08:21:59PM -0700, Thomas Bushnell, BSG wrote: > Using libpager is a reasonable thing to do, in my opinion. > > But you must use it properly! :)
Ok ;) I do this in my current version, and it seems to work fine. I will check in the code right now, but I have one more question. When using libpager, I must provide my own backing store, right? At any time, it can happen that pager_write_page is called with my pages, and then they are removed. So I need to provide my own simple backing store for the pages on the one hand to save the pages when they are "swapped out", and my own server side mapping on the other hand to access the pages. I will use a malloc'ed area as backing store, and make all server side accesses to the buffer through the mapping. Then pager_read_page and pager_write_page only need to read from and write to the malloc'ed area. Seems a bit redundant to me :) but it should work. Thanks, Marcus -- `Rhubarb is no Egyptian god.' Debian http://www.debian.org [EMAIL PROTECTED] Marcus Brinkmann GNU http://www.gnu.org [EMAIL PROTECTED] [EMAIL PROTECTED] http://www.marcus-brinkmann.de _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd