From 9a29b5c9177a6e2bc35b652909cb8aefdd4e8482 Mon Sep 17 00:00:00 2001
From: thibauth <thibauth@30fcff6e-8de6-41c7-acce-77ff6d1dd07b>
Date: Fri, 2 Sep 2011 15:09:19 +0000
Subject: Taking into accounts the suggestions made by Fabrice

git-svn-id: https://scm.gforge.inria.fr/svn/pacemaker@75 30fcff6e-8de6-41c7-acce-77ff6d1dd07b
---
 stage/slides.tex | 143 +++++++++++++++++++++++++++++++++----------------------
 1 file changed, 87 insertions(+), 56 deletions(-)

(limited to 'stage/slides.tex')

diff --git a/stage/slides.tex b/stage/slides.tex
index ef7b03a..57666dd 100644
--- a/stage/slides.tex
+++ b/stage/slides.tex
@@ -14,21 +14,12 @@
 
 
 
-\title[Pacemaker]{Pacemaker : preuves et mesures de disponibilité dans les réseaux pair-à-pair}
+\title[Pacemaker]{Pacemaker : preuves de présence dans les réseaux pair-à-pair}
 \author{Thibaut Horel}
 \institute[stage INRIA Saclay]{Stage de MPRI sous la direction de Fabrice Le Fessant}
 \setbeamercovered{transparent}
 \begin{document}
 
-\AtBeginSection[]
-{
-\begin{frame}
-\frametitle{Plan}
-\tableofcontents[currentsection]
-\end{frame}
-}
-
-
 \begin{frame}
 \maketitle
 \end{frame}
@@ -38,13 +29,29 @@
 \end{frame}
 
 \section{Cadre d'étude}
-\begin{frame}{Réseau}
 
+\begin{frame}{Objectifs}
+\begin{enumerate}
+\item Disponibilité
+\begin{block}{Définition}
+Fraction du temps passé par le pair sur le réseau.
+\end{block}
+\alert{Quelle utilité ?}
+\begin{itemize}
+\item<2-> structurer le réseau, super-pairs
+\item<3-> prédire le comportement futur
+\item<4-> obliger les pairs à coopérer (donnant-donnant)
+\end{itemize}
+\item<5-> Horodatage de documents (brevets)
+\end{enumerate}
+\end{frame}
+
+\begin{frame}{Hypothèses}
 On suppose donné un \alert{réseau} :
 \begin{itemize}
 \item pair-à-pair, connaissance partielle
 \item asynchrone, communication de nœud à nœud  
-\item pannes, déconnexion
+\item pannes, déconnexion, perte de paquets
 \item potentiellement beaucoup d'utilisateurs
 \end{itemize}
 \vfill
@@ -55,34 +62,12 @@ On suppose donné un \alert{réseau} :
 \end{itemize}
 \end{frame}
 
-\begin{frame}{Disponibilité}
-\begin{block}{Définition : \alert{disponibilité}}
-Fraction du temps passé par le pair sur le réseau.
-\end{block}
-\vfill
-\alert{Quelle utilité ?}
-\begin{itemize}
-\item<2-> structurer le réseau, super-pairs
-\item<3-> prédire le comportement futur
-\item<4-> obliger les pairs à coopérer (donnant-donnant)
-\end{itemize}
-\end{frame}
-
-\begin{frame}{Disponibilité : profil}
-\begin{center}
-\begin{figure}
-\includegraphics[scale=0.42]{avail.eps}
-\caption{Répartition de la disponibilité de 1469 pairs sur Overnet}
-\end{figure}
-\end{center}
-\end{frame}
-
-\begin{frame}{Objectif}
+\begin{frame}{Critères}
 \alert{Protocole} :
 \begin{itemize}
-\item décentralisé : nécessaire pour le passage à l'échelle
+\item passage à l'échelle
 \item résistant à la collusion
-\item simple (bande passante, calcul)
+\item peu coûteux (bande passante, calcul)
 \end{itemize}
 
 \vfill
@@ -95,15 +80,24 @@ Fraction du temps passé par le pair sur le réseau.
 \end{itemize}
 \end{frame}
 
+\begin{frame}{Disponibilité : profil}
+\begin{center}
+\begin{figure}
+\includegraphics[scale=0.42]{avail.eps}
+\caption{Répartition de la disponibilité de 1469 pairs sur Overnet}
+\end{figure}
+\end{center}
+\end{frame}
+
 \section{Le protocole}
 
 \begin{frame}{Principe}
 Système de \alert{preuve} :
 \begin{itemize}
 \item Le pair reçoit une preuve de sa présence et la stocke
-\item La preuve est fournie plus tard à la demande
+\item Le pair peut fournit la preuve ultérieurement
 \end{itemize}
-Fonctionement par \alert{ronde} :
+Fonctionnement par \alert{ronde} :
 \begin{itemize}
 \item Le pair reçoit une preuve à intervalles réguliers
 \item La preuve certifie la présence au cours de la ronde
@@ -114,7 +108,7 @@ Fonctionement par \alert{ronde} :
 \begin{column}{0.45\textwidth}
 \begin{block}{Avantages}<2->
 \begin{itemize}
-\item décentralisation
+\item passage à l'échelle
 \item durabilité temporelle
 \end{itemize}
 \end{block}
@@ -158,6 +152,10 @@ $1$ choisit un secret $S$ et le diffuse.
 \end{columns}
 \end{frame}
 
+\begin{frame}{Fonctionnement (suite)}
+À FAIRE
+\end{frame}
+
 \begin{frame}[fragile]{Spécification}
 \begin{columns}[t]
 \begin{column}{0.48\textwidth}
@@ -262,36 +260,72 @@ end if
 \end{columns}
 \end{frame}
 
+\begin{frame}{Utilisation du protocole}
+\begin{itemize}
+\item mesure de disponibilité :
+\begin{itemize}
+\item chaque pair garde l'historique des preuves reçues
+\item système de requête/réponse pour contrôler les pairs
+\end{itemize}
+\vfill
+\item horodatage :
+\begin{itemize}
+\item on prouve la présence sur le réseau en ajoutant un nœud dans un arbre
+\item le nœud peut également contenir des informations ! 
+\end{itemize}
+\end{itemize}
+\end{frame}
+
+\begin{frame}{Étude du protocole}
+
+\begin{itemize}
+\item Non falsifiabilité
+\vfill
+\item Précision et passage à l'échelle
+\begin{itemize}
+\item simulation
+\item déploiement sur un réseau réel
+\end{itemize}
+\end{itemize}
+\end{frame}
 \section{Résultats}
 
 \begin{frame}{Non falsifiabilité}
 À FAIRE
 \end{frame}
 
-\begin{frame}{Simulation}
+\begin{frame}{Simulateur}
 Fonctionnement par étapes. À chaque étape :
 \begin{itemize}
 \item connexions et déconnexions des pairs
 \item réception et envoi des messages
 \end{itemize}
 \onslide<2->
+\vfill
 Approximation de l'asynchronisme :
 \begin{itemize}
 \item ordre d'exécution aléatoire
 \item délai d'une étape entre l'envoi et la réception
 \item une étape représente 30 secondes de temps réel
 \end{itemize}
-\onslide<3->
-Structure du réseau, selon les applications. \alert{Ici} :
+\end{frame}
 
+\begin{frame}{Obtention de la topologie du réseau}
+Topologie du réseau, selon les applications. \alert{Ici} :
 \begin{itemize}
 \item degré constant égal à \alert{10}
 \item recherche de voisins depuis la racine en descendant progressivement
 \item on stoppe la recherche à \alert{8} voisins
 \end{itemize}
-\onslide<4->
+
+On fait tourner sur le simulateur :
+\begin{itemize}
+\item le protocole pacemaker
+\item le protocole de construction de la topologie
+\end{itemize}
+
 \begin{block}{}
-$\simeq$ \alert{800} lignes en OCaml
+simulateur + pacemaker + topologie $\simeq$ \alert{800} lignes en OCaml
 \end{block}
 \end{frame}
 
@@ -314,7 +348,7 @@ $\simeq$ \alert{800} lignes en OCaml
 \onslide<2->
 En pratique :
 \begin{itemize}
-\item \alert{167} ordinateurs\ldots
+\item \alert{167} ordinateurs à travers le monde
 \item machines surchargées (virtualisation)
 \item perte de nombreux paquets réseaux
 \end{itemize}
@@ -323,7 +357,7 @@ Implémentation :
 \begin{itemize}
 \item sans la cryptographie asymétrique
 \item communication en UDP
-\item même structure du réseau que dans le simulateur
+\item même topologie que dans le simulateur
 \end{itemize}
 
 \onslide<4->
@@ -345,22 +379,19 @@ $\simeq$ \alert{800} lignes en OCaml
 \begin{frame}{Conclusion}
 Robustesse :
 \begin{itemize}
-\item jusqu'à 40\,000 nœuds
-\item au-delà ? l'instabilité du réseau pénalise les pairs éloignés
+\item testé jusqu'à 40\,000 nœuds
+\item l'instabilité pourrait pénaliser les pairs éloignés
 \end{itemize}
 \alert{Solution :} utiliser plusieurs serveurs
 \onslide<2->
 \vfill
-Application : 
+Perspectives : 
 \begin{itemize}
-\item on prouve la présence sur le réseau en ajoutant un nœud dans un arbre
-\item le nœud peut également contenir des informations !
+\item essayer d'autres topologies (Chord, \ldots)
+\item tester le protocole sur un réseau réel
+\item empêcher la racine de réécrire l'histoire en chaînant les graines
 \end{itemize}
-\onslide<3->
 
-\begin{block}{}
-$\Rightarrow$ Certification temporelle de documents (brevets)
-\end{block}
 
 \end{frame}
 \end{document}
-- 
cgit v1.2.3-70-g09d2

