This paper describes a method for constructing robust distributed programs. The method is based upon the provision of atomic actions that operate uponobjects(instances of abstract data types). The paper begins by constructing robustnon-distributed programs using the atomicaction mechanism and then proceeds to showhow robust distributed programs can be constructed in a similar fashion. Finally, the paper briefly examines other prototy pedistributed systems and examines their approachto the reliability problem.
展开▼