MICROKERNEL-BASED OPERATING SYSTEMS
来源:互联网 发布:乐股软件官网 编辑:程序博客网 时间:2024/05/01 06:15
MICROKERNEL-BASED OPERATING SYSTEMS
TOPICS
This lecture is going to introduce various aspects and concepts regarding the construction and implementation of microkernel-based operating system. In the first part, we introduce fundamental mechanisms that are required for efficient construction of an operating system on top of a microkernel. In the second part of the lecture, we show you real systems that have been built using these concepts. While strongly focussing on the microkernel work done at TU Dresden, we also take a look at alternatives.
Having attended the lecture on microkernel construction might help you to understand some concepts easier, but it is not necessary. In fact, we recommend to attend this lecture here first.
In addition to the lecture, we also have a practical course in which you will built parts of an operating system on top of a L4 microkernel in a group of 2-4 students. You are encouraged to take this practical course, too.
- The TU Dresden Operating System (TUD:OS)
- Basic services provided by the L4 Runtime Environment (L4Re)
- Resource Management and Real-Time
- The Genode Operating System Framework
- Virtualization concepts, especially para-virtualizing Linux (L4Linux)
- Building secure systems
- Reusing commodity software in a microkernel environment
SLIDES
- Introduction
- Inter-Process Communication
- Threads
- Memory
- Real-Time
- Device Drivers
- Resource Management
- Virtualization
- Legacy Reuse
- Security
- Security Architectures
- Trusted Computing
- Debugging
- Operating Systems vs. Fault Tolerance
EXERCISES
We will have two types of exercises. Practical exercises give you the opportunity to get hands-on experience using the software presented during the lecture. Paper Reading exercises let you practice reading scientific papers and shall inspire discussion on research ideas. All topics covered during the exercises may be content of your exam.
Practical Exercises
- 30th October, room INF E040
- Getting Started
- 27th November, room INF E069
- Inter-process Communication (source code>
- 08th January
- Virtualization (L4Linux)
Paper Reading
In preparation for these exercises you are required to read the paper to be presented in the exercise. Prepare at least three questions regarding topics of the paper. These may cover things you don't understand as well as arguments you do not believe in or ideas that arose from your reading. You will be expected to sum up the paper during the exercise as well as discuss your questions.
- 16th October
- Per Brinch Hansen: "The Nucleus of a Multiprogramming System"
- 4th December
- Galen Hunt: Singularity: Rethinking the Software Stack
- 11th December
- Gerald Popek, Robert Goldberg: Formal Requirements for Virtualizable Third-Generation Architectures
- Robert Goldberg: Survey of Virtual Machine Research(additional literature for better understanding)
- 15th January
- Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson: Microkernels meet Recursive Virtual Machines
URL:http://www.inf.tu-dresden.de/index.php?node_id=1314&ln=en
- MICROKERNEL-BASED OPERATING SYSTEMS
- Operating Systems
- Operating Systems
- What Operating Systems Do
- Review of Operating Systems
- Review of Operating Systems
- OPERATING SYSTEMS-version
- About: Operating Systems
- 操作系统(Operating Systems)学习心得
- Real-time operating systems (RTOS)
- 10 best alternative operating systems
- UMDF Versions and Operating Systems
- ostep01-Introduction to Operating Systems
- Oracle Linux Operating Systems Documentation
- IT manager's crash course: Operating systems
- Serial Programming Guide for POSIX Operating Systems
- Serial Programming Guide for POSIX Operating Systems
- Serial Programming Guide for POSIX Operating Systems
- 解决RedHat6/CentOS6系统中“弹出界面eth0:设备似乎不存在”的问题
- 总结一下Python IDLE快捷键
- 虚拟化存储的学习笔记
- 11054 - Wine trading in Gergovia
- cocos2d-x 切换场景动画
- MICROKERNEL-BASED OPERATING SYSTEMS
- LNMP-Linux下Nginx+MySQL+PHP+phpMyAdmin+eAcelerator一键安装包
- 整合apache和tomcat构建Web服务器
- 第三方网络广告平台窘境
- 移植SlidingMenu Android library,和安装example出现的问题解决
- no acceptable C compiler found in $PATH
- C#正则表达式小结
- 同步/异步与阻塞/非阻塞的区别
- 解决编译Apache出现的问题:configure: error: APR not found . Please read the documentation