XV6

xv6 es una reimplementación moderna de la Sexta Edición de Unix en ANSI C para sistemas multiprocesador x86 y RISC-V . Fue creada con fines educativos en el curso de Ingeniería de Sistemas Operativos del MIT en 2006. ^{[ 1 ]}

El curso de Ingeniería de Sistemas Operativos del MIT utilizaba anteriormente el código fuente original de V6 . xv6 se creó como un reemplazo moderno, ya que las máquinas PDP-11 no están ampliamente disponibles y el sistema operativo original estaba escrito en C arcaico anterior a ANSI. A diferencia de Linux o BSD , xv6 es lo suficientemente simple como para cubrirlo en un semestre, pero aún conserva los conceptos y la organización importantes de Unix . ^{[ 1 ]}

Una característica del Makefile para xv6 es la opción de producir un PDF del listado completo del código fuente en un formato legible. La impresión completa tiene solo 99 páginas, incluidas las referencias cruzadas. ^{[ 2 ]} Esto recuerda al código fuente original de V6 , que se publicó de forma similar en Lions' Commentary on UNIX 6th Edition, con Source Code .

El código fuente de xv6 se acompaña de un libro de comentarios que explica conceptos clave de los sistemas operativos utilizando xv6 como ejemplo. También menciona qué partes del sistema operativo se pueden mejorar y cómo. Por ejemplo, la versión 5 del libro RISC-V xv6 ^{[ 3 ]} , entre otros, introduce los siguientes temas:

• Interfaces del sistema operativo
• Organización del sistema operativo
• Tablas de páginas
• Trampas y llamadas al sistema
• Errores de página
• Interrupciones y controladores de dispositivos
• Cierre
• Programación
• Dormir y despertar
• Sistema de archivos

xv6 se diferencia de otros sistemas operativos por ser muy pequeño para ser cubierto en un semestre (especialmente en comparación con Minix o Pintos), por el tipo de núcleo (xv6 monolítico frente a Minix microkernel frente a Nachos con espacio de usuario simulado) y por tener más técnicas modernas (por ejemplo, Xinu carece de paginación y memoria virtual ).

XV6 se ha utilizado en cursos de sistemas operativos en muchas universidades, entre ellas:

• Universidad Adolfo Ibáñez
• Universidad de los Andes (Colombia)
• Universidad Ben-Gurion ^{[ 4 ]}
• Universidad de Binghamton
• Boston College
• CentraleSupélec
• Facultad de Ingeniería de Pune (COEP, ahora Universidad Tecnológica COEP)
• Universidad de Columbia ^{[ 5 ]}
• Instituto Ghulam Ishaq Khan ^{[ 6 ]}
• Universidad Técnica Federico Santa María
• Universidad George Washington ^{[ 7 ]}
• Universidad del Nilo ^{[ 8 ]}
• Georgia Tech ^{[ 9 ]}
• IIIT Allahabad
• IIT Bhubaneswar y PEC Chandigarh
• IIT Bombay ^{[ 10 ]}
• IIT Delhi
• IIT Madras
• IIT Gandhinagar
• IIIT Delhi
• IIIT Bangalore
• IIIT Hyderabad
• Universidad de Ciencia y Tecnología de Irán ^{[ 11 ]}
• Universidad Johns Hopkins ^{[ 12 ]}
• Instituto Tecnológico de Karlsruhe ^{[ 13 ]}
• Universidad de Linneo ^{[ 14 ]}
• Escuela de Ingeniería de Milwaukee
• Instituto Nacional de Tecnología Motilal Nehru de Allahabad
• Universidad Tecnológica de Nanyang ^{[ 15 ]}
• Universidad Nacional de Taiwán ^{[ 16 ]}
• Universidad Nacional de Córdoba ^{[ 17 ]}
• Universidad Nacional de Río Cuarto ^{[ 18 ]}
• Universidad de Nueva York
• Universidad del Noreste ^{[ 19 ]}
• Universidad Northwestern ^{[ 20 ]}
• Universidad Estatal de Portland ^{[ 21 ]}
• Universidad de Rutgers ^{[ 22 ]}
• Universidad RWTH Aachen ^{[ 23 ]}
• Universidad Tecnológica Eslovaca de Bratislava ^{[ 24 ]}
• Universidad Adventista del Sur ^{[ 25 ]}
• Universidad de Stony Brook ^{[ 26 ]}
• Technion – Instituto Tecnológico de Israel ^{[ 27 ]}
• Télécom SudParis ^{[ 28 ]}
• Universidad de Tsinghua ^{[ 29 ]}
• Universidad Federal de Minas Gerais ^{[ 30 ]}
• University College Dublin ^{[ 31 ]}
• Facultad de Ingeniería Eléctrica de la Universidad de Belgrado ^{[ 32 ]}
• Universidad de California, Irvine
• Universidad de California, Riverside ^{[ 33 ]}
• Universidad de Delaware ^{[ 34 ]}
• Universidad de Hyderabad
• Universidad de Illinois en Chicago ^{[ 35 ]}
• Universidad de Leeds ^{[ 36 ]}
• Universidad de Módena y Reggio Emilia ^{[ 37 ]}
• Universidad de Otago ^{[ 38 ]}
• Universidad de Palermo ^{[ 39 ]}
• Universidad de Pittsburgh ^{[ 40 ]}
• Universidad de Estrasburgo ^{[ 41 ]}
• Universidad del Sur de Florida ^{[ 42 ]}
• Universidad de Teherán ^{[ 43 ]}
• Universidad de Texas en Austin ^{[ 44 ]}
• Universidad de Utah ^{[ 45 ] [ 46 ]}
• Universidad de Virginia ^{[ 47 ]}
• Universidad de Wisconsin-Madison ^{[ 48 ]}
• Universidad de Kassel
• Universidad Occidental
• Universidad de Yale ^{[ 49 ]}

• 6.1810: Ingeniería de Sistemas Operativos

RISC-V:

• Código fuente de XV6
• Código fuente del libro xv6
• xv6: un sistema operativo didáctico sencillo, similar a Unix , libro xv6 rev5.
• Versión imprimible del código fuente de xv6 , revisión 5.

x86-32 ( sin mantenimiento ):

• Código fuente de XV6
• Código fuente del libro xv6
• xv6: un sistema operativo didáctico sencillo, similar a Unix , libro xv6 rev11.
• Versión imprimible del código fuente de xv6 , revisión 11.

x86-64 (mantenido por la Universidad de Estrasburgo):

• Código fuente xv6-64
• Código fuente del libro xv6-64 (EN)
• Código fuente del libro xv6-64 (FR)
• xv6-64: un sistema operativo didáctico sencillo, similar a Unix , libro xv6-64 EN.
• xv6-64: un sistema de explotación simple, proche d'Unix, para el aprendizaje , libro xv6-64 FR.
• Versión imprimible del código fuente xv6-64