Searched refs:worker_pipes (Results 1 – 1 of 1) sorted by relevance
315 vector<Pipe> worker_pipes; in main() local362 worker_pipes.push_back(make_worker(i, iterations, services, get_stub)); in main()365 wait_all(worker_pipes); in main()371 signal_all(worker_pipes); in main()372 wait_all(worker_pipes); in main()383 signal_all(worker_pipes); in main()387 worker_pipes[i].recv(tmp_results); in main()406 signal_all(worker_pipes); in main()