1*182fbe45STzanio // Copyright (c) 2017, Lawrence Livermore National Security, LLC. Produced at 2*182fbe45STzanio // the Lawrence Livermore National Laboratory. LLNL-CODE-734707. All Rights 3*182fbe45STzanio // reserved. See files LICENSE and NOTICE for details. 4*182fbe45STzanio // 5*182fbe45STzanio // This file is part of CEED, a collection of benchmarks, miniapps, software 6*182fbe45STzanio // libraries and APIs for efficient high-order finite element and spectral 7*182fbe45STzanio // element discretizations for exascale applications. For more information and 8*182fbe45STzanio // source code availability see http://github.com/ceed. 9*182fbe45STzanio // 10*182fbe45STzanio // The CEED research is supported by the Exascale Computing Project 17-SC-20-SC, 11*182fbe45STzanio // a collaborative effort of two U.S. Department of Energy organizations (Office 12*182fbe45STzanio // of Science and the National Nuclear Security Administration) responsible for 13*182fbe45STzanio // the planning and preparation of a capable exascale ecosystem, including 14*182fbe45STzanio // software, applications, hardware, advanced system engineering and early 15*182fbe45STzanio // testbed platforms, in support of the nation's exascale computing imperative. 16*182fbe45STzanio 17*182fbe45STzanio /// @file 18*182fbe45STzanio /// MFEM mass operator based on libCEED 19*182fbe45STzanio 20*182fbe45STzanio #include <ceed.h> 21*182fbe45STzanio #include <mfem.hpp> 22*182fbe45STzanio 23*182fbe45STzanio /// A structure used to pass additional data to f_build_mass 24*182fbe45STzanio struct BuildContext { CeedInt dim, space_dim; }; 25*182fbe45STzanio 26*182fbe45STzanio /// libCEED Q-function for building quadrature data for a mass operator 27*182fbe45STzanio static int f_build_mass(void *ctx, void *qdata, CeedInt Q, 28*182fbe45STzanio const CeedScalar *const *u, CeedScalar *const *v) { 29*182fbe45STzanio // u[1] is Jacobians, size (Q x nc x dim) with column-major layout 30*182fbe45STzanio // u[4] is quadrature weights, size (Q) 31*182fbe45STzanio BuildContext *bc = (BuildContext*)ctx; 32*182fbe45STzanio CeedScalar *qd = (CeedScalar*)qdata; 33*182fbe45STzanio const CeedScalar *J = u[1], *qw = u[4]; 34*182fbe45STzanio switch (bc->dim + 10*bc->space_dim) { 35*182fbe45STzanio case 11: 36*182fbe45STzanio for (CeedInt i=0; i<Q; i++) { 37*182fbe45STzanio qd[i] = J[i] * qw[i]; 38*182fbe45STzanio } 39*182fbe45STzanio break; 40*182fbe45STzanio case 22: 41*182fbe45STzanio for (CeedInt i=0; i<Q; i++) { 42*182fbe45STzanio // 0 2 43*182fbe45STzanio // 1 3 44*182fbe45STzanio qd[i] = (J[i+Q*0]*J[i+Q*3] - J[i+Q*1]*J[i+Q*2]) * qw[i]; 45*182fbe45STzanio } 46*182fbe45STzanio break; 47*182fbe45STzanio case 33: 48*182fbe45STzanio for (CeedInt i=0; i<Q; i++) { 49*182fbe45STzanio // 0 3 6 50*182fbe45STzanio // 1 4 7 51*182fbe45STzanio // 2 5 8 52*182fbe45STzanio qd[i] = (J[i+Q*0]*(J[i+Q*4]*J[i+Q*8] - J[i+Q*5]*J[i+Q*7]) - 53*182fbe45STzanio J[i+Q*1]*(J[i+Q*3]*J[i+Q*8] - J[i+Q*5]*J[i+Q*6]) + 54*182fbe45STzanio J[i+Q*2]*(J[i+Q*3]*J[i+Q*7] - J[i+Q*4]*J[i+Q*6])) * qw[i]; 55*182fbe45STzanio } 56*182fbe45STzanio break; 57*182fbe45STzanio default: 58*182fbe45STzanio return CeedError(NULL, 1, "dim=%d, space_dim=%d is not supported", 59*182fbe45STzanio bc->dim, bc->space_dim); 60*182fbe45STzanio } 61*182fbe45STzanio return 0; 62*182fbe45STzanio } 63*182fbe45STzanio 64*182fbe45STzanio /// libCEED Q-function for applying a mass operator 65*182fbe45STzanio static int f_apply_mass(void *ctx, void *qdata, CeedInt Q, 66*182fbe45STzanio const CeedScalar *const *u, CeedScalar *const *v) { 67*182fbe45STzanio const CeedScalar *w = (const CeedScalar*)qdata; 68*182fbe45STzanio for (CeedInt i=0; i<Q; i++) { 69*182fbe45STzanio v[0][i] = w[i] * u[0][i]; 70*182fbe45STzanio } 71*182fbe45STzanio return 0; 72*182fbe45STzanio } 73*182fbe45STzanio 74*182fbe45STzanio /// Wrapper for a mass CeedOperator as an mfem::Operator 75*182fbe45STzanio class CeedMassOperator : public mfem::Operator { 76*182fbe45STzanio protected: 77*182fbe45STzanio const mfem::FiniteElementSpace *fes; 78*182fbe45STzanio CeedOperator build_oper, oper; 79*182fbe45STzanio CeedBasis basis, mesh_basis; 80*182fbe45STzanio CeedElemRestriction restr, mesh_restr; 81*182fbe45STzanio CeedQFunction apply_qfunc, build_qfunc; 82*182fbe45STzanio CeedVector node_coords, qdata; 83*182fbe45STzanio 84*182fbe45STzanio BuildContext build_ctx; 85*182fbe45STzanio 86*182fbe45STzanio CeedVector u, v; 87*182fbe45STzanio 88*182fbe45STzanio static void FESpace2Ceed(const mfem::FiniteElementSpace *fes, 89*182fbe45STzanio const mfem::IntegrationRule &ir, 90*182fbe45STzanio Ceed ceed, CeedBasis *basis, 91*182fbe45STzanio CeedElemRestriction *restr) { 92*182fbe45STzanio mfem::Mesh *mesh = fes->GetMesh(); 93*182fbe45STzanio const mfem::FiniteElement *fe = fes->GetFE(0); 94*182fbe45STzanio const int order = fes->GetOrder(0); 95*182fbe45STzanio mfem::Array<int> dof_map; 96*182fbe45STzanio switch (mesh->Dimension()) { 97*182fbe45STzanio case 1: { 98*182fbe45STzanio const mfem::H1_SegmentElement *h1_fe = 99*182fbe45STzanio dynamic_cast<const mfem::H1_SegmentElement*>(fe); 100*182fbe45STzanio MFEM_VERIFY(h1_fe, "invalid FE"); 101*182fbe45STzanio h1_fe->GetDofMap().Copy(dof_map); 102*182fbe45STzanio break; 103*182fbe45STzanio } 104*182fbe45STzanio case 2: { 105*182fbe45STzanio const mfem::H1_QuadrilateralElement *h1_fe = 106*182fbe45STzanio dynamic_cast<const mfem::H1_QuadrilateralElement*>(fe); 107*182fbe45STzanio MFEM_VERIFY(h1_fe, "invalid FE"); 108*182fbe45STzanio h1_fe->GetDofMap().Copy(dof_map); 109*182fbe45STzanio break; 110*182fbe45STzanio } 111*182fbe45STzanio case 3: { 112*182fbe45STzanio const mfem::H1_HexahedronElement *h1_fe = 113*182fbe45STzanio dynamic_cast<const mfem::H1_HexahedronElement*>(fe); 114*182fbe45STzanio MFEM_VERIFY(h1_fe, "invalid FE"); 115*182fbe45STzanio h1_fe->GetDofMap().Copy(dof_map); 116*182fbe45STzanio break; 117*182fbe45STzanio } 118*182fbe45STzanio } 119*182fbe45STzanio const mfem::FiniteElement *fe1d = 120*182fbe45STzanio fes->FEColl()->FiniteElementForGeometry(mfem::Geometry::SEGMENT); 121*182fbe45STzanio mfem::DenseMatrix shape1d(fe1d->GetDof(), ir.GetNPoints()); 122*182fbe45STzanio mfem::DenseMatrix grad1d(fe1d->GetDof(), ir.GetNPoints()); 123*182fbe45STzanio mfem::Vector qref1d(ir.GetNPoints()), qweight1d(ir.GetNPoints()); 124*182fbe45STzanio mfem::Vector shape_i(shape1d.Height()); 125*182fbe45STzanio mfem::DenseMatrix grad_i(grad1d.Height(), 1); 126*182fbe45STzanio const mfem::H1_SegmentElement *h1_fe1d = 127*182fbe45STzanio dynamic_cast<const mfem::H1_SegmentElement*>(fe1d); 128*182fbe45STzanio MFEM_VERIFY(h1_fe1d, "invalid FE"); 129*182fbe45STzanio const mfem::Array<int> &dof_map_1d = h1_fe1d->GetDofMap(); 130*182fbe45STzanio for (int i = 0; i < ir.GetNPoints(); i++) { 131*182fbe45STzanio const mfem::IntegrationPoint &ip = ir.IntPoint(i); 132*182fbe45STzanio qref1d(i) = ip.x; 133*182fbe45STzanio qweight1d(i) = ip.weight; 134*182fbe45STzanio fe1d->CalcShape(ip, shape_i); 135*182fbe45STzanio fe1d->CalcDShape(ip, grad_i); 136*182fbe45STzanio for (int j = 0; j < shape1d.Height(); j++) { 137*182fbe45STzanio shape1d(j,i) = shape_i(dof_map_1d[j]); 138*182fbe45STzanio grad1d(j,i) = grad_i(dof_map_1d[j],0); 139*182fbe45STzanio } 140*182fbe45STzanio } 141*182fbe45STzanio CeedBasisCreateTensorH1(ceed, mesh->Dimension(), fes->GetVDim(), order+1, 142*182fbe45STzanio ir.GetNPoints(), shape1d.GetData(), 143*182fbe45STzanio grad1d.GetData(), qref1d.GetData(), 144*182fbe45STzanio qweight1d.GetData(), basis); 145*182fbe45STzanio 146*182fbe45STzanio const mfem::Table &el_dof = fes->GetElementToDofTable(); 147*182fbe45STzanio mfem::Array<int> tp_el_dof(el_dof.Size_of_connections()); 148*182fbe45STzanio for (int i = 0; i < mesh->GetNE(); i++) { 149*182fbe45STzanio const int el_offset = fe->GetDof()*i; 150*182fbe45STzanio for (int j = 0; j < fe->GetDof(); j++) { 151*182fbe45STzanio tp_el_dof[j + el_offset] = el_dof.GetJ()[dof_map[j] + el_offset]; 152*182fbe45STzanio } 153*182fbe45STzanio } 154*182fbe45STzanio CeedElemRestrictionCreate(ceed, mesh->GetNE(), fe->GetDof(), 155*182fbe45STzanio fes->GetNDofs(), CEED_MEM_HOST, CEED_COPY_VALUES, 156*182fbe45STzanio tp_el_dof.GetData(), restr); 157*182fbe45STzanio } 158*182fbe45STzanio 159*182fbe45STzanio public: 160*182fbe45STzanio /// Constructor. Assumes @a fes is a scalar FE space. 161*182fbe45STzanio CeedMassOperator(Ceed ceed, const mfem::FiniteElementSpace *fes) 162*182fbe45STzanio : Operator(fes->GetNDofs()), 163*182fbe45STzanio fes(fes) { 164*182fbe45STzanio mfem::Mesh *mesh = fes->GetMesh(); 165*182fbe45STzanio const int order = fes->GetOrder(0); 166*182fbe45STzanio const int ir_order = 2*(order + 2) - 1; // <----- 167*182fbe45STzanio const mfem::IntegrationRule &ir = 168*182fbe45STzanio mfem::IntRules.Get(mfem::Geometry::SEGMENT, ir_order); 169*182fbe45STzanio 170*182fbe45STzanio FESpace2Ceed(fes, ir, ceed, &basis, &restr); 171*182fbe45STzanio 172*182fbe45STzanio const mfem::FiniteElementSpace *mesh_fes = mesh->GetNodalFESpace(); 173*182fbe45STzanio MFEM_VERIFY(mesh_fes, "the Mesh has no nodal FE space"); 174*182fbe45STzanio FESpace2Ceed(mesh_fes, ir, ceed, &mesh_basis, &mesh_restr); 175*182fbe45STzanio 176*182fbe45STzanio CeedVectorCreate(ceed, mesh->GetNodes()->Size(), &node_coords); 177*182fbe45STzanio CeedVectorSetArray(node_coords, CEED_MEM_HOST, CEED_USE_POINTER, 178*182fbe45STzanio mesh->GetNodes()->GetData()); 179*182fbe45STzanio 180*182fbe45STzanio build_ctx.dim = mesh->Dimension(); 181*182fbe45STzanio build_ctx.space_dim = mesh->SpaceDimension(); 182*182fbe45STzanio 183*182fbe45STzanio CeedQFunctionCreateInterior(ceed, 1, 1, sizeof(CeedScalar), 184*182fbe45STzanio (CeedEvalMode)(CEED_EVAL_GRAD|CEED_EVAL_WEIGHT), 185*182fbe45STzanio CEED_EVAL_NONE, f_build_mass, 186*182fbe45STzanio __FILE__":f_build_mass", &build_qfunc); 187*182fbe45STzanio CeedQFunctionSetContext(build_qfunc, &build_ctx, sizeof(build_ctx)); 188*182fbe45STzanio CeedOperatorCreate(ceed, mesh_restr, mesh_basis, build_qfunc, NULL, NULL, 189*182fbe45STzanio &build_oper); 190*182fbe45STzanio CeedOperatorGetQData(build_oper, &qdata); 191*182fbe45STzanio CeedOperatorApply(build_oper, qdata, node_coords, NULL, 192*182fbe45STzanio CEED_REQUEST_IMMEDIATE); 193*182fbe45STzanio 194*182fbe45STzanio CeedQFunctionCreateInterior(ceed, 1, 1, sizeof(CeedScalar), 195*182fbe45STzanio CEED_EVAL_INTERP, CEED_EVAL_INTERP, f_apply_mass, 196*182fbe45STzanio __FILE__":f_apply_mass", &apply_qfunc); 197*182fbe45STzanio CeedOperatorCreate(ceed, restr, basis, apply_qfunc, NULL, NULL, &oper); 198*182fbe45STzanio 199*182fbe45STzanio CeedVectorCreate(ceed, fes->GetNDofs(), &u); 200*182fbe45STzanio CeedVectorCreate(ceed, fes->GetNDofs(), &v); 201*182fbe45STzanio } 202*182fbe45STzanio 203*182fbe45STzanio /// Destructor 204*182fbe45STzanio ~CeedMassOperator() { 205*182fbe45STzanio CeedVectorDestroy(&v); 206*182fbe45STzanio CeedVectorDestroy(&u); 207*182fbe45STzanio CeedOperatorDestroy(&oper); 208*182fbe45STzanio CeedQFunctionDestroy(&apply_qfunc); 209*182fbe45STzanio // CeedVectorDestroy(&qdata); // qdata is owned by build_oper 210*182fbe45STzanio CeedOperatorDestroy(&build_oper); 211*182fbe45STzanio CeedQFunctionDestroy(&build_qfunc); 212*182fbe45STzanio CeedVectorDestroy(&node_coords); 213*182fbe45STzanio CeedElemRestrictionDestroy(&mesh_restr); 214*182fbe45STzanio CeedBasisDestroy(&mesh_basis); 215*182fbe45STzanio CeedElemRestrictionDestroy(&restr); 216*182fbe45STzanio CeedBasisDestroy(&basis); 217*182fbe45STzanio } 218*182fbe45STzanio 219*182fbe45STzanio /// Operator action 220*182fbe45STzanio virtual void Mult(const mfem::Vector &x, mfem::Vector &y) const { 221*182fbe45STzanio CeedVectorSetArray(u, CEED_MEM_HOST, CEED_USE_POINTER, x.GetData()); 222*182fbe45STzanio CeedVectorSetArray(v, CEED_MEM_HOST, CEED_USE_POINTER, y.GetData()); 223*182fbe45STzanio CeedOperatorApply(oper, qdata, u, v, CEED_REQUEST_IMMEDIATE); 224*182fbe45STzanio } 225*182fbe45STzanio }; 226