TransMobi : Intergiciel pour la Gestion de Transactions Mobiles

1
TransMobi Intergiciel pour la Gestion de
Transactions Mobiles

• Patricia Serrano-Alvarado
• Claudia L. Roncancio
• Michel E. Adiba

Laboratoire LSR-IMAG Grenoble
2
Environnement mobile
Réseau fixe
UM
UF
BD
BD
UF
UF
SB
UM
Cellule Wireless LAN (11 Mbps)
SB
SB
UM

• 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 ...

BD
UM
UM
BD
UM
BD
UM
UM
Cellule Wireless radio (9 Kbps - 2 Mbps)
3
TransMobi

• Intergiciel qui étend les fonctions de gestion de
  transactions afin de gérer des transactions
  mobiles adaptables
• Adaptabilité à lenvironnement mobile
• Modèle de transactions mobiles adaptables (AMT)
  supportant quatre modèles dexécution
• Bonne qualité de service

4
Approche générale
Unité Mobile
Station Base
Unité Fixe
Application mobile
Intergiciel TransMobi
TransMobi Mobile
TransMobi Agent
TransMobi Serveur
Gestionnaire de transactions dans lUM
Gestionnaire de transactions du serveur
SGBD Mobile
SGBD Serveur
5
Transactions mobiles (TM)

• Une transaction mobile (TM) est une transaction
  où au moins une UM participe à lexécution
• Modèles dexécution des TM
• La TM est exécutée complètement sur des UF
• Lexécution de la TM est distribuée entre une UM
  et des UF
• Lexécution de la TM est distribuée entre
  plusieurs UM
• La TM est exécutée complètement sur lUM

6
Environnement mobile

• Descripteur de lenvironnement mobile (ED)
• ED caractéristique (valeurs)
• Exemple
• ED connection-state(connected),
  communication-cost(free,cheap),
  available-battery(medium)

7
Environnement mobile

• Perception de lEnvironnement Mobile (EM) au
  travers d'événements synchrones et asynchrones

8
Le modèle AMT

• Offre des concepts pour définir les transactions
  mobiles adaptables (AMT)
• Une AMTi est composée dune ou plusieurs
  alternatives dexécution EAj
• (avec des transactions composantes Tk)
• Une Tk
• 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 (TCk)
  attachée

9
Schéma AMT
AMT
i
EA
EA
EA
j
j1
j2
T0
T1
T2
T1
T4

• Les EA sont sémantiquement équivalentes
• Seule, une EA doit être active à la fois
• La validation dune EA est considérée comme la
  validation de lAMT

10
Alternative dexécution

• Une alternative d'exécution EAj est formée par
• du descripteur d'environnement nécessaire (EDj)
  nécessaire à son exécution
• d'un ou plusieurs plans dexécution EP contenant
  
• les transactions composantes (Tk)
• le coordinateur (coord) de ces transactions
• une relation de dépendances DR entre les plans
  d'exécution dune même EAj

11
Schéma AMT
AMT
i
ED
ED
j
j2
ED
j1
EA
EA
EA
j
j1
j2
UMx
UFy
UFy
UFz
UMx
EP1
T0
T1
T2
T1
T4
DR
DR
12
Propriétés des AMT

• Pour fournir les propriétés ACID (Atomicité,
  Cohérence, Isolation, Durabilité) aux AMTs ...
• Selon le niveau
• 1. Tk, sur lUM ou UF
• le SGBD sous-jacent fournit les propriétés ACID
• (on suppose des SGBD autonomes comme GD)

13
Propriétés des AMT

• 2. EA distribuées UM-UF / UM-UM
• A les Tk dune EA sont toutes validées ou
  toutes abandonnées (défaites ou compensées)
• Atomicité sémantique
• C pas de contraintes dintégrité entre les Tk
• I après la validation dune Tk, lisolation
  peut être relâchée
• D une fois une EA validée, la durabilité est
  garantie par les SGBD sous-jacents

14
Sérialisabilité

• Génération dun graphe de sérialisabilité globale
  acyclique
• UM ? lordre 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
• ninterfère pas avec lautonomie des SGBD
  sous-jacents
• applicable aux environnements mobiles

15
Propriétés des AMT

• 3. Dans les AMT on relâche
• latomicité des AMT ? semi-atomicité
• les Tk 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
• lisolation après la validation locale des Tk et
  on utilise des TCk ? atomicité sémantique
• On offre
• sérialisabilité globale
• adaptabilité aux différentes variations de
  lenvironnement mobile

16
TransMobi
TransMobi Mobile
TransMobi Agent
TransMobi Server
DepMgr
DepMgr
AP
MobileEvents
CommEvents
TMgr Server
MobileAMTMgr
AgentAMTMgr
ServerAMTMgr
Mobile AMT
Mobile Inf
Agent AMT
Server Cat
Server AMT
Agent Cat
TMgr Mobile
QueueMgr
QueueMgr
SerMgr
RepMgr
RepMgr
17
Travaux en cours

• Adaptabilité dynamique
• TransMobi -gt différents scénarios de
  duplication/réconciliation
• Analyse de performances (temps moyen dexécution,
  taux déchec, coût dexécution)
• Il exist un prototype -gt WLAN (802.11), Compaq
  H386, Personal Java, Pointbase.

18
Publications

• Patricia Serrano-Alvarado. "Defining an Adaptable
  Mobile Transaction Service". In EDBT Ph.D.
  Workshop, Prague, Czech Republic, March 2002.
  This paper is published in LNCS 2490.
• 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 2001.
• Patricia Serrano-Alvarado, Claudia L. Roncancio,
  Michel Adiba. "Issues on Mobile Transactions for
  DBMS". In Encuentro Nacional de Computación,
  Aguascalientes, México, September 2001.
• 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.