The term "HealthMonitor" is used for the public API in the HealthMonitoring library, as well as for one of the two lifecycle components (HealthMonitor and LaunchManager).
Assumption: The "HealthMonitor" component in the lifecycle feature architecture refers to the HealthMonitoring library only.
To avoid confusion we shall rename the LaunchManager-internal component "HealthMonitor" to something else.
Suggestions:
HealthSupervisor?- AliveMonitor
AliveSupervisor?ProcessMonitor?SupervisionMonitor?
AliveMonitor was the preferred name in lifecycle meeting https://github.com/orgs/eclipse-score/discussions/2386#discussioncomment-15920911
The term "HealthMonitor" is used for the public API in the HealthMonitoring library, as well as for one of the two lifecycle components (HealthMonitor and LaunchManager).
Assumption: The "HealthMonitor" component in the lifecycle feature architecture refers to the HealthMonitoring library only.
To avoid confusion we shall rename the LaunchManager-internal component "HealthMonitor" to something else.
Suggestions:
HealthSupervisor?AliveSupervisor?ProcessMonitor?SupervisionMonitor?AliveMonitor was the preferred name in lifecycle meeting https://github.com/orgs/eclipse-score/discussions/2386#discussioncomment-15920911