Deadlock prevention with collectively occupied resources

zbMath0591.68029MaRDI QIDQ1075049

R. Eh. Asratyan, Valeri A. Makarov

Publication date: 1985

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

correctnessshared resourcesparallel processesdeadlock freedomDijkstra's banker's algorithmOccupy and release algorithms

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (1)

A fair Banker's Algorithm for read and write locks

This page was built for publication: Deadlock prevention with collectively occupied resources