Professional Documents
Culture Documents
Part1 (Intro and Background)
Part1 (Intro and Background)
• Batch systems
• Multiprogrammed and Time-sharing
systems
– Desktop systems
Bus Interrupt
Job 1 Job 2
OS
Size increases
Speed decreases
Cost/price
decreases
• Dual-Mode Operation
• I/O Protection
• Memory Protection
monitor user
set user mode
e.g., Load/Store
(address)
• Examples:
– Microkernel (also known as μ-kernel),
https://en.wikipedia.org/wiki/Microkernel
– Formally verified
Operating Systems OS kernel,
1.43 Part 1 Introduction to Operating