redox
tokio
redox | tokio | |
---|---|---|
12 | 196 | |
14,878 | 24,761 | |
0.3% | 1.8% | |
9.5 | 9.5 | |
about 24 hours ago | 6 days ago | |
Shell | Rust | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
redox
-
Fomos: Experimental OS, Built with Rust
Redox is another full fledged OS written in rust by Pop OS developer
https://github.com/redox-os/redox
-
GNU/Hurd strikes back: How to use the legendary OS in a (somewhat) practical way
Even in the noncommercial world, Hurd's gone precisely nowhere. RedoxOS is a toy and had a GUI within a year or so. Brutal got in within two. SerenityOS not only built a GUI but the beginnings of the first greenfield web browser to gain any semblance of modern standards support in the past several decades. Honestly, what's Hurd doing wrong to flounder so hard?
[0] https://github.com/redox-os/redox/releases/tag/0.0.3
[1] https://github.com/brutal-org/brutal/releases
[2] https://serenityos.org/happy/1st/
-
Rust is ugly, doesn’t even let you write simple data structures, unsafe rust is not even defined, makes the simplest things so hard to write and did I mention it’s ugly?
Ah yes, std, that famous crate that is unusable for systems programming. God forbid anyone do any "systems" programming that uses std.
-
Planning to make a video on cool Rust apps focused on the end user. Make recommendations!
Operating System: Theseus, Redox
-
The wild world of non-C operating systems
Looks like C++ to me!
And my point is that when you mention OS-es like Mezzano (3k stars on Github, a dozen contributors [1]) and Redox (13k stars, 80 contributors [2]), but don't mention Serenity (18k stars, over 100 contributors [3] (Github limits this view to the top 100)) it seems funny.
[0] https://github.com/SerenityOS/serenity/tree/master/Kernel/Ar...
[1] https://github.com/froggey/Mezzano/graphs/contributors
[2] https://github.com/redox-os/redox/graphs/contributors
[3] https://github.com/SerenityOS/serenity/graphs/contributors
-
How far are we from writing Redox on Redox?
Side note, blog posts may have been quiet but there's still been some commit activity here and there.
-
Porting QEMU to RedoxOS
>I wish opportunities had been around when I was learning to program.
And yet now, we have plenty of projects and nobody contributing.
https://github.com/redox-os/redox/graphs/contributors
This graph doesn't look so healthy. Projects with one major contributor tend to die the moment that contributor loses interest.
Which leads me to wonder, if rust is so popular, and this is one of the most relevant rust projects in the wild, why is this essentially a single contributor repo? Linus didn't write Linux by himself. Redox is never going to happen with a single developer.
Doesn't anyone want a memory safe OS and micro kernel? What does this say about the demand for memory safe systems languages?
-
Pop!_OS uses a lot of Rust
I think the guy behind RedoxOS works for them.
-
[ SECURITY ] Linux Is Not More Secure Than Other os
redox os is rust operating system without c , here
-
I Want to start leaning OS development on microcontrollers, any advice?
RedoxOS, an OS written in Rust A tutorial on making an OS in Rust, complwte with bootable source
tokio
-
On Implementation of Distributed Protocols
Being able to control nondeterminism is particularly useful for testing and debugging. This allows creating reproducible test environments, as well as discrete-event simulation for faster-than-real-time simulation of time delays. For example, Cardano uses a simulation environment for the IO monad that closely follows core Haskell packages; Sui has a simulator based on madsim that provides an API-compatible replacement for the Tokio runtime and intercepts various POSIX API calls in order to enforce determinism. Both allow running the same code in production as in the simulator for testing.
-
I pre-released my project "json-responder" written in Rust
tokio / hyper / toml / serde / serde_json / json5 / console
-
Cryptoflow: Building a secure and scalable system with Axum and SvelteKit - Part 0
tokio - An asynchronous runtime for Rust
-
Top 10 Rusty Repositories for you to start your Open Source Journey
3. Tokio
-
API Gateway, Lambda, DynamoDB and Rust
The AWS SDK makes use of the async capabilities in the Tokio library. So when you see async in front of a fn that function is capable of executing asynchronously.
-
The More You Gno: Gno.land Monthly Updates - 6
Petar is also looking at implementing concurrency the way it is in Go to have a fully functional virtual machine as it is in the spec. This would likely attract more external contributors to developing the VM. One advantage of Rust is that, with the concurrency model, there is already an extensive library called Tokio which he can use. Petar stresses that this isn’t easy, but he believes it’s achievable, at least as a research topic around determinism and concurrency.
-
Consuming an SQS Event with Lambda and Rust
Another thing to point out is that async is a thing in Rust. I'm not going to begin to dive into this paradigm in this article, but know it's handled by the awesome Tokio framework.
-
netcrab: a networking tool
So I started by using Tokio, a popular async runtime. The docs and samples helped me get a simple outbound TCP connection working. The Rust async book also had a lot of good explanations, both practical and digging into the details of what a runtime does.
-
Thread-per-Core
Regarding the quote:
> The Original Sin of Rust async programming is making it multi-threaded by default. If premature optimization is the root of all evil, this is the mother of all premature optimizations, and it curses all your code with the unholy Send + 'static, or worse yet Send + Sync + 'static, which just kills all the joy of actually writing Rust.
Agree about the melodramatic tone. I also don't think removing the Send + Sync really makes that big a difference. It's the 'static that bothers me the most. I want scoped concurrency. Something like <https://github.com/tokio-rs/tokio/issues/2596>.
Another thing I really hate about Rust async right now is the poor instrumentation. I'm having a production problem at work right now in which some tasks just get stuck. I wish I could do the equivalent of `gdb; thread apply all bt`. Looking forward to <https://github.com/tokio-rs/tokio/issues/5638> landing at least. It exists right now but is experimental and in my experience sometimes panics. I'm actually writing a PR today to at least use the experimental version on SIGTERM to see what's going on, on the theory that if it crashes oh well, we're shutting down anyway.
Neither of these complaints would be addressed by taking away work stealing. In fact, I could keep doing down my list, and taking away work stealing wouldn't really help with much of anything.
-
PHP-Tokio – Use any async Rust library from PHP
The PHP <-> Rust bindings are provided by https://github.com/Nicelocal/ext-php-rs/ (our fork of https://github.com/davidcole1340/ext-php-rs with a bunch of UX improvements :).
php-tokio's integrates the https://revolt.run event loop with the https://tokio.rs event loop; async functionality is provided by the two event loops, in combination with PHP fibers through revolt's suspension API (I could've directly used the PHP Fiber API to provide coroutine suspension, but it was a tad easier with revolt's suspension API (https://revolt.run/fibers), since it also handles the base case of suspension in the main fiber).
What are some alternatives?
rust-raspberrypi-OS-tutorials - :books: Learn to write an embedded OS in Rust :crab:
async-std - Async version of the Rust standard library
serenity - The Serenity Operating System 🐞
Rocket - A web framework for Rust.
tock - A secure embedded operating system for microcontrollers
hyper - An HTTP library for Rust
cli-guidelines - A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.
futures-rs - Zero-cost asynchronous programming in Rust
book - The Rust Programming Language
smol - A small and fast async runtime for Rust
blog_os - Writing an OS in Rust
rayon - Rayon: A data parallelism library for Rust