Communicating Sequential Processes

Livro digital

Título:
Communicating Sequential Processes

Autor:
C. A. R. Hoare

Categoria:
Tecnologia > Geral

Doador:
Raffaello D. N.

Sinopse:
Concurrency has long been a source of confusion and subtle bugs for programmers — interference, deadlock, race conditions and nondeterminism. Communicating Sequential Processes offers a rigorous yet readable way out: a mathematical theory of processes built from a small set of algebraic laws, illuminated throughout by concrete examples that range from vending machines and the classic five dining philosophers to complete miniature operating systems. The book unfolds in a carefully ordered progression. Chapter 1 defines a process as a mathematical abstraction and introduces traces and specifications; Chapter 2 assembles processes into concurrent systems, with the dining philosophers as its centerpiece; Chapter 3 tackles nondeterminism; Chapter 4 introduces synchronised communication through channels, buffers, pipes and systolic arrays; Chapter 5 integrates the operators of sequential programming into the same framework, down to the externally triggered interrupt; and Chapter 6 models shared physical resources as processes, culminating in modular operating systems. A final chapter surveys alternative approaches to concurrency and the motives behind this theory. What the reader carries away is a discipline: parallel composition becomes as simple as sequential composition, and the algebraic laws allow designs to be transformed and proved correct, avoiding divergence, deadlock and non-termination rather than debugging them after the fact. Decades later, CSP remains the intellectual foundation beneath channel-based languages and formal verification tools, making this book essential for anyone who wants to understand concurrency more deeply than API documentation can reach.