{"repo":"rtic-rs/rtic","free":true,"listed":false,"github":"https://github.com/rtic-rs/rtic","clone":"git clone https://github.com/rtic-rs/rtic.git","description":"Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers","language":"Rust","stars":2383,"topics":["rust","no-std","arm","cortex-m","microcontroller","bare-metal","scheduler","concurrency"],"license":"Apache-2.0","category":"workflow-automation","readme_excerpt":"Real-Time Interrupt-driven Concurrency The hardware accelerated Rust RTOS A concurrency framework for building real-time systems. Features - Tasks as the unit of concurrency [^1]. Tasks can be event triggered (fired in response to asynchronous stimuli) or spawned by the application on demand. - Message passing between tasks. Specifically, messages can be passed to software tasks at spawn time. - A timer queue [^2]. Software tasks can be delayed or scheduled to continue running at some time in the future. This feature can be used to implement periodic tasks. - Support for prioritization of tasks and, thus, preemptive multitasking . - Efficient and data race free memory sharing through fine-grained priority based critical sections [^1]. - Deadlock free execution guaranteed at compile time. This is a stronger guarantee than what's provided by [the standard Mutex abstraction][std-mutex]. [std-mutex]: https://doc.rust-lang.org/std/sync/struct.Mutex.html - Minimal scheduling overhead . The task scheduler has minimal software footprint; the hardware does the bulk of the scheduling. - Highly efficient memory usage : All the tasks share a single call stack and there's no hard dependency on a dynamic memory allocator. - All Cortex-M devices are fully supported . - Most RISC-V devices are supported . Refer to the RTIC book) to learn more about RISC-V backends, their particularities, and their limitations. - This task model is amenable to known WCET (Worst Case Execution Time) analysis a","default_branch":null,"files":null,"tree":[],"storefront":"/r/rtic-rs","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/rtic-rs/rtic/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}