/* - Select a worker in a round-robin way */
aid_t worker_pid = actors.at(task_id % actors.size())->get_pid();
std::string mailbox_name = std::string("worker-") + std::to_string(worker_pid);
/* - Select a worker in a round-robin way */
aid_t worker_pid = actors.at(task_id % actors.size())->get_pid();
std::string mailbox_name = std::string("worker-") + std::to_string(worker_pid);