Tyrrell, A.M. orcid.org/0000-0002-8533-2404 and Carpenter, G.F. (1995) CSP methods for identifying atomic actions in the design of fault tolerant concurrent systems. IEEE Transactions on Software Engineering. pp. 629-639. ISSN 0098-5589
Abstract
Limiting the extent of error propagation when faults occur and localizing the subsequent error recovery are common concerns in the design of fault tolerant parallel processing systems, Both activities are made easier if the designer associates fault tolerance mechanisms with the underlying atomic actions of the system, With this in mind, this paper has investigated two methods for the identification of atomic actions in parallel processing systems described using CSP, Explicit trace evaluation forms the basis of the first algorithm, which enables a designer to analyze interprocess communications and thereby locate atomic action boundaries in a hierarchical fashion, The second method takes CSP descriptions of the parallel processes and uses structural arguments to infer the atomic action boundaries. This method avoids the difficulties involved with producing full trace sets, but does incur the penalty of a more complex algorithm.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | Copyright © 1995 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
Keywords: | ATOMIC ACTIONS,CONCURRENT SYSTEMS,CSP,FAULT TOLERANCE,DISTRIBUTED SYSTEMS,CONVERSATION SCHEME,SOFTWARE,ROBUST |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Electronic Engineering (York) |
Depositing User: | Repository Officer |
Date Deposited: | 01 Feb 2006 |
Last Modified: | 12 Jan 2025 00:03 |
Published Version: | https://doi.org/10.1109/32.392983 |
Status: | Published |
Refereed: | Yes |
Identification Number: | 10.1109/32.392983 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:971 |