12eb7bf1fSJames Wright // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors. 22eb7bf1fSJames Wright // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 32eb7bf1fSJames Wright // 42eb7bf1fSJames Wright // SPDX-License-Identifier: BSD-2-Clause 52eb7bf1fSJames Wright // 62eb7bf1fSJames Wright // This file is part of CEED: http://github.com/ceed 72eb7bf1fSJames Wright 82eb7bf1fSJames Wright #include "../qfunctions/strong_boundary_conditions.h" 92eb7bf1fSJames Wright 102eb7bf1fSJames Wright #include <ceed.h> 112eb7bf1fSJames Wright #include <petscdmplex.h> 122eb7bf1fSJames Wright 132eb7bf1fSJames Wright #include "../navierstokes.h" 142eb7bf1fSJames Wright #include "../problems/stg_shur14.h" 152eb7bf1fSJames Wright 1667263decSKenneth E. Jansen PetscErrorCode SetupStrongSTG_Ceed(Ceed ceed, CeedData ceed_data, DM dm, ProblemData *problem, SimpleBC bc, Physics phys, CeedInt q_data_size_sur, 1767263decSKenneth E. Jansen CeedOperator op_strong_bc) { 182eb7bf1fSJames Wright CeedInt num_comp_x = problem->dim, num_comp_q = 5, num_elem, elem_size, stg_data_size = 1; 192eb7bf1fSJames Wright CeedVector multiplicity, x_stored, scale_stored, q_data_sur, stg_data; 202eb7bf1fSJames Wright CeedBasis basis_x_to_q_sur; 212eb7bf1fSJames Wright CeedElemRestriction elem_restr_x_sur, elem_restr_q_sur, elem_restr_x_stored, elem_restr_scale, elem_restr_qd_sur, elem_restr_stgdata; 222eb7bf1fSJames Wright CeedQFunction qf_setup, qf_strongbc, qf_stgdata; 232eb7bf1fSJames Wright CeedOperator op_setup, op_strong_bc_sub, op_setup_sur, op_stgdata; 242eb7bf1fSJames Wright DMLabel domain_label; 252eb7bf1fSJames Wright 262eb7bf1fSJames Wright PetscFunctionBeginUser; 272eb7bf1fSJames Wright PetscCall(DMGetLabel(dm, "Face Sets", &domain_label)); 282eb7bf1fSJames Wright 292eb7bf1fSJames Wright // Basis 302eb7bf1fSJames Wright CeedInt height = 1; 31*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedBasisCreateProjection(ceed_data->basis_x_sur, ceed_data->basis_q_sur, &basis_x_to_q_sur)); 3267263decSKenneth E. Jansen // --- Get number of quadrature points for the boundaries 3367263decSKenneth E. Jansen CeedInt num_qpts_sur; 34*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedBasisGetNumQuadraturePoints(ceed_data->basis_q_sur, &num_qpts_sur)); 352eb7bf1fSJames Wright 362eb7bf1fSJames Wright // Setup QFunction 37*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionCreateInterior(ceed, 1, SetupStrongBC, SetupStrongBC_loc, &qf_setup)); 38*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_setup, "x", num_comp_x, CEED_EVAL_INTERP)); 39*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_setup, "multiplicity", num_comp_q, CEED_EVAL_NONE)); 40*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_setup, "x stored", num_comp_x, CEED_EVAL_NONE)); 41*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_setup, "scale", 1, CEED_EVAL_NONE)); 422eb7bf1fSJames Wright 432eb7bf1fSJames Wright // Setup STG Setup QFunction 442eb7bf1fSJames Wright PetscCall(SetupStrongSTG_PreProcessing(ceed, problem, num_comp_x, stg_data_size, q_data_size_sur, &qf_stgdata)); 452eb7bf1fSJames Wright 462eb7bf1fSJames Wright // Compute contribution on each boundary face 472eb7bf1fSJames Wright for (CeedInt i = 0; i < bc->num_inflow; i++) { 482eb7bf1fSJames Wright // -- Restrictions 4967263decSKenneth E. Jansen PetscCall(GetRestrictionForDomain(ceed, dm, height, domain_label, bc->inflows[i], 0, -1, -1, &elem_restr_q_sur, &elem_restr_x_sur, NULL)); 50*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_q_sur, &multiplicity, NULL)); 51*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionGetMultiplicity(elem_restr_q_sur, multiplicity)); 52*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionGetNumElements(elem_restr_q_sur, &num_elem)); 53*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionGetElementSize(elem_restr_q_sur, &elem_size)); 5467263decSKenneth E. Jansen PetscCall(GetRestrictionForDomain(ceed, dm, height, domain_label, bc->inflows[i], 0, elem_size, q_data_size_sur, NULL, NULL, &elem_restr_qd_sur)); 5567263decSKenneth E. Jansen 56*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateStrided(ceed, num_elem, elem_size, num_comp_x, num_elem * elem_size * num_comp_x, 57*b4c37c5cSJames Wright CEED_STRIDES_BACKEND, &elem_restr_x_stored)); 58*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_x_stored, &x_stored, NULL)); 592eb7bf1fSJames Wright 60*b4c37c5cSJames Wright PetscCallCeed(ceed, 61*b4c37c5cSJames Wright CeedElemRestrictionCreateStrided(ceed, num_elem, elem_size, 1, num_elem * elem_size, CEED_STRIDES_BACKEND, &elem_restr_scale)); 62*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_scale, &scale_stored, NULL)); 632eb7bf1fSJames Wright 64*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateStrided(ceed, num_elem, elem_size, stg_data_size, num_elem * elem_size, CEED_STRIDES_BACKEND, 65*b4c37c5cSJames Wright &elem_restr_stgdata)); 66*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_stgdata, &stg_data, NULL)); 672eb7bf1fSJames Wright 68*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedVectorCreate(ceed, q_data_size_sur * num_elem * elem_size, &q_data_sur)); 692eb7bf1fSJames Wright 702eb7bf1fSJames Wright // -- Setup Operator 71*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_setup, NULL, NULL, &op_setup)); 72*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetName(op_setup, "surface geometric data")); 73*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "x", elem_restr_x_sur, basis_x_to_q_sur, CEED_VECTOR_ACTIVE)); 74*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "multiplicity", elem_restr_q_sur, CEED_BASIS_COLLOCATED, multiplicity)); 75*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "x stored", elem_restr_x_stored, CEED_BASIS_COLLOCATED, x_stored)); 76*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "scale", elem_restr_scale, CEED_BASIS_COLLOCATED, scale_stored)); 772eb7bf1fSJames Wright 782eb7bf1fSJames Wright // -- Compute geometric factors 79*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorApply(op_setup, ceed_data->x_coord, CEED_VECTOR_NONE, CEED_REQUEST_IMMEDIATE)); 802eb7bf1fSJames Wright 812eb7bf1fSJames Wright // -- Compute QData for the surface 82*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, ceed_data->qf_setup_sur, NULL, NULL, &op_setup_sur)); 83*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_setup_sur, "dx", elem_restr_x_sur, ceed_data->basis_xc_sur, CEED_VECTOR_ACTIVE)); 84*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_setup_sur, "weight", CEED_ELEMRESTRICTION_NONE, ceed_data->basis_xc_sur, CEED_VECTOR_NONE)); 85*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_setup_sur, "surface qdata", elem_restr_qd_sur, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE)); 862eb7bf1fSJames Wright 87*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorApply(op_setup_sur, ceed_data->x_coord, q_data_sur, CEED_REQUEST_IMMEDIATE)); 882eb7bf1fSJames Wright 892eb7bf1fSJames Wright // -- Compute STGData 90*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_stgdata, NULL, NULL, &op_stgdata)); 91*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_stgdata, "surface qdata", elem_restr_qd_sur, CEED_BASIS_COLLOCATED, q_data_sur)); 92*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_stgdata, "x", elem_restr_x_stored, CEED_BASIS_COLLOCATED, x_stored)); 93*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_stgdata, "stg data", elem_restr_stgdata, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE)); 942eb7bf1fSJames Wright 95*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorApply(op_stgdata, CEED_VECTOR_NONE, stg_data, CEED_REQUEST_IMMEDIATE)); 962eb7bf1fSJames Wright 972eb7bf1fSJames Wright // -- Setup BC QFunctions 982eb7bf1fSJames Wright SetupStrongSTG_QF(ceed, problem, num_comp_x, num_comp_q, stg_data_size, q_data_size_sur, &qf_strongbc); 99*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_strongbc, NULL, NULL, &op_strong_bc_sub)); 100*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetName(op_strong_bc_sub, "Strong STG")); 1012eb7bf1fSJames Wright 102*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "surface qdata", elem_restr_qd_sur, CEED_BASIS_COLLOCATED, q_data_sur)); 103*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "x", elem_restr_x_stored, CEED_BASIS_COLLOCATED, x_stored)); 104*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "scale", elem_restr_scale, CEED_BASIS_COLLOCATED, scale_stored)); 105*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "stg data", elem_restr_stgdata, CEED_BASIS_COLLOCATED, stg_data)); 106*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "q", elem_restr_q_sur, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE)); 1072eb7bf1fSJames Wright 1082eb7bf1fSJames Wright // -- Add to composite operator 109*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedCompositeOperatorAddSub(op_strong_bc, op_strong_bc_sub)); 1102eb7bf1fSJames Wright 111*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&q_data_sur)); 112*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&multiplicity)); 113*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&x_stored)); 114*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&scale_stored)); 115*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&stg_data)); 116*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_x_sur)); 117*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_q_sur)); 118*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_qd_sur)); 119*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_x_stored)); 120*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_scale)); 121*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_stgdata)); 122*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_strongbc)); 123*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_stgdata)); 124*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_setup_sur)); 125*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_strong_bc_sub)); 126*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_setup)); 127*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_stgdata)); 1282eb7bf1fSJames Wright } 1292eb7bf1fSJames Wright 130*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorGetContextFieldLabel(op_strong_bc, "solution time", &phys->stg_solution_time_label)); 1312eb7bf1fSJames Wright 132*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_x_to_q_sur)); 133*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_setup)); 1342eb7bf1fSJames Wright 135d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 1362eb7bf1fSJames Wright } 1372eb7bf1fSJames Wright 1382eb7bf1fSJames Wright PetscErrorCode DMPlexInsertBoundaryValues_StrongBCCeed(DM dm, PetscBool insert_essential, Vec Q_loc, PetscReal time, Vec face_geom_FVM, 1392eb7bf1fSJames Wright Vec cell_geom_FVM, Vec grad_FVM) { 1402eb7bf1fSJames Wright Vec boundary_mask; 1412eb7bf1fSJames Wright User user; 1422eb7bf1fSJames Wright 1432eb7bf1fSJames Wright PetscFunctionBeginUser; 1442eb7bf1fSJames Wright PetscCall(DMGetApplicationContext(dm, &user)); 1452eb7bf1fSJames Wright 1462eb7bf1fSJames Wright if (user->phys->stg_solution_time_label) { 147*b4c37c5cSJames Wright PetscCallCeed(user->ceed, CeedOperatorSetContextDouble(user->op_strong_bc_ctx->op, user->phys->stg_solution_time_label, &time)); 1482eb7bf1fSJames Wright } 1492eb7bf1fSJames Wright 1502eb7bf1fSJames Wright // Mask Strong BC entries 1512eb7bf1fSJames Wright PetscCall(DMGetNamedLocalVector(dm, "boundary mask", &boundary_mask)); 1522eb7bf1fSJames Wright PetscCall(VecPointwiseMult(Q_loc, Q_loc, boundary_mask)); 1532eb7bf1fSJames Wright PetscCall(DMRestoreNamedLocalVector(dm, "boundary mask", &boundary_mask)); 1542eb7bf1fSJames Wright 1552eb7bf1fSJames Wright PetscCall(ApplyAddCeedOperatorLocalToLocal(NULL, Q_loc, user->op_strong_bc_ctx)); 1562eb7bf1fSJames Wright 157d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 1582eb7bf1fSJames Wright } 1592eb7bf1fSJames Wright 16067263decSKenneth E. Jansen PetscErrorCode SetupStrongBC_Ceed(Ceed ceed, CeedData ceed_data, DM dm, User user, ProblemData *problem, SimpleBC bc, CeedInt q_data_size_sur) { 1612eb7bf1fSJames Wright CeedOperator op_strong_bc; 1622eb7bf1fSJames Wright 1632eb7bf1fSJames Wright PetscFunctionBeginUser; 1642eb7bf1fSJames Wright { 1652eb7bf1fSJames Wright Vec boundary_mask, global_vec; 1662eb7bf1fSJames Wright 1672eb7bf1fSJames Wright PetscCall(DMGetNamedLocalVector(dm, "boundary mask", &boundary_mask)); 1682eb7bf1fSJames Wright PetscCall(DMGetGlobalVector(dm, &global_vec)); 1692eb7bf1fSJames Wright PetscCall(VecZeroEntries(boundary_mask)); 1702eb7bf1fSJames Wright PetscCall(VecSet(global_vec, 1.0)); 1712eb7bf1fSJames Wright PetscCall(DMGlobalToLocal(dm, global_vec, INSERT_VALUES, boundary_mask)); 1722eb7bf1fSJames Wright PetscCall(DMRestoreNamedLocalVector(dm, "boundary mask", &boundary_mask)); 1732eb7bf1fSJames Wright PetscCall(DMRestoreGlobalVector(dm, &global_vec)); 1742eb7bf1fSJames Wright } 1752eb7bf1fSJames Wright 176*b4c37c5cSJames Wright PetscCallCeed(ceed, CeedCompositeOperatorCreate(ceed, &op_strong_bc)); 1772eb7bf1fSJames Wright { 1782eb7bf1fSJames Wright PetscBool use_strongstg = PETSC_FALSE; 1792eb7bf1fSJames Wright PetscCall(PetscOptionsGetBool(NULL, NULL, "-stg_strong", &use_strongstg, NULL)); 1802eb7bf1fSJames Wright 1812eb7bf1fSJames Wright if (use_strongstg) { 18267263decSKenneth E. Jansen PetscCall(SetupStrongSTG_Ceed(ceed, ceed_data, dm, problem, bc, user->phys, q_data_size_sur, op_strong_bc)); 1832eb7bf1fSJames Wright } 1842eb7bf1fSJames Wright } 1852eb7bf1fSJames Wright 1862eb7bf1fSJames Wright PetscCall(OperatorApplyContextCreate(NULL, NULL, ceed, op_strong_bc, CEED_VECTOR_NONE, NULL, NULL, NULL, &user->op_strong_bc_ctx)); 1872eb7bf1fSJames Wright 1882eb7bf1fSJames Wright PetscCall(PetscObjectComposeFunction((PetscObject)dm, "DMPlexInsertBoundaryValues_C", DMPlexInsertBoundaryValues_StrongBCCeed)); 189d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 1902eb7bf1fSJames Wright } 191