Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 18 additions & 6 deletions examples/cpp_supervised_app/main.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -128,11 +128,17 @@ int main(int argc, char** argv)
MonitorTag ident("monitor");

{
auto hm = HealthMonitorBuilder()
.add_deadline_monitor(ident, std::move(builder_mon))
.with_internal_processing_cycle(std::chrono::milliseconds(50))
.with_supervisor_api_cycle(std::chrono::milliseconds(50))
.build();
auto hm_res = HealthMonitorBuilder()
.add_deadline_monitor(ident, std::move(builder_mon))
.with_internal_processing_cycle(std::chrono::milliseconds(50))
.with_supervisor_api_cycle(std::chrono::milliseconds(50))
.build();
if (!hm_res.has_value())
{
std::cerr << "Failed to build health monitor" << std::endl;
return EXIT_FAILURE;
}
auto hm = std::move(*hm_res);

auto deadline_monitor_res = hm.get_deadline_monitor(ident);
if (!deadline_monitor_res.has_value())
Expand All @@ -141,7 +147,13 @@ int main(int argc, char** argv)
return EXIT_FAILURE;
}

hm.start();
auto start_res = hm.start();
if (!start_res.has_value())
{
std::cerr << "Failed to start health monitor" << std::endl;
return EXIT_FAILURE;
}

score::lcm::LifecycleClient{}.ReportExecutionState(score::lcm::ExecutionState::kRunning);

auto deadline_mon = std::move(*deadline_monitor_res);
Expand Down
4 changes: 4 additions & 0 deletions src/health_monitoring_lib/BUILD
Original file line number Diff line number Diff line change
Expand Up @@ -28,13 +28,17 @@ PROC_MACRO_DEPS = [
CC_SOURCES = [
"cpp/common.cpp",
"cpp/deadline_monitor.cpp",
"cpp/heartbeat_monitor.cpp",
"cpp/logic_monitor.cpp",
"cpp/health_monitor.cpp",
]

CC_HDRS = [
"cpp/include/score/hm/common.h",
"cpp/include/score/hm/tag.h",
"cpp/include/score/hm/deadline/deadline_monitor.h",
"cpp/include/score/hm/heartbeat/heartbeat_monitor.h",
"cpp/include/score/hm/logic/logic_monitor.h",
"cpp/include/score/hm/health_monitor.h",
]

Expand Down
84 changes: 79 additions & 5 deletions src/health_monitoring_lib/cpp/health_monitor.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,8 @@ extern "C" {
using namespace score::hm;
using namespace score::hm::internal;
using namespace score::hm::deadline;
using namespace score::hm::heartbeat;
using namespace score::hm::logic;

// Functions below must match functions defined in `crate::ffi`.

Expand All @@ -30,9 +32,21 @@ FFICode health_monitor_builder_build(FFIHandle health_monitor_builder_handle,
FFICode health_monitor_builder_add_deadline_monitor(FFIHandle health_monitor_builder_handle,
const MonitorTag* monitor_tag,
FFIHandle deadline_monitor_builder_handle);
FFICode health_monitor_builder_add_heartbeat_monitor(FFIHandle health_monitor_builder_handle,
const MonitorTag* monitor_tag,
FFIHandle heartbeat_monitor_builder_handle);
FFICode health_monitor_builder_add_logic_monitor(FFIHandle health_monitor_builder_handle,
const MonitorTag* monitor_tag,
FFIHandle logic_monitor_builder_handle);
FFICode health_monitor_get_deadline_monitor(FFIHandle health_monitor_handle,
const MonitorTag* monitor_tag,
FFIHandle* deadline_monitor_handle_out);
FFICode health_monitor_get_heartbeat_monitor(FFIHandle health_monitor_handle,
const MonitorTag* monitor_tag,
FFIHandle* heartbeat_monitor_handle_out);
FFICode health_monitor_get_logic_monitor(FFIHandle health_monitor_handle,
const MonitorTag* monitor_tag,
FFIHandle* logic_monitor_handle_out);
FFICode health_monitor_start(FFIHandle health_monitor_handle);
FFICode health_monitor_destroy(FFIHandle health_monitor_handle);
}
Expand Down Expand Up @@ -71,6 +85,34 @@ HealthMonitorBuilder HealthMonitorBuilder::add_deadline_monitor(const MonitorTag
return std::move(*this);
}

HealthMonitorBuilder HealthMonitorBuilder::add_heartbeat_monitor(const MonitorTag& monitor_tag,
HeartbeatMonitorBuilder&& monitor) &&
{
auto monitor_handle = monitor.drop_by_rust();
SCORE_LANGUAGE_FUTURECPP_PRECONDITION(monitor_handle.has_value());
SCORE_LANGUAGE_FUTURECPP_PRECONDITION(health_monitor_builder_handle_.as_rust_handle().has_value());

auto result{health_monitor_builder_add_heartbeat_monitor(
health_monitor_builder_handle_.as_rust_handle().value(), &monitor_tag, monitor_handle.value())};
SCORE_LANGUAGE_FUTURECPP_ASSERT(result == kSuccess);

return std::move(*this);
}

HealthMonitorBuilder HealthMonitorBuilder::add_logic_monitor(const MonitorTag& monitor_tag,
LogicMonitorBuilder&& monitor) &&
{
auto monitor_handle = monitor.drop_by_rust();
SCORE_LANGUAGE_FUTURECPP_PRECONDITION(monitor_handle.has_value());
SCORE_LANGUAGE_FUTURECPP_PRECONDITION(health_monitor_builder_handle_.as_rust_handle().has_value());

auto result{health_monitor_builder_add_logic_monitor(
health_monitor_builder_handle_.as_rust_handle().value(), &monitor_tag, monitor_handle.value())};
SCORE_LANGUAGE_FUTURECPP_ASSERT(result == kSuccess);

return std::move(*this);
}

HealthMonitorBuilder HealthMonitorBuilder::with_internal_processing_cycle(std::chrono::milliseconds cycle_duration) &&
{
internal_processing_cycle_duration_ = cycle_duration;
Expand All @@ -83,7 +125,7 @@ HealthMonitorBuilder HealthMonitorBuilder::with_supervisor_api_cycle(std::chrono
return std::move(*this);
}

HealthMonitor HealthMonitorBuilder::build() &&
score::cpp::expected<HealthMonitor, Error> HealthMonitorBuilder::build() &&
{
auto health_monitor_builder_handle = health_monitor_builder_handle_.drop_by_rust();
SCORE_LANGUAGE_FUTURECPP_PRECONDITION(health_monitor_builder_handle.has_value());
Expand All @@ -94,9 +136,12 @@ HealthMonitor HealthMonitorBuilder::build() &&
FFIHandle health_monitor_handle{nullptr};
auto result{health_monitor_builder_build(
health_monitor_builder_handle.value(), supervisor_duration_ms, internal_duration_ms, &health_monitor_handle)};
SCORE_LANGUAGE_FUTURECPP_ASSERT(result == kSuccess);
if (result != kSuccess)
{
return score::cpp::unexpected(static_cast<Error>(result));
}

return HealthMonitor{health_monitor_handle};
return score::cpp::expected<HealthMonitor, Error>(HealthMonitor{health_monitor_handle});
}

HealthMonitor::HealthMonitor(FFIHandle handle) : health_monitor_(handle)
Expand All @@ -122,10 +167,39 @@ score::cpp::expected<DeadlineMonitor, Error> HealthMonitor::get_deadline_monitor
return score::cpp::expected<DeadlineMonitor, Error>(DeadlineMonitor{handle});
}

void HealthMonitor::start()
score::cpp::expected<HeartbeatMonitor, Error> HealthMonitor::get_heartbeat_monitor(const MonitorTag& monitor_tag)
{
FFIHandle handle{nullptr};
auto result{health_monitor_get_heartbeat_monitor(health_monitor_, &monitor_tag, &handle)};
if (result != kSuccess)
{
return score::cpp::unexpected(static_cast<Error>(result));
}

return score::cpp::expected<HeartbeatMonitor, Error>(HeartbeatMonitor{handle});
}

score::cpp::expected<LogicMonitor, Error> HealthMonitor::get_logic_monitor(const MonitorTag& monitor_tag)
{
FFIHandle handle{nullptr};
auto result{health_monitor_get_logic_monitor(health_monitor_, &monitor_tag, &handle)};
if (result != kSuccess)
{
return score::cpp::unexpected(static_cast<Error>(result));
}

return score::cpp::expected<LogicMonitor, Error>(LogicMonitor{handle});
}

score::cpp::expected_blank<Error> HealthMonitor::start()
{
auto result{health_monitor_start(health_monitor_)};
SCORE_LANGUAGE_FUTURECPP_ASSERT(result == kSuccess);
if (result != kSuccess)
{
return score::cpp::unexpected(static_cast<Error>(result));
}

return score::cpp::expected_blank<Error>{};
}

HealthMonitor::~HealthMonitor()
Expand Down
57 changes: 57 additions & 0 deletions src/health_monitoring_lib/cpp/heartbeat_monitor.cpp
Original file line number Diff line number Diff line change
@@ -0,0 +1,57 @@
/********************************************************************************
* Copyright (c) 2026 Contributors to the Eclipse Foundation
*
* See the NOTICE file(s) distributed with this work for additional
* information regarding copyright ownership.
*
* This program and the accompanying materials are made available under the
* terms of the Apache License Version 2.0 which is available at
* https://www.apache.org/licenses/LICENSE-2.0
*
* SPDX-License-Identifier: Apache-2.0
********************************************************************************/
#include "score/hm/heartbeat/heartbeat_monitor.h"

namespace {
extern "C" {
using namespace score::hm;
using namespace score::hm::internal;
using namespace score::hm::heartbeat;

FFICode heartbeat_monitor_builder_create(uint32_t range_min_ms, uint32_t range_max_ms, FFIHandle* heartbeat_monitor_builder_handle_out);
FFICode heartbeat_monitor_builder_destroy(FFIHandle heartbeat_monitor_builder_handle);
FFICode heartbeat_monitor_destroy(FFIHandle heartbeat_monitor_builder_handle);
FFICode heartbeat_monitor_heartbeat(FFIHandle heartbeat_monitor_builder_handle);
}

FFIHandle heartbeat_monitor_builder_create_wrapper(uint32_t range_min_ms, uint32_t range_max_ms)
{
FFIHandle handle{nullptr};
auto result{heartbeat_monitor_builder_create(range_min_ms, range_max_ms, &handle)};
SCORE_LANGUAGE_FUTURECPP_ASSERT(result == kSuccess);
return handle;
}

}

namespace score::hm::heartbeat
{
HeartbeatMonitorBuilder::HeartbeatMonitorBuilder(const TimeRange& range)
: monitor_builder_handle_{heartbeat_monitor_builder_create_wrapper(range.min_ms(), range.max_ms()),
&heartbeat_monitor_builder_destroy}
{
}

HeartbeatMonitor::HeartbeatMonitor(FFIHandle monitor_handle)
: monitor_handle_{monitor_handle, &heartbeat_monitor_destroy}
{
}

void HeartbeatMonitor::heartbeat()
{
auto monitor_handle{monitor_handle_.as_rust_handle()};
SCORE_LANGUAGE_FUTURECPP_PRECONDITION(monitor_handle.has_value());
SCORE_LANGUAGE_FUTURECPP_ASSERT(heartbeat_monitor_heartbeat(monitor_handle.value()) == kSuccess);
}

} // namespace score::hm::heartbeat
15 changes: 13 additions & 2 deletions src/health_monitoring_lib/cpp/include/score/hm/health_monitor.h
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,8 @@

#include <score/hm/common.h>
#include <score/hm/deadline/deadline_monitor.h>
#include <score/hm/heartbeat/heartbeat_monitor.h>
#include <score/hm/logic/logic_monitor.h>
#include <score/hm/tag.h>

namespace score::hm
Expand Down Expand Up @@ -42,6 +44,13 @@ class HealthMonitorBuilder final
HealthMonitorBuilder add_deadline_monitor(const MonitorTag& monitor_tag,
deadline::DeadlineMonitorBuilder&& monitor) &&;

/// Adds a heartbeat monitor for a specific identifier tag.
HealthMonitorBuilder add_heartbeat_monitor(const MonitorTag& monitor_tag,
heartbeat::HeartbeatMonitorBuilder&& monitor) &&;

/// Adds a logic monitor for a specific identifier tag.
HealthMonitorBuilder add_logic_monitor(const MonitorTag& monitor_tag, logic::LogicMonitorBuilder&& monitor) &&;

/// Sets the cycle duration for supervisor API notifications.
/// This duration determines how often the health monitor notifies the supervisor that the system is alive.
HealthMonitorBuilder with_supervisor_api_cycle(std::chrono::milliseconds cycle_duration) &&;
Expand All @@ -51,7 +60,7 @@ class HealthMonitorBuilder final
HealthMonitorBuilder with_internal_processing_cycle(std::chrono::milliseconds cycle_duration) &&;

/// Build a new `HealthMonitor` instance based on provided parameters.
HealthMonitor build() &&;
score::cpp::expected<HealthMonitor, Error> build() &&;

private:
internal::DroppableFFIHandle health_monitor_builder_handle_;
Expand All @@ -72,8 +81,10 @@ class HealthMonitor final
~HealthMonitor();

score::cpp::expected<deadline::DeadlineMonitor, Error> get_deadline_monitor(const MonitorTag& monitor_tag);
score::cpp::expected<heartbeat::HeartbeatMonitor, Error> get_heartbeat_monitor(const MonitorTag& monitor_tag);
score::cpp::expected<logic::LogicMonitor, Error> get_logic_monitor(const MonitorTag& monitor_tag);

void start();
score::cpp::expected_blank<Error> start();

private:
// Allow only the builder to create HealthMonitor instances.
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,84 @@
/********************************************************************************
* Copyright (c) 2026 Contributors to the Eclipse Foundation
*
* See the NOTICE file(s) distributed with this work for additional
* information regarding copyright ownership.
*
* This program and the accompanying materials are made available under the
* terms of the Apache License Version 2.0 which is available at
* https://www.apache.org/licenses/LICENSE-2.0
*
* SPDX-License-Identifier: Apache-2.0
********************************************************************************/
#ifndef SCORE_HM_HEARTBEAT_HEARTBEAT_MONITOR_H
#define SCORE_HM_HEARTBEAT_HEARTBEAT_MONITOR_H

#include <score/expected.hpp>
#include <score/hm/common.h>

namespace score::hm
{
// Forward declaration
class HealthMonitor;
class HealthMonitorBuilder;
} // namespace score::hm

namespace score::hm::heartbeat
{
// Forward declaration
class HeartbeatMonitor;

/// Builder for `HeartbeatMonitor`.
class HeartbeatMonitorBuilder final : public internal::RustDroppable<HeartbeatMonitorBuilder>
{
public:
/// Create a new `HeartbeatMonitorBuilder`.
///
/// - `range` - time range between heartbeats.
HeartbeatMonitorBuilder(const TimeRange& range);

HeartbeatMonitorBuilder(const HeartbeatMonitorBuilder&) = delete;
HeartbeatMonitorBuilder& operator=(const HeartbeatMonitorBuilder&) = delete;

HeartbeatMonitorBuilder(HeartbeatMonitorBuilder&&) = default;
HeartbeatMonitorBuilder& operator=(HeartbeatMonitorBuilder&&) = delete;

protected:
std::optional<internal::FFIHandle> __drop_by_rust_impl()
{
return monitor_builder_handle_.drop_by_rust();
}

private:
internal::DroppableFFIHandle monitor_builder_handle_;

// Allow to hide drop_by_rust implementation
friend class internal::RustDroppable<HeartbeatMonitorBuilder>;

// Allow HealthMonitorBuilder to access drop_by_rust implementation
friend class ::score::hm::HealthMonitorBuilder;
};

class HeartbeatMonitor final
{
public:
// Delete copy, allow move
HeartbeatMonitor(const HeartbeatMonitor&) = delete;
HeartbeatMonitor& operator=(const HeartbeatMonitor&) = delete;

HeartbeatMonitor(HeartbeatMonitor&& other) noexcept = default;
HeartbeatMonitor& operator=(HeartbeatMonitor&& other) noexcept = default;

void heartbeat();

private:
explicit HeartbeatMonitor(internal::FFIHandle monitor_handle);

// Only `HealthMonitor` is allowed to create `HeartbeatMonitor` instances.
friend class score::hm::HealthMonitor;
internal::DroppableFFIHandle monitor_handle_;
};

} // namespace score::hm::heartbeat

#endif // SCORE_HM_HEARTBEAT_HEARTBEAT_MONITOR_H
Loading
Loading