wrench::ServiceTerminationDetector

class ServiceTerminationDetector : public wrench::Service

A service that immediately detects when some service crashes and then notifies some other service of the crash.

Public Functions

explicit ServiceTerminationDetector(const std::string &host_on_which_to_run, std::shared_ptr<Service> service_to_monitor, S4U_CommPort *commport_to_notify, bool notify_on_crash, bool notify_on_termination)

Constructor.

Parameters:
  • host_on_which_to_run – the service’s host

  • service_to_monitor – which service to monitor

  • commport_to_notify – which commport to notify

  • notify_on_crash – whether to send a crash notification (in case of non-clean termination)

  • notify_on_termination – whether to send a termination notification (in case of clean termination)