Abstract
We investigate the possibility of solving problems in completely asynchronous message passing systems where a number of processes may fail prior to execution. By using game-theoretical notions, necessary and sufficient conditions are provided for solving problems is such a model with an without a termination requirement. An upper bound on the message complexity for solving any problem in the model is given, as well as a simple design concept for constructing a solution to any solvable problem.
Original language | English |
---|---|
Pages (from-to) | 255-276 |
Number of pages | 22 |
Journal | International Journal of Parallel Programming |
Volume | 18 |
Issue number | 4 |
DOIs | |
State | Published - Aug 1989 |
Externally published | Yes |
Keywords
- Asynchronous protocols
- crash failures
- initial failures
- winning strategy