CONCORRENZA
Produttore e Consumatore 1/2

Due processi che accedono ad una struttura dati: uno per inserire, e uno per cancellare.

funzione produttore                      funzione consumatore
  ciclo infinito                           ciclo infinito
    elemento = produci_elemento ()           se magazzino è vuoto
    se magazzino è pieno                       dormi ()
      dormi ()                               fine
    fine                                     elemento = estrai_elemento ()
    inserisci_elemento (elemento)
                                             magazzino = magazzino - 1
    magazzino = magazzino + 1                se magazzino = pieno - 1
    se magazzino è a 1                         sveglia (produttore)
      sveglia(consumatore)                   fine
    fine                                   fine
  fine                                   fine
fine

Se viene stoppato dopo il controllo di "magazzino è pieno", e in quel momento viene inserito un elemento? Cosa critica.