On μ-Kernel Construction

Proceedings of the 15th ACM Symposium on Operating Systems Principles, SOSP 1995

Volumn , Issue , 1995, Pages 237-250

  Liedtke, Jochen ^a  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

IMPLEMENTATION TECHNIQUES; KERNEL CONSTRUCTION;

EID: 84883516955     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/224056.224075     Document Type: Conference Paper

References (44)

1. Assenmacher, H., Breitbach, T, Buhler, P. Hubsch, V, and Schwarz, R. 1993 The Panda system architecture - a pico-kernel approach. In 4th Workshop on Fixture Trends of Distributed Computing Systems, Lisboa, Portugal, pp 470-476
2. Bernabeu-Auban, J M, Hutto, P W, and Khalidi, Y. A 1988 The architecture of the Ra kernel. Tech Rep GIT-ICS-87/35 (Jan.), Georgia Institute of Technology, Atlanta, GA.
3. Bershad, B N, Anderson, T E, Lazowska, E. D., and Levy, H. M. 1989 Lightweight remote procedure call In 12th A CM Symposium on Operating System Principles (SOSP), Lichfield Park, AR, pp 102-113
4. Bershad, B N., Chambers, C, Eggers, S, Maeda, C, McNamee, D., Pardyak, P, Savage, S, and Sirer, E G 1994 Spin - an extensible microkernel for application-specific operating system services In 6th SIGOPS European Workshop, Schloß Dagstuhl, Germany, pp 68-71.
5. Bershad, B N., Savage. S., Pardyak, P., Sirer, E G., Fiuczynski, M., Becker, D., Eggers, S, and Chambers, C 1995 Extensibility, safety and performance m the Spin operating system. In 15th ACM Symposium on Operating System Principles (SOSP), Copper Mountain Resort, CO, pp xx-xx.
6. Bnnch Hansen, P. 1970 The nucleus of a multiprogramming system Commun. ACM 13, 4 (April), 238-241
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
8. Cao, P, Feiten, E W, and Li, K. 1994. Implementation and performance of application-controlled file caching. In 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI), Monterey, CA, pp. 165-178
9. Chen, J B and Bershad, B N 1993. The impact of operating system structure on memory system performance In 14th ACM Symposium on Operating System Principles (SOSP), Asheville, NC, pp 120-133
10. Chenton, D. R and Duda, K. J 1994. A caching model of operating system kernel functionality. In 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI), Monterey, CA, pp 179-194
11. Digital Equipment Corp. 1992. DECChip 21064-AA Rise Microprocessor Data Sheet. Digital Equipment Corp.
12. Draves, R P., Bershad, B. N., Rashid, R. F., and Dean, R W. 1991 Using continuations to implement thread management and communication in operating systems In 13th ACM Symposium on Operating System Principles (SOSP), Pacific Grove, CA, pp. 122-136.
13. Engler, D, Kaashoek, M F., and O'Toole, J. 1994. The operating system kernel as a secure programmable machine In 6th SIGOPS European Workshop, Schloß Dagstuhl, Germany, pp 62-67
14. Engler, D., Kaashoek, M. F, and O'Toole, J 1995. Exokernel, an operating system architecture for application-level resource management In 15th ACM Symposium on Operating System Principles (SOSP), Copper Mountain Resort, CO, pp xx-xx
15. Ford, B 1993. private communication
16. Ford, B and Lepreau, J 1994 Evolving Mach 3.0 to a migrating thread model In Usenix Winter Conference, CA, pp. 97-114
17. Gasser, M., Goldstein, A., Kaufmann, C, and Lampson, B 1989. The Digital distributed system security architecture In 12th National Computer Security Conference (NIST/NCSC), Baltimore, pp 305-319.
18. Hamilton, G and Kougiouris, P 1993 The Spring nucleus A microkernel for objects. In Summer Usenix Conference, Cincinnati. OH, pp 147-160
19. Hártig H. Kowalski, O, and Kühnhauser, W 1993 The Birlix security architecture. Journal of Computer Security 2, 1, 5-21
20. Hildebrand, D. 1992. An architectural overview of QNX In 1st Usenix Workshop on Micro-kernels and Other Kernel Architectures, Seattle. WA, pp. 113-126
21. Hill, M D. and Smith, A. J. 1989 Evaluating associativity in CPU caches IEEE Transactions on Computers 38, 12 (Dec), 1612-1630
22. Intel Corp 1990 1486 Microprocessor Programmer's Reference Manual Intel Corp
23. Intel Corp 1993 Pentium Processor User's Manual, Volume 3: Architecture and Programming Manual Intel Corp
24. Kane, G and Heinrich, J 1992 MIPS Risc Architecture Prentice Hall
25. Kessler, R and Hill, M D 1992 Page placement algorithms for large real-indexed caches ACM Transactions on Computer Systems 10, 4 (Nov), 11-22
26. Khalidi, Y A and Nelson, M N 1993 Extensible file systems m Spring In 14th ACM Symposium on Operating System Principles (SOSP), Asheville, NC, pp 1-14.
27. Kuhnhauser, W E. 1995. A paradigm for user-defined security policies In Proceedings of the 14th IEEE Symposium on 'Reliable Distributed Systems, Bad Neuenahr, Germany
28. Lee, C H, Chen, M C, and Chang, R. C. 1994 HiPEC: high performance external virtual memory caching In 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI), Monterey, CA, pp. 153-164
29. Liedtke. J 1992 Clans & chiefs In 12. GI/ITG-Fachtagung Architektur von Rechensystemen, Kiel, pp 294-305 Springer.
30. Liedtke, J 1993 Improving IPC by kernel design In 14th ACM Symposium on Operating System Principles (SOSP), Asheville, NC, pp 175-188
31. Liedtke, J 1995 Improved address-space switching on Pentium processors by transparently multiplexing user address spaces. Arbeitspapiere der GMD No. 933 (Sept.), GMD - German National Research Center for Information Technology, Sankt Augustin
32. Major, D, Minshall, G., and Powell. K 1994 An overview of the NetWare operating system. In Winter Usenix Conference, San Francisco, CA.
33. Mogul, J C and Borg, A 1991 The effect of context switches on cache performance. In 4th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Santa Clara, CA, pp 75-84.
34. Motorola Inc 1993 PowerPC 601 RISC Microprocessor User's Manual. Motorola Inc.
35. Nagle, D., Uhlig, R, Mudge, T., and Sechrest, S 1994 Optimal allocation of on-chip memory for multiple-API operating systems In 21th Annual International Symposium on Computer Architecture (ISCA), Chicago, IL, pp. 358-369
36. Ousterhout, J K. 1990. Why aren't operating systems getting faster as fast as hardware? In Usenix Summer Conference, Anaheim, CA, pp 247-256
37. Pu, C, Massalin, H., and Ioannidis, J 1988 The Synthesis kernel. Computing Systems 1, 1 (Jan.), 11-32
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 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI), Monterey, CA, pp 255-266
39. Rozier, M, Abrossimov, A, Armand, F, Boule, I, Gien, M., Guillemont, M, Herrmann, F, Kaiser, C, Langlois, S, Leonard, P, and Neuhauser, W 1988 Chorus distributed operating system Computing Systems 1, 4, 305-370
40. Schroder-Preikschat, W 1994 The Logical Design of Parallel Operating Systems Prentice Hall
41. Schroeder, M D and Burroughs, M 1989 Performance of the Firefly RPC In 12th ACM Symposium on Operating System Principles (SOSP), Lichfield Park, AR, pp 83-90
42. van Renesse, R, van Staveren. H, and Tanenbaum, A S 1988 Performance of the world's fastest distributed operating system Operating Systems Review 22, 4 (Oct), 25-34
43. Wulf, W, Cohen, E, Corwin, W, Jones, A, Levin, R., Pierson. C, and Pollack, F. 1974 Hydra: The kernel of a multiprocessing operating system Commun. ACM 17, 6 (July), 337-345
44. Yokote, Y 1993 Kernel-structuring for object-oriented operating systems - The Apertos approach In International Symposium on Object Technologies for Advanced Software Springer.