12bc0b47dSJoe Wallwork #include <petsc/private/dmpleximpl.h> /*I "petscdmplex.h" I*/ 22bc0b47dSJoe Wallwork #include <pragmatic/cpragmatic.h> 32bc0b47dSJoe Wallwork 49fe9e680SJoe Wallwork PETSC_EXTERN PetscErrorCode DMAdaptMetric_Pragmatic_Plex(DM dm, Vec vertexMetric, DMLabel bdLabel, DMLabel rgLabel, DM *dmNew) 52bc0b47dSJoe Wallwork { 62bc0b47dSJoe Wallwork MPI_Comm comm; 72bc0b47dSJoe Wallwork const char *bdName = "_boundary_"; 82bc0b47dSJoe Wallwork #if 0 92bc0b47dSJoe Wallwork DM odm = dm; 102bc0b47dSJoe Wallwork #endif 112bc0b47dSJoe Wallwork DM udm, cdm; 122bc0b47dSJoe Wallwork DMLabel bdLabelFull; 132bc0b47dSJoe Wallwork const char *bdLabelName; 142bc0b47dSJoe Wallwork IS bdIS, globalVertexNum; 152bc0b47dSJoe Wallwork PetscSection coordSection; 162bc0b47dSJoe Wallwork Vec coordinates; 172bc0b47dSJoe Wallwork const PetscScalar *coords, *met; 182bc0b47dSJoe Wallwork const PetscInt *bdFacesFull, *gV; 192bc0b47dSJoe Wallwork PetscInt *bdFaces, *bdFaceIds, *l2gv; 202bc0b47dSJoe Wallwork PetscReal *x, *y, *z, *metric; 212bc0b47dSJoe Wallwork PetscInt *cells; 222bc0b47dSJoe Wallwork PetscInt dim, cStart, cEnd, numCells, c, coff, vStart, vEnd, numVertices, numLocVertices, v; 2393520041SJoe Wallwork PetscInt off, maxConeSize, numBdFaces, f, bdSize, i, j, Nd; 2493520041SJoe Wallwork PetscBool flg, isotropic, uniform; 252bc0b47dSJoe Wallwork DMLabel bdLabelNew; 262bc0b47dSJoe Wallwork PetscReal *coordsNew; 272bc0b47dSJoe Wallwork PetscInt *bdTags; 282bc0b47dSJoe Wallwork PetscReal *xNew[3] = {NULL, NULL, NULL}; 292bc0b47dSJoe Wallwork PetscInt *cellsNew; 302bc0b47dSJoe Wallwork PetscInt d, numCellsNew, numVerticesNew; 312bc0b47dSJoe Wallwork PetscInt numCornersNew, fStart, fEnd; 322bc0b47dSJoe Wallwork PetscMPIInt numProcs; 332bc0b47dSJoe Wallwork 342bc0b47dSJoe Wallwork PetscFunctionBegin; 352bc0b47dSJoe Wallwork 362bc0b47dSJoe Wallwork /* Check for FEM adjacency flags */ 379566063dSJacob Faibussowitsch PetscCall(PetscObjectGetComm((PetscObject) dm, &comm)); 389566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(comm, &numProcs)); 392bc0b47dSJoe Wallwork if (bdLabel) { 409566063dSJacob Faibussowitsch PetscCall(PetscObjectGetName((PetscObject) bdLabel, &bdLabelName)); 419566063dSJacob Faibussowitsch PetscCall(PetscStrcmp(bdLabelName, bdName, &flg)); 425f80ce2aSJacob Faibussowitsch PetscCheck(!flg,comm, PETSC_ERR_ARG_WRONG, "\"%s\" cannot be used as label for boundary facets", bdLabelName); 432bc0b47dSJoe Wallwork } 445f80ce2aSJacob Faibussowitsch PetscCheck(!rgLabel,comm, PETSC_ERR_ARG_WRONG, "Cannot currently preserve cell tags with Pragmatic"); 452bc0b47dSJoe Wallwork #if 0 462bc0b47dSJoe Wallwork /* Check for overlap by looking for cell in the SF */ 472bc0b47dSJoe Wallwork if (!overlapped) { 489566063dSJacob Faibussowitsch PetscCall(DMPlexDistributeOverlap(odm, 1, NULL, &dm)); 499566063dSJacob Faibussowitsch if (!dm) {dm = odm; PetscCall(PetscObjectReference((PetscObject) dm));} 502bc0b47dSJoe Wallwork } 512bc0b47dSJoe Wallwork #endif 522bc0b47dSJoe Wallwork 532bc0b47dSJoe Wallwork /* Get mesh information */ 549566063dSJacob Faibussowitsch PetscCall(DMGetDimension(dm, &dim)); 559566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd)); 569566063dSJacob Faibussowitsch PetscCall(DMPlexGetDepthStratum(dm, 0, &vStart, &vEnd)); 579566063dSJacob Faibussowitsch PetscCall(DMPlexUninterpolate(dm, &udm)); 589566063dSJacob Faibussowitsch PetscCall(DMPlexGetMaxSizes(udm, &maxConeSize, NULL)); 592bc0b47dSJoe Wallwork numCells = cEnd - cStart; 602bc0b47dSJoe Wallwork if (numCells == 0) { 612bc0b47dSJoe Wallwork PetscMPIInt rank; 622bc0b47dSJoe Wallwork 639566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_rank(comm, &rank)); 6498921bdaSJacob Faibussowitsch SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "Cannot perform mesh adaptation because process %d does not own any cells.", rank); 652bc0b47dSJoe Wallwork } 662bc0b47dSJoe Wallwork numVertices = vEnd - vStart; 679566063dSJacob Faibussowitsch PetscCall(PetscCalloc5(numVertices, &x, numVertices, &y, numVertices, &z, numVertices*PetscSqr(dim), &metric, numCells*maxConeSize, &cells)); 682bc0b47dSJoe Wallwork 692bc0b47dSJoe Wallwork /* Get cell offsets */ 702bc0b47dSJoe Wallwork for (c = 0, coff = 0; c < numCells; ++c) { 712bc0b47dSJoe Wallwork const PetscInt *cone; 722bc0b47dSJoe Wallwork PetscInt coneSize, cl; 732bc0b47dSJoe Wallwork 749566063dSJacob Faibussowitsch PetscCall(DMPlexGetConeSize(udm, c, &coneSize)); 759566063dSJacob Faibussowitsch PetscCall(DMPlexGetCone(udm, c, &cone)); 762bc0b47dSJoe Wallwork for (cl = 0; cl < coneSize; ++cl) cells[coff++] = cone[cl] - vStart; 772bc0b47dSJoe Wallwork } 782bc0b47dSJoe Wallwork 792bc0b47dSJoe Wallwork /* Get local-to-global vertex map */ 809566063dSJacob Faibussowitsch PetscCall(PetscCalloc1(numVertices, &l2gv)); 819566063dSJacob Faibussowitsch PetscCall(DMPlexGetVertexNumbering(udm, &globalVertexNum)); 829566063dSJacob Faibussowitsch PetscCall(ISGetIndices(globalVertexNum, &gV)); 832bc0b47dSJoe Wallwork for (v = 0, numLocVertices = 0; v < numVertices; ++v) { 842bc0b47dSJoe Wallwork if (gV[v] >= 0) ++numLocVertices; 852bc0b47dSJoe Wallwork l2gv[v] = gV[v] < 0 ? -(gV[v]+1) : gV[v]; 862bc0b47dSJoe Wallwork } 879566063dSJacob Faibussowitsch PetscCall(ISRestoreIndices(globalVertexNum, &gV)); 889566063dSJacob Faibussowitsch PetscCall(DMDestroy(&udm)); 892bc0b47dSJoe Wallwork 902bc0b47dSJoe Wallwork /* Get vertex coordinate arrays */ 919566063dSJacob Faibussowitsch PetscCall(DMGetCoordinateDM(dm, &cdm)); 929566063dSJacob Faibussowitsch PetscCall(DMGetLocalSection(cdm, &coordSection)); 939566063dSJacob Faibussowitsch PetscCall(DMGetCoordinatesLocal(dm, &coordinates)); 949566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(coordinates, &coords)); 952bc0b47dSJoe Wallwork for (v = vStart; v < vEnd; ++v) { 969566063dSJacob Faibussowitsch PetscCall(PetscSectionGetOffset(coordSection, v, &off)); 972bc0b47dSJoe Wallwork x[v-vStart] = PetscRealPart(coords[off+0]); 982bc0b47dSJoe Wallwork if (dim > 1) y[v-vStart] = PetscRealPart(coords[off+1]); 992bc0b47dSJoe Wallwork if (dim > 2) z[v-vStart] = PetscRealPart(coords[off+2]); 1002bc0b47dSJoe Wallwork } 1019566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(coordinates, &coords)); 1022bc0b47dSJoe Wallwork 1032bc0b47dSJoe Wallwork /* Get boundary mesh */ 1049566063dSJacob Faibussowitsch PetscCall(DMLabelCreate(PETSC_COMM_SELF, bdName, &bdLabelFull)); 1059566063dSJacob Faibussowitsch PetscCall(DMPlexMarkBoundaryFaces(dm, 1, bdLabelFull)); 1069566063dSJacob Faibussowitsch PetscCall(DMLabelGetStratumIS(bdLabelFull, 1, &bdIS)); 1079566063dSJacob Faibussowitsch PetscCall(DMLabelGetStratumSize(bdLabelFull, 1, &numBdFaces)); 1089566063dSJacob Faibussowitsch PetscCall(ISGetIndices(bdIS, &bdFacesFull)); 1092bc0b47dSJoe Wallwork for (f = 0, bdSize = 0; f < numBdFaces; ++f) { 1102bc0b47dSJoe Wallwork PetscInt *closure = NULL; 1112bc0b47dSJoe Wallwork PetscInt closureSize, cl; 1122bc0b47dSJoe Wallwork 1139566063dSJacob Faibussowitsch PetscCall(DMPlexGetTransitiveClosure(dm, bdFacesFull[f], PETSC_TRUE, &closureSize, &closure)); 1142bc0b47dSJoe Wallwork for (cl = 0; cl < closureSize*2; cl += 2) { 1152bc0b47dSJoe Wallwork if ((closure[cl] >= vStart) && (closure[cl] < vEnd)) ++bdSize; 1162bc0b47dSJoe Wallwork } 1179566063dSJacob Faibussowitsch PetscCall(DMPlexRestoreTransitiveClosure(dm, bdFacesFull[f], PETSC_TRUE, &closureSize, &closure)); 1182bc0b47dSJoe Wallwork } 1199566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(bdSize, &bdFaces, numBdFaces, &bdFaceIds)); 1202bc0b47dSJoe Wallwork for (f = 0, bdSize = 0; f < numBdFaces; ++f) { 1212bc0b47dSJoe Wallwork PetscInt *closure = NULL; 1222bc0b47dSJoe Wallwork PetscInt closureSize, cl; 1232bc0b47dSJoe Wallwork 1249566063dSJacob Faibussowitsch PetscCall(DMPlexGetTransitiveClosure(dm, bdFacesFull[f], PETSC_TRUE, &closureSize, &closure)); 1252bc0b47dSJoe Wallwork for (cl = 0; cl < closureSize*2; cl += 2) { 1262bc0b47dSJoe Wallwork if ((closure[cl] >= vStart) && (closure[cl] < vEnd)) bdFaces[bdSize++] = closure[cl] - vStart; 1272bc0b47dSJoe Wallwork } 1289566063dSJacob Faibussowitsch PetscCall(DMPlexRestoreTransitiveClosure(dm, bdFacesFull[f], PETSC_TRUE, &closureSize, &closure)); 1299566063dSJacob Faibussowitsch if (bdLabel) PetscCall(DMLabelGetValue(bdLabel, bdFacesFull[f], &bdFaceIds[f])); 1302bc0b47dSJoe Wallwork else {bdFaceIds[f] = 1;} 1312bc0b47dSJoe Wallwork } 1329566063dSJacob Faibussowitsch PetscCall(ISDestroy(&bdIS)); 1339566063dSJacob Faibussowitsch PetscCall(DMLabelDestroy(&bdLabelFull)); 1342bc0b47dSJoe Wallwork 1352bc0b47dSJoe Wallwork /* Get metric */ 1369566063dSJacob Faibussowitsch PetscCall(VecViewFromOptions(vertexMetric, NULL, "-adapt_metric_view")); 1379566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(vertexMetric, &met)); 1389566063dSJacob Faibussowitsch PetscCall(DMPlexMetricIsIsotropic(dm, &isotropic)); 1399566063dSJacob Faibussowitsch PetscCall(DMPlexMetricIsUniform(dm, &uniform)); 14093520041SJoe Wallwork Nd = PetscSqr(dim); 14193520041SJoe Wallwork for (v = 0; v < vEnd-vStart; ++v) { 14293520041SJoe Wallwork for (i = 0; i < dim; ++i) { 14393520041SJoe Wallwork for (j = 0; j < dim; ++j) { 14493520041SJoe Wallwork if (isotropic) { 14593520041SJoe Wallwork if (i == j) { 14693520041SJoe Wallwork if (uniform) metric[Nd*v+dim*i+j] = PetscRealPart(met[0]); 14793520041SJoe Wallwork else metric[Nd*v+dim*i+j] = PetscRealPart(met[v]); 14893520041SJoe Wallwork } else metric[Nd*v+dim*i+j] = 0.0; 14993520041SJoe Wallwork } else metric[Nd*v+dim*i+j] = PetscRealPart(met[Nd*v+dim*i+j]); 15093520041SJoe Wallwork } 15193520041SJoe Wallwork } 15293520041SJoe Wallwork } 1539566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(vertexMetric, &met)); 1542bc0b47dSJoe Wallwork 1552bc0b47dSJoe Wallwork #if 0 1562bc0b47dSJoe Wallwork /* Destroy overlap mesh */ 1579566063dSJacob Faibussowitsch PetscCall(DMDestroy(&dm)); 1582bc0b47dSJoe Wallwork #endif 1592bc0b47dSJoe Wallwork /* Send to Pragmatic and remesh */ 1602bc0b47dSJoe Wallwork switch (dim) { 1612bc0b47dSJoe Wallwork case 2: 1622bc0b47dSJoe Wallwork pragmatic_2d_mpi_init(&numVertices, &numCells, cells, x, y, l2gv, numLocVertices, comm); 1632bc0b47dSJoe Wallwork break; 1642bc0b47dSJoe Wallwork case 3: 1652bc0b47dSJoe Wallwork pragmatic_3d_mpi_init(&numVertices, &numCells, cells, x, y, z, l2gv, numLocVertices, comm); 1662bc0b47dSJoe Wallwork break; 167*63a3b9bcSJacob Faibussowitsch default: SETERRQ(comm, PETSC_ERR_ARG_OUTOFRANGE, "No Pragmatic adaptation defined for dimension %" PetscInt_FMT, dim); 1682bc0b47dSJoe Wallwork } 1692bc0b47dSJoe Wallwork pragmatic_set_boundary(&numBdFaces, bdFaces, bdFaceIds); 1702bc0b47dSJoe Wallwork pragmatic_set_metric(metric); 1712bc0b47dSJoe Wallwork pragmatic_adapt(((DM_Plex *) dm->data)->remeshBd ? 1 : 0); 1729566063dSJacob Faibussowitsch PetscCall(PetscFree(l2gv)); 1732bc0b47dSJoe Wallwork 1742bc0b47dSJoe Wallwork /* Retrieve mesh from Pragmatic and create new plex */ 1752bc0b47dSJoe Wallwork pragmatic_get_info_mpi(&numVerticesNew, &numCellsNew); 1769566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(numVerticesNew*dim, &coordsNew)); 1772bc0b47dSJoe Wallwork switch (dim) { 1782bc0b47dSJoe Wallwork case 2: 1792bc0b47dSJoe Wallwork numCornersNew = 3; 1809566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(numVerticesNew, &xNew[0], numVerticesNew, &xNew[1])); 1812bc0b47dSJoe Wallwork pragmatic_get_coords_2d_mpi(xNew[0], xNew[1]); 1822bc0b47dSJoe Wallwork break; 1832bc0b47dSJoe Wallwork case 3: 1842bc0b47dSJoe Wallwork numCornersNew = 4; 1859566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(numVerticesNew, &xNew[0], numVerticesNew, &xNew[1], numVerticesNew, &xNew[2])); 1862bc0b47dSJoe Wallwork pragmatic_get_coords_3d_mpi(xNew[0], xNew[1], xNew[2]); 1872bc0b47dSJoe Wallwork break; 1882bc0b47dSJoe Wallwork default: 189*63a3b9bcSJacob Faibussowitsch SETERRQ(comm, PETSC_ERR_ARG_OUTOFRANGE, "No Pragmatic adaptation defined for dimension %" PetscInt_FMT, dim); 1902bc0b47dSJoe Wallwork } 1912bc0b47dSJoe Wallwork for (v = 0; v < numVerticesNew; ++v) {for (d = 0; d < dim; ++d) coordsNew[v*dim+d] = xNew[d][v];} 1929566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(numCellsNew*(dim+1), &cellsNew)); 1932bc0b47dSJoe Wallwork pragmatic_get_elements(cellsNew); 1949566063dSJacob Faibussowitsch PetscCall(DMPlexCreateFromCellListParallelPetsc(comm, dim, numCellsNew, numVerticesNew, PETSC_DECIDE, numCornersNew, PETSC_TRUE, cellsNew, dim, coordsNew, NULL, NULL, dmNew)); 1952bc0b47dSJoe Wallwork 1962bc0b47dSJoe Wallwork /* Rebuild boundary label */ 1972bc0b47dSJoe Wallwork pragmatic_get_boundaryTags(&bdTags); 1989566063dSJacob Faibussowitsch PetscCall(DMCreateLabel(*dmNew, bdLabel ? bdLabelName : bdName)); 1999566063dSJacob Faibussowitsch PetscCall(DMGetLabel(*dmNew, bdLabel ? bdLabelName : bdName, &bdLabelNew)); 2009566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(*dmNew, 0, &cStart, &cEnd)); 2019566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(*dmNew, 1, &fStart, &fEnd)); 2029566063dSJacob Faibussowitsch PetscCall(DMPlexGetDepthStratum(*dmNew, 0, &vStart, &vEnd)); 2032bc0b47dSJoe Wallwork for (c = cStart; c < cEnd; ++c) { 2042bc0b47dSJoe Wallwork 2052bc0b47dSJoe Wallwork /* Only for simplicial meshes */ 2062bc0b47dSJoe Wallwork coff = (c-cStart)*(dim+1); 2072bc0b47dSJoe Wallwork 2082bc0b47dSJoe Wallwork /* d is the local cell number of the vertex opposite to the face we are marking */ 2092bc0b47dSJoe Wallwork for (d = 0; d < dim+1; ++d) { 2102bc0b47dSJoe Wallwork if (bdTags[coff+d]) { 2112bc0b47dSJoe Wallwork const PetscInt perm[4][4] = {{-1, -1, -1, -1}, {-1, -1, -1, -1}, {1, 2, 0, -1}, {3, 2, 1, 0}}; /* perm[d] = face opposite */ 2122bc0b47dSJoe Wallwork const PetscInt *cone; 2132bc0b47dSJoe Wallwork 2142bc0b47dSJoe Wallwork /* Mark face opposite to this vertex: This pattern is specified in DMPlexGetRawFaces_Internal() */ 2159566063dSJacob Faibussowitsch PetscCall(DMPlexGetCone(*dmNew, c, &cone)); 2169566063dSJacob Faibussowitsch PetscCall(DMLabelSetValue(bdLabelNew, cone[perm[dim][d]], bdTags[coff+d])); 2172bc0b47dSJoe Wallwork } 2182bc0b47dSJoe Wallwork } 2192bc0b47dSJoe Wallwork } 2202bc0b47dSJoe Wallwork 2212bc0b47dSJoe Wallwork /* Clean up */ 2222bc0b47dSJoe Wallwork switch (dim) { 2239566063dSJacob Faibussowitsch case 2: PetscCall(PetscFree2(xNew[0], xNew[1])); 2242bc0b47dSJoe Wallwork break; 2259566063dSJacob Faibussowitsch case 3: PetscCall(PetscFree3(xNew[0], xNew[1], xNew[2])); 2262bc0b47dSJoe Wallwork break; 2272bc0b47dSJoe Wallwork } 2289566063dSJacob Faibussowitsch PetscCall(PetscFree(cellsNew)); 2299566063dSJacob Faibussowitsch PetscCall(PetscFree5(x, y, z, metric, cells)); 2309566063dSJacob Faibussowitsch PetscCall(PetscFree2(bdFaces, bdFaceIds)); 2319566063dSJacob Faibussowitsch PetscCall(PetscFree(coordsNew)); 2322bc0b47dSJoe Wallwork pragmatic_finalize(); 2332bc0b47dSJoe Wallwork PetscFunctionReturn(0); 2342bc0b47dSJoe Wallwork } 235