unlock (release lock) !
! status = iterate() (*)
lock mutex
+ signal TH
if (!status) // EOS
unset SPINNING flag
}
----
- review
-- figure all all state change scenarios occuring in code marked with (*)
+- figure all state change scenarios occuring in code marked with (*)