BUPT-OS / RROS

RROS is a dual-kernel OS for satellites or other scenarios that need both real-time and general-purpose abilities. RROS = RTOS (Rust) + Linux (C).
https://bupt-os.github.io/website/
Other
567 stars 40 forks source link

Add `monitor factory` in RROS #24

Open shannmu opened 9 months ago

shannmu commented 9 months ago

The RROS project lacks the capability for inter-thread synchronization, including: mutexs, semaphores, and condition variables. A monitor factory is needed to implement this functionality. For real-time operating systems, it is necessary to ensure that the kernel does not experience deadlock while implementing synchronization mechanisms, and to implement priority inheritance and the ceiling protocol.