Running on the bare metal with GeekOS

ABSTRACT

Undergraduate operating systems courses are generally taught using one of two approaches: abstract or concrete. In the abstract approach, students learn the concepts underlying operating systems theory, and perhaps apply them using user-level threads in a host operating system. In the concrete approach, students apply concepts by working on a real operating system kernel. In the purest manifestation of the concrete approach, students implement operating system projects that run on real hardware.GeekOS is an instructional operating system kernel which runs on real hardware. It provides the minimum functionality needed to schedule threads and control essential devices on an x86 PC. On this foundation, we have developed projects in which students build processes, semaphores, a multilevel feedback scheduler, paged virtual memory, a filesystem, and inter-process communication. We use the Bochs emulator for ease of development and debugging. While this approach (tiny kernel run on an emulator) is not new, we believe GeekOS goes further towards the goal of combining realism and simplicity than previous systems have.

REFERENCES

• 1: Benjamin Atkin , Emin Gün Sirer, PortOS: an educational operating system for the Post-PC environment, Proceedings of the 33rd SIGCSE technical symposium on Computer science education, February 27-March 03, 2002, Cincinnati, Kentucky
• 2: GNU Binutils: http://www.gnu.org/software/binutils, 2003.
• 3: Bochs: http://bochs.sourceforge.net, 2003.
• 4: W. A. Christopher, S. J. Procter, and T. E. Anderson. The Nachos Instructional Operating System. In Proceedings of the 1993 Winter USENIX Conference, pages 481--488, 1993.
• 5: John Dickinson, Operating systems projects built on a simple hardware simulator, Proceedings of the thirty-first SIGCSE technical symposium on Computer science education, p.320-324, March 07-12, 2000, Austin, Texas, United States
• 6: John L. Donaldson, Architecture-dependent operating system project sequence, Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education, p.322-326, February 2001, Charlotte, North Carolina, United States
• 7: G. Fankhauser, C. Conrad, E. Zitzler, and B. Plattner. Topsy --- A Teachable Operating System: http://www.tik.ee.ethz.ch/~topsy/book/topsy_1.1.pdf, 2000.
• 8: GCC Home Page: http://gcc.gnu.org, 2003.
• 9: GDB: The GNU Project Debugger: http://www.gnu.org/software/gdb, 2003.
• 10: GeekOS: http://geekos.sourceforge.net, 2003.
• 11: David A. Holland , Ada T. Lim , Margo I. Seltzer, A new instructional operating system, Proceedings of the 33rd SIGCSE technical symposium on Computer science education, February 27-March 03, 2002, Cincinnati, Kentucky
• 12: Intel. Intel Architecture Software Developer's Manual. Intel, 1997.
• 13: Trevor Jim , J. Greg Morrisett , Dan Grossman , Michael W. Hicks , James Cheney , Yanling Wang, Cyclone: A Safe Dialect of C, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.275-288, June 10-15, 2002
• 14: The Netwide Assembler: http://nasm.sourceforge.net, 2003.
• 15: Tyrone Nicholas , Jerzy A. Barchanski, TOS: an educational distributed operating system in Java, Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education, p.312-316, February 2001, Charlotte, North Carolina, United States
• 16: Dennis M. Ritchie , Ken Thompson, The UNIX time-sharing system, Communications of the ACM, v.17 n.7, p.365-375, July 1974 [doi>10.1145/361011.361061]
• 17: Tom Shanley, Protected Mode Software Architecture, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
• 18: Abraham Silberschatz , Peter Baer Galvin, Operating System Concepts, John Wiley & Sons, Inc., New York, NY, 1999
• 19: Andrew S. Tanenbaum , Albert S. Woodhull, Operating systems (2nd ed.): design and implementation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• 20: Frank van Gilluwe, The undocumented PC (2nd ed.): a programmer's guide to I/O, CPU's, and fixed memory areas, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
• 21: Virtutech: Simulators for hardware and software engineering: http://www.virtutech.com, 2003.

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.3 COMPUTERS AND EDUCATION
      K.3.2 Computer and Information Science Education
          Subjects: Computer science education

Additional Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.7 Organization and Design

General Terms:
Design

Keywords:
education, emulation, hardware, operating systems