The pintos instructional operating system kernel

SIGCSE'09 - Proceedings of the 40th ACM Technical Symposium on Computer Science Education

Volumn , Issue , 2009, Pages 453-457

  Pfaff, Ben ^a   Romano, Anthony ^b   Back, Godmar ^c  

^a Nicira Networks   (United States)

^b STANFORD UNIVERSITY   (United States)

^c VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

Author keywords

Instructional kernel; Instructional operating system; Pintos

Indexed keywords

DYNAMIC ANALYSIS TOOLS; INSTRUCTIONAL KERNEL; MODULAR PROJECTS; OPEN SOURCES; OPERATING SYSTEM KERNEL; OPERATING SYSTEMS; PINTOS; STUDENT ENGAGEMENT; VIRTUAL MEMORY; WORK PRODUCTS;

COMPUTER DEBUGGING; COMPUTER OPERATING SYSTEMS; COMPUTER SCIENCE; DYNAMIC ANALYSIS; EDUCATION COMPUTING; ENGINEERING EDUCATION;

STUDENTS;

EID: 77952120170     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1508865.1509023     Document Type: Conference Paper

References (17)

1. C. L. Anderson and M. Nguyen. A survey of contemporary instructional operating systems for use in undergraduate courses. J. Comput. Small Coll., 21(1):183-190, 2005.
2. B. Atkin and E. G. Sirer. PortOS: an educational operating system for the Post-PC environment. In SIGCSE '02: Proceedings of the 33rd SIGCSE technical symposium on Computer science education, pages 116-120, New York, NY, USA, 2002. ACM.
3. F. Bellard. Qemu, a fast and portable dynamic translator. In ATC'05: Proc. USENIX Annual Technical Conference, page 41, Berkeley, CA, USA, 2005. USENIX Association.
4. B. W. Boehm. Software Engineering Economics. Prentice Hall PTR, 1981.
5. R. E. Bryant and D. R. O'Hallaron. Computer Systems: A Programmer's Perspective. Prentice Hall, us ed edition, Aug. 2002.
6. W. A. Christopher, S. J. Procter, and T. E. Anderson. The Nachos instructional operating system. In USENIX'93: Proc. USENIX Winter 1993 Conf., page 4, Berkeley, CA, USA, 1993. USENIX Association.
7. R. Davoli. Teaching operating systems administration with User Mode Linux. In Proc. 9th ITiCSE (ITiCSE '04), pages 112-116, 2004.
8. H. M. Deitel, P. J. Deitel, and D. R. Choffnes. Operating Systems. Prentice Hall, 3 edition, December 2003.
9. R. S. Fabry. The TOY operating system. Technical report, EECS Department, University of California, Berkeley, CA, Mar. 1983.
10. A. Gaspar, N. Boyer, and A. Ejnioui. Role of the C language in current computing curricula part 1: survey analysis. J. Comput. Small Coll., 23(2):120-127, 2007.
11. A. Gaspar, S. Langevin, W. D. Armitage, and M. Rideout. March of the (virtual) machines: past, present, and future milestones in the adoption of virtualization in computing education. J. Comput. Small Coll., 23(5):123-132, 2008.
12. D. A. Holland, A. T. Lim, and M. I. Seltzer. A new instructional operating system. In SIGCSE '02: Proc. 33rd SIGCSE technical symposium, pages 111-115, New York, NY, USA, 2002. ACM Press.
13. D. Hovemeyer, J. K. Hollingsworth, and B. Bhattacharjee. Running on the bare metal with GeekOS. In SIGCSE '04: Proc. 35th SIGCSE technical symposium, pages 315-319, New York, NY, USA, 2004. ACM.
14. B. Lawson and L. Barnett. Using iPodLinux in an introductory OS course. SIGCSE Bull., 40(1):182-186, 2008.
15. J. Nieh and C. Vaill. Experiences teaching operating systems using virtual platforms and Linux. In SIGCSE '05: Proc. 36th SIGCSE technical symposium, pages 520-524, New York, NY, USA, 2005. ACM Press.
16. H. H. Porter. An overview of the BLITZ system. http://web.cecs.pdx.edu/ harry/Blitz/.
17. Y. Yu, T. Rodeheffer, and W. Chen. RaceTrack: efficient detection of data race conditions via adaptive tracking. In SOSP '05: Proc. 20th ACM Symposium on Operating Systems Principles, pages 221-234, New York, NY, USA, 2005. ACM.