Lezioni Anno Accademico 2020/21 I semestre

From Sistemi Operativi
Jump to navigation Jump to search

2020 Settembre 30

Presentazione del corso

2020 Ottobre 2

Esempio del cuoco

2020 Ottobre 7

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

Comandi di bash

2020 Ottobre 9

Installazione di un OS

Comandi di bash

2020 Ottobre 14

Comandi di bash

2020 Ottobre 16

Comandi di bash

2020 Ottobre 21

Programmazione Concorrente

  • introduzione
  • problemi di sincronizzazione e comunicazione
  • alcune definizioni

2020 Ottobre 23

System call

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

2020 Ottobre 28

Programmazione concorrente

Soluzioni del problema di sincronizzazione:

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

2020 Ottobre 30

System call

  • File system

2020 Novembre 4

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

2020 Novembre 6

System call

  • file
  • operazioni con i file

2020 Novembre 11

Programmazione concorrente

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

2020 Novembre 13

System call

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

2020 Novembre 18

Programmazione concorrente

  • semafori, semafori binari
  • monitor

2020 Novembre 20

System call

  • segnali
  • utenti e gruppi

2020 Novembre 25

Programmazione concorrente

  • espressività dei monitor
  • problemi classici con i monitor

2020 Novembre 27

Progetto PandaOS

  • presentazione generale

Strumenti per programmare

  • Make
  • Autotools
  • CMake

2020 Dicembre 2

Programmazione concorrente

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

2020 Dicembre 4

Progetto: fase 1

Strumenti per programmare

  • git
  • github

2020 Dicembre 9

Programmazione concorrente

  • problemi classici col message passing

Python

2020 Dicembre 11

Python