Basic thread logic based on condition variables in Poly/ML | Heykuki News