Welcome to 14-712 Operating System!
Your first warming-up project consists of following the instruction below, preparing a working development environment for your future projects, and reading some code of Pintos.
There is no deliverable for this project. Please feel free to come to office hours if you need any help.
You're free to use any other methods you like to build up a development environment. We will only examine the pintos\src directory for grading purpose in the future projects.
- Download and install VirtualBox from its website
As we found from (hashicorp/vagrant#11249), Vagrant seems to be not supporting VirtualBox with version number larger than 6.1.
Please download version 6.0 or use the workarounds mentioned in this issue
Windows users please disable Hyper-V, otherwise the VirtualBox environment will not boot.
- Download and install vagrant from its website.
You can also use whatever package management tool you like for the softwares above.
-
You may also need to install X-Server for displaying the QEMU or Bochs windows.
-
Clone this repository
git clone https://github.com/YorkHe/pintos.git
Windows users, please change the EOL sequence of file pintos\src\misc\bochs-2.6.2-build.sh
to LF. Otherwise the vagrant script will not work properly.
-
Go to the root of the repository, then run
vagrant up
. This may take a while. Please do this with good Internet connection. -
Run
vagrant ssh
to log into the VM. The source code will be placed under the path/home/vagrant/pintos
, and it is synced with thepintos
directory in this repository. -
HAVE FUN!
For having a better start of the first project, please read the following files.
- All the data structures under
lib/kernel
-- thelist
,bitmap
andhash
. They will be your best friends throughout this semester. threads/thread.h
, for a good understanding of what are stored in each thread and how the scheduler works.threads/switch.S
. Try to understand how context switch happens in Pintos.threads/synch.h
andthreads/synch.c
. What are the synchronization methods used in Pintos, and what are the differences?