Здесь добавляются обычные семафоры. По факту работает это так: есть интовая переменная, равная числу k на старте. Каждый запущенный поток пытается уменьшить её на 1. Если в этой переменной (которая и есть семафор) оказывается 0, то поток сидит и ждёт, пока там не появится что-то большее нуля. Как только появляется, он опять уменьшает на 1 и выполняется сам, а остальные ждут.