1 TransMobi : Intergiciel pour la Gestion de Transactions Mobiles Patricia Serrano-Alvarado Claudia L. Roncancio Michel E. Adiba Laboratoire LSR-IMAG Grenoble

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 2/18 Environnement mobile Cellule Wireless radio (9 Kbps - 2 Mbps) UM UF SB Réseau fixe UM Cellule Wireless LAN (11 Mbps) UF UM BD Unité mobile Réseau mobile (RM) UF SB Unité fixe Station base UM Réseau fixe (RF) BD Base de données Fréquentes déconnexions Variations du débit de communication Coût de communication élevé et variable Ressources des UM limitées batteries capacité de calcul capacité de stockage...

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 3/18 TransMobi Intergiciel qui étend les fonctions de gestion de transactions afin de gérer des transactions mobiles adaptables Adaptabilité à l’environnement mobile Modèle de transactions mobiles adaptables (AMT) supportant quatre modèles d’exécution Bonne qualité de service

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 4/18 Approche générale Application mobile Gestionnaire de transactions dans l’UM Gestionnaire de transactions dans l’UM TransMobi Mobile TransMobi Agent TransMobi Serveur Gestionnaire de transactions du serveur Gestionnaire de transactions du serveur SGBD Mobile SGBD Serveur Intergiciel TransMobi Unité Mobile Station Base Unité Fixe

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 5/18 Transactions mobiles (TM) Une transaction mobile (TM) est une transaction où au moins une UM participe à l’exécution Modèles d’exécution des TM : La TM est exécutée complètement sur des UF L’exécution de la TM est distribuée entre une UM et des UF L’exécution de la TM est distribuée entre plusieurs UM La TM est exécutée complètement sur l’UM

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 6/18 Environnement mobile Descripteur de l’environnement mobile (ED) ED = { caractéristique (valeurs) } Exemple : ED = { connection-state(connected), communication-cost(free,cheap), available-battery(medium) }

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 7/18 Environnement mobile Perception de l’Environnement Mobile (EM) au travers d'événements synchrones et asynchrones

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 8/18 Le modèle AMT Offre des concepts pour définir les transactions mobiles adaptables (AMT) Une AMT i est composée d’une ou plusieurs alternatives d’exécution EA j (avec des transactions composantes T k ) Une T k : est exécutée par un SGBD (UM/UF) peut être une transaction plate, répartie ou imbriquée peut avoir une transaction de compensation (TC k ) attachée

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 9/18 Schéma AMT Les EA sont sémantiquement équivalentes Seule, une EA doit être active à la fois La validation d’une EA est considérée comme la validation de l’AMT T0 EA j T1T2 EA j+1 T1T4 EA j+2 AMT i

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 10/18 Alternative d’exécution Une alternative d'exécution EA j est formée par : du descripteur d'environnement nécessaire (ED j ) nécessaire à son exécution d'un ou plusieurs plans d’exécution EP contenant : les transactions composantes (T k ) le coordinateur (coord) de ces transactions une relation de dépendances DR entre les plans d'exécution d’une même EA j

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 11/18 ED Schéma AMT DR ED j j+2 UMxUFy UFz UMx EP1 T0 EA j T1T2 EA j+1 T1T4 EA j+2 AMT i j

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 12/18 Propriétés des AMT Pour fournir les propriétés ACID (Atomicité, Cohérence, Isolation, Durabilité) aux AMTs... Selon le niveau 1. T k, sur l’UM ou UF le SGBD sous-jacent fournit les propriétés ACID (on suppose des SGBD autonomes comme GD)

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 13/18 Propriétés des AMT 2. EA distribuées UM-UF / UM-UM A : les T k d’une EA sont toutes validées ou toutes abandonnées (défaites ou compensées) Atomicité sémantique C : pas de contraintes d’intégrité entre les T k I : après la validation d’une T k, l’isolation peut être relâchée D : une fois une EA validée, la durabilité est garantie par les SGBD sous-jacents

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 14/18 Sérialisabilité Génération d’un graphe de sérialisabilité globale acyclique Génération d’un graphe de sérialisabilité globale acyclique UM  l’ordre de validation TransMobi intercepte toutes les transactions RF  OTM (Optimistic Ticket Method) Introduction de conflits directs entre les EA de différents AMT solution simple qui garantie la sérialisabilité globale n’interfère pas avec l’autonomie des SGBD sous-jacents applicable aux environnements mobiles

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 15/18 Propriétés des AMT 3. Dans les AMT on relâche : l’atomicité des AMT  semi-atomicité les T k dans une EA sont toutes validées et toute autre EA est annulée alors AMT est validée toutes les EA sont annulées alors AMT est annulée l’isolation après la validation locale des T k et on utilise des TC k  atomicité sémantique On offre : sérialisabilité globale adaptabilité aux différentes variations de l’environnement mobile

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 16/18 TransMobi MobileAMTMgr QueueMgr DepMgr MobileEvents RepMgr QueueMgr AgentAMTMgr CommEvents RepMgr ServerAMTMgr SerMgr TransMobi MobileTransMobi AgentTransMobi Server Mobile AMT Mobile Inf Agent AMT Server Cat Server AMT DepMgr TMgrMobileTMgrMobile TMgrServerTMgrServer Agent Cat AP

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 17/18 Travaux en cours Adaptabilité dynamique TransMobi -> différents scénarios de duplication/réconciliation Analyse de performances (temps moyen d’exécution, taux d’échec, coût d’exécution) Il exist un prototype -> WLAN (802.11), Compaq H386, Personal Java, Pointbase.

Colloque sur la mobilité, Décembre 2002, LORIA, Nancy 18/18 Publications Patricia Serrano-Alvarado. "Defining an Adaptable Mobile Transaction Service". In EDBT Ph.D. Workshop, Prague, Czech Republic, March This paper is published in LNCS Patricia Serrano-Alvarado, Claudia L. Roncancio, Michel Adiba. "Mobile Transaction Supports for DBMS". In 17ièmes Journées Bases de Données Avancées, Agadir, Maroc, October Patricia Serrano-Alvarado, Claudia L. Roncancio, Michel Adiba. "Issues on Mobile Transactions for DBMS". In Encuentro Nacional de Computación, Aguascalientes, México, September Patricia Serrano-Alvarado, Claudia L. Roncancio, Michel Adiba. "Analyzing Mobile Transactions Support for DBMS". In 4th International Workshop Mobility in Databases and Distributed Systems in DEXA, Munich, Germany, September, 2001.