1f918ec44SMatthew G. Knepley #include <petsc/private/dmimpl.h> /*I "petscdm.h" I*/ 2d2b2dc1eSMatthew G. Knepley #include <petscdmceed.h> 3f918ec44SMatthew G. Knepley 4f918ec44SMatthew G. Knepley #ifdef PETSC_HAVE_LIBCEED 5d2b2dc1eSMatthew G. Knepley #include <petsc/private/dmpleximpl.h> 6d2b2dc1eSMatthew G. Knepley #include <petscdmplexceed.h> 7d2b2dc1eSMatthew G. Knepley #include <petscfeceed.h> 8f918ec44SMatthew G. Knepley 9f918ec44SMatthew G. Knepley /*@C 1020f4b53cSBarry Smith DMGetCeed - Get the LibCEED context associated with this `DM` 11f918ec44SMatthew G. Knepley 1220f4b53cSBarry Smith Not Collective 13f918ec44SMatthew G. Knepley 14f918ec44SMatthew G. Knepley Input Parameter: 1520f4b53cSBarry Smith . DM - The `DM` 16f918ec44SMatthew G. Knepley 17f918ec44SMatthew G. Knepley Output Parameter: 18f918ec44SMatthew G. Knepley . ceed - The LibCEED context 19f918ec44SMatthew G. Knepley 20f918ec44SMatthew G. Knepley Level: intermediate 21f918ec44SMatthew G. Knepley 2220f4b53cSBarry Smith .seealso: `DM`, `DMCreate()` 23f918ec44SMatthew G. Knepley @*/ 24d71ae5a4SJacob Faibussowitsch PetscErrorCode DMGetCeed(DM dm, Ceed *ceed) 25d71ae5a4SJacob Faibussowitsch { 26f918ec44SMatthew G. Knepley PetscFunctionBegin; 27f918ec44SMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 284f572ea9SToby Isaac PetscAssertPointer(ceed, 2); 29f918ec44SMatthew G. Knepley if (!dm->ceed) { 30f918ec44SMatthew G. Knepley char ceedresource[PETSC_MAX_PATH_LEN]; /* libCEED resource specifier */ 31f918ec44SMatthew G. Knepley const char *prefix; 32f918ec44SMatthew G. Knepley 33c6a7a370SJeremy L Thompson PetscCall(PetscStrncpy(ceedresource, "/cpu/self", sizeof(ceedresource))); 349566063dSJacob Faibussowitsch PetscCall(PetscObjectGetOptionsPrefix((PetscObject)dm, &prefix)); 359566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetString(NULL, prefix, "-dm_ceed", ceedresource, sizeof(ceedresource), NULL)); 369566063dSJacob Faibussowitsch PetscCallCEED(CeedInit(ceedresource, &dm->ceed)); 37f918ec44SMatthew G. Knepley } 38f918ec44SMatthew G. Knepley *ceed = dm->ceed; 393ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 40f918ec44SMatthew G. Knepley } 41f918ec44SMatthew G. Knepley 42d2b2dc1eSMatthew G. Knepley static CeedMemType PetscMemType2Ceed(PetscMemType mem_type) 43d2b2dc1eSMatthew G. Knepley { 447ce467fcSMatthew G. Knepley return PetscMemTypeDevice(mem_type) ? CEED_MEM_DEVICE : CEED_MEM_HOST; 457ce467fcSMatthew G. Knepley } 467ce467fcSMatthew G. Knepley 477ce467fcSMatthew G. Knepley PetscErrorCode VecGetCeedVector(Vec X, Ceed ceed, CeedVector *cx) 487ce467fcSMatthew G. Knepley { 497ce467fcSMatthew G. Knepley PetscMemType memtype; 507ce467fcSMatthew G. Knepley PetscScalar *x; 517ce467fcSMatthew G. Knepley PetscInt n; 527ce467fcSMatthew G. Knepley 537ce467fcSMatthew G. Knepley PetscFunctionBegin; 547ce467fcSMatthew G. Knepley PetscCall(VecGetLocalSize(X, &n)); 557ce467fcSMatthew G. Knepley PetscCall(VecGetArrayAndMemType(X, &x, &memtype)); 567ce467fcSMatthew G. Knepley PetscCallCEED(CeedVectorCreate(ceed, n, cx)); 577ce467fcSMatthew G. Knepley PetscCallCEED(CeedVectorSetArray(*cx, PetscMemType2Ceed(memtype), CEED_USE_POINTER, x)); 58d2b2dc1eSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 597ce467fcSMatthew G. Knepley } 607ce467fcSMatthew G. Knepley 617ce467fcSMatthew G. Knepley PetscErrorCode VecRestoreCeedVector(Vec X, CeedVector *cx) 627ce467fcSMatthew G. Knepley { 637ce467fcSMatthew G. Knepley PetscFunctionBegin; 647ce467fcSMatthew G. Knepley PetscCall(VecRestoreArrayAndMemType(X, NULL)); 657ce467fcSMatthew G. Knepley PetscCallCEED(CeedVectorDestroy(cx)); 66d2b2dc1eSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 677ce467fcSMatthew G. Knepley } 687ce467fcSMatthew G. Knepley 697ce467fcSMatthew G. Knepley PetscErrorCode VecGetCeedVectorRead(Vec X, Ceed ceed, CeedVector *cx) 707ce467fcSMatthew G. Knepley { 717ce467fcSMatthew G. Knepley PetscMemType memtype; 727ce467fcSMatthew G. Knepley const PetscScalar *x; 737ce467fcSMatthew G. Knepley PetscInt n; 747ce467fcSMatthew G. Knepley PetscFunctionBegin; 757ce467fcSMatthew G. Knepley PetscCall(VecGetLocalSize(X, &n)); 767ce467fcSMatthew G. Knepley PetscCall(VecGetArrayReadAndMemType(X, &x, &memtype)); 777ce467fcSMatthew G. Knepley PetscCallCEED(CeedVectorCreate(ceed, n, cx)); 787ce467fcSMatthew G. Knepley PetscCallCEED(CeedVectorSetArray(*cx, PetscMemType2Ceed(memtype), CEED_USE_POINTER, (PetscScalar *)x)); 79d2b2dc1eSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 807ce467fcSMatthew G. Knepley } 817ce467fcSMatthew G. Knepley 827ce467fcSMatthew G. Knepley PetscErrorCode VecRestoreCeedVectorRead(Vec X, CeedVector *cx) 837ce467fcSMatthew G. Knepley { 847ce467fcSMatthew G. Knepley PetscFunctionBegin; 857ce467fcSMatthew G. Knepley PetscCall(VecRestoreArrayReadAndMemType(X, NULL)); 867ce467fcSMatthew G. Knepley PetscCallCEED(CeedVectorDestroy(cx)); 87d2b2dc1eSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 88d2b2dc1eSMatthew G. Knepley } 89d2b2dc1eSMatthew G. Knepley 90d2b2dc1eSMatthew G. Knepley CEED_QFUNCTION(Geometry2D)(void *ctx, const CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) 91d2b2dc1eSMatthew G. Knepley { 92d2b2dc1eSMatthew G. Knepley const CeedScalar *x = in[0], *Jac = in[1], *w = in[2]; 93d2b2dc1eSMatthew G. Knepley CeedScalar *qdata = out[0]; 94d2b2dc1eSMatthew G. Knepley 95d2b2dc1eSMatthew G. Knepley CeedPragmaSIMD for (CeedInt i = 0; i < Q; ++i) 96d2b2dc1eSMatthew G. Knepley { 97d2b2dc1eSMatthew G. Knepley const CeedScalar J[2][2] = { 98d2b2dc1eSMatthew G. Knepley {Jac[i + Q * 0], Jac[i + Q * 2]}, 99d2b2dc1eSMatthew G. Knepley {Jac[i + Q * 1], Jac[i + Q * 3]} 100d2b2dc1eSMatthew G. Knepley }; 101d2b2dc1eSMatthew G. Knepley const CeedScalar det = J[0][0] * J[1][1] - J[0][1] * J[1][0]; 102d2b2dc1eSMatthew G. Knepley 103d2b2dc1eSMatthew G. Knepley qdata[i + Q * 0] = det * w[i]; 104d2b2dc1eSMatthew G. Knepley qdata[i + Q * 1] = x[i + Q * 0]; 105d2b2dc1eSMatthew G. Knepley qdata[i + Q * 2] = x[i + Q * 1]; 106d2b2dc1eSMatthew G. Knepley qdata[i + Q * 3] = J[1][1] / det; 107d2b2dc1eSMatthew G. Knepley qdata[i + Q * 4] = -J[1][0] / det; 108d2b2dc1eSMatthew G. Knepley qdata[i + Q * 5] = -J[0][1] / det; 109d2b2dc1eSMatthew G. Knepley qdata[i + Q * 6] = J[0][0] / det; 110d2b2dc1eSMatthew G. Knepley } 111d2b2dc1eSMatthew G. Knepley return CEED_ERROR_SUCCESS; 112d2b2dc1eSMatthew G. Knepley } 113d2b2dc1eSMatthew G. Knepley 114d2b2dc1eSMatthew G. Knepley CEED_QFUNCTION(Geometry3D)(void *ctx, const CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) 115d2b2dc1eSMatthew G. Knepley { 116d2b2dc1eSMatthew G. Knepley const CeedScalar *Jac = in[1], *w = in[2]; 117d2b2dc1eSMatthew G. Knepley CeedScalar *qdata = out[0]; 118d2b2dc1eSMatthew G. Knepley 119d2b2dc1eSMatthew G. Knepley CeedPragmaSIMD for (CeedInt i = 0; i < Q; ++i) 120d2b2dc1eSMatthew G. Knepley { 121d2b2dc1eSMatthew G. Knepley const CeedScalar J[3][3] = { 122d2b2dc1eSMatthew G. Knepley {Jac[i + Q * 0], Jac[i + Q * 3], Jac[i + Q * 6]}, 123d2b2dc1eSMatthew G. Knepley {Jac[i + Q * 1], Jac[i + Q * 4], Jac[i + Q * 7]}, 124d2b2dc1eSMatthew G. Knepley {Jac[i + Q * 2], Jac[i + Q * 5], Jac[i + Q * 8]} 125d2b2dc1eSMatthew G. Knepley }; 126d2b2dc1eSMatthew G. Knepley const CeedScalar det = J[0][0] * (J[1][1] * J[2][2] - J[1][2] * J[2][1]) + J[0][1] * (J[1][2] * J[2][0] - J[1][0] * J[2][2]) + J[0][2] * (J[1][0] * J[2][1] - J[1][1] * J[2][0]); 127d2b2dc1eSMatthew G. Knepley 128d2b2dc1eSMatthew G. Knepley qdata[i + Q * 0] = det * w[i]; /* det J * weight */ 129d2b2dc1eSMatthew G. Knepley } 130d2b2dc1eSMatthew G. Knepley return CEED_ERROR_SUCCESS; 131d2b2dc1eSMatthew G. Knepley } 132d2b2dc1eSMatthew G. Knepley 133d2b2dc1eSMatthew G. Knepley static PetscErrorCode DMCeedCreateGeometry(DM dm, IS cellIS, PetscInt *Nqdata, CeedElemRestriction *erq, CeedVector *qd, DMCeed *soldata) 134d2b2dc1eSMatthew G. Knepley { 135d2b2dc1eSMatthew G. Knepley Ceed ceed; 136d2b2dc1eSMatthew G. Knepley DMCeed sd; 137d2b2dc1eSMatthew G. Knepley PetscDS ds; 138d2b2dc1eSMatthew G. Knepley PetscFE fe; 139d2b2dc1eSMatthew G. Knepley CeedQFunctionUser geom = NULL; 140d2b2dc1eSMatthew G. Knepley const char *geomName = NULL; 141d2b2dc1eSMatthew G. Knepley const PetscInt *cells; 14285f1dce8SJed Brown PetscInt dim, cdim, cStart, cEnd, Ncell; 14385f1dce8SJed Brown CeedInt Nq; 144d2b2dc1eSMatthew G. Knepley 145d2b2dc1eSMatthew G. Knepley PetscFunctionBegin; 146d2b2dc1eSMatthew G. Knepley PetscCall(PetscCalloc1(1, &sd)); 147d2b2dc1eSMatthew G. Knepley PetscCall(DMGetDimension(dm, &dim)); 148d2b2dc1eSMatthew G. Knepley PetscCall(DMGetCoordinateDim(dm, &cdim)); 149d2b2dc1eSMatthew G. Knepley PetscCall(DMGetCeed(dm, &ceed)); 150d2b2dc1eSMatthew G. Knepley PetscCall(ISGetPointRange(cellIS, &cStart, &cEnd, &cells)); 151d2b2dc1eSMatthew G. Knepley Ncell = cEnd - cStart; 152d2b2dc1eSMatthew G. Knepley 153d2b2dc1eSMatthew G. Knepley PetscCall(DMGetCellDS(dm, cells ? cells[cStart] : cStart, &ds, NULL)); 154d2b2dc1eSMatthew G. Knepley PetscCall(PetscDSGetDiscretization(ds, 0, (PetscObject *)&fe)); 155d2b2dc1eSMatthew G. Knepley PetscCall(PetscFEGetCeedBasis(fe, &sd->basis)); 156d2b2dc1eSMatthew G. Knepley PetscCall(CeedBasisGetNumQuadraturePoints(sd->basis, &Nq)); 157d2b2dc1eSMatthew G. Knepley PetscCall(DMPlexGetCeedRestriction(dm, NULL, 0, 0, 0, &sd->er)); 158d2b2dc1eSMatthew G. Knepley 1595962854dSMatthew G. Knepley *Nqdata = 1 + cdim + cdim * dim; // |J| * w_q, x, J^{-1} 160d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedElemRestrictionCreateStrided(ceed, Ncell, Nq, *Nqdata, Ncell * Nq * (*Nqdata), CEED_STRIDES_BACKEND, erq)); 161d2b2dc1eSMatthew G. Knepley 162d2b2dc1eSMatthew G. Knepley switch (dim) { 163d2b2dc1eSMatthew G. Knepley case 2: 164d2b2dc1eSMatthew G. Knepley geom = Geometry2D; 165d2b2dc1eSMatthew G. Knepley geomName = Geometry2D_loc; 166d2b2dc1eSMatthew G. Knepley break; 167d2b2dc1eSMatthew G. Knepley case 3: 168d2b2dc1eSMatthew G. Knepley geom = Geometry3D; 169d2b2dc1eSMatthew G. Knepley geomName = Geometry3D_loc; 170d2b2dc1eSMatthew G. Knepley break; 171d2b2dc1eSMatthew G. Knepley } 172d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedQFunctionCreateInterior(ceed, 1, geom, geomName, &sd->qf)); 173d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddInput(sd->qf, "x", cdim, CEED_EVAL_INTERP)); 174d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddInput(sd->qf, "dx", cdim * dim, CEED_EVAL_GRAD)); 175d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddInput(sd->qf, "weight", 1, CEED_EVAL_WEIGHT)); 176d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddOutput(sd->qf, "qdata", *Nqdata, CEED_EVAL_NONE)); 177d2b2dc1eSMatthew G. Knepley 178d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedOperatorCreate(ceed, sd->qf, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &sd->op)); 179d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedOperatorSetField(sd->op, "x", sd->er, sd->basis, CEED_VECTOR_ACTIVE)); 180d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedOperatorSetField(sd->op, "dx", sd->er, sd->basis, CEED_VECTOR_ACTIVE)); 181d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedOperatorSetField(sd->op, "weight", CEED_ELEMRESTRICTION_NONE, sd->basis, CEED_VECTOR_NONE)); 18210ae67c6SJeremy L Thompson PetscCallCEED(CeedOperatorSetField(sd->op, "qdata", *erq, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE)); 183d2b2dc1eSMatthew G. Knepley 184d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedElemRestrictionCreateVector(*erq, qd, NULL)); 185d2b2dc1eSMatthew G. Knepley *soldata = sd; 186d2b2dc1eSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 187d2b2dc1eSMatthew G. Knepley } 188d2b2dc1eSMatthew G. Knepley 189d2b2dc1eSMatthew G. Knepley PetscErrorCode DMRefineHook_Ceed(DM coarse, DM fine, void *ctx) 190d2b2dc1eSMatthew G. Knepley { 191d2b2dc1eSMatthew G. Knepley PetscFunctionBegin; 192d2b2dc1eSMatthew G. Knepley if (coarse->dmceed) PetscCall(DMCeedCreate(fine, coarse->dmceed->geom ? PETSC_TRUE : PETSC_FALSE, coarse->dmceed->func, coarse->dmceed->funcSource)); 193d2b2dc1eSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 194d2b2dc1eSMatthew G. Knepley } 195d2b2dc1eSMatthew G. Knepley 196d2b2dc1eSMatthew G. Knepley PetscErrorCode DMCeedCreate_Internal(DM dm, IS cellIS, PetscBool createGeometry, CeedQFunctionUser func, const char *func_source, DMCeed *soldata) 197d2b2dc1eSMatthew G. Knepley { 198d2b2dc1eSMatthew G. Knepley PetscDS ds; 199d2b2dc1eSMatthew G. Knepley PetscFE fe; 200d2b2dc1eSMatthew G. Knepley DMCeed sd; 201d2b2dc1eSMatthew G. Knepley Ceed ceed; 20285f1dce8SJed Brown PetscInt dim, Nc, Nqdata = 0; 20385f1dce8SJed Brown CeedInt Nq; 204d2b2dc1eSMatthew G. Knepley 205d2b2dc1eSMatthew G. Knepley PetscFunctionBegin; 206d2b2dc1eSMatthew G. Knepley PetscCall(PetscCalloc1(1, &sd)); 207d2b2dc1eSMatthew G. Knepley PetscCall(DMGetDimension(dm, &dim)); 208d2b2dc1eSMatthew G. Knepley PetscCall(DMGetCeed(dm, &ceed)); 209d2b2dc1eSMatthew G. Knepley PetscCall(DMGetDS(dm, &ds)); 210d2b2dc1eSMatthew G. Knepley PetscCall(PetscDSGetDiscretization(ds, 0, (PetscObject *)&fe)); 211d2b2dc1eSMatthew G. Knepley PetscCall(PetscFEGetCeedBasis(fe, &sd->basis)); 212d2b2dc1eSMatthew G. Knepley PetscCall(PetscFEGetNumComponents(fe, &Nc)); 213d2b2dc1eSMatthew G. Knepley PetscCall(CeedBasisGetNumQuadraturePoints(sd->basis, &Nq)); 214d2b2dc1eSMatthew G. Knepley PetscCall(DMPlexGetCeedRestriction(dm, NULL, 0, 0, 0, &sd->er)); 215d2b2dc1eSMatthew G. Knepley 216d2b2dc1eSMatthew G. Knepley if (createGeometry) { 217d2b2dc1eSMatthew G. Knepley DM cdm; 218d2b2dc1eSMatthew G. Knepley 219d2b2dc1eSMatthew G. Knepley PetscCall(DMGetCoordinateDM(dm, &cdm)); 220d2b2dc1eSMatthew G. Knepley PetscCall(DMCeedCreateGeometry(cdm, cellIS, &Nqdata, &sd->erq, &sd->qd, &sd->geom)); 221d2b2dc1eSMatthew G. Knepley } 222d2b2dc1eSMatthew G. Knepley 223d2b2dc1eSMatthew G. Knepley if (sd->geom) { 22485f1dce8SJed Brown PetscInt cdim; 22585f1dce8SJed Brown CeedInt Nqx; 226d2b2dc1eSMatthew G. Knepley 227d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedBasisGetNumQuadraturePoints(sd->geom->basis, &Nqx)); 22885f1dce8SJed Brown PetscCheck(Nqx == Nq, PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_INCOMP, "Number of qpoints for solution %" CeedInt_FMT " != %" CeedInt_FMT " Number of qpoints for coordinates", Nq, Nqx); 229d2b2dc1eSMatthew G. Knepley /* TODO Remove this limitation */ 230d2b2dc1eSMatthew G. Knepley PetscCall(DMGetCoordinateDim(dm, &cdim)); 231d2b2dc1eSMatthew G. Knepley PetscCheck(dim == cdim, PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_INCOMP, "Topological dimension %" PetscInt_FMT " != %" PetscInt_FMT " embedding dimension", dim, cdim); 232d2b2dc1eSMatthew G. Knepley } 233d2b2dc1eSMatthew G. Knepley 234d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedQFunctionCreateInterior(ceed, 1, func, func_source, &sd->qf)); 235d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddInput(sd->qf, "u", Nc, CEED_EVAL_INTERP)); 236d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddInput(sd->qf, "du", Nc * dim, CEED_EVAL_GRAD)); 237d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddInput(sd->qf, "qdata", Nqdata, CEED_EVAL_NONE)); 238d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddOutput(sd->qf, "v", Nc, CEED_EVAL_INTERP)); 239d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddOutput(sd->qf, "dv", Nc * dim, CEED_EVAL_GRAD)); 240d2b2dc1eSMatthew G. Knepley 241d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedOperatorCreate(ceed, sd->qf, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &sd->op)); 242d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedOperatorSetField(sd->op, "u", sd->er, sd->basis, CEED_VECTOR_ACTIVE)); 243d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedOperatorSetField(sd->op, "du", sd->er, sd->basis, CEED_VECTOR_ACTIVE)); 24410ae67c6SJeremy L Thompson PetscCallCEED(CeedOperatorSetField(sd->op, "qdata", sd->erq, CEED_BASIS_NONE, sd->qd)); 245d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedOperatorSetField(sd->op, "v", sd->er, sd->basis, CEED_VECTOR_ACTIVE)); 246d2b2dc1eSMatthew G. Knepley PetscCallCEED(CeedOperatorSetField(sd->op, "dv", sd->er, sd->basis, CEED_VECTOR_ACTIVE)); 247d2b2dc1eSMatthew G. Knepley 248d2b2dc1eSMatthew G. Knepley // Handle refinement 249d2b2dc1eSMatthew G. Knepley sd->func = func; 250d2b2dc1eSMatthew G. Knepley PetscCall(PetscStrallocpy(func_source, &sd->funcSource)); 251d2b2dc1eSMatthew G. Knepley PetscCall(DMRefineHookAdd(dm, DMRefineHook_Ceed, NULL, NULL)); 252d2b2dc1eSMatthew G. Knepley 253d2b2dc1eSMatthew G. Knepley *soldata = sd; 254d2b2dc1eSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 255d2b2dc1eSMatthew G. Knepley } 256d2b2dc1eSMatthew G. Knepley 257d2b2dc1eSMatthew G. Knepley PetscErrorCode DMCeedCreate(DM dm, PetscBool createGeometry, CeedQFunctionUser func, const char *func_source) 258d2b2dc1eSMatthew G. Knepley { 259d2b2dc1eSMatthew G. Knepley DM plex; 260d2b2dc1eSMatthew G. Knepley IS cellIS; 261d2b2dc1eSMatthew G. Knepley 262d2b2dc1eSMatthew G. Knepley PetscFunctionBegin; 263d2b2dc1eSMatthew G. Knepley PetscCall(DMConvert(dm, DMPLEX, &plex)); 264d2b2dc1eSMatthew G. Knepley PetscCall(DMPlexGetAllCells_Internal(plex, &cellIS)); 265d2b2dc1eSMatthew G. Knepley #ifdef PETSC_HAVE_LIBCEED 266d2b2dc1eSMatthew G. Knepley PetscCall(DMCeedCreate_Internal(dm, cellIS, createGeometry, func, func_source, &dm->dmceed)); 267d2b2dc1eSMatthew G. Knepley #endif 268d2b2dc1eSMatthew G. Knepley PetscCall(ISDestroy(&cellIS)); 269d2b2dc1eSMatthew G. Knepley PetscCall(DMDestroy(&plex)); 270d2b2dc1eSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 2717ce467fcSMatthew G. Knepley } 2727ce467fcSMatthew G. Knepley 2735962854dSMatthew G. Knepley static PetscErrorCode DMCeedCreateGeometryFVM(DM dm, IS faceIS, PetscInt *Nqdata, CeedElemRestriction *erq, CeedVector *qd, DMCeed *soldata) 2745962854dSMatthew G. Knepley { 2755962854dSMatthew G. Knepley Ceed ceed; 2765962854dSMatthew G. Knepley DMCeed sd; 2775962854dSMatthew G. Knepley const PetscInt *faces; 278*a2bd4c7eSAlbert Cowie CeedInt strides[3]; 2795962854dSMatthew G. Knepley PetscInt dim, cdim, fStart, fEnd, Nface, Nq = 1; 2805962854dSMatthew G. Knepley 2815962854dSMatthew G. Knepley PetscFunctionBegin; 2825962854dSMatthew G. Knepley PetscCall(PetscCalloc1(1, &sd)); 2835962854dSMatthew G. Knepley PetscCall(DMGetDimension(dm, &dim)); 2845962854dSMatthew G. Knepley PetscCall(DMGetCoordinateDim(dm, &cdim)); 2855962854dSMatthew G. Knepley PetscCall(DMGetCeed(dm, &ceed)); 2865962854dSMatthew G. Knepley PetscCall(ISGetPointRange(faceIS, &fStart, &fEnd, &faces)); 2875962854dSMatthew G. Knepley Nface = fEnd - fStart; 2885962854dSMatthew G. Knepley 2895962854dSMatthew G. Knepley *Nqdata = cdim + 2; // face normal and support cell volumes 290*a2bd4c7eSAlbert Cowie strides[0] = 1; 291*a2bd4c7eSAlbert Cowie strides[1] = Nq; 292*a2bd4c7eSAlbert Cowie strides[2] = Nq * (*Nqdata); 293*a2bd4c7eSAlbert Cowie PetscCallCEED(CeedElemRestrictionCreateStrided(ceed, Nface, Nq, *Nqdata, Nface * Nq * (*Nqdata), strides, erq)); 2945962854dSMatthew G. Knepley PetscCallCEED(CeedElemRestrictionCreateVector(*erq, qd, NULL)); 2955962854dSMatthew G. Knepley *soldata = sd; 2965962854dSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 2975962854dSMatthew G. Knepley } 2985962854dSMatthew G. Knepley 299354b609cSMatthew G. Knepley static PetscErrorCode DMCeedCreateInfoFVM(DM dm, IS faceIS, PetscInt *Nqinfo, CeedElemRestriction *eri, CeedVector *qi, DMCeed *solinfo) 300354b609cSMatthew G. Knepley { 301354b609cSMatthew G. Knepley Ceed ceed; 302354b609cSMatthew G. Knepley DMCeed si; 303354b609cSMatthew G. Knepley const PetscInt *faces; 304*a2bd4c7eSAlbert Cowie CeedInt strides[3]; 305354b609cSMatthew G. Knepley PetscInt dim, fStart, fEnd, Nface, Nq = 1; 306354b609cSMatthew G. Knepley 307354b609cSMatthew G. Knepley PetscFunctionBegin; 308354b609cSMatthew G. Knepley PetscCall(PetscCalloc1(1, &si)); 309354b609cSMatthew G. Knepley PetscCall(DMGetDimension(dm, &dim)); 310354b609cSMatthew G. Knepley PetscCall(DMGetCeed(dm, &ceed)); 311354b609cSMatthew G. Knepley PetscCall(ISGetPointRange(faceIS, &fStart, &fEnd, &faces)); 312354b609cSMatthew G. Knepley Nface = fEnd - fStart; 313354b609cSMatthew G. Knepley 314354b609cSMatthew G. Knepley *Nqinfo = 3; // face number and support cell numbers 315*a2bd4c7eSAlbert Cowie strides[0] = 1; 316*a2bd4c7eSAlbert Cowie strides[1] = Nq; 317*a2bd4c7eSAlbert Cowie strides[2] = Nq * (*Nqinfo); 318*a2bd4c7eSAlbert Cowie PetscCallCEED(CeedElemRestrictionCreateStrided(ceed, Nface, Nq, *Nqinfo, Nface * Nq * (*Nqinfo), strides, eri)); 319354b609cSMatthew G. Knepley PetscCallCEED(CeedElemRestrictionCreateVector(*eri, qi, NULL)); 320354b609cSMatthew G. Knepley *solinfo = si; 321354b609cSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 322354b609cSMatthew G. Knepley } 323354b609cSMatthew G. Knepley 324354b609cSMatthew G. Knepley PetscErrorCode DMCeedCreateFVM_Internal(DM dm, IS faceIS, PetscBool createGeometry, PetscBool createInfo, CeedQFunctionUser func, const char *func_source, DMCeed *soldata, CeedQFunctionContext qfCtx) 3255962854dSMatthew G. Knepley { 3265962854dSMatthew G. Knepley PetscDS ds; 3275962854dSMatthew G. Knepley PetscFV fv; 3285962854dSMatthew G. Knepley DMCeed sd; 3295962854dSMatthew G. Knepley Ceed ceed; 330354b609cSMatthew G. Knepley PetscInt dim, Nc, Nqdata = 0, Nqinfo = 0; 3315962854dSMatthew G. Knepley 3325962854dSMatthew G. Knepley PetscFunctionBegin; 3335962854dSMatthew G. Knepley PetscCall(PetscCalloc1(1, &sd)); 3345962854dSMatthew G. Knepley PetscCall(DMGetDimension(dm, &dim)); 3355962854dSMatthew G. Knepley PetscCall(DMGetCeed(dm, &ceed)); 3365962854dSMatthew G. Knepley PetscCall(DMGetDS(dm, &ds)); 3375962854dSMatthew G. Knepley PetscCall(PetscDSGetDiscretization(ds, 0, (PetscObject *)&fv)); 3385962854dSMatthew G. Knepley PetscCall(PetscFVGetNumComponents(fv, &Nc)); 3395962854dSMatthew G. Knepley PetscCall(DMPlexCreateCeedRestrictionFVM(dm, &sd->erL, &sd->erR)); 3405962854dSMatthew G. Knepley 3415962854dSMatthew G. Knepley if (createGeometry) { 3425962854dSMatthew G. Knepley DM cdm; 3435962854dSMatthew G. Knepley 3445962854dSMatthew G. Knepley PetscCall(DMGetCoordinateDM(dm, &cdm)); 3455962854dSMatthew G. Knepley PetscCall(DMCeedCreateGeometryFVM(cdm, faceIS, &Nqdata, &sd->erq, &sd->qd, &sd->geom)); 3465962854dSMatthew G. Knepley } 3475962854dSMatthew G. Knepley 348354b609cSMatthew G. Knepley if (createInfo) { 349354b609cSMatthew G. Knepley DM cdm; 350354b609cSMatthew G. Knepley 351354b609cSMatthew G. Knepley PetscCall(DMGetCoordinateDM(dm, &cdm)); 352354b609cSMatthew G. Knepley PetscCall(DMCeedCreateInfoFVM(cdm, faceIS, &Nqinfo, &sd->eri, &sd->qi, &sd->info)); 353354b609cSMatthew G. Knepley PetscCall(DMCeedComputeInfo(dm, sd)); 354354b609cSMatthew G. Knepley } 355354b609cSMatthew G. Knepley 3565962854dSMatthew G. Knepley PetscCallCEED(CeedQFunctionCreateInterior(ceed, 1, func, func_source, &sd->qf)); 3575962854dSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddInput(sd->qf, "uL", Nc, CEED_EVAL_NONE)); 3585962854dSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddInput(sd->qf, "uR", Nc, CEED_EVAL_NONE)); 3595962854dSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddInput(sd->qf, "geom", Nqdata, CEED_EVAL_NONE)); 360354b609cSMatthew G. Knepley if (createInfo) PetscCallCEED(CeedQFunctionAddInput(sd->qf, "info", Nqinfo, CEED_EVAL_NONE)); 3615962854dSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddOutput(sd->qf, "cL", Nc, CEED_EVAL_NONE)); 3625962854dSMatthew G. Knepley PetscCallCEED(CeedQFunctionAddOutput(sd->qf, "cR", Nc, CEED_EVAL_NONE)); 3635962854dSMatthew G. Knepley 3645962854dSMatthew G. Knepley PetscCallCEED(CeedQFunctionSetContext(sd->qf, qfCtx)); 3655962854dSMatthew G. Knepley 3665962854dSMatthew G. Knepley PetscCallCEED(CeedOperatorCreate(ceed, sd->qf, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &sd->op)); 36710ae67c6SJeremy L Thompson PetscCallCEED(CeedOperatorSetField(sd->op, "uL", sd->erL, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE)); 36810ae67c6SJeremy L Thompson PetscCallCEED(CeedOperatorSetField(sd->op, "uR", sd->erR, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE)); 36910ae67c6SJeremy L Thompson PetscCallCEED(CeedOperatorSetField(sd->op, "geom", sd->erq, CEED_BASIS_NONE, sd->qd)); 370354b609cSMatthew G. Knepley if (createInfo) PetscCallCEED(CeedOperatorSetField(sd->op, "info", sd->eri, CEED_BASIS_NONE, sd->qi)); 37110ae67c6SJeremy L Thompson PetscCallCEED(CeedOperatorSetField(sd->op, "cL", sd->erL, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE)); 37210ae67c6SJeremy L Thompson PetscCallCEED(CeedOperatorSetField(sd->op, "cR", sd->erR, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE)); 3735962854dSMatthew G. Knepley 3745962854dSMatthew G. Knepley // Handle refinement 3755962854dSMatthew G. Knepley sd->func = func; 3765962854dSMatthew G. Knepley PetscCall(PetscStrallocpy(func_source, &sd->funcSource)); 3775962854dSMatthew G. Knepley PetscCall(DMRefineHookAdd(dm, DMRefineHook_Ceed, NULL, NULL)); 3785962854dSMatthew G. Knepley 3795962854dSMatthew G. Knepley *soldata = sd; 3805962854dSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 3815962854dSMatthew G. Knepley } 3825962854dSMatthew G. Knepley 3835962854dSMatthew G. Knepley PetscErrorCode DMCeedCreateFVM(DM dm, PetscBool createGeometry, CeedQFunctionUser func, const char *func_source, CeedQFunctionContext qfCtx) 3845962854dSMatthew G. Knepley { 3855962854dSMatthew G. Knepley DM plex; 3865962854dSMatthew G. Knepley IS faceIS; 3875962854dSMatthew G. Knepley 3885962854dSMatthew G. Knepley PetscFunctionBegin; 3895962854dSMatthew G. Knepley PetscCall(DMConvert(dm, DMPLEX, &plex)); 3905962854dSMatthew G. Knepley PetscCall(DMPlexGetAllFaces_Internal(plex, &faceIS)); 3915962854dSMatthew G. Knepley #ifdef PETSC_HAVE_LIBCEED 392354b609cSMatthew G. Knepley PetscCall(DMCeedCreateFVM_Internal(dm, faceIS, createGeometry, PETSC_TRUE, func, func_source, &dm->dmceed, qfCtx)); 3935962854dSMatthew G. Knepley #endif 3945962854dSMatthew G. Knepley PetscCall(ISDestroy(&faceIS)); 3955962854dSMatthew G. Knepley PetscCall(DMDestroy(&plex)); 3965962854dSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 3975962854dSMatthew G. Knepley } 3985962854dSMatthew G. Knepley 399f918ec44SMatthew G. Knepley #endif 400d2b2dc1eSMatthew G. Knepley 401d2b2dc1eSMatthew G. Knepley PetscErrorCode DMCeedDestroy(DMCeed *pceed) 402d2b2dc1eSMatthew G. Knepley { 403d2b2dc1eSMatthew G. Knepley DMCeed p = *pceed; 404d2b2dc1eSMatthew G. Knepley 405d2b2dc1eSMatthew G. Knepley PetscFunctionBegin; 406d2b2dc1eSMatthew G. Knepley if (!p) PetscFunctionReturn(PETSC_SUCCESS); 407d2b2dc1eSMatthew G. Knepley #ifdef PETSC_HAVE_LIBCEED 408d2b2dc1eSMatthew G. Knepley PetscCall(PetscFree(p->funcSource)); 409d2b2dc1eSMatthew G. Knepley if (p->qd) PetscCallCEED(CeedVectorDestroy(&p->qd)); 410354b609cSMatthew G. Knepley if (p->qi) PetscCallCEED(CeedVectorDestroy(&p->qi)); 411d2b2dc1eSMatthew G. Knepley if (p->op) PetscCallCEED(CeedOperatorDestroy(&p->op)); 412d2b2dc1eSMatthew G. Knepley if (p->qf) PetscCallCEED(CeedQFunctionDestroy(&p->qf)); 4135962854dSMatthew G. Knepley if (p->erL) PetscCallCEED(CeedElemRestrictionDestroy(&p->erL)); 4145962854dSMatthew G. Knepley if (p->erR) PetscCallCEED(CeedElemRestrictionDestroy(&p->erR)); 415d2b2dc1eSMatthew G. Knepley if (p->erq) PetscCallCEED(CeedElemRestrictionDestroy(&p->erq)); 416354b609cSMatthew G. Knepley if (p->eri) PetscCallCEED(CeedElemRestrictionDestroy(&p->eri)); 417d2b2dc1eSMatthew G. Knepley PetscCall(DMCeedDestroy(&p->geom)); 418354b609cSMatthew G. Knepley PetscCall(DMCeedDestroy(&p->info)); 419d2b2dc1eSMatthew G. Knepley #endif 420d2b2dc1eSMatthew G. Knepley PetscCall(PetscFree(p)); 421d2b2dc1eSMatthew G. Knepley *pceed = NULL; 422d2b2dc1eSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 423d2b2dc1eSMatthew G. Knepley } 424d2b2dc1eSMatthew G. Knepley 425d2b2dc1eSMatthew G. Knepley PetscErrorCode DMCeedComputeGeometry(DM dm, DMCeed sd) 426d2b2dc1eSMatthew G. Knepley { 427d2b2dc1eSMatthew G. Knepley #ifdef PETSC_HAVE_LIBCEED 428d2b2dc1eSMatthew G. Knepley Ceed ceed; 429d2b2dc1eSMatthew G. Knepley Vec coords; 430d2b2dc1eSMatthew G. Knepley CeedVector ccoords; 431d2b2dc1eSMatthew G. Knepley #endif 432d2b2dc1eSMatthew G. Knepley 433d2b2dc1eSMatthew G. Knepley PetscFunctionBegin; 434d2b2dc1eSMatthew G. Knepley #ifdef PETSC_HAVE_LIBCEED 435d2b2dc1eSMatthew G. Knepley PetscCall(DMGetCeed(dm, &ceed)); 436d2b2dc1eSMatthew G. Knepley PetscCall(DMGetCoordinatesLocal(dm, &coords)); 437d2b2dc1eSMatthew G. Knepley PetscCall(VecGetCeedVectorRead(coords, ceed, &ccoords)); 4385962854dSMatthew G. Knepley if (sd->geom->op) PetscCallCEED(CeedOperatorApply(sd->geom->op, ccoords, sd->qd, CEED_REQUEST_IMMEDIATE)); 4395962854dSMatthew G. Knepley else PetscCall(DMPlexCeedComputeGeometryFVM(dm, sd->qd)); 4405962854dSMatthew G. Knepley //PetscCallCEED(CeedVectorView(sd->qd, "%g", stdout)); 441d2b2dc1eSMatthew G. Knepley PetscCall(VecRestoreCeedVectorRead(coords, &ccoords)); 442d2b2dc1eSMatthew G. Knepley #endif 443d2b2dc1eSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 444d2b2dc1eSMatthew G. Knepley } 445354b609cSMatthew G. Knepley 446354b609cSMatthew G. Knepley PetscErrorCode DMCeedComputeInfo(DM dm, DMCeed sd) 447354b609cSMatthew G. Knepley { 448354b609cSMatthew G. Knepley #ifdef PETSC_HAVE_LIBCEED 449354b609cSMatthew G. Knepley CeedScalar *a; 450354b609cSMatthew G. Knepley #endif 451354b609cSMatthew G. Knepley 452354b609cSMatthew G. Knepley PetscFunctionBegin; 453354b609cSMatthew G. Knepley #ifdef PETSC_HAVE_LIBCEED 454354b609cSMatthew G. Knepley PetscCallCEED(CeedVectorGetArrayWrite(sd->qi, CEED_MEM_HOST, &a)); 455354b609cSMatthew G. Knepley 456354b609cSMatthew G. Knepley IS iterIS; 457354b609cSMatthew G. Knepley DMLabel label = NULL; 458354b609cSMatthew G. Knepley const PetscInt *indices; 459354b609cSMatthew G. Knepley PetscInt value = 0, height = 1, NfInt = 0, Nf = 0; 460354b609cSMatthew G. Knepley 461354b609cSMatthew G. Knepley PetscCall(DMGetPoints_Internal(dm, label, value, height, &iterIS)); 462354b609cSMatthew G. Knepley if (iterIS) { 463354b609cSMatthew G. Knepley PetscCall(ISGetIndices(iterIS, &indices)); 464354b609cSMatthew G. Knepley PetscCall(ISGetLocalSize(iterIS, &Nf)); 465354b609cSMatthew G. Knepley for (PetscInt p = 0, Ns; p < Nf; ++p) { 466354b609cSMatthew G. Knepley PetscCall(DMPlexGetSupportSize(dm, indices[p], &Ns)); 467354b609cSMatthew G. Knepley if (Ns == 2) ++NfInt; 468354b609cSMatthew G. Knepley } 469354b609cSMatthew G. Knepley } else { 470354b609cSMatthew G. Knepley indices = NULL; 471354b609cSMatthew G. Knepley } 472354b609cSMatthew G. Knepley 473354b609cSMatthew G. Knepley PetscInt infoOffset = 0; 474354b609cSMatthew G. Knepley 475354b609cSMatthew G. Knepley for (PetscInt p = 0; p < Nf; ++p) { 476354b609cSMatthew G. Knepley const PetscInt face = indices[p]; 477354b609cSMatthew G. Knepley const PetscInt *supp; 478354b609cSMatthew G. Knepley PetscInt Ns; 479354b609cSMatthew G. Knepley 480354b609cSMatthew G. Knepley PetscCall(DMPlexGetSupport(dm, face, &supp)); 481354b609cSMatthew G. Knepley PetscCall(DMPlexGetSupportSize(dm, face, &Ns)); 482354b609cSMatthew G. Knepley // Ignore boundary faces 483354b609cSMatthew G. Knepley // TODO check for face on parallel boundary 484354b609cSMatthew G. Knepley if (Ns == 2) { 485354b609cSMatthew G. Knepley a[infoOffset++] = face; 486354b609cSMatthew G. Knepley a[infoOffset++] = supp[0]; 487354b609cSMatthew G. Knepley a[infoOffset++] = supp[1]; 488354b609cSMatthew G. Knepley } 489354b609cSMatthew G. Knepley } 490354b609cSMatthew G. Knepley PetscCheck(infoOffset == NfInt * 3, PETSC_COMM_SELF, PETSC_ERR_SUP, "Shape mismatch, info offsets array of shape (%" PetscInt_FMT ") initialized for %" PetscInt_FMT " nodes", infoOffset, NfInt * 3); 491354b609cSMatthew G. Knepley if (iterIS) PetscCall(ISRestoreIndices(iterIS, &indices)); 492354b609cSMatthew G. Knepley PetscCall(ISDestroy(&iterIS)); 493354b609cSMatthew G. Knepley 494354b609cSMatthew G. Knepley PetscCallCEED(CeedVectorRestoreArray(sd->qi, &a)); 495354b609cSMatthew G. Knepley #endif 496354b609cSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 497354b609cSMatthew G. Knepley } 498