more inter-thread progress fixes; slight change of semantics: