3 ms·
Where's the formal specification of the system? If we want these distributed systems to be reliable how can we be sure our algorithms and processes work if we d
by agentultra 10y ago
Where's the formal specification of the system? If we want these distributed systems to be reliable how can we be sure our algorithms and processes work if we do not first model them?
I'd be happy to work on a specification with the community.
- philips 10y agoWe haven't gotten that far down the path. We would love the help. I believe there are some issues related to documenting the architecture and failure domains for the v0.1.1 release: https://github.com/coreos/torus/milestones/v0.1.1 https://github.com/coreos/torus/milestones/v0.1.1 This is one of those classic "release too early or release too late" sort of things that got cut in preference to get early feedback and community participation.
- subway 10y agoComing from the company that raised hell about Docker's lack of a spec, this is an interesting approach.