Monitor

I seguenti link sono collegati ai file che contengono le versioni pdf e txt delle risoluzioni di esercizi di sincronizzazione tra processi con il costrutto monitor (e non solo). I file pdf sono visualizzabili e stampabili con il programma Acrobat Reader.
 

Monitor in pseudo-pascal
  • Un po' di Teoria sui Monitor Pdf   Txt
  • Il Ponte a Senso Unico Alternato Semplice Pdf  Txt
  • Ponte con Capacita Limitata Pdf Txt
  • Ponte con Capacità Limitata e Senza Starvation Pdf  Txt
  • Ponte in cui Ognuno degli Utenti ha un Proprio Peso Pdf  Txt
  • Stanza con Ingresso da due Corridoi a Senso Unico Pdf  Txt
  • Ingresso e Uscita da uno Stadio Pdf    Txt
  • Rotonda Stradale Pdf   Txt
  • L'Ascensore va Su e Giù Pdf    Txt
  • Il Problema dei Filosofi che Mangiano Pdf    Txt
  • Il Classico Problema dei Lettori Scrittori Pdf    Txt
  • Moltiplicazione tra Matrici (Esercizio d'Esame del 12 Giugno 1996 SOVOD) Pdf    Txt
  • Il Deposito Bagagli (Esercizio d'Esame del 7 Novembre1996 SOVOD) Pdf    Txt
  • Spazio di Memoria Condivisa Secondo il Modello LINDA (esame estate 98 SOVOD) html;  Txt
  • Pezzi A, B e C e assemblatori (esame 12/11/99 SOVOD) Pdf
  • Storage System (esame 30/6/00 SOVOD) Pdf
  • Coppia di sposi (esame 17/7/00 SOVOD) Pdf
  • Ristorante (esame 18/2/00 SOVOD) Pdf
  • Banco gastronomico (esame 16/2/96 SOVOD) Pdf
  • Centro prelievi (esame 17/11/00 SOVOD) Pdf txt
  • Negozio (esame 10/1/01 SOVOD) Pdf txt
  • Seggiovia (esame 2/2/01 SOVOD) Pdf txt
  • Centro immersioni (esame 19/2/01 SOVOD) Pdf txt
  • Catena di produzione (esame 25/6/01 SOVOD) Pdf txt
  • Centrale elettrica (esame 5/4/01 SOVOD) Pdf txt
  • News Server (esame 9/11/01 SOVOD) Pdf txt
  • Elaboratore banca (prova initinere 9/11/01 SOVOD) Pdf txt NOTA: il problema di sincronizzazione è lo stesso del News server, cambia solo il contesto.
  • La vendemmia (esame 10/12/01 SOVOD) Pdf txt
  • Barche nel lago (esame 19/12/01 SOVOD) Pdf txt
  • Sportelli di un servizio comunale (esame 10/7/02 SOVOD) Pdf txt
  • Richieste al database (esame 4/9/02 SOVOD) Pdf txt
  • Acquedotto comunale (esame 17/9/02 SOVOD) Pdf txt
  • Raccolta differenziata (esame 10/1/00 SOVOD) soluzione in Java Pdf txt
  • Biblioteca (esame 16/6/00 SOVOD) Pdf txt
  • Frati amanuensi (esame 8/11/02 SOVOD) Pdf txt
  • Conti correnti (prova in itinere 8/11/02 SOVOD) Pdf txt NOTA: il problema di sincronizzazione è lo stesso dei Frati amanuensi, cambia solo il contesto.
  • Artigiani e strumenti (esame 9/12/02 SOVOD) Pdf txt
  • Campo da golf (esame 17/9/03 SOVOD) Pdf txt
  • Pompe di benzina (esame 28/11/03) Pdf txt
  • Sonde meterologiche (esame 19/12/03) Pdf txt
  • Camion cicogna (esame 5/7/04) Pdf txt
  • Museo d'arte contemporanea (esame 10/09/04) Pdf txt
  • Autolavaggio (esame 8/04/05) Pdf txt
  • Passaggio a livello (15/07/05) Pdf txt


    • Monitor in Java

     Ultima versione di Monitor in Java (Ottobre 1999)

    Classi di base: Monitor.java, Cond.java, Urgent.java, Mutex.java
    Template utili: TemplateMonitor.java, TemplateProcesso.java, TemplateMain.java

    Templates per Eclipse:

    E' stata predisposta una pagina per coloro che svolgono l'esame su Eclipse con dei "code templates" in alternativa ai template di sopra.
    Sono state predisposte delle estensioni del Code Assistant di Eclipse per velocizzare la scrittura di un esercizio di Principi di Sistemi Operativi al PC.
    Per scaricare i file dei template e per i dettagli sulla loro installazione, seguire la pagina Eclipse Code Templates.

    Documentazione

    Esercizi
    Ogni settimana verranno introdotti gli esercizi proposti a lezione (venerdì mattina) e la soluzione agli esercizi della settimana precedente.
  • Un po' di teoria: Teoria
  • Traccia 1° esercitazione
    Ponte semplice: Ponte.java, PonteSemplice.java, ProvaPonte.java, Auto.java
    Ponte con capacità: Ponte.java, PonteCap.java, ProvaPonteCap.java, Auto.java
    Ponte con capacità e senza starvation: Ponte.java, PonteCapStar.java, ProvaPonteCapStar.java, Auto.java
    Ponte con capacità e macchine con peso: PonteMioPeso.java, ProvaPontePeso.java, AutoPesante.java
  • Traccia 2° esercitazione
    Deposito bagagli (7/11/1996 SOVOD): DepositoBagagli.java, ProvaBagagli.java, UtenteBagaglio.java
    Raccolta differenziata (Compito del 10 gennaio 2000 SOVOD): Cittadino.java, Camion.java, CentroRifiuti.java, ProvaRifiuti.java
  • Traccia 3° esercitazione
    Centro prelievi (Compito del 17 novembre 2000 SOVOD): medico.java, persona.java, centro_prelievi.java, prova_prelievi.java
    Biblioteca (Compito del 16 giugno 2000 SOVOD): Biblioteca.java, ProvaBiblioteca.java, UtenteBiblioteca.java,
  • Traccia 4° esercitazione
    Il museo d'arte contemporanea (Esame del 10 Settembre 2004): Museo.java, Gruppo.java, ProvaMuseo.java
    Il seggio per l'elezione del sindaco (Esame del 25 Giugno 2007): Elettore.java, Candidato.java, Prefetto.java, MonitorSistemaElettorale.java, ProvaElezioni.java
  • Traccia 5° esercitazione
    Ferrovie (Prova in Itinere del 22 Novembre 2006): MonitorStazione.java, Passeggero.java, ProvaStazioneFerroviarie.java, Treno.java
    Campo da golf (Esame del 17 settembre 2003): CampoGolf.java, ProvaGolf.java, GiocatoreGolf.java
  • Traccia 6° esercitazione
    Frantoio (Esame del 24 Novembre 2005): Frantoio.java, ProvaFrantoio.java, Pressa.java, Contadino.java
    Traghetto (Esame del 31 Marzo 2008): Auto.java, Traghetto.java, ProvaTraghetto.java MonitorIsole.java
  • Soluzione prova intermedia 28 Novembre 2008
    Cliente.java, Pizzaiolo.java, Fattorino.java, Pizzeria.java, Prova.java
  • Soluzione prova 19 Dicembre 2008
    Gruppo.java, Persona.java, Albergo.java, ProvaAlbergo.java
  • Soluzione prova 30 Marzo 2009
    Cliente.java, Sportello.java, Ufficio.java, Prova_posta.java
  • Soluzione prova 19 Giugno 2009
    Autoveicolo.java, Parcheggio.java, ProvaParcheggio.java
  • Soluzione prova 07 Luglio 2009
    Contadino.java, Mugnaio.java, Pastificio.java, prova_pastificio.java
  • Soluzione prova 11 Settembre 2009
    Persona.java, Sagra.java, prova_sagra.java


    Sincronizzazione in Java con applet
  • Ballo della Scopa all'Universita' di Pisa