xref: /libCEED/examples/mfem/bp1.hpp (revision 182fbe45946cf03cf477817c69381239c28d901b)
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