系统设计的两种抽象：隐藏还是简化？
The Two Abstractions of System Design: Hide or Reduce
在讨论 TLA+ 时，我常强调抽象是核心技能，但为何许多 CS 从业者在此显得生疏？我发现关键在于混淆了两种截然不同的抽象：模块化抽象旨在通过封装隐藏内部细节，而建模抽象则致力于剥离无关因素，保留系统行为的本质骨架。前者试图掩盖并发，后者却主动暴露并驾驭它。从 Lamport 逻辑时钟到 Paxos 共识协议，分布式系统的精髓往往在于这种‘简化’而非‘隐藏’。理解这一区别，是掌握系统设计精髓的关键。
模块化抽象封装细节并隐藏下层，而建模抽象则是横向切割系统，仅保留与所关注属性绝对相关的行为骨架。
HN 评论区
15- BoiledCabbage
我通常听到的讨论是“抽象”与“泛化”这两个概念。
抽象隐藏不必要的细节。泛化则是在事物之间寻找或揭示共性。
> oop - What's the difference between abstraction and generalization? - Stack Overflow - https://stackoverflow.com/questions/19291776/whats-the-diffe...
创建一个过程/方法是一种抽象。允许它接受参数则是一种泛化（使其能够用于多种相似的输入）。
仅仅创建一个整数数据类型就是一种非常简单的泛化形式，允许操作以通用的方式作用于任何整数。
- danparsonson
> 模块化抽象旨在隐藏交错执行（interleavings），并将操作呈现为原子的。其目标是让模块易于使用，但这样做就放弃了暴露并发或效率优化的机会。
> 与之形成鲜明对比的是，建模抽象关注的是识别哪些内容应该“泄露”出来并利用它！它暴露了细粒度的动作和顺序，并证明了尽管存在交错执行，不变性依然成立。这项工作的回报是从系统中榨取最大程度的安全并发。
我想我不太理解这里的论点，因为对我来说，这听起来就像是同一种蛋奶酱的两种不同口味；区别仅仅在于你在接口两侧所做的工作量的平衡，而这个决策取决于项目特定的用例。
这感觉更像是在谈论系统设计？抽象就是抽象——你可以在项目中的不同层级应用它，而在软件开发中构建技能的一大部分，就是学会如何缩放视角，并在每个阶段精准地把握抽象，但最终你做的都是同样的事情，一遍又一遍。我个人认为我们不需要对它进行分类。
- sigbottle
我觉得这恰恰说明了“压缩”这一概念可以有截然不同的理解（如今这个词因为 AI 而被频繁提及）。人类当然喜欢简单，但“简单”本身也可能有不同的应用场景。