From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 13 Dec 2018 09:14:05 +0000 (+0100)
Subject: Save notes for pstar.
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/commitdiff_plain/1d498e972be5597e0f902a1bb8e6ec8d87d51002?ds=sidebyside;hp=41abcf0a2ff17ef20ab86d05a5e5f959bd5fd269

Save notes for pstar.
---

diff --git a/Documentation/Load balancing star decomposition.pdf b/Documentation/Load balancing star decomposition.pdf
new file mode 100644
index 0000000..bf0aaf8
Binary files /dev/null and b/Documentation/Load balancing star decomposition.pdf differ
diff --git a/Documentation/PStar_v1.txt b/Documentation/PStar_v1.txt
new file mode 100644
index 0000000..aec869e
--- /dev/null
+++ b/Documentation/PStar_v1.txt
@@ -0,0 +1,61 @@
+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.
+
+
+