Sistemi Operativi

Fonti

Da dove vengono gli esercizi.

Testi ufficiali quando ci sono, ricostruzioni marcate quando mancano.Archivio ufficiale

Ultimi compiti pubblicati · 2025-2026

06 febbraio 2026

RBB: buffer ridimensionabile

C2: delay/tick con semafori · G1: Riconoscere MIN, LRU e FIFO da una traccia

PDF ufficiale
09 gennaio 2026

Syndelay con monitor

C2: Semaforo float · G1: Riconoscere MIN, LRU e FIFO da una traccia

PDF ufficiale
05 settembre 2025

Volo: scenario a fasi

C2: Messaggi standard sopra pacchetti da 1500 byte · G1: Pagmod: stack e stringa infinita

PDF ufficiale
21 luglio 2025

Nmeet

C2: MPSs · G1: Round Robin al variare del quanto

PDF ufficiale
23 giugno 2025

Minlenbb

C2: Threshlocking · G1: Minpage

PDF ufficiale
28 maggio 2025

Maxlenbb

C2: Anti-stalker con server · G1: Processi periodici: x minimo

PDF ufficiale

Serie estiva · giugno e luglio 2017-2025

AnnoGiu C1Giu C2Giu G1Lug C1Lug C2Lug G1
2017Giavellotto: scenario a fasiPrimitive atomiche per spinlockRound Robin con I/OConferenza: chiamata e presenzaMessage passing broadcast -> asincronoWorking set e thrashing
2018Traghetto: scenario a fasiSemaforo limitato tra -N e NBanchiere: costruzione stato unsafeDelirium: risorsa e rifornimentoBuffer LIFO con semaforiRicostruzione di un Gantt
2019Put/get con broadcast ai lettoriCorrezione di un semaforo e fairnessCostruzione di grafi di HoltPairbuf: rendez-vous FIFOAnalisi di un server asincronoStringhe infinite di page replacement
2021Delayvalue: coda mobileSemaforo a priorita e LIFOEDF per processi periodiciTorneo: rendez-vous a coppieWrongsem e passaggio del testimoneAlgoritmo modulo e proprieta di stack
2022Collocamento: matching per skillDispatcher con message passingMultilevel scheduling con I/OPorto: scenario nave/camionMessage passing testardofsck e incoerenze UNIX
2023Redblack: rendez-vous a coppieMessage passing non bloccante a listeFAT incoerenteSyncvalue: cambio chiave e generazioniMessage passing universaleRound Robin + disco LOOK
2024Choicesem: risveglio selettivoFrammentazione di messaggiDecodifica di un GanttOddblock: gruppi pari e snapshotNas712 con semaforiMIN con 3 e 4 frame
2025Minlenbb: famiglia di bufferThreshlocking con semaforiMinpage e anomalia di BeladyNmeet: rendez-vous a gruppiMPSs: ricezione n-esima con segnoRound Robin al variare del quanto
2026 segnalatoContenuti ricostruiti, in attesa del PDF ufficiale.