On the correctness of orphan management algorithms

DOI10.1145/146585.146616zbMath0799.68046OpenAlexW2043614093MaRDI QIDQ4302795

William E. Weihl, Michael Merritt, Maurice P. Herlihy, Nancy A. Lynch

Publication date: 21 August 1994

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/146585.146616

zbMATH Keywords

correctnessdistributed systemdistributed-computingorphan computationsorphan management algorithms

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (2)

Multi-granularity locking for nested transactions: A proof using a possibilities mapping ⋮ Verifying atomic data types

This page was built for publication: On the correctness of orphan management algorithms