Re: Integration of Compiler and Operating System

rsturner@hotmail.com wrote:
: "Michael Schoettner" <schoettner@informatik.uni-ulm.de> wrote:
: > I'm looking for research papers discussing integration of compiler and
: > OS. Is there something on the Web? I would be glad to receive an
: > e-mail. Many thanks in advance for your efforts.


Two (more-or-less) current projects which utilize compiler technology to
ensure in-kernel extension code is "safe" are the SPIN project at
U. Washington under Dr. Brian Bershad
(http://www.cs.washington.edu/research/projects/spin/www/) and the VINO
project at Harvard under Dr. Margo Seltzer
(http://www.eecs.harvard.edu/~vino/).


SPIN uses safe Modula-3 modules to extend its kernel. VINO examined a
number of techniques including "sandboxing" of pointers in C++. (Sandboxing
involves only allowing access to certain parts of the address space based
on bits in the pointer word. The C++ compiler masks all pointers with the
allowed bits before indirection.)


-Z-

Return to the comp.compilers page.
Search the comp.compilers archives again.