被认为有害
上一个题为“成就被认为有害？”的报告]] 「被认为有害」（）一词是至少65篇计算机科学及相关学科领域重要论文均在标题中使用的一个短语模板。其起源可以追溯到1968年艾兹赫尔·戴克斯特拉的文章《Go To语句被认为有害》（Go To Statement Considered Harmful）。 历史 “被认为有害”一词由艾兹赫尔·戴克斯特拉发表在1968年3月的ACM通讯（CACM）上的《Go To语句被认为有害》中首次出现，他在文章中批…
标签：#艾兹赫尔·戴克斯特拉
共 6 篇文章
戴克斯特拉算法
{{Infobox algorithm |class=搜索算法 |image=Dijkstra Animation.gif |caption = 戴克斯特拉算法运行演示（找到A，B之间的最短路），本算法每次取出未访问结点中距离最小的，用该结点更新其他结点的距离。在演示过程中访问过的结点会被标为红色。 |data=图 堆/优先队列（算法优化） |best-time= |average-time= |SpaceComp=O(|E|+|V|)…
守卫命令语言
守卫命令语言（GCL：Guarded Command Language）是艾兹赫尔·戴克斯特拉于1975年为定义的一门语言。它以精简方式组合了编程概念，它们处在以某种实际的编程语言书写程序之前。它的简单性使得采用霍尔逻辑证明程序的正确性更加容易。 守卫命令 守卫（guarded）命令是守卫命令语言的最重要元素。在守卫命令中，同名字所说一样，这个命令是被守卫着的。这个守卫是先决条件，在这个语言被之前，它必须为真。在这个语句执行开始时，可以…
THE 作業系統
THE 作業系統（），又稱THE 多工程式系統（），由荷蘭計算機科學家艾茲赫爾·戴克斯特拉所設計、開發的作業系統。在1965年至1966年間，設計出系統模型，並在1968年發表。它的名稱來自於埃因霍温理工大学的前身，埃因霍温技术学校（，THE），它的縮寫。 THE是批次處理系統，支持多工程式，但是不支持多用戶，只能供單一用戶使用。 參考資料 Edsger Dijkstra, The Structure of the THE Operat…
生产者消费者问题
生产者消费者问题（），也称有限缓冲问题（），是一个多进程同步问题的经典案例。该问题描述了共享固定大小缓冲区的两个进程——即所谓的“生产者”和“消费者”——在实际运行时会发生的问题。生产者的主要作用是生成一定量的数据放到缓冲区中，然后重复此过程。与此同时，消费者也在缓冲区消耗这些数据。该问题的关键就是要保证生产者不会在缓冲区满时加入数据，消费者也不会在缓冲区中空时消耗数据。 要解决该问题，就必须让生产者在缓冲区满时休眠（要么干脆就放弃数据…
艾兹赫尔·戴克斯特拉
艾兹赫尔·韦伯·戴克斯特拉（，，），又譯艾兹赫尔·韦伯·迪杰斯特拉，生於荷蘭鹿特丹，计算机科学家，是荷蘭第一位以程序设计為專業的科學家。他曾在1972年获得图灵奖，之后还获得1974年AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖。 2002年，在他去世前不久，获得了ACM PODC（分布式计算原理）最具影响力论文奖，以表彰他在分布式领域中关于程序计算自稳定的…