from payments of debts to real time distributed system reconfiguration nouveaux défis en théorie...
TRANSCRIPT
![Page 1: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/1.jpg)
From payments of debts to real time distributed system reconfiguration
Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008
Jacques CarlierRenaud SirdeyHervé KérivinDritan Nace
![Page 2: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/2.jpg)
Outline
• The debts’ payment problem
• A PhD student in industry;
• Context of the work
• A resource constrained scheduling problem
• Polynomial cases
• A branch and bound method
• A simulated annealing method
• A branch and cut algorithm
• Conclusion and perspectives
![Page 3: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/3.jpg)
The debts’ payment problem ([CAR82, Rairo])
• The problem is modeled by a valued graph.
• The nodes of the graph are the persons and are valued by the initial capital of the persons.
• The arcs of the graph model the debts and are valued by their amount.
![Page 4: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/4.jpg)
The non preemptive case (decision problem)
no yes
![Page 5: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/5.jpg)
NP-hard in the weak sense
Partition problem: ai = 2T
![Page 6: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/6.jpg)
The preemptive case
![Page 7: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/7.jpg)
The preemptive case
• Ci: sum of claims of node xi, Di: sum of debts;
• Balance: Bi = Di – Ci;
• Theorem. The problem has a solution if and only if:a) Bi ≤ ai ;
b) xi has an ascendant node of initial capital non null;
c) xi has a descendant node of final capital non null.
![Page 8: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/8.jpg)
The preemptive case
Algorithm O(n3):
Compute an Eulerian cycle in a transport network obtained by adding a source and a sink;
![Page 9: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/9.jpg)
A PhD thesis in industry
• Renaud Sirdey was working at the research center of NORTEL as system architect. In may 2004, he started his PhD within a convention CIFRE*. He was directed by Jacques Carlier (Heudiasyc) and Dritan Nace (Heudiasyc). His supervisor was Jacques-Olivier Bouvier (NORTEL).
• *CIFRE : Convention avec l’Industrie pour la Formation par la Recherche.
![Page 10: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/10.jpg)
Operations Research at NORTEL(see [Sirdey’07, 4OR])
• Load Balancing on BSC and partitioning problem
• Configuration of radio cells and bipartite matching
• Repartition of cells on MIC links and bin-packing
• Equity in assigning resources and theory of votes
• Electric consumption and max-min knapsack
• Dynamic allocation of resources and flows
• Route planification in MPLS networks
• Deconvolution/demodulation of GSM bursts and quadratic programming
![Page 11: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/11.jpg)
Context of the work
Simplified architecture of a GSM network
![Page 12: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/12.jpg)
Fault tolerant systems
At the starting time, BSC initial state has nice properties as
equirepartition of loads
These properties are lost due to successive failures
So it is necessary to restore the system thanks to a final state having also nice properties
![Page 13: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/13.jpg)
The reconfiguration problem
A process can be :- moved from its current processor to its final processor without impact on the service.- interrupted and started again. Interruption permits to solve blocking situations.
We have exactly the debt’s payment problem in the non preemptive case (plus interruption of payments).
We have a degraded current state and a final state. Our objective is to move from the current state to the final state without violating capacities of processors.
![Page 14: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/14.jpg)
A resource constrained scheduling problem with application to
distributed system reconfiguration
![Page 15: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/15.jpg)
Complexity, polynomial cases Transfer graph, G = (V,A)V = processorsA = transfers (arcs are in the opposite direction) NP-hard in the strong sense.
Polynomial cases : - homogeneous case- transfer graph without directed cycle- Decomposition property: connected components can be treated independently in the reverse order of a good numbering.
![Page 16: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/16.jpg)
Branch and bound method
• node : (I, J, J, R)• root : (, , , M)• Branching rule :
concatenate a transfer from R to J, in respecting feasibility.
• Pseudo-polynomial lower bound : knapsack problem.
• Dominance rule : eliminate equivalent schedules.
![Page 17: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/17.jpg)
Numerical results
![Page 18: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/18.jpg)
A simulated annealing method (I)
Simulated annealing : convergence to a steady state
A solution of a minimization problem is (, ) feasible if
Let e1 ≤ z ≤ eP, the solution values of Metropol’s algorithm at temperature
are (, ) feasible.
![Page 19: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/19.jpg)
A simulated annealing method (II)Neighboring is based on 2-opt.
so
Computing of c() in O(|M|)
The decreasing temperature law is chosen such that:
The number of steps is
Algorithm complexity is
![Page 20: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/20.jpg)
Numerical resultsParameters: = 0.95, = 0.05, = 0.1.With a benchmark of 1020 difficult instances:
For 23 instances with > 5%, It has been necessary to launch again the algorithm in average 1.7 times.It remains three open instances.
![Page 21: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/21.jpg)
A branch and cut method
![Page 22: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/22.jpg)
Numerical results
Starting form a good solution thanks to the Simulated Annealing algorithm.
Solving relaxation associated with capacity constraints.- vO(M2) minicliques- O(M2) minimonocyles- O(M3) transitivity constraints- s- covering and t-covering constraints
Branching
![Page 23: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/23.jpg)
Numerical results
![Page 24: From payments of debts to real time distributed system reconfiguration Nouveaux défis en théorie de l'ordonnancement Luminy, 12-16 may 2008 Jacques Carlier](https://reader035.vdocuments.mx/reader035/viewer/2022062803/56649f515503460f94c7501f/html5/thumbnails/24.jpg)
Publications