void Host::execute(double flops, double priority)
{
this_actor::exec_init(flops)->set_host(this)->set_priority(1 / priority)->start()->wait();
void Host::execute(double flops, double priority)
{
this_actor::exec_init(flops)->set_host(this)->set_priority(1 / priority)->start()->wait();