Algorithm 965

Revisionist integral deferred correction methods are a family of parallel-in-time methods to solve systems of initial values problems. The approach is able to bootstrap lower-order time integrators to provide high-order approximations in approximately the same wall-clock time, hence providing a multiplicative increase in the number of compute cores utilized. Here we provide a library that automatically produces a parallel-in-time solution of a system of initial value problems given user-supplied code for the right-hand side of the system and a sequential code for a first-order timestep. The user-supplied timestep routine may be explicit or implicit and may make use of any auxiliary libraries that take care of the solution of any nonlinear algebraic systems that may arise or the numerical linear algebra required.

[1]  Lawrence F. Shampine,et al.  Solving Index-1 DAEs in MATLAB and Simulink , 1999, SIAM Rev..

[2]  Kevin Burrage,et al.  Parallel methods for initial value problems , 1993 .

[3]  Benjamin W. Ong,et al.  COMMENTS ON HIGH-ORDER INTEGRATORS EMBEDDED WITHIN INTEGRAL DEFERRED CORRECTION METHODS , 2009 .

[4]  Y. Maday,et al.  A parareal in time procedure for the control of partial differential equations , 2002 .

[5]  W. Miranker,et al.  Parallel methods for the numerical integration of ordinary differential equations , 1967 .

[6]  Andrew J. Christlieb,et al.  Implicit Parallel Time Integrators , 2011, J. Sci. Comput..

[7]  Samantha S. Foley,et al.  A dependency-driven formulation of parareal: parallel-in-time solution of PDEs as a many-task application , 2011, MTAGS '11.

[8]  Carol S. Woodward,et al.  Enabling New Flexibility in the SUNDIALS Suite of Nonlinear and Differential/Algebraic Equation Solvers , 2020, ACM Trans. Math. Softw..

[9]  Andrew J. Christlieb,et al.  Parallel Semi-Implicit Time Integrators , 2012, ArXiv.

[10]  Brian Gough,et al.  GNU Scientific Library Reference Manual - Third Edition , 2003 .

[11]  Robert F. Enenkel,et al.  DIMSEMs - diagonally implicit single-eigenvalue methods for the numerical solution of stiff ODEs on parallel computers , 1997, Adv. Comput. Math..

[12]  Martin J. Gander,et al.  50 Years of Time Parallel Time Integration , 2015 .

[13]  G. D. Byrne,et al.  VODE: a variable-coefficient ODE solver , 1989 .

[14]  L. Petzold A description of dassl: a differential/algebraic system solver , 1982 .

[15]  Helmut Podhaisky,et al.  Explicit two-step peer methods , 2008, Comput. Math. Appl..

[16]  Martin J. Gander,et al.  On the Superlinear and Linear Convergence of the Parareal Algorithm , 2007, CSE 2007.

[17]  Kevin Burrage Parallel methods for ODEs , 1997, Adv. Comput. Math..

[18]  William Gropp,et al.  PETSc Users Manual Revision 3.4 , 2016 .

[19]  David I. Ketcheson,et al.  A comparison of high-order explicit Runge–Kutta, extrapolation, and deferred correction methods in serial and parallel , 2013, 1305.6165.

[20]  Robert D. Falgout,et al.  Parallel time integration with multigrid , 2013, SIAM J. Sci. Comput..

[21]  Benjamin W. Ong,et al.  MPI–OpenMP Algorithms for the Parallel Space–Time Solution of Time Dependent PDEs , 2014 .

[22]  M. E. Galassi,et al.  GNU SCIENTI C LIBRARY REFERENCE MANUAL , 2005 .

[23]  L. Greengard,et al.  Spectral Deferred Correction Methods for Ordinary Differential Equations , 2000 .

[24]  Andrew J. Christlieb,et al.  A Parallel Space-Time Algorithm , 2012, SIAM J. Sci. Comput..

[25]  Michael L. Minion,et al.  TOWARD AN EFFICIENT PARALLEL IN TIME METHOD FOR PARTIAL DIFFERENTIAL EQUATIONS , 2012 .

[26]  M. Kiehl,et al.  Optimized extrapolation methods for parallel solution of IVPs on different computer architectures , 1996 .

[27]  Colin B. Macdonald,et al.  Parallel High-Order Integrators , 2010, SIAM J. Sci. Comput..

[28]  Dirk Roose,et al.  The Parallel Waveform Relaxation Multigrid Method , 1987, PPSC.

[29]  Andrew J. Christlieb,et al.  Integral deferred correction methods constructed with high order Runge-Kutta integrators , 2009, Math. Comput..

[30]  Colin B. Macdonald,et al.  Revisionist integral deferred correction with adaptive step-size control , 2013, 1310.6331.

[31]  Michael L. Minion,et al.  Efficient Implementation of a Multi-Level Parallel in Time Algorithm , 2014 .

[32]  W. H. Vandevender,et al.  The SLATEC mathematical subroutine library , 1982, SGNM.