• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1Initial state.
2isLocked() = true
3isSuspended(target_thread) = false
4Suspend and sleep.
5isLocked() = true
6isSuspended(target_thread) = true
7Let other thread release the raw monitor.
8isLocked() = false
9isSuspended(target_thread) = true
10other thread doesn't hold lock!
11resumed test thread
12