Un parcheggio che dispone di 50 posti è accessibile da tre tipi di veicoli:

• veicoli V_1, occupano un posto;
• veicoli V_2, occupano due posti;
• veicoli V_3, occupano tre posti. Programmare l’ingresso nel parcheggio e l’uscita dal parcheggio per ogni tipo di processo veicolo, nel rispetto di quanto segue:
• Se un veicolo non può entrare, va messo in attesa.
• Non può capitare che un veicolo V_k sia in attesa e ci siano k posti liberi.
• Se ci sono veicoli in attesa e un veicolo di tipo V_k esce dal parcheggio, la priorità viene data ai veicoli del medesimo tipo V_k.

Non è necessario programmare il comportamento del veicolo all’interno del parcheggio.

//semafori
sem mutex = 1;
sem semV_1 = 0, semV_2 = 0, semV_3 = 0;

//variabili condivise
int waitV_1 = 0, waitV_2 = 0, waitV_3 = 0;
int free = 50;

V_1 {
	wait(mutex);
	if (free == 0) {
		waitV_1 ++;
		signal(mutex);
		wait(semV_1);
	}
	else {
		free --;
		signal(mutex);
	}

	{park}

	wait(mutex);
	free ++;
	if (waitV_1 > 0) {
		while (free > 0 && waitV_1 > 0) {
			waitV_1 --;
			free --;
			signal(semV_1);
		}
	}
	else  if (free > 1 && waitV_2 > 0) {
		while (free > 1 && waitV_2 > 0) {
			waitV_2--;
			free = free - 2;
			signal(semV_2);
		}
	}
	else if (free > 2 && waitV_3 > 0) {
		while (free > 2 && waitV_3 > 0) {
			waitV_3--;
			free = free - 3;
			signal(semV_3);
		}
	}
	signal(mutex);
}

V_2 {
	wait(mutex);
	if (free < 2) {
		waitV_2 ++;
		signal(mutex);
		wait(semV_2);
	}
	else {
		free = free - 2;
		signal(mutex);
	}

	{park}

	wait(mutex);
	free = free + 2;
	if (waitV_2 > 0) {
		while (free > 1 && waitV_2 > 0) {
			waitV_2 --;
			free  = free - 2;
			signal(semV_2);

		}
	}
	else  if (free > 2 && waitV_3 > 0) {
		while (free > 2 && waitV_3 > 0) {
			waitV_3--;
			free = free - 3;
			signal(semV_3);
		}
	}
	else if (free > 0 && waitV_1 > 0) {
		while (free > 0 && waitV_1 > 0) {
			waitV_1--;
			free --;
			signal(semV_1);
		}
	}
	signal(mutex);
}

V_3 {
	wait(mutex);
	if (free < 3) {
		waitV_3 ++;
		signal(mutex);
		wait(semV_3);
	}
	else {
		free = free - 3;
		signal(mutex);
	}

	{park}

	wait(mutex);
	free = free + 3;
	if (waitV_3 > 0) {
		while (free > 2 && waitV_3 > 0) {
			waitV_3 --;
			free  = free - 3;
			signal(semV_3);

		}
	}
	else  if (free > 1 && waitV_2 > 0) {
		while (free > 1 && waitV_2 > 0) {
			waitV_2--;
			free = free - 2;
			signal(semV_2);
		}
	}
	else if (free > 0 && waitV_1 > 0) {
		while (free > 0 && waitV_1 > 0) {
			waitV_1--;
			free --;
			signal(semV_1);
		}
	}
	signal(mutex);
}