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