Garantire che i metodi critici non siano interrotti

Il problema in Java ha una soluzione semplice:

class Stack {
   synchronized void push(int x) { ... }
   synchronized  int pop() { ... }
}

Garantisce che all'oggetto acceda un thread solo per volta

Cosa fa in realtà synchronized è una cosa più complessa...