Operating Systems - Design and Implementation, 3^rd edition [Chapter

Tanenbaum, A. S. (2006). Operating Systems - Design and Implementation, 3rd edition [Chapter: 2.3.1 The Dining Philosophers Problem]. Pearson Education.

Type

Book

Intellectual base

Textbook

Year

2006

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Dining philosophers problem
  • … think request acquire act and release states, mutual exclusion, deadlock configuration, starvation and fairness property, scheduling assumptions and protocol and liveness proof are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:0b57acbd1eaa · see in the full table