Technical reports
On deadlock, livelock, and forward progress
Alex Ho, Steven Smith, Steven Hand
May 2005, 8 pages
DOI: 10.48456/tr-633
Abstract
Deadlock and livelock can happen at many different levels in a distributed system. We unify both around the concept of forward progress and standstill. We describe a framework capable of detecting the lack of forward progress in distributed systems. Our prototype can easily solve traditional deadlock problems where synchronization is via a customer network protocol; however, many interesting research challenges remain.
Full text
PDF (0.2 MB)
BibTeX record
@TechReport{UCAM-CL-TR-633, author = {Ho, Alex and Smith, Steven and Hand, Steven}, title = {{On deadlock, livelock, and forward progress}}, year = 2005, month = may, url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-633.pdf}, institution = {University of Cambridge, Computer Laboratory}, doi = {10.48456/tr-633}, number = {UCAM-CL-TR-633} }