134 |
page faults. |
page faults. |
135 |
\end{comment} |
\end{comment} |
136 |
|
|
137 |
The thread ID of $\sigma_0$ is (\verb/UserBase, 1)/. |
The thread ID of $\sigma_0$ is (\verb/UserBase/, 1). |
138 |
|
|
139 |
\begin{comment} |
\begin{comment} |
140 |
We will write all thread IDs in the form (\verb/thread nr/, |
We will write all thread IDs in the form (\verb/thread nr/, |
153 |
This will allow orthogonal persistence to be implemented. It is not |
This will allow orthogonal persistence to be implemented. It is not |
154 |
yet supported. |
yet supported. |
155 |
|
|
156 |
The thread ID of $\sigma_1$ is (\verb/UserBase + 1, 1)/. |
The thread ID of $\sigma_1$ is (\verb/UserBase/ + 1, 1). |
157 |
|
|
158 |
|
|
159 |
\section{The rootserver} |
\section{The rootserver} |
179 |
The rootserver has the following initial state: |
The rootserver has the following initial state: |
180 |
|
|
181 |
\begin{itemize} |
\begin{itemize} |
182 |
\item Its thread ID is (\verb/UserBase + 2/, 1). |
\item Its thread ID is (\verb/UserBase/ + 2, 1). |
183 |
|
|
184 |
\item The priority is set to the 255, the maximum value. |
\item The priority is set to the 255, the maximum value. |
185 |
|
|
193 |
|
|
194 |
\item The pager is set to $\sigma_0$. |
\item The pager is set to $\sigma_0$. |
195 |
|
|
196 |
\item The exception handler set to \verb/nilthread/. |
\item The exception handler is set to \verb/nilthread/. |
197 |
|
|
198 |
\item The scheduler is set to the rootserver thread itself. |
\item The scheduler is set to the rootserver thread itself. |
199 |
\end{itemize} |
\end{itemize} |