a) What data have a race condition (specify variable)?

b) How could the race condition be fixed? (you may just modify the code using acquire () and release() statements

final int SIZE = 10;

int top = 0;

Object[] stack = new Object[SIZE];

push(item) {

if (top < SIZE) {

stack[top] = item; top++;

}

else ERROR

}

pop() {

if (!is_empty()) {

top--; return stack[top];

}

else ERROR

}

is_empty() {

if (top == 0) return true;

else return false;

}