Lezioni Anno Accademico 2020/21 I semestre

From Sistemi Operativi
Jump to navigation Jump to search

Settembre 30 2020

Presentazione del corso

Ottobre 2 2020

Esempio del cuoco

Ottobre 7 2020

Lettura degli Esercizi di "lettura" programmi in C 2020/21

Comandi di bash

Ottobre 9 2020

Installazione di un OS

Comandi di bash

Ottobre 14 2020

Comandi di bash

Ottobre 16 2020

Comandi di bash

Ottobre 21 2020

Programmazione Concorrente

  • introduzione
  • problemi di sincronizzazione e comunicazione
  • alcune definizioni

Ottobre 23 2020

System call

  • creazione dei processi
  • esecuzione dei processi
  • gestione della memoria

Ottobre 28 2020

Programmazione concorrente

Soluzioni del problema di sincronizzazione:

  • algoritmo di Dekker
  • algoritmo di Peterson
  • Test and Set

Ottobre 30 2020

System call

  • File system

Novembre 4 2020

Programmazione concorrente

Soluzione del problema di sincronizzazione:

  • semafori

Alcuni problemi di sincronizzazione:

  • problema del produttore e consumatore
  • problema dei filosofi a cena
  • problema degli scrittori e lettori

Novembre 6 2020

System call

  • file
  • operazioni con i file

Novembre 11 2020

Programmazione concorrente

  • semafori binari
  • implementazione dei semafori con i semafori binari
  • implementazione dei semafori binari con i semafori

Novembre 13 2020

System call

  • comunicazione fra i processi
  • gestione degli eventi I/O
  • segnali

Novembre 18 2020

Programmazione concorrente

  • semafori, semafori binari
  • monitor

Novembre 20 2020

System call

  • segnali
  • utenti e gruppi

Novembre 25 2020

Programmazione concorrente

  • espressività dei monitor
  • problemi classici con i monitor

Novembre 27 2020

Progetto PandaOS

  • presentazione generale

Strumenti per programmare

  • Make
  • Autotools
  • CMake

Dicembre 2 2020

Programmazione concorrente

  • messagge passing
  • uguaglianza espressiva dei vari tipi di messagge passing

Dicembre 4 2020

Progetto: fase 1

Strumenti per programmare

  • git
  • github

Dicembre 9 2020

Programmazione concorrente

  • problemi classici col message passing

Python

Dicembre 11 2020

Python