\title{\bf A Partitioned Address Space:}
\title{\bf An Alternate Model for Virtual Memory}

\section{Motivation}

A major impediment for distributed, micro-kernel operating systems is
the price of a protection domain switch.  The dominating component of
this cost is switching memory maps, which requires reprogramming page
table registers and invalidating the cache.

An alternative to