Distributed synthesis of fault-tolerant programs in the high atomicity model

  • Authors:

  • Borzoo Bonakdarpour;Sandeep S. Kulkarni;Fuad Abujarad

  • Affiliations:

  • Department of Computer Science and Engineering, Michigan State University, East Lansing, MI;Department of Computer Science and Engineering, Michigan State University, East Lansing, MI;Department of Computer Science and Engineering, Michigan State University, East Lansing, MI

  • Venue:
  • SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all program variables in one atomic step. Although there has recently been an increasing interest in using parallel and distributed techniques in the model checking community, these technique have not been investigated in program synthesis. Developing such techniques is crucial as a means to cope with the state explosion problem in the context of program synthesis and transformation as well. We propose two distributed multithreaded algorithms for adding two levels of fault-tolerance, namely failsafe and masking, to existing fault-intolerant programs whose state space is distributed over a network or cluster of workstations.