Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Also detect the disk failures
[simgrid.git] / src / kernel / resource / DiskImpl.cpp
index 6f6ea0a..1903b81 100644 (file)
@@ -68,6 +68,16 @@ void DiskImpl::turn_off()
   if (is_on()) {
     Resource::turn_off();
     s4u::Disk::on_state_change(piface_);
+
+    const kernel::lmm::Element* elem = nullptr;
+    double now                       = EngineImpl::get_clock();
+    while (const auto* var = get_constraint()->get_variable(&elem)) {
+      Action* action = var->get_id();
+      if (action->get_state() == Action::State::INITED || action->get_state() == Action::State::STARTED) {
+        action->set_finish_time(now);
+        action->set_state(Action::State::FAILED);
+      }
+    }
   }
 }