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. 2018/19

Informazioni valide per gli studenti immatricolati nell'A.A. 2017/18

Principali informazioni sull'insegnamento
Corso di studio Corso di laurea in
INGEGNERIA INFORMATICA
IN0508, ordinamento 2011/12, A.A. 2018/19
N0
porta questa
pagina con te
Curriculum Percorso Comune
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=2018-IN0508-000ZZ-2017-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 CARLO FERRARI 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

Organizzazione dell'insegnamento
Periodo di erogazione Secondo semestre
Anno di corso II Anno
Modalità di erogazione frontale

Tipo ore Crediti Ore di
didattica
assistita
Ore Studio
Individuale
LEZIONE 9.0 72 153.0

Calendario
Inizio attività didattiche 25/02/2019
Fine attività didattiche 14/06/2019
Visualizza il calendario delle lezioni Lezioni 2018/19 Ord.2011

Commissioni d'esame
Commissione Dal Al Membri
12 A.A. 2018/2019 01/10/2018 15/03/2020 FERRARI CARLO (Presidente)
MORO MICHELE (Membro Effettivo)
GHIDONI STEFANO (Supplente)
MIGLIARDI MAURO (Supplente)
NANNI LORIS (Supplente)
ZINGIRIAN NICOLA (Supplente)
11 A.A. 2017/2018 01/10/2017 15/03/2019 NANNI LORIS (Presidente)
MORO MICHELE (Membro Effettivo)
FANTOZZI CARLO (Supplente)
VANDIN FABIO (Supplente)

Syllabus
Prerequisiti: Architettura degli Elaboratori, Dati ed Algoritmi.
Conoscenze e abilita' da acquisire: Conoscenze sull'organizzazione generale e di dettaglio dei Sistemi Operativi. Conoscenze sui principi di Programmazione Concorrente. Abilità di rappresentare e risolvere con linguaggi concorrenti problemi di condivisione di risorse e sincronizzazione tra diversi processi software.
Modalita' di esame: prova scritta
prova di programmazione concorrente
Criteri di valutazione: prova scritta 50%
prova di programmazione concorrente 50%
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: Lezioni ed esercitazioni frontali (totale di 72 ore per semestre)
Eventuali indicazioni sui materiali di studio: materiale presentato a lezione e disponibile nella piattaforma moodle dell'insegnamento.
Testi di riferimento:
  • G.Clemente, F.Filira, M.Moro,, Padova:, Sistemi Operativi: Architettura e Programmazione concorrente.. Padova: Libreria Progetto, 2016. Cerca nel catalogo

Didattica innovativa: Strategie di insegnamento e apprendimento previste
  • Lecturing
  • Problem based learning
  • Case study
  • Problem solving
  • Files e pagine caricati online (pagine web, Moodle, ...)

Didattica innovativa: Software o applicazioni utilizzati
  • Moodle (files, quiz, workshop, ...)

Obiettivi Agenda 2030 per lo sviluppo sostenibile
Poverta' Zero Fame Zero Salute e Benessere Istruzione di qualita' Uguaglianza di genere Acqua pulita e igiene Energia pulita e accessibile Lavoro dignitoso e crescita economica Industria, innovazione e infrastrutture Ridurre le disuguaglianze Citta' e comunita' sostenibili Consumo e produzione responsabili Agire per il clima La vita sott'acqua La vita sulla Terra Pace, giustizia e istituzioni forti Partnership per gli obiettivi