系统设计的两种抽象：隐藏还是简化？

The Two Abstractions of System Design: Hide or Reduce

在讨论 TLA+ 时，我常强调抽象是核心技能，但为何许多 CS 从业者在此显得生疏？我发现关键在于混淆了两种截然不同的抽象：模块化抽象旨在通过封装隐藏内部细节，而建模抽象则致力于剥离无关因素，保留系统行为的本质骨架。前者试图掩盖并发，后者却主动暴露并驾驭它。从 Lamport 逻辑时钟到 Paxos 共识协议，分布式系统的精髓往往在于这种‘简化’而非‘隐藏’。理解这一区别，是掌握系统设计精髓的关键。