Analyse empirique et modélisation de la dynamique de la topologie de l Internet

Transcription

1 Analyse empirique et modélisation de la dynamique de la topologie de l Internet Sergey Kirgizov Directrice de thèse: Clémence Magnien Complex Networks, LIP6, (UPMC, CNRS) Paris, 12 décembre 2014

2 Plan 1 Introduction 2 Mesures égo-centrées 3 Modèle 4 Caractérisation de la dynamique 5 Taille du sous-graphe observable 6 Dynamique réelle et dynamique observée 7 Conclusion et perspectives 2

3 Introduction : l Internet, étude de la topologie de l Internet

4 Carte de l Internet // Barrett Lyon, 2003

5 Topologie au niveau IP paris.fr lip6.fr Mon ordinateur Nœuds : ordinateurs Liens : connections IP 4

6 Petite note historique temps 1960s ARPANET 1980s Internet 1993 Dynamics of internet routing information [Chinoy] 1997 Measurements and Analysis of End-to-End Internet Dynamics [Paxon] 1998 On routes and multicast trees in the Internet [Pansiot et Grad] 2000s de nombreux travaux sur la topologie (et la dynamique) de l Internet à grande échelle seulement quelques œuvres considèrent l échelle fine 5

7 Étude de la topologie de l Internet Pas de carte officielle de l Internet Une carte statique? Mesures longues et coûteuses; Biais sur la structure observée. } = Pas de carte fiable Étude de la dynamique? Tous les problèmes statiques; Répéter les mesures } = Pas si facile 6

8 Mesures égo-centrées : Routes entre un moniteur et plusieurs destinations fixes [Latapy, Magnien, Ouédraogo, 2011]

9 Vues ego-centrées d 1 d 2 m Carte complète 7

10 Vues ego-centrées d 1 d 2 m Routes entre un moniteur et des destinations 7

11 Vues ego-centrées d 1 d 2 m Une mesure par l outil tracetree [Latapy, Magnien, Ouédraogo, 2011] 7

12 Vues ego-centrées d 1 d 2 m Une autre mesure par l outil tracetree 7

13 Vues ego-centrées d 1 d 2 m Une autre mesure par l outil tracetree 7

14 Dynamique des vues ego-centrées d1 d2 d1 d2 d1 d2 m m m Temp Mesures périodiques rapides = étude de la dynamique 8

15 Caractérisation de la dynamique Mesures : M 1, M 2,..., M i,... Nombre de liens vus depuis le début : t M i i [0,t] # liens Nombre de liens IP dernière ème liens ère liens 0 Sep Oct Nov Dec J an Feb Mar Apr May J un J ul Aug Sep Oct Date 3000 destinations une mesure toutes les 15 minutes pendant 1 an découverte en permanence de nouveaux liens IP à une vitesse élevée 9

16 Causes de la dynamique observée Causes Load-balancing M L D M D Évolution du routage 10

17 Load-balancing vs évolution du routage Nombre de liens IP pas d'évolution du routage Sep Oct Nov Dec J an Feb Mar Apr May J un J ul Aug Sep Oct Date 11

18 Load-balancing vs évolution du routage Nombre de liens IP Sep Oct Nov Dec J an Feb Mar Apr May J un J ul Aug Sep Oct Date 12

19 Load-balancing vs évolution du routage Nombre de liens IP load-balancing + évolution dynamique du structurelle routage dynamique évolution structurelle du routage + load-balancing pente Sep Oct Nov Dec J an Feb Mar Apr May J un J ul Aug Sep Oct Date 13

20 Modèle : Load-balancing + évolution du routage

21 Modélisation Topologie : Graphe aléatoire (Erdős-Rényi ou configuration model) Un nœud aléatoire moniteur d nœuds aléatoires destinations Mesure : plus courts chemins (aléatoires) M L Evolution du routage : échange de liens 14

22 Load-balancing vs évolution du routage Nombre de liens distincts vus depuis le début de la mesure load-balancing + évolution du routage Nombre de liens évolution du routage + load-balancing pente Nombre de passes 15

23 Caractérisation de la dynamique : la pente d évolution [Magnien, Medem, Kirgizov et Tarissan, 2013]

24 La pente Nombre de liens y = α x + β 0 Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Date α est la pente de la partie linéaire 16

25 α = f (paramètres du modèle) nombre total de liens m = m = m = # liens # rounds Impact du nombre total de liens Graphes Erdős Rényi (n = , d = 100, sw = 100) 17

26 α = f (paramètres du modèle) nombre total de destinations d = 500 d = 300 d = # liens # rounds Impact du nombre de destinations Graphes Erdős Rényi (n = , m = , sw = 100) 18

27 α = f (paramètres du modèle) d Un graphe aléatoire G(n, m) avec n nœuds et m liens α d nœuds comme destinations e+06 m 19

28 La taille du sous-graphe des plus courts chemins cette taille augmente avec le nombre de destinations α sous-graphe graphe = S l m 20

29 Impact de la taille du sous-graphe des plus courts chemins d Un graphe aléatoire G(n, m) avec n nœuds et m liens α d nœuds aléatoires comme destinations α K S l m e+06 m 21

30 Impact de la taille du sous-graphe des plus courts chemins Un graphe aléatoire G(n, m) avec n nœuds et m liens α Sl d nœuds aléatoires comme destinations 5e e+06 m α K S l m 21

31 Caractérisation de la dynamique Conclusion Erdős Rényi : α K S l m Power-law : α K S l m Prévoir la pente sans exécuter les simulations coûteuses Quelques comportements non linéaires et non-monotones Comparison aux mesures réelles Probabilité d un changement à la place de la pente 22

32 La taille du sous-graphe des plus courts chemins : 1 moniteur, 1 destination [Kirgizov et Magnien, soumis]

33 Graphes aléatoires G(n, p) est un graphe aléatoire à n sommets. Chacune des n(n 1)/2 arêtes est présente avec probabilité p Solomonoff et Rapoport 1959 Gilbert, Erdős et Rényi SPS : sous-graphe des plus courts chemins S : taille du sous-graphe des plus courts chemins 23

34 Graphes aléatoires G(n, p) est un graphe aléatoire à n sommets. Chacune des n(n 1)/2 arêtes est présente avec probabilité p Solomonoff et Rapoport 1959 Gilbert, Erdős et Rényi SPS : sous-graphe des plus courts chemins S : taille du sous-graphe des plus courts chemins u v 23

35 Graphes aléatoires G(n, p) est un graphe aléatoire à n sommets. Chacune des n(n 1)/2 arêtes est présente avec probabilité p Solomonoff et Rapoport 1959 Gilbert, Erdős et Rényi SPS : sous-graphe des plus courts chemins S : taille du sous-graphe des plus courts chemins u v 23

36 Graphes aléatoires G(n, p) est un graphe aléatoire à n sommets. Chacune des n(n 1)/2 arêtes est présente avec probabilité p Solomonoff et Rapoport 1959 Gilbert, Erdős et Rényi SPS : sous-graphe des plus courts chemins S : taille du sous-graphe des plus courts chemins u v 23

37 Proportion des liens qui se trouvent sur les plus courts chemins Graphe Erdős-Rényi (n = 1000). Proportion des liens sur les plus courts chemins. Tous les noeuds sont les destinations. [Guillaume et Latapy, 2005] [Blondel, Guillaume, Hendrickx et Jungers, 2007] 24

38 Taille moyenne de SPS dans des graphes aléatoires Fixons n p E[S] E [S] p 25

39 Moyenne et tailles réelles de SPS Fixons n p {S} S p 26

40 Moyenne et tailles réelles de SPS Fixons n p {S} S??? Un trou? p 26

41 Graphe complet : K n p = 1 K n SPS(u, v) = u v S(u, v) = 2 27

42 Graphe quasi-complet : K n ab p = 1 ε a K n 2 b S(u, v) = { n si {u, v} = {a, b}, 2 sinon. Si n > 3, alors il y a un trou. S ici p 28

43 Taille du SPS dans des graphes aléatoires S p 29

44 Taille du SPS dans des graphes aléatoires S dist=3 dist=4 dist=2 dist= p Y :nombre de nœuds qui sont directement liés à la fois à u et v Y B(n 2, p 2 ) 29

45 Taille du SPS dans des graphes aléatoires échelle logarithmique dist=2 S dist=3 dist=1 1e 04 1e 03 1e 02 1e 01 1e+00 p 30

46 Conclusion Prévoir la taille du sous-graphe observable sans exécuter les simulations coûteuses Oscillations ont été expliquées dist(u,v) = 2 : la loi exacte dist(u,v) > 2 : une approximation de la taille attendue 31

47 Dynamique réelle et dynamique observée : [Kirgizov, Magnien, Tarissan, Liu, 2013] [Kirgizov et Queyroi, preprint, 2014]

48 α = f ( ) Nombre de liens = 1m 25s 2 = 2m 50s 0 Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Date α = f ( ), où est le délai entre les mesures α( 1 ) > α( 2 ) 32

49 α = f ( ) Nombre de liens = 1m 25s 2 = 2m 50s Date Réalité A... B... C 1 A B C 2 A C A C A B C 1 2 α( 1 ) α( 2 ) 33

50 Situation attendue α m α m α m est la pente maximale possible 34

51 Autre approche. Estimation du taux de changements Changements X : Observations Y : changement pas de changement Question : estimer le taux des changements réels Poisson paramétré par λ λ X? Y 35

52 Estimateur ˆλ = 1 log W N, où taille de l intervalle de temps entre les observations ; W nombre d intervalles sans changement ; N nombre total d intervalles. ] E [ˆλ λ 1 2N ] lim [ˆλ E N ( ) e λ 1 = λ 36

53 λ estimée en fonction de ˆλ ˆλ Processus de Poisson Modèle avec un graphe sous-jacent Erdős-Rényi, SPS est mesurée à chaque round. 37

54 ˆλ d1 d2 ˆλ d1 d2 λ estimée en fonction de ˆλ Erdős-Rényi Power-law Mesures réelles ˆλ pour SPT ( m ) et SPS ( m ) séquences. 38

55 Estimation de λ Conclusion Processus de Poisson = estimation possible Les autres cas ouvrent des directions de la recherche future. 39

56 Conclusion Modèle de la dynamique de l Internet Relations entre les paramètres du modèle et les caractéristiques de la dynamique La taille du sous-graphe des plus courts chemins Estimation du taux de changements 40

57 Perspectives Améliorer le modèle Etude plus approfondie de la taille du sous-graphe observable Appliquer les méthodes développées à d autres réseaux 41

58 Merci beaucoup