Sistemas Operativos

Sistemas Operativos

Recursos

Lecturas, herramientas y material de otros cursos. Para el entorno de trabajo, ver Laboratorio; para la terminología, el glosario.

Libro de texto

Operating Systems: Three Easy Pieces Texto principal, gratuito en línea. Cada semana indica los capítulos a leer.Tareas y simuladores de OSTEP Simuladores en Python para planificación, memoria, discos y sistemas de archivos.Código de los capítulos Los programas que aparecen en el libro.Proyectos de OSTEP Enunciados y pruebas de los proyectos del curso.

xv6

xv6-riscv El kernel que modificamos en los proyectos P2, P3, P5 y el bono.Libro de xv6 para RISC-V Explica el código del kernel capítulo por capítulo (MIT, rev. 5).Listado del código de xv6-riscv Todo el código fuente numerado, para leer en papel.Laboratorios de MIT 6.1810 Enunciados de P3, P5 y el bono, con make grade.

Herramientas

Páginas man de Linux Referencia de llamadas al sistema y funciones de la biblioteca de C.Manual de GDB Depurador; lo usamos con programas en C y con el kernel.Manual de Valgrind Fugas de memoria (memcheck) y carreras entre hilos (helgrind).Beej's Guide to C Repaso de C, gratuito.

Otros cursos

MIT 6.1810 Operating System Engineering Notas de clase y preguntas de lectura sobre xv6-riscv.Berkeley CS162 Operating Systems Diapositivas y hojas de ejercicios con soluciones.

Del curso

Dockerfile del cursoImagen con gcc, gdb, qemu y valgrind.run.shConstruye la imagen y abre una shell en el contenedor.Sílabo (PDF)Documento oficial del curso.