Si assumano:

• un pool finito di buffer, ognuno dei quali può essere pieno, cioè contenere un record di informazione, oppure vuoto
• un insieme di processi produttori, che producono singoli record di informazione con cui riempire i buffer
• un insieme di processi consumatori, che consumano singoli record di informazione svuotando i buffer

Soluzione valida del problema:

• l’accesso ai singoli buffer avviene in mutua esclusione
• i produttori non possono riempire i buffer pieni, cioè già riempiti e non ancora svuotati
• i consumatori non possono svuotare i buffer vuoti, cioè mai riempiti oppure riempiti e già svuotati.

Talvolta c’è una condizione aggiuntiva:

• i buffer devono essere svuotati nello stesso ordine in cui sono stati riempiti (politica FIFO)

Si assuma che il buffer sia un array di 10 interi gestito circolarmente.

Si assumano i seguenti vincoli aggiuntivi:

• il valore 3 non deve essere presente più di una volta nell’array
• il valore 5 non deve essere presente più di due volte nell’array

I processi che tentano di effettuare operazioni al momento non consentite devono essere messi in attesa.

Programmare il sistema sfruttando i semafori con la semantica tradizionale.

semaphore empty = 10, full = 0, mutex_p = 1, mutex_c = 1;
semaphore sem_3 = 1, sem_5 = 2;
int i = 0, j = 0;

produttore(){
	int item;
	while(true){
		...
		item = ...;
		if(item == 3) wait(sem_3);
		if(item == 5) wait(sem_5);
		wait(empty);
		wait(mutex_p);
		buffer[i] = item;
		i = i+1%10;
		signal(mutex_p);
		signal(full);
		...
	}
}

consumatore(){
	int item;
	while(true){
		...
		wait(full);
		wait(mutex_c);
		item = buffer[j];
		j = j+1%10;
		signal(mutex_c);
		if(item == 3) signal(sem_3);
		if(item == 5) signal(sem_5);
		signal(empty);
		...
	}
}

Produttori e consumatori v2