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