[Feature][Rust] Add Safe Rust Wrappers for Kernel IPC
Les mainteneurs répondent en général sous 1 jour
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Accessibilité débutants
- 35/100
- Type d'issue
- Fonctionnalité
- Clarté
- Plutôt claire
- Activité
- Calme
- Domaine
- embedded-iot, operating-systems
Piste de recherche
Commencez par examiner la prise en charge des outils Rust dans les PRs #11056 et #10910, puis suivez les points d’entrée C d’IPC mentionnés : rt_mutex_create, rt_mutex_take, rt_mutex_release et rt_mutex_delete. Définissez le périmètre des wrappers Mutex et Semaphore, notamment RAII, les raw pointers encapsulés et le comportement de Send/Sync. Le travail est terminé lorsque les mécanismes IPC principaux disposent d’une couche Rust sûre qui évite aux appelants d’avoir à écrire eux-mêmes ces wrappers unsafe.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
With the recent merge of Rust tooling support (PR #11056, #10910), the foundation for Rust in RT-Thread has been laid. However, developers are currently forced to use unsafe blocks to interact with the kernel API.
This creates a gap in safety. RT-Thread is widely used in safety-critical domains (Automotive, Medical, Industrial). Standard C usage is prone to concurrency bugs (race conditions on SMP systems) and memory leaks. While the C kernel works, exposing it directly to Rust negates the safety guarantees that make Rust valuable.
A Safe Rust Wrapper solves this by enforcing memory safety and concurrency rules at compile-time, preventing data races and use-after-free errors before the code even runs.
Preferred Solution
I propose implementing a Safe Rust layer for the core IPC mechanisms (Mutex, Semaphore).
Key Design Features:
- RAII (Resource Acquisition Is Initialization): Resources are automatically released when objects go out of scope.
- Type Safety: Raw pointers from the C kernel are encapsulated.
- Concurrency Safety: The wrappers will use Rust's
SendandSynctraits to prevent data races.
Proof of Concept (POC):
Here is a proposed design for a Safe Mutex wrapper:
use core::marker::PhantomData;
use core::ops::Deref;
// FFI: Bindings to C kernel functions
extern "C" {
fn rt_mutex_create(name: *const i8, flag: u8) -> *mut rt_mutex;
fn rt_mutex_take(mutex: *mut rt_mutex, time: i32) -> i32;
fn rt_mutex_release(mutex: *mut rt_mutex) -> i32;
fn rt_mutex_delete(mutex: *mut rt_mutex);
}
/// A Safe Wrapper for the RT-Thread Mutex
pub struct Mutex<T> {
raw: *mut rt_mutex,
_marker: PhantomData<T>,
}
impl<T> Mutex<T> {
pub fn new(name: &str, t: T) -> Self {
// ... CString conversion implementation ...
let raw = unsafe { rt_mutex_create(cname.as_ptr(), 0) };
Mutex { raw, _marker: PhantomData }
}
pub fn lock(&self) -> MutexGuard<'_, T> {
unsafe { rt_mutex_take(self.raw, -1) }; // Wait forever
MutexGuard { mutex: self, _marker: PhantomData }
}
}
impl<T> Drop for Mutex<T> {
fn drop(&mut self) {
unsafe { rt_mutex_delete(self.raw) };
}
}
pub struct MutexGuard<'a, T> {
mutex: &'a Mutex<T>,
_marker: PhantomData<T>,
}
impl<T> Drop for MutexGuard<'_, T> {
fn drop(&mut self) {
unsafe { rt_mutex_release(self.mutex.raw) };
}
}
This design ensures that:
-
- rt_mutex_delete is called automatically (no memory leaks).
-
- rt_mutex_release is called automatically (no deadlocks if thread panics).
-
- The protected data can only be accessed through the guard.
Possible Alternatives
1. **Continue using `unsafe` FFI:** Developers can continue writing their own `unsafe` wrappers, but this leads to fragmented code and potential security risks across different projects.
2. **External Crate:** The wrapper could be maintained as a separate repository, but keeping it in the main tree ensures it stays synchronized with kernel API changes and improves the "out-of-the-box" experience for RT-Thread users.
- Langage dominant
- C
- Étoiles
- 12.3k
- Forks
- 5.5k
- Merge moyen
- 7 j 4 h
- PR mergées (30 j)
- 34
Préparer son environnement
Lance le conteneur de développement du projet dans votre navigateur, avec votre propre compte GitHub.
- Aucun Dockerfile ni fichier Docker Compose
- Propose un modèle de pull request
- Lire le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de RT-Thread/rt-thread
-
[bsp][stm32][bluepill] README「快速上手」缺少重新生成 MDK 工程这一步,按文档操作无法编译通过Peut-être pris @moment-NEW l’a pris il y a 12 jours. Ouvertein progress
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
RT-Thread/rt-thread#11818 · 4 commentaires · 1 personne assignée ·
Les mainteneurs répondent en général sous 1 jour
-
BSP BSP: Loongson bug RT-Smart
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
RT-Thread/rt-thread#11717 · 2 commentaires ·
Les mainteneurs répondent en général sous 1 jour
-
Arch: RISC-V BSP BSP: HPMicro bug
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
RT-Thread/rt-thread#11687 · 3 commentaires ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
RT-Thread/rt-thread#11472 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
Arch: ARM/AArch64 BSP BSP: STM32 enhancement
Difficulté 4/5 3-5 jours Accessibilité débutants 20/100
RT-Thread/rt-thread#11854 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
Toutes les issues de RT-Thread/rt-thread
Issues similaires
-
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
FriendsofECCE/ECCE#336 · 1 commentaire ·
-
mediatek/filogic: OpenFi 6C (openfi,6c): func key has wrong polarity, event class and key codeOuverte
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
immortalwrt/immortalwrt#2501 ·
-
Taisei fails to build on BSD because the bundled openlibm is compiled with `-D_ANSI_SOURCE`.Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
taisei-project/taisei#454 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 62/100
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 62/100