Advanced Unit Testing in the Hedron Microkernel
summary
Describes a method for unit testing concurrent page-table manipulation in Hedron, a C++ microkernel for virtualization, focusing on code that modifies CPU-used page tables. Explains how Hedron uses deterministic unit tests to prove the CPU always observes valid virtual memory mappings during the tested page-table operations, demonstrating that such concurrency and hardware-interaction properties can be verified with unit tests.
AI-written summary · about
related talks
01h 01mAdvanced Unit Testing in C & C++
26mUnit Testing Memory Mapped Device Drivers
26mUnit Testing Memory Mapped Device Drivers
28mTesting Drivers with KUnit (Does hardware have to be hard?)
28mKVM-unit-tests: When "KVM" Doesn't Mean KVM
55mComprehensive Testing of Embedded Software
30mKernel Testing with KUnit: Bridging the Gap
44mKUnit - Unit Testing for the Linux Kernel