Can We Make Operating Systems Reliable and Secure?
Abstract
Microkernels—long discarded as unacceptable because of their lower performance compared with monolithic kernels—might be making a comeback in operating systems due to their potentially higher reliability, which many researchers now regard as more important than performance.
- Publication:
-
Computer
- Pub Date:
- 2006
- DOI:
- Bibcode:
- 2006Compr..39e..44T
- Keywords:
-
- Operating systems;
- Kernel;
- Protection;
- Data structures;
- Marine vehicles;
- Computer bugs;
- Aircraft propulsion;
- Linux;
- File systems;
- Aerospace engineering;
- Singularity operating system;
- Microkernels;
- Paravirtual machines;
- Multiserver architectures;
- Interprocess communication;
- Minix 3