Programmazione concorrente riserva brutte sorprese.

Consideriamo uno stack:

class Stack {
   int top; int stack = new int[10];
   void push(int x) { stack[top]=x; top++; }
   int pop() { return stack[--top];
}

Sequenza sfortunata di due push concorrenti sullo stesso stack: