R. Jimenez Peris, M. Patino Martnez, S. Arevalo, and F. Ballesteros. TransLib: An Ada 95 Object Oriented Framework for Building Dependable Applications. Int. Journal of Computer Systems: Science & Engineering, 15(1):113--125, Jan. 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....by a thread inside the transaction. Any thread may decide to signal an exception with or without transaction abort. The Argus model proved to be very influential: several systems have been developed which rely on similar computational models, including Vinari ML [4] and Transactional Drago [5]. Let us now analyse existing exception handling models in transactional systems. Classical transactional systems usually do not incorporate exception handling and use return error codes instead. There are many problems with this approach. Firstly, using return codes has been always been ....

....of Ada and the newly developed OMTT features. Generally speaking, there are two types of services: the ones related to thread control, tasking in Ada terminology, and the other ones related to transactional objects. The latter is implemented as an extension of the TransLib framework presented in [5, 6]. The approach is based on design patterns in order to maximise modularity and flexibility. The OMTT support can be easily customised for specific application needs by using object oriented programming techniques, because: it supports optimistic and pessimistic concurrency control; it ....

R. Jimenez-Peris, M. Patino-Martinez, S. Arevalo. TransLib: An Ada 95 Object Oriented Framework for Building Transactional Applications. Computer Systems: Science & Engineering J., 15, 1. 2000.

....can fork concurrent threads which are joined when a handler is completed (see Fig. 4) Handler execution forms an atomic transaction; the execution of nested handler calls are performed as nested transactions. The Argus approach has been very influential: Vinari ML [9] and Transactional Drago [14] have similar computational models. Vinari ML offers a transactional extension of SML which allows creating transactional versions of high order functions; in this model new participants are explicitly forked by existing participants. Transactional Drago is an extension of Ada (it requires a ....

....is not possible to declare external exceptions in transactional functions; a transaction is always aborted if any exception is propagated outside the transactional function; if there is no local thread level handler for an exception, it gets propagated outside the transaction. Transactional Drago [14], unlike Argus and Vinari ML, resolves concurrent exceptions raised by several participating threads before signalling a resolved exception outside the transaction. In this model, external exceptions cannot be declared in the transaction interface, and any exception which is not handled by a ....

Jimenez-Peris, R., Patino-Martinez, M., Arevalo, S.: TransLib: An Ada 95 Object Oriented Framework for Building Transactional Applications. Computer Systems: Science & Engineering Journal, 15, 1 (2000) 113-125

....thus they will execute transactions with exactly the same interleaving. What is more, transactions will request locks in the same order at all replicas and hence, they will be serialized in the same order. 2 6. Implementation issues The MTRDS algorithm has been implemented as part of TransLib [12], an object oriented library for distributed transaction processing. TransLib is used as run time support for the programming language Transactional Drago [17] Both TransLib and Transactional Drago support transactional group servers. The implementation of TransLib has been made in Ada 95 [1] ....

R. Jimenez Peris, M. Patino Martnez, S. Arevalo, and F. Ballesteros. TransLib: An Ada 95 Object Oriented Framework for Building Dependable Applications. Int. Journal of Computer Systems: Science & Engineering, 15(1):113--125, Jan. 2000.

....model a single client interacts with transactional replicas. The replicas can be aware of each other and communicate using multicast. The model also supports subtransactions, multithreaded transactions and considers failure atomicity. GroupTransactions is implemented as a library TransLib for Ada [17]. Our approach is to make use of standard group communication primitives, allow for heterogeneous resources, apply error compensation techniques to improve intrusion tolerance, to allow for multi party (and potentially) multi threaded transactions and to consider failure atomicity. This ....

R. Jimenez-Peris, M. Pati~no Mart  inez, S. Arevalo, and F. J. Ballesteros. Translib: An ada 95 object oriented framework for building dependable applications. International Journal of Computer Systems: Science & Engineering, 15(1):113-125, 2000.

....of existing solutions and minimize the number of aborted transactions. We are currently implementing and experimentally evaluating the protocols and, as part of future work, we will deploy a web farm with a replicated database built upon these protocols. For this purpose we will use TransLib [JPAB00], a group based TP monitor. ....

R. Jim'enez Peris, M. Pati~no Mart'inez, S. Ar'evalo, and F.J. Ballesteros. TransLib: An Ada 95 Object Oriented Framework for Building Dependable Applications. Int. Journal of Computer Systems: Science & Engineering, 15(1):113--125, January 2000.

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