+ simgrid::simix::simcall([this] {
+ simgrid::s4u::Actor::on_destruction(actor_->iface());
+
+ /* Unregister from the kill timer if any */
+ if (actor_->kill_timer != nullptr) {
+ SIMIX_timer_remove(actor_->kill_timer);
+ actor_->kill_timer = nullptr;
+ }
+
+ SIMIX_process_cleanup(actor_);
+ });