1dc936754SJeremy L Thompson // Copyright (c) 2017-2024, Lawrence Livermore National Security, LLC and other CEED contributors. 2727da7e7SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 3a515125bSLeila Ghaffari // 4727da7e7SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause 5a515125bSLeila Ghaffari // 6727da7e7SJeremy L Thompson // This file is part of CEED: http://github.com/ceed 7a515125bSLeila Ghaffari 8a515125bSLeila Ghaffari /// @file 9a515125bSLeila Ghaffari /// Miscellaneous utility functions 10a515125bSLeila Ghaffari 11e419654dSJeremy L Thompson #include <ceed.h> 12e419654dSJeremy L Thompson #include <petscdm.h> 13926a6279SJames Wright #include <petscsf.h> 14e419654dSJeremy L Thompson #include <petscts.h> 15e419654dSJeremy L Thompson 16*149fb536SJames Wright #include <navierstokes.h> 179f59f36eSJames Wright #include "../qfunctions/mass.h" 18a515125bSLeila Ghaffari 192b916ea7SJeremy L Thompson PetscErrorCode ICs_FixMultiplicity(DM dm, CeedData ceed_data, User user, Vec Q_loc, Vec Q, CeedScalar time) { 20b4c37c5cSJames Wright Ceed ceed = user->ceed; 21b2948607SJames Wright CeedVector mult_vec; 22b2948607SJames Wright PetscMemType m_mem_type; 23b2948607SJames Wright Vec Multiplicity, Multiplicity_loc; 24b2948607SJames Wright 25a515125bSLeila Ghaffari PetscFunctionBeginUser; 26b4c37c5cSJames Wright if (user->phys->ics_time_label) PetscCallCeed(ceed, CeedOperatorSetContextDouble(ceed_data->op_ics_ctx->op, user->phys->ics_time_label, &time)); 278f18bb8bSJames Wright PetscCall(ApplyCeedOperatorLocalToGlobal(NULL, Q, ceed_data->op_ics_ctx)); 28a515125bSLeila Ghaffari 29b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(ceed_data->elem_restr_q, &mult_vec, NULL)); 30a515125bSLeila Ghaffari 31a515125bSLeila Ghaffari // -- Get multiplicity 32b2948607SJames Wright PetscCall(DMGetLocalVector(dm, &Multiplicity_loc)); 33a7dac1d5SJames Wright PetscCall(VecPetscToCeed(Multiplicity_loc, &m_mem_type, mult_vec)); 34b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionGetMultiplicity(ceed_data->elem_restr_q, mult_vec)); 35a7dac1d5SJames Wright PetscCall(VecCeedToPetsc(mult_vec, m_mem_type, Multiplicity_loc)); 36a515125bSLeila Ghaffari 37b2948607SJames Wright PetscCall(DMGetGlobalVector(dm, &Multiplicity)); 38b2948607SJames Wright PetscCall(VecZeroEntries(Multiplicity)); 39b2948607SJames Wright PetscCall(DMLocalToGlobal(dm, Multiplicity_loc, ADD_VALUES, Multiplicity)); 40a515125bSLeila Ghaffari 41a515125bSLeila Ghaffari // -- Fix multiplicity 42b2948607SJames Wright PetscCall(VecPointwiseDivide(Q, Q, Multiplicity)); 43b2948607SJames Wright PetscCall(VecPointwiseDivide(Q_loc, Q_loc, Multiplicity_loc)); 44a515125bSLeila Ghaffari 45b2948607SJames Wright PetscCall(DMRestoreLocalVector(dm, &Multiplicity_loc)); 46b2948607SJames Wright PetscCall(DMRestoreGlobalVector(dm, &Multiplicity)); 47b4c37c5cSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&mult_vec)); 48d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 49a515125bSLeila Ghaffari } 50a515125bSLeila Ghaffari 51c56e8d5bSJames Wright // Record boundary values from initial condition 52c56e8d5bSJames Wright PetscErrorCode SetBCsFromICs(DM dm, Vec Q, Vec Q_loc) { 53c56e8d5bSJames Wright PetscFunctionBeginUser; 54313f2f1eSJames Wright { // Capture initial condition values in Qbc 55313f2f1eSJames Wright Vec Qbc; 56313f2f1eSJames Wright 57c56e8d5bSJames Wright PetscCall(DMGetNamedLocalVector(dm, "Qbc", &Qbc)); 58c56e8d5bSJames Wright PetscCall(VecCopy(Q_loc, Qbc)); 59c56e8d5bSJames Wright PetscCall(VecZeroEntries(Q_loc)); 60c56e8d5bSJames Wright PetscCall(DMGlobalToLocal(dm, Q, INSERT_VALUES, Q_loc)); 61c56e8d5bSJames Wright PetscCall(VecAXPY(Qbc, -1., Q_loc)); 62c56e8d5bSJames Wright PetscCall(DMRestoreNamedLocalVector(dm, "Qbc", &Qbc)); 63313f2f1eSJames Wright } 64c56e8d5bSJames Wright PetscCall(PetscObjectComposeFunction((PetscObject)dm, "DMPlexInsertBoundaryValues_C", DMPlexInsertBoundaryValues_FromICs)); 65c56e8d5bSJames Wright 66313f2f1eSJames Wright { // Set boundary mask to zero out essential BCs 67313f2f1eSJames Wright Vec boundary_mask, ones; 68313f2f1eSJames Wright 69c56e8d5bSJames Wright PetscCall(DMGetNamedLocalVector(dm, "boundary mask", &boundary_mask)); 70313f2f1eSJames Wright PetscCall(DMGetGlobalVector(dm, &ones)); 71c56e8d5bSJames Wright PetscCall(VecZeroEntries(boundary_mask)); 72313f2f1eSJames Wright PetscCall(VecSet(ones, 1.0)); 73313f2f1eSJames Wright PetscCall(DMGlobalToLocal(dm, ones, INSERT_VALUES, boundary_mask)); 74c56e8d5bSJames Wright PetscCall(DMRestoreNamedLocalVector(dm, "boundary mask", &boundary_mask)); 75313f2f1eSJames Wright PetscCall(DMRestoreGlobalVector(dm, &ones)); 76313f2f1eSJames Wright } 77c56e8d5bSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 78c56e8d5bSJames Wright } 79c56e8d5bSJames Wright 80c56e8d5bSJames Wright PetscErrorCode DMPlexInsertBoundaryValues_FromICs(DM dm, PetscBool insert_essential, Vec Q_loc, PetscReal time, Vec face_geom_FVM, Vec cell_geom_FVM, 812b916ea7SJeremy L Thompson Vec grad_FVM) { 829d437337SJames Wright Vec Qbc, boundary_mask; 83a515125bSLeila Ghaffari 8406f41313SJames Wright PetscFunctionBeginUser; 852eb7bf1fSJames Wright // Mask (zero) Strong BC entries 869d437337SJames Wright PetscCall(DMGetNamedLocalVector(dm, "boundary mask", &boundary_mask)); 879d437337SJames Wright PetscCall(VecPointwiseMult(Q_loc, Q_loc, boundary_mask)); 889d437337SJames Wright PetscCall(DMRestoreNamedLocalVector(dm, "boundary mask", &boundary_mask)); 899d437337SJames Wright 902b916ea7SJeremy L Thompson PetscCall(DMGetNamedLocalVector(dm, "Qbc", &Qbc)); 912b916ea7SJeremy L Thompson PetscCall(VecAXPY(Q_loc, 1., Qbc)); 922b916ea7SJeremy L Thompson PetscCall(DMRestoreNamedLocalVector(dm, "Qbc", &Qbc)); 93d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 94a515125bSLeila Ghaffari } 95a515125bSLeila Ghaffari 96990f1db0SJed Brown static PetscErrorCode BinaryReadIntoInt(PetscViewer viewer, PetscInt *out, PetscDataType file_type) { 97990f1db0SJed Brown PetscFunctionBeginUser; 9830ff0608SJames Wright *out = -13; // appease the overzealous GCC compiler warning Gods 99990f1db0SJed Brown if (file_type == PETSC_INT32) { 100990f1db0SJed Brown PetscInt32 val; 101990f1db0SJed Brown PetscCall(PetscViewerBinaryRead(viewer, &val, 1, NULL, PETSC_INT32)); 102990f1db0SJed Brown *out = val; 103990f1db0SJed Brown } else if (file_type == PETSC_INT64) { 104990f1db0SJed Brown PetscInt64 val; 105990f1db0SJed Brown PetscCall(PetscViewerBinaryRead(viewer, &val, 1, NULL, PETSC_INT64)); 106990f1db0SJed Brown *out = val; 107990f1db0SJed Brown } else { 108990f1db0SJed Brown PetscCall(PetscViewerBinaryRead(viewer, out, 1, NULL, PETSC_INT)); 109990f1db0SJed Brown } 110990f1db0SJed Brown PetscFunctionReturn(PETSC_SUCCESS); 111990f1db0SJed Brown } 112990f1db0SJed Brown 113e7754af5SKenneth E. Jansen // @brief Load vector from binary file, possibly with embedded solution time and step number 114e7754af5SKenneth E. Jansen PetscErrorCode LoadFluidsBinaryVec(MPI_Comm comm, PetscViewer viewer, Vec Q, PetscReal *time, PetscInt *step_number) { 115e1233009SJames Wright PetscInt file_step_number; 116e1233009SJames Wright PetscInt32 token; 117e7754af5SKenneth E. Jansen PetscReal file_time; 118990f1db0SJed Brown PetscDataType file_type = PETSC_INT32; 119e7754af5SKenneth E. Jansen 12006f41313SJames Wright PetscFunctionBeginUser; 121e1233009SJames Wright PetscCall(PetscViewerBinaryRead(viewer, &token, 1, NULL, PETSC_INT32)); 122e1233009SJames Wright if (token == FLUIDS_FILE_TOKEN_32 || token == FLUIDS_FILE_TOKEN_64 || 123e1233009SJames Wright token == FLUIDS_FILE_TOKEN) { // New style format; we're reading a file with step number and time in the header 124990f1db0SJed Brown if (token == FLUIDS_FILE_TOKEN_32) file_type = PETSC_INT32; 125990f1db0SJed Brown else if (token == FLUIDS_FILE_TOKEN_64) file_type = PETSC_INT64; 126990f1db0SJed Brown PetscCall(BinaryReadIntoInt(viewer, &file_step_number, file_type)); 127e7754af5SKenneth E. Jansen PetscCall(PetscViewerBinaryRead(viewer, &file_time, 1, NULL, PETSC_REAL)); 128e7754af5SKenneth E. Jansen if (time) *time = file_time; 129e7754af5SKenneth E. Jansen if (step_number) *step_number = file_step_number; 130e7754af5SKenneth E. Jansen } else if (token == VEC_FILE_CLASSID) { // Legacy format of just the vector, encoded as [VEC_FILE_CLASSID, length, ] 131e7754af5SKenneth E. Jansen PetscInt length, N; 132990f1db0SJed Brown PetscCall(BinaryReadIntoInt(viewer, &length, file_type)); 133e7754af5SKenneth E. Jansen PetscCall(VecGetSize(Q, &N)); 134e7754af5SKenneth E. Jansen PetscCheck(length == N, comm, PETSC_ERR_ARG_INCOMP, "File Vec has length %" PetscInt_FMT " but DM has global Vec size %" PetscInt_FMT, length, N); 135e7754af5SKenneth E. Jansen PetscCall(PetscViewerBinarySetSkipHeader(viewer, PETSC_TRUE)); 136e7754af5SKenneth E. Jansen } else SETERRQ(comm, PETSC_ERR_FILE_UNEXPECTED, "Not a fluids header token or a PETSc Vec in file"); 137e7754af5SKenneth E. Jansen 138e7754af5SKenneth E. Jansen PetscCall(VecLoad(Q, viewer)); 139d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 140e7754af5SKenneth E. Jansen } 141e7754af5SKenneth E. Jansen 142a515125bSLeila Ghaffari // Compare reference solution values with current test run for CI 143c56e8d5bSJames Wright PetscErrorCode RegressionTest(AppCtx app_ctx, Vec Q) { 144a515125bSLeila Ghaffari Vec Qref; 145a515125bSLeila Ghaffari PetscViewer viewer; 146a515125bSLeila Ghaffari PetscReal error, Qrefnorm; 147e7754af5SKenneth E. Jansen MPI_Comm comm = PetscObjectComm((PetscObject)Q); 148a515125bSLeila Ghaffari 14906f41313SJames Wright PetscFunctionBeginUser; 150a515125bSLeila Ghaffari // Read reference file 1512b916ea7SJeremy L Thompson PetscCall(VecDuplicate(Q, &Qref)); 1524c07ec22SJames Wright PetscCheck(strcmp(app_ctx->test_file_path, "") != 0, comm, PETSC_ERR_FILE_READ, "File for regression test not given"); 153e7754af5SKenneth E. Jansen PetscCall(PetscViewerBinaryOpen(comm, app_ctx->test_file_path, FILE_MODE_READ, &viewer)); 154e7754af5SKenneth E. Jansen PetscCall(LoadFluidsBinaryVec(comm, viewer, Qref, NULL, NULL)); 155a515125bSLeila Ghaffari 156a515125bSLeila Ghaffari // Compute error with respect to reference solution 1572b916ea7SJeremy L Thompson PetscCall(VecAXPY(Q, -1.0, Qref)); 1582b916ea7SJeremy L Thompson PetscCall(VecNorm(Qref, NORM_MAX, &Qrefnorm)); 1592b916ea7SJeremy L Thompson PetscCall(VecScale(Q, 1. / Qrefnorm)); 1602b916ea7SJeremy L Thompson PetscCall(VecNorm(Q, NORM_MAX, &error)); 161a515125bSLeila Ghaffari 162a515125bSLeila Ghaffari // Check error 163a515125bSLeila Ghaffari if (error > app_ctx->test_tol) { 1642b916ea7SJeremy L Thompson PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test failed with error norm %g\n", (double)error)); 165a515125bSLeila Ghaffari } 166a515125bSLeila Ghaffari 167a515125bSLeila Ghaffari // Cleanup 1682b916ea7SJeremy L Thompson PetscCall(PetscViewerDestroy(&viewer)); 1692b916ea7SJeremy L Thompson PetscCall(VecDestroy(&Qref)); 170d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 171a515125bSLeila Ghaffari } 172a515125bSLeila Ghaffari 173a515125bSLeila Ghaffari // Get error for problems with exact solutions 174c56e8d5bSJames Wright PetscErrorCode PrintError(CeedData ceed_data, DM dm, User user, Vec Q, PetscScalar final_time) { 175a515125bSLeila Ghaffari PetscInt loc_nodes; 176a515125bSLeila Ghaffari Vec Q_exact, Q_exact_loc; 177a515125bSLeila Ghaffari PetscReal rel_error, norm_error, norm_exact; 178a515125bSLeila Ghaffari 17906f41313SJames Wright PetscFunctionBeginUser; 180a515125bSLeila Ghaffari // Get exact solution at final time 181b2948607SJames Wright PetscCall(DMGetGlobalVector(dm, &Q_exact)); 1822b916ea7SJeremy L Thompson PetscCall(DMGetLocalVector(dm, &Q_exact_loc)); 1832b916ea7SJeremy L Thompson PetscCall(VecGetSize(Q_exact_loc, &loc_nodes)); 1842b916ea7SJeremy L Thompson PetscCall(ICs_FixMultiplicity(dm, ceed_data, user, Q_exact_loc, Q_exact, final_time)); 185a515125bSLeila Ghaffari 186a515125bSLeila Ghaffari // Get |exact solution - obtained solution| 1872b916ea7SJeremy L Thompson PetscCall(VecNorm(Q_exact, NORM_1, &norm_exact)); 1882b916ea7SJeremy L Thompson PetscCall(VecAXPY(Q, -1.0, Q_exact)); 1892b916ea7SJeremy L Thompson PetscCall(VecNorm(Q, NORM_1, &norm_error)); 190a515125bSLeila Ghaffari 191a515125bSLeila Ghaffari rel_error = norm_error / norm_exact; 1922b916ea7SJeremy L Thompson PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Relative Error: %g\n", (double)rel_error)); 1932b916ea7SJeremy L Thompson PetscCall(DMRestoreLocalVector(dm, &Q_exact_loc)); 194b2948607SJames Wright PetscCall(DMRestoreGlobalVector(dm, &Q_exact)); 195d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 196a515125bSLeila Ghaffari } 197a515125bSLeila Ghaffari 198a515125bSLeila Ghaffari // Post-processing 199991aef52SJames Wright PetscErrorCode PostProcess(TS ts, CeedData ceed_data, DM dm, ProblemData problem, User user, Vec Q, PetscScalar final_time) { 200a515125bSLeila Ghaffari PetscInt steps; 201f0784ed3SJed Brown TSConvergedReason reason; 202a515125bSLeila Ghaffari 20306f41313SJames Wright PetscFunctionBeginUser; 204a515125bSLeila Ghaffari // Print relative error 20558ce1233SJames Wright if (problem->compute_exact_solution_error && user->app_ctx->test_type == TESTTYPE_NONE) { 206c56e8d5bSJames Wright PetscCall(PrintError(ceed_data, dm, user, Q, final_time)); 207a515125bSLeila Ghaffari } 208a515125bSLeila Ghaffari 209a515125bSLeila Ghaffari // Print final time and number of steps 2102b916ea7SJeremy L Thompson PetscCall(TSGetStepNumber(ts, &steps)); 211f0784ed3SJed Brown PetscCall(TSGetConvergedReason(ts, &reason)); 2120e1e9333SJames Wright if (user->app_ctx->test_type == TESTTYPE_NONE) { 213f0784ed3SJed Brown PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Time integrator %s on time step %" PetscInt_FMT " with final time %g\n", TSConvergedReasons[reason], 214f0784ed3SJed Brown steps, (double)final_time)); 215a515125bSLeila Ghaffari } 216a515125bSLeila Ghaffari 217a515125bSLeila Ghaffari // Output numerical values from command line 2182b916ea7SJeremy L Thompson PetscCall(VecViewFromOptions(Q, NULL, "-vec_view")); 219a515125bSLeila Ghaffari 220a515125bSLeila Ghaffari // Compare reference solution values with current test run for CI 2210e1e9333SJames Wright if (user->app_ctx->test_type == TESTTYPE_SOLVER) { 222c56e8d5bSJames Wright PetscCall(RegressionTest(user->app_ctx, Q)); 223a515125bSLeila Ghaffari } 224d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 225a515125bSLeila Ghaffari } 226a515125bSLeila Ghaffari 227e1233009SJames Wright const PetscInt32 FLUIDS_FILE_TOKEN = 0xceedf00; // for backwards compatibility 228e1233009SJames Wright const PetscInt32 FLUIDS_FILE_TOKEN_32 = 0xceedf32; 229e1233009SJames Wright const PetscInt32 FLUIDS_FILE_TOKEN_64 = 0xceedf64; 2309293eaa1SJed Brown 231a515125bSLeila Ghaffari // Gather initial Q values in case of continuation of simulation 232a515125bSLeila Ghaffari PetscErrorCode SetupICsFromBinary(MPI_Comm comm, AppCtx app_ctx, Vec Q) { 233a515125bSLeila Ghaffari PetscViewer viewer; 2342b916ea7SJeremy L Thompson 23506f41313SJames Wright PetscFunctionBeginUser; 2362b916ea7SJeremy L Thompson PetscCall(PetscViewerBinaryOpen(comm, app_ctx->cont_file, FILE_MODE_READ, &viewer)); 237e7754af5SKenneth E. Jansen PetscCall(LoadFluidsBinaryVec(comm, viewer, Q, &app_ctx->cont_time, &app_ctx->cont_steps)); 2382b916ea7SJeremy L Thompson PetscCall(PetscViewerDestroy(&viewer)); 239d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 240a515125bSLeila Ghaffari } 241a515125bSLeila Ghaffari 24215a3537eSJed Brown // Free a plain data context that was allocated using PETSc; returning libCEED error codes 24315a3537eSJed Brown int FreeContextPetsc(void *data) { 2442b916ea7SJeremy L Thompson if (PetscFree(data)) return CeedError(NULL, CEED_ERROR_ACCESS, "PetscFree failed"); 24515a3537eSJed Brown return CEED_ERROR_SUCCESS; 24615a3537eSJed Brown } 2479f59f36eSJames Wright 2489f59f36eSJames Wright // Return mass qfunction specification for number of components N 2499f59f36eSJames Wright PetscErrorCode CreateMassQFunction(Ceed ceed, CeedInt N, CeedInt q_data_size, CeedQFunction *qf) { 2509f59f36eSJames Wright PetscFunctionBeginUser; 2519f59f36eSJames Wright switch (N) { 2529f59f36eSJames Wright case 1: 253b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionCreateInterior(ceed, 1, Mass_1, Mass_1_loc, qf)); 2549f59f36eSJames Wright break; 2559f59f36eSJames Wright case 5: 256b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionCreateInterior(ceed, 1, Mass_5, Mass_5_loc, qf)); 2579f59f36eSJames Wright break; 258c38c977aSJames Wright case 7: 259b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionCreateInterior(ceed, 1, Mass_7, Mass_7_loc, qf)); 260c38c977aSJames Wright break; 2619f59f36eSJames Wright case 9: 262b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionCreateInterior(ceed, 1, Mass_9, Mass_9_loc, qf)); 2639f59f36eSJames Wright break; 2649f59f36eSJames Wright case 22: 265b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionCreateInterior(ceed, 1, Mass_22, Mass_22_loc, qf)); 2669f59f36eSJames Wright break; 2679f59f36eSJames Wright default: 2686f539f71SJames Wright SETERRQ(PETSC_COMM_WORLD, PETSC_ERR_SUP, "Could not find mass qfunction of size %d", N); 2699f59f36eSJames Wright } 2709f59f36eSJames Wright 271b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(*qf, "u", N, CEED_EVAL_INTERP)); 272b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(*qf, "qdata", q_data_size, CEED_EVAL_NONE)); 273b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(*qf, "v", N, CEED_EVAL_INTERP)); 2743170c09fSJames Wright PetscCallCeed(ceed, CeedQFunctionSetUserFlopsEstimate(*qf, N)); 275d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 2769f59f36eSJames Wright } 277e5e81594SJames Wright 278457a5831SJames Wright PetscErrorCode NodalProjectionDataDestroy(NodalProjectionData context) { 279457a5831SJames Wright PetscFunctionBeginUser; 280d949ddfcSJames Wright if (context == NULL) PetscFunctionReturn(PETSC_SUCCESS); 281457a5831SJames Wright 282457a5831SJames Wright PetscCall(DMDestroy(&context->dm)); 283457a5831SJames Wright PetscCall(KSPDestroy(&context->ksp)); 284457a5831SJames Wright 285457a5831SJames Wright PetscCall(OperatorApplyContextDestroy(context->l2_rhs_ctx)); 286457a5831SJames Wright 287457a5831SJames Wright PetscCall(PetscFree(context)); 288d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 289457a5831SJames Wright } 290457a5831SJames Wright 291676080b4SJames Wright /* 292676080b4SJames Wright * @brief Open a PHASTA *.dat file, grabbing dimensions and file pointer 293676080b4SJames Wright * 294676080b4SJames Wright * This function opens the file specified by `path` using `PetscFOpen` and passes the file pointer in `fp`. 295676080b4SJames Wright * It is not closed in this function, thus `fp` must be closed sometime after this function has been called (using `PetscFClose` for example). 296676080b4SJames Wright * 297676080b4SJames Wright * Assumes that the first line of the file has the number of rows and columns as the only two entries, separated by a single space. 298676080b4SJames Wright * 299676080b4SJames Wright * @param[in] comm MPI_Comm for the program 300676080b4SJames Wright * @param[in] path Path to the file 301676080b4SJames Wright * @param[in] char_array_len Length of the character array that should contain each line 302676080b4SJames Wright * @param[out] dims Dimensions of the file, taken from the first line of the file 303676080b4SJames Wright * @param[out] fp File pointer to the opened file 304676080b4SJames Wright */ 30542454adaSJames Wright PetscErrorCode PhastaDatFileOpen(const MPI_Comm comm, const char path[PETSC_MAX_PATH_LEN], const PetscInt char_array_len, PetscInt dims[2], 306676080b4SJames Wright FILE **fp) { 307defe8520SJames Wright int ndims; 308676080b4SJames Wright char line[char_array_len]; 309676080b4SJames Wright char **array; 310676080b4SJames Wright 311676080b4SJames Wright PetscFunctionBeginUser; 312676080b4SJames Wright PetscCall(PetscFOpen(comm, path, "r", fp)); 313676080b4SJames Wright PetscCall(PetscSynchronizedFGets(comm, *fp, char_array_len, line)); 314676080b4SJames Wright PetscCall(PetscStrToArray(line, ' ', &ndims, &array)); 315defe8520SJames Wright PetscCheck(ndims == 2, comm, PETSC_ERR_FILE_UNEXPECTED, "Found %d dimensions instead of 2 on the first line of %s", ndims, path); 316676080b4SJames Wright 317676080b4SJames Wright for (PetscInt i = 0; i < ndims; i++) dims[i] = atoi(array[i]); 318676080b4SJames Wright PetscCall(PetscStrToArrayDestroy(ndims, array)); 319d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 320676080b4SJames Wright } 321676080b4SJames Wright 322676080b4SJames Wright /* 323676080b4SJames Wright * @brief Get the number of rows for the PHASTA file at path. 324676080b4SJames Wright * 325676080b4SJames Wright * Assumes that the first line of the file has the number of rows and columns as the only two entries, separated by a single space. 326676080b4SJames Wright * 327676080b4SJames Wright * @param[in] comm MPI_Comm for the program 328676080b4SJames Wright * @param[in] path Path to the file 329676080b4SJames Wright * @param[out] nrows Number of rows 330676080b4SJames Wright */ 33142454adaSJames Wright PetscErrorCode PhastaDatFileGetNRows(const MPI_Comm comm, const char path[PETSC_MAX_PATH_LEN], PetscInt *nrows) { 332676080b4SJames Wright const PetscInt char_array_len = 512; 333676080b4SJames Wright PetscInt dims[2]; 334676080b4SJames Wright FILE *fp; 335676080b4SJames Wright 336676080b4SJames Wright PetscFunctionBeginUser; 33742454adaSJames Wright PetscCall(PhastaDatFileOpen(comm, path, char_array_len, dims, &fp)); 338676080b4SJames Wright *nrows = dims[0]; 339676080b4SJames Wright PetscCall(PetscFClose(comm, fp)); 340d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 341676080b4SJames Wright } 34262b7942eSJames Wright 34342454adaSJames Wright PetscErrorCode PhastaDatFileReadToArrayReal(MPI_Comm comm, const char path[PETSC_MAX_PATH_LEN], PetscReal array[]) { 344defe8520SJames Wright PetscInt dims[2]; 345defe8520SJames Wright int ndims; 34662b7942eSJames Wright FILE *fp; 34762b7942eSJames Wright const PetscInt char_array_len = 512; 34862b7942eSJames Wright char line[char_array_len]; 34962b7942eSJames Wright char **row_array; 35062b7942eSJames Wright 35106f41313SJames Wright PetscFunctionBeginUser; 35242454adaSJames Wright PetscCall(PhastaDatFileOpen(comm, path, char_array_len, dims, &fp)); 35362b7942eSJames Wright 35462b7942eSJames Wright for (PetscInt i = 0; i < dims[0]; i++) { 35562b7942eSJames Wright PetscCall(PetscSynchronizedFGets(comm, fp, char_array_len, line)); 35662b7942eSJames Wright PetscCall(PetscStrToArray(line, ' ', &ndims, &row_array)); 3575d28dccaSJames Wright PetscCheck(ndims == dims[1], comm, PETSC_ERR_FILE_UNEXPECTED, 358defe8520SJames Wright "Line %" PetscInt_FMT " of %s does not contain enough columns (%d instead of %" PetscInt_FMT ")", i, path, ndims, dims[1]); 35962b7942eSJames Wright 36062b7942eSJames Wright for (PetscInt j = 0; j < dims[1]; j++) { 36162b7942eSJames Wright array[i * dims[1] + j] = (PetscReal)atof(row_array[j]); 36262b7942eSJames Wright } 36362b7942eSJames Wright } 36462b7942eSJames Wright 36562b7942eSJames Wright PetscCall(PetscFClose(comm, fp)); 366d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 36762b7942eSJames Wright } 3687eedc94cSJames Wright 369926a6279SJames Wright // Print information about the given simulation run 3703678fae3SJames Wright PetscErrorCode PrintRunInfo(User user, Physics phys_ctx, ProblemData problem, TS ts) { 371b4c37c5cSJames Wright Ceed ceed = user->ceed; 3723678fae3SJames Wright MPI_Comm comm = PetscObjectComm((PetscObject)ts); 3733678fae3SJames Wright 374926a6279SJames Wright PetscFunctionBeginUser; 375926a6279SJames Wright // Header and rank 376926a6279SJames Wright char host_name[PETSC_MAX_PATH_LEN]; 377926a6279SJames Wright PetscMPIInt rank, comm_size; 378926a6279SJames Wright PetscCall(PetscGetHostName(host_name, sizeof host_name)); 379926a6279SJames Wright PetscCallMPI(MPI_Comm_rank(comm, &rank)); 380926a6279SJames Wright PetscCallMPI(MPI_Comm_size(comm, &comm_size)); 381926a6279SJames Wright PetscCall(PetscPrintf(comm, 382926a6279SJames Wright "\n-- Navier-Stokes solver - libCEED + PETSc --\n" 383926a6279SJames Wright " MPI:\n" 384926a6279SJames Wright " Host Name : %s\n" 385926a6279SJames Wright " Total ranks : %d\n", 386926a6279SJames Wright host_name, comm_size)); 387926a6279SJames Wright 388926a6279SJames Wright // Problem specific info 3892d49c0afSJames Wright PetscCall(problem->print_info(user, problem, user->app_ctx)); 390926a6279SJames Wright 391926a6279SJames Wright // libCEED 392926a6279SJames Wright const char *used_resource; 393926a6279SJames Wright CeedMemType mem_type_backend; 394b4c37c5cSJames Wright PetscCallCeed(ceed, CeedGetResource(user->ceed, &used_resource)); 395b4c37c5cSJames Wright PetscCallCeed(ceed, CeedGetPreferredMemType(user->ceed, &mem_type_backend)); 396926a6279SJames Wright PetscCall(PetscPrintf(comm, 397926a6279SJames Wright " libCEED:\n" 398926a6279SJames Wright " libCEED Backend : %s\n" 399926a6279SJames Wright " libCEED Backend MemType : %s\n", 400926a6279SJames Wright used_resource, CeedMemTypes[mem_type_backend])); 401926a6279SJames Wright // PETSc 4023678fae3SJames Wright VecType vec_type; 403926a6279SJames Wright char box_faces_str[PETSC_MAX_PATH_LEN] = "3,3,3"; 404926a6279SJames Wright if (problem->dim == 2) box_faces_str[3] = '\0'; 405926a6279SJames Wright PetscCall(PetscOptionsGetString(NULL, NULL, "-dm_plex_box_faces", box_faces_str, sizeof(box_faces_str), NULL)); 406926a6279SJames Wright PetscCall(DMGetVecType(user->dm, &vec_type)); 407926a6279SJames Wright PetscCall(PetscPrintf(comm, 408926a6279SJames Wright " PETSc:\n" 409926a6279SJames Wright " Box Faces : %s\n" 410926a6279SJames Wright " DM VecType : %s\n" 411926a6279SJames Wright " Time Stepping Scheme : %s\n", 4123678fae3SJames Wright box_faces_str, vec_type, phys_ctx->implicit ? "implicit" : "explicit")); 4133678fae3SJames Wright { 4143678fae3SJames Wright char pmat_type_str[PETSC_MAX_PATH_LEN]; 4153678fae3SJames Wright MatType amat_type, pmat_type; 4163678fae3SJames Wright Mat Amat, Pmat; 4173678fae3SJames Wright TSIJacobianFn *ijacob_function; 4183678fae3SJames Wright 4193678fae3SJames Wright PetscCall(TSGetIJacobian(ts, &Amat, &Pmat, &ijacob_function, NULL)); 4203678fae3SJames Wright PetscCall(MatGetType(Amat, &amat_type)); 4213678fae3SJames Wright PetscCall(MatGetType(Pmat, &pmat_type)); 4223678fae3SJames Wright 4233678fae3SJames Wright PetscCall(PetscStrncpy(pmat_type_str, pmat_type, sizeof(pmat_type_str))); 4243678fae3SJames Wright if (!strcmp(pmat_type, MATCEED)) { 4253678fae3SJames Wright MatType pmat_coo_type; 4263678fae3SJames Wright char pmat_coo_type_str[PETSC_MAX_PATH_LEN]; 4273678fae3SJames Wright 4283678fae3SJames Wright PetscCall(MatCeedGetCOOMatType(Pmat, &pmat_coo_type)); 4293678fae3SJames Wright PetscCall(PetscSNPrintf(pmat_coo_type_str, sizeof(pmat_coo_type_str), " (COO MatType: %s)", pmat_coo_type)); 4303678fae3SJames Wright PetscCall(PetscStrlcat(pmat_type_str, pmat_coo_type_str, sizeof(pmat_type_str))); 4313678fae3SJames Wright } 4323678fae3SJames Wright if (ijacob_function) { 4333678fae3SJames Wright PetscCall(PetscPrintf(comm, 4343678fae3SJames Wright " IJacobian A MatType : %s\n" 4353678fae3SJames Wright " IJacobian P MatType : %s\n", 4363678fae3SJames Wright amat_type, pmat_type_str)); 4373678fae3SJames Wright } 4383678fae3SJames Wright } 439926a6279SJames Wright if (user->app_ctx->cont_steps) { 440926a6279SJames Wright PetscCall(PetscPrintf(comm, 441926a6279SJames Wright " Continue:\n" 442926a6279SJames Wright " Filename: : %s\n" 443926a6279SJames Wright " Step: : %" PetscInt_FMT "\n" 444926a6279SJames Wright " Time: : %g\n", 445926a6279SJames Wright user->app_ctx->cont_file, user->app_ctx->cont_steps, user->app_ctx->cont_time)); 446926a6279SJames Wright } 447926a6279SJames Wright // Mesh 448926a6279SJames Wright const PetscInt num_comp_q = 5; 449926a6279SJames Wright PetscInt glob_dofs, owned_dofs, local_dofs; 450926a6279SJames Wright const CeedInt num_P = user->app_ctx->degree + 1, num_Q = num_P + user->app_ctx->q_extra; 451926a6279SJames Wright PetscCall(DMGetGlobalVectorInfo(user->dm, &owned_dofs, &glob_dofs, NULL)); 452926a6279SJames Wright PetscCall(DMGetLocalVectorInfo(user->dm, &local_dofs, NULL, NULL)); 453926a6279SJames Wright PetscCall(PetscPrintf(comm, 454926a6279SJames Wright " Mesh:\n" 455926a6279SJames Wright " Number of 1D Basis Nodes (P) : %" CeedInt_FMT "\n" 456926a6279SJames Wright " Number of 1D Quadrature Points (Q) : %" CeedInt_FMT "\n" 457926a6279SJames Wright " Global DoFs : %" PetscInt_FMT "\n" 458926a6279SJames Wright " DoFs per node : %" PetscInt_FMT "\n" 459dfeb939dSJames Wright " Global %" PetscInt_FMT "-DoF nodes : %" PetscInt_FMT "\n", 460dfeb939dSJames Wright num_P, num_Q, glob_dofs, num_comp_q, num_comp_q, glob_dofs / num_comp_q)); 461926a6279SJames Wright // -- Get Partition Statistics 462926a6279SJames Wright PetscCall(PetscPrintf(comm, " Partition: (min,max,median,max/median)\n")); 463926a6279SJames Wright { 464926a6279SJames Wright PetscInt *gather_buffer = NULL; 465dfeb939dSJames Wright PetscInt part_owned_dofs[3], part_local_dofs[3], part_boundary_dofs[3], part_neighbors[3]; 466926a6279SJames Wright PetscInt median_index = comm_size % 2 ? comm_size / 2 : comm_size / 2 - 1; 467926a6279SJames Wright if (!rank) PetscCall(PetscMalloc1(comm_size, &gather_buffer)); 468926a6279SJames Wright 469dfeb939dSJames Wright PetscCallMPI(MPI_Gather(&owned_dofs, 1, MPIU_INT, gather_buffer, 1, MPIU_INT, 0, comm)); 470926a6279SJames Wright if (!rank) { 471926a6279SJames Wright PetscCall(PetscSortInt(comm_size, gather_buffer)); 472926a6279SJames Wright part_owned_dofs[0] = gather_buffer[0]; // min 473926a6279SJames Wright part_owned_dofs[1] = gather_buffer[comm_size - 1]; // max 474926a6279SJames Wright part_owned_dofs[2] = gather_buffer[median_index]; // median 475926a6279SJames Wright PetscReal part_owned_dof_ratio = (PetscReal)part_owned_dofs[1] / (PetscReal)part_owned_dofs[2]; 476dfeb939dSJames Wright PetscCall(PetscPrintf( 477dfeb939dSJames Wright comm, " Global Vector %" PetscInt_FMT "-DoF nodes : %" PetscInt_FMT ", %" PetscInt_FMT ", %" PetscInt_FMT ", %f\n", num_comp_q, 478926a6279SJames Wright part_owned_dofs[0] / num_comp_q, part_owned_dofs[1] / num_comp_q, part_owned_dofs[2] / num_comp_q, part_owned_dof_ratio)); 479926a6279SJames Wright } 480926a6279SJames Wright 481dfeb939dSJames Wright PetscCallMPI(MPI_Gather(&local_dofs, 1, MPIU_INT, gather_buffer, 1, MPIU_INT, 0, comm)); 482926a6279SJames Wright if (!rank) { 483926a6279SJames Wright PetscCall(PetscSortInt(comm_size, gather_buffer)); 484926a6279SJames Wright part_local_dofs[0] = gather_buffer[0]; // min 485926a6279SJames Wright part_local_dofs[1] = gather_buffer[comm_size - 1]; // max 486926a6279SJames Wright part_local_dofs[2] = gather_buffer[median_index]; // median 487926a6279SJames Wright PetscReal part_local_dof_ratio = (PetscReal)part_local_dofs[1] / (PetscReal)part_local_dofs[2]; 488dfeb939dSJames Wright PetscCall(PetscPrintf( 489dfeb939dSJames Wright comm, " Local Vector %" PetscInt_FMT "-DoF nodes : %" PetscInt_FMT ", %" PetscInt_FMT ", %" PetscInt_FMT ", %f\n", num_comp_q, 490926a6279SJames Wright part_local_dofs[0] / num_comp_q, part_local_dofs[1] / num_comp_q, part_local_dofs[2] / num_comp_q, part_local_dof_ratio)); 491926a6279SJames Wright } 492926a6279SJames Wright 49345abf96eSJames Wright if (comm_size != 1) { 494dfeb939dSJames Wright PetscInt num_remote_roots_total = 0, num_remote_leaves_total = 0, num_ghost_interface_ranks = 0, num_owned_interface_ranks = 0; 495926a6279SJames Wright { 496926a6279SJames Wright PetscSF sf; 497dfeb939dSJames Wright PetscInt nrranks, niranks; 498dfeb939dSJames Wright const PetscInt *roffset, *rmine, *rremote, *ioffset, *irootloc; 499dfeb939dSJames Wright const PetscMPIInt *rranks, *iranks; 500926a6279SJames Wright PetscCall(DMGetSectionSF(user->dm, &sf)); 501926a6279SJames Wright PetscCall(PetscSFGetRootRanks(sf, &nrranks, &rranks, &roffset, &rmine, &rremote)); 502dfeb939dSJames Wright PetscCall(PetscSFGetLeafRanks(sf, &niranks, &iranks, &ioffset, &irootloc)); 503926a6279SJames Wright for (PetscInt i = 0; i < nrranks; i++) { 504926a6279SJames Wright if (rranks[i] == rank) continue; // Ignore same-part global->local transfers 505926a6279SJames Wright num_remote_roots_total += roffset[i + 1] - roffset[i]; 506dfeb939dSJames Wright num_ghost_interface_ranks++; 507dfeb939dSJames Wright } 508dfeb939dSJames Wright for (PetscInt i = 0; i < niranks; i++) { 509dfeb939dSJames Wright if (iranks[i] == rank) continue; 510dfeb939dSJames Wright num_remote_leaves_total += ioffset[i + 1] - ioffset[i]; 511dfeb939dSJames Wright num_owned_interface_ranks++; 512926a6279SJames Wright } 513926a6279SJames Wright } 514dfeb939dSJames Wright PetscCallMPI(MPI_Gather(&num_remote_roots_total, 1, MPIU_INT, gather_buffer, 1, MPIU_INT, 0, comm)); 515926a6279SJames Wright if (!rank) { 516926a6279SJames Wright PetscCall(PetscSortInt(comm_size, gather_buffer)); 517dfeb939dSJames Wright part_boundary_dofs[0] = gather_buffer[0]; // min 518dfeb939dSJames Wright part_boundary_dofs[1] = gather_buffer[comm_size - 1]; // max 519dfeb939dSJames Wright part_boundary_dofs[2] = gather_buffer[median_index]; // median 520dfeb939dSJames Wright PetscReal part_shared_dof_ratio = (PetscReal)part_boundary_dofs[1] / (PetscReal)part_boundary_dofs[2]; 521dfeb939dSJames Wright PetscCall(PetscPrintf( 52245abf96eSJames Wright comm, " Ghost Interface %" PetscInt_FMT "-DoF nodes : %" PetscInt_FMT ", %" PetscInt_FMT ", %" PetscInt_FMT ", %f\n", 52345abf96eSJames Wright num_comp_q, part_boundary_dofs[0] / num_comp_q, part_boundary_dofs[1] / num_comp_q, part_boundary_dofs[2] / num_comp_q, 52445abf96eSJames Wright part_shared_dof_ratio)); 525dfeb939dSJames Wright } 526dfeb939dSJames Wright 527dfeb939dSJames Wright PetscCallMPI(MPI_Gather(&num_ghost_interface_ranks, 1, MPIU_INT, gather_buffer, 1, MPIU_INT, 0, comm)); 528dfeb939dSJames Wright if (!rank) { 529dfeb939dSJames Wright PetscCall(PetscSortInt(comm_size, gather_buffer)); 530dfeb939dSJames Wright part_neighbors[0] = gather_buffer[0]; // min 531dfeb939dSJames Wright part_neighbors[1] = gather_buffer[comm_size - 1]; // max 532dfeb939dSJames Wright part_neighbors[2] = gather_buffer[median_index]; // median 533dfeb939dSJames Wright PetscReal part_neighbors_ratio = (PetscReal)part_neighbors[1] / (PetscReal)part_neighbors[2]; 534dfeb939dSJames Wright PetscCall(PetscPrintf(comm, " Ghost Interface Ranks : %" PetscInt_FMT ", %" PetscInt_FMT ", %" PetscInt_FMT ", %f\n", 535dfeb939dSJames Wright part_neighbors[0], part_neighbors[1], part_neighbors[2], part_neighbors_ratio)); 536dfeb939dSJames Wright } 537dfeb939dSJames Wright 538dfeb939dSJames Wright PetscCallMPI(MPI_Gather(&num_remote_leaves_total, 1, MPIU_INT, gather_buffer, 1, MPIU_INT, 0, comm)); 539dfeb939dSJames Wright if (!rank) { 540dfeb939dSJames Wright PetscCall(PetscSortInt(comm_size, gather_buffer)); 541dfeb939dSJames Wright part_boundary_dofs[0] = gather_buffer[0]; // min 542dfeb939dSJames Wright part_boundary_dofs[1] = gather_buffer[comm_size - 1]; // max 543dfeb939dSJames Wright part_boundary_dofs[2] = gather_buffer[median_index]; // median 544dfeb939dSJames Wright PetscReal part_shared_dof_ratio = (PetscReal)part_boundary_dofs[1] / (PetscReal)part_boundary_dofs[2]; 545dfeb939dSJames Wright PetscCall(PetscPrintf( 54645abf96eSJames Wright comm, " Owned Interface %" PetscInt_FMT "-DoF nodes : %" PetscInt_FMT ", %" PetscInt_FMT ", %" PetscInt_FMT ", %f\n", 54745abf96eSJames Wright num_comp_q, part_boundary_dofs[0] / num_comp_q, part_boundary_dofs[1] / num_comp_q, part_boundary_dofs[2] / num_comp_q, 54845abf96eSJames Wright part_shared_dof_ratio)); 549dfeb939dSJames Wright } 550dfeb939dSJames Wright 551dfeb939dSJames Wright PetscCallMPI(MPI_Gather(&num_owned_interface_ranks, 1, MPIU_INT, gather_buffer, 1, MPIU_INT, 0, comm)); 552dfeb939dSJames Wright if (!rank) { 553dfeb939dSJames Wright PetscCall(PetscSortInt(comm_size, gather_buffer)); 554dfeb939dSJames Wright part_neighbors[0] = gather_buffer[0]; // min 555dfeb939dSJames Wright part_neighbors[1] = gather_buffer[comm_size - 1]; // max 556dfeb939dSJames Wright part_neighbors[2] = gather_buffer[median_index]; // median 557dfeb939dSJames Wright PetscReal part_neighbors_ratio = (PetscReal)part_neighbors[1] / (PetscReal)part_neighbors[2]; 558dfeb939dSJames Wright PetscCall(PetscPrintf(comm, " Owned Interface Ranks : %" PetscInt_FMT ", %" PetscInt_FMT ", %" PetscInt_FMT ", %f\n", 559dfeb939dSJames Wright part_neighbors[0], part_neighbors[1], part_neighbors[2], part_neighbors_ratio)); 560926a6279SJames Wright } 56145abf96eSJames Wright } 562926a6279SJames Wright 563926a6279SJames Wright if (!rank) PetscCall(PetscFree(gather_buffer)); 564926a6279SJames Wright } 565926a6279SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 566926a6279SJames Wright } 567