You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Cluster bus is a distributed system gossip protocol. It comes with a lot of failure mode due to its distributed aspect. It would be great if we have some kind of fuzzy testing with random packet loss to validate its robustness. We could also use a modeling language, such P modeling https://github.com/p-org/P to model its protocol to validate this correctness and its ability to converge within certain timeout.
Description of the feature
I want to make cluster bus protocol more robust.
Alternatives you've considered
Not that I am aware of.
Additional information
None
The text was updated successfully, but these errors were encountered:
The problem/use-case that the feature addresses
Cluster bus is a distributed system gossip protocol. It comes with a lot of failure mode due to its distributed aspect. It would be great if we have some kind of fuzzy testing with random packet loss to validate its robustness. We could also use a modeling language, such P modeling https://github.com/p-org/P to model its protocol to validate this correctness and its ability to converge within certain timeout.
Description of the feature
I want to make cluster bus protocol more robust.
Alternatives you've considered
Not that I am aware of.
Additional information
None
The text was updated successfully, but these errors were encountered: