Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Coordinated backward recovery between client processes and data servers

Coordinated backward recovery between client processes and data servers

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IEE Proceedings - Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

The authors discuss backward error recovery for complex software systems, where different subsystems may belong to essentially different application areas. Such heterogeneous subsystems are naturally built according to different design ‘models’, namely the ‘object-action’ model (where the long-term state of the computation is encapsulated in data objects, and active processes invoke operations on these objects), and the ‘process-conversation’ model (where the state is contained in the processes, communicating via messages). To allow backward error recovery in these two ‘models’ of computation, two different schemes are most appropriate: atomic transactions for the object-action model, and conversations for the process-conversation model. Assuming that each of these two kinds of subsystem already has functioning mechanisms for backward error recovery, the authors describe the additional provisions needed for co-ordination between these heterogeneous subsystems. The solution involves altering the virtual machine on which the programs run, and programming conventions which seem rather natural and can be automatically enforced. The approach is demonstrated by a simple example.

References

    1. 1)
      • Strigini, L., Romanovsky, A., Di Giandomenico, F.: `Recovery in heterogeneous systems', 133, Technical report, 1994, PDCS–2 ESPRIT Basic Researchproject.
    2. 2)
      • Strigini, L., Di Giandomenico, F., Romanovsky, A.: `On a scheme for backward recovery in complex systems including both clientprocesses anddata servers', Technical report, October 1996.
    3. 3)
      • Gopal, G., Griffith, N.D.: `Software fault tolerance in telecommunication systems', Proceedings of 4th ACM SIGOPS European workshop, 1990, Bologna, Italy.
    4. 4)
      • Barnes, J.: `Introducing Ada9X', Ada9X project report, 1993.
    5. 5)
      • A.K. Elmagarmid . (1992) Database transaction models for advanced applications.
    6. 6)
      • N.A. Lynch , M. Merrit , W.E. Wehil , A. Fekete . (1993) Atomic transactions.
    7. 7)
      • J. Saltzer , M. Schroeder . The protection of information in computer systems. Proc. IEEE , 9 , 1278 - 1308
    8. 8)
      • Randell, B., Xu, J.: `Object-oriented software fault tolerance: framework,reuse and design diversity', 1993, p. 165–184, in ‘Predictably dependable computing systems’, ESPRITBasic Research Project 6362–PDCS 2, First year report.
    9. 9)
      • Fabre, J.C., Randell, B.: `An object-oriented view of fragmented dataprocessing for fault and intrusion tolerance in distributed systems', Proc. ESORICS 92, 1992, Springer-VerlagLecture notes in comp. sci.,Vol. 648, .
    10. 10)
      • T. Anderson , J.C. Knight . A framework for software fault-tolerancein real-time systems. IEEE Trans. Soft. Eng. , 3 , 355 - 364
    11. 11)
      • J. Gray , A. Reuter . (1994) Transaction processing: Concepts and techniques.
    12. 12)
      • A. Clematis , V. Gianuzzi . Structuring conversation in operation/procedure oriented programming languages. Comput. Lang. , 3 , 153 - 168
    13. 13)
      • Gudes, E., Fernandez, E.B.: `Combined application datafault recovery', Proceedings of IEEE international conference on Computersystems and software engineering, 1990, Tel Aviv, Israel.
    14. 14)
      • Di Giandomenico, F., Strigini, L.: `Implementations and extensions ofthe conversation concept', Proceedings of 5th international GI/ITG/GMA conference on Fault-tolerantcomputing systems — tests, diagnosis, fault treatment, September 1991, Nürnberg, Germany.
    15. 15)
      • C.M.F. Rubira-Calsavara , R.J. Stroud . Forward and backwarderror recovery in C++. Object Oriented Systems , 1 , 61 - 85
    16. 16)
      • M. Ancona , A. Clematis , G. Dodero , E.B. Fernandez , V. Gianuzzi . A system architecture for fault tolerance in concurrent software. IEEE Comput. , 10 , 23 - 31
    17. 17)
      • T. Anderson , P.A. Lee . (1981) Fault tolerance: principles and practice.
    18. 18)
      • B. Randell . System structure for software fault tolerance. IEEE Trans. Soft. Eng. , 2 , 220 - 232
    19. 19)
      • K.H. Kim . Approaches to mechanization of the conversation scheme based onmonitors. IEEE Trans. Soft. Eng. , 3 , 189 - 197
    20. 20)
      • S.K. Shrivastava , L.V. Mancini , B. Randell . The duality offault-tolerant system structures. Soft.: Pract. Exper. , 7 , 773 - 798
    21. 21)
      • A. Romanovsky , L. Strigini . Backward error recovery viaconversations in Ada. Softw. Eng. J. , 6 , 219 - 232
    22. 22)
      • Gregory, S.T., Knight, J.C.: `On the provision of backward errorrecovery in production programming languages', Proceedings of 19th IEEE international symposium onFault-tolerant computing, 1989, Chicago, Illinois.
    23. 23)
      • Strigini, L., Di Giandomenico, F.: `Flexible schemes for application-levelfault tolerance', Proceedings of 10th IEEE symposium on Reliable distributedsystems, 1991, Pisa, Italy.
http://iet.metastore.ingenta.com/content/journals/10.1049/ip-sen_19971103
Loading

Related content

content/journals/10.1049/ip-sen_19971103
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address