X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/51cbadf8d39f165efeaf024fddcdb7568c9acfe5..0564c942642d204173fe46bbc110489adfe3579d:/teshsuite/s4u/activity-lifecycle/activity-lifecycle.cpp?ds=sidebyside diff --git a/teshsuite/s4u/activity-lifecycle/activity-lifecycle.cpp b/teshsuite/s4u/activity-lifecycle/activity-lifecycle.cpp index 4130ad9534..26da7744bb 100644 --- a/teshsuite/s4u/activity-lifecycle/activity-lifecycle.cpp +++ b/teshsuite/s4u/activity-lifecycle/activity-lifecycle.cpp @@ -59,7 +59,7 @@ static void test_sleep() simgrid::s4u::this_actor::sleep_for(5); global = true; }); - simgrid::s4u::this_actor::sleep_for(10); + simgrid::s4u::this_actor::sleep_for(9); xbt_assert(global, "The forked actor did not modify the global after sleeping. Was it killed before?"); } @@ -122,21 +122,28 @@ static void test_sleep_restart_middle() sleeper5->get_host()->turn_on(); XBT_INFO("Test %s is ending", __func__); } + static void test_sleep_restart_end() { XBT_INFO("%s: Launch a sleep(5), and restart its host right when it stops", __func__); bool sleeper_done = false; simgrid::s4u::Actor::create("sleep5_restarted", all_hosts[1], [&sleeper_done]() { - assert_exit(true, 5); + assert_exit(false, 5); simgrid::s4u::this_actor::sleep_for(5); - all_hosts[1]->turn_off(); // kill the host right at the end of this sleep and of this actor sleeper_done = true; }); - simgrid::s4u::this_actor::sleep_for(10); - all_hosts[1]->turn_on(); - xbt_assert(sleeper_done, "Not sure of how the actor survived the shutdown of its host."); + simgrid::s4u::Actor::create("killer", all_hosts[0], []() { + simgrid::s4u::this_actor::sleep_for(5); + XBT_INFO("Killer!"); + all_hosts[1]->turn_off(); + all_hosts[1]->turn_on(); + }); + simgrid::s4u::this_actor::sleep_for(9); + xbt_assert(sleeper_done, + "Restarted actor was already dead in the scheduling round during which the host_off simcall was issued"); } + static void test_exec() { XBT_INFO("%s: Launch a execute(5s), and let it proceed", __func__); @@ -147,7 +154,7 @@ static void test_exec() simgrid::s4u::this_actor::execute(500000000); global = true; }); - simgrid::s4u::this_actor::sleep_for(10); + simgrid::s4u::this_actor::sleep_for(9); xbt_assert(global, "The forked actor did not modify the global after executing. Was it killed before?"); } @@ -210,6 +217,7 @@ static void test_exec_restart_middle() exec5->get_host()->turn_on(); XBT_INFO("Test %s is ending", __func__); } + static void test_exec_restart_end() { XBT_INFO("%s: Launch a execute(5s), and restart its host right when it stops", __func__); @@ -226,7 +234,7 @@ static void test_exec_restart_end() all_hosts[1]->turn_off(); all_hosts[1]->turn_on(); }); - simgrid::s4u::this_actor::sleep_for(10); + simgrid::s4u::this_actor::sleep_for(9); xbt_assert(execution_done, "Restarted actor was already dead in the scheduling round during which the host_off simcall was issued"); } @@ -250,7 +258,7 @@ static void test_comm() recv_done = true; }); - simgrid::s4u::this_actor::sleep_for(10); + simgrid::s4u::this_actor::sleep_for(9); xbt_assert(send_done, "Sender killed somehow. It shouldn't"); xbt_assert(recv_done, "Receiver killed somehow. It shouldn't"); } @@ -266,7 +274,6 @@ static void test_comm_dsend_and_quit_put_before_get() char* payload = xbt_strdup("toto"); simgrid::s4u::Mailbox::by_name("mb")->put_init(payload, 1000)->detach(); dsend_done = true; - return; }); simgrid::s4u::Actor::create("receiver", all_hosts[2], [&recv_done]() { @@ -275,7 +282,6 @@ static void test_comm_dsend_and_quit_put_before_get() void* payload = simgrid::s4u::Mailbox::by_name("mb")->get(); xbt_free(payload); recv_done = true; - return; }); // Sleep long enough to let the test ends by itself. 3 + surf_precision should be enough. @@ -291,20 +297,18 @@ static void test_comm_dsend_and_quit_get_before_put() bool recv_done = false; simgrid::s4u::ActorPtr sender = simgrid::s4u::Actor::create("sender", all_hosts[1], [&dsend_done]() { - //assert_exit(false, 2); + assert_exit(false, 2); char* payload = xbt_strdup("toto"); simgrid::s4u::this_actor::sleep_for(2); simgrid::s4u::Mailbox::by_name("mb")->put_init(payload, 1000)->detach(); dsend_done = true; - return; }); simgrid::s4u::Actor::create("receiver", all_hosts[2], [&recv_done]() { - //assert_exit(false, 3); + assert_exit(false, 3); void* payload = simgrid::s4u::Mailbox::by_name("mb")->get(); xbt_free(payload); recv_done = true; - return; }); // Sleep long enough to let the test ends by itself. 3 + surf_precision should be enough. @@ -358,6 +362,7 @@ static void test_host_off_while_receive() bool returned_from_main = false; bool in_catch_before_on_exit = false; bool in_catch_after_on_exit = false; + bool send_done = false; simgrid::s4u::ActorPtr receiver = simgrid::s4u::Actor::create( "receiver", all_hosts[1], @@ -365,10 +370,8 @@ static void test_host_off_while_receive() assert_exit(true, 1); try { simgrid::s4u::Mailbox::by_name("mb")->get(); - } catch (simgrid::HostFailureException const&) { - in_catch_before_on_exit = not in_on_exit; - in_catch_after_on_exit = in_on_exit; } catch (simgrid::NetworkFailureException const&) { + // Shouldn't get in here in_catch_before_on_exit = not in_on_exit; in_catch_after_on_exit = in_on_exit; } @@ -377,12 +380,18 @@ static void test_host_off_while_receive() receiver->on_exit([&in_on_exit](bool) { in_on_exit = true; }); - simgrid::s4u::ActorPtr sender = simgrid::s4u::Actor::create( - "sender", all_hosts[2], - []() { - int data; + simgrid::s4u::ActorPtr sender = simgrid::s4u::Actor::create("sender", all_hosts[2], [&send_done]() { + assert_exit(false, 1); + bool got_exception = false; + try { + int data = 42; simgrid::s4u::Mailbox::by_name("mb")->put(&data, 100000); - }); + } catch (simgrid::NetworkFailureException const&) { + got_exception = true; + } + xbt_assert(got_exception); + send_done = true; + }); simgrid::s4u::this_actor::sleep_for(1); receiver->get_host()->turn_off(); @@ -398,21 +407,147 @@ static void test_host_off_while_receive() "Receiver mistakenly went to catch clause (after the on_exit function was called)"); xbt_assert(not returned_from_main, "Receiver returned from main normally even though its host was killed"); + xbt_assert(send_done, "Sender killed somehow. It shouldn't"); + receiver->get_host()->turn_on(); +} + +static void test_link_off_helper(double delay) +{ + const double start = simgrid::s4u::Engine::get_clock(); + + simgrid::s4u::ActorPtr receiver = simgrid::s4u::Actor::create("receiver", all_hosts[1], [&start]() { + assert_exit(false, 9); + double milestone[5] = {0.5, 3.5, 4.5, 7.5, 9.0}; + for (int i = 0; i < 5; i++) + milestone[i] += start; + for (int i = 0; i < 4; i++) { + simgrid::s4u::this_actor::sleep_until(milestone[i]); + try { + XBT_VERB("get(%c)", 'A' + i); + simgrid::s4u::Mailbox::by_name("mb")->get(); + return; + } catch (simgrid::NetworkFailureException const&) { + XBT_VERB("got expected NetworkFailureException"); + } + } + simgrid::s4u::this_actor::sleep_until(milestone[4]); + }); + + simgrid::s4u::ActorPtr sender = simgrid::s4u::Actor::create("sender", all_hosts[2], [&start]() { + assert_exit(false, 9); + int data = 42; + double milestone[5] = {1.5, 2.5, 5.5, 6.5, 9.0}; + for (int i = 0; i < 5; i++) + milestone[i] += start; + for (int i = 0; i < 2; i++) { + simgrid::s4u::this_actor::sleep_until(milestone[i]); + XBT_VERB("dsend(%c)", 'A' + i); + simgrid::s4u::Mailbox::by_name("mb")->put_init(&data, 100000)->detach(); + } + for (int i = 2; i < 4; i++) { + simgrid::s4u::this_actor::sleep_until(milestone[i]); + try { + XBT_VERB("put(%c)", 'A' + i); + simgrid::s4u::Mailbox::by_name("mb")->put(&data, 100000); + return; + } catch (simgrid::NetworkFailureException const&) { + XBT_VERB("got expected NetworkFailureException"); + } + } + simgrid::s4u::this_actor::sleep_until(milestone[4]); + }); + + for (int i = 0; i < 4; i++) { + XBT_VERB("##### %d / 4 #####", i + 1); + simgrid::s4u::this_actor::sleep_for(delay); + XBT_VERB("link off"); + simgrid::s4u::Link::by_name("link1")->turn_off(); + simgrid::s4u::this_actor::sleep_for(2.0 - delay); + XBT_VERB("link on"); + simgrid::s4u::Link::by_name("link1")->turn_on(); + } + simgrid::s4u::this_actor::sleep_for(1.5); +} + +static void test_link_off_before_send_recv() +{ + XBT_INFO("%s: try to communicate with communicating link turned off before start", __func__); + test_link_off_helper(0.0); +} +static void test_link_off_between_send_recv() +{ + XBT_INFO("%s: try to communicate with communicating link turned off between send and receive", __func__); + test_link_off_helper(1.0); +} +static void test_link_off_during_transfer() +{ + XBT_INFO("%s: try to communicate with communicating link turned off during transfer", __func__); + test_link_off_helper(2.0); +} + +static void test_link_off_during_wait_any() +{ + simgrid::s4u::ActorPtr receiver = simgrid::s4u::Actor::create("receiver", all_hosts[1], []() { + assert_exit(false, 2); + bool receiver_got_network_failure_execution = false; + bool receiver_got_base_execution = false; + int *data; + std::vector pending_comms; + simgrid::s4u::CommPtr comm = simgrid::s4u::Mailbox::by_name("mb")->get_async((void**)&data); + pending_comms.push_back(comm); + try { + simgrid::s4u::Comm::wait_any(&pending_comms); + } catch (simgrid::NetworkFailureException const&) { + XBT_VERB("got expected NetworkFailureException"); + receiver_got_network_failure_execution = true; + } catch (simgrid::Exception const&) { + XBT_VERB("got unexpected base Exception"); + receiver_got_base_execution = true; + } + xbt_assert(receiver_got_network_failure_execution, "The receiver should have gotten a NetworkFailureException"); + xbt_assert(not receiver_got_base_execution, "The receiver should not have gotten a base Exception"); + }); + + simgrid::s4u::ActorPtr sender = simgrid::s4u::Actor::create("sender", all_hosts[2], []() { + assert_exit(false, 2); + int data = 42; + bool sender_got_network_failure_execution = false; + bool sender_got_base_execution = false; + try { + simgrid::s4u::Mailbox::by_name("mb")->put(&data, 100000); + } catch (simgrid::NetworkFailureException const&) { + XBT_VERB("got expected NetworkFailureException"); + sender_got_network_failure_execution = true; + } catch (simgrid::Exception const&) { + XBT_VERB("got unexpected base Exception"); + sender_got_base_execution = true; + } + xbt_assert(sender_got_network_failure_execution, "The sender should have gotten a NetworkFailureException"); + xbt_assert(not sender_got_base_execution, "The sender should not have gotten a base Exception"); + }); + + simgrid::s4u::this_actor::sleep_for(2.0); + XBT_VERB("link off"); + simgrid::s4u::Link::by_name("link1")->turn_off(); + simgrid::s4u::this_actor::sleep_for(2.0); + XBT_VERB("link on"); + simgrid::s4u::Link::by_name("link1")->turn_on(); } + /* We need an extra actor here, so that it can sleep until the end of each test */ static void main_dispatcher() { - run_test("sleep", static_cast>(test_sleep)); + run_test("sleep", test_sleep); run_test("sleep killed at start", test_sleep_kill_begin); run_test("sleep killed in middle", test_sleep_kill_middle); /* We cannot kill right at the end of the action because killer actors are always rescheduled to the end of the round * to avoid that they exit before their victim dereferences their name */ run_test("sleep restarted at start", test_sleep_restart_begin); run_test("sleep restarted in middle", test_sleep_restart_middle); - // run_test("sleep restarted at end", test_sleep_restart_end); + run_test("sleep restarted at end", test_sleep_restart_end); - run_test("exec", static_cast>(test_exec)); + run_test("exec", test_exec); run_test("exec killed at start", test_exec_kill_begin); run_test("exec killed in middle", test_exec_kill_middle); run_test("exec restarted at start", test_exec_restart_begin); @@ -421,10 +556,14 @@ static void main_dispatcher() run_test("comm", test_comm); run_test("comm dsend and quit (put before get)", test_comm_dsend_and_quit_put_before_get); - // run_test("comm dsend and quit (get before put)", test_comm_dsend_and_quit_get_before_put); FAILING + run_test("comm dsend and quit (get before put)", test_comm_dsend_and_quit_get_before_put); run_test("comm kill sender", test_comm_killsend); - //run_test("comm recv and kill", test_host_off_while_receive); + run_test("comm recv and kill", test_host_off_while_receive); + run_test("comm turn link off before send/recv", test_link_off_before_send_recv); + run_test("comm turn link off between send/recv", test_link_off_between_send_recv); + run_test("comm turn link off during transfer", test_link_off_during_transfer); + run_test("comm turn link off during wait_any", test_link_off_during_wait_any); } int main(int argc, char* argv[])