Merge branch 'fmorgner/implement-interrupt-locking' into 'develop'

kapi/interrupts: implement irq_lock

See merge request teachos/kernel!61

1 files changed, 65 insertions, 0 deletions

diff --git a/kernel/kapi/interrupts.stress.cpp b/kernel/kapi/interrupts.stress.cpp
new file mode 100644
index 00000000..d3baf7b8
--- /dev/null
+++ b/kernel/kapi/interrupts.stress.cpp
@@ -0,0 +1,65 @@
+#include <kapi/interrupts.hpp>
+
+#include <kernel/test_support/cpu.hpp>
+
+#include <catch2/catch_test_macros.hpp>
+
+#include <future>
+#include <mutex>
+
+SCENARIO("irq_lock remote unlock protection", "[kapi][interrupts]")
+{
+  GIVEN("a simple irq_lock")
+  {
+    auto lock = kapi::interrupts::irq_lock{};
+
+    WHEN("it is locked on the main core")
+    {
+      auto guard = std::lock_guard{lock};
+
+      THEN("unlocking it on a different core panics")
+      {
+        auto unlocker = [&] {
+          try
+          {
+            lock.unlock();
+            return false;
+          }
+          catch (kernel::tests::cpu::halt const &)
+          {
+            return true;
+          }
+        };
+
+        auto result = std::async(std::launch::async, unlocker);
+
+        REQUIRE(result.get());
+      }
+    }
+  }
+
+  GIVEN("A heap allocated irq_lock")
+  {
+    // We use plain new-delete here, since the destruction path of std::shared_ptr is fully noexcept.
+    auto lock = new kapi::interrupts::irq_lock<>{};
+
+    THEN("destroying it on a different core panics")
+    {
+      auto destroyer = [&] {
+        try
+        {
+          delete lock;
+          return false;
+        }
+        catch (kernel::tests::cpu::halt const &)
+        {
+          return true;
+        }
+      };
+
+      auto result = std::async(std::launch::async, destroyer);
+
+      REQUIRE(result.get());
+    }
+  }
+}
\ No newline at end of file