article

Free access

On micro-kernel construction

Author:

J. LiedtkeAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 29, Issue 5

Pages 237 - 250

https://doi.org/10.1145/224057.224075

Published: 03 December 1995 Publication History

PDF eReader

Supplementary Material

ZIP File (liedtke.zip)

Software for On micro-kernel construction

Download
70.19 KB

References

[1]

Assenmacher, H., Brmtbach, T, Buhler, P. Hubsch, V, and Schwarz, R. 1993 The Panda system architecture - a plcokernel approach. In 4th Workshop on Future Trends of Distributed Computmg Systems, Llsboa, Portugal, pp 470-476]]

Google Scholar

[2]

Bernabeu-Auban, J M, Hutto, P W, and Khalidl, Y. A 1988 The architecture of the Ra kernel. Tech Rep GIT-ICS-87/35 (Jan.), Georgia Institute of Technology, Atlanta, GA.]]

Google Scholar

[3]

Bershad, B N, Anderson, T E, Lazowska, E. D., and Levy, H. M. 1989 Llghtwelght remote procedure call In iJth ACM Sympo. sium on Operating System Prmc~ples (SOSP), Lichfield Park, AR, pp 102-113]]

Digital Library

Google Scholar

[4]

Bershad, B N., Chambers, C, Eggers, S, Maeda, C, McNamee, D., Pardyak, P, Savage, S, and Slrer, E G 1994 Spa -an extensible microkernei for application-specific operatmg system services In 6th SIGOPS European Workshop, SchloB Dagstuhl, Germany, pp 68-71.]]

Digital Library

Google Scholar

[5]

Bershad, B N., Savage. S., Pardyak, P., Slrer, E G., Fmczynskl, M., Becker, D., Eggers, S, and Chambers, C t995 Extenslbihty, safety and performance m the Spin operating system. In i5th A CM Symposium on Operating System Princ~ples (SOSP), Copper Mountam Resort, CO, pp xx-xx.]]

Digital Library

Google Scholar

[6]

Brmch Hanson, P. 1970 The nucleus of a multlprogrammmg system Commun. ACM 13, 4 (April), 238-241]]

Digital Library

Google Scholar

[7]

Bryce, C and Muller, G 1995 Matching micro-kernels to modern applications using fine-grained memory protection In IEEE Symposium on Parallel Distributed Systems, San Antonio, TX]]

Digital Library

Google Scholar

[8]

Cao, P, Felten, E W, and L1, K. 1994, Implementatmn and performance of apphcation-controlled file caching. In 1st USENIX Symposium on Operating Systems Design and Implements. t~on (OSDI), Monterey, CA, pp. 165-178]]

Digital Library

Google Scholar

[9]

Chen, J B and Bershad, B N 1993. The impact of operatmg system structure on memory system performance In 14th ACM Symposium on Operating System Principles (SOSP), AsheviIle, NC, pp 120-133]]

Digital Library

Google Scholar

[10]

Chemton, D. R and Duds, K. J 1994. A cachmg model of operatmg system kernel functmnahty. In 1st USEArIX Symposium on Operatmg Systems Design and Implementatton (OSDI), Monterey, CA, pp 179-194]]

Google Scholar

[11]

Digital Equipment Corp. 1992. DECChzp ~2 06~-AA R~sc Microprocessor Data Sheet. Digital Equipment Corp.]]

Google Scholar

[12]

Draves, R P., Bershad, B. N., Rashid, R. F., and Dean, R W. 1991 Using contmuat~ons to implement thread management and communicatmn in operatmg systems In l$th A CNI Sympo. sam on Operating System Principles (SOSP), Pacific Grove, CA, pp. 122-136.]]

Digital Library

Google Scholar

[13]

Engler, D, Kaashoek, M F., and O'Toole, J. 1994. The operatmg system kernel as a secure programmable machine In 6th SIGOPS J~uropearz Workshop, SchloB Dagstuhl, Germany, pp 62-67]]

Digital Library

Google Scholar

[14]

Engler, D., Kaashoek, M. F, and O'Toole, J 1995. Exokernel, an operating system architecture for application-level resource management In i5th ACM Symposium on Operating System Prmczples (SOSP), Copper Mountain Resort, CO, pp xx-xx]]

Digital Library

Google Scholar

[15]

Ford, B 1993. prorate communication]]

Google Scholar

[16]

Ford, B and Lepreau, J 1994 Evolving Mach 3.0 to a migrating thread model In Usentx Water Conference, CA, pp. 97-114]]

Digital Library

Google Scholar

[17]

Gasser, M., Goldstem, A., Kaufmann, C., and Lampson, B 1989. The Digital distributed system secumty architecture In iJth National Computer Security Conference (IVIST/NCSC), Baltimore, pp 305-319.]]

Google Scholar

[18]

Hamilton, G and Kougiourm, P 1993 The Spring nucleus A mcrokernel for ob3ects. In Summer Usen~z Conference, Cincinnati. OH, pp 147-160]]

Google Scholar

[19]

Hiirtig H. Kowalskl, O, and Kiihnhauser, W 2993 The Blrhx security architecture. Journal of Computer Security 2, t, 5- 21]]

Google Scholar

[20]

Hildebrand, D. 1992. An architectural overwew of QNX In 1st Usenix Workshop on Micro.kernels and Other Kernel Archz. tortures, Seattle. WA, pp. 113-126]]

Digital Library

Google Scholar

[21]

Hfit, M D, and Smith, A. J. 1989 Evaluating assomatlvlty in CPU caches IEEE Transactions on Computers 38, 12 (Dec), 1612-1630]]

Digital Library

Google Scholar

[22]

Intel Corp 1990 zg86 Microprocessor Programmer's Reference Manual tntel Corp]]

Digital Library

Google Scholar

[23]

Intei Corp 1993 Pentzum Processor User's Manual, Volume 3: Architecture and Programming Manual Intel Corp]]

Google Scholar

[24]

Kane, G and Hemmch, J 1992 MfPS }3tsc Architecture Prentice Hall]]

Google Scholar

[25]

Kessler, R and Hfil, M D 1992 Page placement algorithms for large real-mdexed caches A CM Transactions on Computer Systems 10, 4 (Nov), 11-22]]

Digital Library

Google Scholar

[26]

Khalidl, Y A and Nelson, M N 1993 ExtensIble file systems m Sprmg In I4th A CM Symposium on Operating System Principles (ScSP), Ashemlle, NC, pp 1-14.]]

Digital Library

Google Scholar

[27]

K/~hnhauser, W E. 1995. A paradigm for user-defined security pohcms In Proceedings of the 14th IEEE Symposium on }Rehable Distributed Systems, Bad Neuenahr, Germany]]

Digital Library

Google Scholar

[28]

Lee, C H, Chen, M C, and Chang, R. C. 1994 H~PEC: h~gh performance external wrtual memory cachmg In 1st USENIX Symposium on Operatmg Systems Design and Implementation (OSDI), Monterey, CA, pp. 153-164]]

Digital Library

Google Scholar

[29]

Lledtke. J 1992 Clans & chiefs In 1~. GUYTG-Fachtagung Arch~tektur yon Rechensystemen, KleI, pp 294-305 Sprmger.]]

Digital Library

Google Scholar

[30]

Lmdtke, J 1993 Improving IPC by kernel design In i4th ACM Symposium on Operating System Principles (SOSP), Ashevfile, NC, pp 175-188]]

Digital Library

Google Scholar

[31]

Lmdtke, J 1995 Improved address-space swltchmg on Pentmm processors by transparently muttiplexmg user address spaces. Arbmtspapmre der GMD No. 933 (Sept.), GMD -- German National Research Center for Information Technology, S ankt Augustm]]

Google Scholar

[32]

Major, D, Mmshall, G., and Powell. K 1994 An overvmw of the NetWare operating system. In Winter Usen~z Conference, San Francisco, CA.]]

Digital Library

Google Scholar

[33]

Mogul, J C and Borg, A 1991 The effect of context switches on cache performance. In gth International Conference on Architectural Support for Programrnm9 Languages and Operating Systems (ASPLOS), Santa Clara, CA, pp 75-84.]]

Digital Library

Google Scholar

[34]

Motorola Inc 1993 PowerPC 601 RISC M~croprocessor User's Manual. Motorola Inc.]]

Google Scholar

[35]

Nagle, D., Uhlig, R, Mudge, T., and Sechrest, S 1994 Optimal allocation of on-chip memory for multlple-API operating systems In ~lth Annual lnternat~onal Symposmm on Computer Architecture (ISCA), Chicago, IL, pp. 358-369]]

Digital Library

Google Scholar

[36]

Ousterhout, J K. 1990. Why aren't operating systems getting faster as fast as hardware~ In Usenzz Summer Conference, Anaheim, CA, pp 247-256]]

Google Scholar

[37]

Pu, C, Massalin, H., and Ioannidm, J 1988 The Synthesm kernel. Computmg Systems i, 1 (Jan.), 11-32]]

Google Scholar

[38]

Romer, T H., Lee, D. L, Bershad, B N, and Chen B 1994 Dynamic page mapping policies for cache conflict resolution on standard hardware In i st USENIX Symposium on Operating Systems Design and Implementatzon (OSDI), Monterey, CA, pp 255-266]]

Google Scholar

[39]

Romer, M, Abrosmmov, A, Armand, F, Boule, I, Gmn, M., Gufilemont, M, Herrmann, F, Kaiser, C., Langlois, S, Leonard, P, and Neuhauser, W 1988 Chorus distributed oporating system Computing Systems 1, 4, 305-370]]

Google Scholar

[40]

Schrader-Prmkschat, W 1994 The Logical Design of Parallel Operating Systems Prentme Hall]]

Digital Library

Google Scholar

[41]

Schroeder, M D and Burroughs, M 1989 Performance of the Firefly RPC In 12th A CM Symposium on Operating System Principles (SOSP), L~chfield Park, AR, pp 83-90]]

Digital Library

Google Scholar

[42]

van Renesse, R, van Staveren. H and Tanenbaum, A S 1988 Performance of the world's fa~s'test distributed operatmg system Operating Systems Review 22, 4 (Oct), 25-34]]

Digital Library

Google Scholar

[43]

Wulf, W, Cohen, E, Corwm, W, Jones, A, Levin, R., Pierson. C, and Pollack, F. 1974 Hydra: The kernel of a multtprocessing operating system Commun. ACM i7, 6 (July), 337-345]]

Digital Library

Google Scholar

[44]

Yokote, Y 1993 Kernel~structurmg for object-oriented operatmg systems' The Apertos approach In International Symposium on Ob3ect Technologzes for Advanced Software Springer.]]

Digital Library

Google Scholar

Cited By

View all

Leis VDietrich C(2024)Cloud-Native Database Systems and Unikernels: Reimagining OS Abstractions for Modern HardwareProceedings of the VLDB Endowment10.14778/3659437.365946217:8(2115-2122)Online publication date: 1-Apr-2024
https://dl.acm.org/doi/10.14778/3659437.3659462
Chen GLv PLi HYang GShrivastava ASui Y(2024)SmartVisor: User-Friendly Hypervisor for Mobile RobotsProceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems10.1145/3652032.3657573(62-71)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3652032.3657573
KP ASingh RMishra DChoppella VPhatak DLuxton-Reilly ACraig M(2023)Lens: Experiencing Multi-level Page Tables at Close QuartersProceedings of the ACM Conference on Global Computing Education Vol 110.1145/3576882.3617912(105-111)Online publication date: 5-Dec-2023
https://dl.acm.org/doi/10.1145/3576882.3617912
Show More Cited By

Index Terms

On micro-kernel construction
1. Software and its engineering

Recommendations

Linux kernel
Kernel - computing: Monolithic kernel, Microkernel, Hybrid kernel, Exokernel, History of operating systems, Time-sharing, Unix, History of Mac OS, AmigaOS, History of Microsoft Windows
MiThOS-a real-time micro-kernel threads operating system
RTSS '95: Proceedings of the 16th IEEE Real-Time Systems Symposium

MiThOS (Micro-kernel Threads Operating System) is an experimental operating system for embedded systems. The system kernel is a first implementation of the POSIX Minimal Real-Time System Profile. It is based on prior work of a library implementation of ...

Comments

Information & Contributors

Information

Published In

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 December 1995

Published in SIGOPS Volume 29, Issue 5

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

462
Total Citations
View Citations
11,238
Total Downloads

Downloads (Last 12 months)1,908
Downloads (Last 6 weeks)389

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Leis VDietrich C(2024)Cloud-Native Database Systems and Unikernels: Reimagining OS Abstractions for Modern HardwareProceedings of the VLDB Endowment10.14778/3659437.365946217:8(2115-2122)Online publication date: 1-Apr-2024
https://dl.acm.org/doi/10.14778/3659437.3659462
Chen GLv PLi HYang GShrivastava ASui Y(2024)SmartVisor: User-Friendly Hypervisor for Mobile RobotsProceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems10.1145/3652032.3657573(62-71)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3652032.3657573
KP ASingh RMishra DChoppella VPhatak DLuxton-Reilly ACraig M(2023)Lens: Experiencing Multi-level Page Tables at Close QuartersProceedings of the ACM Conference on Global Computing Education Vol 110.1145/3576882.3617912(105-111)Online publication date: 5-Dec-2023
https://dl.acm.org/doi/10.1145/3576882.3617912
Courtaud CBrandenburg B(2023) G(IP) 2 C: Temporally Isolated Multiprocessor Real-Time IPC with Server-to-Server Invocations 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS58335.2023.00029(276-288)Online publication date: May-2023
https://doi.org/10.1109/RTAS58335.2023.00029
Qian ZXia RSun GXing XXia K(2023)A measurable refinement method of design and verification for micro-kernel operating systems in communication networkDigital Communications and Networks10.1016/j.dcan.2022.03.0249:5(1070-1079)Online publication date: Oct-2023
https://doi.org/10.1016/j.dcan.2022.03.024
Novković BGolub M(2023)Improving monolithic kernel security and robustness through intra-kernel sandboxingComputers & Security10.1016/j.cose.2023.103104127(103104)Online publication date: Apr-2023
https://doi.org/10.1016/j.cose.2023.103104
dos Santos LGracioli GKloda TCaccamo M(2023)Supporting single and multi-core resource access protocols on object-oriented RTOSesDesign Automation for Embedded Systems10.1007/s10617-023-09268-6Online publication date: 1-Mar-2023
https://doi.org/10.1007/s10617-023-09268-6
Lin KLiu WZhang KTu B(2022)HyperPS: A Virtual-Machine Memory Protection Approach Through Hypervisor's Privilege SeparationIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2022.320020620:4(2925-2938)Online publication date: 19-Aug-2022
https://dl.acm.org/doi/10.1109/TDSC.2022.3200206
Mi ZZhuang HZang BChen H(2022)General and Fast Inter-Process Communication via Bypassing Privileged SoftwareIEEE Transactions on Computers10.1109/TC.2021.313075171:10(2435-2448)Online publication date: 1-Oct-2022
https://doi.org/10.1109/TC.2021.3130751
Sun XCai YJiang RQin J(2022)Design and Implementation of 64-bit Multi-process Microkernel Operating System based on x86 platform2022 International Symposium on Intelligent Robotics and Systems (ISoIRS)10.1109/ISoIRS57349.2022.00020(57-61)Online publication date: Oct-2022
https://doi.org/10.1109/ISoIRS57349.2022.00020
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Supplementary Material

References

Cited By

Index Terms

Recommendations

Linux kernel

Kernel - computing: Monolithic kernel, Microkernel, Hybrid kernel, Exokernel, History of operating systems, Time-sharing, Unix, History of Mac OS, AmigaOS, History of Microsoft Windows

MiThOS-a real-time micro-kernel threads operating system

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations