Concurrency en race condities

public class buffer {
int store[];
int filled;
int empty;
int readFrom;
int writeTo;
buffer (int size){
empty = size;
filled = 0;
store = new int[size];
readFrom = 0;
writeTo = 0;
}
En nu in Java
public synchronized void write(int value)
{
while (empty == 0){
try { wait(); }
catch(InterruptedException e) {
System.err.println(e.toString());
}
}
store[writeTo] = value;
writeTo++;
if (writeTo == (empty + filled))
writeTo = 0;
filled++;
empty--;
notifyAll();
}
College OS 2010 – 2011 40