值得重温的计算领域被遗忘的范式

重新评估内存分配与效率

内存管理仍然是一个定义不一致的挑战,需要回归第一性原理。尽管业界普遍认为内存分配是一个“已解决的问题”,但缺乏对碎片化的统一定义表明事实并非如此。未来的进展可能在于利用静态内存分配实例(这是一个 NP 完全问题)来训练深度学习系统,从而为设计更高效的动态分配器提供参考。此外,当前的计算架构受到“加载-操作-存储”循环的严重制约。通过将重点转向“加载-操作-操作-操作-存储”模式,开发人员可以更好地使软件与 CPU 操作比内存读取快几个数量级这一现实相匹配,从而可能获得显著的性能提升。

非常规架构与异构计算

冯·诺依曼架构的主导地位导致人们忽视了其他可能提供独特优势的计算模型。专家建议重新审视:

  • 异构计算: 探索非传统的数字和模拟计算模型,正如 Peter Kogge 的 The Zen of Exotic Computing 等资源中所详述的那样。
  • 三进制计算: 超越二进制逻辑,探索三值逻辑系统的潜力。
  • 异步数字设计: 消除全局时钟,以期在特定硬件环境下降低功耗并提高性能。
  • 专用硬件: 重新考虑 Lisp Machines 和 Forth Machines,它们旨在直接在硬件中执行特定的语言范式。

语言设计与演化编程

现代 AI 代理提供了一个重新审视那些曾被认为过于困难或小众的编程语言的机会。Pascal 经常被认为是现代复兴的主要候选者;其快速编译和高效的字符串处理使其成为强大的基础,特别是如果辅以现代特性或可选的垃圾回收机制。此外,人们对设计专门针对 LLM 而非人类可读性进行优化的语言越来越感兴趣。演化编程和程序化生成也重新引起了关注,因为 AI 代理现在可以处理测试和构建输出空间的复杂性,而这些工作在过去过于耗费人力。

分布式系统与操作系统设计

人们普遍认为,像 Kubernetes 这样的现代基础设施是一个工具包,而不是真正的分布式操作系统。重新审视分布式操作系统的设计,并回顾像 Plan 9 这样的实验性项目,可以为现代云原生环境提供更具凝聚力的基础。这种转变将优先考虑结构完整性,而不是当前“数字垃圾”的趋势,即快速版本迭代和不兼容的工具链导致了臃肿和维护脆弱性。

社区对计算优先级的看法

开发人员之间的讨论凸显了当前行业趋势与追求根本效率之间的张力。许多贡献者认为,该行业已经失去了对性能和简洁性的关注,往往优先考虑快速迭代而非长期的架构健康。正如一位开发人员所指出的,我们需要“关心效率”,并明确定义在现代语境下“快速且高性能”的真正含义。其他人则建议,下一波创新可能来自回顾像 Xanadu 这样“被遗忘”的系统,或者拥抱在没有当前基于 LLM 的辅助工具的情况下进行编码的挑战。

Sources