Deadlock avoidance, non-linearity and games

Authors:
Raymond Devillers
Affiliations:
Département d'Informatique, Universit é Libre de Bruxelles, Bruxelles, Belgium
Venue:
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Year:
2010

Citing 7
Cited 0

System Deadlocks

ACM Computing Surveys (CSUR)
Some Deadlock Properties of Computer Systems

ACM Computing Surveys (CSUR)
Game interpretation of the deadlock avoidance problem

Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves

Journal of Computational Physics
On deadlock in computer systems

On deadlock in computer systems
Code aware resource management

Proceedings of the 5th ACM international conference on Embedded software
Avoiding deadlock in multitasking systems

IBM Systems Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

Deadlocks lead to interesting questions and techniques, more subtle than usually thought; that led to some mistakes or difficulties that we shall exhibit. In particular, we shall show how the introduction of an asymmetric game allows to correct a flaw in the deadlock avoidance field.