Yair Wiseman
Skip Abstract Section
Abstract
The use of Non-Distributed Operating Systems is very common and old. Many researchers feel that this field of research is outmoded, and therefore put their efforts into Distributed Operating Systems. Advanced Operating Systems courses generally include an overview of the topical issues of research in the Operating System field. Many instructors prefer using Distributed Operating Systems subjects in order to give their students the contemporary research atmosphere. This encourages graduate students to research Distributed Operating Systems topics. We suggest that Non-Distributed Operating Systems is still an important field worthy of being expanded in graduate courses. An example for such a course is given. This course has been successfully taught in Bar-Ilan University during 2004.
- K. Schwan, "CS 6210 Advanced Operating Systems", http://www.cc.gatech.edu/classes/AY2004/cs6210_spring/, 2004.Google Scholar
- D. Engler, "CS240: Advanced Topics in Operating Systems", http://www.stanford.edu/class/cs240/, 2004.Google Scholar
- V. Pai, "COS 518, Advanced Operating Systems", http://www.cs.princeton.edu/courses/archive/fall04/cos518/, 2004.Google Scholar
- B. Miller, "CS 736 - Advanced Operating Systems", http://www.cs.wisc.edu/~bart/cs736.html, 2004.Google Scholar
- Y. Wiseman, "The Home Page of Advanced Operating Systems Course", http://www.cs.biu.ac.il/~wiseman/2os, 2004.Google Scholar
- T. P. Scheuermann, "Evolution in Microkernel Design", Computer Science Department, University of North Carolina, Chapel Hill, NC, 2002.Google Scholar
- J. Liedtke, "Toward Real MicroKernels", Communications of the ACM, Vol. 39(9), September 1996. Google ScholarDigital Library
- J. Liedtke, "On Micro-Kernel Construction", Proceedings of the 15th ACM Symposium on Operating System Principles, ACM, December 1995. Google ScholarDigital Library
- D. Golub, R. Dean, A. Forin and Richard Rashid. "Unix as an Application Program", Proceedings of the USENIX Summer Conference, June 1990.Google Scholar
- B. N. Bershad, C. Chambers, S. Eggers, C. Maeda, D. McNamee, P. Pardyak, S. Savage and E. Gun Sirer, "SPIN - An Extensible Microkernel for Application-specific Operating System Services", ACM Operating Systems Review, Vol. 29(1), January 1995. Google ScholarDigital Library
- The L4 MicroKernel, http://www.cse.unsw.edu.au/~disy/L4/Google Scholar
- T. Maeda, "Safe Execution of User Programs in Kernel Mode Using Typed Assembly Language", Master Thesis, The Graduate School of The University of Tokyo, February, 2002.Google Scholar
- G. Anzinger and N. Gamble, "Design of a Fully Preemptable Linux Kernel", MontaVista Software, September 2000.Google Scholar
- J. Navarro. Transparent operating system support for superpages, Ph.D. Thesis, Department of Computer Science, Rice University, April 2004. Google ScholarDigital Library
- J. Navarro, S. Iyer, P. Druschel and A. Cox. Practical, Transparent Operating System Support for Superpages, Fifth Symposium on Operating Systems Design and Implementation (OSDI'02), Boston, MA, December 9-11, 2002. Google ScholarDigital Library
- M. Talluri and M. D. Hill, Surpassing the TLB Performance of Superpages with Less Operating System Support, Sixth International Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS), San Jose, California, pp. 171--182, October 4-7, 1994. Google ScholarDigital Library
- T. H. Romer, W. H. Ohllrich, A. R. Karlin, and B. N. Bershad, Reducing TLB and memory overhead using online superpage promotion, In Proceedings of the 22nd International Symposium on Computer Architecture (ISCA), pp. 87--176, Santa Margherita Ligure, Italy, June 1995. Google ScholarDigital Library
- Z. Fang, L. Zhang, J. Carter, S. McKee, and W. Hsieh. Re-evaluating Online Superpage Promotion with Hardware Support. In Proceedings of the Seventh International Symposium on High Performance Computer Architecture, pp. 63--72, January 2001. Google ScholarDigital Library
- I. Subramanian, C. Mather, K. Peterson, and B. Raghunath. Implementation of multiple pagesize support in HP-UX, In Proceedings of the USENIX, New Orleans, Louisiana, June 15--19, 1998. Google ScholarDigital Library
- N. Ganapathy and C. Schimmel, General Purpose Operating System Support for Multiple Page Sizes, In Proceedings of the USENIX, New Orleans, Louisiana, June 15--19, 1998. Google ScholarDigital Library
- S. Winwood, Y. Shuf, H. Franke, Multiple Page Size Support in the Linux Kernel, Ottawa Linux Symposium, Ottawa, Ont, Canada, June 2002.Google Scholar
- J. Nieh, J. G. Hanko, J. D. Northcutt, and G. A. Wall, "SVR4 UNIX Scheduler Unacceptable for Multimedia Applications", Proceedings of the Fourth International Workshop on Network and Operating Systems Support for Digital Audio and Video, Lancaster, UK, pp. 35--48, November 1993. Google ScholarDigital Library
- Y. Etsion, D. Tsafrir, and D. G. Feitelson, "Desktop Scheduling: How Can We Know What the User Wants?". In the 14th ACM International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV), June 2004. Google ScholarDigital Library
- Y. Etsion, D. Tsafrir, and D. G. Feitelson, "Human-Centered Scheduling of Interactive and Multimedia Applications on a Loaded Desktop". Technical Report 2003-3, School of Computer Science and Engineering, The Hebrew University of Jerusalem, March 2003.Google Scholar
- A. Goel, L. Abeni, C. Krasic, J. Snow, and J. Walpole, "Supporting Time-Sensitive Applications on a Commodity OS", Fifth Symposium on Operating Systems Design and Implementation (OSDI '02), Boston, MA, December 9--11, 2002. Google ScholarDigital Library
- M. D. Schroeder, D. K. Gifford and R. M. Needham, "A Caching File System for a Programmer's Workstation", Proceedings of the tenth ACM symposium on Operating systems principles, Orcas Island, Washington, pp. 25--34, 1985. Google ScholarDigital Library
- D. S. Santry, M. J. Feeley, N. C. Hutchinson, A. C. Veitch, R. W. Carton and J. Ofir, "Deciding When to Forget in the Elephant File System", ACM Symposium on Operating System Principles, Kiawah Island Resort, South Carolina, pp. 110--123, December 12--15, 1999. Google ScholarDigital Library
- D. J. Santry, M. J. Feeley, N. C Hutchinson, and A. C. Veitch, "Elephant: The File System That Never Forgets", Proc. Workshop on Hot Topics in Operating Systems, Rio Rico, Arizona, pages 2--7, 1999. Google ScholarDigital Library
- T. Yamamoto, M. Matsushita and K. Inoue, "Accumulative Versioning File System Moraine and Its Application to Metrics Environment MAME", Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 80--87, Shelter Island, San Diego, California, USA, November 6--10, 2000. Google ScholarDigital Library
- C. A. N. Soules, G. R. Goodson, J. D. Strunk, and G. R. Ganger, "Metadata Efficiency in Versioning File Systems," in Proceedings of the Second USENIX Conference on File and Storage Technologies (FAST 2003), pp. 43--58, San Francisco, California, March 31-April 2, 2003. Google ScholarDigital Library
- K. Muniswamy-Reddy, C. P. Wright, A. Himmer and E. Zadok, "A Versatile and User-Oriented Versioning File System", in Proceedings of the Third USENIX Conference on File and Storage Technologies (FAST 2004), pp. 115--128, San Francisco, California, March 31-April 2, 2004. Google ScholarDigital Library
- E. O'Neil P. O'Neil and G. Weikum, "The LRU-K Page Replacement Algorithm for Database Disk Buffering", Proceedings of SIGMOD '93, Washington, DC, May 1993. Google ScholarDigital Library
- T. Johnson and D. Shasha, "2Q: a low overhead high performance buffer management replacement algorithm", Proceedings of the Twentieth International Conference on Very Large Databases, VLDB' 94, Santiago, Chile, pp. 439--450, September 1994. Google ScholarDigital Library
- D. Lee, J. Choi, J.-H. Kim, S. H. Noh, S. L. Min, Y. Cho, and C. S. Kim, "LRFU: A spectrum of policies that subsumes the least recently used and least frequently used policies," IEEE Trans. Computers, vol. 50, no. 12, pp. 1352--1360, 2001. Google ScholarDigital Library
- N. Megiddo and D. S. Modha, "ARC: A Self-Tuning, Low Overhead Replacement Cache," Proc. of the 2nd USENIX Conference on File and Storage Technologies (FAST'2003), San Francisco, pp. 115--130, March 31 - April 2, 2003. Google ScholarDigital Library
- N. Megiddo and D. S. Modha, "One Up on LRU" ;login: - The Magazine of the USENIX Association, vol. 28, no. 4, pp. 7--11, August 2003.Google Scholar
- N. Megiddo and D. S. Modha, "Outperforming LRU with an Adaptive Replacement Cache Algorithm," IEEE Computer, pp. 4--11, April 2004. Google ScholarDigital Library
- A. Chou, J.-F. Yang, B. Chelf, S. Hallem, and D. Engler. "An Empirical Study of Operating Systems Errors", In Proceedings of the 18th ACM Symposium on OS Principles (SOSP), pp. 73--88. Lake Louise, Alta, Canada, October 2001. Google ScholarDigital Library
- D. G. Majors, "An Investigation of the Call Integrity of the Linux System", 14th. IEEE International Symposium on Software, Reliability Engineering ISSRE 2003, Denver, Colorado November 17--20, 2003.Google Scholar
- J. Xu, Z. Kalbarczyk, and R. Iyer, "Networked Windows NT System Field Failure Data Analysis," Proc. 1999 Pacific Rim Int'l Symp. Dependable Computing, IEEE CS Press, Los Alamitos, CA, 1999. Google ScholarDigital Library
- M. M. Swift, B. N. Bershad, and H. M. Levy, "Improving the Reliability of Commodity Operating Systems", Proceedings of the 19th ACM Symposium on Operating Systems Principles, Bolton Landing, New York, October 19--22, 2003. Google ScholarDigital Library
- N. E. Fenton and N. Ohlsson, "Quantitative Analysis of Faults and Failures in a Complex Software System," IEEE Transactions on Software Engineering, 26(8), pp. 797--814, August, 2000. Google ScholarDigital Library
- Z. Li, S. Lu, S. Myagmar, and Y. Zhou, "CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code", Sixth Symposium on Operating Systems Design and Implementation (OSDI '04), San Francisco, December 6--8, 2004. Google ScholarDigital Library
- X. Zhang, "Application-Specific Benchmarking", Ph.D. Thesis, Harvard University, May 2001. Google ScholarDigital Library
- M. Seltzer, D. Krinsky, K. Smith, X. Zhang, "The Case for Application-Specific Benchmarking", In Proc. HotOS-VII, pp. 90--95. Rio Rico, AZ, March, 1999. Google ScholarDigital Library
- J. C. Mogul., "Brittle Metrics in Operating Systems Research", In Proc. HotOS-VII, pp. 90--95. Rio Rico, AZ, March, 1999. Google ScholarDigital Library
- Standard Performance Evaluation Corporation (SPEC), http://www.spec.orgGoogle Scholar
- D. Citron, "MisSPECulation: partial and misleading use of spec CPU2000 in computer architecture conferences", Proceedings of the 30th Annual International Symposium on Computer Architecture, pp. 52--59, June 9--11, 2003. Google ScholarDigital Library
- D. Citron, J. Hennessy, D. Patterson, G. Sohi, "The Use and Abuse of SPEC", Proceedings of the 30th Annual International Symposium on Computer Architecture, pp. 73--77, June 9--11, 2003.Google Scholar
Index Terms
- Advanced non-distributed operating systems course
Recommendations
Thoth, a portable real-time operating system
Thoth is a real-time operating system which is designed to be portable over a large set of machines. It is currently running on two minicomputers with quite different architectures. Both the system and application programs which use it are written in a ...
Structured linux kernel projects for teaching operating systems concepts
SIGCSE '11: Proceedings of the 42nd ACM technical symposium on Computer science educationLinux has emerged as a widely-used platform for enabling hands-on kernel programming experience to learn about operating system concepts. However, developing pedagogically-effective programming projects in the context of a complex, production operating ...
Comments