diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-07-16 14:16:33 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-07-16 14:16:33 +0200 |
| commit | a6166befa7421be233ece97e184139870bbc0af7 (patch) | |
| tree | 905c5a876911d0ec2bf7270f6ba0e75b8680eb7c /kernel/kapi | |
| parent | d04cb84074b6cdb3d36f5d5e1e22dbc9294724f7 (diff) | |
| download | kernel-a6166befa7421be233ece97e184139870bbc0af7.tar.xz kernel-a6166befa7421be233ece97e184139870bbc0af7.zip | |
kapi: introduce device interfaces
Diffstat (limited to 'kernel/kapi')
| -rw-r--r-- | kernel/kapi/devices.cpp | 21 | ||||
| -rw-r--r-- | kernel/kapi/devices/device.cpp | 6 | ||||
| -rw-r--r-- | kernel/kapi/devices/interface_registry.cpp | 108 | ||||
| -rw-r--r-- | kernel/kapi/devices/interface_registry.tests.cpp | 199 |
4 files changed, 330 insertions, 4 deletions
diff --git a/kernel/kapi/devices.cpp b/kernel/kapi/devices.cpp index de4bf9e5..ef72c667 100644 --- a/kernel/kapi/devices.cpp +++ b/kernel/kapi/devices.cpp @@ -3,6 +3,7 @@ #include <kernel/devices/root_bus.hpp> #include <kapi/system.hpp> +#include <kapi/test_support/devices.hpp> #include <kstd/flat_map.hpp> #include <kstd/memory.hpp> @@ -25,12 +26,13 @@ namespace kapi::devices auto init() -> void { - auto static is_initialized = std::atomic_flag{}; - if (is_initialized.test_and_set()) + if (root_bus.has_value()) { - return; + kapi::system::panic("[OS:DEV] The device subsystem has already been initialized"); } + interface_registry::init(); + auto & bus = root_bus.emplace(); register_device(bus); bus.init(); @@ -83,4 +85,15 @@ namespace kapi::devices return nullptr; } -} // namespace kapi::devices
\ No newline at end of file +} // namespace kapi::devices + +namespace kapi::test_support::devices +{ + auto deinit() -> void + { + deinit_interface_registry(); + + kapi::devices::root_bus.reset(); + kapi::devices::next_major_number = 1; + } +} // namespace kapi::test_support::devices
\ No newline at end of file diff --git a/kernel/kapi/devices/device.cpp b/kernel/kapi/devices/device.cpp index 5dc59a27..d8cae29c 100644 --- a/kernel/kapi/devices/device.cpp +++ b/kernel/kapi/devices/device.cpp @@ -1,5 +1,6 @@ #include <kapi/devices/device.hpp> +#include <kapi/devices.hpp> #include <kapi/devices/bus.hpp> #include <kstd/memory.hpp> @@ -40,4 +41,9 @@ namespace kapi::devices m_parent = parent; } + auto device::query_interface(interface) -> void * + { + return nullptr; + } + } // namespace kapi::devices
\ No newline at end of file diff --git a/kernel/kapi/devices/interface_registry.cpp b/kernel/kapi/devices/interface_registry.cpp new file mode 100644 index 00000000..8882e8db --- /dev/null +++ b/kernel/kapi/devices/interface_registry.cpp @@ -0,0 +1,108 @@ +#include <kapi/devices/interface_registry.hpp> + +#include <kapi/devices.hpp> +#include <kapi/system.hpp> +#include <kapi/test_support/devices.hpp> + +#include <kstd/memory.hpp> +#include <kstd/result.hpp> +#include <kstd/string.hpp> +#include <kstd/system_error.hpp> +#include <kstd/vector.hpp> + +#include <algorithm> +#include <optional> +#include <string_view> +#include <utility> + +namespace kapi::devices +{ + + namespace + { + constinit auto static registry = std::optional<interface_registry>{}; + } + + auto interface_registry::init() -> void + { + if (registry.has_value()) + { + system::panic("[kernel] Device interface registry has already been initialized."); + } + + registry.emplace(); + } + + auto interface_registry::get() -> interface_registry & + { + if (!registry) + { + system::panic("[kernel] Device interface registry has not been initialized."); + } + + return *registry; + } + + auto interface_registry::do_publish(kstd::shared_ptr<device> device, kstd::string name, interface interface, + void * implementation) -> kstd::result<void> + { + erase_if(m_entries, [interface](auto e) { return e.interface() == interface && e.device().expired(); }); + + if (!device || !implementation || name.empty()) + { + return kstd::failure(make_error_code(kstd::errc::invalid_argument)); + } + + auto published = std::ranges::any_of(m_entries, [&](auto const & entry) { + return entry.interface() == interface && entry.device().lock().get() == device.get(); + }); + + if (published) + { + return kstd::failure(make_error_code(kstd::errc::file_exists)); + } + + m_entries.emplace_back(device, std::move(name), interface, implementation); + + return kstd::success(); + } + + auto interface_registry::unpublish(device const & device, interface interface) -> void + { + erase_if(m_entries, [&](auto e) { + auto locked_device = e.device().lock(); + return e.interface() == interface && locked_device && locked_device.get() == &device; + }); + } + + auto interface_registry::all(interface interface) const -> kstd::vector<entry> + { + auto filtered = m_entries; + erase_if(filtered, [&](auto e) { + auto locked_device = e.device().lock(); + return !(e.interface() == interface && locked_device); + }); + return filtered; + } + + auto interface_registry::find(interface interface, std::string_view name) const -> kstd::result<entry> + { + auto found = std::ranges::find_if( + m_entries, [&](auto e) { return e.interface() == interface && e.name() == name && e.device().lock(); }); + if (found == m_entries.cend()) + { + return kstd::failure(make_error_code(kstd::errc::no_such_device)); + } + + return *found; + } + +} // namespace kapi::devices + +namespace kapi::test_support::devices +{ + auto deinit_interface_registry() -> void + { + kapi::devices::registry.reset(); + } +} // namespace kapi::test_support::devices diff --git a/kernel/kapi/devices/interface_registry.tests.cpp b/kernel/kapi/devices/interface_registry.tests.cpp new file mode 100644 index 00000000..ffd9f0d6 --- /dev/null +++ b/kernel/kapi/devices/interface_registry.tests.cpp @@ -0,0 +1,199 @@ +#include <kapi/devices.hpp> + +#include <kstd/memory.hpp> + +#include <catch2/catch_test_macros.hpp> + +namespace +{ + struct probe_device + { + constexpr auto static id = kapi::devices::interface{"probe"}; + + virtual ~probe_device() = default; + + [[nodiscard]] auto virtual get_value() const noexcept -> int = 0; + }; + + struct const_device + { + constexpr auto static id = kapi::devices::interface{"flip"}; + + virtual ~const_device() = default; + + [[nodiscard]] auto get_constant() const noexcept -> int + { + return 0; + } + }; + + struct test_device final : kapi::devices::device, probe_device + { + explicit test_device(int value, const_device & const_device) + : device{0, 0, "probeable"} + , m_value{value} + , m_const_device{&const_device} + {} + + auto init() -> bool override + { + return true; + } + + [[nodiscard]] constexpr auto get_value() const noexcept -> int override + { + return m_value; + } + + auto query_interface(kapi::devices::interface interface) -> void * override + { + if (interface == probe_device::id) + { + return static_cast<probe_device *>(this); + } + if (interface == const_device::id) + { + return m_const_device; + } + + return kapi::devices::device::query_interface(interface); + } + + private: + int m_value; + const_device * m_const_device; + }; + +} // namespace + +SCENARIO("Publishing and finding a device", "[kapi][devices][interface_registry]") +{ + GIVEN("An empty registry, a device, and an interface the device implements by inheritance") + { + auto registry = kapi::devices::interface_registry{}; + auto free_standing_interface = const_device{}; + auto device = kstd::make_shared<test_device>(128, free_standing_interface); + + THEN("Publishing an interface without a name fails") + { + REQUIRE_FALSE(registry.publish<probe_device>(device, "")); + } + + WHEN("publishing the interface for the device") + { + CHECK(device->is_a<probe_device>()); + CHECK(device->is_a<const_device>()); + auto published = registry.publish(device, "probe0", device->as<probe_device>()); + + THEN("publishing is successful") + { + REQUIRE(published); + } + + THEN("publishing the same device and interface with a different name fails") + { + REQUIRE_FALSE(registry.publish(device, "probe1", device->as<probe_device>())); + } + + THEN("publishing a second interface for the same device succeeds") + { + REQUIRE(registry.publish<const_device>(device, "probe0")); + } + + THEN("publishing a free standing second interface for the same device succeeds") + { + REQUIRE(registry.publish(device, "probe0", &free_standing_interface)); + } + + AND_WHEN("getting all devices implementing that interface") + { + auto probeable_devices = registry.all(probe_device::id); + + THEN("there is exactly one such device") + { + REQUIRE(probeable_devices.size() == 1); + } + + THEN("the name of the device is 'probe0'") + { + REQUIRE(probeable_devices[0].name() == "probe0"); + } + + THEN("the returned device pointer is lockable") + { + REQUIRE(probeable_devices[0].device().lock()); + } + + THEN("the returned implementation equals the result of device::as") + { + REQUIRE(probeable_devices[0].implementation() == device->as<probe_device>()); + } + + THEN("the interface provided function can be invoked") + { + auto implementation = probeable_devices[0].as<probe_device>(); + REQUIRE(implementation->get_value() == device->get_value()); + } + } + + THEN("find finds the published capability by name") + { + REQUIRE(registry.find<probe_device>("probe0")); + } + + THEN("find for an unpublished capability does not find a device") + { + REQUIRE_FALSE(registry.find<const_device>("probe0")); + } + + THEN("find for an unpublished device does not find a device") + { + REQUIRE_FALSE(registry.find<probe_device>("probe1")); + } + + THEN("withdrawing an interface for a device removes it from the registry") + { + registry.unpublish(*device, probe_device::id); + REQUIRE_FALSE(registry.find<probe_device>("probe0")); + } + } + + WHEN("the device is destroyed without withdrawing it") + { + CHECK(registry.publish(device, "probe0", device->as<probe_device>())); + device.reset(); + + THEN("querying all does no longer report it") + { + REQUIRE(registry.all(probe_device::id).empty()); + } + + THEN("find() no longer finds it") + { + REQUIRE_FALSE(registry.find<probe_device>("probe0")); + } + } + } + + GIVEN("no device has ever been published") + { + auto registry = kapi::devices::interface_registry{}; + + THEN("all() returns an empty vector") + { + REQUIRE(registry.all(probe_device::id).empty()); + } + } + + GIVEN("a null device") + { + auto registry = kapi::devices::interface_registry{}; + auto device = kstd::shared_ptr<kapi::devices::device>{}; + auto interface = const_device{}; + + THEN("publishing the interface for the device fails") + { + REQUIRE_FALSE(registry.publish(device, "probe0", &interface)); + } + } +} |
