paxi
awesome-distributed-systems
paxi | awesome-distributed-systems | |
---|---|---|
1 | 6 | |
542 | 10,197 | |
- | - | |
3.0 | 3.0 | |
4 months ago | 21 days ago | |
Go | ||
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.
paxi
-
Paxos vs Raft: Have We Reached Consensus on Distributed Consensus?
Author seems to be using https://github.com/ailidani/paxi for actual implementation and proof.
I'm more of a python/rust guy. There have been some attempts to make model checkers in rust: https://github.com/stateright/stateright
The issue is that rust is a very large language and it's hard to get it right.
I have a python implementation of raft over here:
https://github.com/adsharma/raft/tree/master/raft/states
That's small enough to be self contained and perhaps run through a model checker some day and transpiled to many statically typed languages.
The issue with TLA+ proofs such as:
https://github.com/fpaxos/raft.tla
is that it's hard to tell if a particular C++ or Rust implementation conforms to the spec.
So how do we check and transpile?
* https://www.philipzucker.com/Modelling_TLA_in_z3py/
awesome-distributed-systems
-
Ask HN: How do I find technical papers (for distributed systems)?
Distributed systems is a very broad research topic nowadays, so it might make sense to check conferences covering a narrower topic, e.g. Cloud computing. Google Scholar might give some useful results for more specific search terms.
The reading lists for distributed systems university courses might also be interesting as well as this "awesome" link list on github:
https://github.com/theanalyst/awesome-distributed-systems
- Could anyone suggest any resources relating go with Distributed Systems / micro services?
- A curated list to learn about distributed systems
-
How would you structure a master and doctoral curriculum in distributed computing/systems?
I would this link if anyone is ever looking - https://github.com/theanalyst/awesome-distributed-systems
-
Learning Distributed Systems
And do not miss https://github.com/theanalyst/awesome-distributed-systems
-
Ask HN: Recommended books and papers on distributed systems?
https://www.cs.rutgers.edu/~pxk/417/readinglist.html
https://github.com/theanalyst/awesome-distributed-systems
https://dancres.github.io/Pages/
What are some alternatives?
stateright - A model checker for implementing distributed systems.
awesome-scalability - The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
raft
awesome-substrate - A curated list of awesome projects and resources related to the Substrate blockchain development framework.
py2many - Transpiler of Python to many other languages
ddia-references - Literature references for “Designing Data-Intensive Applications”
raft.tla - TLA+ specification for the Raft consensus algorithm
system-design-primer - Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
raft.tla - TLA+ specification for the Raft consensus algorithm
consensus - Entry point for consensus algorithm
sx - :vulcan_salute: Fast, modern, easy-to-use network scanner
papers