End-to-End Examples
My favorite: “A Too-Real Example” (2.2)
- Problem: corruption of bits in transit
- (Faulty) Solution: link-by-link checksumming
- Real problem: bits corrupted “between” links!
- Reliance on supposedly correct behavior
- Need end-to-end guarantee of correctness