+From: HADDAD MOHAMMED <mohammed.haddad@univ-lyon1.fr>
+Subject: Algo en message passing
+To: mourad hakem <mourad.hakem@univ-fcomte.fr>, Arnaud Giersch
+ <arnaud.giersch@univ-fcomte.fr>, Raphaël Couturier
+ <raphael.couturier@univ-fcomte.fr>
+Date: Fri, 6 Apr 2018 13:25:20 +0000 (35 weeks, 5 days, 19 hours ago)
+
+1. (*) text/plain ( ) text/html
+
+Bonjour à tous,
+
+
+Je vous propose (ci-dessous) une nouvelle version de l'algo à discuter (courant de la semaine prochaine si vous avez une petite demi heure de dispo). Le mode transaction n'est pas du tout géré et reste complètement libre dans les choix à prendre.
+
+
+Il se pourrait qu'il y est des bugs mais qu'on pourra corriger car maintenant l'idée est plus ou moins stabilisée.
+
+
+Bonne reception et bon week end à tous
+
+
+Mohammed
+
+
+---------
+
+Variables at node i:
+val : load value, values[] : array of values of neighbors, Center : pointer, Leaves : list.
+
+Events:
+* Init :
+Center = null, Leaves = \emptyset, Values[] ={0, ...., 0}.
+Send VAL(i, val) to each neighbor j.
+
+* On receive VAL(j, val):
+values[j] = val.
+
+if (j = Center) then Center = null
+
+* if Exists a neighbor j such that: values[j] - val > epsilone then
+ Center = i
+ Send Invitation to each neighbor j such that: values[j] - val
+ Set a "small" Timer
+ end_if
+
+* On receive Invitation from j
+ if Center != null AND val - values[j] > epsilone then
+ Center = j
+ Send Ack to j
+ end_if
+
+* On receive Ack from j
+Leaves = Leaves union j
+
+* On Timer
+ Enter Transaction mode and perform local equilibrium
+ Center = null, Leaves = \emptyset
+ Send VAL(i, val) to each neighbor j.
+
+
+
