Faculty of Computer Science Institute of Systems Architecture, Operating Systems Group
MICROKERNEL-BASED OPERATING SYSTEMS INTRODUCTION
CARSTEN WEINHOLD Lecture Goals
2 Organization: Lecture
• Lecture every week • Online, as downloadable videos • Uploaded at the beginning of the week
• Subscribe to mailing list: • https://os.inf.tu-dresden.de/mailman/listinfo/mos2020
3 Organization: Exercises
• Exercises (roughly) bi-weekly Tuesday, 2:50 PM
• Practical exercises: • Computer lab or online (announced on mailing list)
• Paper reading exercises: • Read a paper beforehand • Sum it up and prepare 3 questions • We expect you to actively participate in discussion
• First exercise: in two weeks
• To be announced on website and mailing list 4 More Hands-On: Complex Lab
• Complex lab Microkernel-based Operating Systems • Build several components of an OS
• This term, in parallel to lecture • Starts in week of November 23, 2020 • Watch for announcement on complex lab website and on MOS lecture mailing list
5 MICROKERNEL-BASED OPERATING SYSTEMS INTRODUCTION
6 Purpose of an Operating System
7 Monolithic Kernels: Linux
8 Monolithic Kernels: Problems
9 The Microkernel Vision
10 The Microkernel Vision
11 What Microkernels Can Give Us …
12 Mach: A 1st-generation Microkernel
13 Mach: Feature Overview
14 Case Study: IBM Workplace OS
15 IBM Workplace OS: A Failure?
16 IBM Workplace OS: Lessons Learned
17 Mircokernels: Proven Advantages
18 Challenges
19 Who Else Is Out There?
20 The L4 Family Tree
21 L4: Key Concepts
22 TAKING A CLOSER LOOK: L4/FIASCO.OC AS A CASE STUDY
23 L4/Fiasco.OC
24 L4/Fiasco.OC: Kernel Objects
25 L4/Fiasco.OC: User-Level Objects
26 How to Call an Object?
27 L4/Fiasco.OC: Capabilities
28 Capabilities as Local Names
29 L4/Fiasco.OC: Object Capabilities
30 L4/Fiasco.OC: Communication
31 MORE L4 CONCEPTS
32 L4/Fiasco.OC: Threads
Address Space
33 L4/Fiasco.OC: Interrupts
34 Problem: Memory Partitioning
35 Solution: Virtual Memory
36 L4: Recursive Address Spaces
37 L4: Resource Mappings
38 L4/Fiasco.OC: Object Types
39 WHAT CAN BE BUILT ON L4?
40 Kernel vs Operating System
41 Linux on L4
42 Real-Time and Non-Real-Time
43 Virtual Machines
44 Genode
45 Lecture Outline
46