Miranda, J., Alvarez, A., Arvalo, S. and Guerra, F. Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. In Ada-Europe'96, LNCS 1088, Springer-Verlag, 1996, 235-246.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....guaranteeing deterministic replicas imposes several restrictions on the application programmer, excluding Ada constructs that may cause non deterministic replicas evolution. Guaranteeing replica determinism by means of explicit programming mechanisms [7] 8] 19] or extending the language [11] are not appropriated in a fault tolerant transparent approach. Allowing the use of non deterministic replication of an Ada program is not also an easy task since Ada is inherently a non deterministic language. In an Ada application some causes for divergence between replicas are: synchronous ....

Miranda, J., Alvarez, A., Arvalo, S. and Guerra, F. Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. In Ada-Europe'96, LNCS 1088, Springer-Verlag, 1996, 235-246.

....modularity, and separate compilation; it has been extensively used for the development of mission critical and safety critical software. It is not surprising that there has also been various research in the faulttolerant area, such as providing recovery blocks for Ada [3] replication for Ada 83 [4], and recently even replication of Ada 95 partitions [5, 6] Support for transactions in Ada 95 would be a powerful tool for a programmer of a fault tolerant application. This paper will study the issues in design and development of a transaction support for Ada 95. In section 2, transactions and ....

Miranda, J.; Alvarez, A.; Arvalo, S.; Guerra, F.: "Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications". In Reliable Software Technologies - Ada-Europe'96, volume 1088 of Lecutre Notes in Computer Science, pp. 235 -- 246, Springer Verlag, 1996.

....guaranteeing deterministic replicas imposes several restrictions on the application programmer, excluding Ada constructs that may cause non deterministic replicas evolution. Guaranteeing replica determinism by means of explicit programming mechanisms [7] 8] 19] or extending the language [11] are not appropriated in a fault tolerant transparent approach. Allowing the use of non deterministic replication of an Ada program is not also an easy task since Ada is inherently a non deterministic language. In an Ada application some causes for divergence between replicas are: synchronous ....

Miranda, J., Alvarez, A., Arvalo, S. and Guerra, F. Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. In Ada-Europe'96, LNCS 1088, Springer-Verlag, 1996, 235-246.

....a protocol, DT multicast, that can be used to implement both protocols. Our opinion is that both models are complementary. We have developed a new transaction model, Group Transactions , that integrates both approaches. We have extended a group oriented fault tolerant distributed language, Drago [30], with transactional mechanisms in a new version of the language called Transactional Drago [31] TransLib has also been used to provide run time support for Transactional Drago. TransLib uses as communication layer, the group communication library GroupIO [32] This library provides reliable ....

J. Miranda, ' A. ' Alvarez, S. Ar'evalo, and F. Guerra. Drago: An Ada Extension to Program Fault-tolerant Distributed Applications. In A. Strohmeier, editor, Proc. of Int. Conf. on Reliable Software Technologies, volume LNCS 1088, pages 235--246, Montreaux, Switzerland, June 1996. Springer.

....it back by means of comm. d The returned call with the results cross the network. e The client stub unflattens the call. f The client unblocks and gets the call results. 3 APPLYING THE Multithreaded Rendezvous DESIGN PATTERN TO TRANSACTIONAL DRAGO Transactional Drago [8] is an Ada and Drago [7] extension to program fault tolerant distributed applications. It implements the group transaction model, an integration of the group and nested transaction paradigms. Groups are made up of agents, the unit of distribution in Transactional Drago. There are two kinds of groups: cooperative and ....

J. Miranda, ' A. ' Alvarez, S. Ar'evalo, and F. Guerra. Drago: An Ada Extension to Program Faulttolerant Distributed Applications. In A. Strohmeier, editor, Proc. of Reliable Software Technologies, AdaEurope '96, volume LNCS 1088, pages 235--246. Springer, 1996.

....The library allows also client server interactions where the client may be a group this interaction is not supported by ISIS and relies on an own consensus protocol [8, 9] to implement the uniform broadcast protocols. Group IO is the base on which the programming language Drago [2, 15, 16] has been implemented, however it does not require Drago for its use. Keywords: Distributed Systems, Fault Tolerant Systems, Ada, Isis. 1 Introduction The increasing dependence of modern society on computer systems calls for increasing degrees of reliability which become very expensive to ....

....The second problem with ISIS is that it does not support full n to 1 communication 6 . Last but not least, ISIS provides no linguistic support. In fact, ISIS is just a collection of libraries written in C, and as such its use leads to code which is both complex and error prone. 3 Drago Drago[16] is an experimental language developed as an extension of Ada for the construction of fault tolerant distributed applications. The hardware assumptions are a distributed system with no memory shared among the different nodes, a reliable communication network with no partitions, and fail silent ....

[Article contains additional citation context not shown here]

Miranda, J., Alvarez, A., Ar'evalo, S. and Guerra, F. Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. Proceedings of the Reliable Software Technologies---Ada-Europe ' 96 Conference, LNCS 1088, Springer Verlag.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC