CC4302 Sistemas Operativos

Prof. Luis Mateu

En esta página colocaré información de caracter permanente para los alumnos de este curso. La información oficial del curso también se entregará a través de U-Cursos.

Indice:

Recursos del curso
Controles de semestres anteriores
Material obsoleto

Recursos del curso

Capítulo de módulos de linux con el relator.
Guía rápida para usar GDB.
Material de Programación de software de sistemas. Contiene las instrucciones para instalar una máquina virtual con Debian 11.

Controles de semestres anteriores

Controles de mitad de semestre durante la pandemia:

año 2023 Otoño (recuperativo)
año 2022 Primavera
año 2022 Otoño
año 2021 Primavera (tests de prueba, lea README.txt)
año 2021 Otoño (tests de prueba, lea README.txt)
año 2020 Primavera (tests de prueba, lea README.txt)
año 2020 Otoño

Control 1:

Control 2:

Control 3:

Examen:

Material obsoleto

Debido al cambio de programa del curso, el siguiente material está obsoleto porque hace referencia a nSystem. En el nuevo programa de curso se usa nThreads.

Apuntes del curso:

Historia de los sistemas operativos
Procesos: clasificación, nSystem, secciones críticas, dataraces, exclusión mutua, semáforos, productor/consumidor, cena de filósofos.
Monitores: monitores estilo Brinch Hansen, monitores estilo Hoare, hambruna, lectores/escritores, metáfora de la isapre.
Mensajes (versión preliminar): produtor/consumidor, equivalencia entre herramientas de sincronización.
Administración de procesos (versión beta3): scheduling de procesos, estrategias de scheduling de procesos, implementación de nSystem (scheduling, semáforos, E/S), Unix en monoprocesadores, núcleos clásicos, Unix en multiprocesadores, núcleos multi-threaded.
Administración de memoria. Esta es una versión antigua de los apuntes del curso que incluye una versión obsoleta de los capítulos anteriores, pero el capítulo de administración de memoria está bastante al día.
Implementación concreta de la estrategia del reloj y la estrategia del working set.
Todavía no hay apuntes para el capítulo de módulos y drivers.
Entrada/salida: Se trata de una versión antigua de los apuntes del curso pero que está al día.

Antiguos apuntes de Sistemas Operativos (primera parte): formato pdf.
Antiguos apuntes de Sistemas Operativos (segunda parte): formato pdf.
nSystem64: formato zip. Es un sistema de threads liviano que corre bajo un proceso Unix. Es útil para mostrar como se implementa el scheduler de un sistema operativo o sus herramientas de sincronización, pero no ofrece verdadero paralelismo y no es compatible con valgrind.. Siga las instrucciones incluidas en el archivo README para compilar nSystem. Los makefiles vienen preparados para Linux de 64 bits.
pSystem64: formato zip (versión alfa 4, 29/5/2021). Es una reimplementación de los mismos threads de nSystem a partir de pthreads. Es útil porque ofrece verdadero paralelismo y sirve para detectar errores de manejo de memoria y detectar dataraces con valgrind, pero no sirve para mostrar cómo se implementa el scheduler de un sistema operativo o sus herramientas de sincronización. Para compilar la biblioteca siga las instrucciones que encontrará al inicio del archivo Makefile.
Con respecto a la pregunta 1 del control 1 de 2007, si no se admite la operación delDef, ¿sería posible implementar query sin ningún tipo de sincronización de manera segura? La respuesta está en la Wikipedia o en la página de Bill Pugh.

Tarea 1: El torneo de tenis de mesa. Baja la versión definitiva del programa de prueba. Este es un ejemplo de la salida del programa de prueba.
Tarea 1, año 2005: El spooler de impresión. Pruebe esta solución con este programa de prueba.
Tarea 2, año 2005: enunciado y solución.

Tarea 2, año 2006: enunciado, solución. Para compilar el programa de prueba ejecute:

      % cd .../nSystem2006solT2/ex-pri
      % make APP=testmutex
      % ./testmutex