Article

The Kaya OS project and the μMPS hardware emulator

Authors:

Michael Goldweber,

Mauro MorsianiAuthors Info & Claims

ITiCSE '05: Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education

Pages 49 - 53

https://doi.org/10.1145/1067445.1067462

Published: 27 June 2005 Publication History

Abstract

Ideally, the most meaningful learning experience for students in an undergraduate OS course would be to develop fully-functional OS's on their own. This can be accomplished using μmps, a hardware emulator for a pedagogically undergraduate-appropriate hardware architecture, along with Kaya, a specification for a multi-layer OS supporting multiprocessing, VM, thread synchronization, external devices (disks, terminals, tape, printers, and network interfaces) and a file system.Traditional OS projects like Nachos[3] or OS/161[9] provide students with a significant starting code base. Students then modify existing OS modules or add new ones. With μmps/Kaya students undergo an innovative and pedagogically different experience of starting only with a hardware emulator (i.e. no initial OS code base for students to build on/replace) and ending with a completely student written OS capable of running student written C programs.

References

[1]

O. Babaoglu, M. Bussan, R. Drummond, and F. Schneider. Documentation for the CHIP computer system, 1988.]]

[2]

O. Babaoglu and F. Schneider. The HOCA operating system specifications, 1990.]]

[3]

W. A. Christopher, S. J. Procter, and T. E. Anderson. The nachos instructional operating system. In USENIX Winter 1993 Conference Proceedings, 1993.]]

Digital Library

[4]

R. Davoli. VDE: Virtual distributed ethernet. In Proceedings of Tridentcom, 2005.]]

Digital Library

[5]

R. Davoli and M. Goldweber. New directions in operating systems courses using hardware simulators. In Proceedings of the SCS International Conference on Simulation and Multimedia in Engineering Education, 2003.]]

[6]

E. Dijkstra. The structure of the THE multiprogramming system. Commun. ACM, 11(3), may 1968.]]

Digital Library

[7]

B. Gaeke. The vmips project. http//www.dgate.org/vmips.]]

[8]

G.Frankhauser, C. Conrad, E. Zitler, and B. Plattner. Topsy - a teachable operating system. http://www.tik.ee.ethz.ch/ topsy.]]

[9]

D. A. Holland, A. T. Lim, and M. I. Seltzer. A new instructional operating system. In Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002.]]

Digital Library

[10]

D. Hovemeyer, J. Hollingsworth, and B. Bhattacharjee. Running on the bare metal with GeekOS. In Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004.]]

Digital Library

[11]

Joint IEEE Computer Society/ACM Task Force on Computing Curricula. Computing curricula 2001: Computer science - final report, 2001.]]

[12]

M. Kifer and S. Smolka. OSP An Environment for Operating System Projects. Addison-Wesley, 1991.]]

[13]

M. Kifer and S. Smolka. OSP An Environment for Operating System Projects: Instructor's Manual. Addison-Wesley, 1991.]]

[14]

M. Kifer and S. Smolkaka. OSP 2. http://www.lmc.cs.sunysb.edu:8180/osp2/index.jsp.]]

[15]

M. Morsiani. AMIKE resource page. http://www.cs.unibo.it/~morsiani/amike.html.]]

[16]

M. Morsiani. ICARO.S resource page. http://www.cs.unibo.it/~morsiani/icaros.html.]]

[17]

M. Morsiani. MPS resource page. http://MPS.sourceforge.net.]]

[18]

M. Morsiani and R. Davoli. Learning operating systems structure and implementation through the MPS computer system simulator. In Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999.]]

Digital Library

[19]

G. Nutt. Operating Systems: A Modern Perspective. Addison Wesley, 3rd edition, 2004.]]

Digital Library

[20]

M. Rosenblum, S. Herrod, E. Witchel, and A. Gupta. Complete computer simulation: The SimOS approach. IEEE Parallel and Distributed Technology, 1995.]]

Digital Library

[21]

A. Silberschatz, P. Galvin, and G. Gagne. Operating System Concepts. Wiley, 6th edition, 2001.]]

Digital Library

[22]

A. Tanenbaum. Modern Operating Systems. Prentice Hall, 2nd edition, 2001.]]

Digital Library

[23]

A. Tanenbaum and A. Woodhull. Operating Systems: Design and Implementation Prentice Hall, 2nd edition, 1997.]]

Digital Library

Cited By

Ebling M(2024)Resources for Teaching Operating Systems: A Survey of Instructors and a Literature ReviewACM Transactions on Computing Education10.1145/368885324:4(1-28)Online publication date: 24-Oct-2024
https://dl.acm.org/doi/10.1145/3688853
Nitta CKaloti AWang SBecker BQuille KLaakso MBarendsen ESimon (2022)RISC-V ConsoleProceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 110.1145/3502718.3524791(145-150)Online publication date: 7-Jul-2022
https://dl.acm.org/doi/10.1145/3502718.3524791
Goldweber MDavoli R(2019)VDEACM SIGCSE Bulletin10.1145/1597849.138431040:3(138-142)Online publication date: 28-Feb-2019
https://dl.acm.org/doi/10.1145/1597849.1384310
Show More Cited By

Index Terms

The Kaya OS project and the μMPS hardware emulator
1. Social and professional topics
  1. Professional topics
    1. Computing education
      1. Computing education programs
        Computer science education
2. Software and its engineering
  1. Software creation and management
    1. Designing software
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems

Recommendations

The Kaya OS project and the μMPS hardware emulator

Ideally, the most meaningful learning experience for students in an undergraduate OS course would be to develop fully-functional OS's on their own. This can be accomplished using μmps, a hardware emulator for a pedagogically undergraduate-appropriate ...
Running on the bare metal with GeekOS
SIGCSE '04: Proceedings of the 35th SIGCSE technical symposium on Computer science education

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 ...
Running on the bare metal with GeekOS

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 ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ITiCSE '05: Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education

June 2005

440 pages

ISBN:1595930248

DOI:10.1145/1067445

Conference Chairs:
José Cunha
Universidade Nova de Lisboa, Portugal
,
William Fleischman
Villanova University
,
Program Chairs:
Viera K. Proulx
Northeastern University
,
João Lourenço
Universidade Nova de Lisboa, Portugal

ACM SIGCSE Bulletin Volume 37, Issue 3
September 2005
418 pages
ISSN:0097-8418
DOI:10.1145/1151954
Issue’s Table of Contents

Copyright © 2005 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 June 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ITiCSE05

Sponsor:

ITiCSE05: Innovation and Technology in Computer Science Education

June 27 - 29, 2005

Caparica, Portugal

Acceptance Rates

Overall Acceptance Rate 552 of 1,613 submissions, 34%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
437
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Ebling M(2024)Resources for Teaching Operating Systems: A Survey of Instructors and a Literature ReviewACM Transactions on Computing Education10.1145/368885324:4(1-28)Online publication date: 24-Oct-2024
https://dl.acm.org/doi/10.1145/3688853
Nitta CKaloti AWang SBecker BQuille KLaakso MBarendsen ESimon (2022)RISC-V ConsoleProceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 110.1145/3502718.3524791(145-150)Online publication date: 7-Jul-2022
https://dl.acm.org/doi/10.1145/3502718.3524791
Goldweber MDavoli R(2019)VDEACM SIGCSE Bulletin10.1145/1597849.138431040:3(138-142)Online publication date: 28-Feb-2019
https://dl.acm.org/doi/10.1145/1597849.1384310
Fernandes SOliveira LCosta A(2019)MOSS based Methodology to Building an Operational System for MIPS Simulator2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC)10.1109/SBESC49506.2019.9046076(1-7)Online publication date: Nov-2019
https://doi.org/10.1109/SBESC49506.2019.9046076
Otero RAravind A(2018)Teaching Computer Architecture Labs using a MCU PlatformProceedings of the 23rd Western Canadian Conference on Computing Education10.1145/3209635.3209651(1-6)Online publication date: 4-May-2018
https://dl.acm.org/doi/10.1145/3209635.3209651
Ruckert MBoettcher AHauser M(2013)A Generic Virtual Bus for Hardware Simulator CompositionIEEE Design & Test10.1109/MDT.2009.90(1-1)Online publication date: 2013
https://doi.org/10.1109/MDT.2009.90
Goldweber MDavoli RJonjic TLapidot TGal-Ezer JCaspersen MHazzan O(2012)Supporting operating systems projects using the μMPS2 hardware simulatorProceedings of the 17th ACM annual conference on Innovation and technology in computer science education10.1145/2325296.2325315(63-68)Online publication date: 3-Jul-2012
https://dl.acm.org/doi/10.1145/2325296.2325315
Lo CQian KZhang YClincy VHoganson KGarrido JDasigi V(2011)Teaching operating systems with simple low-cost portable energy efficient devicesProceedings of the 49th annual ACM Southeast Conference10.1145/2016039.2016055(25-30)Online publication date: 24-Mar-2011
https://dl.acm.org/doi/10.1145/2016039.2016055
Goldweber MDavoli RAmillo JLaxer CMenasalvas EYoung A(2008)VDEProceedings of the 13th annual conference on Innovation and technology in computer science education10.1145/1384271.1384310(138-142)Online publication date: 30-Jun-2008
https://dl.acm.org/doi/10.1145/1384271.1384310
Yung-Pin Cheng Lin J(2008)Awk-Linux: A Lightweight Operating Systems CoursewareIEEE Transactions on Education10.1109/TE.2007.91257151:4(461-467)Online publication date: Nov-2008
https://doi.org/10.1109/TE.2007.912571
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents