10 #ifndef WRENCH_FAILUREDETECTOR_H
11 #define WRENCH_FAILUREDETECTOR_H
13 #include "wrench/services/Service.h"
14 #include "wrench/simgrid_S4U_util/S4U_Daemon.h"
26 class ServiceTerminationDetector :
public Service {
30 explicit ServiceTerminationDetector(std::string host_on_which_to_run, std::shared_ptr<Service> service_to_monitor,
31 simgrid::s4u::Mailbox *mailbox_to_notify,
bool notify_on_crash,
bool notify_on_termination);
36 std::shared_ptr<Service> service_to_monitor;
37 simgrid::s4u::Mailbox *mailbox_to_notify;
40 bool notify_on_termination;
54 #endif //WRENCH_FAILUREDETECTOR_H