Consesus Protocol - Revision history

Donsez: /* Références */

2015-11-06T15:08:17Z

Références

← Older revision		Revision as of 15:08, 6 November 2015
Line 249:		Line 249:
	* http://blog.xebia.fr/2015/02/24/introduction-et-demystification-de-zookeeper/		* http://blog.xebia.fr/2015/02/24/introduction-et-demystification-de-zookeeper/
	* https://www-master.ufr-info-p6.jussieu.fr/2012/spip.php?action=acceder_document&arg=209&cle=c9f1b363ce1c738d7ca56551f12a02e50a01f020&file=pdf%2FConsensus-Paxos-ARA.pdf		* https://www-master.ufr-info-p6.jussieu.fr/2012/spip.php?action=acceder_document&arg=209&cle=c9f1b363ce1c738d7ca56551f12a02e50a01f020&file=pdf%2FConsensus-Paxos-ARA.pdf
			* [http://research.google.com/archive/paxos_made_live.html Paxos Made Live – An Engineering Perspective], PODC '07: 26th ACM Symposium on Principles of Distributed Computing.

Rama.Codazzi: /* Conclusion */

2015-11-06T09:01:54Z

Conclusion

← Older revision		Revision as of 09:01, 6 November 2015
Line 238:		Line 238:

	=Conclusion=		=Conclusion=
			Le problème du consensus est très complexe mais certains algorithmes permettent d'en la plupart des cas, le résoudre.

			Une autre solution consiste à utiliser un détecteur de faute, mais c'est un autre sujet :D

	=Références=		=Références=

Rama.Codazzi: /* Installation en local d’un ensemble de 3 Zookeepers */

2015-11-06T08:58:51Z

Installation en local d’un ensemble de 3 Zookeepers

@@ Line 119: / Line 119: @@
 on ajoute +1 si la valeur ne représente pas une majorité stricte (par exemple 2/2 = 1 => quorum = 2)
-=== Installation en local d’un ensemble de 3 Zookeepers ===
+=== Installation en local d’un ensemble de 1 Zookeeper ===
 Tout d'abord, nous allons creer une instance standalone
@@ Line 125: / Line 125: @@
 Après avoir créé un fichier config et choisi le port client tel que si dessous :
-tickTime=2000
+''tickTime=2000''
 //dataDir : attention changer avec votre path vers votre tmp qu’il faudra créer si vous le placez comme moi dans le répertoire d’installation de zookeeper //
-dataDir=[chemin d'acces]/zookeeper-3.4.6/tmp
+''dataDir=[chemin d'acces]/zookeeper-3.4.6/tmp''
-clientPort=2181''
+''clientPort=2181''
 Il suffit de démarer le serveur à l'aide de la commande
@@ Line 148: / Line 148: @@
 [[File:Zookeeper.PNG]]
 =Conclusion=

Rama.Codazzi: /* Installation en local d’un ensemble de 3 Zookeepers */

2015-11-06T08:07:48Z

Installation en local d’un ensemble de 3 Zookeepers

← Older revision		Revision as of 08:07, 6 November 2015
Line 125:		Line 125:
	Après avoir créé un fichier config et choisi le port client tel que si dessous :		Après avoir créé un fichier config et choisi le port client tel que si dessous :

			''

	tickTime=2000		tickTime=2000

	//dataDir : attention changer avec votre path vers votre tmp qu’il faudra créer si vous le placez comme moi dans le répertoire d’installation de zookeeper //		//dataDir : attention changer avec votre path vers votre tmp qu’il faudra créer si vous le placez comme moi dans le répertoire d’installation de zookeeper //

	dataDir=[chemin d'acces]/zookeeper-3.4.6/tmp		dataDir=[chemin d'acces]/zookeeper-3.4.6/tmp
	clientPort=2181		clientPort=2181''

	Il suffit de démarer le serveur à l'aide de la commande		Il suffit de démarer le serveur à l'aide de la commande

	./zkServer.sh start		''./zkServer.sh start''

	Puis de nous y connecter		Puis de nous y connecter

	bin/zkCli.sh -server 127.0.0.1:2181		''bin/zkCli.sh -server 127.0.0.1:2181''

	Il faut maintenant creer un noeud et lui associer une valeur :		Il faut maintenant creer un noeud et lui associer une valeur :

	create /xebia hello		''create /xebia hello''

	On obtient alors un Znode /xebia associé à la valeur hello		On obtient alors un Znode /xebia associé à la valeur hello

Rama.Codazzi: /* Installation en local d’un ensemble de 3 Zookeepers */

2015-11-06T08:07:14Z

Installation en local d’un ensemble de 3 Zookeepers

@@ Line 123: / Line 123: @@
 Tout d'abord, nous allons creer une instance standalone
-Après avoir créé un fichier config et choisi le port client
+Après avoir créé un fichier config et choisi le port client tel que si dessous :
 tickTime=2000
-# dataDir : attention changer avec votre path vers votre tmp qu’il faudra créer si vous le placez
+//dataDir : attention changer avec votre path vers votre tmp qu’il faudra créer si vous le placez comme moi dans le répertoire d’installation de zookeeper //
 clientPort=2181
 =Conclusion=

Rama.Codazzi: /* Un exemple d’implémentation */

2015-11-06T08:02:52Z

Un exemple d’implémentation

@@ Line 101: / Line 101: @@
 == Un exemple d’implémentation ==
+"
@@ Line 117: / Line 119: @@
 on ajoute +1 si la valeur ne représente pas une majorité stricte (par exemple 2/2 = 1 => quorum = 2)
 =Conclusion=

Rama.Codazzi: /* Lien avec Zookeeper */

2015-11-06T07:35:00Z

Lien avec Zookeeper

← Older revision		Revision as of 07:35, 6 November 2015
Line 97:		Line 97:

	* Un leader propose une valeur à tout les autres process		* Un leader propose une valeur à tout les autres process
	*le ~~leadear~~ attend les ack d'un maximum d'autres process avant d'envoyer un demande de changement de valeur		* le leader attend les ack d'un maximum d'autres process avant d'envoyer un demande de changement de valeur
	* l'utilisation des Ballots		* l'utilisation des Ballots

	== Un exemple d’implémentation ==		== Un exemple d’implémentation ==
			"

			Zookeeper fonctionne en fournissant un espace mémoire partagé par toutes les instances d’un même ensemble de serveurs Zookeeper. Cet espace mémoire est hiérarchique, à la manière d’un système de fichier composé de répertoires et de fichiers à la différence que, dans le cas de Zookeeper, on ne parle pas de répertoires et de fichiers mais de nœuds. Chaque nœud s’appelle un ZNode.
	tuto zookeeper

			Cette hiérarchie de nœuds va se répliquer et se synchroniser sur tous les serveurs créé par Zookeeper.
	==Abstract==

			Le fonctionnement d’un ensemble Zookeeper nécessite l’élection d’un leader parmi les instances qui le composent. Lorsqu’un client écrit/modifie des données dans les ZNodes, c’est le leader qui effectue l’opération puis la transmet aux autres membres. Une fois qu’un certain nombre d’instances ont appliqué l’opération, cette dernière est considérée comme valide au sein de l’ensemble Zookeeper.
	==Synthèse==

			Ledit nombre est appelé le quorum. Comme lors d’une élection au sein d’un groupe de personnes, le quorum représente le nombre minimum d’instances Zookeeper pour qu’une décision (typiquement, décider si la valeur affectée dans un ZNode est validée sur l’ensemble Zookeeper) soit prise par l’ensemble Zookeeper.

			Le calcul du quorum s’effectue selon la formule suivante : quorum = n/2
⚫	==Conclusion==

			avec n le nombre de serveurs présents dans l’ensemble Zookeeper
⚫	==Références==
			sachant que l’on arrondira toujours le résultat à la valeur supérieure (par exemple 3/2 = 1.5 => quorum = 2)
			on ajoute +1 si la valeur ne représente pas une majorité stricte (par exemple 2/2 = 1 => quorum = 2)


			"
		⚫	=Conclusion=


		⚫	=Références=
	* https://fr.wikipedia.org/wiki/Paxos_(informatique)		* https://fr.wikipedia.org/wiki/Paxos_(informatique)
	* https://cwiki.apache.org/confluence/display/ZOOKEEPER/Zab+vs.+Paxos		* https://cwiki.apache.org/confluence/display/ZOOKEEPER/Zab+vs.+Paxos
	* https://fr.wikipedia.org/wiki/Consensus_(informatique)		* https://fr.wikipedia.org/wiki/Consensus_(informatique)
	* http://www.tcs.hut.fi/Studies/T-79.5001/reports/2012-deSouzaMedeiros.pdf		* http://www.tcs.hut.fi/Studies/T-79.5001/reports/2012-deSouzaMedeiros.pdf
			* http://blog.xebia.fr/2015/02/24/introduction-et-demystification-de-zookeeper/
	* https://www-master.ufr-info-p6.jussieu.fr/2012/spip.php?action=acceder_document&arg=209&cle=c9f1b363ce1c738d7ca56551f12a02e50a01f020&file=pdf%2FConsensus-Paxos-ARA.pdf		* https://www-master.ufr-info-p6.jussieu.fr/2012/spip.php?action=acceder_document&arg=209&cle=c9f1b363ce1c738d7ca56551f12a02e50a01f020&file=pdf%2FConsensus-Paxos-ARA.pdf

Rama.Codazzi: /* Lien avec Zookeeper */

2015-11-06T06:32:46Z

Lien avec Zookeeper

@@ Line 92: / Line 92: @@
 [[File:Paxos2.PNG||600px|thumb|center|Fig. 1 : Exemple d’exécution avec un client]]
-== Lien avec Zookeeper ==
+= Lien avec Zookeeper =
 == Un exemple d’implémentation ==

Rama.Codazzi: /* Exemple d’exécution */

2015-11-06T06:22:32Z

Exemple d’exécution

← Older revision		Revision as of 06:22, 6 November 2015
Line 88:		Line 88:


	[[File:Paxos1.PNG\|~~500px~~\|~~exemple~~ ~~d'execution~~ avec 1 leader]]		[[File:Paxos1.PNG\|\|600px\|thumb\|center\|Fig. 1 : Exemple d’exécution avec 1 leader]]

			[[File:Paxos2.PNG\|\|600px\|thumb\|center\|Fig. 1 : Exemple d’exécution avec un client]]

	== Lien avec Zookeeper ==		== Lien avec Zookeeper ==

Rama.Codazzi: /* Exemple d’exécution */

2015-11-06T06:20:51Z

Exemple d’exécution

← Older revision		Revision as of 06:20, 6 November 2015
Line 88:		Line 88:


	[[File:Paxos1.PNG\|exemple d'execution avec 1 leader]]		[[File:Paxos1.PNG\|500px\|exemple d'execution avec 1 leader]]

	== Lien avec Zookeeper ==		== Lien avec Zookeeper ==