Dijkstra: semaphore coordination of sequential processes

What changed

Atomic semaphore P/V operations and systematic examples express resource waiting and producer–consumer coordination among independently executing processes.

Scientific scope

Atomic semaphore P/V operations and systematic examples express resource waiting and producer–consumer coordination among independently executing processes. This record concerns the 1965 manuscript published in 1968. It is distinct from the THE system, guarded-command calculus and shortest-path algorithm. No independent correctness replay of every example is claimed.

Evidence

Source-linked, scoped account of the original work. The published scope states the scientific assumptions and remaining verification limits. WRS has not independently certified the full proof, experimental result or system benchmark.

Contributors

• Edsger W. Dijkstra · SCIENCE: Original source-listed scientific author of this scoped work; byline does not determine effort fractions.

• Cooperating Sequential Processes, EWD 123 (1965 manuscript; 1968 publication)

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction