Semafori (part 2)

I semafori di Dijkstra: cosa sono, come funzionano, come permettono di realizzare la "mutua esclusione" tra processi.