Design of Multithreaded Software: The Entity-Life Modeling Approach (Hardcover)

This book assumes familiarity with threads (in a language such as Ada, C#, or Java) and introduces the entity-life modeling (ELM) design approach for certain kinds of multithreaded software. ELM focuses on "reactive systems," which continuously interact with the problem environment. These "reactive systems" include embedded systems, as well as such interactive systems as cruise controllers and automated teller machines.

Part I covers two fundamentals: program-language thread support and state diagramming. These are necessary for understanding ELM and are provided primarily for reference. Part II covers ELM from different angles. Part III positions ELM relative to other design approaches.

本書假設讀者對於執行緒（如Ada、C#或Java等程式語言中的執行緒）已有基本了解，並介紹了一種特定類型的多執行緒軟體設計方法，稱為實體生命模型（ELM）設計方法。ELM專注於「反應式系統」，這些系統與問題環境持續互動。這些「反應式系統」包括嵌入式系統，以及像巡航控制器和自動提款機等互動系統。

第一部分介紹了兩個基礎知識：程式語言的執行緒支援和狀態圖。這些基礎知識對於理解ELM是必要的，並主要提供作為參考。第二部分從不同角度介紹了ELM。第三部分將ELM與其他設計方法進行比較。