Semafori in Java

Utilizzando i costrutti primitivi di Java si possono realizzare

meccanismi più sofisticati (semafori e anche monitor).

public class Semaphore {

private int value;

public Semaphore (int initial){

value = initial;
}
synchronized public void signal()
++value;
notify();
}
synchronized public void wait()
throws InterruptedException {
while (value== 0) wait();
--value;
}
}

I metodi wait e signal sono a volte chiamati down e up.

La programmazione concorrente in Java - 1

 Produttore/Consumatore con Semafori Java
class SemaBuffer implements Buffer {

protected Object[] buf;

protected int in = 0;
protected int out = 0;
protected int count = 0;
protected int size = 0;

Semaphore full; //counts number of items

Semaphore empty; //counts number of spaces
SemaBuffer(int size) {
this.size=size; buf=new Object[size];
full = new Semaphore(0);
empty= new Semaphore(size);
}}

synchronized public void put(Object o)

throws InterruptedException {
empty.wait();
buf[in] = o; ++count; in=(in+1)%size;
full.signal();
}

synchronized public Object get()

throws InterruptedException{
full.wait();
Object o =buf[out]; buf[out]=null;
--count; out=(out+1)%size;
empty.signal();
return (o);
}

Funziona tutto bene???

La programmazione concorrente in Java - 2

 Produttore/Consumatore con Semafori Java

L’esempio sopra non garantisce liveness, perché ci può

essere deadlock:

• se il buffer è vuoto
• consumatore fa una get
• consumatore si blocca e rilascia il lock sul semaforo
• produttore invoca put ma viene sospeso sul lock del
buffer, che non è stato rilasciato dal consumatore.

In questo caso il deadlock è causato da chiamate innestate

(nested monitor).

La programmazione concorrente in Java - 3

 Esempio corretto di Produttore/Consumatore
con semafori Java

public void put(Object o)

throws InterruptedException {
empty.wait();
synchronized(this){
buf[in] = o; ++count; in=(in+1)%size;
}
full.signal();
}

Il deadlock può essere evitato solo attraverso un progetto

attento, sincronizzando la regione critica di accesso al buffer
solo dopo il passaggio del semaforo

Quindi la realizzazione di costrutti di sincronizzazione di

alto livello in Java richiede particolare attenzione.

Si possono anche realizzare variabili condizioni e monitor

come nella definizione di Hoare.

La programmazione concorrente in Java - 4