CommandoSev
FIFO Reliable Broadcast Elixir
Hello, does anyone have a working FIFO(First in First Out) Realiable Broadcast model in elixir. I have failed to find one online.
First Post!
CommandoSev
I think it should implement that :
Algorithm 3.12: Broadcast with Sequence Number
Implements:
FIFOReliableBroadcast, instance frb.
Uses:
ReliableBroadcast, instance rb.
upon event frb, Init do
lsn := 0;
pending := ∅;
next := [1]N ;
upon event frb, Broadcast | m do
lsn := lsn + 1;
trigger rb, Broadcast | [DATA, self, m, lsn] ;
upon event rb, Deliver | p, [DATA, s, m, sn] do
pending := pending ∪ {(s, m, sn)};
while exists (s, m
, sn
) ∈ pending such that sn = next[s] do
next[s] := next[s]+1;
pending := pending \ {(s, m
, sn
)};
trigger frb, Deliver | s, m ;
Last Post!
CommandoSev
I have a solution to Eager Reliable Broadcast and I need to implement FIFO order, I just dont know how to do that.
Popular in Questions
Other popular topics
Latest on Elixir Forum
Sponsor Spotlight
Catch errors, track performance, monitor hosts and more.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #deployment
- #library
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #channels
- #elixirconf
- #exunit
- #discussion
- #code-sync
- #javascript
- #podcasts
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixir-ls
- #phoenix_html
- #iex
- #blog-post
- #graphql
- #genstage
- #ai
- #websockets
- #supervisor
- #elixirconf-us
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #metaprogramming
- #security
- #hex
Our Sponsors
Build Elixir applications with speed and confidence.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Error tracking, logs, uptime, and Just Enough APM. Built for developers.
Practical resources that improve the lives of professional developers.
Develop your skills with books, videos, and courses.
The deployment platform built for Elixir: PaaS ease, VPS control.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"