HarSaRK_multi_rs: A Hard Real-time Kernel for Multi-core Microcontrollers in Rust Language

Abstract

Recent years have seen a huge explosion in the number of embedded systems. More and more of the embedded hardware is becoming multi-core and low-cost multi-core microcontrollers which have already become mainstream. Most of these embedded systems have real-time requirements and require a real-time kernel for the application development. This paper proposes HarSaRK-multi, a multi-core real-time kernel implemented in Rust (Klabnik and Nichols in The Rust Programming Language. No Starch Press, USA, 2018 [14]). Rust is chosen for its type safety, memory safety and prevention of data races statically at compile time. The kernel maintains a low overhead while guaranteeing to be free from deadlocks. © 2022, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.