


\begin{slide}{Deadlock?}

Dieser Ansatz hat Deadlock (ausprobieren):
\begin{verbatim}
class Philo {
  void run () {
    while (true) {
      System.out.println (id() + " hat Hunger");
      right.take (this);
      left.take (this);
      System.out.println (id() + " ist satt");
      right.drop (this);
      left.drop (this);
} } }
\end{verbatim}
Wie kann man das verhindern?

\end{slide}
