Reading List


Sources


Papers

Performance

J. K. Ousterhout. 1989. Why aren't operating systems getting faster as fast as hardware? Technical Report WRL-TN-11, DEC Western Research Laboratory.

Zabatta, Fabian and Ying, Kevin, A Thread Performance Comparison: Windows NT and Solaris on A Symmetric Multiprocessor, Proceedings of the 2nd USENIX Windows NT Symposium, Seattle, Wasington, August 1998.

J. Bradley Chen, et. al. The Measured Performance of Personal Computer Operating Systems, ACM Transactions on Computer Systems, Vol. 14, No. 1, February 1996.

File Storage and File Systems

Peter M Chen, et. al.: RAID: High-Performance, Reliable Secondary Storage, ACM Computing Surveys Vol 25, No 2, June 1994, p 145-185.

Mendel Rosenblum and John K. Ousterhout, The Design and Implementation of a Log-Structured File System, ACM Transactions on Computer Systems, Vol 10, No 1, February 1992, pages 26-52

Wang, R. Y., Anderson, T. E., and Patterson, D. A. Virtual Log Based File Systems for a Programmable Disk. Usenix: Proceedings of the Third Symposium on Operating System Design and Implementation, Feb, 1999.

Memory

B. L. Jacob and T. N. Mudge. Virtual memory: Issues of implementation. IEEE Computer, vol. 31, no. 6, pp. 33-43. June 1998.

B. L. Jacob and T. N. Mudge. Virtual memory in contemporary microprocessors. IEEE Micro, vol. 18, no. 4, pp. 60-75. July/August 1998.

B. L. Jacob and T. N. Mudge. A look at several memory management units, TLB-refill mechanisms, and page table organizations. In Proc. Eighth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-8), pp. 295-306. San Jose CA, October 1998.

Mogul, J.C., Big memories on the desktop. IEEE Workstation Operating Systems, 1993. Proceedings., Fourth Workshop on, Napa, CA., Oct. 1993, pp. 110-115

David Nagle , Richard Uhlig , Tim Stanley , Stuart Sechrest , Trevor Mudge , Richard Brown. Design tradeoffs for software-managed TLBs , ACM SIGARCH Computer Architecture News , Proceedings of the 20th annual international symposium on Computer architecture, May 1993, Vol. 21, No. 2, pp. 27 – 38.

Operating System Structure

Andy Chou , Junfeng Yang , Benjamin Chelf , Seth Hallem , Dawson Engler, An empirical study of operating systems errors. ACM Symposium on Operating Systems Principles, Oct. 2001, Alberta Canada, pp. 73 –88.

J. Liedtke. 1995. On Micro-Kernel Construction. In Proc. Fifteenth ACM Symposium on Operating Systems Principles (SOSP-15), Copper Mountain CO, pp. 237-250. December 1995.

Dawson R. Engler, M. Frans Kaashoek, Homes O'Toole Jr: Exokernel: An Operating System Architecture for Application-Level Resource Management, ACM OSR, Vol 29, No 5, Dec 1995, p 251-266

Dan Hildebrand: An Architectural Overview of QNX, In Usenix Workshop on Micro-Kernels & Other Kernel Architecture, Seattle, April 1992, ISBN 1-880446-42-1, 15 pages

B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, S. Eggers. Extensibility, safety and performance in the SPIN operating system, In Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15), Copper Mountain CO, pp. 267-284. December 1995.

Distributed Systems

Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber: Authentication in Distributed Systems: Theory and Practice, ACM Transactions on Computer Systems, Vol 10, No 4, Nov 1992, p 265-310

Dejan S. Milojicic , Fred Douglis , Yves Paindaveine , Richard Wheeler , Songnian Zhou, Process migration. ACM Computing Surveys (CSUR) Sept. 2000, Vol. 32 No. 3, pp. 241 – 299.

Sergio Rajsbaum, Distributed Computing. ACM SIGACT News, Vol. 32, No. 3, 2001, pp. 53 – 62.

Single Address Space OS's

J. S. Chase, H. M. Levy, M. Baker-Harvey, and E. D. Lazowska. 1992. How to use a 64-bit virtual address space. Technical Report 92-03-02, University of Washington.

J. S. Chase, H. M. Levy, M. Freeley, and E. D. Lazowska. 1994. Sharing and Protection in a Single Address Operating System, Technical Report 93-04-02, Revised January 1994, University of Wasington.

Security

Massimo Bernaschi , Emanuele Gabrielli , Luigi V. Mancini, Operating system enhancements to prevent the misuse of system calls . Proceedings of the 7th ACM conference on Computer and communications security November 2000, pp. 174 – 183.

Massimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini, Remus: a security-enhanced operating system. ACM TISSEC, Vol. 5, No. 1, Feb. 2002, pp. 36-61