Accelerating Chemical Simulation Through Model Modification

Total Page:16

File Type:pdf, Size:1020Kb

Accelerating Chemical Simulation Through Model Modification Masaryk University Faculty of Informatics Accelerating Chemical Simulation through Model Modification Doctoral Thesis Jana Pazúriková Brno, Fall 2017 Masaryk University Faculty of Informatics Accelerating Chemical Simulation through Model Modification Doctoral Thesis Jana Pazúriková Brno, Fall 2017 Declaration Hereby I declare that this paper is my original authorial work, which I have worked out on my own. All sources, references, and literature used or excerpted during elaboration of this work are properly cited and listed in complete reference to the due source. Jana Pazúriková Advisor: Luděk Matyska i Acknowledgement The years of my doctoral studies have been filled with life lessons and people who helped me to get through them. Let’s tackle those lessons first. Working on such a huge project for years, mostly alone, as I have, often can be (and sure was) overwhelming. I have fought self-doubt and the imposter syndrome almost every week and I have not won. However, if you open up and share, you find out that everyone has its doubts. And suddenly, you are not alone. I have invested enourmous time and energy to the research of one of the problems and the results did not correspond with the effort. I ended up with more problems to solve than I had at the beginning and little to show for years of focus. Science can be like that sometimes, even the most elegant solutions might not work despite reasonable expectations. Leaving behind so much of my work, so much of my time has been the most challenging and at the same time the most freeing thing I have done. And I learned not to linger on my already spent time just as I try not to linger on material things. And then a side project turned out nicely and offered an unex- pected opportunity leading to an elegant method. And I learned you should always keep a door open to another direction. After that I came across a problem that seemed too easy at the first glance, not scientific enough. And I learned that if you dig deeper and do things properly, you can come up with the solution that surprises you with its simplicity. Just because it’s science, it does not have to be complicated. During this journey, several people supported me and helped me to get up and more forward again and again. Professor Matyska has often calmed my worries and offered a new insight. Scientists I have co-operated with, Aleš Křenek, Radka Svobodová and Vojtěch Spiwok, have always been supportive to me as a scientist-in-training and pro- vided me with valuable feedback. My colleagues in the Laboratory of Advanced Network technologies, Víťa, Pavel, Milan, Fila and Honza, have shared their experience and life lessons during our conversations in the kitchen. iii I would not be where I am now without my family. Their love and care has shapen me as a person. And finally, Tomáš has stood right beside me the whole time asan infinite source of hugs that soothe my soul and lift my spirit. This work was supported by Czech Science Foundation (15-17269S) and LM2015047 Czech National Infrastructure for Biological Data. Computational resources were provided by the CESNET LM2015042 and the CERIT Scientific Cloud LM2015085, provided under the pro- gramme “Projects of Large Research, Development, and Innovations Infrastructures”. iv Abstract Computer modeling and simulations have supported research in almost all scientific areas. Especially for life sciences, they offer new insights for thinking and new possibilities for experimenting. One of the most powerful computational methods available in simu- lations regarding chemical processes is molecular dynamics. In this type of simulations, particles move due to their potential and kinetic energy. Several models differing in scale and the level of approxima- tion describe those particles and their potential energy, ranging from quantum to coarse-grained models. Two main issues hamper the wider application of molecular dy- namics simulations: cost and accuracy of models. High computational demands stem from the necessity of long simulation timescales due to the factors given either by the physical reality of our world or the requirements put on scientific methods. Except for quantum model of particles and interactions, all others approximate the reality rather coarsely. Complex nonlinear behavior is replaced by a scalar con- stant or an empirical function, all to simulate faster and therefore reach longer timescales and larger systems. Computer science can contribute to solving these issues as their sub problems often relate to high performance computing, numerical methods, optimization problems, and others. In this dissertation, we propose a methodology to deal with such demanding computations. A lot of them share a common concept: the evaluation of a computationally expensive function in a loop. The usual approaches aim to accelerate the function, but they are begin- ning to hit the limits. We, on the contrary, turn our attention to the loop. First, we build a model of the problem that emphasizes the it- erative character of computation. Then we modify the execution of the loop in various ways that lead to the acceleration of the whole computation. We apply this methodology to three demanding compu- tational problems from chemical simulations: two regarding the long timescales and one regarding the accuracy. We change the scheme of the loop to add another level of parallelization, we reduce the number vi of the function’s evaluations by reusing calculations from previous iterations or we omit iterations that do not contribute to the result. In the first problem, we applied parallel-in-time computation scheme to increase the scalability of molecular dynamics simulation. Even though we successfully performed the first such simulation of a biomolec- ular system, many issues need to be addressed before routine use. We offer their rigorous analysis supported with experiments. In the second problem, we approximated the calculation of the mean square distance between many molecular structures, a demand- ing part of metadynamics. Metadynamics pushes the molecular dy- namics simulation forward to quicken the occurrence of rare events. Our method manages to reduce its overhead significantly without a loss of accuracy. In the third problem, we simplified the algorithm for parametriza- tion of atomic charges, basically an optimization problem. By sys- tematic analysis, we found out that state-of-the-art approaches are needlessly complicated. We developed a method that reaches or sur- passes their accuracy and runs faster. The achieved results demonstrate that the proposed methodology focusing on the iterative evaluation of bottleneck function can be successfully applied to difficult computational problems. The results also show that even mature computational problems like molecular dynamics simulations can benefit from a systematic application of the state-of-the-art computer science. vii Keywords modelling, simulation, computational chemistry, approximation, opti- mization, acceleration viii Contents Acronyms 1 Glossary 2 1 Introduction 7 1.1 Simulating Chemical Processes ................7 1.1.1 Accuracy of Models . .9 1.1.2 Computational Demands . 11 1.2 Motivation and Current Limits ................ 13 1.3 Acceleration and Its Difficulties ............... 15 1.4 Our Approach ......................... 16 1.4.1 Structure of the Thesis . 18 2 Parallel-in-Time Molecular Dynamics 19 2.1 Problem ............................ 20 2.1.1 Molecular Dynamics . 20 2.1.2 Parallel-in-Time Computation . 24 2.1.3 Motivation . 29 2.1.4 Problem Description and Solution Proposal . 29 2.2 Model of Computation .................... 29 2.3 Modified Model of Computation ............... 31 2.4 Analysis of Problematic Aspects ............... 32 2.4.1 Prototype and Setup of Experiments . 33 2.4.2 Differences between Gravitational and Electro- static N-body Problem . 37 2.4.3 Application of Molecular Dynamics to Parallel- in-Time Integration Scheme . 42 2.4.4 Overview of Problematic Aspects . 45 2.4.5 Theoretical Speedup . 46 2.5 Conclusion .......................... 48 2.5.1 Future Work . 49 3 Approximation of Mean Square Distance Computations in Metadynamics 51 3.1 Problem ............................ 52 3.1.1 Metadynamics . 52 ix 3.1.2 Motivation . 59 3.1.3 Problem Description and Solution Proposal . 59 3.2 Model of Computation .................... 61 3.3 Approximated Model of Computation ............ 63 3.4 Accuracy and Speedup .................... 66 3.4.1 Number of MSD Computations . 66 3.4.2 Implementation . 67 3.4.3 Datasets and Computational Details . 68 3.4.4 Theoretical Speedup . 71 3.4.5 Practical Speedup . 73 3.4.6 Accuracy Evaluation . 79 3.5 Conclusion .......................... 84 3.5.1 Future Work . 85 4 Simplified Optimization Method in Atomic Charges Parametriza- tion 87 4.1 Problem ............................ 88 4.1.1 Atomic Charges . 88 4.1.2 Electronegativity Equalization Method and its Parametrization . 91 4.1.3 Motivation . 92 4.1.4 Problem Description and Solution Proposal . 93 4.2 Model of Computation .................... 93 4.3 Analysis of the Optimization Space and the Fitness Landscape 96 4.3.1 Optimization Space . 96 4.3.2 Fitness Landscape . 97 4.4 Simplified Model of Computation ............... 105 4.5 Accuracy and Speedup .................... 107 4.5.1 Implementation . 107 4.5.2 Evaluation Methods . 108 4.5.3 Accuracy Evaluation . 109 4.5.4 Theoretical Speedup . 111 4.5.5 Practical Speedup and Scalability . 112 4.6 Conclusion .......................... 113 4.6.1 Future Work . 114 5 Conclusions 115 x Bibliography 117 A Author’s Publications 145 xi List of Tables 2.1 List of datasets. 35 3.1 Percentage of computation time spent in metadynamics (MTD), CV evaluation (CV), distance computation (MSD), and rotation matrix computation (DSYEVR). 60 3.2 Values of the current-close structure distance threshold # influence K, the average number of steps between the reassignment of the close structure. 72 3.3 Speedup for the whole simulation for various # and thus various maximal speed-ups of MSD computations 73 3.4 Comparison of original and close structure trajectories.
Recommended publications
  • MPI–Openmp Algorithms for the Parallel Space–Time Solution of Time Dependent Pdes
    MPI–OpenMP algorithms for the parallel space–time solution of Time Dependent PDEs Ronald D. Haynes1 and Benjamin W. Ong2 1 Introduction Modern high performance computers offer hundreds of thousands of processors that can be leveraged, in parallel, to compute numerical solutions to time dependent par- tial differential equations (PDEs). For grid-based solutions to these PDEs, domain decomposition (DD) is often employed to add spatial parallelism [19]. Parallelism in the time variable is more difficult to exploit due to the inherent causality. Recently, researchers have explored this issue as a means to improve the scalability of existing parallel spatial solvers applied to time dependent problems. There are several general approaches to combine temporal parallelism with spatial parallelism. Waveform relaxation [15] is an example of a “parallel across the prob- lem” method. The “parallel across the time domain” approaches include the parareal method [11, 17, 16]. The parareal method decomposes a time domain into smaller temporal subdomains and alternates between applying a coarse (relatively fast) se- quential solver to compute an approximate (not very accurate) solution, and apply- ing a fine (expensive) solver on each temporal subdomain in parallel. Alternatively, one can consider “parallel across the step” methods. Examples of such approaches include the computation of intermediate Runge–Kutta stage values in parallel [18], and Revisionist Integral Deferred Correction (RIDC) methods, which are the family of parallel time integrators considered in this paper. Parallel across the step meth- ods allow for “small scale” parallelism in time. Specifically, we will show that if a DD implementation scales to Nx processors, a RIDC-DD parallelism will scale to Nt × Nx processors, where Nt < 12 in practice.
    [Show full text]
  • Numerical Investigation of Parallel-In-Time Methods for Dominantly Hyperbolic Equations
    Numerical Investigation of Parallel-in-Time Methods for Dominantly Hyperbolic Equations Vom Fachbereich Maschinenbau an der Technischen Universität Darmstadt zur Erlangung des akademischen Grades eines Doktor-Ingenieurs (Dr.-Ing.) genehmigte Dissertation vorgelegt von Andreas Schmitt, M.Sc. aus Düsseldorf Berichterstatter: Prof. Dr. rer. nat. Michael Schäfer Mitberichterstatter: Prof. Dr. rer. nat. Sebastian Schöps Tag der Einreichung: 23.07.2018 Tag der mündlichen Prüfung: 10.10.2018 Darmstadt 2019 D 17 Schmitt, Andreas Numerical Investigation of Parallel-in-Time Methods for Dominantly Hyperbolic Equations Technische Universität Darmstadt Tag der mündlichen Prüfung: 10.10.2018 Jahr der Veröffentlichung auf TUprints: 2019 URN: urn:nbn:de:tuda-tuprints-83286 Veröffentlicht unter CC BY-NC-ND 4.0 International https://creativecommons.org/licences/by-nc-nd/4.0/ Vorwort Die vorliegende Arbeit “Numerical Investigation of Parallel-in-Time Methods for Dominantly Hyperbolic Equations” ist mein Beitrag zum Forschungsgebiet der zeitparallelen Methoden. Diese Dissertation wurde als Abschlussarbeit meines Promotionsvorhabens an der Technischen Universität Darmstadt am Fachgebiet für Numerische Berechnungsverfahren im Maschinenbau und der Graduiertenschule Computational Engineering verfasst. Mit den Inhalten der Dissertation habe ich mich von Mai 2015 bis Juli 2018 beschäftigt. Ich möchte mich bei Prof. Michael Schäfer für die Möglichkeit zur Pro- motion, den Vorschlag des spannenden Themengebietes und die Betreuung bedanken. Insbesondere danke ich Ihm auch für die gegebenen Freiheiten, so dass ich das Thema nach meinen Interessen erforschen konnte. Des Weiteren danke ich Prof. Sebastian Schöps für die Übernahme der Mitberichterstatter- schaft und die konstruktiven Gespräche. Für viele konstruktive Gespräche möchte ich mich auch bei den Mitentwick- lern von SWEET bedanken.
    [Show full text]
  • A Parareal Algorithm for Optimality Systems Martin Gander, Félix Kwok, Julien Salomon
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Archive Ouverte en Sciences de l'Information et de la Communication PARAOPT: A parareal algorithm for optimality systems Martin Gander, Félix Kwok, Julien Salomon To cite this version: Martin Gander, Félix Kwok, Julien Salomon. PARAOPT: A parareal algorithm for optimality systems. 2019. hal-02346535 HAL Id: hal-02346535 https://hal.archives-ouvertes.fr/hal-02346535 Submitted on 5 Nov 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. PARAOPT: A PARAREAL ALGORITHM FOR OPTIMALITY SYSTEMS MARTIN J. GANDER, FELIX KWOK, AND JULIEN SALOMON Abstract. The time parallel solution of optimality systems arising in PDE constraint optimization could be achieved by simply applying any time paral- lel algorithm, such as Parareal, to solve the forward and backward evolution problems arising in the optimization loop. We propose here a different strat- egy by devising directly a new time parallel algorithm, which we call ParaOpt, for the coupled forward and backward non-linear partial differential equations. ParaOpt is inspired by the Parareal algorithm for evolution equations, and thus is automatically a two-level method.
    [Show full text]
  • Asynchronous Iterations of Parareal Algorithm for Option Pricing Models Frédéric Magoulès, Guillaume Gbikpi-Benissan, Qinmeng Zou
    Asynchronous Iterations of Parareal Algorithm for Option Pricing Models Frédéric Magoulès, Guillaume Gbikpi-Benissan, Qinmeng Zou To cite this version: Frédéric Magoulès, Guillaume Gbikpi-Benissan, Qinmeng Zou. Asynchronous Iterations of Parareal Algorithm for Option Pricing Models. Mathematics , MDPI, 2018, 6 (4), pp.45. 10.3390/math6040045. hal-01741114v2 HAL Id: hal-01741114 https://hal.archives-ouvertes.fr/hal-01741114v2 Submitted on 27 Jun 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Asynchronous Iterations of Parareal Algorithm for Option Pricing Models Frédéric Magoulès∗ Guillaume Gbikpi-Benissany Qinmeng Zouz Abstract Spatial domain decomposition method has been largely investigated in the last several decades, while time decomposition seems against intuition, which is not as popular as the former. However, there are still many attractive methods being proposed, espe- cially the parareal algorithm, which shows both theoretical and experimental efficiency in the context of parallel computing. In this paper, we present an original model of asynchronous variant based on parareal scheme, applied to the European option pricing problem. Some numerical experiments are given to illustrate the convergence perfor- mance and computational efficiency of such method. Keywords: Parallel computing; asynchronous iterations; parareal method; European options; domain decomposition; time-dependent problems 1 Introduction Today’s dominating high-performance computer architecture is parallel.
    [Show full text]
  • Θ-Parareal Schemes
    θ-parareal schemes Gil Ariel,∗ Hieu Nguyen†and Richard Tsai‡ October 17, 2018 Abstract A weighted version of the parareal method for parallel-in-time computation of time dependent problems is presented. Linear stability analysis for a scalar weighing strat- egy shows that the new scheme may enjoy favorable stability properties with marginal reduction in accuracy at worse. More complicated matrix-valued weights are analyzed and applied in numerical examples. The weights are optimized using information from past iterations, providing a systematic framework for using the parareal iterations as an approach to multiscale coupling. The advantage of the method is demonstrated using numerical examples, including some well-studied nonlinear Hamiltonian systems. 1 Introduction Parallelization of computation for spatial domain, such as the standard domain decomposi- tion methods, has been extensively developed and successfully applied to many important applications. Due to causality, parallel-in-time computations have not been as successful as parallel computations in space. However, numerical simulations will not benefit from available exa-scale computing power unless parallelization-in-time can be performed. De- spite recent advances, the presence of strong causalities in the sense that local perturbations arXiv:1704.06882v2 [math.NA] 7 Feb 2018 are not damped out by the system’s dissipation, e.g. in hyperbolic problems and fast os- cillations in the solutions, typically hinders the efficiency of such types of algorithms. For example, approaches involving shooting and Newton’s solvers may become virtually unus- able. It is widely recognized that robust and convergent numerical computation using such parallel-in-time algorithms still remains a main challenge.
    [Show full text]
  • Modified Parareal Method for Solving the Two-Dimensional Nonlinear
    Modified parareal method for solving the two-dimensional nonlinear shallow water equations using finite volumes Joao Guilherme Caldas Steinstraesser, Vincent Guinot, Antoine Rousseau To cite this version: Joao Guilherme Caldas Steinstraesser, Vincent Guinot, Antoine Rousseau. Modified parareal method for solving the two-dimensional nonlinear shallow water equations using finite volumes. In press. hal-02894841 HAL Id: hal-02894841 https://hal.inria.fr/hal-02894841 Preprint submitted on 9 Jul 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Journal of Computational Mathematics Vol. 00, Pages 000{000 (XXXX) Modified parareal method for solving the two-dimensional nonlinear shallow water equations using finite volumes Joao G. Caldas Steinstraesser 1 Vincent Guinot 2 Antoine Rousseau 3 1 Inria, IMAG, Univ Montpellier, CNRS, Montpellier, France Email address: [email protected] 2 Univ Montpellier, HSM, CNRS, IRD, Inria, Montpellier, France Email address: [email protected] 3 Inria, IMAG, Univ Montpellier, CNRS, Montpellier, France Email address: [email protected]. Abstract. In this work, the POD-DEIM-based parareal method introduced in [6] is implemented for the resolution of the two-dimensional nonlinear shallow water equations using a finite volume scheme.
    [Show full text]
  • A Hybrid Parareal Spectral Deferred Corrections Method Michael L.Minion
    Communications in Applied Mathematics and Computational Science A HYBRID PARAREAL SPECTRAL DEFERRED CORRECTIONS METHOD MICHAEL L. MINION vol. 5 no. 2 2010 mathematical sciences publishers COMM. APP. MATH. AND COMP. SCI. Vol. 5, No. 2, 2010 msp A HYBRID PARAREAL SPECTRAL DEFERRED CORRECTIONS METHOD MICHAEL L. MINION The parareal algorithm introduced in 2001 by Lions, Maday, and Turinici is an iterative method for the parallelization of the numerical solution of ordinary differential equations or partial differential equations discretized in the temporal direction. The temporal interval of interest is partitioned into successive domains which are assigned to separate processor units. Each iteration of the parareal algorithm consists of a high accuracy solution procedure performed in parallel on each domain using approximate initial conditions and a serial step which propagates a correction to the initial conditions through the entire time interval. The original method is designed to use classical single-step numerical methods for both of these steps. This paper investigates a variant of the parareal algorithm first outlined by Minion and Williams in 2008 that utilizes a deferred correction strategy within the parareal iterations. Here, the connections between parareal, parallel deferred corrections, and a hybrid parareal-spectral deferred correction method are further explored. The parallel speedup and efficiency of the hybrid methods are analyzed, and numerical results for ODEs and discretized PDEs are presented to demonstrate the performance of the hybrid approach. 1. Introduction The prospect of parallelizing the numerical solution of ordinary differential equations (ODEs) in the temporal direction has been the topic of research dating back at least to the early work of Nievergelt[55] and Miranker and Liniger[54].
    [Show full text]
  • Real Time Computing with the Parareal Algorithm
    Florida State University Libraries Electronic Theses, Treatises and Dissertations The Graduate School 2008 Realtime Computing with the Parareal Algorithm Christopherr.Harden Follow this and additional works at the FSU Digital Library. For more information, please contact [email protected] FLORIDA STATE UNIVERSITY COLLEGE OF ARTS AND SCIENCES REALTIME COMPUTING WITH THE PARAREAL ALGORITHM By CHRISTOPHERR.HARDEN A Thesis submitted to the School of Computational Science in partial fulfillment of the requirements for the degree of Master of Science Degree Awarded: Spring Semester, 2008 The members of the Committee approve the Masters Thesis of Christopher R. Harden defended on April 8, 2008. Janet Peterson Professor Directing Masters Thesis Max Gunzburger Committee Member Robert Van Engelen Committee Member Approved: Max Gunzburger, Director Department of School of Computational Science The Office of Graduate Studies has verified and approved the above named committee members. ii This thesis is dedicated to all of the people who have helped and guided me throughout my research including but not limited to Janet Peterson, Max Gunzburger, John Burkardt, Robert Van Engelen, and the many other professors who have provided me with an excellent level of instruction throughout all of my course work here at FSU. Also, I would like to dedicate this work to my wife, Jennifer Alligood, and my son, Youth, for their infinite depth of understanding of my situation as a graduate student and for their unending support throughout this endeavor. iii ACKNOWLEDGEMENTS I would like to acknowledge my gratitude to my committee members, who have taken the time to review my work and to pose the difficult questions which have kept me honest and thus have allowed me to grow as an academic throughout this process.
    [Show full text]
  • Parareal Neural Networks Emulating a Parallel-In-Time Algorithm∗
    Parareal Neural Networks Emulating a Parallel-in-time Algorithm∗ Chang-Ock Leey , Youngkyu Leey , and Jongho Park z Abstract. As deep neural networks (DNNs) become deeper, the training time increases. In this perspective, multi-GPU parallel computing has become a key tool in accelerating the training of DNNs. In this paper, we introduce a novel methodology to construct a parallel neural network that can utilize multiple GPUs simultaneously from a given DNN. We observe that layers of DNN can be interpreted as the time steps of a time-dependent problem and can be parallelized by emulating a parallel-in-time algorithm called parareal. The parareal algorithm consists of fine structures which can be implemented in parallel and a coarse structure which gives suitable approximations to the fine structures. By emulating it, the layers of DNN are torn to form a parallel structure, which is connected using a suitable coarse network. We report accelerated and accuracy-preserved results of the proposed methodology applied to VGG-16 and ResNet-1001 on several datasets. Key words. deep neural network, parallel computing, time-dependent problem, parareal AMS subject classifications. 68T01, 68U10, 68W10 1. Introduction. Deep neural networks (DNNs) have demonstrated success for many classification and regression tasks such as image recognition [15, 22] and natural language processing [5, 19]. A principal reason for why DNN performs well is the depth of DNN, i.e., the number of sequential layers of DNN. Each layer of DNN is composed of a combination of an affine transformation and a nonlinear activation function, e.g., a rectified linear unit (ReLU).
    [Show full text]
  • Parareal in Julia with Singularity
    Fachhochschule Aachen Campus Jülich Department: Medizintechnik und Technomathematik Degree program: Angewandte Mathematik und Informatik Parareal in Julia with Singularity Masterthesis from Isabel Heisters Jülich, December 2020 Declaration of independence This work is made and written by myself. No other sources and tools have been used than those indicated. Place and date Signature The thesis was supervised by: First examiner: Prof. Dr. Johannes Grotendorst Second examiner: Dr. Robert Speck This thesis was done at : Jülich Supercomputing Centre Forschungszentrum Jülich GmbH Abstract In this thesis a Julia version of the parallel-in-time method Parareal is in- troduced. Parareal decomposes the time as an approach for parallelization. Parareal is an hierarchical, iterative algorithm that uses a coarse, cheap inte- grator to propagate information quickly forward in time in order to provide initial values for the parallelized original time integration scheme. The prob- lems here used to test the Parareal algorithm are the Lorenz equation, the heat equation and the Allen-Cahn equation. Julia is a programming language that was specifically designed to be used for numerical applications and par- allelization. Julia is becoming more popular due to the fact that it is easier to implement than C but has a better runtime than Python. Julia is a new language and not available on most host systems. Singularity is a container solution to create the necessities for scientific application-driven workloads. By using a container the user can configure the environment in which the applica- tion can run independently of the host system and its software specifications. This thesis shows how a Singularity container for the Parareal algorithm implemented in Julia can be built.
    [Show full text]
  • A Parareal Algorithm for Optimality Systems Martin Gander, Félix Kwok, Julien Salomon
    PARAOPT: A parareal algorithm for optimality systems Martin Gander, Félix Kwok, Julien Salomon To cite this version: Martin Gander, Félix Kwok, Julien Salomon. PARAOPT: A parareal algorithm for optimality systems. SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2020, 42(5), pp.A2773–A2802. 10.1137/19M1292291. hal-02346535v2 HAL Id: hal-02346535 https://hal.archives-ouvertes.fr/hal-02346535v2 Submitted on 10 Jul 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. PARAOPT: A PARAREAL ALGORITHM FOR OPTIMALITY SYSTEMS MARTIN J. GANDER, FELIX KWOK, AND JULIEN SALOMON Abstract. The time parallel solution of optimality systems arising in PDE constrained optimization could be achieved by simply applying any time par- allel algorithm, such as Parareal, to solve the forward and backward evolution problems arising in the optimization loop. We propose here a different strat- egy by devising directly a new time parallel algorithm, which we call ParaOpt, for the coupled forward and backward nonlinear partial differential equations. ParaOpt is inspired by the Parareal algorithm for evolution equations, and thus is automatically a two-level method. We provide a detailed convergence analysis for the case of linear parabolic PDE constraints.
    [Show full text]
  • Shared Memory Pipelined Parareal
    This is a repository copy of Shared Memory Pipelined Parareal. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/115836/ Version: Accepted Version Proceedings Paper: Ruprecht, D orcid.org/0000-0003-1904-2473 (2017) Shared Memory Pipelined Parareal. In: Lecture Notes in Computer Science. Euro-Par 2017: 23rd International European Conference on Parallel and Distributed Computing, 28 Aug - 01 Sep 2017, Santiago de Compostela, Spain. Springer Verlag , pp. 669-681. ISBN 978-3-319-64202-4 https://doi.org/10.1007/978-3-319-64203-1_48 © 2017, Springer International Publishing AG. This is an author produced version of a paper published in Lecture Notes in Computer Science. The final publication is available at Springer via https://doi.org/10.1007/978-3-319-64203-1_48. Uploaded in accordance with the publisher's self-archiving policy. Reuse Items deposited in White Rose Research Online are protected by copyright, with all rights reserved unless indicated otherwise. They may be downloaded and/or printed for private study, or other acts as permitted by national copyright laws. The publisher or other rights holders may allow further reproduction and re-use of the full text version. This is indicated by the licence information on the White Rose Research Online record for the item. Takedown If you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing [email protected] including the URL of the record and the reason for the withdrawal request. [email protected] https://eprints.whiterose.ac.uk/ Shared memory pipelined Parareal Daniel Ruprecht1,2 1 School of Mechanical Engineering, LS2 9JT, Leeds, United Kingdom [email protected] 2 Institute of Computational Science, Universit`adella Svizzera italiana, Via Giuseppe Buffi 13, CH-6900 Lugano, Switzerland Abstract.
    [Show full text]