1*3d8e8822SJeremy L Thompson // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors. 2*3d8e8822SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 3182fbe45STzanio // 4*3d8e8822SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause 5182fbe45STzanio // 6*3d8e8822SJeremy L Thompson // This file is part of CEED: http://github.com/ceed 7182fbe45STzanio 8182fbe45STzanio /// @file 95d6bafb2Sjeremylt /// Mass operator example using MFEM 103d576824SJeremy L Thompson 11182fbe45STzanio #include <ceed.h> 12182fbe45STzanio #include <mfem.hpp> 134d537eeaSYohann #include "bp1.h" 14182fbe45STzanio 15182fbe45STzanio /// Wrapper for a mass CeedOperator as an mfem::Operator 16182fbe45STzanio class CeedMassOperator : public mfem::Operator { 17182fbe45STzanio protected: 18182fbe45STzanio const mfem::FiniteElementSpace *fes; 19182fbe45STzanio CeedOperator build_oper, oper; 20182fbe45STzanio CeedBasis basis, mesh_basis; 21135a076eSjeremylt CeedElemRestriction restr, mesh_restr, restr_i, mesh_restr_i; 22182fbe45STzanio CeedQFunction apply_qfunc, build_qfunc; 23777ff853SJeremy L Thompson CeedQFunctionContext build_ctx; 24a2fa7910SValeria Barra CeedVector node_coords, qdata; 257ca8db16Sjeremylt CeedVector u, v; 26182fbe45STzanio 27777ff853SJeremy L Thompson BuildContext build_ctx_data; 28182fbe45STzanio 29182fbe45STzanio static void FESpace2Ceed(const mfem::FiniteElementSpace *fes, 30182fbe45STzanio const mfem::IntegrationRule &ir, 31182fbe45STzanio Ceed ceed, CeedBasis *basis, 32182fbe45STzanio CeedElemRestriction *restr) { 33182fbe45STzanio mfem::Mesh *mesh = fes->GetMesh(); 34182fbe45STzanio const mfem::FiniteElement *fe = fes->GetFE(0); 35182fbe45STzanio const int order = fes->GetOrder(0); 36182fbe45STzanio mfem::Array<int> dof_map; 37182fbe45STzanio switch (mesh->Dimension()) { 38182fbe45STzanio case 1: { 39182fbe45STzanio const mfem::H1_SegmentElement *h1_fe = 40182fbe45STzanio 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: { 46182fbe45STzanio const mfem::H1_QuadrilateralElement *h1_fe = 47182fbe45STzanio dynamic_cast<const mfem::H1_QuadrilateralElement *>(fe); 48182fbe45STzanio MFEM_VERIFY(h1_fe, "invalid FE"); 49182fbe45STzanio h1_fe->GetDofMap().Copy(dof_map); 50182fbe45STzanio break; 51182fbe45STzanio } 52182fbe45STzanio case 3: { 53182fbe45STzanio const mfem::H1_HexahedronElement *h1_fe = 54182fbe45STzanio dynamic_cast<const mfem::H1_HexahedronElement *>(fe); 55182fbe45STzanio MFEM_VERIFY(h1_fe, "invalid FE"); 56182fbe45STzanio h1_fe->GetDofMap().Copy(dof_map); 57182fbe45STzanio break; 58182fbe45STzanio } 59182fbe45STzanio } 60182fbe45STzanio const mfem::FiniteElement *fe1d = 61182fbe45STzanio fes->FEColl()->FiniteElementForGeometry(mfem::Geometry::SEGMENT); 62182fbe45STzanio mfem::DenseMatrix shape1d(fe1d->GetDof(), ir.GetNPoints()); 63d1d35e2fSjeremylt mfem::DenseMatrix grad_1d(fe1d->GetDof(), ir.GetNPoints()); 64d1d35e2fSjeremylt mfem::Vector q_ref_1d(ir.GetNPoints()), q_weight_1d(ir.GetNPoints()); 65182fbe45STzanio mfem::Vector shape_i(shape1d.Height()); 66d1d35e2fSjeremylt mfem::DenseMatrix grad_i(grad_1d.Height(), 1); 67182fbe45STzanio const mfem::H1_SegmentElement *h1_fe1d = 68182fbe45STzanio dynamic_cast<const mfem::H1_SegmentElement *>(fe1d); 69182fbe45STzanio MFEM_VERIFY(h1_fe1d, "invalid FE"); 70182fbe45STzanio const mfem::Array<int> &dof_map_1d = h1_fe1d->GetDofMap(); 71182fbe45STzanio for (int i = 0; i < ir.GetNPoints(); i++) { 72182fbe45STzanio const mfem::IntegrationPoint &ip = ir.IntPoint(i); 73d1d35e2fSjeremylt q_ref_1d(i) = ip.x; 74d1d35e2fSjeremylt q_weight_1d(i) = ip.weight; 75182fbe45STzanio fe1d->CalcShape(ip, shape_i); 76182fbe45STzanio fe1d->CalcDShape(ip, grad_i); 77182fbe45STzanio for (int j = 0; j < shape1d.Height(); j++) { 78182fbe45STzanio shape1d(j,i) = shape_i(dof_map_1d[j]); 79d1d35e2fSjeremylt grad_1d(j,i) = grad_i(dof_map_1d[j],0); 80182fbe45STzanio } 81182fbe45STzanio } 82182fbe45STzanio CeedBasisCreateTensorH1(ceed, mesh->Dimension(), fes->GetVDim(), order+1, 83182fbe45STzanio ir.GetNPoints(), shape1d.GetData(), 84d1d35e2fSjeremylt grad_1d.GetData(), q_ref_1d.GetData(), 85d1d35e2fSjeremylt q_weight_1d.GetData(), basis); 86182fbe45STzanio 87182fbe45STzanio const mfem::Table &el_dof = fes->GetElementToDofTable(); 88182fbe45STzanio mfem::Array<int> tp_el_dof(el_dof.Size_of_connections()); 89182fbe45STzanio for (int i = 0; i < mesh->GetNE(); i++) { 90182fbe45STzanio const int el_offset = fe->GetDof()*i; 91182fbe45STzanio for (int j = 0; j < fe->GetDof(); j++) { 92182fbe45STzanio tp_el_dof[j + el_offset] = el_dof.GetJ()[dof_map[j] + el_offset]; 93182fbe45STzanio } 94182fbe45STzanio } 95d979a051Sjeremylt CeedElemRestrictionCreate(ceed, mesh->GetNE(), fe->GetDof(), 96d979a051Sjeremylt fes->GetVDim(), fes->GetNDofs(), 97d979a051Sjeremylt (fes->GetVDim())*(fes->GetNDofs()), 98d979a051Sjeremylt CEED_MEM_HOST, CEED_COPY_VALUES, 99d979a051Sjeremylt tp_el_dof.GetData(), restr); 100182fbe45STzanio } 101182fbe45STzanio 102182fbe45STzanio public: 103182fbe45STzanio /// Constructor. Assumes @a fes is a scalar FE space. 104182fbe45STzanio CeedMassOperator(Ceed ceed, const mfem::FiniteElementSpace *fes) 105182fbe45STzanio : Operator(fes->GetNDofs()), 106182fbe45STzanio fes(fes) { 107182fbe45STzanio mfem::Mesh *mesh = fes->GetMesh(); 108182fbe45STzanio const int order = fes->GetOrder(0); 109182fbe45STzanio const int ir_order = 2*(order + 2) - 1; // <----- 110182fbe45STzanio const mfem::IntegrationRule &ir = 111182fbe45STzanio mfem::IntRules.Get(mfem::Geometry::SEGMENT, ir_order); 112d1d35e2fSjeremylt CeedInt num_elem = mesh->GetNE(), dim = mesh->SpaceDimension(), 113cb0b5415Sjeremylt ncompx = dim, nqpts; 114182fbe45STzanio 115182fbe45STzanio FESpace2Ceed(fes, ir, ceed, &basis, &restr); 116182fbe45STzanio 117182fbe45STzanio const mfem::FiniteElementSpace *mesh_fes = mesh->GetNodalFESpace(); 118182fbe45STzanio MFEM_VERIFY(mesh_fes, "the Mesh has no nodal FE space"); 119182fbe45STzanio FESpace2Ceed(mesh_fes, ir, ceed, &mesh_basis, &mesh_restr); 1207ca8db16Sjeremylt CeedBasisGetNumQuadraturePoints(basis, &nqpts); 121182fbe45STzanio 1227509a596Sjeremylt CeedInt strides[3] = {1, nqpts, nqpts}; 123d1d35e2fSjeremylt CeedElemRestrictionCreateStrided(ceed, num_elem, nqpts, 1, nqpts*num_elem, 1247509a596Sjeremylt strides, &restr_i); 125135a076eSjeremylt 126182fbe45STzanio CeedVectorCreate(ceed, mesh->GetNodes()->Size(), &node_coords); 127182fbe45STzanio CeedVectorSetArray(node_coords, CEED_MEM_HOST, CEED_USE_POINTER, 128182fbe45STzanio mesh->GetNodes()->GetData()); 129182fbe45STzanio 130d1d35e2fSjeremylt CeedVectorCreate(ceed, num_elem*nqpts, &qdata); 1317ca8db16Sjeremylt 1327ca8db16Sjeremylt // Context data to be passed to the 'f_build_mass' Q-function. 133777ff853SJeremy L Thompson build_ctx_data.dim = mesh->Dimension(); 134777ff853SJeremy L Thompson build_ctx_data.space_dim = dim; 135777ff853SJeremy L Thompson CeedQFunctionContextCreate(ceed, &build_ctx); 136777ff853SJeremy L Thompson CeedQFunctionContextSetData(build_ctx, CEED_MEM_HOST, CEED_USE_POINTER, 137777ff853SJeremy L Thompson sizeof(build_ctx_data), &build_ctx_data); 138182fbe45STzanio 1397ca8db16Sjeremylt // Create the Q-function that builds the mass operator (i.e. computes its 1407ca8db16Sjeremylt // quadrature data) and set its context data. 14154251743Sjeremylt CeedQFunctionCreateInterior(ceed, 1, f_build_mass, 1424d537eeaSYohann f_build_mass_loc, &build_qfunc); 14334d77899SValeria Barra CeedQFunctionAddInput(build_qfunc, "dx", ncompx*dim, 1440f5de9e9Sjeremylt CEED_EVAL_GRAD); 1457ca8db16Sjeremylt CeedQFunctionAddInput(build_qfunc, "weights", 1, CEED_EVAL_WEIGHT); 146a2fa7910SValeria Barra CeedQFunctionAddOutput(build_qfunc, "qdata", 1, CEED_EVAL_NONE); 147777ff853SJeremy L Thompson CeedQFunctionSetContext(build_qfunc, build_ctx); 14854251743Sjeremylt 1497ca8db16Sjeremylt // Create the operator that builds the quadrature data for the mass operator. 150442e7f0bSjeremylt CeedOperatorCreate(ceed, build_qfunc, CEED_QFUNCTION_NONE, 151442e7f0bSjeremylt CEED_QFUNCTION_NONE, &build_oper); 152a8d32208Sjeremylt CeedOperatorSetField(build_oper, "dx", mesh_restr, mesh_basis, 153a8d32208Sjeremylt CEED_VECTOR_ACTIVE); 15415910d16Sjeremylt CeedOperatorSetField(build_oper, "weights", CEED_ELEMRESTRICTION_NONE, 15515910d16Sjeremylt mesh_basis, CEED_VECTOR_NONE); 156a8d32208Sjeremylt CeedOperatorSetField(build_oper, "qdata", restr_i, CEED_BASIS_COLLOCATED, 157a8d32208Sjeremylt CEED_VECTOR_ACTIVE); 158182fbe45STzanio 1597ca8db16Sjeremylt // Compute the quadrature data for the mass operator. 160a2fa7910SValeria Barra CeedOperatorApply(build_oper, node_coords, qdata, 1617ca8db16Sjeremylt CEED_REQUEST_IMMEDIATE); 1627ca8db16Sjeremylt 1637ca8db16Sjeremylt // Create the Q-function that defines the action of the mass operator. 16454251743Sjeremylt CeedQFunctionCreateInterior(ceed, 1, f_apply_mass, 1654d537eeaSYohann f_apply_mass_loc, &apply_qfunc); 16654251743Sjeremylt CeedQFunctionAddInput(apply_qfunc, "u", 1, CEED_EVAL_INTERP); 167a2fa7910SValeria Barra CeedQFunctionAddInput(apply_qfunc, "qdata", 1, CEED_EVAL_NONE); 16854251743Sjeremylt CeedQFunctionAddOutput(apply_qfunc, "v", 1, CEED_EVAL_INTERP); 16954251743Sjeremylt 1707ca8db16Sjeremylt // Create the mass operator. 171442e7f0bSjeremylt CeedOperatorCreate(ceed, apply_qfunc, CEED_QFUNCTION_NONE, 172442e7f0bSjeremylt CEED_QFUNCTION_NONE, &oper); 173a8d32208Sjeremylt CeedOperatorSetField(oper, "u", restr, basis, CEED_VECTOR_ACTIVE); 174a8d32208Sjeremylt CeedOperatorSetField(oper, "qdata", restr_i, CEED_BASIS_COLLOCATED, qdata); 175a8d32208Sjeremylt CeedOperatorSetField(oper, "v", restr, basis, CEED_VECTOR_ACTIVE); 176182fbe45STzanio 177182fbe45STzanio CeedVectorCreate(ceed, fes->GetNDofs(), &u); 178182fbe45STzanio CeedVectorCreate(ceed, fes->GetNDofs(), &v); 179182fbe45STzanio } 180182fbe45STzanio 181182fbe45STzanio /// Destructor 182182fbe45STzanio ~CeedMassOperator() { 183182fbe45STzanio CeedVectorDestroy(&u); 1847ca8db16Sjeremylt CeedVectorDestroy(&v); 185a2fa7910SValeria Barra CeedVectorDestroy(&qdata); 1867ca8db16Sjeremylt CeedVectorDestroy(&node_coords); 187182fbe45STzanio CeedOperatorDestroy(&build_oper); 188182fbe45STzanio CeedQFunctionDestroy(&build_qfunc); 1897ca8db16Sjeremylt CeedOperatorDestroy(&oper); 1907ca8db16Sjeremylt CeedQFunctionDestroy(&apply_qfunc); 191777ff853SJeremy L Thompson CeedQFunctionContextDestroy(&build_ctx); 1927ca8db16Sjeremylt CeedBasisDestroy(&basis); 193182fbe45STzanio CeedBasisDestroy(&mesh_basis); 194182fbe45STzanio CeedElemRestrictionDestroy(&restr); 1957ca8db16Sjeremylt CeedElemRestrictionDestroy(&mesh_restr); 196135a076eSjeremylt CeedElemRestrictionDestroy(&restr_i); 197182fbe45STzanio } 198182fbe45STzanio 199182fbe45STzanio /// Operator action 200182fbe45STzanio virtual void Mult(const mfem::Vector &x, mfem::Vector &y) const { 201182fbe45STzanio CeedVectorSetArray(u, CEED_MEM_HOST, CEED_USE_POINTER, x.GetData()); 202182fbe45STzanio CeedVectorSetArray(v, CEED_MEM_HOST, CEED_USE_POINTER, y.GetData()); 20354251743Sjeremylt CeedOperatorApply(oper, u, v, CEED_REQUEST_IMMEDIATE); 20454540941SJeremy L Thompson CeedVectorSyncArray(v, CEED_MEM_HOST); 205182fbe45STzanio } 206182fbe45STzanio }; 207