[prev in list] [next in list] [prev in thread] [next in thread] 

List:       eros-arch
Subject:    PROPOSAL - large capability pages
From:       Bill Frantz frantz () netcom ! com
Date:       1997-03-18 3:09:42
[Download RAW message or body]

At 10:19 AM -0800 2/24/97, Jonathan S. Shapiro wrote:
>1. Introduce a new primary key type, "large capability page"
>....
>address must be aligned to a 16 byte boundary (i.e. a capability
>boundary).  If ADDRESS resolves to a data page, the instructions
>generate a privilege violation.  Similarly, if normal load/store
>instruction addresses resolve to a large capability page, the
>instructions generate a privilege violation.

Note that this change limits the maximum size of a capability.  It also
prevents you from shrinking the size in a tiny implementation.

This proposal also has implementations for verifying the implementation of
the kernel.


-------------------------------------------------------------------------
Bill Frantz       | Back from caving in Borneo.| Periwinkle -- Consulting
(408)356-8506     | Great caves.  We mapped    | 16345 Englewood Ave.
frantz@netcom.com | 25KM on the expedition.    | Los Gatos, CA 95032, USA

[prev in list] [next in list] [prev in thread] [next in thread]