Department of Computer Science and Technology

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}
}