Slides - Choong

Download Report

Transcript Slides - Choong

Operating Systems
CS3013 / CS502
WEEK 5
VIRTUAL MEMORY
INPUT AND OUTPUT
Agenda
2
 Virtual Memory
 Input and Output
Objectives
3
 Identify virtual memory, page faults and overhead
 Differentiate various page replacement policies
 Explain advantages and/or disadvantages of
different page replacement policies
 Explain thrashing
Review
4
 Virtual/Logical Address


The address space in which a process “thinks”
Distinguished from Physical Memory, the address space fo the
hardware memory system
 Multiple forms



Base and Limit registers
Paging
Segmentation
 Memory Management Unit (MMU)



Present in most modern processors
Converts all virtual addresses to physical address
Transparent to execution of programs
Review
5
 Translation Lookaside Buffer (TLB)
 Hardware associative memory for very fast page table lookup
of small set of active pages
 Can be managed in OS or in hardware (or both)
 Must be flushed on context switch
 Page table organization
 Direct: maps virtual address  physical address
 Hashed
 Inverted: maps physical address  virtual address
Motivation
6
 Logical address space larger than physical memory
 232 about 4GB in size
 “Virtual Memory”
 On disk
 Abstraction for programmer
 Examples:
 Unused libraries
 Error handling not used
 Maximum arrays
Paging Implementation
7
Page 0
0
1
v
0
Page 1
1
0
i
1
Page 2
2
3
v
2
Page 3
3
i
3
Logical
Memory
0
Page Table
0
Page 0
2
3
1
Page 2
Physical Memory
Virtual Memory
What happens when access invalid page?
Cache?
8
 Translation Lookaside Buffer (TLB) and Page Table
 Physical Memory and Virtual Memory
 Issues
 When to put something in the cache
 What to throw out to create cache space for new items
 How to keep cached item and stored item in sync after one or
the other is updated
 Size of cache needed to be effective
 Size of cache items for efficiency
Virtual Memory
9
 When to swap in a page
 On demand? Or in anticipation?
 What to throw out
 Page Replacement Policy
 Keeping dirty pages in sync with disk
 Flushing strategy
 Size of pages for efficiency
 One size fits all, or multiple sizes?
No Free Frames
10
 Page fault  What if no free frames?

Terminate process (out of memory)

Swap out process (reduces degree of multiprogramming)

Replace another page with needed page

Page replacement
VM Page Replacement
11
 If there is an unused frame, use it
 If there are no unused frames available, select a
victim (according to policy) and

If it contains a dirty page





Write it to the disk
Invalidate its PTE and TLB entry
Load in new page from disk (or create new page)
Update the PTE and TLB entry
Restart the faulting instruction
 What is cost of replace a page?
 How does the OS select the page to be evicted?
Page Replacement
12
Page 0
0
1
v
Page 1
1
0
vi
Page 2
2
3
v
Page 3
3
0
i
Logical
Memory
Page Table
0
1
0
v
2
vi
Page Table
0
Page B0
B1
1
Page A0
2
Page A1
B1
3
Page A2
Physical Memory
A0
A2
A3
A1
Virtual Memory
Demanding Page Performance
13
 Page Fault Rate (p)
 0 ≤ p < 1 (no page faults to every reference)
 Page Fault Overhead
 = read page time + fault service time + restart process time
read page time ~ 8-20 msec
 restart process time ~ 0.1-10-100 μsec
 fault service time ~ 0.1-10 μsec

 Dominated by time to read page in from disk
Demand Paging Performance
14
 Effective Access Time (EAT)
 = (1 – p) * memory access time + p * page fault overhead
 Want EAT to degrade no more than, say, 10% from
true memory access time

i.e. EAT < (1 + 10%) * memory access time
Performance Example
15
 Memory access time = 100 ns
 Page fault overhead = 25 ms
 Page fault rate = 1/1000
 What is the Effective Access Time?
Performance Example
16
 Memory access time = 100 ns
 Page fault overhead = 25 ms
 Goal: achieve less than 10% degradation
Page Replacement Algorithms
17
 Want lowest page-fault rate
 Evaluate algorithm by running it on a particular
string of memory references (reference string) and
computing the number of page faults on that string
 Reference string – ordered list of pages accessed as
process executes
Ex. Reference String : 1 2 3 1 2 4 1 4 2 3 2
First-In-First-Out (FIFO)
18
 Easy to implement
 When swapping a page in, place its page id on end of list
 Evict page at head of list
 Page to be evicted has been in memory the longest
time, but …

Maybe it is being used, very active even
 Weird phenomenon: Belady’s Anomaly
 Page fault rate may increase when there is more physical
memory!
 FIFO is rarely used in practice
FIFO Illustrating Belady’s Anomaly
19
First-In-First-Out (FIFO)
20
Reference String : 1,2,3,4,1,2,5,1,2,3,4,5
3 Frames/Process
First-In-First-Out (FIFO)
21
Reference String : 1,2,3,4,1,2,5,1,2,3,4,5
3 Frames/Process
1
4
5
2
1
3
3
2
4
9 page faults!
 How can we reduce the number of page faults?
The Best Page to Replace
22
 The best page to replace is the one that will never be
accessed again.
 Optimal Algorithm – Belady’s Rule
 Lowest fault rate for any reference string
 Basically, replace the page that will not be used for the longest
time in the future
 Belady’s Rule is a yardstick
 We want to find close approximations
Optimal
23
Reference String : 1,2,3,4,1,2,5,1,2,3,4,5
4 Frames/Process
3
Optimal
24
Reference String : 1,2,3,4,1,2,5,1,2,3,4,5
1
4 Frames/Process
4
2
6 page faults!
3
4
5
 Minimum # of page faults. Use this as benchmark
Least Recently Used (LRU)
25
 Counter implementation
 Every page has a counter; every time page is referenced, copy
clock to counter
 When a page needs to be changed, compare the counters to
determine which to change
 Stack implementation
 Keep a stack of page numbers
 Page referenced: move to top
 No search needed for replacement
LRU Approximation
26
Reference String : 1,2,3,4,1,2,5,1,2,3,4,5
4 Frames/Process
3
Least Recently Used
27
Reference String : 1,2,3,4,1,2,5,1,2,3,4,5
1
4 Frames/Process
5
2
8 page faults!
3
5
4
3
4
LRU Approximation
28
 LRU is good but hardware support expensive
 Aging
 Keep a counter for each PTE
 Periodically (clock interrupt) – check R-bit
If R = 0, increment counter (page has not been used)
 If R = 1, clear the counter (page has been used)
 Clear R = 0



Counter contains # of intervals since last access
Replace page having largest counter value
Second-Chance
29
 Maintain FIFO page list
 When a page frame is needed, check reference bit of
top page in list


If R = 1, then move page to end of list and clear R, repeat
If R = 0, then evict the page
 If page referenced enough, never replaced
 Implement with a circular queue
Second-Chance
30
(a)
Next
Victim
(b)
1
1
0
1
0
2
0
2
1
3
0
3
1
4
0
4
 If all 1, degenerates to FIFO
Not Recently Used (NRU)
31
 Enhanced Second-Chance
 Uses 2 bits, reference bit and modify bit
 Periodically clear R bit from all PTE’s
 When needed, rank order pages as follows (R, M)
 (0,0) neither recently used nor modified
 (0,1) not recently used but modified
 (1,0) recently used but “clean”
 (1,1) recently used and modified
 Evict a page at random from lowest non-empty class
Thrashing
32
 With multiprogramming, physical memory is shared
 Kernel code
 System buffers and system information (e.g. PTs)
 Some for each process
 Each process needs a minimum number of pages in
memory to avoid thrashing
 If a process does not have “enough” pages, the pagefault rate is very high



Low CPU utilization
OS thinks it needs increased multiprogramming
Adds another process to system
Thrashing
CPU
utilization
33
Degree of multiprogramming
Working-Set Model
34
 w = working-set window = fixed # of page references
 total number of pages references in time T
 Total = sum of size of w’s
 m = number of frames
Working Set Example
35
 Assume T = 5
 123231243474334112221
w={1,2,3}



w={3,4,7} w={1,2}
If T too small, will not encompass locality
If T too large, will encompass several localities
If T  infinity, will encompass entire program
 If Total > m  thrashing
 Need to free up some physical memory
 E.g. , suspend a process, swap all of its pages out
Page Fault Frequency
36
increase
number of
frames
Page Fault Rate
upper bound
lower bound
Number of Frames
•Establish “acceptable” page-fault rate
•If rate too low, process loses frame
•If rate too high, process gains frame
decrease
number of
frames
Review of Page Replacement Algorithms
37
Algorithm
Comment
Optimal
Not implementable, but useful as benchmark
First-In-First-Out (FIFO)
Might throw out important pages
Second Chance
Big improvement over FIFO
Not Recently Used (NRU)
Very crude
Least Recently Used (LRU)
Excellent, but difficult to implement exactly
Working-Set
Somewhat expensive to implement
Page Size
38
 Old - Page size fixed, New -choose page size
 How do we pick the right page size? Tradeoffs:
 Fragmentation
 Table size
 Minimize I/O


transfer small (.1ms), latency + seek time large (10ms)
Locality

small finer resolution, but more faults
 ex: 200K process (1/2 used), 1 fault / 200k, 100K faults/1 byte
 Historical trend towards larger page sizes
 CPU, memory faster proportionally than disks
Program Structure
39
 consider:
int A[1024][1024];
for (j=0; j<1024; j++)
for (i=0; i<1024; i++)
A[i][j] = 0;
 suppose:
 process has 1 frame
 1 row per page
  1024 * 1024 page faults!
Program Structure
40
 consider:
int A[1024][1024];
for (i=0; j<1024; j++)
for (j=0; i<1024; i++)
A[i][j] = 0;
 1024 page faults
Process Priorities
41
 Consider
 Low priority process faults

Bring page in

Low priority process in ready queue for a while, waiting while
high priority process runs

High priority process faults

Low priority page clean, not used in a while
 Perfect!
Real-Time Processes
42
 Real-time
 Bounds on delay
 Hard real-time: systems crash  lives lost


Air-traffic control, factory automation
Soft real-time: application performance degradation

Audio, video
 Paging adds unexpected delays
 Avoid it
 Lock bits for real-time processes
Agenda
43
 Virtual Memory
 Input and Output
Objectives
44
 Explain different types of I/O devices
 Explain how to handle various types of I/O
interrupts
 Give examples of types of I/O devices
 Explain scheduling algorithms for hard disk head
Introduction to Input/Output
45
 One OS function is to control devices
 Significant fraction of code (80-90% of Linux)
 Want all devices to be simple to use
 Convenient
 Ex: stdin/stdout, pipe, re-direct
 Want to optimize access to device
 Efficient
 Devices have very different needs
Hardware Organization (Simple)
46
Memory
CPU
memory bus
Device
Device
Hardware Organization (typical Pentium)
47
Main
Memory
AGP Port
Level
2
cache
CPU
Bridge
PCI bus
Ethernet
SCSI
ISA
bridge
Graphic
s card
IDE
disk
USB
ISA bus
Mouse
Keyboard
Modem
Sound
card
Printer
Monitor
Kinds of I/O Device
48
 Character (and sub-character devices)

Mouse, character terminal, joystick, keyboards
 Block transfer


Disk, tape, CD, DVD
Network
 Clocks

Internal, external
 Graphics

GUI, games
 Multimedia

Audio, video
 Other

Sensors, controllers
Controlling an I/O Device
49
 A function of host CPU architecture
 Special I/O Instructions



Opcode to stop, start, query, etc.
Separate I/O address space
Kernel mode only
 Memory-mapped I/O control registers





Each register has a physical memory address
Writing to data register is output
Reading from data register is input
Writing to control register causes action
Can be mapped to kernel or user-level virtual memory
I/O Device Types - Character
50
 Access is serial.
 Data register:
 Register or address where data is read from or written to
 Very limited capacity (at most a few bytes)
 Action register:
 When writing to register, causes a physical action
 Reading from register yields zero
 Status register:
 Reading from register provides information
 Writing to register is no-op
I/O Device Types - Block
51
 Access is independent
 Buffer address register:

Points to area in physical memory to read or write data
OR
 Addressable buffer for data

E.g., network cards
 Action register:


When writing to register, initiates a physical action or data transfer
Reading from register yields zero
 Status register:


Reading from register provides information
Writing to register is no-op
Direct Memory Access
52
 Very Old
 Controller reads from device
 OS polls controller for data
 Old
 Controller reads from device
 Controller interrupts OS
 OS copies data to memory
 DMA
 Controller reads from device
 Controller copies data to memory
 Controller interrupts OS
Direct Memory Access (DMA)
53
 Ability to control block devices to autonomously read
from and/or write to main memory

(usually) physical memory
 Transfer address:
 Points to location in physical memory
 Action register:
 Initiates a reading of control block chain to start actions
 Status register:
 Reading from register provides information
Direct Memory Access (DMA)
54
Programmed DMA
55
DMA controller
controls
disk
physical
memory
First
control block
operation
address
Count
control info
next
operation
address
Count
control info
next
operation
address
Count
control info
next
…
Programmed DMA
56
 DMA control register points to first control block in
chain
 Each EMA control block has




Action & control info for a single transfer of one or more blocks
Data addresses in physical memory
(optional) link to next block in chain
(optional) interrupt upon completion
 Each control block removed from chain upon
completion
 I/O subsystem may add control blocks to chain while
transfers are in progress
Principles of I/O Software
57
 Efficiency – Do not allow I/O operations to become system bottleneck

Especially slow devices
 Device independence – isolate OS and application programs from device
specific details and peculiarities
 Uniform naming – support a way of naming devices that is scalable and
consistent
 Error handling – isolate the impact of device errors, retry where possible,
provide uniform error codes

Errors are abundant in I/O
 Buffering – provide uniform methods for storing and copying data between
physical memory and the devices
 Uniform data transfer modes – synchronous and asynchronous, read, write, ..
 Controlled device access – sharing and transfer modes
 Uniform driver support – specify interfaces and protocols that drivers must
adhere to
I/O Software “Stack”
58
I/O API & libraries
User Level Software
Device Independent
Software
Device Dependent
Device Dependent
– as short as
possible
Device Drivers
Interrupt Handlers
Hardware
(Rest of the OS)
Three Common Ways I/O Can be Performed
59
 Programmed I/O
 Interrupt-Driven I/O
 I/O using DMA
Programmed I/O (polling)
60
 Used when device and controller are relatively quick
to process an I/O operation

Device driver
Gains access to device
 Initiates I/O operation
 Loops testing for completion of I/O operation
 If there are more I/O operations, repeat


Used in following kinds of cases
Service interrupt time > Device response time
 Device has no interrupt capability
 Embedded systems where CPU has nothing else to do

Programmed I/O Example
61
 Keyboard & mouse buttons implemented as 128-bit read-
only register


One bit for each key and mouse button
0 = “up”; 1 = “down”
 Mouse “wheels” implemented as pair of counters

One click per unit of motion in each of x and y directions
 Clock interrupt every 10 msec




Reads keyboard register, compares to previous copy
Determines key & button transitions up or down
Decodes transition stream to form character and button sequence
Reads and compares mouse counters to form motion sequence
Other Programmed I/O Examples
62
 Check status of device
 Read from disk or boot device at boot time
 No OS present, hence no interrupt handlers
 Needed for bootstrap loading of the inner portions of kernel
 External sensors or controllers
 Real-time control systems
Interrupt Handling
63
 Interrupts occur on I/O events
 Operation completion
 Error or change of status
 Programmed in DMA command chain
 Interrupt
 Stops CPU from continuing with current work
 Saves some context
 Restarts CPU with new address & stack
Set up by the interrupt vector
 Target is the interrupt handler

Interrupts
64
Interrupt Request Lines (IRQs)
65
 Every device is assigned an IRQ
 Used when raising an interrupt
 Interrupt handler can identify the interrupting device
 Assigning IRQs
 In older and simpler hardware, physically by wires and
contacts on device or bus
 In most modern PCs, etc., assigned dynamically at boot time
Handling Interrupts (Linux Style)
66
 Terminology



Interrupt context – kernel operating not on behalf of any process
Process context – kernel operating on behalf of a particular process
User context – process executing in user virtual memory
 Interrupt Service Routine (ISR), also called Interrupt Handler



The function that is invoked when an interrupt is raised
Identified by IRQ
Operates on Interrupt stack (as of Linux kernel 2.6)

One interrupt stack per processor; approx 4-8 kbytes
 Top half – does minimal, time-critical work necessary


Acknowledge interrupt, reset device, copy buffer or registers, etc.
Interrupts (usually) disabled on current processor
 Bottom half – the part of the ISR that can be deferred to more convenient
time




Completes I/O processing; does most of the work
Interrupts enabled (usually)
Communicates with processes
Possibly in a kernel thread (or even a user thread!)
Interrupt-Driven I/O Example
67
 Software Time-of-Day Clock
 Interrupt occurs at fixed intervals
 50 or 60 Hz
 Service routine (top half):–
 Adds one tick to clock counter
 Service routine (bottom half):–
 Checks list of soft timers
 Simulates interrupts (or posts to semaphores or signals
monitors) of any expired timers
Interrupt-Driven I/O Examples
68
 Very “slow” character-at-a-time terminals
 Mechanical printers (15 characters/second)
 Some keyboards (one character/keystroke)




Command-line completion in many Unix systems
Game consoles
Serial modems
Many I/O devices in “old” computers

Paper tape, punched cards, etc.
 Common theme
 CPU participates in transfer of every byte or word
Direct Memory Access (DMA)
69
DMA Interrupt Handler
70
 Service Routine – top half (interrupts disabled)
 Does as little work as possible and returns
(Mostly) notices completion of one transfer, starts another
 (Occasionally) checks for status
 Setup for more processing in upper half

 Service Routine – bottom half (interrupts enabled)
 Compiles control blocks from I/O requests
 Manages & pins buffers, translates to physical addresses
 Posts completion of transfers to requesting applications


Unpin and/or release buffers
Possibly in a kernel thread
DMA Example
71
 Streaming Tape
 Requirement
 Move data to/from tape device fast enough to avoid stopping tape
motion
 Producer-consumer model between application and bottom-
half service routine


Multiple actions queued up before previous action is completed
Notifies application of completed actions
 Top half service routine
 Records completion of each action
 Starts next action before tape moves too far
 Result:–
 Ability to read or write many 100’s of megabytes without stopping tape
motion
Other DMA Examples
72
 Disks, CD-ROM readers, DVD readers
 Ethernet & wireless “modems”
 Tape and bulk storage devices
 Common themes:
 Device controller has space to buffer a (big) block of data
 Controller has intelligence to update physical addresses and
transfer data
 Controller (often) has intelligence to interpret a sequence of
control blocks without CPU help
 CPU does not touch data during transfer.
Error Detection and Correction
73
 Most data storage and network devices have hardware
error detection and correction
 Redundancy code added during writing


Parity: detects 1-bit errors, not 2-bit errors
Hamming codes


Corrects 1-bit errors, detects 2-bit errors
Cyclic redundancy check (CRC)
Detects errors in string of 16- or 32-bits
 Reduces probability of undetected errors to very, very low

 Check during reading

Report error to device driver
 Error recovery: one of principal responsibilities of a
device driver!
Specific Device
74
 Hard Disk Drives (HDD)
 Controller often on disk
 Cache to speed access
Hard Disk Drives (HDD)
75
 Platters
 3000-10,000 rpm
 Tracks
 Cylinders
 Sectors
 Disk arms all move together
 If multiple drives
 Overlapping seeks but one read/write at a time.
Disk Arm Scheduling
76
 Read time:
 Seek time (arm to cylinder)
 Rotational delay (time for sector under head)
 Transfer time (take bits off disk)
 Seek time dominates
 How does disk arm scheduling affect seek?
First-Come-First-Serve (FCFS)
77
1
2
3
5
6
7
x
x
8
9
10
11
12
x
13
14
15
x
Time
x
4
 14 + 13 + 2 + 6 + 3 + 12 + 3 = 53
 Service requests in order that they arrive
 Little can be done to optimize
 What if many requests?
16
17
18
x
19
20
x
Shortest Seek First (SSF)
78
1
2
3
5
6
7
x
x
8
9
10
x
Time
x
4
 1 + 2 + 6 + 9 + 3 + 2 = 23
 What if many requests?
11
12
13
14
15
x
16
17
18
x
19
20
x
Elevator (SCAN)
79
1
2
3
5
6
7
x
x
8
9
10
11
12
13
14
x
15
16
17
x
Time
x
4
 1 + 2 + 6 + 3 + 2 + 17 = 31
 Usually, a little worse average seek time than SSF

But more fair, avoids starvation
 C-SCAN has less variance
 Note, seek getting faster, rotational not
18
x
19
20
x
Redundant Array of Inexpensive Disks (RAID)
80
 For speed
 Pull data in parallel
 For fault-tolerance