Re: Sigma1

On Sat, 2006-05-20 at 19:42 +0200, Joshua LeVasseur wrote:
> Hello,
> 
> The microkernel needs memory resources for page tables, TCBs, and  
> mapping nodes.  We give the kernel a reserved set of pages for its  
> memory demands.  But of course the kernel can deplete its reserved  
> set of pages, and since it is a microkernel, it has no logic to swap  
> applications to disk to reclaim their pages.  Sigma1 is a memory  
> server that helps the kernel obtain more memory; sigma1 is  
> responsible for taking pages from the other applications and handing  
> the pages back to the kernel.  This has not been implemented yet.  An  
> alternative approach was created by Andreas Haeberlen, where the  
> applications provide to the kernel the resources necessary for  
> creating children applications.

I've read that the kernel could allocate pages from sigma0, is this not
correct?

I've also seen a paper mention that sigma1 was originally used for
persistent storage, is that not true anymore?

Thanks,
Luke.