Re: Scheduling Memory in Viengoos

"Neal H. Walfield" <[email protected]> Thu, 26 Jun 2008 15:24:59 +0200

Newsgroups	gmane.os.hurd.l4
Message-ID	<87y74snxas.wl%[email protected]>

At Thu, 26 Jun 2008 12:59:08 +0200,
Neal H. Walfield wrote:
> Viengoos also provides a per-principal notion of availability.  The
> very short version of how this is calculated is:
> 
>   A.available = MAX (A.share, A.allocated * A.pressure)

More precise is:

  A.available = MAX (A.share + unused, A.allocated) * A.pressure

(If unused is non-zero then pressure is 1)