Résolution de grands systèmes linéaires issus de la méthode des éléments finis sur des calculateurs massivement parallèles. (Solving large linear systems arising in finite element approximations on massively parallel computers)

Cette etude consiste a resoudre de grands systemes lineaires creux sur des calculateurs massivement paralleles. Ces systemes lineaires, souvent rencontres lors de la simulation numerique de problemes de mecanique des structures par des codes de calcul par elements finis, sont resolus avec des couts tres importants en temps de calcul et en espace memoire. Dans cette these, nous mettons au point un parallelisme a deux niveaux et l'integrons dans les methodes de decomposition de domaine de type FETI. La demarche s'est organisee autour de trois chapitres principaux. Dans un premier temps, nous mettons en œuvre un solveur direct pour inverser des systemes lineaires creux qui peuvent etre symetriques ou non symetriques, reels ou complexes, a second membre simple ou multiple. La mise en œuvre, basee sur une technique de renumerotation de type dissection emboitee, est completee par un point utile dans beaucoup de methodes de decomposition de domaine (construction d'un preconditionneur ou formulation de l'operateur de FETI) : la detection de modes a energie nulle des systemes singuliers. Dans un deuxieme temps, nous parallelisons le solveur direct a travers un modele de parallelisme a memoire partagee (multi-threading) pour tirer profit des nouveaux processeurs multi-coeurs. Dans un troisieme temps, nous integrons cette version multi-threads du solveur dans les methodes FETI pour inverser les problemes locaux en parallele. Les resultats de cette etude mettent en evidence l'utilite des travaux effectues et l'interet d'utiliser comme solveur local dans les methodes FETI un solveur direct parallele robuste et efficace. Tout ceci peut donner acces a de nouvelles gammes de problemes en calcul des structures. Il serait interessant de revoir le parallelisme a gros grains entre sous-domaines dans les methodes FETI. Cela pourrait consister a utiliser la version du solveur direct a second membre multiple pour ameliorer plus la methode iterative utilisee dans la resolution du probleme d'interface.

[1]  Michael T. Heath,et al.  Parallel Algorithms for Sparse Linear Systems , 1991, SIAM Rev..

[2]  A. H. Sherman,et al.  Comparative Analysis of the Cuthill–McKee and the Reverse Cuthill–McKee Ordering Algorithms for Sparse Matrices , 1976 .

[3]  C. Farhat,et al.  The two-level FETI method. Part II: Extension to shell problems, parallel implementation and performance results , 1998 .

[4]  Charbel Farhat,et al.  Implicit parallel processing in structural mechanics , 1994 .

[5]  Zi-Cai Li,et al.  Schwarz Alternating Method , 1998 .

[6]  John K. Reid,et al.  An Implementation of Tarjan's Algorithm for the Block Triangularization of a Matrix , 1978, TOMS.

[7]  Danielle Coulon,et al.  Parallelization of the Samcef Finite Element Software Through Domain Decomposition and Feti Algorithm , 1997, Int. J. High Perform. Comput. Appl..

[8]  P. Lascaux,et al.  Analyse numérique matricielle appliquée a l'art de l'ingénieur , 1987 .

[9]  G. Cailletaud,et al.  Analyse et développement d'algorithmes parallèles pour la résolution directe de grands systèmes linéaires creux , 2007 .

[10]  J. Mandel Balancing domain decomposition , 1993 .

[11]  C. Farhat,et al.  Extending substructure based iterative solvers to multiple load and repeated analyses , 1994 .

[12]  J. M. Thomas,et al.  Introduction à l'analyse numérique des équations aux dérivées partielles , 1983 .

[13]  James Demmel,et al.  An Asynchronous Parallel Supernodal Algorithm for Sparse Gaussian Elimination , 1997, SIAM J. Matrix Anal. Appl..

[14]  Daniel Rixen,et al.  Application of the FETI method to ASCI problems—scalability results on 1000 processors and discussion of highly heterogeneous problems , 2000 .

[15]  Xavier Juvigny Resolution de grands systemes lineaires sur machines massivement paralleles , 1997 .

[16]  Jack J. Dongarra,et al.  A set of level 3 basic linear algebra subprograms , 1990, TOMS.

[17]  P. Charrier,et al.  Algorithmique et calculs de complexité pour un solveur de type dissections emboîtées , 1989 .

[18]  Daniel Rixen,et al.  Application of the FETI Method to ASCI Problems: Scalability Results on One Thousand Processors and Discussion of Highly Heterogeneous Problems , 1999 .

[19]  Bil Lewis,et al.  Multithreaded Programming With PThreads , 1997 .

[20]  J. Pasciak,et al.  Computer solution of large sparse positive definite systems , 1982 .

[21]  Bruce M. Irons,et al.  A frontal solution program for finite element analysis , 1970 .

[22]  Pascal Hénon,et al.  PaStiX: A High-Performance Parallel Direct Solver for Sparse Symmetric Definite Systems , 2000 .

[23]  A. George Nested Dissection of a Regular Finite Element Mesh , 1973 .

[24]  Patrick R. Amestoy,et al.  Multifrontal parallel distributed symmetric and unsymmetric solvers , 2000 .

[25]  P. Tallec Domain decomposition methods in computational mechanics , 1994 .

[26]  C. Farhat,et al.  The second generation FETI methods and their application to the parallel solution of large-scale linear and geometrically non-linear structural analysis problems , 2000 .

[27]  P. Gosselet,et al.  Non-overlapping domain decomposition methods in structural mechanics , 2006, 1208.4209.

[28]  David Dureisseix,et al.  A 2-level and mixed domain decomposition approach for structural analysis , 1998 .

[29]  Edward Eric Rothberg,et al.  Exploiting the memory hierarchy in sequential and parallel sparse Cholesky factorization , 1992 .

[30]  C. Farhat,et al.  A method of finite element tearing and interconnecting and its parallel solution algorithm , 1991 .

[31]  Alan George,et al.  The Evolution of the Minimum Degree Ordering Algorithm , 1989, SIAM Rev..

[32]  J. W. Walker,et al.  Direct solutions of sparse network equations by optimally ordered triangular factorization , 1967 .

[33]  Byung Ro Moon,et al.  Genetic Algorithm and Graph Partitioning , 1996, IEEE Trans. Computers.

[34]  E. Cuthill,et al.  Reducing the bandwidth of sparse symmetric matrices , 1969, ACM '69.

[35]  Vipin Kumar,et al.  Highly Scalable Parallel Algorithms for Sparse Matrix Factorization , 1997, IEEE Trans. Parallel Distributed Syst..

[36]  C. Farhat,et al.  Two-level domain decomposition methods with Lagrange multipliers for the fast iterative solution of acoustic scattering problems , 2000 .

[37]  G. Cailletaud,et al.  Mise en œuvre d'un solveur direct parallèle pour l'inversion des problèmes locaux au sein d'une méthode de décomposition de domaine , 2009 .

[38]  James Demmel,et al.  SuperLU_DIST: A scalable distributed-memory sparse direct solver for unsymmetric linear systems , 2003, TOMS.

[39]  Cleve Ashcraft,et al.  SPOOLES: An Object-Oriented Sparse Matrix Library , 1999, PPSC.

[40]  C. Farhat,et al.  Optimal convergence properties of the FETI domain decomposition method , 1994 .

[41]  François-Xavier Roux Méthode de décomposition de domaine a l'aide de multiplicateurs de Lagrange et application a la résolution en parallèle des équations de l'élasticité linéaire , 1989 .

[42]  Frédéric Feyel,et al.  Application du calcul parallèle aux modèles à grand nombre de variables internes , 1998 .

[43]  Prabhakar Raghavan,et al.  DSCPACK: Domain-Separator Codes for the parallel solution of sparse linear systems , 2002 .

[44]  Joseph W. H. Liu The role of elimination trees in sparse factorization , 1990 .

[45]  Rohit Chandra,et al.  Parallel programming in openMP , 2000 .

[46]  Joseph W. H. Liu,et al.  Modification of the minimum-degree algorithm by multiple elimination , 1985, TOMS.

[47]  Vipin Kumar,et al.  A Fast and High Quality Multilevel Scheme for Partitioning Irregular Graphs , 1998, SIAM J. Sci. Comput..

[48]  Prescott D. Crout A Short Method for Evaluating Determinants and Solving Systems of Linear Equations With Real or Complex Coefficients , 1941, Transactions of the American Institute of Electrical Engineers.

[49]  Paul Rapin,et al.  Méthode des éléments finis , 1993 .

[50]  C. Farhat,et al.  The two-level FETI method for static and dynamic plate problems Part I: An optimal iterative solver for biharmonic systems , 1998 .

[51]  Pascal Hénon,et al.  PaStiX: a high-performance parallel direct solver for sparse symmetric positive definite systems , 2002, Parallel Comput..

[52]  D. Rixen,et al.  FETI‐DP: a dual–primal unified FETI method—part I: A faster alternative to the two‐level FETI method , 2001 .

[53]  Patrick R. Amestoy,et al.  An Approximate Minimum Degree Ordering Algorithm , 1996, SIAM J. Matrix Anal. Appl..

[54]  Daveau Christian METHODE DES ELEMENTS FINIS , 2011 .