1a515125bSLeila Ghaffari // Copyright (c) 2017, Lawrence Livermore National Security, LLC. Produced at 2a515125bSLeila Ghaffari // the Lawrence Livermore National Laboratory. LLNL-CODE-734707. All Rights 3a515125bSLeila Ghaffari // reserved. See files LICENSE and NOTICE for details. 4a515125bSLeila Ghaffari // 5a515125bSLeila Ghaffari // This file is part of CEED, a collection of benchmarks, miniapps, software 6a515125bSLeila Ghaffari // libraries and APIs for efficient high-order finite element and spectral 7a515125bSLeila Ghaffari // element discretizations for exascale applications. For more information and 8a515125bSLeila Ghaffari // source code availability see http://github.com/ceed. 9a515125bSLeila Ghaffari // 10a515125bSLeila Ghaffari // The CEED research is supported by the Exascale Computing Project 17-SC-20-SC, 11a515125bSLeila Ghaffari // a collaborative effort of two U.S. Department of Energy organizations (Office 12a515125bSLeila Ghaffari // of Science and the National Nuclear Security Administration) responsible for 13a515125bSLeila Ghaffari // the planning and preparation of a capable exascale ecosystem, including 14a515125bSLeila Ghaffari // software, applications, hardware, advanced system engineering and early 15a515125bSLeila Ghaffari // testbed platforms, in support of the nation's exascale computing imperative. 16a515125bSLeila Ghaffari 17a515125bSLeila Ghaffari /// @file 18a515125bSLeila Ghaffari /// Time-stepping functions for Navier-Stokes example using PETSc 19a515125bSLeila Ghaffari 20a515125bSLeila Ghaffari #include "../navierstokes.h" 21a515125bSLeila Ghaffari #include "../qfunctions/mass.h" 22a515125bSLeila Ghaffari 23a515125bSLeila Ghaffari // Compute mass matrix for explicit scheme 24a515125bSLeila Ghaffari PetscErrorCode ComputeLumpedMassMatrix(Ceed ceed, DM dm, CeedData ceed_data, 25a515125bSLeila Ghaffari Vec M) { 26a515125bSLeila Ghaffari Vec M_loc; 27a515125bSLeila Ghaffari CeedQFunction qf_mass; 28a515125bSLeila Ghaffari CeedOperator op_mass; 29a515125bSLeila Ghaffari CeedVector m_ceed, ones_vec; 30a515125bSLeila Ghaffari CeedInt num_comp_q, q_data_size; 31a515125bSLeila Ghaffari PetscErrorCode ierr; 32a515125bSLeila Ghaffari PetscFunctionBeginUser; 33a515125bSLeila Ghaffari 34a515125bSLeila Ghaffari // CEED Restriction 35a515125bSLeila Ghaffari CeedElemRestrictionGetNumComponents(ceed_data->elem_restr_q, &num_comp_q); 36a515125bSLeila Ghaffari CeedElemRestrictionGetNumComponents(ceed_data->elem_restr_qd_i, &q_data_size); 37a515125bSLeila Ghaffari CeedElemRestrictionCreateVector(ceed_data->elem_restr_q, &m_ceed, NULL); 38a515125bSLeila Ghaffari CeedElemRestrictionCreateVector(ceed_data->elem_restr_q, &ones_vec, NULL); 39a515125bSLeila Ghaffari CeedVectorSetValue(ones_vec, 1.0); 40a515125bSLeila Ghaffari 41a515125bSLeila Ghaffari // CEED QFunction 42a515125bSLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, Mass, Mass_loc, &qf_mass); 43a515125bSLeila Ghaffari CeedQFunctionAddInput(qf_mass, "q", num_comp_q, CEED_EVAL_INTERP); 44a515125bSLeila Ghaffari CeedQFunctionAddInput(qf_mass, "q_data", q_data_size, CEED_EVAL_NONE); 45a515125bSLeila Ghaffari CeedQFunctionAddOutput(qf_mass, "v", num_comp_q, CEED_EVAL_INTERP); 46a515125bSLeila Ghaffari 47a515125bSLeila Ghaffari // CEED Operator 48a515125bSLeila Ghaffari CeedOperatorCreate(ceed, qf_mass, NULL, NULL, &op_mass); 49a515125bSLeila Ghaffari CeedOperatorSetField(op_mass, "q", ceed_data->elem_restr_q, ceed_data->basis_q, 50a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 51a515125bSLeila Ghaffari CeedOperatorSetField(op_mass, "q_data", ceed_data->elem_restr_qd_i, 52a515125bSLeila Ghaffari CEED_BASIS_COLLOCATED, ceed_data->q_data); 53a515125bSLeila Ghaffari CeedOperatorSetField(op_mass, "v", ceed_data->elem_restr_q, ceed_data->basis_q, 54a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 55a515125bSLeila Ghaffari 56a515125bSLeila Ghaffari // Place PETSc vector in CEED vector 57a515125bSLeila Ghaffari CeedScalar *m; 58a515125bSLeila Ghaffari PetscMemType m_mem_type; 59a515125bSLeila Ghaffari ierr = DMGetLocalVector(dm, &M_loc); CHKERRQ(ierr); 60a515125bSLeila Ghaffari ierr = VecGetArrayAndMemType(M_loc, (PetscScalar **)&m, &m_mem_type); 61a515125bSLeila Ghaffari CHKERRQ(ierr); 62a515125bSLeila Ghaffari CeedVectorSetArray(m_ceed, MemTypeP2C(m_mem_type), CEED_USE_POINTER, m); 63a515125bSLeila Ghaffari 64a515125bSLeila Ghaffari // Apply CEED Operator 65a515125bSLeila Ghaffari CeedOperatorApply(op_mass, ones_vec, m_ceed, CEED_REQUEST_IMMEDIATE); 66a515125bSLeila Ghaffari 67a515125bSLeila Ghaffari // Restore vectors 68a515125bSLeila Ghaffari CeedVectorTakeArray(m_ceed, MemTypeP2C(m_mem_type), NULL); 69a515125bSLeila Ghaffari ierr = VecRestoreArrayReadAndMemType(M_loc, (const PetscScalar **)&m); 70a515125bSLeila Ghaffari CHKERRQ(ierr); 71a515125bSLeila Ghaffari 72a515125bSLeila Ghaffari // Local-to-Global 73a515125bSLeila Ghaffari ierr = VecZeroEntries(M); CHKERRQ(ierr); 74a515125bSLeila Ghaffari ierr = DMLocalToGlobal(dm, M_loc, ADD_VALUES, M); CHKERRQ(ierr); 75a515125bSLeila Ghaffari ierr = DMRestoreLocalVector(dm, &M_loc); CHKERRQ(ierr); 76a515125bSLeila Ghaffari 77a515125bSLeila Ghaffari // Invert diagonally lumped mass vector for RHS function 78a515125bSLeila Ghaffari ierr = VecReciprocal(M); CHKERRQ(ierr); 79a515125bSLeila Ghaffari 80a515125bSLeila Ghaffari // Cleanup 81a515125bSLeila Ghaffari CeedVectorDestroy(&ones_vec); 82a515125bSLeila Ghaffari CeedVectorDestroy(&m_ceed); 83a515125bSLeila Ghaffari CeedQFunctionDestroy(&qf_mass); 84a515125bSLeila Ghaffari CeedOperatorDestroy(&op_mass); 85a515125bSLeila Ghaffari 86a515125bSLeila Ghaffari PetscFunctionReturn(0); 87a515125bSLeila Ghaffari } 88a515125bSLeila Ghaffari 89a515125bSLeila Ghaffari // RHS (Explicit time-stepper) function setup 90a515125bSLeila Ghaffari // This is the RHS of the ODE, given as u_t = G(t,u) 91a515125bSLeila Ghaffari // This function takes in a state vector Q and writes into G 92a515125bSLeila Ghaffari PetscErrorCode RHS_NS(TS ts, PetscReal t, Vec Q, Vec G, void *user_data) { 93a515125bSLeila Ghaffari 94a515125bSLeila Ghaffari User user = *(User *)user_data; 95a515125bSLeila Ghaffari PetscScalar *q, *g; 96a515125bSLeila Ghaffari Vec Q_loc, G_loc; 97a515125bSLeila Ghaffari PetscMemType q_mem_type, g_mem_type; 98a515125bSLeila Ghaffari PetscErrorCode ierr; 99a515125bSLeila Ghaffari PetscFunctionBeginUser; 100a515125bSLeila Ghaffari 101a515125bSLeila Ghaffari // Update EulerContext 102a515125bSLeila Ghaffari if (user->phys->has_curr_time) user->phys->euler_ctx->curr_time = t; 103a515125bSLeila Ghaffari 104a515125bSLeila Ghaffari // Get local vectors 105a515125bSLeila Ghaffari ierr = DMGetLocalVector(user->dm, &Q_loc); CHKERRQ(ierr); 106a515125bSLeila Ghaffari ierr = DMGetLocalVector(user->dm, &G_loc); CHKERRQ(ierr); 107a515125bSLeila Ghaffari 108a515125bSLeila Ghaffari // Global-to-local 109a515125bSLeila Ghaffari ierr = VecZeroEntries(Q_loc); CHKERRQ(ierr); 110a515125bSLeila Ghaffari ierr = DMGlobalToLocal(user->dm, Q, INSERT_VALUES, Q_loc); CHKERRQ(ierr); 111a515125bSLeila Ghaffari ierr = DMPlexInsertBoundaryValues(user->dm, PETSC_TRUE, Q_loc, 0.0, 112a515125bSLeila Ghaffari NULL, NULL, NULL); CHKERRQ(ierr); 113a515125bSLeila Ghaffari ierr = VecZeroEntries(G_loc); CHKERRQ(ierr); 114a515125bSLeila Ghaffari 115a515125bSLeila Ghaffari // Place PETSc vectors in CEED vectors 116a515125bSLeila Ghaffari ierr = VecGetArrayReadAndMemType(Q_loc, (const PetscScalar **)&q, &q_mem_type); 117a515125bSLeila Ghaffari CHKERRQ(ierr); 118a515125bSLeila Ghaffari ierr = VecGetArrayAndMemType(G_loc, &g, &g_mem_type); CHKERRQ(ierr); 119a515125bSLeila Ghaffari CeedVectorSetArray(user->q_ceed, MemTypeP2C(q_mem_type), CEED_USE_POINTER, q); 120a515125bSLeila Ghaffari CeedVectorSetArray(user->g_ceed, MemTypeP2C(g_mem_type), CEED_USE_POINTER, g); 121a515125bSLeila Ghaffari 122a515125bSLeila Ghaffari // Apply CEED operator 123a515125bSLeila Ghaffari CeedOperatorApply(user->op_rhs, user->q_ceed, user->g_ceed, 124a515125bSLeila Ghaffari CEED_REQUEST_IMMEDIATE); 125a515125bSLeila Ghaffari 126a515125bSLeila Ghaffari // Restore vectors 127a515125bSLeila Ghaffari CeedVectorTakeArray(user->q_ceed, MemTypeP2C(q_mem_type), NULL); 128a515125bSLeila Ghaffari CeedVectorTakeArray(user->g_ceed, MemTypeP2C(g_mem_type), NULL); 129a515125bSLeila Ghaffari ierr = VecRestoreArrayReadAndMemType(Q_loc, (const PetscScalar **)&q); 130a515125bSLeila Ghaffari CHKERRQ(ierr); 131a515125bSLeila Ghaffari ierr = VecRestoreArrayAndMemType(G_loc, &g); CHKERRQ(ierr); 132a515125bSLeila Ghaffari 133a515125bSLeila Ghaffari // Local-to-Global 134a515125bSLeila Ghaffari ierr = VecZeroEntries(G); CHKERRQ(ierr); 135a515125bSLeila Ghaffari ierr = DMLocalToGlobal(user->dm, G_loc, ADD_VALUES, G); CHKERRQ(ierr); 136a515125bSLeila Ghaffari 137a515125bSLeila Ghaffari // Inverse of the lumped mass matrix (M is Minv) 138a515125bSLeila Ghaffari ierr = VecPointwiseMult(G, G, user->M); CHKERRQ(ierr); 139a515125bSLeila Ghaffari 140a515125bSLeila Ghaffari // Restore vectors 141a515125bSLeila Ghaffari ierr = DMRestoreLocalVector(user->dm, &Q_loc); CHKERRQ(ierr); 142a515125bSLeila Ghaffari ierr = DMRestoreLocalVector(user->dm, &G_loc); CHKERRQ(ierr); 143a515125bSLeila Ghaffari 144a515125bSLeila Ghaffari PetscFunctionReturn(0); 145a515125bSLeila Ghaffari } 146a515125bSLeila Ghaffari 147a515125bSLeila Ghaffari // Implicit time-stepper function setup 148a515125bSLeila Ghaffari PetscErrorCode IFunction_NS(TS ts, PetscReal t, Vec Q, Vec Q_dot, Vec G, 149a515125bSLeila Ghaffari void *user_data) { 150a515125bSLeila Ghaffari User user = *(User *)user_data; 151a515125bSLeila Ghaffari const PetscScalar *q, *q_dot; 152a515125bSLeila Ghaffari PetscScalar *g; 153a515125bSLeila Ghaffari Vec Q_loc, Q_dot_loc, G_loc; 154a515125bSLeila Ghaffari PetscMemType q_mem_type, q_dot_mem_type, g_mem_type; 155a515125bSLeila Ghaffari PetscErrorCode ierr; 156a515125bSLeila Ghaffari PetscFunctionBeginUser; 157a515125bSLeila Ghaffari 158a515125bSLeila Ghaffari // Update EulerContext 159a515125bSLeila Ghaffari if (user->phys->has_curr_time) user->phys->euler_ctx->curr_time = t; 160a515125bSLeila Ghaffari 161a515125bSLeila Ghaffari // Get local vectors 162a515125bSLeila Ghaffari ierr = DMGetLocalVector(user->dm, &Q_loc); CHKERRQ(ierr); 163a515125bSLeila Ghaffari ierr = DMGetLocalVector(user->dm, &Q_dot_loc); CHKERRQ(ierr); 164a515125bSLeila Ghaffari ierr = DMGetLocalVector(user->dm, &G_loc); CHKERRQ(ierr); 165a515125bSLeila Ghaffari 166a515125bSLeila Ghaffari // Global-to-local 167a515125bSLeila Ghaffari ierr = VecZeroEntries(Q_loc); CHKERRQ(ierr); 168a515125bSLeila Ghaffari ierr = DMGlobalToLocal(user->dm, Q, INSERT_VALUES, Q_loc); CHKERRQ(ierr); 169a515125bSLeila Ghaffari ierr = DMPlexInsertBoundaryValues(user->dm, PETSC_TRUE, Q_loc, 0.0, 170a515125bSLeila Ghaffari NULL, NULL, NULL); CHKERRQ(ierr); 171a515125bSLeila Ghaffari ierr = VecZeroEntries(Q_dot_loc); CHKERRQ(ierr); 172a515125bSLeila Ghaffari ierr = DMGlobalToLocal(user->dm, Q_dot, INSERT_VALUES, Q_dot_loc); 173a515125bSLeila Ghaffari CHKERRQ(ierr); 174a515125bSLeila Ghaffari ierr = VecZeroEntries(G_loc); CHKERRQ(ierr); 175a515125bSLeila Ghaffari 176a515125bSLeila Ghaffari // Place PETSc vectors in CEED vectors 177a515125bSLeila Ghaffari ierr = VecGetArrayReadAndMemType(Q_loc, &q, &q_mem_type); CHKERRQ(ierr); 178a515125bSLeila Ghaffari ierr = VecGetArrayReadAndMemType(Q_dot_loc, &q_dot, &q_dot_mem_type); 179a515125bSLeila Ghaffari CHKERRQ(ierr); 180a515125bSLeila Ghaffari ierr = VecGetArrayAndMemType(G_loc, &g, &g_mem_type); CHKERRQ(ierr); 181a515125bSLeila Ghaffari CeedVectorSetArray(user->q_ceed, MemTypeP2C(q_mem_type), CEED_USE_POINTER, 182a515125bSLeila Ghaffari (PetscScalar *)q); 183a515125bSLeila Ghaffari CeedVectorSetArray(user->q_dot_ceed, MemTypeP2C(q_dot_mem_type), 184*139613f2SLeila Ghaffari CEED_USE_POINTER, (PetscScalar *)q_dot); 185a515125bSLeila Ghaffari CeedVectorSetArray(user->g_ceed, MemTypeP2C(g_mem_type), CEED_USE_POINTER, g); 186a515125bSLeila Ghaffari 187a515125bSLeila Ghaffari // Apply CEED operator 188a515125bSLeila Ghaffari CeedOperatorApply(user->op_ifunction, user->q_ceed, user->g_ceed, 189a515125bSLeila Ghaffari CEED_REQUEST_IMMEDIATE); 190a515125bSLeila Ghaffari 191a515125bSLeila Ghaffari // Restore vectors 192a515125bSLeila Ghaffari CeedVectorTakeArray(user->q_ceed, MemTypeP2C(q_mem_type), NULL); 193a515125bSLeila Ghaffari CeedVectorTakeArray(user->q_dot_ceed, MemTypeP2C(q_dot_mem_type), NULL); 194a515125bSLeila Ghaffari CeedVectorTakeArray(user->g_ceed, MemTypeP2C(g_mem_type), NULL); 195a515125bSLeila Ghaffari ierr = VecRestoreArrayReadAndMemType(Q_loc, &q); CHKERRQ(ierr); 196a515125bSLeila Ghaffari ierr = VecRestoreArrayReadAndMemType(Q_dot_loc, &q_dot); CHKERRQ(ierr); 197a515125bSLeila Ghaffari ierr = VecRestoreArrayAndMemType(G_loc, &g); CHKERRQ(ierr); 198a515125bSLeila Ghaffari 199a515125bSLeila Ghaffari // Local-to-Global 200a515125bSLeila Ghaffari ierr = VecZeroEntries(G); CHKERRQ(ierr); 201a515125bSLeila Ghaffari ierr = DMLocalToGlobal(user->dm, G_loc, ADD_VALUES, G); CHKERRQ(ierr); 202a515125bSLeila Ghaffari 203a515125bSLeila Ghaffari // Restore vectors 204a515125bSLeila Ghaffari ierr = DMRestoreLocalVector(user->dm, &Q_loc); CHKERRQ(ierr); 205a515125bSLeila Ghaffari ierr = DMRestoreLocalVector(user->dm, &Q_dot_loc); CHKERRQ(ierr); 206a515125bSLeila Ghaffari ierr = DMRestoreLocalVector(user->dm, &G_loc); CHKERRQ(ierr); 207a515125bSLeila Ghaffari 208a515125bSLeila Ghaffari PetscFunctionReturn(0); 209a515125bSLeila Ghaffari } 210a515125bSLeila Ghaffari 211a515125bSLeila Ghaffari // User provided TS Monitor 212a515125bSLeila Ghaffari PetscErrorCode TSMonitor_NS(TS ts, PetscInt step_no, PetscReal time, 213a515125bSLeila Ghaffari Vec Q, void *ctx) { 214a515125bSLeila Ghaffari User user = ctx; 215a515125bSLeila Ghaffari Vec Q_loc; 216a515125bSLeila Ghaffari char file_path[PETSC_MAX_PATH_LEN]; 217a515125bSLeila Ghaffari PetscViewer viewer; 218a515125bSLeila Ghaffari PetscErrorCode ierr; 219a515125bSLeila Ghaffari PetscFunctionBeginUser; 220a515125bSLeila Ghaffari 221a515125bSLeila Ghaffari // Print every 'output_freq' steps 222a515125bSLeila Ghaffari if (step_no % user->app_ctx->output_freq != 0) 223a515125bSLeila Ghaffari PetscFunctionReturn(0); 224a515125bSLeila Ghaffari 225a515125bSLeila Ghaffari // Set up output 226a515125bSLeila Ghaffari ierr = DMGetLocalVector(user->dm, &Q_loc); CHKERRQ(ierr); 227a515125bSLeila Ghaffari ierr = PetscObjectSetName((PetscObject)Q_loc, "StateVec"); CHKERRQ(ierr); 228a515125bSLeila Ghaffari ierr = VecZeroEntries(Q_loc); CHKERRQ(ierr); 229a515125bSLeila Ghaffari ierr = DMGlobalToLocal(user->dm, Q, INSERT_VALUES, Q_loc); CHKERRQ(ierr); 230a515125bSLeila Ghaffari 231a515125bSLeila Ghaffari // Output 232a515125bSLeila Ghaffari ierr = PetscSNPrintf(file_path, sizeof file_path, "%s/ns-%03D.vtu", 233a515125bSLeila Ghaffari user->app_ctx->output_dir, step_no + user->app_ctx->cont_steps); 234a515125bSLeila Ghaffari CHKERRQ(ierr); 235a515125bSLeila Ghaffari ierr = PetscViewerVTKOpen(PetscObjectComm((PetscObject)Q), file_path, 236a515125bSLeila Ghaffari FILE_MODE_WRITE, &viewer); CHKERRQ(ierr); 237a515125bSLeila Ghaffari ierr = VecView(Q_loc, viewer); CHKERRQ(ierr); 238a515125bSLeila Ghaffari ierr = PetscViewerDestroy(&viewer); CHKERRQ(ierr); 239a515125bSLeila Ghaffari if (user->dm_viz) { 240a515125bSLeila Ghaffari Vec Q_refined, Q_refined_loc; 241a515125bSLeila Ghaffari char file_path_refined[PETSC_MAX_PATH_LEN]; 242a515125bSLeila Ghaffari PetscViewer viewer_refined; 243a515125bSLeila Ghaffari 244a515125bSLeila Ghaffari ierr = DMGetGlobalVector(user->dm_viz, &Q_refined); CHKERRQ(ierr); 245a515125bSLeila Ghaffari ierr = DMGetLocalVector(user->dm_viz, &Q_refined_loc); CHKERRQ(ierr); 246a515125bSLeila Ghaffari ierr = PetscObjectSetName((PetscObject)Q_refined_loc, "Refined"); 247a515125bSLeila Ghaffari CHKERRQ(ierr); 248a515125bSLeila Ghaffari ierr = MatInterpolate(user->interp_viz, Q, Q_refined); CHKERRQ(ierr); 249a515125bSLeila Ghaffari ierr = VecZeroEntries(Q_refined_loc); CHKERRQ(ierr); 250a515125bSLeila Ghaffari ierr = DMGlobalToLocal(user->dm_viz, Q_refined, INSERT_VALUES, Q_refined_loc); 251a515125bSLeila Ghaffari CHKERRQ(ierr); 252a515125bSLeila Ghaffari ierr = PetscSNPrintf(file_path_refined, sizeof file_path_refined, 253*139613f2SLeila Ghaffari "%s/nsrefined-%03D.vtu", user->app_ctx->output_dir, 254*139613f2SLeila Ghaffari step_no + user->app_ctx->cont_steps); 255a515125bSLeila Ghaffari CHKERRQ(ierr); 256a515125bSLeila Ghaffari ierr = PetscViewerVTKOpen(PetscObjectComm((PetscObject)Q_refined), 257*139613f2SLeila Ghaffari file_path_refined, FILE_MODE_WRITE, &viewer_refined); CHKERRQ(ierr); 258a515125bSLeila Ghaffari ierr = VecView(Q_refined_loc, viewer_refined); CHKERRQ(ierr); 259a515125bSLeila Ghaffari ierr = DMRestoreLocalVector(user->dm_viz, &Q_refined_loc); CHKERRQ(ierr); 260a515125bSLeila Ghaffari ierr = DMRestoreGlobalVector(user->dm_viz, &Q_refined); CHKERRQ(ierr); 261a515125bSLeila Ghaffari ierr = PetscViewerDestroy(&viewer_refined); CHKERRQ(ierr); 262a515125bSLeila Ghaffari } 263a515125bSLeila Ghaffari ierr = DMRestoreLocalVector(user->dm, &Q_loc); CHKERRQ(ierr); 264a515125bSLeila Ghaffari 265a515125bSLeila Ghaffari // Save data in a binary file for continuation of simulations 266a515125bSLeila Ghaffari ierr = PetscSNPrintf(file_path, sizeof file_path, "%s/ns-solution.bin", 267a515125bSLeila Ghaffari user->app_ctx->output_dir); CHKERRQ(ierr); 268a515125bSLeila Ghaffari ierr = PetscViewerBinaryOpen(user->comm, file_path, FILE_MODE_WRITE, &viewer); 269a515125bSLeila Ghaffari CHKERRQ(ierr); 270a515125bSLeila Ghaffari ierr = VecView(Q, viewer); CHKERRQ(ierr); 271a515125bSLeila Ghaffari ierr = PetscViewerDestroy(&viewer); CHKERRQ(ierr); 272a515125bSLeila Ghaffari 273a515125bSLeila Ghaffari // Save time stamp 274a515125bSLeila Ghaffari // Dimensionalize time back 275a515125bSLeila Ghaffari time /= user->units->second; 276a515125bSLeila Ghaffari ierr = PetscSNPrintf(file_path, sizeof file_path, "%s/ns-time.bin", 277a515125bSLeila Ghaffari user->app_ctx->output_dir); CHKERRQ(ierr); 278a515125bSLeila Ghaffari ierr = PetscViewerBinaryOpen(user->comm, file_path, FILE_MODE_WRITE, &viewer); 279a515125bSLeila Ghaffari CHKERRQ(ierr); 280a515125bSLeila Ghaffari #if PETSC_VERSION_GE(3,13,0) 281a515125bSLeila Ghaffari ierr = PetscViewerBinaryWrite(viewer, &time, 1, PETSC_REAL); 282a515125bSLeila Ghaffari #else 283a515125bSLeila Ghaffari ierr = PetscViewerBinaryWrite(viewer, &time, 1, PETSC_REAL, true); 284a515125bSLeila Ghaffari #endif 285a515125bSLeila Ghaffari CHKERRQ(ierr); 286a515125bSLeila Ghaffari ierr = PetscViewerDestroy(&viewer); CHKERRQ(ierr); 287a515125bSLeila Ghaffari 288a515125bSLeila Ghaffari PetscFunctionReturn(0); 289a515125bSLeila Ghaffari } 290a515125bSLeila Ghaffari 291a515125bSLeila Ghaffari // TS: Create, setup, and solve 292a515125bSLeila Ghaffari PetscErrorCode TSSolve_NS(DM dm, User user, AppCtx app_ctx, Physics phys, 293a515125bSLeila Ghaffari Vec *Q, PetscScalar *f_time, TS *ts) { 294a515125bSLeila Ghaffari MPI_Comm comm = user->comm; 295a515125bSLeila Ghaffari TSAdapt adapt; 296a515125bSLeila Ghaffari PetscScalar final_time; 297a515125bSLeila Ghaffari PetscErrorCode ierr; 298a515125bSLeila Ghaffari PetscFunctionBeginUser; 299a515125bSLeila Ghaffari 300a515125bSLeila Ghaffari ierr = TSCreate(comm, ts); CHKERRQ(ierr); 301a515125bSLeila Ghaffari ierr = TSSetDM(*ts, dm); CHKERRQ(ierr); 302a515125bSLeila Ghaffari if (phys->implicit) { 303a515125bSLeila Ghaffari ierr = TSSetType(*ts, TSBDF); CHKERRQ(ierr); 304a515125bSLeila Ghaffari if (user->op_ifunction) { 305a515125bSLeila Ghaffari ierr = TSSetIFunction(*ts, NULL, IFunction_NS, &user); CHKERRQ(ierr); 306a515125bSLeila Ghaffari } else { // Implicit integrators can fall back to using an RHSFunction 307a515125bSLeila Ghaffari ierr = TSSetRHSFunction(*ts, NULL, RHS_NS, &user); CHKERRQ(ierr); 308a515125bSLeila Ghaffari } 309a515125bSLeila Ghaffari } else { 310a515125bSLeila Ghaffari if (!user->op_rhs) SETERRQ(comm, PETSC_ERR_ARG_NULL, 311a515125bSLeila Ghaffari "Problem does not provide RHSFunction"); 312a515125bSLeila Ghaffari ierr = TSSetType(*ts, TSRK); CHKERRQ(ierr); 313a515125bSLeila Ghaffari ierr = TSRKSetType(*ts, TSRK5F); CHKERRQ(ierr); 314a515125bSLeila Ghaffari ierr = TSSetRHSFunction(*ts, NULL, RHS_NS, &user); CHKERRQ(ierr); 315a515125bSLeila Ghaffari } 316a515125bSLeila Ghaffari ierr = TSSetMaxTime(*ts, 500. * user->units->second); CHKERRQ(ierr); 317a515125bSLeila Ghaffari ierr = TSSetExactFinalTime(*ts, TS_EXACTFINALTIME_STEPOVER); CHKERRQ(ierr); 318a515125bSLeila Ghaffari ierr = TSSetTimeStep(*ts, 1.e-2 * user->units->second); CHKERRQ(ierr); 319a515125bSLeila Ghaffari if (app_ctx->test_mode) {ierr = TSSetMaxSteps(*ts, 10); CHKERRQ(ierr);} 320a515125bSLeila Ghaffari ierr = TSGetAdapt(*ts, &adapt); CHKERRQ(ierr); 321a515125bSLeila Ghaffari ierr = TSAdaptSetStepLimits(adapt, 322a515125bSLeila Ghaffari 1.e-12 * user->units->second, 323a515125bSLeila Ghaffari 1.e2 * user->units->second); CHKERRQ(ierr); 324a515125bSLeila Ghaffari ierr = TSSetFromOptions(*ts); CHKERRQ(ierr); 325a515125bSLeila Ghaffari if (!app_ctx->cont_steps) { // print initial condition 326a515125bSLeila Ghaffari if (!app_ctx->test_mode) { 327a515125bSLeila Ghaffari ierr = TSMonitor_NS(*ts, 0, 0., *Q, user); CHKERRQ(ierr); 328a515125bSLeila Ghaffari } 329a515125bSLeila Ghaffari } else { // continue from time of last output 330a515125bSLeila Ghaffari PetscReal time; 331a515125bSLeila Ghaffari PetscInt count; 332a515125bSLeila Ghaffari PetscViewer viewer; 333a515125bSLeila Ghaffari char file_path[PETSC_MAX_PATH_LEN]; 334a515125bSLeila Ghaffari ierr = PetscSNPrintf(file_path, sizeof file_path, "%s/ns-time.bin", 335a515125bSLeila Ghaffari app_ctx->output_dir); CHKERRQ(ierr); 336a515125bSLeila Ghaffari ierr = PetscViewerBinaryOpen(comm, file_path, FILE_MODE_READ, &viewer); 337a515125bSLeila Ghaffari CHKERRQ(ierr); 338a515125bSLeila Ghaffari ierr = PetscViewerBinaryRead(viewer, &time, 1, &count, PETSC_REAL); 339a515125bSLeila Ghaffari CHKERRQ(ierr); 340a515125bSLeila Ghaffari ierr = PetscViewerDestroy(&viewer); CHKERRQ(ierr); 341a515125bSLeila Ghaffari ierr = TSSetTime(*ts, time * user->units->second); CHKERRQ(ierr); 342a515125bSLeila Ghaffari } 343a515125bSLeila Ghaffari if (!app_ctx->test_mode) { 344a515125bSLeila Ghaffari ierr = TSMonitorSet(*ts, TSMonitor_NS, user, NULL); CHKERRQ(ierr); 345a515125bSLeila Ghaffari } 346a515125bSLeila Ghaffari 347a515125bSLeila Ghaffari // Solve 348a515125bSLeila Ghaffari double start, cpu_time_used; 349a515125bSLeila Ghaffari start = MPI_Wtime(); 350a515125bSLeila Ghaffari ierr = PetscBarrier((PetscObject) *ts); CHKERRQ(ierr); 351a515125bSLeila Ghaffari ierr = TSSolve(*ts, *Q); CHKERRQ(ierr); 352a515125bSLeila Ghaffari cpu_time_used = MPI_Wtime() - start; 353a515125bSLeila Ghaffari ierr = TSGetSolveTime(*ts, &final_time); CHKERRQ(ierr); 354a515125bSLeila Ghaffari *f_time = final_time; 355a515125bSLeila Ghaffari ierr = MPI_Allreduce(MPI_IN_PLACE, &cpu_time_used, 1, MPI_DOUBLE, MPI_MIN, 356a515125bSLeila Ghaffari comm); CHKERRQ(ierr); 357a515125bSLeila Ghaffari if (!app_ctx->test_mode) { 358a515125bSLeila Ghaffari ierr = PetscPrintf(PETSC_COMM_WORLD, 359a515125bSLeila Ghaffari "Time taken for solution (sec): %g\n", 360a515125bSLeila Ghaffari (double)cpu_time_used); CHKERRQ(ierr); 361a515125bSLeila Ghaffari } 362a515125bSLeila Ghaffari PetscFunctionReturn(0); 363a515125bSLeila Ghaffari } 364