The pintos instructional operating system kernel

ABSTRACT

Pintos is an instructional operating system, complete with documentation and ready-made, modular projects that introduce students to the principles of multi-programming, scheduling, virtual memory, and filesystems. By allowing students to run their work product on actual hardware, while simultaneously benefiting from debugging and dynamic analysis tools provided in simulated and emulated environments, Pintos increases student engagement. Unlike tailored versions of commercial or open source OS such as Linux, Pintos is designed from the ground up from an educational perspective. It has been used by multiple institutions for a number of years and is available for wider use.

REFERENCES

• 1: Charles L. Anderson , Minh Nguyen, A survey of contemporary instructional operating systems for use in undergraduate courses, Journal of Computing Sciences in Colleges, v.21 n.1, p.183-190, October 2005
• 2: 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
• 3: Fabrice Bellard, QEMU, a fast and portable dynamic translator, Proceedings of the annual conference on USENIX Annual Technical Conference, p.41-41, April 10-15, 2005, Anaheim, CA
• 4: Barry W. Boehm, Software Engineering Economics, Prentice Hall PTR, Upper Saddle River, NJ, 1981
• 5: R. E. Bryant and D. R. O'Hallaron. Computer Systems: A Programmer's Perspective. Prentice Hall, us ed edition, Aug. 2002.
• 6: Wayne A. Christopher , Steven J. Procter , Thomas E. Anderson, The Nachos instructional operating system, Proceedings of the USENIX Winter 1993 Conference Proceedings on USENIX Winter 1993 Conference Proceedings, p.4-4, January 25-29, 1993, San Diego, California
• 7: Renzo Davoli, Teaching operating systems administration with user mode linux, Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education, June 28-30, 2004, Leeds, United Kingdom
• 8: Harvey M. Deitel , Paul J. Deitel , David R. Choffnes, Operating Systems (3rd Edition), Prentice-Hall, Inc., Upper Saddle River, NJ, 2003
• 9: R. S. Fabry. The TOY operating system. Technical report, EECS Department, University of California, Berkeley, CA, Mar. 1983.
• 10: Alessio Gaspar , Naomi Boyer , Abdel Ejnioui, Role of the C language in current computing curricula part 1: survey analysis, Journal of Computing Sciences in Colleges, v.23 n.2, p.120-127, December 2007
• 11: Alessio Gaspar , Sarah Langevin , William D. Armitage , Matt Rideout, March of the (virtual) machines: past, present, and future milestones in the adoption of virtualization in computing education, Journal of Computing Sciences in Colleges, v.23 n.5, p.123-132, May 2008
• 12: 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
• 13: David Hovemeyer , Jeffrey K. Hollingsworth , Bobby Bhattacharjee, Running on the bare metal with GeekOS, Proceedings of the 35th SIGCSE technical symposium on Computer science education, March 03-07, 2004, Norfolk, Virginia, USA
• 14: Barry Lawson , Lewis Barnett, Using iPodLinux in an introductory OS course, ACM SIGCSE Bulletin, v.40 n.1, March 2008
• 15: Jason Nieh , Chris Vaill, Experiences teaching operating systems using virtual platforms and linux, Proceedings of the 36th SIGCSE technical symposium on Computer science education, February 23-27, 2005, St. Louis, Missouri, USA
• 16: H. H. Porter. An overview of the BLITZ system. http://web.cecs.pdx.edu/ harry/Blitz/.
• 17: Yuan Yu , Tom Rodeheffer , Wei Chen, RaceTrack: efficient detection of data race conditions via adaptive tracking, Proceedings of the twentieth ACM symposium on Operating systems principles, October 23-26, 2005, Brighton, United Kingdom

INDEX TERMS

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

General Terms:
Design, Experimentation

Keywords:
instructional kernel, instructional operating system, pintos