Prova teorica 2013.05.30

Link al testo

Esercizio 2

Soluzione di FedericoB

Creo i v2p con i semafori normali

class v2p
 semaphore s;
 
 v2p(val)
   new s(val);

 p()
  mutex.p()
  s.p()
  s.p()
  mutex.v()

 v()
  s.v

Creiamo i semafori normali con i v2p

class semaphore
	v2p s;
	v2p mutex=1;
	
	int val;
	
	semaphore(initval):
		val = initval
	
	p()
		mutex.p()
		val--
		if (val<0)
			mutex.v()
			mutex.v()
			s.p()
		mutex.v()
		mutex.v()
	
	v():
		mutex.p()
		val++
		if (val<=0)
			s.v()
			s.v()