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)