Академический Документы
Профессиональный Документы
Культура Документы
on Computational Grid
Lakhdar Loukil1 , Malika Mehdi2 , Nouredine Melab3 ,
El-Ghazali Talbi3 , and Pascal Bouvry2
Universite dOran
Faculte des Sciences
Departement dinformatique
BP 1524 El MNaouer Oran, Algerie
Loukil.Lakhdar@univ-oran.dz
1
University of Luxembourg
Faculty of Sciences
Technology and Communication
6 rue de Coudenhove Kalergi
L-1359, Luxembour, Luxembourg
{Malika.Mehdi , Pascal.Bouvry}@uni.lu
2
Abstract
1. Introduction
Can be found at
2
2.1
2.2
Individual
"Fitness"
function measure
Related works
Exact and heuristic methods for the
Q3AP
Evaluation/transformation
Agents (Clients)
n !
n !
n
!
min{
bijp xijp +
i=1 j=1 p=1
n !
n !
n !
n !
n !
n
!
i=1 j=1 p=1 k=1 n=1 q=1
(1)
n
n !
!
P = {x 0 :
n !
n
!
i=1 p=1
i=1 j=1
4.1
Encoding individual. Similarly to QAP where heuristics usually exploit a solution representation based on permutations, Q3AP using the formulation given by equations (1) can be transformed into an equivalent permutationbased formulation that can be expressed as follows:
Individuals
n
n !
n
!
!
min f (p, q) =
bipi qi +
Cipi qj jpi qj
J = {x 0 :
j=1 p=1
The Q3AP, like the QAP, is a NP-hard discrete combinatorial optimization problem [8]. An instance of size n has
n! n! feasible solutions.
Neighbours
I = {x 0 :
n !
n
!
i=1
(2)
i=1 j=1
where p and q are permutations over the set {1, .., n}.
According to the above formulation, optimizing a Q3AP
instance of size n consists in finding the optimal mapping
of n symbols numbered 1 to n to each vector of the pair of
vectors (p, q) in order to minimize the objective function
f (p, q). An advantage of the permutation-based formulation is that it allows a direct encoding of the population
Problem Formulation
First parent
CRX points
Alternate parent
Offspring (step 1)
Offspring (step 2)
Offspring (step 3)
Offspring (final step)
4.3
8
8
1
6
6
2
*
7
3
3
3
1
8
8
8
8
3
7
7
7
7
8
4
4
4
4
6
*
2
2
2
1
5
5
5
(3)
i, j, p, k, n, q {1, ..., n}
F and D being respectively flow and distance matrices
of the associated QAP.
4.2
Genetic operators
4.4
Parallelization
The herein described method is a hierarchical parallel algorithm with two levels of parallelism. At the high level
is the island model where a set of populations (islands)
evolves in a parallel way, each population is being evolved
by its own GA. GAs cooperate by exchanging their genetic
5
5.1
ParadisEO-based implementation
The ParadisEO-PEO framework
are evolving on independent populations. First, the populations are locally generated using a random generation. The
communications between the islands are asynchronous. Finally, in each island, the transformation task is performed
in parallel using ten workers (10).
Island 1
Island 2
Island 3
Pop Initialisation
Selection
Evaluation
Selection
Evaluation
Asyn.Migration
Asyn. Migration
<<create>>
Parallel transformation
<<destroy>>
6
6.1
ing optimization solvers, embedding single and multicriterion meta-heuristics (evolutionary algorithms and local
searches). The third level provides interfaces for standard
MPI based programming. At this level virtually any standard conforming MPI distribution may be placed as layer
- MPICH-VMI [19] has been chosen for our specific case.
The fourth and lowest level supplies communication and resource management services - in this case the VMI interfacing component which offers support for MPICH-VMI.
The implementation relies on invariant elements provided
by the ParadisEO framework, offering support for the insular model approach, as well as for distributed and parallel
aspects concerning the parallel population evaluation. In
this context, parallelization related aspects are transparent,
the focus being oriented on the algorithm-specific elements.
The main steps to be performed, in order to construct the
algorithm, consist in specifying the encoding of the individuals, the specific operators and the fitness function. Furthermore, elements concerning selection mechanisms and
replacement strategies must be specified, along with configuration parameters (number of individuals, number of generations, etc).
5.2
Experimentation on Grid5000
The Grid5000 computational grid
The underlying hardware support for performing the experiments is GRID5000, a French nation-wide experimental
grid, connecting 9 sites which host clusters of PCs interconnected by RENATER3 (the French academic network).
GRID5000 is promoted by CNRS, INRIA and several universities4 (cf. [2] for details).
At this time the GRID is gathering more than 4000 processor cores with more than 100 Tb of non-volatile storage
capacity. Inter-connections sustain communications of 10
Gbps.
6.2
Preliminary Results
We have tested our algorithm on a set of Q3AP benchmarks, derived from he Nugent QAP problem instances,
found in QAPLIB ([3]). Three benchmarks were experimented: Nug12, Nug13 and Nug15. We performed four
runs for every benchmark and for both parallel models, island and parallel transformation (Para.Transf in Table 1). To
asses the efficiency of the hybridization mechanism, we also
perform experiments on a parallel GA without hybridization
with a parallel transformation (GA-Para.Transf). The experiments are conducted using 10 processors belonging to
Grid5000. The global used settings for the hybrid genetic
algorithm are:
Implementation
We implemented a three island parallel model with parallel transformation, using the Paradiseo framework described in the last section. The sequence diagram of this
model is illustrated in Figure 8. In this model, three islands
3 http://www.renater.fr
4 CNRS
- http://www.cnrs.fr/index.html - http://www.inria.fr
Inst.
Nug12
Nug13
SA iterations: 50.
Then, different aspects related to the island model have
been fixed regarding the studies available in the literature.
We use a global population of size 1500 distributed on three
(3) islands (500 individual per island).
Nug15
Topology: the ring topology, since the number of islands is relatively small. [5].
Best.F
658
604
948
2058
2012
2368
2612
2376
3728
Best.K(1h)
589
Best(10h)
580
1918
1912
2399
2230
Model
Island
Para.Transf
GA.Transf
Island
Para.Transf
GA.Transf
Island
Para.Transf
GA.Transf
References
[1] E. Alba, G. Luque, E.-G. Talbi, and N. Melab. Metaheuristics and parallelism. J. Wiley and Sons, 2005.
[2] R. Bolze, F. Capello, E. Caron, M. Dayde, F. Desprez,
E. Jeannot, Y. Jegou, S. Lanteri, J. Leduc, N. Melab, G. Mornet, R. Namyst, P. Primet, B. Quetier, O. Richard, E.G. Talbi, and I. Touche. Grid5000: A large scale and
highly reconfigurable experimental grid testbed. International Journal of High Performance Computing Applications., 20(4):481494, 2006.
In this paper, we propose a parallel hybrid genetic algorithm. The herein described method is a hierarchical parallel algorithm with two levels of parallelism. At the high
level is the island model where a set of populations (islands)
evolves in a parallel way, each population being evolved by