relation de dépendance immédiate

Relation de dépendance immédiate

Année universitaire 2015-2016

Réalisé par:

Université de SfaxFaculté de science économique et gestion de Sfax

Hibatallah AOUADNIKhouloud KAMMOUN

Relation de Dépendance Immédiate

Plan

Introduction

Ordre causale


Protocole de diffusion causal minimal

Conclusion

2

Relation de Dépendance Immédiate 3

Introduction


Introduction

4

Contexte | Problématique | Objectif

Dans les Systèmes de Communication du Groupe(SCG), les protocoles d’ordre causals sont un outil essentiel pour échanger des informations.

Le concept d’ordre causal

considérable pour la conception de systèmes distribués

trouvé dans les applications de plusieurs domaines

téléconférence

systèmes multimédias domaines de sécurité


Introduction

5


Protocoles causals existants Supportent les environnements multi-groupe

Leur utilisation dans les applications mentionnées précédemment ne convient pas pour deux raisons principales

Restrictions dans le mode d'interactions

Grande quantité des informations de contrôle


Introduction

6


g1

membres

|CI| = θ(n)

Groupes chevauchés |CI| = θ(g n)∙

Pour les grandes valeurs de n et g, la limite de θ(n) et θ(g n) est prohibitif.∙


Introduction

7


IDR

Élimine la notion que la causalité est coûteuse

Minimise la quantité de CI envoyé par message

Sans introduire des restrictions dans l’interaction


Introduction

8


Protocole causale optimal

Fonctionne dans un environnement de diffusion

La limite de CI horodaté par message va être minimisé

Est optimal en termes de quantité de CI horodaté


Ordre causale


Ordre causale

10

Contexte | OC partial| OC totale

La livraison par l'ordre causal est basée sur la relation causale de précédence

La relation causale, désigné par → , est définie par les trois règles suivantes

1 <i, a> → <j, b> si i=j ^ a < b

2 <i, a> → <j, b> si <i, a> :émission et <j, b>: réception

3 <i, a> → <j, b> si <k, c> | (<i, a> → <k, c> ^ <k, c> → <j, b>)∃


Ordre causale

11


La livraison par ordre causal dans la communication de groupe présente deux cas

livraison causal de diffusion livraison causal de multi-groupe

Si envoie(m) → envoie(m’) alors ∀k ∈ c :

Livraisonk(m) → Livraisonk (m’)

Si envoiei (m, c) → envoiei (m’, c) alors ∀k ∈ c ∩ c’:

Livraisonk(m) → Livraisonk (m’)


Ordre causale

12



Ordre causale

13



IDR

15

Définition | Analyse| IIGDR

IDR est le seuil de propagation de CI concernant les messages dans le passé causale qui doit être transmis pour assurer une livraison causale

On le note par ↓ et on le définit par :

m↓ m’ (m → m’) m’’ M (m → m’’→m’)∧ ∀ ∈ ⌉

IDR

Messages en série

Messages simultanées


IDR

16


Messages en série| Messages simultanées


IDR

17


Messages en série| Messages simultanées


IDR

18



IDR

19



Protocole de diffusion causale minimale


MBCP

21


Conclusion


Conclusion

23

Garantir une communication causale de groupe


Extension de l’IDR

Supporter la communication multi-groupe

Communication multi-groupeDiffusion causale basic


Conclusion

24

En utilisant le rapport IDR, il est possible de construire des protocoles causals optimales avec des caractéristiques souhaitables pour les systèmes distribués

Configuration dynamique

Organisation symétrique

Diffusion asynchrone

Adaptation de sa composition

Interaction sans avoir médiateurs

Liberté d’interagir

nous avons présenté un protocole efficace de diffusion causale


Merci pour votre attention

relation de dépendance immédiate

Software