1*9ba83ac0SJeremy L Thompson // Copyright (c) 2017-2026, Lawrence Livermore National Security, LLC and other CEED contributors. 23d8e8822SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 3182fbe45STzanio // 43d8e8822SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause 5182fbe45STzanio // 63d8e8822SJeremy L Thompson // This file is part of CEED: http://github.com/ceed 7182fbe45STzanio 8182fbe45STzanio /// @file 95d6bafb2Sjeremylt /// Diffusion operator example using MFEM 103d576824SJeremy L Thompson 11182fbe45STzanio #include <ceed.h> 122b730f8bSJeremy L Thompson 13182fbe45STzanio #include <mfem.hpp> 142b730f8bSJeremy L Thompson 154d537eeaSYohann #include "bp3.h" 16182fbe45STzanio 17182fbe45STzanio /// Wrapper for a diffusion CeedOperator as an mfem::Operator 18182fbe45STzanio class CeedDiffusionOperator : public mfem::Operator { 19182fbe45STzanio protected: 20182fbe45STzanio const mfem::FiniteElementSpace *fes; 21182fbe45STzanio CeedOperator build_oper, oper; 22182fbe45STzanio CeedBasis basis, mesh_basis; 23135a076eSjeremylt CeedElemRestriction restr, mesh_restr, restr_i, mesh_restr_i; 24182fbe45STzanio CeedQFunction apply_qfunc, build_qfunc; 25777ff853SJeremy L Thompson CeedQFunctionContext build_ctx; 26a2fa7910SValeria Barra CeedVector node_coords, qdata; 27182fbe45STzanio 28777ff853SJeremy L Thompson BuildContext build_ctx_data; 29182fbe45STzanio 30182fbe45STzanio CeedVector u, v; 31182fbe45STzanio FESpace2Ceed(const mfem::FiniteElementSpace * fes,const mfem::IntegrationRule & ir,Ceed ceed,CeedBasis * basis,CeedElemRestriction * restr)322b730f8bSJeremy L Thompson static void FESpace2Ceed(const mfem::FiniteElementSpace *fes, const mfem::IntegrationRule &ir, Ceed ceed, CeedBasis *basis, 33182fbe45STzanio CeedElemRestriction *restr) { 34182fbe45STzanio mfem::Mesh *mesh = fes->GetMesh(); 35182fbe45STzanio const mfem::FiniteElement *fe = fes->GetFE(0); 36182fbe45STzanio const int order = fes->GetOrder(0); 37182fbe45STzanio mfem::Array<int> dof_map; 38182fbe45STzanio switch (mesh->Dimension()) { 39182fbe45STzanio case 1: { 402b730f8bSJeremy L Thompson const mfem::H1_SegmentElement *h1_fe = dynamic_cast<const mfem::H1_SegmentElement *>(fe); 41182fbe45STzanio MFEM_VERIFY(h1_fe, "invalid FE"); 42182fbe45STzanio h1_fe->GetDofMap().Copy(dof_map); 43182fbe45STzanio break; 44182fbe45STzanio } 45182fbe45STzanio case 2: { 462b730f8bSJeremy L Thompson const mfem::H1_QuadrilateralElement *h1_fe = dynamic_cast<const mfem::H1_QuadrilateralElement *>(fe); 47182fbe45STzanio MFEM_VERIFY(h1_fe, "invalid FE"); 48182fbe45STzanio h1_fe->GetDofMap().Copy(dof_map); 49182fbe45STzanio break; 50182fbe45STzanio } 51182fbe45STzanio case 3: { 522b730f8bSJeremy L Thompson const mfem::H1_HexahedronElement *h1_fe = dynamic_cast<const mfem::H1_HexahedronElement *>(fe); 53182fbe45STzanio MFEM_VERIFY(h1_fe, "invalid FE"); 54182fbe45STzanio h1_fe->GetDofMap().Copy(dof_map); 55182fbe45STzanio break; 56182fbe45STzanio } 57182fbe45STzanio } 582b730f8bSJeremy L Thompson const mfem::FiniteElement *fe1d = fes->FEColl()->FiniteElementForGeometry(mfem::Geometry::SEGMENT); 59182fbe45STzanio mfem::DenseMatrix shape1d(fe1d->GetDof(), ir.GetNPoints()); 60d1d35e2fSjeremylt mfem::DenseMatrix grad_1d(fe1d->GetDof(), ir.GetNPoints()); 61d1d35e2fSjeremylt mfem::Vector q_ref_1d(ir.GetNPoints()), q_weight_1d(ir.GetNPoints()); 62182fbe45STzanio mfem::Vector shape_i(shape1d.Height()); 63d1d35e2fSjeremylt mfem::DenseMatrix grad_i(grad_1d.Height(), 1); 642b730f8bSJeremy L Thompson const mfem::H1_SegmentElement *h1_fe1d = dynamic_cast<const mfem::H1_SegmentElement *>(fe1d); 65182fbe45STzanio MFEM_VERIFY(h1_fe1d, "invalid FE"); 66182fbe45STzanio const mfem::Array<int> &dof_map_1d = h1_fe1d->GetDofMap(); 67182fbe45STzanio for (int i = 0; i < ir.GetNPoints(); i++) { 68182fbe45STzanio const mfem::IntegrationPoint &ip = ir.IntPoint(i); 69d1d35e2fSjeremylt q_ref_1d(i) = ip.x; 70d1d35e2fSjeremylt q_weight_1d(i) = ip.weight; 71182fbe45STzanio fe1d->CalcShape(ip, shape_i); 72182fbe45STzanio fe1d->CalcDShape(ip, grad_i); 73182fbe45STzanio for (int j = 0; j < shape1d.Height(); j++) { 74182fbe45STzanio shape1d(j, i) = shape_i(dof_map_1d[j]); 75d1d35e2fSjeremylt grad_1d(j, i) = grad_i(dof_map_1d[j], 0); 76182fbe45STzanio } 77182fbe45STzanio } 782b730f8bSJeremy L Thompson CeedBasisCreateTensorH1(ceed, mesh->Dimension(), fes->GetVDim(), order + 1, ir.GetNPoints(), shape1d.GetData(), grad_1d.GetData(), 792b730f8bSJeremy L Thompson q_ref_1d.GetData(), q_weight_1d.GetData(), basis); 80182fbe45STzanio 81182fbe45STzanio const mfem::Table &el_dof = fes->GetElementToDofTable(); 82182fbe45STzanio mfem::Array<int> tp_el_dof(el_dof.Size_of_connections()); 83182fbe45STzanio for (int i = 0; i < mesh->GetNE(); i++) { 84182fbe45STzanio const int el_offset = fe->GetDof() * i; 85182fbe45STzanio for (int j = 0; j < fe->GetDof(); j++) { 86182fbe45STzanio tp_el_dof[j + el_offset] = el_dof.GetJ()[dof_map[j] + el_offset]; 87182fbe45STzanio } 88182fbe45STzanio } 892b730f8bSJeremy L Thompson CeedElemRestrictionCreate(ceed, mesh->GetNE(), fe->GetDof(), fes->GetVDim(), fes->GetNDofs(), (fes->GetVDim()) * (fes->GetNDofs()), CEED_MEM_HOST, 902b730f8bSJeremy L Thompson CEED_COPY_VALUES, tp_el_dof.GetData(), restr); 91182fbe45STzanio } 92182fbe45STzanio 93182fbe45STzanio public: 94182fbe45STzanio /// Constructor. Assumes @a fes is a scalar FE space. CeedDiffusionOperator(Ceed ceed,const mfem::FiniteElementSpace * fes)952b730f8bSJeremy L Thompson CeedDiffusionOperator(Ceed ceed, const mfem::FiniteElementSpace *fes) : Operator(fes->GetNDofs()), fes(fes) { 96182fbe45STzanio mfem::Mesh *mesh = fes->GetMesh(); 97182fbe45STzanio const int order = fes->GetOrder(0); 98182fbe45STzanio const int ir_order = 2 * (order + 2) - 1; // <----- 992b730f8bSJeremy L Thompson const mfem::IntegrationRule &ir = mfem::IntRules.Get(mfem::Geometry::SEGMENT, ir_order); 1002b730f8bSJeremy L Thompson CeedInt num_elem = mesh->GetNE(), dim = mesh->SpaceDimension(), ncompx = dim, nqpts; 101182fbe45STzanio 102182fbe45STzanio FESpace2Ceed(fes, ir, ceed, &basis, &restr); 103182fbe45STzanio 104182fbe45STzanio const mfem::FiniteElementSpace *mesh_fes = mesh->GetNodalFESpace(); 105182fbe45STzanio MFEM_VERIFY(mesh_fes, "the Mesh has no nodal FE space"); 106182fbe45STzanio FESpace2Ceed(mesh_fes, ir, ceed, &mesh_basis, &mesh_restr); 107a48d94bfSjeremylt CeedBasisGetNumQuadraturePoints(basis, &nqpts); 108182fbe45STzanio 1097509a596Sjeremylt CeedInt strides[3] = {1, nqpts, nqpts * dim * (dim + 1) / 2}; 1102b730f8bSJeremy L Thompson CeedElemRestrictionCreateStrided(ceed, num_elem, nqpts, dim * (dim + 1) / 2, dim * (dim + 1) / 2 * nqpts * num_elem, strides, &restr_i); 111135a076eSjeremylt 112182fbe45STzanio CeedVectorCreate(ceed, mesh->GetNodes()->Size(), &node_coords); 1132b730f8bSJeremy L Thompson CeedVectorSetArray(node_coords, CEED_MEM_HOST, CEED_USE_POINTER, mesh->GetNodes()->GetData()); 114182fbe45STzanio 115d1d35e2fSjeremylt CeedVectorCreate(ceed, num_elem * nqpts * dim * (dim + 1) / 2, &qdata); 1167ca8db16Sjeremylt 1177ca8db16Sjeremylt // Context data to be passed to the 'f_build_diff' Q-function. 118777ff853SJeremy L Thompson build_ctx_data.dim = mesh->Dimension(); 119777ff853SJeremy L Thompson build_ctx_data.space_dim = dim; 120777ff853SJeremy L Thompson CeedQFunctionContextCreate(ceed, &build_ctx); 1212b730f8bSJeremy L Thompson CeedQFunctionContextSetData(build_ctx, CEED_MEM_HOST, CEED_USE_POINTER, sizeof(build_ctx_data), &build_ctx_data); 1227ca8db16Sjeremylt 123ea61e9acSJeremy L Thompson // Create the Q-function that builds the diff operator (i.e. computes its quadrature data) and set its context data. 1242b730f8bSJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, f_build_diff, f_build_diff_loc, &build_qfunc); 12534d77899SValeria Barra CeedQFunctionAddInput(build_qfunc, "dx", ncompx * dim, CEED_EVAL_GRAD); 1267ca8db16Sjeremylt CeedQFunctionAddInput(build_qfunc, "weights", 1, CEED_EVAL_WEIGHT); 127a2fa7910SValeria Barra CeedQFunctionAddOutput(build_qfunc, "qdata", dim * (dim + 1) / 2, CEED_EVAL_NONE); 128777ff853SJeremy L Thompson CeedQFunctionSetContext(build_qfunc, build_ctx); 12954251743Sjeremylt 1307ca8db16Sjeremylt // Create the operator that builds the quadrature data for the diff operator. 1312b730f8bSJeremy L Thompson CeedOperatorCreate(ceed, build_qfunc, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &build_oper); 1322b730f8bSJeremy L Thompson CeedOperatorSetField(build_oper, "dx", mesh_restr, mesh_basis, CEED_VECTOR_ACTIVE); 1332b730f8bSJeremy L Thompson CeedOperatorSetField(build_oper, "weights", CEED_ELEMRESTRICTION_NONE, mesh_basis, CEED_VECTOR_NONE); 134356036faSJeremy L Thompson CeedOperatorSetField(build_oper, "qdata", restr_i, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE); 13554251743Sjeremylt 136a48d94bfSjeremylt // Compute the quadrature data for the diff operator. 1372b730f8bSJeremy L Thompson CeedOperatorApply(build_oper, node_coords, qdata, CEED_REQUEST_IMMEDIATE); 138182fbe45STzanio 1397ca8db16Sjeremylt // Create the Q-function that defines the action of the diff operator. 1402b730f8bSJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, f_apply_diff, f_apply_diff_loc, &apply_qfunc); 1414d537eeaSYohann CeedQFunctionAddInput(apply_qfunc, "u", dim, CEED_EVAL_GRAD); 142a2fa7910SValeria Barra CeedQFunctionAddInput(apply_qfunc, "qdata", dim * (dim + 1) / 2, CEED_EVAL_NONE); 1434d537eeaSYohann CeedQFunctionAddOutput(apply_qfunc, "v", dim, CEED_EVAL_GRAD); 144777ff853SJeremy L Thompson CeedQFunctionSetContext(apply_qfunc, build_ctx); 14554251743Sjeremylt 146a48d94bfSjeremylt // Create the diff operator. 1472b730f8bSJeremy L Thompson CeedOperatorCreate(ceed, apply_qfunc, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &oper); 148a8d32208Sjeremylt CeedOperatorSetField(oper, "u", restr, basis, CEED_VECTOR_ACTIVE); 149356036faSJeremy L Thompson CeedOperatorSetField(oper, "qdata", restr_i, CEED_BASIS_NONE, qdata); 150a8d32208Sjeremylt CeedOperatorSetField(oper, "v", restr, basis, CEED_VECTOR_ACTIVE); 151182fbe45STzanio 152182fbe45STzanio CeedVectorCreate(ceed, fes->GetNDofs(), &u); 153182fbe45STzanio CeedVectorCreate(ceed, fes->GetNDofs(), &v); 154182fbe45STzanio } 155182fbe45STzanio 156182fbe45STzanio /// Destructor ~CeedDiffusionOperator()157182fbe45STzanio ~CeedDiffusionOperator() { 158182fbe45STzanio CeedVectorDestroy(&u); 1597ca8db16Sjeremylt CeedVectorDestroy(&v); 160a2fa7910SValeria Barra CeedVectorDestroy(&qdata); 161182fbe45STzanio CeedVectorDestroy(&node_coords); 162182fbe45STzanio CeedElemRestrictionDestroy(&restr); 1637ca8db16Sjeremylt CeedElemRestrictionDestroy(&mesh_restr); 164135a076eSjeremylt CeedElemRestrictionDestroy(&restr_i); 165182fbe45STzanio CeedBasisDestroy(&basis); 1667ca8db16Sjeremylt CeedBasisDestroy(&mesh_basis); 1677ca8db16Sjeremylt CeedQFunctionDestroy(&build_qfunc); 168777ff853SJeremy L Thompson CeedQFunctionContextDestroy(&build_ctx); 1697ca8db16Sjeremylt CeedOperatorDestroy(&build_oper); 1707ca8db16Sjeremylt CeedQFunctionDestroy(&apply_qfunc); 1717ca8db16Sjeremylt CeedOperatorDestroy(&oper); 172182fbe45STzanio } 173182fbe45STzanio 174182fbe45STzanio /// Operator action Mult(const mfem::Vector & x,mfem::Vector & y) const175182fbe45STzanio virtual void Mult(const mfem::Vector &x, mfem::Vector &y) const { 176182fbe45STzanio CeedVectorSetArray(u, CEED_MEM_HOST, CEED_USE_POINTER, x.GetData()); 177182fbe45STzanio CeedVectorSetArray(v, CEED_MEM_HOST, CEED_USE_POINTER, y.GetData()); 178182fbe45STzanio 17954251743Sjeremylt CeedOperatorApply(oper, u, v, CEED_REQUEST_IMMEDIATE); 18054540941SJeremy L Thompson CeedVectorSyncArray(v, CEED_MEM_HOST); 181182fbe45STzanio } 182182fbe45STzanio }; 183