until ($worker1Finished && $worker2Finished) { ... }