Escolar Documentos
Profissional Documentos
Cultura Documentos
ch
@spcl_eth
spcl.inf.ethz.ch
@spcl_eth
Structure of an OS
spcl.inf.ethz.ch
@spcl_eth
This time
spcl.inf.ethz.ch
@spcl_eth
spcl.inf.ethz.ch
@spcl_eth
System Startup
Exception: caused by user program
Interrupt: caused by something else
System calls
Exception vs. Interrupt vs. System call (analog technology quiz, raise hand)
Division by zero
Fork
Incoming network packet
Segmentation violation
Read
Keyboard input
spcl.inf.ethz.ch
@spcl_eth
User process
runs
Execute
syscall
Process resumes
User
mode
Privileged
mode
Execute kernel
code
System calls
spcl.inf.ethz.ch
@spcl_eth
spcl.inf.ethz.ch
@spcl_eth
User-level upcall
Much like an interrupt, but to user-level
spcl.inf.ethz.ch
@spcl_eth
Processes
spcl.inf.ethz.ch
@spcl_eth
Process concept
The execution of a program with restricted rights
Virtual machine, of sorts
On older systems:
Single dedicated processor
Single address space
System calls for OS functions
In software:
computer system = (kernel + processes)
10
spcl.inf.ethz.ch
@spcl_eth
Process ingredients
Virtual processor
Address space
Registers
Instruction Pointer / Program Counter
11
spcl.inf.ethz.ch
@spcl_eth
Should look
familiar
BSS
Data
00000000
Text
12
spcl.inf.ethz.ch
@spcl_eth
Process lifecycle
created
preemption
runnable
(ready)
I/O
completes
running
dispatch
blocked
(waiting)
I/O
operation
terminated
13
spcl.inf.ethz.ch
@spcl_eth
Multiplexing
OS time-division multiplexes processes
Or space-division on multiprocessors
14
spcl.inf.ethz.ch
@spcl_eth
Stack
kernel memory
(other
kernel
data
structures)
BSS
Data
Text
Process
Control
Block
15
spcl.inf.ethz.ch
@spcl_eth
Process switching
Kernel
Process A
Process B
[Process A executes]
Time
[Process A executes]
16
spcl.inf.ethz.ch
@spcl_eth
Process Creation
17
spcl.inf.ethz.ch
@spcl_eth
Process Creation
Bootstrapping problem. Need:
Code to run
Memory to run it in
Basic I/O set up (so you can talk to it)
Way to refer to the process
18
spcl.inf.ethz.ch
@spcl_eth
The result
spcl.inf.ethz.ch
@spcl_eth
20
spcl.inf.ethz.ch
@spcl_eth
Exercise:
work out how
to do this on
your
favourite
Unix or Linux
machine
21
spcl.inf.ethz.ch
@spcl_eth
Fork in action
pid_t p = fork();
if ( p < 0 ) {
// Error
exit(-1);
} else if ( p == 0 ) {
// Were in the child
execlp(/bin/ls, ls, NULL);
} else {
// Were a parent.
// p is the pid of the child
wait(NULL);
exit(0);
}
spcl.inf.ethz.ch
@spcl_eth
preemption
It really is
called a
Zombie
forked
runnable
(ready)
running
dispatch
undead
I/O
completes
blocked
(waiting)
I/O
operation
Dead
(and gone)
parent
calls wait()
23
spcl.inf.ethz.ch
@spcl_eth
Kernel Threads
24
spcl.inf.ethz.ch
@spcl_eth
Kernel threads
One-to-one user-space threads
Many-to-one
Many-to-many
25
spcl.inf.ethz.ch
@spcl_eth
Kernel threads
Kernels can (and some do) implement threads
Multiple execution contexts inside the kernel
Much as in a JVM
26
spcl.inf.ethz.ch
@spcl_eth
Process switching
Kernel
Process A
Process B
[Process A executes]
Time
Whats
happening
here?
A thread?
[Kernel executes]
[Process A executes]
27
spcl.inf.ethz.ch
@spcl_eth
Kernel architecture
Basic Question: How many kernel stacks?
Unix 6th edition has a kernel stack per process
Arguably complicates design
Q. On which thread does the thread scheduler run?
A. On the first thread (#1)
Every context switch is actually two!
Linux et al. replicate this, and try to optimize it.
Others (e.g., Barrelfish) have only one kernel stack per CPU
Kernel must be purely event driven: no long-running kernel tasks
More efficient, less code, harder to program (some say).
28
spcl.inf.ethz.ch
@spcl_eth
Kernel stack A
Kernel stack B
Process B
Kernel stack 0
Save to PCB(A)
Decide to
switch
process
Pick
process to run
Switch to
Kernel
stack B
Restore
PCB(B)
29
spcl.inf.ethz.ch
@spcl_eth
Linux:
Good old int 0x80 or 0x2e (software interrupt, syscall number in EAX)
Set up registers and call handler
30
spcl.inf.ethz.ch
@spcl_eth
31
spcl.inf.ethz.ch
@spcl_eth
2.
3.
4.
5.
32
spcl.inf.ethz.ch
@spcl_eth
3.
33
spcl.inf.ethz.ch
@spcl_eth
User-space threads
34
spcl.inf.ethz.ch
@spcl_eth
35
spcl.inf.ethz.ch
@spcl_eth
36
spcl.inf.ethz.ch
@spcl_eth
Many-to-one threads
Early thread libraries
Green threads (original Java VM)
GNU Portable Threads
Standard student exercise: implement them!
37
spcl.inf.ethz.ch
@spcl_eth
Many-to-one threads
User
Kernel
CPU 0
CPU 1
38
spcl.inf.ethz.ch
@spcl_eth
Thread 3 stack
BSS
Data
Text
Just
allocate
on the
heap
Thread 2 stack
BSS
Data
Text
39
spcl.inf.ethz.ch
@spcl_eth
40
spcl.inf.ethz.ch
@spcl_eth
User
Kernel
CPU 0
CPU 1
41
spcl.inf.ethz.ch
@spcl_eth
Thread 3 stack
BSS
BSS
Data
Data
Text
Text
42
spcl.inf.ethz.ch
@spcl_eth
Comparison
User-level threads
Cheap to create and
destroy
Fast to context switch
Can block entire process
Not just on system calls
One-to-one threads
Memory usage (kernel
stack)
Slow to switch
Easier to schedule
Nicely handles blocking
43
spcl.inf.ethz.ch
@spcl_eth
Many-to-many threads
Multiplex user-level threads over several kernel-level threads
Only way to go for a multiprocessor
I.e., pretty much everything these days
44
spcl.inf.ethz.ch
@spcl_eth
Many-to-many threads
User
Kernel
CPU 0
CPU 1
45
spcl.inf.ethz.ch
@spcl_eth
Next week
Synchronisation:
How to implement those useful primitives
Interprocess communication
How processes communicate
Scheduling:
Now we can pick a new process/thread to run, how do we decide which
one?
46