Un piccolo chiosco serve panini con tonno e pomodoro, freddi, e panini con broccoli e salsicce, caldi. I panini vengono preparati
nel retro da un garzone, in teglie da 30 panini l’una, e i panini col tonno non possono stare nella stessa teglia dei panini con le
salsicce.
I panini vengono serviti sul davanti dalla padrona, che sul banco ha spazio per due sole teglie, una per ripieno. Normalmente
la padrona serve i clienti in ordine di arrivo. Quando una delle teglie si esaurisce avverte il garzone, che entro qualche minuto
sostituir` la teglia vuota con una piena di panini dello stesso tipo precedente.
a
Nel frattempo, la padrona va avanti a servire, facendo aspettare temporaneamente quei clienti che chiedono il ripieno mancante.
`
Quando la teglia e stata sostituita, la padrona serve i clienti che precedentemente aveva fatto attendere prima di riprendere il
normale servizio in ordine di arrivo. Se mentre il garzone prepara la nuova teglia la padrona esaurisce anche l’altra, dopo aver
avvertito il garzone, sospende temporaneamente il servizio.
Scrivere in pseudo-codice i processi garzone, padrona e cliente generico, utilizzando i semafori per la sincronizzazione e tenendo
presente che:
- si puo` trascurare l’avvio delle attivita` e considerare le due teglie gia` piene all’avvio;
- e proibito il ricorso all’attesa attiva (busy waiting);
- il generico cliente sceglie a caso quale ripieno chiedere;
- il processo garzone ha una priorit` alta, per cui quando viene attivato solo una teglia pu` essere vuota, ma la preparazione della
nuova teglia richiede un tempo finito (inferiore rispetto al tempo necessario affich` si presentino 30 clienti), parte del quale lo trascorre in stato di blocked;
- quando il garzone sostituisce una teglia sul banco lo fa senza disturbare la padrona (i.e. ordinando correttamente le operazioni non e necessario ricorrere a mutua esclusione).