Adaptable Transactions for Mobile Environments
Transactions Adaptables pour les Environnements Mobiles
Résumé
In this dissertation, we are interested in transactions in mobile environments. The focussed problem is the context influence on transaction execution. Mobile environments are characterized by highly variable wireless networks and by limited mobile host resources. Such characteristics affect data management and in particular, they generate high rates of transactional failures and unpredictable execution costs. We propose an Adaptable Mobile Transaction model (AMT) that allows defining transactions with several execution alternatives associated to a particular context. This model offers the possibility of adapting transactions to the context and controlling execution costs with respect to application correctness criteria. The AMT model has been specified by using the formalism ACTA. We propose an analytical study which shows that (1) using AMTs increases commit rates, and (2) costs become predictable thanks to the possibility of choosing transaction execution types according to the context. To validate our approach, we defined the middleware TransMobi that manages environment awareness and implements the AMT model with suitable protocols. Among these protocols, we propose CO2PC, a commit protocol to ensure semantic atomicity. We developed a TransMobi prototype in PersonalJava that uses a relational databases, a WLAN and personal assistants (PDA).
Dans cette thèse, nous nous intéressons aux transactions dans les environnements mobiles. La problématique visée est l'influence du contexte sur l'exécution des transactions. En effet, les environnements mobiles se caractérisent par une grande variabilité au niveau réseau sans fil et par des unités mobiles à ressources limitées. Ces caractéristiques affectent la gestion de données, en particulier, elles entraînent un nombre important de défaillances transactionnelles et des coûts d'exécution imprévus. Nous proposons un modèle de Transactions Mobiles Adaptables (AMT) permettant de définir des transactions avec plusieurs alternatives d'exécution. Ce modèle offre la possibilité d'adapter les transactions au contexte et de maîtriser le coût de leur exécution selon des critères de qualité acceptables pour l'application. Le modèle AMT a été spécifié avec le formalisme ACTA. Nous proposons une étude analytique qui montre que (1) les transactions de type AMT augmentent la probabilité de validation, et que (2) les coûts deviennent prévisibles grâce à la possibilité de choisir le type d'exécution en fonction du contexte. Pour valider notre approche, nous avons conçu l'intergiciel TransMobi qui gère la perception de l'environnement et qui implante le modèle AMT à l'aide de protocoles appropriés. En particulier, nous proposons le protocole de validation CO2PC qui assure l'atomicité sémantique. Nous avons développé un prototype de TransMobi en PersonalJava qui utilise des bases de données relationnelles, un réseau WLAN et des assistants personnels (PDA).