Modèle de transactions avancées et modèle à composants
Institution:
ValenciennesDisciplines:
Directors:
Abstract EN:
During last years we may observe the quick development of distributed applications. This effect is evoked by quick development of hardware and of programming models. As a result, the programmers can create the more complicate software, which uses a lot of computers and servers. At the same time, the requirements to the quality of provided services are increasing too. The non-functional services are created in order to satisfy this requirement. The transactional service allows to create the reliable distributed applications in spite of the possible execution failures. But usually the new applications need the long transactions. However, the existing transactional services don't perform their charges in those conditions. As a result, the applications with a good potential, executed on powerful hardware can be blocked because of inability of transactional service which is intended for the less powerful applications. The advanced transactional models are intended to solve the problem of long transaction use. The analysis of different models shows that the Open Nested Transactions correspond to the needs of component based distributed applications. This transactional model allows to commit the sub-transactions without waiting for the commitment of the top-level transaction. In the same time, this model requires the presence of the compensation mechanism. This mechanism has to manage the compensations, caused by associated transactional manager in order to assure the database consistency in the case of failure. In this work we propose to extend the transactional service used by the component based platforms to the Open Nested Transaction model. We had begun from the proposition of compensation mechanism for the transactions executed by components. Then, we had studied the influences of compensation on the transactions, executed simultaneously or after this compensable transaction. At the end, we had proposed the mechanism allowing the non-conflict cohabitation of the classical and advanced transactions (or, more exectty, of the classical and open nested transactions)
Abstract FR:
Ces dernières années nous avons pu voir le développement rapide des applications distribuées. Cet effet est lié au développement rapide du matériel et des principes de la programmation. Par conséquent, les programmes peuvent se permettre de créer des applications plus compliquées mettant en oeuvre plusieurs ordinateurs et serveurs. En même temps, les exigences de qualité de services offerts augmentent aussi. Les services non-fonctionnels sont créés pour répondre à cette demande. Le service transactionnel permet de créer des applications distribuées fiables malgré les pannes possibles. Par contre, les applications modernes ont souvent besoin de transactions longues durée. Cependant, les services transactionnels existants ne s'acquittent pas de leurs tâches dans ces conditions. Ainsi, les applications possédants les bons potentiels exécutées sur de puissants matériels peuvent être bloquées à cause de l'impuissance des serveurs transactionnels destinés aux applicatins moins compliquées. Les modèles transactionnels avancés sont destinés à résoudre le problème des transactions longues. L'analyse montre que les modèle des transactions emboîtées ouvertes corespond aux besoins des applications distribuées basées sur les composants. Ce modèle permet de valider les sous transactions définitivement sans attendre la validation de la transaction-racine. Cependant, ce modèle nécessite un mécanisme de compensation des sous-transactions validées. Ce mécanisme doit gérer les compensations appelées par le gestionnaire transationnel associé pour garantir la cohérence de la base de données dans le cas d'une panne. Dans ce travail nous proposons d'étendre le service transactionnel utilisé par les plates formes à composants au modèle des transactions emboîtées ouvertes. Nous avons commencé par la proposition d'un mécanisme des compensations des transactions exécutées par les composants. Puis, nous avons étudié l'influence d'une compensation aux autres transactions exécutées en parallèle ou après cette transaction compensable. A la fin, nous avons proposé un mécanisme permettant la cohabitation non-conflictuelle entre les transactions classiques et les transactions avancées, et plus exactement, entre les transactions plates et les transactions emboîtées ouvertes.