1 /* Copyright (c) 2013-2015. The SimGrid Team.
2 * All rights reserved. */
4 /* This program is free software; you can redistribute it and/or modify it
5 * under the terms of the license (GNU LGPL) which comes with this package. */
7 #include "simgrid/s4u/engine.hpp"
8 #include "src/instr/instr_private.h"
9 #include "src/plugins/vm/VirtualMachineImpl.hpp"
11 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(surf_kernel);
21 double next_event_date = -1.0;
22 tmgr_trace_iterator_t event = nullptr;
24 simgrid::surf::Resource *resource = nullptr;
26 XBT_DEBUG ("Consume all trace events occurring before the starting time.");
27 while ((next_event_date = future_evt_set->next_date()) != -1.0) {
28 if (next_event_date > NOW)
31 while ((event = future_evt_set->pop_leq(next_event_date, &value, &resource))) {
33 resource->apply_event(event, value);
38 XBT_DEBUG ("Set every models in the right state by updating them to 0.");
39 for (auto model : *all_existing_models)
40 model->updateActionsState(NOW, 0.0);
43 double surf_solve(double max_date)
45 double time_delta = -1.0; /* duration */
46 double next_event_date = -1.0;
47 double model_next_action_end = -1.0;
49 simgrid::surf::Resource *resource = nullptr;
50 tmgr_trace_iterator_t event = nullptr;
53 xbt_assert(max_date > NOW,"You asked to simulate up to %f, but that's in the past already", max_date);
55 time_delta = max_date - NOW;
58 /* Physical models MUST be resolved first */
59 XBT_DEBUG("Looking for next event in physical models");
60 double next_event_phy = surf_host_model->nextOccuringEvent(NOW);
61 if ((time_delta < 0.0 || next_event_phy < time_delta) && next_event_phy >= 0.0) {
62 time_delta = next_event_phy;
64 if (surf_vm_model != nullptr) {
65 XBT_DEBUG("Looking for next event in virtual models");
66 double next_event_virt = surf_vm_model->nextOccuringEvent(NOW);
67 if ((time_delta < 0.0 || next_event_virt < time_delta) && next_event_virt >= 0.0)
68 time_delta = next_event_virt;
71 XBT_DEBUG("Min for resources (remember that NS3 don't update that value): %f", time_delta);
73 XBT_DEBUG("Looking for next trace event");
75 while (1) { // Handle next occurring events until none remains
76 next_event_date = future_evt_set->next_date();
77 XBT_DEBUG("Next TRACE event: %f", next_event_date);
79 if(! surf_network_model->nextOccuringEventIsIdempotent()){ // NS3, I see you
80 if (next_event_date!=-1.0 && time_delta!=-1.0) {
81 time_delta = MIN(next_event_date - NOW, time_delta);
83 time_delta = MAX(next_event_date - NOW, time_delta); // Get the positive component
86 XBT_DEBUG("Run the NS3 network at most %fs", time_delta);
87 // run until min or next flow
88 model_next_action_end = surf_network_model->nextOccuringEvent(time_delta);
90 XBT_DEBUG("Min for network : %f", model_next_action_end);
91 if(model_next_action_end>=0.0)
92 time_delta = model_next_action_end;
95 if (next_event_date < 0.0) {
96 XBT_DEBUG("no next TRACE event. Stop searching for it");
100 if ((time_delta == -1.0) || (next_event_date > NOW + time_delta))
101 break; // next event occurs after the next resource change, bail out
103 XBT_DEBUG("Updating models (min = %g, NOW = %g, next_event_date = %g)", time_delta, NOW, next_event_date);
105 while ((event = future_evt_set->pop_leq(next_event_date, &value, &resource))) {
106 if (resource->isUsed() || xbt_dict_get_or_null(watched_hosts_lib, resource->cname())) {
107 time_delta = next_event_date - NOW;
108 XBT_DEBUG("This event invalidates the next_occuring_event() computation of models. Next event set to %f", time_delta);
110 // 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
111 double round_start = NOW;
112 NOW = next_event_date;
113 /* update state of the corresponding resource to the new value. Does not touch lmm.
114 It will be modified if needed when updating actions */
115 XBT_DEBUG("Calling update_resource_state for resource %s", resource->cname());
116 resource->apply_event(event, value);
121 /* FIXME: Moved this test to here to avoid stopping simulation if there are actions running on cpus and all cpus are with availability = 0.
122 * This may cause an infinite loop if one cpu has a trace with periodicity = 0 and the other a trace with periodicity > 0.
123 * The options are: all traces with same periodicity(0 or >0) or we need to change the way how the events are managed */
124 if (time_delta < 0) {
125 XBT_DEBUG("No next event at all. Bail out now.");
129 XBT_DEBUG("Duration set to %f", time_delta);
131 // Bump the time: jump into the future
132 NOW = NOW + time_delta;
134 // Inform the models of the date change
135 for (auto model : *all_existing_models) {
136 model->updateActionsState(NOW, time_delta);
138 simgrid::s4u::onTimeAdvance(time_delta);
140 TRACE_paje_dump_buffer (0);
148 static surf_action_t ActionListExtract(simgrid::surf::ActionList* list)
152 surf_action_t res = &list->front();
157 surf_action_t surf_model_extract_done_action_set(surf_model_t model)
159 return ActionListExtract(model->getDoneActionSet());
162 surf_action_t surf_model_extract_failed_action_set(surf_model_t model){
163 return ActionListExtract(model->getFailedActionSet());
166 int surf_model_running_action_set_size(surf_model_t model){
167 return model->getRunningActionSet()->size();
170 surf_action_t surf_host_open(sg_host_t host, const char* fullpath){
171 return host->pimpl_->open(fullpath);
174 surf_action_t surf_host_close(sg_host_t host, surf_file_t fd){
175 return host->pimpl_->close(fd);
178 int surf_host_unlink(sg_host_t host, surf_file_t fd){
179 return host->pimpl_->unlink(fd);
182 size_t surf_host_get_size(sg_host_t host, surf_file_t fd){
183 return host->pimpl_->getSize(fd);
186 surf_action_t surf_host_read(sg_host_t host, surf_file_t fd, sg_size_t size){
187 return host->pimpl_->read(fd, size);
190 surf_action_t surf_host_write(sg_host_t host, surf_file_t fd, sg_size_t size){
191 return host->pimpl_->write(fd, size);
194 xbt_dynar_t surf_host_get_info(sg_host_t host, surf_file_t fd){
195 return host->pimpl_->getInfo(fd);
198 size_t surf_host_file_tell(sg_host_t host, surf_file_t fd){
199 return host->pimpl_->fileTell(fd);
202 int surf_host_file_seek(sg_host_t host, surf_file_t fd,
203 sg_offset_t offset, int origin){
204 return host->pimpl_->fileSeek(fd, offset, origin);
207 int surf_host_file_move(sg_host_t host, surf_file_t fd, const char* fullpath){
208 return host->pimpl_->fileMove(fd, fullpath);
211 sg_size_t surf_storage_get_size(surf_resource_t resource){
212 return static_cast<simgrid::surf::Storage*>(surf_storage_resource_priv(resource))->size_;
215 sg_size_t surf_storage_get_free_size(surf_resource_t resource){
216 return static_cast<simgrid::surf::Storage*>(surf_storage_resource_priv(resource))->getFreeSize();
219 sg_size_t surf_storage_get_used_size(surf_resource_t resource){
220 return static_cast<simgrid::surf::Storage*>(surf_storage_resource_priv(resource))->getUsedSize();
223 xbt_dict_t surf_storage_get_properties(surf_resource_t resource){
224 return static_cast<simgrid::surf::Storage*>(surf_storage_resource_priv(resource))->getProperties();
227 const char* surf_storage_get_host(surf_resource_t resource){
228 return static_cast<simgrid::surf::Storage*>(surf_storage_resource_priv(resource))->attach_;
231 void surf_cpu_action_set_bound(surf_action_t action, double bound) {
232 static_cast<simgrid::surf::CpuAction*>(action)->setBound(bound);
235 surf_file_t surf_storage_action_get_file(surf_action_t action){
236 return static_cast<simgrid::surf::StorageAction*>(action)->file_;