Corsi di Laurea Corsi di Laurea Magistrale Corsi di Laurea Magistrale
a Ciclo Unico
Scuola di Ingegneria
INGEGNERIA INFORMATICA
Insegnamento
SISTEMI OPERATIVI
IN06107631, A.A. 2017/18

Informazioni valide per gli studenti immatricolati nell'A.A. 2016/17

Principali informazioni sull'insegnamento
Corso di studio Corso di laurea in
INGEGNERIA INFORMATICA
IN0508, ordinamento 2011/12, A.A. 2017/18
N0
porta questa
pagina con te
Crediti formativi 9.0
Tipo di valutazione Voto
Denominazione inglese OPERATIVE SYSTEMS
Dipartimento di riferimento Dipartimento di Ingegneria dell'Informazione (DEI)
Sito E-Learning https://elearning.dei.unipd.it/course/view.php?idnumber=2017-IN0508-000ZZ-2016-IN06107631-N0
Obbligo di frequenza No
Lingua di erogazione ITALIANO
Sede PADOVA
Corso singolo È possibile iscriversi all'insegnamento come corso singolo
Corso a libera scelta È possibile utilizzare l'insegnamento come corso a libera scelta

Docenti
Responsabile LORIS NANNI ING-INF/05
Altri docenti MICHELE MORO ING-INF/05

Dettaglio crediti formativi
Tipologia Ambito Disciplinare Settore Scientifico-Disciplinare Crediti
CARATTERIZZANTE Ingegneria informatica ING-INF/05 9.0

Modalità di erogazione
Periodo di erogazione Secondo semestre
Anno di corso II Anno
Modalità di erogazione frontale

Organizzazione della didattica
Tipo ore Crediti Ore di
Corso
Ore Studio
Individuale
Turni
LEZIONE 9.0 72 153.0 Nessun turno

Calendario
Inizio attività didattiche 26/02/2018
Fine attività didattiche 01/06/2018

Commissioni d'esame
Commissione Dal Al Membri
11 A.A. 2017/2018 01/10/2017 15/03/2019 NANNI LORIS (Presidente)
MORO MICHELE (Membro Effettivo)
FANTOZZI CARLO (Supplente)
VANDIN FABIO (Supplente)
10 A.A. 2016/2017 01/10/2016 15/03/2018 FERRARI CARLO (Presidente)
MORO MICHELE (Membro Effettivo)
DE POLI GIOVANNI (Supplente)
MENEGATTI EMANUELE (Supplente)
MIGLIARDI MAURO (Supplente)

Syllabus
Prerequisiti:
Conoscenze e abilita' da acquisire:
Modalita' di esame:
Criteri di valutazione:
Contenuti: Cenni storici e teoria dei sistemi operativi, Ruolo di un SO e organizzazione interna
Esemplificazione di sistemi in uso, Programmazione concorrente e costrutti di sincronizzazione.

Concetti generali. Le funzionalità di un sistema operativo. Evoluzione delle architetture. Concorrenza e parallelismo. Modelli di sistemi concorrenti. Processi, risorse, interferenza e cooperazione. Vincoli nella evoluzione dei processi, Grafi di precedenza. Stallo: definizione, riconoscimento e prevenzione. Reti di Petri. Sincronizzazione e comunicazione tra processi. Semafori, mailbox e messaggi. Realizzazione di protocolli di sincronizzazione.
Layout di un sistema operativo: organizzazione, gestione delle risorse, strutture di dati ed algoritmi. . I sottosistemi principali: Nucleo, gestione della memoria principale; gestione dei dispositivi di ingresso-uscita, periferiche e driver; organizzazione e gestione della memoria secondaria, memoria virtuale. File system, shell, interfaccia grafica. Schedulazione.
Processi, thread e programmazione concorrente. I paradigmi per la programmazione concorrente. Tecniche di base per la sincronizzazione: Mutex, Semafori privati, Regioni. Costrutti ad alto livello: Monitor, Rendez-vous. Esempi di programmi concorrenti ed esercitazioni.
Attivita' di apprendimento previste e metodologie di insegnamento:
Eventuali indicazioni sui materiali di studio:
Testi di riferimento: