Jump to content

xv6

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Xose.vazquez (talk | contribs) at 22:59, 10 September 2022 (rev3 RISC-V rev3). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

xv6
xv6 startup, and using the "ls" command
DeveloperMIT
Written inC and assembly
OS familyUnix-like
Source modelOpen source
Latest release
x86 (EOL):rev11 / September 2, 2018; 6 years ago (2018-09-02)
RISC-V:rev3 / September 5, 2022; 2 years ago (2022-09-05)
Available inEnglish
Platformsmultiprocessor Intel x86 and RISC-V
Kernel typeMonolithic
Default
user interface
Command-line interface
LicenseMIT license
Official websitepdos.csail.mit.edu/6.828/xv6

xv6 is a modern reimplementation of Sixth Edition Unix in ANSI C for multiprocessor x86 and RISC-V systems. It was created for pedagogical purposes in MIT's Operating System Engineering course in 2006.[1]

Purpose

MIT's Operating System Engineering course formerly used the original V6 source code. xv6 was created as a modern replacement, because PDP-11 machines are not widely available and the original operating system was written in archaic pre-ANSI C. Unlike Linux or BSD, xv6 is simple enough to cover in a semester, yet still contains the important concepts and organization of Unix.[1]

Self-documentation

One feature of the Makefile for xv6 is the option to produce a PDF of the entire source code listing in a readable format. The entire printout is only 99 pages, including cross references.[2] This is reminiscent of the original V6 source code, which was published in a similar form in Lions' Commentary on UNIX 6th Edition, with Source Code.

Educational use

xv6 has been used in operating systems courses at many universities including the University of Virginia,[3] New York University, University of Leeds,[4] Stony Brook University,[5] Northwestern University,[6] The George Washington University,[7] Northeastern University,[8] Yale University,[9] Columbia University,[10] Ben-Gurion University,[11] Johns Hopkins University,[12] Portland State University,[13] Tsinghua University,[14] Southern Adventist University,[15] the University of Wisconsin–Madison,[16] Binghamton University, the University of Utah,[17] [18] University of California, Irvine, University of California, Riverside,[19] Georgia Tech,[20] University of Belgrade School of Electrical Engineering,[21] IIIT Hyderabad, IIIT Delhi, IIIT Bangalore, IIIT Allahabad, MNNIT Allahabad IIT Bombay,[22] IIT Delhi, IIT Madras, IIT Bhubaneswar and PEC Chandigarh in India, the Linnaeus University[23] in Sweden, the University of Otago[24] in New Zealand, the National University of Córdoba,[25] the National University of Río Cuarto,[26] in Argentina, the Federico Santa María Technical University in Chile, the Università degli Studi di Palermo[27] University of Illinois at Chicago,[28] Rutgers University,[29] the Università degli Studi di Modena e Reggio Emilia[30] in Italy, the Iran University of Science and Technology (IUST),[31] and the University of Tehran[32] in Iran, Slovak University of Technology in Bratislava[33] in Slovakia, Federal University of Minas Gerais[34] in Brazil, the Technion – Israel Institute of Technology,[35] and the University of Pittsburgh.[36]

References

  1. ^ a b "Xv6, a simple Unix-like teaching operating system". Retrieved 2014-09-22. Xv6 is a teaching operating system developed in the summer of 2006
  2. ^ "xv6 source listing" (pdf). Retrieved 2018-01-10.
  3. ^ "CS4414: XV6 introduction". Retrieved 2022-02-27.
  4. ^ "Module and Programme Catalogue". webprod3.leeds.ac.uk. Retrieved 2020-10-14.
  5. ^ "CSE 306 -- Course Information". Retrieved 2021-04-14.
  6. ^ "EECS 343: Operating System, Fall 2016–17". Retrieved 2018-11-11.
  7. ^ "CSCI 3411 – Operating Systems, Fall 2018". Retrieved 2018-09-27.
  8. ^ "CS 3650: Computer Systems, Fall 2014". Retrieved 2014-12-09.
  9. ^ "CS422/522: Operating Systems, Spring 2010 — Overview". Retrieved 2010-02-05.
  10. ^ "COMS W4118: Operating Systems I, Fall 2013". Retrieved 2013-09-09.
  11. ^ "Operating Systems – 2012/Spring – Main". Retrieved 2012-03-26.
  12. ^ "600.318/418: Operating Systems". Retrieved 2015-11-07.
  13. ^ "CS 333 Introduction to Operating Systems". Retrieved 2018-04-10.
  14. ^ "FrontPage – OS Teaching Wiki". Retrieved 2010-03-18.
  15. ^ "School of Computing at Southern Adventist University". Retrieved 2017-12-10.
  16. ^ "CS-537: Introduction to Operating Systems". Retrieved 2011-11-04.
  17. ^ "CS 6460: Operating Systems". Retrieved 2014-01-20.
  18. ^ "Embedded in Academia : Xv6". Retrieved 2014-04-08.
  19. ^ "CS 202: Advanced Operating System". Retrieved 2017-12-02.
  20. ^ "General Information — CS-3210, Fall 2017 1 documentation". cs3210.cc.gatech.edu. Retrieved 2019-06-21.
  21. ^ "Operativni sistemi 2 - Projektni zadatak" (in Serbian). Archived from the original on November 20, 2021. Retrieved 2021-11-20. Zadatak studenta je da izmeni deo operativnog sistem xv6 tako da podrži raspoređivače čije je opis dat u ovom projektu. {{cite web}}: |archive-date= / |archive-url= timestamp mismatch; September 22, 2020 suggested (help)
  22. ^ "Lecture Notes on Operating Systems". www.cse.iitb.ac.in. Retrieved 2020-09-28.
  23. ^ "1DV201: Operating system". Retrieved 2013-03-14.
  24. ^ "COSC440: Advanced Operating system". Retrieved 2015-07-14.
  25. ^ "SistOp14: Operating Systems". Retrieved 2015-08-06.
  26. ^ "Operating Systems". Retrieved 2015-08-06.
  27. ^ "Sistemi Operativi". Retrieved 2015-10-18.
  28. ^ "CS385 – Operating Systems Concepts and Design". Retrieved 2015-03-18.
  29. ^ "01:198:416: Operating Systems Design". Retrieved 2010-02-05.
  30. ^ "Progettazione di Sistemi Operativi". Retrieved 2017-10-09.
  31. ^ "iust os". os-course.github.io. Retrieved 2020-11-14.
  32. ^ "Operating Systems instructed by Dr. Mehdi Kargahi".
  33. ^ "Operačné systémy". UIM (in Slovak). Retrieved 2019-10-28.
  34. ^ "DCC605: Sistemas Operacionais". Retrieved 2015-11-16.
  35. ^ "094210 Computer Organization and Operating System, Spring 2020". Retrieved 2020-05-14.
  36. ^ "CS 1550 Introduction to Operating Systems (COE 1550) -Fall 2020". people.cs.pitt.edu. Retrieved 2020-09-28.

x86 (unmaintained):

RISC-V: