xref: /libCEED/examples/mfem/bp3.hpp (revision a2fa791084b022ffd3d077ae9be76b4b170bb84e)
1182fbe45STzanio // Copyright (c) 2017, Lawrence Livermore National Security, LLC. Produced at
2182fbe45STzanio // the Lawrence Livermore National Laboratory. LLNL-CODE-734707. All Rights
3182fbe45STzanio // reserved. See files LICENSE and NOTICE for details.
4182fbe45STzanio //
5182fbe45STzanio // This file is part of CEED, a collection of benchmarks, miniapps, software
6182fbe45STzanio // libraries and APIs for efficient high-order finite element and spectral
7182fbe45STzanio // element discretizations for exascale applications. For more information and
8182fbe45STzanio // source code availability see http://github.com/ceed.
9182fbe45STzanio //
10182fbe45STzanio // The CEED research is supported by the Exascale Computing Project 17-SC-20-SC,
11182fbe45STzanio // a collaborative effort of two U.S. Department of Energy organizations (Office
12182fbe45STzanio // of Science and the National Nuclear Security Administration) responsible for
13182fbe45STzanio // the planning and preparation of a capable exascale ecosystem, including
14182fbe45STzanio // software, applications, hardware, advanced system engineering and early
15182fbe45STzanio // testbed platforms, in support of the nation's exascale computing imperative.
16182fbe45STzanio 
17182fbe45STzanio /// @file
185d6bafb2Sjeremylt /// Diffusion operator example using MFEM
19182fbe45STzanio #include <ceed.h>
20182fbe45STzanio #include <mfem.hpp>
21182fbe45STzanio 
224d537eeaSYohann #include "bp3.h"
23182fbe45STzanio 
24182fbe45STzanio /// Wrapper for a diffusion CeedOperator as an mfem::Operator
25182fbe45STzanio class CeedDiffusionOperator : public mfem::Operator {
26182fbe45STzanio  protected:
27182fbe45STzanio   const mfem::FiniteElementSpace *fes;
28182fbe45STzanio   CeedOperator build_oper, oper;
29182fbe45STzanio   CeedBasis basis, mesh_basis;
30135a076eSjeremylt   CeedElemRestriction restr, mesh_restr, restr_i, mesh_restr_i;
31182fbe45STzanio   CeedQFunction apply_qfunc, build_qfunc;
32*a2fa7910SValeria Barra   CeedVector node_coords, qdata;
33182fbe45STzanio 
34a48d94bfSjeremylt   BuildContext build_ctx;
35182fbe45STzanio 
36182fbe45STzanio   CeedVector u, v;
37182fbe45STzanio 
38182fbe45STzanio   static void FESpace2Ceed(const mfem::FiniteElementSpace *fes,
39182fbe45STzanio                            const mfem::IntegrationRule &ir,
40182fbe45STzanio                            Ceed ceed, CeedBasis *basis,
41182fbe45STzanio                            CeedElemRestriction *restr) {
42182fbe45STzanio     mfem::Mesh *mesh = fes->GetMesh();
43182fbe45STzanio     const mfem::FiniteElement *fe = fes->GetFE(0);
44182fbe45STzanio     const int order = fes->GetOrder(0);
45182fbe45STzanio     mfem::Array<int> dof_map;
46182fbe45STzanio     switch (mesh->Dimension()) {
47182fbe45STzanio     case 1: {
48182fbe45STzanio       const mfem::H1_SegmentElement *h1_fe =
49182fbe45STzanio         dynamic_cast<const mfem::H1_SegmentElement *>(fe);
50182fbe45STzanio       MFEM_VERIFY(h1_fe, "invalid FE");
51182fbe45STzanio       h1_fe->GetDofMap().Copy(dof_map);
52182fbe45STzanio       break;
53182fbe45STzanio     }
54182fbe45STzanio     case 2: {
55182fbe45STzanio       const mfem::H1_QuadrilateralElement *h1_fe =
56182fbe45STzanio         dynamic_cast<const mfem::H1_QuadrilateralElement *>(fe);
57182fbe45STzanio       MFEM_VERIFY(h1_fe, "invalid FE");
58182fbe45STzanio       h1_fe->GetDofMap().Copy(dof_map);
59182fbe45STzanio       break;
60182fbe45STzanio     }
61182fbe45STzanio     case 3: {
62182fbe45STzanio       const mfem::H1_HexahedronElement *h1_fe =
63182fbe45STzanio         dynamic_cast<const mfem::H1_HexahedronElement *>(fe);
64182fbe45STzanio       MFEM_VERIFY(h1_fe, "invalid FE");
65182fbe45STzanio       h1_fe->GetDofMap().Copy(dof_map);
66182fbe45STzanio       break;
67182fbe45STzanio     }
68182fbe45STzanio     }
69182fbe45STzanio     const mfem::FiniteElement *fe1d =
70182fbe45STzanio       fes->FEColl()->FiniteElementForGeometry(mfem::Geometry::SEGMENT);
71182fbe45STzanio     mfem::DenseMatrix shape1d(fe1d->GetDof(), ir.GetNPoints());
72182fbe45STzanio     mfem::DenseMatrix grad1d(fe1d->GetDof(), ir.GetNPoints());
73182fbe45STzanio     mfem::Vector qref1d(ir.GetNPoints()), qweight1d(ir.GetNPoints());
74182fbe45STzanio     mfem::Vector shape_i(shape1d.Height());
75182fbe45STzanio     mfem::DenseMatrix grad_i(grad1d.Height(), 1);
76182fbe45STzanio     const mfem::H1_SegmentElement *h1_fe1d =
77182fbe45STzanio       dynamic_cast<const mfem::H1_SegmentElement *>(fe1d);
78182fbe45STzanio     MFEM_VERIFY(h1_fe1d, "invalid FE");
79182fbe45STzanio     const mfem::Array<int> &dof_map_1d = h1_fe1d->GetDofMap();
80182fbe45STzanio     for (int i = 0; i < ir.GetNPoints(); i++) {
81182fbe45STzanio       const mfem::IntegrationPoint &ip = ir.IntPoint(i);
82182fbe45STzanio       qref1d(i) = ip.x;
83182fbe45STzanio       qweight1d(i) = ip.weight;
84182fbe45STzanio       fe1d->CalcShape(ip, shape_i);
85182fbe45STzanio       fe1d->CalcDShape(ip, grad_i);
86182fbe45STzanio       for (int j = 0; j < shape1d.Height(); j++) {
87182fbe45STzanio         shape1d(j,i) = shape_i(dof_map_1d[j]);
88182fbe45STzanio         grad1d(j,i) = grad_i(dof_map_1d[j],0);
89182fbe45STzanio       }
90182fbe45STzanio     }
91182fbe45STzanio     CeedBasisCreateTensorH1(ceed, mesh->Dimension(), fes->GetVDim(), order+1,
92182fbe45STzanio                             ir.GetNPoints(), shape1d.GetData(),
93182fbe45STzanio                             grad1d.GetData(), qref1d.GetData(),
94182fbe45STzanio                             qweight1d.GetData(), basis);
95182fbe45STzanio 
96182fbe45STzanio     const mfem::Table &el_dof = fes->GetElementToDofTable();
97182fbe45STzanio     mfem::Array<int> tp_el_dof(el_dof.Size_of_connections());
98182fbe45STzanio     for (int i = 0; i < mesh->GetNE(); i++) {
99182fbe45STzanio       const int el_offset = fe->GetDof()*i;
100182fbe45STzanio       for (int j = 0; j < fe->GetDof(); j++) {
101182fbe45STzanio         tp_el_dof[j + el_offset] = el_dof.GetJ()[dof_map[j] + el_offset];
102182fbe45STzanio       }
103182fbe45STzanio     }
104182fbe45STzanio     CeedElemRestrictionCreate(ceed, mesh->GetNE(), fe->GetDof(),
105288c0443SJeremy L Thompson                               fes->GetNDofs(), fes->GetVDim(), CEED_MEM_HOST,
106288c0443SJeremy L Thompson                               CEED_COPY_VALUES, tp_el_dof.GetData(), restr);
107182fbe45STzanio   }
108182fbe45STzanio 
109182fbe45STzanio  public:
110182fbe45STzanio   /// Constructor. Assumes @a fes is a scalar FE space.
111182fbe45STzanio   CeedDiffusionOperator(Ceed ceed, const mfem::FiniteElementSpace *fes)
112182fbe45STzanio     : Operator(fes->GetNDofs()),
113182fbe45STzanio       fes(fes) {
114182fbe45STzanio     mfem::Mesh *mesh = fes->GetMesh();
115182fbe45STzanio     const int order = fes->GetOrder(0);
116182fbe45STzanio     const int ir_order = 2*(order + 2) - 1; // <-----
117182fbe45STzanio     const mfem::IntegrationRule &ir =
118182fbe45STzanio       mfem::IntRules.Get(mfem::Geometry::SEGMENT, ir_order);
11934d77899SValeria Barra     CeedInt nqpts, nelem = mesh->GetNE(), dim = mesh->SpaceDimension(),
12034d77899SValeria Barra             ncompx = dim;
121182fbe45STzanio 
122182fbe45STzanio     FESpace2Ceed(fes, ir, ceed, &basis, &restr);
123182fbe45STzanio 
124182fbe45STzanio     const mfem::FiniteElementSpace *mesh_fes = mesh->GetNodalFESpace();
125182fbe45STzanio     MFEM_VERIFY(mesh_fes, "the Mesh has no nodal FE space");
126182fbe45STzanio     FESpace2Ceed(mesh_fes, ir, ceed, &mesh_basis, &mesh_restr);
127a48d94bfSjeremylt     CeedBasisGetNumQuadraturePoints(basis, &nqpts);
128182fbe45STzanio 
1294d537eeaSYohann     CeedElemRestrictionCreateIdentity(ceed, nelem, nqpts,
1304d537eeaSYohann                                       nqpts*nelem, dim*(dim+1)/2, &restr_i);
131135a076eSjeremylt     CeedElemRestrictionCreateIdentity(ceed, nelem, nqpts,
132135a076eSjeremylt                                       nqpts*nelem, 1, &mesh_restr_i);
133135a076eSjeremylt 
134182fbe45STzanio     CeedVectorCreate(ceed, mesh->GetNodes()->Size(), &node_coords);
135182fbe45STzanio     CeedVectorSetArray(node_coords, CEED_MEM_HOST, CEED_USE_POINTER,
136182fbe45STzanio                        mesh->GetNodes()->GetData());
137182fbe45STzanio 
138*a2fa7910SValeria Barra     CeedVectorCreate(ceed, nelem*nqpts*dim*(dim+1)/2, &qdata);
1397ca8db16Sjeremylt 
1407ca8db16Sjeremylt     // Context data to be passed to the 'f_build_diff' Q-function.
1417ca8db16Sjeremylt     build_ctx.dim = mesh->Dimension();
1427ca8db16Sjeremylt     build_ctx.space_dim = mesh->SpaceDimension();
1437ca8db16Sjeremylt 
1447ca8db16Sjeremylt     // Create the Q-function that builds the diff operator (i.e. computes its
1457ca8db16Sjeremylt     // quadrature data) and set its context data.
14654251743Sjeremylt     CeedQFunctionCreateInterior(ceed, 1, f_build_diff,
1474d537eeaSYohann                                 f_build_diff_loc, &build_qfunc);
14834d77899SValeria Barra     CeedQFunctionAddInput(build_qfunc, "dx", ncompx*dim, CEED_EVAL_GRAD);
1497ca8db16Sjeremylt     CeedQFunctionAddInput(build_qfunc, "weights", 1, CEED_EVAL_WEIGHT);
150*a2fa7910SValeria Barra     CeedQFunctionAddOutput(build_qfunc, "qdata", dim*(dim+1)/2, CEED_EVAL_NONE);
1517ca8db16Sjeremylt     CeedQFunctionSetContext(build_qfunc, &build_ctx, sizeof(build_ctx));
15254251743Sjeremylt 
1537ca8db16Sjeremylt     // Create the operator that builds the quadrature data for the diff operator.
15454251743Sjeremylt     CeedOperatorCreate(ceed, build_qfunc, NULL, NULL, &build_oper);
1554dccadb6Sjeremylt     CeedOperatorSetField(build_oper, "dx", mesh_restr, CEED_NOTRANSPOSE,
1564dccadb6Sjeremylt                          mesh_basis, CEED_VECTOR_ACTIVE);
1574dccadb6Sjeremylt     CeedOperatorSetField(build_oper, "weights", mesh_restr_i, CEED_NOTRANSPOSE,
1587ca8db16Sjeremylt                          mesh_basis, CEED_VECTOR_NONE);
159*a2fa7910SValeria Barra     CeedOperatorSetField(build_oper, "qdata", restr_i, CEED_NOTRANSPOSE,
160783c99b3SValeria Barra                          CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE);
16154251743Sjeremylt 
162a48d94bfSjeremylt     // Compute the quadrature data for the diff operator.
163*a2fa7910SValeria Barra     CeedOperatorApply(build_oper, node_coords, qdata,
164182fbe45STzanio                       CEED_REQUEST_IMMEDIATE);
165182fbe45STzanio 
1667ca8db16Sjeremylt     // Create the Q-function that defines the action of the diff operator.
16754251743Sjeremylt     CeedQFunctionCreateInterior(ceed, 1, f_apply_diff,
1684d537eeaSYohann                                 f_apply_diff_loc, &apply_qfunc);
1694d537eeaSYohann     CeedQFunctionAddInput(apply_qfunc, "u", dim, CEED_EVAL_GRAD);
170*a2fa7910SValeria Barra     CeedQFunctionAddInput(apply_qfunc, "qdata", dim*(dim+1)/2, CEED_EVAL_NONE);
1714d537eeaSYohann     CeedQFunctionAddOutput(apply_qfunc, "v", dim, CEED_EVAL_GRAD);
172a48d94bfSjeremylt     CeedQFunctionSetContext(apply_qfunc, &build_ctx, sizeof(build_ctx));
17354251743Sjeremylt 
174a48d94bfSjeremylt     // Create the diff operator.
17554251743Sjeremylt     CeedOperatorCreate(ceed, apply_qfunc, NULL, NULL, &oper);
1764dccadb6Sjeremylt     CeedOperatorSetField(oper, "u", restr, CEED_NOTRANSPOSE,
1774dccadb6Sjeremylt                          basis, CEED_VECTOR_ACTIVE);
178*a2fa7910SValeria Barra     CeedOperatorSetField(oper, "qdata", restr_i, CEED_NOTRANSPOSE,
179*a2fa7910SValeria Barra                          CEED_BASIS_COLLOCATED, qdata);
1804dccadb6Sjeremylt     CeedOperatorSetField(oper, "v", restr, CEED_NOTRANSPOSE,
1814dccadb6Sjeremylt                          basis, CEED_VECTOR_ACTIVE);
182182fbe45STzanio 
183182fbe45STzanio     CeedVectorCreate(ceed, fes->GetNDofs(), &u);
184182fbe45STzanio     CeedVectorCreate(ceed, fes->GetNDofs(), &v);
185182fbe45STzanio   }
186182fbe45STzanio 
187182fbe45STzanio   /// Destructor
188182fbe45STzanio   ~CeedDiffusionOperator() {
189182fbe45STzanio     CeedVectorDestroy(&u);
1907ca8db16Sjeremylt     CeedVectorDestroy(&v);
191*a2fa7910SValeria Barra     CeedVectorDestroy(&qdata);
192182fbe45STzanio     CeedVectorDestroy(&node_coords);
193182fbe45STzanio     CeedElemRestrictionDestroy(&restr);
1947ca8db16Sjeremylt     CeedElemRestrictionDestroy(&mesh_restr);
195135a076eSjeremylt     CeedElemRestrictionDestroy(&restr_i);
196135a076eSjeremylt     CeedElemRestrictionDestroy(&mesh_restr_i);
197182fbe45STzanio     CeedBasisDestroy(&basis);
1987ca8db16Sjeremylt     CeedBasisDestroy(&mesh_basis);
1997ca8db16Sjeremylt     CeedQFunctionDestroy(&build_qfunc);
2007ca8db16Sjeremylt     CeedOperatorDestroy(&build_oper);
2017ca8db16Sjeremylt     CeedQFunctionDestroy(&apply_qfunc);
2027ca8db16Sjeremylt     CeedOperatorDestroy(&oper);
203182fbe45STzanio   }
204182fbe45STzanio 
205182fbe45STzanio   /// Operator action
206182fbe45STzanio   virtual void Mult(const mfem::Vector &x, mfem::Vector &y) const {
207182fbe45STzanio     CeedVectorSetArray(u, CEED_MEM_HOST, CEED_USE_POINTER, x.GetData());
208182fbe45STzanio     CeedVectorSetArray(v, CEED_MEM_HOST, CEED_USE_POINTER, y.GetData());
209182fbe45STzanio 
21054251743Sjeremylt     CeedOperatorApply(oper, u, v, CEED_REQUEST_IMMEDIATE);
21154540941SJeremy L Thompson     CeedVectorSyncArray(v, CEED_MEM_HOST);
212182fbe45STzanio   }
213182fbe45STzanio };
214