xv6 es una reimplementación moderna de la sexta edición de Unix en ANSI C para sistemas multiprocesador x86 y RISC-V . Fue creado con fines pedagógicos en el curso de Ingeniería de Sistemas Operativos del MIT . [1]
Desarrollador | MIT | ||||
---|---|---|---|---|---|
Escrito en | C y montaje | ||||
Familia OS | Tipo Unix | ||||
Modelo fuente | Fuente abierta | ||||
Último lanzamiento |
| ||||
Disponible en | inglés | ||||
Plataformas | multiprocesador Intel x86 y RISC-V | ||||
Tipo de grano | Monolítico | ||||
Interfaz de usuario predeterminada | Interfaz de línea de comandos | ||||
Licencia | Licencia MIT | ||||
Página web oficial | pdos |
Propósito
El curso de Ingeniería de sistemas operativos del MIT utilizaba anteriormente el código fuente original V6 . xv6 fue creado como un reemplazo moderno, porque las máquinas PDP-11 no están ampliamente disponibles y el sistema operativo original fue escrito en arcaico pre-ANSI C.A diferencia de Linux o BSD , xv6 es lo suficientemente simple para cubrir en un semestre, pero aún contiene el conceptos importantes y organización de Unix . [1]
Auto-documentación
Una característica del Makefile para xv6 es la opción de producir un PDF de la lista completa del código fuente en un formato legible. La impresión completa tiene solo 99 páginas, incluidas las referencias cruzadas. [2] Esto es una reminiscencia del código fuente original V6 , que se publicó de forma similar en el Comentario de los Leones sobre UNIX 6ª edición, con el código fuente .
Uso educativo
xv6 se ha utilizado en cursos de sistemas operativos en muchas universidades, incluida la Universidad de Leeds , [3] Universidad de Stony Brook , [4] Universidad de Northwestern , [5] Universidad de George Washington , [6] Universidad de Northeastern , [7] Universidad de Yale , [ 8] Universidad de Columbia , [9] Ben Gurion Universidad , [10] de la Universidad Johns Hopkins , [11] Portland State University , [12] Universidad Tsinghua , [13] Universidad Adventista del Sur , [14] la Universidad de Wisconsin-Madison , [15] Universidad de Binghamton , Universidad de Utah , [16] [17] Universidad de California, Irvine , Universidad de California, Riverside , [18] Georgia Tech , [19] IIIT Hyderabad , IIIT Delhi , IIIT Bangalore , IIIT Allahabad , MNNIT Allahabad IIT Bombay , [20] IIT Delhi , IIT Madras , IIT Bhubaneswar y PEC Chandigarh en India , la Universidad Linnaeus [21] en Suecia , la Universidad de Otago [22] en Nueva Zelanda , la Universidad Nacional de Córdoba , [23 ] la Universidad Nacional de Río Cuarto , [24] en Argentina , la Universidad Técnica Federico Santa María en Chile , la Università degli Studi di Palermo [25] Universidad de Illinois en Chicago , [26] de la Universidad de Rutgers , [27] de la Università degli Studi di Modena e Reggio Emilia [28] , en Italia , la Universidad Irán de Ciencia y Tecnología (IUST) , [29] y la Universidad de Teherán [30] en Irán , la Universidad de Tecnología de Eslovaquia en Bratislava [31] en Eslovaquia , la Universidad Federal de Minas Gerais [32] en Brasil , el Technion - Instituto de Israel of Technology , [33] la Universidad Ben Gurion en el Negev en Israel , y la Universidad de Pittsburgh . [34]
Referencias
- ^ a b "Xv6, un sencillo sistema operativo de enseñanza similar a Unix" . Consultado el 22 de septiembre de 2014 .
Xv6 es un sistema operativo de enseñanza desarrollado en el verano de 2006
- ^ "Listado de fuentes xv6" (pdf) . Consultado el 10 de enero de 2018 .
- ^ "Catálogo de módulos y programas" . webprod3.leeds.ac.uk . Consultado el 14 de octubre de 2020 .
- ^ "CSE 306 - Información del curso" . Consultado el 14 de abril de 2021 .
- ^ "EECS 343: sistema operativo, otoño de 2016-17" . Consultado el 11 de noviembre de 2018 .
- ^ "CSCI 3411 - Sistemas operativos, otoño de 2018" . Consultado el 27 de septiembre de 2018 .
- ^ "CS 3650: Sistemas informáticos, otoño de 2014" . Consultado el 9 de diciembre de 2014 .
- ^ "CS422 / 522: sistemas operativos, primavera de 2010 - descripción general" . Consultado el 5 de febrero de 2010 .
- ^ "COMS W4118: Sistemas operativos I, otoño de 2013" . Consultado el 9 de septiembre de 2013 .
- ^ "Sistemas operativos - 2012 / Spring - Principal" . Consultado el 26 de marzo de 2012 .
- ^ "600.318 / 418: Sistemas operativos" . Consultado el 7 de noviembre de 2015 .
- ^ "CS 333 Introducción a los sistemas operativos" . Consultado el 10 de abril de 2018 .
- ^ "FrontPage - Wiki de enseñanza del sistema operativo" . Consultado el 18 de marzo de 2010 .
- ^ "Escuela de Computación de la Universidad Adventista del Sur" . Consultado el 10 de diciembre de 2017 .
- ^ "CS-537: Introducción a los sistemas operativos" . Consultado el 4 de noviembre de 2011 .
- ^ "CS 6460: Sistemas operativos" . Consultado el 20 de enero de 2014 .
- ^ "Incrustado en Academia: Xv6" . Consultado el 8 de abril de 2014 .
- ^ "CS 202: Sistema operativo avanzado" . Consultado el 2 de diciembre de 2017 .
- ^ "Información general: documentación de CS-3210, otoño de 2017 1" . cs3210.cc.gatech.edu . Consultado el 21 de junio de 2019 .
- ^ "Notas de la conferencia sobre sistemas operativos" . www.cse.iitb.ac.in . Consultado el 28 de septiembre de 2020 .
- ^ "1DV201: Sistema operativo" . Consultado el 14 de marzo de 2013 .
- ^ "COSC440: Sistema operativo avanzado" . Consultado el 14 de julio de 2015 .
- ^ "SistOp14: Sistemas operativos" . Consultado el 6 de agosto de 2015 .
- ^ "Sistemas operativos" . Consultado el 6 de agosto de 2015 .
- ^ "Sistemi Operativi" . Consultado el 18 de octubre de 2015 .
- ^ "CS385 - Conceptos y diseño de sistemas operativos" . Consultado el 18 de marzo de 2015 .
- ^ "01: 198: 416: Diseño de sistemas operativos" . Consultado el 5 de febrero de 2010 .
- ^ "Progettazione di Sistemi Operativi" . Consultado el 9 de octubre de 2017 .
- ^ "iust os" . os-course.github.io . Consultado el 14 de noviembre de 2020 .
- ^ "Sistemas operativos instruidos por el Dr. Mehdi Kargahi" .
- ^ "Operačné systémy" . UIM (en eslovaco) . Consultado el 28 de octubre de 2019 .
- ^ "DCC605: Sistemas Operacionais" . Consultado el 16 de noviembre de 2015 .
- ^ "094210 Organización y sistema operativo de la computadora, primavera de 2020" . Consultado el 14 de mayo de 2020 .
- ^ "CS 1550 Introducción a los sistemas operativos (COE 1550) -Otoño de 2020" . people.cs.pitt.edu . Consultado el 28 de septiembre de 2020 .
enlaces externos
- Ingeniería de sistemas operativos (6.828)
x86 (sin mantenimiento):
- código fuente xv6
- código fuente del libro xv6
- xv6: un sistema operativo de enseñanza simple, similar a Unix , libro xv6 rev11.
- Versión imprimible del código fuente xv6, rev11.
RISC-V:
- código fuente xv6
- código fuente del libro xv6
- xv6: un sistema operativo de enseñanza simple, similar a Unix , libro xv6 rev1.