Correctness as spectrum not as binary in distributed system

关于

In distributed system correctness is not about a program being complied well with the computer and it’s network, it’s only correctness can be only specified by it’s definition, assumptions and failure model. One of the area in which we can see this happen is when system breaks the idea of single machine model and it’s assumptions. Networks can drop or reorder messages, clock drift, nodes can fail in mid operations and network partitions can occur. These are normal conditions, not rare edge cases.

收录记录

1. Show HN

   2026年9月7日 · 1 次收录