Searched defs:worker_names (Results 1 – 3 of 3) sorted by relevance
36 std::vector<char> worker_names(number_of_procs * max_worker_name_length); in MPIUtils() local
620 std::vector<string> worker_names; in CleanupWorkers() local
1235 const std::vector<string> worker_names = filtered_worker_list_; in CreateWorkerSessions() local1316 const std::vector<string>& worker_names = filtered_worker_list_; in DeleteWorkerSessions() local