Sistemi Operativi
Laboratorio di Sistemi Operativi
2007-2008

• Introduzione

• Orario lezioni
• Orario ricevimento
• Calendario lezioni
  
• Appelli e iscrizioni
• Regolamento d'esame
• Faq
  

• Programma
• Lucidi
• Compiti

• Programma
• Lucidi
• Esercitazioni
• Prova pratica
• Progetto

• Libri di testo
• BACI
• Documentazione "free"
  
• Approfondimenti
  

BACI (Ben Ari's Concurrent Interpreter)

BACI può essere scaricato qui.

ATTENZIONE! La versione corrente di BACI è affetta dal seguente bug: se il metodo di un monitor viene invocato direttamente all'interno di un blocco cobegin il bytecode generato dal compilatore è errato e i risultati a tempo di esecuzione non sono affidabili. L'invocazione di un metodo di un monitor nel corpo di una funzione invocata in un blocco cobegin non è affetta dal bug.

Problemi risolti in BACI

• Problema della sezione critica risolto con Peterson

  Soluzione completa

• Problema della sezione critica risolto con istruzioni hardware speciali

  Testo del problema (2 varianti)

  Soluzione completa

• Barbiere addormentato povero (niente sedie per i clienti)

  Testo del problema in pseudocodice

  Soluzione completa usando la tecnica di Andrews

  Soluzione completa usando barriere di sincronizzazione

• Scalata dell'Everest

  Soluzione completa

• Spogliatoio dei timidi

  Soluzione completa