Salve ragazzi,
il mio prof mi ha lasciato per casa un esercizio di programmazione concorrente. Di seguito il testo:
Una stazione di servizio ha una sola pompa di benzina che
può servire sia auto a benzina (B) che a diesel (D). Le
auto possono arrivare sia alla destra che alla sinistra
della pompa. Può essere servita soltanto una macchina per
volta. In caso di richiesta concorrente da parte di più
mezzi, hanno priorità le auto a benzina (B) e quelle che
provengono da destra.
Scrivere una soluzione che garantisca la corretta
sincronizzazione usando i semafori. Discutere inoltre se la
soluzione proposta può presentare rinvio indefinito e/o
deadlock.
Non vi dico di risolverlo perchè quel lavoro spetta a me. Vi chiedo solamente qualche dritta sull'impostazione del problema, e magari qualche trucchetto per risolvere esercizi di questa tipologia.