test.java

// Await Scenario
Thread t = Thread.currentThread();
reschedule();
// Lock 3
if (L[o].owner != t && L[o].count > 0) { 
  E.remove(t);
  W[o].add(t);
  reschedule();
}
// Lock 1 & 2
L[o].owner = t;
L[o].count += 1;
synchronized (o) {
  //...
  reschedule();
  // Await 1
  L[o].owner = null;
  L[o].count = 0;
  C[o].H[o] = L[o].count;
  C[o].S.add(t);
  E.remove(t);
  asyncReschedule();
  do {
    o.wait();
  } while (!isRunning(t));
  // Await 2
  L[o].owner = t;
  L[o].count = C[o].H[o];
  C[o].H[o] = 0;
  //...
}
// Unlock 2
L[o].count -= 1;
// Unlock 1
if (L[o].count == 0) {
  Thread selected = W[o].removeOne();
  E.add(selected);
}


// Signal Scenario
//...
synchronized(o) {
  //...
  // signal
  Thread selected = C[o].S.removeOne();
  W[o].add(selected);
  o.notify();
  o.notifyAll();
  //...
}