Lecture 01
Lecture 01
Lecture 1: Introduction
Anton Burtsev
January, 2014
Class details
4 TAs
Web page
http://www.cs.utah.edu/~aburtsev/cs5460
This course
Based on
http://pdos.csail.mit.edu/6.828/2012/xv6/xv6-rev7.pdf
http://pdos.csail.mit.edu/6.828/2012/xv6/book-rev7.pdf
Course organization
Lectures
Reading
Labs
Design riddles
Prerequisites
Xv6 is written in C
Crashes....
Read manual
Device drivers
Abstract hardware
Batch requests
Examples
Am I cheating with
the linker?
Scheduling
Isolation
Permanent storage
E.g., disks
wrtie(block_number, block_data)
Files
fd = open(contacts.txt);
Sockets
Linux/Windows/Mac
Multiple programs
File systems
Consistency, caching
Network protocols
Memory management
What is the
problem?
Hardware is not
designed to be
multiplexed
Loss of isolation
Virtual machine
Efficient duplicate
of a real machine
Compatibility
Performance
Isolation
Virtual machine
Efficient duplicate
of a real machine
Compatibility
Performance
Isolation
8 cores (2 Ghz)
64 Gig of RAM
Or in nanoseconds:
References
http://www.intel.com/content/dam/www/public/us/en