+ (actor->simcall_.observer_ != nullptr ? actor->simcall_.observer_->to_string().c_str()
+ : actor->simcall_.get_cname()));
+ }
+ }
+}
+
+void EngineImpl::presolve() const
+{
+ XBT_DEBUG("Consume all trace events occurring before the starting time.");
+ double next_event_date;
+ while ((next_event_date = profile::future_evt_set.next_date()) != -1.0) {
+ if (next_event_date > now_)
+ break;
+
+ double value = -1.0;
+ resource::Resource* resource = nullptr;
+ while (auto* event = profile::future_evt_set.pop_leq(next_event_date, &value, &resource)) {
+ if (value >= 0)
+ resource->apply_event(event, value);
+ }
+ }
+
+ XBT_DEBUG("Set every models in the right state by updating them to 0.");
+ for (auto const& model : models_)
+ model->update_actions_state(now_, 0.0);
+}
+
+double EngineImpl::solve(double max_date) const
+{
+ double time_delta = -1.0; /* duration */
+ double value = -1.0;
+ resource::Resource* resource = nullptr;
+
+ if (max_date != -1.0) {
+ xbt_assert(max_date >= now_, "You asked to simulate up to %f, but that's in the past already", max_date);
+
+ time_delta = max_date - now_;
+ }
+
+ XBT_DEBUG("Looking for next event in all models");
+ for (auto model : models_) {
+ if (not model->next_occurring_event_is_idempotent()) {
+ continue;
+ }
+ double next_event = model->next_occurring_event(now_);
+ if ((time_delta < 0.0 || next_event < time_delta) && next_event >= 0.0) {
+ time_delta = next_event;
+ }
+ }
+
+ XBT_DEBUG("Min for resources (remember that NS3 don't update that value): %f", time_delta);
+
+ XBT_DEBUG("Looking for next trace event");
+
+ while (true) { // Handle next occurring events until none remains
+ double next_event_date = profile::future_evt_set.next_date();
+ XBT_DEBUG("Next TRACE event: %f", next_event_date);
+
+ for (auto model : models_) {
+ /* Skip all idempotent models, they were already treated above
+ * NS3 is the one to handled here */
+ if (model->next_occurring_event_is_idempotent())
+ continue;
+
+ if (next_event_date != -1.0) {
+ time_delta = std::min(next_event_date - now_, time_delta);
+ } else {
+ time_delta = std::max(next_event_date - now_, time_delta); // Get the positive component
+ }
+
+ XBT_DEBUG("Run the NS3 network at most %fs", time_delta);
+ // run until min or next flow
+ double model_next_action_end = model->next_occurring_event(time_delta);
+
+ XBT_DEBUG("Min for network : %f", model_next_action_end);
+ if (model_next_action_end >= 0.0)
+ time_delta = model_next_action_end;
+ }
+
+ if (next_event_date < 0.0 || (next_event_date > now_ + time_delta)) {
+ // next event may have already occurred or will after the next resource change, then bail out
+ XBT_DEBUG("no next usable TRACE event. Stop searching for it");
+ break;
+ }
+
+ XBT_DEBUG("Updating models (min = %g, NOW = %g, next_event_date = %g)", time_delta, now_, next_event_date);
+
+ while (auto* event = profile::future_evt_set.pop_leq(next_event_date, &value, &resource)) {
+ if(value<0)
+ continue;
+ if (resource->is_used() || (watched_hosts().find(resource->get_cname()) != watched_hosts().end())) {
+ time_delta = next_event_date - now_;
+ XBT_DEBUG("This event invalidates the next_occurring_event() computation of models. Next event set to %f",
+ time_delta);
+ }
+ // FIXME: I'm too lame to update now_ live, so I change it and restore it so that the real update with surf_min
+ // will work
+ double round_start = now_;
+ now_ = next_event_date;
+ /* update state of the corresponding resource to the new value. Does not touch lmm.
+ It will be modified if needed when updating actions */
+ XBT_DEBUG("Calling update_resource_state for resource %s", resource->get_cname());
+ resource->apply_event(event, value);
+ now_ = round_start;