Dining philosophers that tolerate malicious crashes. Nesterenko, M. & Arora, A In 22nd International Conference on Distributed Computing Systems, 2002. Proceedings, pages 191--198, 2002.
doi  abstract   bibtex   
We present a solution to the problem of dining philosophers. Our solution tolerates malicious crashes. In a malicious crash the failed process behaves arbitrarily for a finite time and then ceases all operation undetectably to other processes. The tolerance of our solution is achieved by the combination of stabilization and crash failure locality. Stabilization allows our program to recover from an arbitrary state. Crash failure locality ensures that only a limited number of processes are affected by a process crash. The crash failure locality of our solution is optimal. Finally, we argue that the malicious crash fault model and its extensions are worthy of further study as they admit tolerances that are not achieved under stronger fault models and are unnecessary under weaker fault models.
@inproceedings{ nesterenko_dining_2002,
  title = {Dining philosophers that tolerate malicious crashes},
  doi = {10.1109/ICDCS.2002.1022256},
  abstract = {We present a solution to the problem of dining philosophers. Our solution tolerates malicious crashes. In a malicious crash the failed process behaves arbitrarily for a finite time and then ceases all operation undetectably to other processes. The tolerance of our solution is achieved by the combination of stabilization and crash failure locality. Stabilization allows our program to recover from an arbitrary state. Crash failure locality ensures that only a limited number of processes are affected by a process crash. The crash failure locality of our solution is optimal. Finally, we argue that the malicious crash fault model and its extensions are worthy of further study as they admit tolerances that are not achieved under stronger fault models and are unnecessary under weaker fault models.},
  booktitle = {22nd {International} {Conference} on {Distributed} {Computing} {Systems}, 2002. {Proceedings}},
  author = {Nesterenko, M. and Arora, A},
  year = {2002},
  keywords = {Computer crashes, Distributed computing, Fault models, Stability, _done, _model_of_failures, concurrency control, crash failure locality, dining philosophers problem, failed process, malicious crash tolerance, program recovery, resource allocation, software fault tolerance, stabilization, system recovery},
  pages = {191--198}
}

Downloads: 0