CS 656: Operating Systems
Nachos
Nachos is an instructional operating system developed at the University of California in Berkeley which is executed as a UNIX user process. The Nachos operations system is build on top of a simulation of the MIPS R2/3000 instruction set. We will be working with Version 3.2 of the Nachos distribution. Nachos is written in C++ but does not use all the features of the C++ language.
We will use Nachos for two programming homeworks.
Homework #3 and additional information.
Information on Nachos and Homework #2
Additional Documentation
Important Information
Installation
Homework #3 and additional information
Homework #3
.
Nachos Networking Background
.
Q&A on Homework #3
.
Information on Nachos and the Homeworks
Homework #2
.
Q&A on Homework #2
.
Overview of Nachos
.
Mechanics for the Homeworks
.
Additional Documentation
A Quick Introduction to C++
.
"The Nachos Instructional Operating System"
. This is a survey paper written by the authors of the Nachos operating systems.
Important Information
Our Nachos only runs on
Sun Sparc
workstations. If you experience problems with Solaris, switch to a machine that runs SunOS 4.1.x .
Use
gmake
for Makefiles.
For debugging use
gdb
version 4.10 or later.
Installation
Go to your home directory.
Use ftp to fetch the
nachos.tar
file (turning on binary mode first) from directory
/uf23/jorg/CS656_/Mosaic/nachos
.
Do a
tar -xf nachos.tar.
This will create a
nachos
directory.
(If you want a printout of the nachos source code do a
cd nachos; gmake print
).
Do a
cd nachos; gmake all
to compile nachos.
gmake
will create Makefiles in the following subdirectories:
bin, network, userprog, filesys, test, vm, machine, threads.
For Homework #2 you will create Nachos in the subdirectory
threads
and
userprog
by doing
cd nachos/threads; gmake
,
cd userprog/threads; gmake
.
Test-run the provided versions of Nachos:
For Part 1 of Homework#2: Do a
cd nachos/threads
; then do
nachos
. (
nachos -d
prints out debug information.)
For Part 2 of Homework#2: Do a
cd nachos/userporg
and then
nachos
.
Return to CS 656 Home Page.
jorg@cs.virginia.edu (Last updated 06-Mar-1995)