https://github.com/lysxia/ariel-os-runqueue
https://github.com/lysxia/ariel-os-runqueue
Last synced: 8 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/lysxia/ariel-os-runqueue
- Owner: Lysxia
- License: apache-2.0
- Created: 2025-09-17T11:54:37.000Z (9 months ago)
- Default Branch: main
- Last Pushed: 2025-09-17T12:11:14.000Z (9 months ago)
- Last Synced: 2025-09-17T14:25:29.996Z (9 months ago)
- Language: Rust
- Size: 10.7 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
ariel-os-runqueue
================
This repository contains the Runqueue as used by Ariel OS.
It basically encodes the scheduling, as in, "which thread should be switched to next?".
How to use
----------
The crate is not supposed to be used on its own, but as dependency of
[Ariel OS](https://github.com/ariel-os/ariel-os).
Code layout
-----------
`lib.rs` contains the public API. `runqueue.rs` contains
the only current implementation.
We expect other implementations to show up (with different trade-offs), which
can hopefully switched using crate features. For that reason, there are some
tests against the public API in `lib.rs`.
Minimum Supported Rust Version (MSRV)
-------------------------------------
This crate currently requires a recent compiler supporting const fn.
For the time being, it is recommended to use a current nightly.
Copyright & License
-------------------
ariel-os-runqueue is licensed under either of
Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.
Copyright (C) 2021 Freie Universität Berlin, Inria, Kaspar Schleiser
Contributing
------------
Unless you explicitly state otherwise, any contribution intentionally submitted
for inclusion in the work by you, as defined in the Apache-2.0 license, shall
be dual licensed as above, without any additional terms or conditions.