Disseny de Sistemes Operatius (DSO)
(http://www.ac.upc.edu/docencia/FIB/DSO)
| Professors Responsables: |
XAVIER MARTORELL BOFILL (xavim ac.upc.edu)
|
|
Crèdits: 6.0 (1.5 T 1.5 P 3.0 L)
| |
Departament:
AC
|
Tipus d'assignatura
Optativa per la EI
Requisits de l'assignatura
|
CASO
- Pre-correquisit per la EI
|
|
|
EISO
- Pre-correquisit per la EI
|
|
Objectius docents
L'objectiu del curs consisteix en donar a l'alumne una visió dels
paràmetres de disseny dels sistemes operatius, basant-se en els
coneixements de les assignatures anteriors. S'aprofundirà en la
gestió d'arquitectures multiprocessador i sistemes microkernel.
L'assignatura fomentarà la discussió sobre els aspectes de
disseny del sisteme operatiu, com són la gestió dels fluxos, la
memòria i l'entrada/sortida, tenint en compte la modularitat i
l'eficiència del funcionament intern i el suport als entorns de treball,
als models de programació i a les aplicacions d'usuari.
Programa
1. Introducció
- Evolució del disseny de sistemes operatius
- Estructuració dels sistemes operatius
- Models de programació
2. Sistemes microkernel
- Abstraccions i interfície
- Disseny i implementació de servidors
- Fluxos lleugers i nivells de planificació
- Sincronitzacions i comunicacions eficients
3. Planificació de fluxos en sistemes multiprocesadors
- Planificació especial
- Planificació temporal
- Tècniques eficients de planificació de fluxos
- Planificació per temps real
4. Subsistemes i emulació de sistemes
- Coexistència de personalitats
- Compatibilitat entre sistemes
- Avaluació de l'emulació
5. Gestió de la memòria
- Memòria Compartida Distribuïda
- Gestors externs de memòria
- Planificació tenint en compte la memòria
6. Noves tendències en el disseny de sistemes operatius
- Estructuració de les funcionalitats de sistema
- Sistemes operatius extensibles
- Exokernels
7. Casos pràctics:
- Exemples de sistemes operatius i característiques principals del
disseny del sistema i de l'entorn de programació
Avaluació
Per assegurar una bona avaluació continuada dels alumnes, la
qualificació de cada alumne/a constarà de dues parts:
- La qualificació de l'examen final (25%)
- La nota provinent de la participació en les classes de problemes, i de
disseny, implementació i defensa de les pràctiques (75%)
Per a aprovar l'assignatura és imprescindible obtenir un mínim de 3 punts a cadascuna de les
dues parts.
Bibliografia
Bibliografia bàsica
- TANENBAUM, A.S Distributed Operating Systems Prentice-Hall International Editions, 1995
- BOYKIN, J.; KIRSCHEN, A.; LANGERMAN, A.; LoVERSO, S Programming under
Mach Addison-Wesley Publishing Company, 1993
- Recull d'articles, manuals i bibliografia
suplementària. ,
Bibliografia complementària
- Black, D.L. Scheduling and Resource Management Techniques for Multiprocessors Carnegie Mellon University CMU-CS-90-152, 1990
- Loepere, K. OSF Mach Kernel Principles Open Software Foundation (Manual), 1993
Informació complementària
CLASSES DE PROBLEMES
A les classes de problemes es plantejaran discussions interactives sobre casos
concrets llegits i preparats abans de cada sessió.
CLASSES DE LABORATORI
A les classes de laboratori es faran pràctiques de disseny i
implementació de parts del sistema operatiu, de servidors i llibreries
de suport als models de programació. Es treballarà amb sistemes basats en
microkernel sobre arquitectures multiprocessador i en xarxa.
|
