超越效率

主要观点:

  • crashed 电脑常见,计算机科学常强调处理效率而忽视健壮性,而健壮性需冗余,效率会消除冗余,为实现更安全和可扩展的计算,需权衡两者。
  • “CEO 软件”思维虽多有成功但具误导性和风险性,传统数字架构依赖 von Neumann 模型,虽高效但不可扩展,如今计算需求变化,系统中“CEO 软件”越多越易崩溃。
  • 以排序为例说明效率和健壮性可权衡,如对短列表排序,低效的冒泡排序可能更健壮,高效算法在面对故障时可能更易出错,优化效率会削弱健壮性。
  • 应研究和管理不正确性以实现健壮性,需更好地了解效率 - 健壮性权衡,理解健壮的应用编程,开发动态调整效率和健壮性的算法等。

关键信息:

  • crashed 电脑常见,如智能手机、汽车、医疗设备中的电脑需健壮。
  • 计算机科学中一些领域视冗余为浪费,如算法和数据库设计等,而容错和软件可靠性领域采用冗余增强健壮性。
  • “CEO 软件”思维下软件追求正确性和效率,忽视可靠性,如今世界变化,这种思维的局限性凸显。
  • 以排序算法为例,高效算法在大规模数据排序时效率高,但在面对故障时可能出错,低效的冒泡排序在某些情况下更健壮。
  • 应研究和管理不正确性,如开发新的计算架构、扩展软件质量指标、理解健壮的应用编程等。

重要细节:

  • 文中提到如 TCP 库等错误纠正硬件和故障掩盖子系统支持“CEO 软件”思维,但实际效率和健壮性是耦合的。
  • 介绍了各种排序算法如快速排序、归并排序和冒泡排序的特点及在不同情况下的表现。
  • 举例说明故障可能导致排序算法输出错误,如比较组件不可靠时。
  • 提及容错研究人员也可能受“CEO 软件”诱惑,以及 von Neumann 对其设计的可扩展性限制的认识。
  • 给出了相关研究文献和作者信息,以及 CACM 欢迎投稿的相关事宜。
阅读 12
0 条评论