Dijkstra 的《A Discipline of Programming》，Per Brinch Hansen 的《The Architecture of Concurrent Programs》，文学编程（Literate programming）——参见 http://www.literateprogramming.com/ 。我不推荐《Design Patterns》（设计模式），因为只有当你的编程语言能力不足时才需要这些东西。还有……
A Discipline of Programming, Dijkstra The architecture of Concurrent Programs, Per Brinch Hansen Literate programming--see http://www.literateprogramming.com/ I don't recommend Design Patterns, as these are elements needed if your programming language is inadequate. There are…
他的那本《The Architecture of Concurrent Programs》真是个宝藏。我是很久以前在 C2 wiki 上看到 Ralph Johnson 的推荐才读的。专用操作系统，比如带有磁盘驱动（用于输入）和编译器（作为应用程序）……
The Architecture of Concurrent Programs (his book) is a real treasure. I read that on a tip from Ralph Johnson way back when on the C2 wiki. Special purpose operating systems e.g. with disk driver (for input) and a compiler (the application)…
……操作系统原理，而且他与 Tony Hoare 一起开创了操作系统中的管程（monitor）概念，并在他自己开发的 Concurrent Pascal 中实现了第一个管程。他的著作《The Architecture of Concurrent Programs》里包含了一个用 Concurrent Pascal 编写的小型操作系统 Solo，这很可能是第一个微内核（microkernel）操作系统。所以他是一位极具影响力和原创精神的计算机科学家。
…Systems Principles, and with Tony Hoare was the developer of the monitor concept in operating systems, developed the first implementation of a monitor in Concurrent Pascal which he developed. His book The Architecture of Concurrent Programs included a small operating sytem Solo written in Concurrent Pascal which was likely the first microkernel OS. So a very influential and original computer scientist.
这早就有人做过了，比微软的 SingularityOS 早得多：比如 Hansen 在 1977 年的书《The Architecture of Concurrent Programs》里，就是完全用这种进程隔离的思路用 Pascal 写了个操作系统。靠，我甚至觉得每个写自己的 toy OS 的人都应该先从这种思路起步，然后再去改造……
It's been done way earlier than MSFT's SingularityOS: see e.g. Hansen's book "The Architecture of Concurrent Programs" (from 1977) where he writes an OS in Pascal with exactly this approach to process separation. Heck, I'd argue everyone who writes their own toy OS should probably start with this approach and then retrofit…
…Concept"). This book also describes RC 4000 operating system which, by the way, inspired the whole microkernel research in the 70-ies and 80-ies. By 1978, the same Hansen guy has published another book, "The Architecture of Concurrent Programs", in which he describes both a new language, Concurrent Pascal, and a new microkernel OS called "Solo", implemented entirely in Concurrent Pascal. So believe it or not, people did know how to do multithreading…
Dijkstra 的《A Discipline of Programming》，Per Brinch Hansen 的《The Architecture of Concurrent Programs》，文学编程（Literate programming）——参见 http://www.literateprogramming.com/ 。我不推荐《Design Patterns》（设计模式），因为只有当你的编程语言能力不足时才需要这些东西。还有……
A Discipline of Programming, Dijkstra The architecture of Concurrent Programs, Per Brinch Hansen Literate programming--see http://www.literateprogramming.com/ I don't recommend Design Patterns, as these are elements needed if your programming language is inadequate. There are…
他的那本《The Architecture of Concurrent Programs》真是个宝藏。我是很久以前在 C2 wiki 上看到 Ralph Johnson 的推荐才读的。专用操作系统，比如带有磁盘驱动（用于输入）和编译器（作为应用程序）……
The Architecture of Concurrent Programs (his book) is a real treasure. I read that on a tip from Ralph Johnson way back when on the C2 wiki. Special purpose operating systems e.g. with disk driver (for input) and a compiler (the application)…
……操作系统原理，而且他与 Tony Hoare 一起开创了操作系统中的管程（monitor）概念，并在他自己开发的 Concurrent Pascal 中实现了第一个管程。他的著作《The Architecture of Concurrent Programs》里包含了一个用 Concurrent Pascal 编写的小型操作系统 Solo，这很可能是第一个微内核（microkernel）操作系统。所以他是一位极具影响力和原创精神的计算机科学家。
…Systems Principles, and with Tony Hoare was the developer of the monitor concept in operating systems, developed the first implementation of a monitor in Concurrent Pascal which he developed. His book The Architecture of Concurrent Programs included a small operating sytem Solo written in Concurrent Pascal which was likely the first microkernel OS. So a very influential and original computer scientist.
这早就有人做过了，比微软的 SingularityOS 早得多：比如 Hansen 在 1977 年的书《The Architecture of Concurrent Programs》里，就是完全用这种进程隔离的思路用 Pascal 写了个操作系统。靠，我甚至觉得每个写自己的 toy OS 的人都应该先从这种思路起步，然后再去改造……
It's been done way earlier than MSFT's SingularityOS: see e.g. Hansen's book "The Architecture of Concurrent Programs" (from 1977) where he writes an OS in Pascal with exactly this approach to process separation. Heck, I'd argue everyone who writes their own toy OS should probably start with this approach and then retrofit…
……概念”）。这本书还介绍了 RC 4000 操作系统，顺便提一句，正是它启发了七八十年代的整个微内核研究。到了 1978 年，还是这个 Hansen 又出版了另一本书《The Architecture of Concurrent Programs》，他在书里既介绍了一门新语言 Concurrent Pascal，又介绍了一个名为“Solo”的新微内核操作系统，该系统完全由 Concurrent Pascal 实现。所以不管你信不信，当时的人们确实懂得如何做 multithreading……
…Concept"). This book also describes RC 4000 operating system which, by the way, inspired the whole microkernel research in the 70-ies and 80-ies. By 1978, the same Hansen guy has published another book, "The Architecture of Concurrent Programs", in which he describes both a new language, Concurrent Pascal, and a new microkernel OS called "Solo", implemented entirely in Concurrent Pascal. So believe it or not, people did know how to do multithreading…