bastion
rustig
Our great sponsors
bastion | rustig | |
---|---|---|
15 | 9 | |
2,759 | 215 | |
1.1% | 0.0% | |
0.0 | 0.0 | |
12 months ago | over 2 years ago | |
Rust | Rust | |
Apache License 2.0 | Apache License 2.0 |
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.
bastion
- Write Elixir NIFs in Rust
- Bastion – Highly-Available Distributed Fault-Tolerant Runtime for Rust
-
lunatic v0.9 released - Bringing Erlang's supervisors to Rust
How is this better / different than https://github.com/bastion-rs/bastion ?
-
Introspection in Erlang/BEAM-inspired Async-Rust-Executors?
There are attempts to implement an Erlang/BEAM-inspired reactor/runtime/executor/ecosystem for Rust's Async, in particular Bastion. (There are also Lumen, Lunatic and Async-Backplane/Async-Supervisor.)
- What is the current state of actor systems in Rust?
-
Announcing "Zestors": A simple, fast and flexible actor-framework
I would be interested in an example showing how to build a robust runtime like bastion with fault tolerance.
-
Async feedback from 2 years of usage
But the issue you're referring to, building a fault-tolerant web server where you can have granular control over killing background jobs regardless if they're blocked on a syscall, totally requires using this kind of software architecture. See Bastion.
-
Can one code different kind of multithreading paradigms in Rust (BEAM, Node, Go)?
Bastion, a Rust async runtime inspired by the beam distribution and supervision model
-
Linus Torvalds on Rust support in kernel
I don't really know much about erlang, but I think this may be along the lines of what you are thinking of: https://github.com/bastion-rs/bastion
(I also don't really think the linux kernel people would be interested...)
-
Lunatic - An Erlang inspired runtime for all programming languages
This reminds me of bastion. Looks like it attempts to fulfill the same needs, though I guess Lunatic has native WASM support whereas bastion might require some tweaking to have it work? Haven't worked with bastion, so that part of harder time with WASM is just a wild speculation. On the other hand bastion looks much more mature. Probably /u/vertexclique could give a more informed opinion about the difference between the two ;) I really like what these projects are putting forward.
rustig
-
Is there something like "super-safe" rust?
There is also rustig though it seems quite dead.
-
Is Rust really safe? How to identify functions that can potentially cause panic
There’s the rustig tool (https://github.com/Technolution/rustig) that looks for code paths leading to the panic handler. Not sure if it still works though.
-
My thoughts on Rust and C++
That's fair. I think I may just be a bit sore that Rustig was allowed to bit-rot and findpanics hasn't seen a commit since 2020.
- What improvements would you like to see in Rust or what design choices do you wish were reconsidered?
-
Things I hate about Rust, redux
There's Rustig which does it for panics, though it seems unmaintained and uses inspection of the final binary rather than source code/AST inspection.
You might be interested in this: https://github.com/Technolution/rustig
-
Three Things Go Needs More Than Generics
> Doesnt Rust have implicit panics on indexing out of bounds?
It does yes. A fair number of other constructs can panic as well.
> I wonder if any codebases lint those away.
Clippy has a lint for indexing so probably.
For the general case, it's almost impossible unless you're working on very low-level software (embedded, probably kernel-rust eventually) e.g. `std` assumes allocations can't fail, so any allocation will show up as a panic path.
https://github.com/Technolution/rustig can actually uncover panic paths, but because of the above the results are quite noisy, and while it's possible to uncover bugs thanks to rustig it requires pretty ridiculous amounts of filtering.
-
Linus Torvalds on Rust support in kernel
This comment is strongly confused.
> [1] https://github.com/Technolution/rustig
That's a binary analysis tool. It is only approximate, and does not claim to be an accurate analysis like unsafe-checking and typechecking are:
https://github.com/Technolution/rustig#limitations
> All paths leading to panic! from one of those functions (whether actually used or not) will be reported.
It also only works on x86_64 binaries.
Panics are an ugly leftover from the bad old days before Rust had nice monad-like syntax for Result error-handling (the "?" syntax). It's time for panic to sunset.
What are some alternatives?
actix - Actor framework for Rust.
Rust-for-Linux - Adding support for the Rust language to the Linux kernel.
smol - A small and fast async runtime for Rust
go101 - An up-to-date (unofficial) knowledge base for Go programming self learning
lunatic - Lunatic is an Erlang-inspired runtime for WebAssembly
pwninit - pwninit - automate starting binary exploit challenges
tiny-tokio-actor - A simple tiny actor library on top of Tokio
kani - Kani Rust Verifier
riker - Easily build efficient, highly concurrent and resilient applications. An Actor Framework for Rust.
gdbstub - An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] support)
async-backplane - Simple, Erlang-inspired fault-tolerance framework for Rust Futures.
go - The Go programming language