X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e33beb98eb2dd42717306a77a328c9d5e9a91f05..6d004c352f7b26fba38486001f874e65466b5bee:/src/smpi/internals/smpi_actor.cpp diff --git a/src/smpi/internals/smpi_actor.cpp b/src/smpi/internals/smpi_actor.cpp index 1e43e29712..bb5d5af73d 100644 --- a/src/smpi/internals/smpi_actor.cpp +++ b/src/smpi/internals/smpi_actor.cpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2009-2018. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2009-2019. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -19,17 +19,14 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_process, smpi, "Logging specific to SMPI (k namespace simgrid { namespace smpi { -using simgrid::s4u::Actor; -using simgrid::s4u::ActorPtr; - -ActorExt::ActorExt(ActorPtr actor, simgrid::s4u::Barrier* finalization_barrier) - : finalization_barrier_(finalization_barrier), actor_(actor) +ActorExt::ActorExt(s4u::ActorPtr actor) : actor_(actor) { - mailbox_ = simgrid::s4u::Mailbox::by_name("SMPI-" + std::to_string(actor_->get_pid())); - mailbox_small_ = simgrid::s4u::Mailbox::by_name("small-" + std::to_string(actor_->get_pid())); - mailboxes_mutex_ = xbt_mutex_init(); + mailbox_ = s4u::Mailbox::by_name("SMPI-" + std::to_string(actor_->get_pid())); + mailbox_small_ = s4u::Mailbox::by_name("small-" + std::to_string(actor_->get_pid())); + mailboxes_mutex_ = s4u::Mutex::create(); timer_ = xbt_os_timer_new(); state_ = SmpiProcessState::UNINITIALIZED; + info_env_ = MPI_INFO_NULL; if (MC_is_active()) MC_ignore_heap(timer_, xbt_os_timer_size()); @@ -53,25 +50,13 @@ ActorExt::ActorExt(ActorPtr actor, simgrid::s4u::Barrier* finalization_barrier) ActorExt::~ActorExt() { + TRACE_smpi_finalize(actor_->get_pid()); + if (comm_self_ != MPI_COMM_NULL) simgrid::smpi::Comm::destroy(comm_self_); if (comm_intra_ != MPI_COMM_NULL) simgrid::smpi::Comm::destroy(comm_intra_); xbt_os_timer_free(timer_); - xbt_mutex_destroy(mailboxes_mutex_); -} - -void ActorExt::set_data(const char* instance_id) -{ - instance_id_ = std::string(instance_id); - comm_world_ = smpi_deployment_comm_world(instance_id_); - simgrid::s4u::Barrier* barrier = smpi_deployment_finalization_barrier(instance_id_); - if (barrier != nullptr) // don't overwrite the current one if the instance has none - finalization_barrier_ = barrier; - - // set the process attached to the mailbox - mailbox_small_->set_receiver(actor_); - XBT_DEBUG("<%ld> SMPI process has been initialized: %p", actor_->get_pid(), actor_.get()); } /** @brief Prepares the current process for termination. */ @@ -80,11 +65,7 @@ void ActorExt::finalize() state_ = SmpiProcessState::FINALIZED; XBT_DEBUG("<%ld> Process left the game", actor_->get_pid()); - // This leads to an explosion of the search graph which cannot be reduced: - if (MC_is_active() || MC_record_replay_is_active()) - return; - // wait for all pending asynchronous comms to finish - finalization_barrier_->wait(); + smpi_deployment_unregister_process(instance_id_); } /** @brief Check if a process is finalized */ @@ -125,7 +106,7 @@ bool ActorExt::replaying() return replaying_; } -ActorPtr ActorExt::get_actor() +s4u::ActorPtr ActorExt::get_actor() { return actor_; } @@ -155,17 +136,7 @@ MPI_Comm ActorExt::comm_world() return comm_world_ == nullptr ? MPI_COMM_NULL : *comm_world_; } -smx_mailbox_t ActorExt::mailbox() -{ - return mailbox_->get_impl(); -} - -smx_mailbox_t ActorExt::mailbox_small() -{ - return mailbox_small_->get_impl(); -} - -xbt_mutex_t ActorExt::mailboxes_mutex() +s4u::MutexPtr ActorExt::mailboxes_mutex() { return mailboxes_mutex_; } @@ -207,6 +178,11 @@ MPI_Comm ActorExt::comm_self() return comm_self_; } +MPI_Info ActorExt::info_env() +{ + return info_env_; +} + MPI_Comm ActorExt::comm_intra() { return comm_intra_; @@ -229,43 +205,45 @@ int ActorExt::sampling() void ActorExt::init() { - if (smpi_process_count() == 0) { - xbt_die("SimGrid was not initialized properly before entering MPI_Init. Aborting, please check compilation process " - "and use smpirun\n"); - } + xbt_assert(smpi_get_universe_size() != 0, "SimGrid was not initialized properly before entering MPI_Init. " + "Aborting, please check compilation process and use smpirun."); - simgrid::s4u::ActorPtr proc = simgrid::s4u::Actor::self(); - proc->get_impl()->context_->set_cleanup(&SIMIX_process_cleanup); + simgrid::s4u::ActorPtr self = simgrid::s4u::Actor::self(); // cheinrich: I'm not sure what the impact of the SMPI_switch_data_segment on this call is. I moved // this up here so that I can set the privatized region before the switch. - ActorExt* process = smpi_process_remote(proc); + ActorExt* ext = smpi_process(); // if we are in MPI_Init and argc handling has already been done. - if (process->initialized()) + if (ext->initialized()) return; if (smpi_privatize_global_variables == SmpiPrivStrategies::MMAP) { /* Now using the segment index of this process */ - process->set_privatized_region(smpi_init_global_memory_segment_process()); + ext->set_privatized_region(smpi_init_global_memory_segment_process()); /* Done at the process's creation */ - SMPI_switch_data_segment(proc); + SMPI_switch_data_segment(self); } - const char* instance_id = simgrid::s4u::Actor::self()->get_property("instance_id"); - const int rank = xbt_str_parse_int(simgrid::s4u::Actor::self()->get_property("rank"), "Cannot parse rank"); + ext->instance_id_ = self->get_property("instance_id"); + const int rank = xbt_str_parse_int(self->get_property("rank"), "Cannot parse rank"); + + ext->state_ = SmpiProcessState::INITIALIZING; + smpi_deployment_register_process(ext->instance_id_, rank, self); - process->state_ = SmpiProcessState::INITIALIZING; - smpi_deployment_register_process(instance_id, rank, proc); + ext->comm_world_ = smpi_deployment_comm_world(ext->instance_id_); - process->set_data(instance_id); + // set the process attached to the mailbox + ext->mailbox_small_->set_receiver(ext->actor_); + XBT_DEBUG("<%ld> SMPI process has been initialized: %p", ext->actor_->get_pid(), ext->actor_.get()); } int ActorExt::get_optind() { - return optind; + return optind_; } + void ActorExt::set_optind(int new_optind) { - optind = new_optind; + optind_ = new_optind; } } // namespace smpi