18c85b835SJames Wright // SPDX-FileCopyrightText: Copyright (c) 2017-2024, HONEE contributors. 28c85b835SJames Wright // SPDX-License-Identifier: Apache-2.0 OR BSD-2-Clause 38c85b835SJames Wright /// @file 48c85b835SJames Wright /// Functions for setting up and projecting the divergence of the diffusive flux 58c85b835SJames Wright 68c85b835SJames Wright #include "../qfunctions/diff_flux_projection.h" 78c85b835SJames Wright 88c85b835SJames Wright #include <petscdmplex.h> 98c85b835SJames Wright 108c85b835SJames Wright #include <navierstokes.h> 118c85b835SJames Wright 12e5a8cae0SJames Wright const char *const DivDiffFluxProjectionMethods[] = {"NONE", "DIRECT", "INDIRECT", "DivDiffFluxProjectionMethod", "DIV_DIFF_FLUX_PROJ_", NULL}; 13e5a8cae0SJames Wright 148c85b835SJames Wright /** 150c373b74SJames Wright @brief Create `DivDiffFluxProjectionData` for solution DM in `honee` 168c85b835SJames Wright 170c373b74SJames Wright @param[in] honee `Honee` context 18d9e69621SJames Wright @param[in] divFdiffproj_method Method used to perform the divergence of diffusive flux method (can be `DIV_DIFF_FLUX_PROJ_NONE`) 1936038bbcSJames Wright @param[in] num_diff_flux_comps Number of components that makes up the diffusive flux (e.g. 1 for scalar advection-diffusion) 20d9e69621SJames Wright @param[out] diff_flux_proj The `DivDiffFluxProjectionData` object created, or set to `NULL` if `divFdiffproj_method = DIV_DIFF_FLUX_PROJ_NONE` 218c85b835SJames Wright **/ 22d9e69621SJames Wright PetscErrorCode DivDiffFluxProjectionCreate(Honee honee, DivDiffFluxProjectionMethod divFdiffproj_method, PetscInt num_diff_flux_comps, 23d9e69621SJames Wright DivDiffFluxProjectionData *diff_flux_proj) { 24e3db12f8SJames Wright PetscInt height = 0, dm_field = 0, dim, degree = honee->app_ctx->degree, q_extra = honee->app_ctx->q_extra; 25d9e69621SJames Wright DivDiffFluxProjectionData diff_flux_proj_; 268c85b835SJames Wright NodalProjectionData projection; 278c85b835SJames Wright 288c85b835SJames Wright PetscFunctionBeginUser; 29d9e69621SJames Wright if (divFdiffproj_method == DIV_DIFF_FLUX_PROJ_NONE) { 30d9e69621SJames Wright *diff_flux_proj = NULL; 3136038bbcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 3236038bbcSJames Wright } 33f5dc303cSJames Wright PetscCall(PetscNew(&projection)); 34d9e69621SJames Wright PetscCall(PetscNew(&diff_flux_proj_)); 35f5dc303cSJames Wright *diff_flux_proj_ = (struct DivDiffFluxProjectionData_){ 36f5dc303cSJames Wright .method = divFdiffproj_method, 37f5dc303cSJames Wright .num_diff_flux_comps = num_diff_flux_comps, 38f5dc303cSJames Wright .projection = projection, 39f5dc303cSJames Wright }; 408c85b835SJames Wright 410c373b74SJames Wright PetscCall(DMClone(honee->dm, &projection->dm)); 428c85b835SJames Wright PetscCall(DMSetMatrixPreallocateSkip(projection->dm, PETSC_TRUE)); 438c85b835SJames Wright PetscCall(DMGetDimension(projection->dm, &dim)); 44d9e69621SJames Wright switch (diff_flux_proj_->method) { 458c85b835SJames Wright case DIV_DIFF_FLUX_PROJ_DIRECT: { 46d9e69621SJames Wright projection->num_comp = diff_flux_proj_->num_diff_flux_comps; 478c85b835SJames Wright PetscCall(PetscObjectSetName((PetscObject)projection->dm, "DivDiffFluxProj")); 4836038bbcSJames Wright PetscCall(DMSetupByOrder_FEM(PETSC_TRUE, PETSC_TRUE, degree, 1, q_extra, 1, &projection->num_comp, projection->dm)); 498c85b835SJames Wright 50e3db12f8SJames Wright PetscCall(DMPlexCeedElemRestrictionCreate(honee->ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, dm_field, 51d9e69621SJames Wright &diff_flux_proj_->elem_restr_div_diff_flux)); 520c373b74SJames Wright PetscCallCeed(honee->ceed, 53d9e69621SJames Wright CeedElemRestrictionCreateVector(diff_flux_proj_->elem_restr_div_diff_flux, &diff_flux_proj_->div_diff_flux_ceed, NULL)); 54e3db12f8SJames Wright PetscCall(DMPlexCeedBasisCreate(honee->ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, dm_field, 556b9fd993SJames Wright &diff_flux_proj_->basis_div_diff_flux)); 56d9e69621SJames Wright diff_flux_proj_->eval_mode_div_diff_flux = CEED_EVAL_INTERP; 571af555e8SJames Wright 581af555e8SJames Wright { // Create face labels on projection->dm for boundary integrals 591af555e8SJames Wright DMLabel face_sets_label; 601af555e8SJames Wright PetscInt num_face_set_values, *face_set_values; 611af555e8SJames Wright 620c373b74SJames Wright PetscCall(DMGetLabel(honee->dm, "Face Sets", &face_sets_label)); 630c373b74SJames Wright PetscCall(DMLabelCreateGlobalValueArray(honee->dm, face_sets_label, &num_face_set_values, &face_set_values)); 641af555e8SJames Wright for (PetscInt f = 0; f < num_face_set_values; f++) { 651af555e8SJames Wright DMLabel face_orientation_label; 661af555e8SJames Wright char *face_orientation_label_name; 671af555e8SJames Wright 680c373b74SJames Wright PetscCall(DMPlexCreateFaceLabel(honee->dm, face_set_values[f], &face_orientation_label_name)); 690c373b74SJames Wright PetscCall(DMGetLabel(honee->dm, face_orientation_label_name, &face_orientation_label)); 701af555e8SJames Wright PetscCall(DMAddLabel(projection->dm, face_orientation_label)); 711af555e8SJames Wright PetscCall(PetscFree(face_orientation_label_name)); 721af555e8SJames Wright } 7336038bbcSJames Wright PetscCall(PetscFree(face_set_values)); 741af555e8SJames Wright } 758c85b835SJames Wright } break; 768c85b835SJames Wright case DIV_DIFF_FLUX_PROJ_INDIRECT: { 77d9e69621SJames Wright projection->num_comp = diff_flux_proj_->num_diff_flux_comps * dim; 788c85b835SJames Wright PetscCall(PetscObjectSetName((PetscObject)projection->dm, "DiffFluxProj")); 7936038bbcSJames Wright PetscCall(DMSetupByOrder_FEM(PETSC_TRUE, PETSC_TRUE, degree, 1, q_extra, 1, &projection->num_comp, projection->dm)); 808c85b835SJames Wright 81e3db12f8SJames Wright PetscCall(DMPlexCeedElemRestrictionQDataCreate(honee->ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, 82d9e69621SJames Wright diff_flux_proj_->num_diff_flux_comps, &diff_flux_proj_->elem_restr_div_diff_flux)); 830c373b74SJames Wright PetscCallCeed(honee->ceed, 84d9e69621SJames Wright CeedElemRestrictionCreateVector(diff_flux_proj_->elem_restr_div_diff_flux, &diff_flux_proj_->div_diff_flux_ceed, NULL)); 85d9e69621SJames Wright diff_flux_proj_->basis_div_diff_flux = CEED_BASIS_NONE; 86d9e69621SJames Wright diff_flux_proj_->eval_mode_div_diff_flux = CEED_EVAL_NONE; 878c85b835SJames Wright } break; 888c85b835SJames Wright case DIV_DIFF_FLUX_PROJ_NONE: 89d9e69621SJames Wright SETERRQ(honee->comm, PETSC_ERR_ARG_WRONG, "Should not reach here with div_diff_flux_projection_method %s", 90d9e69621SJames Wright DivDiffFluxProjectionMethods[divFdiffproj_method]); 918c85b835SJames Wright break; 928c85b835SJames Wright } 93d9e69621SJames Wright *diff_flux_proj = diff_flux_proj_; 948c85b835SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 958c85b835SJames Wright }; 968c85b835SJames Wright 978c85b835SJames Wright /** 980880fbb6SJames Wright @brief Return the objects required for the Divergence of Diffusive flux to be read by a `CeedOperator` 990880fbb6SJames Wright 1000880fbb6SJames Wright @param[in] diff_flux_proj Projection object 1010880fbb6SJames Wright @param[out] elem_restr Element restriction for the divergence of diffusive flux, or `NULL` 1020880fbb6SJames Wright @param[out] basis Basis for the divergence of diffusive flux, or `NULL` 1030880fbb6SJames Wright @param[out] vector Vector for the divergence of diffusive flux, or `NULL` 1040880fbb6SJames Wright @param[out] eval_mode Eval mode for the divergence of diffusive flux, or `NULL` 1050880fbb6SJames Wright **/ 1060880fbb6SJames Wright PetscErrorCode DivDiffFluxProjectionGetOperatorFieldData(DivDiffFluxProjectionData diff_flux_proj, CeedElemRestriction *elem_restr, CeedBasis *basis, 1070880fbb6SJames Wright CeedVector *vector, CeedEvalMode *eval_mode) { 1080880fbb6SJames Wright Ceed ceed = CeedVectorReturnCeed(diff_flux_proj->div_diff_flux_ceed); 1090880fbb6SJames Wright 1100880fbb6SJames Wright PetscFunctionBeginUser; 1110880fbb6SJames Wright if (elem_restr) PetscCallCeed(ceed, CeedElemRestrictionReferenceCopy(diff_flux_proj->elem_restr_div_diff_flux, elem_restr)); 1120880fbb6SJames Wright if (basis) PetscCallCeed(ceed, CeedBasisReferenceCopy(diff_flux_proj->basis_div_diff_flux, basis)); 1130880fbb6SJames Wright if (vector) PetscCallCeed(ceed, CeedVectorReferenceCopy(diff_flux_proj->div_diff_flux_ceed, vector)); 1140880fbb6SJames Wright if (eval_mode) *eval_mode = diff_flux_proj->eval_mode_div_diff_flux; 1150880fbb6SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 1160880fbb6SJames Wright } 1170880fbb6SJames Wright 1180880fbb6SJames Wright /** 1198c85b835SJames Wright @brief Setup direct projection of divergence of diffusive flux 1208c85b835SJames Wright 1210c373b74SJames Wright @param[in] honee `Honee` context 1228561fee2SJames Wright @param[in,out] diff_flux_proj Flux projection object to setup 1238c85b835SJames Wright **/ 124e3663b90SJames Wright static PetscErrorCode DivDiffFluxProjectionSetup_Direct(Honee honee, DivDiffFluxProjectionData diff_flux_proj) { 1250c373b74SJames Wright Ceed ceed = honee->ceed; 1268c85b835SJames Wright NodalProjectionData projection = diff_flux_proj->projection; 12736038bbcSJames Wright MPI_Comm comm = PetscObjectComm((PetscObject)projection->dm); 1288c85b835SJames Wright 1298c85b835SJames Wright PetscFunctionBeginUser; 13036038bbcSJames Wright { // Create Projection RHS OperatorApplyContext 13136038bbcSJames Wright CeedOperator op_rhs; 1328c85b835SJames Wright 13336038bbcSJames Wright PetscCheck(diff_flux_proj->CreateRHSOperator_Direct, comm, PETSC_ERR_ARG_WRONGSTATE, 13436038bbcSJames Wright "Must define CreateRHSOperator_Direct to use indirect div_diff_flux projection"); 135e3663b90SJames Wright PetscCall(diff_flux_proj->CreateRHSOperator_Direct(honee, diff_flux_proj, &op_rhs)); 1368c85b835SJames Wright PetscCall(DMCreateLocalVector(projection->dm, &diff_flux_proj->DivDiffFlux_loc)); 1378c85b835SJames Wright diff_flux_proj->ceed_vec_has_array = PETSC_FALSE; 1380c373b74SJames Wright PetscCall(OperatorApplyContextCreate(honee->dm, projection->dm, ceed, op_rhs, NULL, NULL, NULL, diff_flux_proj->DivDiffFlux_loc, 13936038bbcSJames Wright &projection->l2_rhs_ctx)); 14036038bbcSJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_rhs)); 14136038bbcSJames Wright } 1428c85b835SJames Wright 1438c85b835SJames Wright { // -- Build Mass operator 1448c85b835SJames Wright CeedQFunction qf_mass; 1458c85b835SJames Wright CeedOperator op_mass; 146590d9cddSJames Wright CeedBasis basis_div_diff_flux = NULL; 147590d9cddSJames Wright CeedElemRestriction elem_restr_div_diff_flux_volume = NULL, elem_restr_qd; 1480880fbb6SJames Wright CeedVector q_data; 1490880fbb6SJames Wright CeedInt q_data_size; 1500880fbb6SJames Wright 151590d9cddSJames Wright PetscCall(DivDiffFluxProjectionGetOperatorFieldData(diff_flux_proj, &elem_restr_div_diff_flux_volume, &basis_div_diff_flux, NULL, NULL)); 152*9018c49aSJames Wright PetscCall(QDataGet(ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, &elem_restr_qd, &q_data, &q_data_size)); 1538c85b835SJames Wright 15464dd23feSJames Wright PetscCall(HoneeMassQFunctionCreate(ceed, projection->num_comp, q_data_size, &qf_mass)); 1558c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_mass, NULL, NULL, &op_mass)); 156590d9cddSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "u", elem_restr_div_diff_flux_volume, basis_div_diff_flux, CEED_VECTOR_ACTIVE)); 1578c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "qdata", elem_restr_qd, CEED_BASIS_NONE, q_data)); 158590d9cddSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "v", elem_restr_div_diff_flux_volume, basis_div_diff_flux, CEED_VECTOR_ACTIVE)); 1598c85b835SJames Wright 1608c85b835SJames Wright { // -- Setup KSP for L^2 projection 1618c85b835SJames Wright Mat mat_mass; 1628c85b835SJames Wright 1638c85b835SJames Wright PetscCall(MatCreateCeed(projection->dm, projection->dm, op_mass, NULL, &mat_mass)); 1648c85b835SJames Wright 1658c85b835SJames Wright PetscCall(KSPCreate(comm, &projection->ksp)); 1668c85b835SJames Wright PetscCall(KSPSetOptionsPrefix(projection->ksp, "div_diff_flux_projection_")); 1678c85b835SJames Wright { // lumped by default 1688c85b835SJames Wright PC pc; 1698c85b835SJames Wright PetscCall(KSPGetPC(projection->ksp, &pc)); 1708c85b835SJames Wright PetscCall(PCSetType(pc, PCJACOBI)); 1718c85b835SJames Wright PetscCall(PCJacobiSetType(pc, PC_JACOBI_ROWSUM)); 1728c85b835SJames Wright PetscCall(KSPSetType(projection->ksp, KSPPREONLY)); 1738c85b835SJames Wright } 1748c85b835SJames Wright PetscCall(KSPSetFromOptions_WithMatCeed(projection->ksp, mat_mass)); 1758c85b835SJames Wright PetscCall(MatDestroy(&mat_mass)); 1768c85b835SJames Wright } 1770880fbb6SJames Wright 178590d9cddSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_div_diff_flux_volume)); 179590d9cddSJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_div_diff_flux)); 1800880fbb6SJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&q_data)); 1810880fbb6SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_qd)); 1828c85b835SJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_mass)); 1838c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_mass)); 1848c85b835SJames Wright } 1858c85b835SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 1868c85b835SJames Wright } 1878c85b835SJames Wright 1888c85b835SJames Wright /** 1898c85b835SJames Wright @brief Setup indirect projection of divergence of diffusive flux 1908c85b835SJames Wright 1910c373b74SJames Wright @param[in] honee `Honee` context 1928561fee2SJames Wright @param[in,out] diff_flux_proj Flux projection object to setup 1938c85b835SJames Wright **/ 194e3663b90SJames Wright static PetscErrorCode DivDiffFluxProjectionSetup_Indirect(Honee honee, DivDiffFluxProjectionData diff_flux_proj) { 1950c373b74SJames Wright Ceed ceed = honee->ceed; 1968c85b835SJames Wright NodalProjectionData projection = diff_flux_proj->projection; 1978c85b835SJames Wright CeedBasis basis_diff_flux; 1988c85b835SJames Wright CeedElemRestriction elem_restr_diff_flux, elem_restr_qd; 1998c85b835SJames Wright CeedVector q_data; 2000880fbb6SJames Wright CeedInt q_data_size; 20136038bbcSJames Wright MPI_Comm comm = PetscObjectComm((PetscObject)projection->dm); 2028c85b835SJames Wright 2038c85b835SJames Wright PetscFunctionBeginUser; 2040880fbb6SJames Wright { 205e3db12f8SJames Wright PetscInt height = 0, dm_field = 0; 2068c85b835SJames Wright 207e3db12f8SJames Wright PetscCall(DMPlexCeedElemRestrictionCreate(ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, dm_field, &elem_restr_diff_flux)); 208e3db12f8SJames Wright PetscCall(DMPlexCeedBasisCreate(ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, dm_field, &basis_diff_flux)); 209*9018c49aSJames Wright PetscCall(QDataGet(ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, &elem_restr_qd, &q_data, &q_data_size)); 2100880fbb6SJames Wright } 2118c85b835SJames Wright 21236038bbcSJames Wright { 2138c85b835SJames Wright CeedOperator op_rhs; 2148c85b835SJames Wright 21536038bbcSJames Wright PetscCheck(diff_flux_proj->CreateRHSOperator_Indirect, comm, PETSC_ERR_ARG_WRONGSTATE, 21636038bbcSJames Wright "Must define CreateRHSOperator_Indirect to use indirect div_diff_flux projection"); 217e3663b90SJames Wright PetscCall(diff_flux_proj->CreateRHSOperator_Indirect(honee, diff_flux_proj, &op_rhs)); 2180c373b74SJames Wright PetscCall(OperatorApplyContextCreate(honee->dm, projection->dm, ceed, op_rhs, NULL, NULL, NULL, NULL, &projection->l2_rhs_ctx)); 2198c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_rhs)); 2208c85b835SJames Wright } 2218c85b835SJames Wright 2228c85b835SJames Wright { // -- Build Mass operator 2238c85b835SJames Wright CeedQFunction qf_mass; 2248c85b835SJames Wright CeedOperator op_mass; 2258c85b835SJames Wright 22664dd23feSJames Wright PetscCall(HoneeMassQFunctionCreate(ceed, projection->num_comp, q_data_size, &qf_mass)); 2278c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_mass, NULL, NULL, &op_mass)); 2288c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "u", elem_restr_diff_flux, basis_diff_flux, CEED_VECTOR_ACTIVE)); 2298c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "qdata", elem_restr_qd, CEED_BASIS_NONE, q_data)); 2308c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "v", elem_restr_diff_flux, basis_diff_flux, CEED_VECTOR_ACTIVE)); 2318c85b835SJames Wright 2328c85b835SJames Wright { // -- Setup KSP for L^2 projection 2338c85b835SJames Wright Mat mat_mass; 2348c85b835SJames Wright 2358c85b835SJames Wright PetscCall(MatCreateCeed(projection->dm, projection->dm, op_mass, NULL, &mat_mass)); 2368c85b835SJames Wright 2378c85b835SJames Wright PetscCall(KSPCreate(comm, &projection->ksp)); 2388c85b835SJames Wright PetscCall(KSPSetOptionsPrefix(projection->ksp, "div_diff_flux_projection_")); 2398c85b835SJames Wright { // lumped by default 2408c85b835SJames Wright PC pc; 2418c85b835SJames Wright PetscCall(KSPGetPC(projection->ksp, &pc)); 2428c85b835SJames Wright PetscCall(PCSetType(pc, PCJACOBI)); 2438c85b835SJames Wright PetscCall(PCJacobiSetType(pc, PC_JACOBI_ROWSUM)); 2448c85b835SJames Wright PetscCall(KSPSetType(projection->ksp, KSPPREONLY)); 2458c85b835SJames Wright } 2468c85b835SJames Wright PetscCall(KSPSetFromOptions_WithMatCeed(projection->ksp, mat_mass)); 2478c85b835SJames Wright PetscCall(MatDestroy(&mat_mass)); 2488c85b835SJames Wright } 2498c85b835SJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_mass)); 2508c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_mass)); 2518c85b835SJames Wright } 2528c85b835SJames Wright 2538c85b835SJames Wright { // Create OperatorApplyContext to calculate divergence at quadrature points 25440b78511SJames Wright CeedQFunction qf_calc_divergence = NULL; 2558c85b835SJames Wright CeedOperator op_calc_divergence; 2560880fbb6SJames Wright CeedElemRestriction elem_restr_div_diff_flux = NULL; 2570880fbb6SJames Wright PetscInt dim; 2588c85b835SJames Wright 2590880fbb6SJames Wright PetscCall(DMGetDimension(projection->dm, &dim)); 2600880fbb6SJames Wright PetscCall(DivDiffFluxProjectionGetOperatorFieldData(diff_flux_proj, &elem_restr_div_diff_flux, NULL, NULL, NULL)); 2618c85b835SJames Wright 26240b78511SJames Wright switch (dim) { 26340b78511SJames Wright case 2: 26440b78511SJames Wright switch (diff_flux_proj->num_diff_flux_comps) { 26540b78511SJames Wright case 1: 26640b78511SJames Wright PetscCallCeed(ceed, 26740b78511SJames Wright CeedQFunctionCreateInterior(ceed, 1, ComputeDivDiffusiveFlux2D_1, ComputeDivDiffusiveFlux2D_1_loc, &qf_calc_divergence)); 26840b78511SJames Wright break; 26940b78511SJames Wright } 27040b78511SJames Wright break; 27140b78511SJames Wright case 3: 27240b78511SJames Wright switch (diff_flux_proj->num_diff_flux_comps) { 27340b78511SJames Wright case 1: 27440b78511SJames Wright PetscCallCeed(ceed, 27540b78511SJames Wright CeedQFunctionCreateInterior(ceed, 1, ComputeDivDiffusiveFlux3D_1, ComputeDivDiffusiveFlux3D_1_loc, &qf_calc_divergence)); 27640b78511SJames Wright break; 27740b78511SJames Wright case 4: 27840b78511SJames Wright PetscCallCeed(ceed, 27940b78511SJames Wright CeedQFunctionCreateInterior(ceed, 1, ComputeDivDiffusiveFlux3D_4, ComputeDivDiffusiveFlux3D_4_loc, &qf_calc_divergence)); 28040b78511SJames Wright break; 28140b78511SJames Wright } 28240b78511SJames Wright break; 28340b78511SJames Wright } 28440b78511SJames Wright PetscCheck(qf_calc_divergence, comm, PETSC_ERR_SUP, 28540b78511SJames Wright "QFunction for calculating divergence of diffusive flux does not exist for" 28640b78511SJames Wright " %" PetscInt_FMT " dimensional grid and %" PetscInt_FMT 28740b78511SJames Wright " number of components.\nA new qfunction can be easily added; see source code for pattern.", 28840b78511SJames Wright dim, diff_flux_proj->num_diff_flux_comps); 2898c85b835SJames Wright 2908c85b835SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_calc_divergence, "Grad F_diff", projection->num_comp * dim, CEED_EVAL_GRAD)); 2918c85b835SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_calc_divergence, "qdata", q_data_size, CEED_EVAL_NONE)); 29240b78511SJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_calc_divergence, "Div F_diff", diff_flux_proj->num_diff_flux_comps, CEED_EVAL_NONE)); 2938c85b835SJames Wright 2948c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_calc_divergence, NULL, NULL, &op_calc_divergence)); 2958c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_calc_divergence, "Grad F_diff", elem_restr_diff_flux, basis_diff_flux, CEED_VECTOR_ACTIVE)); 2968c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_calc_divergence, "qdata", elem_restr_qd, CEED_BASIS_NONE, q_data)); 2979eadbee4SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_calc_divergence, "Div F_diff", elem_restr_div_diff_flux, CEED_BASIS_NONE, 2989eadbee4SJames Wright diff_flux_proj->div_diff_flux_ceed)); 2998c85b835SJames Wright 30065fa3c0aSJames Wright PetscCall(OperatorApplyContextCreate(projection->dm, NULL, ceed, op_calc_divergence, NULL, CEED_VECTOR_NONE, NULL, NULL, 30165fa3c0aSJames Wright &diff_flux_proj->calc_div_diff_flux)); 3028c85b835SJames Wright 3030880fbb6SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_div_diff_flux)); 3048c85b835SJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_calc_divergence)); 3058c85b835SJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_calc_divergence)); 3068c85b835SJames Wright } 3078c85b835SJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_diff_flux)); 3088c85b835SJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&q_data)); 3098c85b835SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_qd)); 3108c85b835SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_diff_flux)); 3118c85b835SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 3128c85b835SJames Wright } 3138c85b835SJames Wright 3148c85b835SJames Wright /** 3158c85b835SJames Wright @brief Setup projection of divergence of diffusive flux 3168c85b835SJames Wright 3170c373b74SJames Wright @param[in] honee `Honee` context 3188561fee2SJames Wright @param[in,out] diff_flux_proj Flux projection object to setup 3198c85b835SJames Wright **/ 320e3663b90SJames Wright PetscErrorCode DivDiffFluxProjectionSetup(Honee honee, DivDiffFluxProjectionData diff_flux_proj) { 3218c85b835SJames Wright PetscFunctionBeginUser; 3220c373b74SJames Wright switch (honee->app_ctx->divFdiffproj_method) { 3238c85b835SJames Wright case DIV_DIFF_FLUX_PROJ_DIRECT: 324e3663b90SJames Wright PetscCall(DivDiffFluxProjectionSetup_Direct(honee, diff_flux_proj)); 3258c85b835SJames Wright break; 3268c85b835SJames Wright case DIV_DIFF_FLUX_PROJ_INDIRECT: 327e3663b90SJames Wright PetscCall(DivDiffFluxProjectionSetup_Indirect(honee, diff_flux_proj)); 3288c85b835SJames Wright break; 3298c85b835SJames Wright case DIV_DIFF_FLUX_PROJ_NONE: 3300c373b74SJames Wright SETERRQ(PetscObjectComm((PetscObject)honee->dm), PETSC_ERR_ARG_WRONG, "Should not reach here with div_diff_flux_projection_method %s", 3310c373b74SJames Wright DivDiffFluxProjectionMethods[honee->app_ctx->divFdiffproj_method]); 3328c85b835SJames Wright break; 3338c85b835SJames Wright } 3348c85b835SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 3358c85b835SJames Wright } 3368c85b835SJames Wright 3378c85b835SJames Wright /** 3388c85b835SJames Wright @brief Project the divergence of diffusive flux 3398c85b835SJames Wright 3408c85b835SJames Wright This implicitly sets the `CeedVector` input (`div_diff_flux_ceed`) to the divergence of diffusive flux. 3418c85b835SJames Wright 3428c85b835SJames Wright @param[in] diff_flux_proj `NodalProjectionData` for the projection 3438c85b835SJames Wright @param[in] Q_loc Localized solution vector 3448c85b835SJames Wright **/ 34536038bbcSJames Wright PetscErrorCode DivDiffFluxProjectionApply(DivDiffFluxProjectionData diff_flux_proj, Vec Q_loc) { 3468c85b835SJames Wright NodalProjectionData projection = diff_flux_proj->projection; 3478c85b835SJames Wright 3488c85b835SJames Wright PetscFunctionBeginUser; 349ea615d4cSJames Wright PetscCall(PetscLogEventBegin(HONEE_DivDiffFluxProjection, Q_loc, 0, 0, 0)); 3508c85b835SJames Wright switch (diff_flux_proj->method) { 3518c85b835SJames Wright case DIV_DIFF_FLUX_PROJ_DIRECT: { 352c8cb0c9bSJames Wright Vec DivDiffFlux, RHS; 3538c85b835SJames Wright 3548c85b835SJames Wright PetscCall(DMGetGlobalVector(projection->dm, &DivDiffFlux)); 355c8cb0c9bSJames Wright PetscCall(DMGetGlobalVector(projection->dm, &RHS)); 3568c85b835SJames Wright if (diff_flux_proj->ceed_vec_has_array) { 3578c85b835SJames Wright PetscCall(VecReadCeedToPetsc(diff_flux_proj->div_diff_flux_ceed, diff_flux_proj->DivDiffFlux_memtype, diff_flux_proj->DivDiffFlux_loc)); 3588c85b835SJames Wright diff_flux_proj->ceed_vec_has_array = PETSC_FALSE; 3598c85b835SJames Wright } 360c8cb0c9bSJames Wright PetscCall(ApplyCeedOperatorLocalToGlobal(Q_loc, RHS, projection->l2_rhs_ctx)); 3618c85b835SJames Wright PetscCall(VecViewFromOptions(DivDiffFlux, NULL, "-div_diff_flux_projection_rhs_view")); 3628c85b835SJames Wright 363c8cb0c9bSJames Wright { 364c8cb0c9bSJames Wright // Run PCApply manually if using ksp_type preonly -pc_type jacobi 365c8cb0c9bSJames Wright // This is to avoid an AllReduce call in KSPSolve_Preonly, which causes significant slowdowns for lumped mass matrix solves. 366c8cb0c9bSJames Wright // See https://gitlab.com/petsc/petsc/-/merge_requests/8048 for more details and a possible fix 367c8cb0c9bSJames Wright PC pc; 368c8cb0c9bSJames Wright PetscBool ispreonly, isjacobi; 369c8cb0c9bSJames Wright PetscCall(KSPGetPC(projection->ksp, &pc)); 370c8cb0c9bSJames Wright PetscCall(PetscObjectTypeCompare((PetscObject)projection->ksp, KSPPREONLY, &ispreonly)); 371c8cb0c9bSJames Wright PetscCall(PetscObjectTypeCompare((PetscObject)pc, PCJACOBI, &isjacobi)); 372c8cb0c9bSJames Wright if (ispreonly && isjacobi) PetscCall(PCApply(pc, RHS, DivDiffFlux)); 373c8cb0c9bSJames Wright else PetscCall(KSPSolve(projection->ksp, RHS, DivDiffFlux)); 374c8cb0c9bSJames Wright } 3758c85b835SJames Wright PetscCall(VecViewFromOptions(DivDiffFlux, NULL, "-div_diff_flux_projection_view")); 3768c85b835SJames Wright 3778c85b835SJames Wright PetscCall(DMGlobalToLocal(projection->dm, DivDiffFlux, INSERT_VALUES, diff_flux_proj->DivDiffFlux_loc)); 3788c85b835SJames Wright PetscCall(VecReadPetscToCeed(diff_flux_proj->DivDiffFlux_loc, &diff_flux_proj->DivDiffFlux_memtype, diff_flux_proj->div_diff_flux_ceed)); 3798c85b835SJames Wright diff_flux_proj->ceed_vec_has_array = PETSC_TRUE; 3808c85b835SJames Wright 381c8cb0c9bSJames Wright PetscCall(DMRestoreGlobalVector(projection->dm, &RHS)); 3828c85b835SJames Wright PetscCall(DMRestoreGlobalVector(projection->dm, &DivDiffFlux)); 3838c85b835SJames Wright break; 3848c85b835SJames Wright } 3858c85b835SJames Wright case DIV_DIFF_FLUX_PROJ_INDIRECT: { 386c8cb0c9bSJames Wright Vec DiffFlux, RHS; 3878c85b835SJames Wright 3888c85b835SJames Wright PetscCall(DMGetGlobalVector(projection->dm, &DiffFlux)); 389c8cb0c9bSJames Wright PetscCall(DMGetGlobalVector(projection->dm, &RHS)); 390c8cb0c9bSJames Wright PetscCall(ApplyCeedOperatorLocalToGlobal(Q_loc, RHS, projection->l2_rhs_ctx)); 3918c85b835SJames Wright PetscCall(VecViewFromOptions(DiffFlux, NULL, "-div_diff_flux_projection_rhs_view")); 3928c85b835SJames Wright 393c8cb0c9bSJames Wright { 394c8cb0c9bSJames Wright // Run PCApply manually if using -ksp_type preonly -pc_type jacobi 395c8cb0c9bSJames Wright // This is to avoid an AllReduce call in KSPSolve_Preonly, which causes significant slowdowns for lumped mass matrix solves. 396c8cb0c9bSJames Wright // See https://gitlab.com/petsc/petsc/-/merge_requests/8048 for more details and a possible fix 397c8cb0c9bSJames Wright PC pc; 398c8cb0c9bSJames Wright PetscBool ispreonly, isjacobi; 399c8cb0c9bSJames Wright PetscCall(KSPGetPC(projection->ksp, &pc)); 400c8cb0c9bSJames Wright PetscCall(PetscObjectTypeCompare((PetscObject)projection->ksp, KSPPREONLY, &ispreonly)); 401c8cb0c9bSJames Wright PetscCall(PetscObjectTypeCompare((PetscObject)pc, PCJACOBI, &isjacobi)); 402c8cb0c9bSJames Wright if (ispreonly && isjacobi) PetscCall(PCApply(pc, RHS, DiffFlux)); 403c8cb0c9bSJames Wright else PetscCall(KSPSolve(projection->ksp, RHS, DiffFlux)); 404c8cb0c9bSJames Wright } 4058c85b835SJames Wright PetscCall(VecViewFromOptions(DiffFlux, NULL, "-div_diff_flux_projection_view")); 4068c85b835SJames Wright 4078c85b835SJames Wright PetscCall(ApplyCeedOperatorGlobalToLocal(DiffFlux, NULL, diff_flux_proj->calc_div_diff_flux)); 408c8cb0c9bSJames Wright PetscCall(DMRestoreGlobalVector(projection->dm, &RHS)); 4098c85b835SJames Wright PetscCall(DMRestoreGlobalVector(projection->dm, &DiffFlux)); 4108c85b835SJames Wright } break; 4118c85b835SJames Wright case DIV_DIFF_FLUX_PROJ_NONE: 4128c85b835SJames Wright SETERRQ(PetscObjectComm((PetscObject)projection->dm), PETSC_ERR_ARG_WRONG, "Should not reach here with div_diff_flux_projection_method %s", 4138c85b835SJames Wright DivDiffFluxProjectionMethods[diff_flux_proj->method]); 4148c85b835SJames Wright break; 4158c85b835SJames Wright } 416ea615d4cSJames Wright PetscCall(PetscLogEventEnd(HONEE_DivDiffFluxProjection, Q_loc, 0, 0, 0)); 4178c85b835SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 4188c85b835SJames Wright } 4198c85b835SJames Wright 4208c85b835SJames Wright /** 4218c85b835SJames Wright @brief Destroy `DivDiffFluxProjectionData` object 4228c85b835SJames Wright 4238c85b835SJames Wright @param[in,out] diff_flux_proj Object to destroy 4248c85b835SJames Wright **/ 4258c85b835SJames Wright PetscErrorCode DivDiffFluxProjectionDataDestroy(DivDiffFluxProjectionData diff_flux_proj) { 4268c85b835SJames Wright PetscFunctionBeginUser; 4278c85b835SJames Wright if (diff_flux_proj == NULL) PetscFunctionReturn(PETSC_SUCCESS); 4280880fbb6SJames Wright Ceed ceed = CeedVectorReturnCeed(diff_flux_proj->div_diff_flux_ceed); 4290880fbb6SJames Wright 4304ea616f4SJames Wright PetscCall(NodalProjectionDataDestroy(&diff_flux_proj->projection)); 4318c85b835SJames Wright PetscCall(OperatorApplyContextDestroy(diff_flux_proj->calc_div_diff_flux)); 4328c85b835SJames Wright if (diff_flux_proj->ceed_vec_has_array) { 4338c85b835SJames Wright PetscCall(VecReadCeedToPetsc(diff_flux_proj->div_diff_flux_ceed, diff_flux_proj->DivDiffFlux_memtype, diff_flux_proj->DivDiffFlux_loc)); 4348c85b835SJames Wright diff_flux_proj->ceed_vec_has_array = PETSC_FALSE; 4358c85b835SJames Wright } 4360880fbb6SJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&diff_flux_proj->div_diff_flux_ceed)); 4370880fbb6SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&diff_flux_proj->elem_restr_div_diff_flux)); 4380880fbb6SJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&diff_flux_proj->basis_div_diff_flux)); 4398c85b835SJames Wright PetscCall(VecDestroy(&diff_flux_proj->DivDiffFlux_loc)); 4408c85b835SJames Wright PetscCall(PetscFree(diff_flux_proj)); 4418c85b835SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 4428c85b835SJames Wright } 443