1*2bc0b47dSJoe Wallwork #include <petsc/private/dmpleximpl.h> /*I "petscdmplex.h" I*/ 2*2bc0b47dSJoe Wallwork #include <pragmatic/cpragmatic.h> 3*2bc0b47dSJoe Wallwork 4*2bc0b47dSJoe Wallwork PETSC_EXTERN PetscErrorCode DMAdaptMetric_Pragmatic_Plex(DM dm, Vec vertexMetric, DMLabel bdLabel, DM *dmNew) 5*2bc0b47dSJoe Wallwork { 6*2bc0b47dSJoe Wallwork MPI_Comm comm; 7*2bc0b47dSJoe Wallwork const char *bdName = "_boundary_"; 8*2bc0b47dSJoe Wallwork #if 0 9*2bc0b47dSJoe Wallwork DM odm = dm; 10*2bc0b47dSJoe Wallwork #endif 11*2bc0b47dSJoe Wallwork DM udm, cdm; 12*2bc0b47dSJoe Wallwork DMLabel bdLabelFull; 13*2bc0b47dSJoe Wallwork const char *bdLabelName; 14*2bc0b47dSJoe Wallwork IS bdIS, globalVertexNum; 15*2bc0b47dSJoe Wallwork PetscSection coordSection; 16*2bc0b47dSJoe Wallwork Vec coordinates; 17*2bc0b47dSJoe Wallwork const PetscScalar *coords, *met; 18*2bc0b47dSJoe Wallwork const PetscInt *bdFacesFull, *gV; 19*2bc0b47dSJoe Wallwork PetscInt *bdFaces, *bdFaceIds, *l2gv; 20*2bc0b47dSJoe Wallwork PetscReal *x, *y, *z, *metric; 21*2bc0b47dSJoe Wallwork PetscInt *cells; 22*2bc0b47dSJoe Wallwork PetscInt dim, cStart, cEnd, numCells, c, coff, vStart, vEnd, numVertices, numLocVertices, v; 23*2bc0b47dSJoe Wallwork PetscInt off, maxConeSize, numBdFaces, f, bdSize; 24*2bc0b47dSJoe Wallwork PetscBool flg; 25*2bc0b47dSJoe Wallwork DMLabel bdLabelNew; 26*2bc0b47dSJoe Wallwork PetscReal *coordsNew; 27*2bc0b47dSJoe Wallwork PetscInt *bdTags; 28*2bc0b47dSJoe Wallwork PetscReal *xNew[3] = {NULL, NULL, NULL}; 29*2bc0b47dSJoe Wallwork PetscInt *cellsNew; 30*2bc0b47dSJoe Wallwork PetscInt d, numCellsNew, numVerticesNew; 31*2bc0b47dSJoe Wallwork PetscInt numCornersNew, fStart, fEnd; 32*2bc0b47dSJoe Wallwork PetscMPIInt numProcs; 33*2bc0b47dSJoe Wallwork PetscErrorCode ierr; 34*2bc0b47dSJoe Wallwork 35*2bc0b47dSJoe Wallwork PetscFunctionBegin; 36*2bc0b47dSJoe Wallwork 37*2bc0b47dSJoe Wallwork /* Check for FEM adjacency flags */ 38*2bc0b47dSJoe Wallwork ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr); 39*2bc0b47dSJoe Wallwork ierr = MPI_Comm_size(comm, &numProcs);CHKERRMPI(ierr); 40*2bc0b47dSJoe Wallwork if (bdLabel) { 41*2bc0b47dSJoe Wallwork ierr = PetscObjectGetName((PetscObject) bdLabel, &bdLabelName);CHKERRQ(ierr); 42*2bc0b47dSJoe Wallwork ierr = PetscStrcmp(bdLabelName, bdName, &flg);CHKERRQ(ierr); 43*2bc0b47dSJoe Wallwork if (flg) SETERRQ1(comm, PETSC_ERR_ARG_WRONG, "\"%s\" cannot be used as label for boundary facets", bdLabelName); 44*2bc0b47dSJoe Wallwork } 45*2bc0b47dSJoe Wallwork #if 0 46*2bc0b47dSJoe Wallwork /* Check for overlap by looking for cell in the SF */ 47*2bc0b47dSJoe Wallwork if (!overlapped) { 48*2bc0b47dSJoe Wallwork ierr = DMPlexDistributeOverlap(odm, 1, NULL, &dm);CHKERRQ(ierr); 49*2bc0b47dSJoe Wallwork if (!dm) {dm = odm; ierr = PetscObjectReference((PetscObject) dm);CHKERRQ(ierr);} 50*2bc0b47dSJoe Wallwork } 51*2bc0b47dSJoe Wallwork #endif 52*2bc0b47dSJoe Wallwork 53*2bc0b47dSJoe Wallwork /* Get mesh information */ 54*2bc0b47dSJoe Wallwork ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 55*2bc0b47dSJoe Wallwork ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 56*2bc0b47dSJoe Wallwork ierr = DMPlexGetDepthStratum(dm, 0, &vStart, &vEnd);CHKERRQ(ierr); 57*2bc0b47dSJoe Wallwork ierr = DMPlexUninterpolate(dm, &udm);CHKERRQ(ierr); 58*2bc0b47dSJoe Wallwork ierr = DMPlexGetMaxSizes(udm, &maxConeSize, NULL);CHKERRQ(ierr); 59*2bc0b47dSJoe Wallwork numCells = cEnd - cStart; 60*2bc0b47dSJoe Wallwork if (numCells == 0) { 61*2bc0b47dSJoe Wallwork PetscMPIInt rank; 62*2bc0b47dSJoe Wallwork 63*2bc0b47dSJoe Wallwork ierr = MPI_Comm_rank(comm, &rank);CHKERRMPI(ierr); 64*2bc0b47dSJoe Wallwork SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_SUP, "Cannot perform mesh adaptation because process %d does not own any cells.", rank); 65*2bc0b47dSJoe Wallwork } 66*2bc0b47dSJoe Wallwork numVertices = vEnd - vStart; 67*2bc0b47dSJoe Wallwork ierr = PetscCalloc5(numVertices, &x, numVertices, &y, numVertices, &z, numVertices*PetscSqr(dim), &metric, numCells*maxConeSize, &cells);CHKERRQ(ierr); 68*2bc0b47dSJoe Wallwork 69*2bc0b47dSJoe Wallwork /* Get cell offsets */ 70*2bc0b47dSJoe Wallwork for (c = 0, coff = 0; c < numCells; ++c) { 71*2bc0b47dSJoe Wallwork const PetscInt *cone; 72*2bc0b47dSJoe Wallwork PetscInt coneSize, cl; 73*2bc0b47dSJoe Wallwork 74*2bc0b47dSJoe Wallwork ierr = DMPlexGetConeSize(udm, c, &coneSize);CHKERRQ(ierr); 75*2bc0b47dSJoe Wallwork ierr = DMPlexGetCone(udm, c, &cone);CHKERRQ(ierr); 76*2bc0b47dSJoe Wallwork for (cl = 0; cl < coneSize; ++cl) cells[coff++] = cone[cl] - vStart; 77*2bc0b47dSJoe Wallwork } 78*2bc0b47dSJoe Wallwork 79*2bc0b47dSJoe Wallwork /* Get local-to-global vertex map */ 80*2bc0b47dSJoe Wallwork ierr = PetscCalloc1(numVertices, &l2gv);CHKERRQ(ierr); 81*2bc0b47dSJoe Wallwork ierr = DMPlexGetVertexNumbering(udm, &globalVertexNum);CHKERRQ(ierr); 82*2bc0b47dSJoe Wallwork ierr = ISGetIndices(globalVertexNum, &gV);CHKERRQ(ierr); 83*2bc0b47dSJoe Wallwork for (v = 0, numLocVertices = 0; v < numVertices; ++v) { 84*2bc0b47dSJoe Wallwork if (gV[v] >= 0) ++numLocVertices; 85*2bc0b47dSJoe Wallwork l2gv[v] = gV[v] < 0 ? -(gV[v]+1) : gV[v]; 86*2bc0b47dSJoe Wallwork } 87*2bc0b47dSJoe Wallwork ierr = ISRestoreIndices(globalVertexNum, &gV);CHKERRQ(ierr); 88*2bc0b47dSJoe Wallwork ierr = DMDestroy(&udm);CHKERRQ(ierr); 89*2bc0b47dSJoe Wallwork 90*2bc0b47dSJoe Wallwork /* Get vertex coordinate arrays */ 91*2bc0b47dSJoe Wallwork ierr = DMGetCoordinateDM(dm, &cdm);CHKERRQ(ierr); 92*2bc0b47dSJoe Wallwork ierr = DMGetLocalSection(cdm, &coordSection);CHKERRQ(ierr); 93*2bc0b47dSJoe Wallwork ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 94*2bc0b47dSJoe Wallwork ierr = VecGetArrayRead(coordinates, &coords);CHKERRQ(ierr); 95*2bc0b47dSJoe Wallwork for (v = vStart; v < vEnd; ++v) { 96*2bc0b47dSJoe Wallwork ierr = PetscSectionGetOffset(coordSection, v, &off);CHKERRQ(ierr); 97*2bc0b47dSJoe Wallwork x[v-vStart] = PetscRealPart(coords[off+0]); 98*2bc0b47dSJoe Wallwork if (dim > 1) y[v-vStart] = PetscRealPart(coords[off+1]); 99*2bc0b47dSJoe Wallwork if (dim > 2) z[v-vStart] = PetscRealPart(coords[off+2]); 100*2bc0b47dSJoe Wallwork } 101*2bc0b47dSJoe Wallwork ierr = VecRestoreArrayRead(coordinates, &coords);CHKERRQ(ierr); 102*2bc0b47dSJoe Wallwork 103*2bc0b47dSJoe Wallwork /* Get boundary mesh */ 104*2bc0b47dSJoe Wallwork ierr = DMLabelCreate(PETSC_COMM_SELF, bdName, &bdLabelFull);CHKERRQ(ierr); 105*2bc0b47dSJoe Wallwork ierr = DMPlexMarkBoundaryFaces(dm, 1, bdLabelFull);CHKERRQ(ierr); 106*2bc0b47dSJoe Wallwork ierr = DMLabelGetStratumIS(bdLabelFull, 1, &bdIS);CHKERRQ(ierr); 107*2bc0b47dSJoe Wallwork ierr = DMLabelGetStratumSize(bdLabelFull, 1, &numBdFaces);CHKERRQ(ierr); 108*2bc0b47dSJoe Wallwork ierr = ISGetIndices(bdIS, &bdFacesFull);CHKERRQ(ierr); 109*2bc0b47dSJoe Wallwork for (f = 0, bdSize = 0; f < numBdFaces; ++f) { 110*2bc0b47dSJoe Wallwork PetscInt *closure = NULL; 111*2bc0b47dSJoe Wallwork PetscInt closureSize, cl; 112*2bc0b47dSJoe Wallwork 113*2bc0b47dSJoe Wallwork ierr = DMPlexGetTransitiveClosure(dm, bdFacesFull[f], PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr); 114*2bc0b47dSJoe Wallwork for (cl = 0; cl < closureSize*2; cl += 2) { 115*2bc0b47dSJoe Wallwork if ((closure[cl] >= vStart) && (closure[cl] < vEnd)) ++bdSize; 116*2bc0b47dSJoe Wallwork } 117*2bc0b47dSJoe Wallwork ierr = DMPlexRestoreTransitiveClosure(dm, bdFacesFull[f], PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr); 118*2bc0b47dSJoe Wallwork } 119*2bc0b47dSJoe Wallwork ierr = PetscMalloc2(bdSize, &bdFaces, numBdFaces, &bdFaceIds);CHKERRQ(ierr); 120*2bc0b47dSJoe Wallwork for (f = 0, bdSize = 0; f < numBdFaces; ++f) { 121*2bc0b47dSJoe Wallwork PetscInt *closure = NULL; 122*2bc0b47dSJoe Wallwork PetscInt closureSize, cl; 123*2bc0b47dSJoe Wallwork 124*2bc0b47dSJoe Wallwork ierr = DMPlexGetTransitiveClosure(dm, bdFacesFull[f], PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr); 125*2bc0b47dSJoe Wallwork for (cl = 0; cl < closureSize*2; cl += 2) { 126*2bc0b47dSJoe Wallwork if ((closure[cl] >= vStart) && (closure[cl] < vEnd)) bdFaces[bdSize++] = closure[cl] - vStart; 127*2bc0b47dSJoe Wallwork } 128*2bc0b47dSJoe Wallwork ierr = DMPlexRestoreTransitiveClosure(dm, bdFacesFull[f], PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr); 129*2bc0b47dSJoe Wallwork if (bdLabel) {ierr = DMLabelGetValue(bdLabel, bdFacesFull[f], &bdFaceIds[f]);CHKERRQ(ierr);} 130*2bc0b47dSJoe Wallwork else {bdFaceIds[f] = 1;} 131*2bc0b47dSJoe Wallwork } 132*2bc0b47dSJoe Wallwork ierr = ISDestroy(&bdIS);CHKERRQ(ierr); 133*2bc0b47dSJoe Wallwork ierr = DMLabelDestroy(&bdLabelFull);CHKERRQ(ierr); 134*2bc0b47dSJoe Wallwork 135*2bc0b47dSJoe Wallwork /* Get metric */ 136*2bc0b47dSJoe Wallwork ierr = VecViewFromOptions(vertexMetric, NULL, "-adapt_metric_view");CHKERRQ(ierr); 137*2bc0b47dSJoe Wallwork ierr = VecGetArrayRead(vertexMetric, &met);CHKERRQ(ierr); 138*2bc0b47dSJoe Wallwork for (v = 0; v < (vEnd-vStart)*PetscSqr(dim); ++v) metric[v] = PetscRealPart(met[v]); 139*2bc0b47dSJoe Wallwork ierr = VecRestoreArrayRead(vertexMetric, &met);CHKERRQ(ierr); 140*2bc0b47dSJoe Wallwork 141*2bc0b47dSJoe Wallwork #if 0 142*2bc0b47dSJoe Wallwork /* Destroy overlap mesh */ 143*2bc0b47dSJoe Wallwork ierr = DMDestroy(&dm);CHKERRQ(ierr); 144*2bc0b47dSJoe Wallwork #endif 145*2bc0b47dSJoe Wallwork /* Send to Pragmatic and remesh */ 146*2bc0b47dSJoe Wallwork switch (dim) { 147*2bc0b47dSJoe Wallwork case 2: 148*2bc0b47dSJoe Wallwork pragmatic_2d_mpi_init(&numVertices, &numCells, cells, x, y, l2gv, numLocVertices, comm); 149*2bc0b47dSJoe Wallwork break; 150*2bc0b47dSJoe Wallwork case 3: 151*2bc0b47dSJoe Wallwork pragmatic_3d_mpi_init(&numVertices, &numCells, cells, x, y, z, l2gv, numLocVertices, comm); 152*2bc0b47dSJoe Wallwork break; 153*2bc0b47dSJoe Wallwork default: SETERRQ1(comm, PETSC_ERR_ARG_OUTOFRANGE, "No Pragmatic adaptation defined for dimension %D", dim); 154*2bc0b47dSJoe Wallwork } 155*2bc0b47dSJoe Wallwork pragmatic_set_boundary(&numBdFaces, bdFaces, bdFaceIds); 156*2bc0b47dSJoe Wallwork pragmatic_set_metric(metric); 157*2bc0b47dSJoe Wallwork pragmatic_adapt(((DM_Plex *) dm->data)->remeshBd ? 1 : 0); 158*2bc0b47dSJoe Wallwork ierr = PetscFree(l2gv);CHKERRQ(ierr); 159*2bc0b47dSJoe Wallwork 160*2bc0b47dSJoe Wallwork /* Retrieve mesh from Pragmatic and create new plex */ 161*2bc0b47dSJoe Wallwork pragmatic_get_info_mpi(&numVerticesNew, &numCellsNew); 162*2bc0b47dSJoe Wallwork ierr = PetscMalloc1(numVerticesNew*dim, &coordsNew);CHKERRQ(ierr); 163*2bc0b47dSJoe Wallwork switch (dim) { 164*2bc0b47dSJoe Wallwork case 2: 165*2bc0b47dSJoe Wallwork numCornersNew = 3; 166*2bc0b47dSJoe Wallwork ierr = PetscMalloc2(numVerticesNew, &xNew[0], numVerticesNew, &xNew[1]);CHKERRQ(ierr); 167*2bc0b47dSJoe Wallwork pragmatic_get_coords_2d_mpi(xNew[0], xNew[1]); 168*2bc0b47dSJoe Wallwork break; 169*2bc0b47dSJoe Wallwork case 3: 170*2bc0b47dSJoe Wallwork numCornersNew = 4; 171*2bc0b47dSJoe Wallwork ierr = PetscMalloc3(numVerticesNew, &xNew[0], numVerticesNew, &xNew[1], numVerticesNew, &xNew[2]);CHKERRQ(ierr); 172*2bc0b47dSJoe Wallwork pragmatic_get_coords_3d_mpi(xNew[0], xNew[1], xNew[2]); 173*2bc0b47dSJoe Wallwork break; 174*2bc0b47dSJoe Wallwork default: 175*2bc0b47dSJoe Wallwork SETERRQ1(comm, PETSC_ERR_ARG_OUTOFRANGE, "No Pragmatic adaptation defined for dimension %D", dim); 176*2bc0b47dSJoe Wallwork } 177*2bc0b47dSJoe Wallwork for (v = 0; v < numVerticesNew; ++v) {for (d = 0; d < dim; ++d) coordsNew[v*dim+d] = xNew[d][v];} 178*2bc0b47dSJoe Wallwork ierr = PetscMalloc1(numCellsNew*(dim+1), &cellsNew);CHKERRQ(ierr); 179*2bc0b47dSJoe Wallwork pragmatic_get_elements(cellsNew); 180*2bc0b47dSJoe Wallwork ierr = DMPlexCreateFromCellListParallelPetsc(comm, dim, numCellsNew, numVerticesNew, PETSC_DECIDE, numCornersNew, PETSC_TRUE, cellsNew, dim, coordsNew, NULL, NULL, dmNew);CHKERRQ(ierr); 181*2bc0b47dSJoe Wallwork 182*2bc0b47dSJoe Wallwork /* Rebuild boundary label */ 183*2bc0b47dSJoe Wallwork pragmatic_get_boundaryTags(&bdTags); 184*2bc0b47dSJoe Wallwork ierr = DMCreateLabel(*dmNew, bdLabel ? bdLabelName : bdName);CHKERRQ(ierr); 185*2bc0b47dSJoe Wallwork ierr = DMGetLabel(*dmNew, bdLabel ? bdLabelName : bdName, &bdLabelNew);CHKERRQ(ierr); 186*2bc0b47dSJoe Wallwork ierr = DMPlexGetHeightStratum(*dmNew, 0, &cStart, &cEnd);CHKERRQ(ierr); 187*2bc0b47dSJoe Wallwork ierr = DMPlexGetHeightStratum(*dmNew, 1, &fStart, &fEnd);CHKERRQ(ierr); 188*2bc0b47dSJoe Wallwork ierr = DMPlexGetDepthStratum(*dmNew, 0, &vStart, &vEnd);CHKERRQ(ierr); 189*2bc0b47dSJoe Wallwork for (c = cStart; c < cEnd; ++c) { 190*2bc0b47dSJoe Wallwork 191*2bc0b47dSJoe Wallwork /* Only for simplicial meshes */ 192*2bc0b47dSJoe Wallwork coff = (c-cStart)*(dim+1); 193*2bc0b47dSJoe Wallwork 194*2bc0b47dSJoe Wallwork /* d is the local cell number of the vertex opposite to the face we are marking */ 195*2bc0b47dSJoe Wallwork for (d = 0; d < dim+1; ++d) { 196*2bc0b47dSJoe Wallwork if (bdTags[coff+d]) { 197*2bc0b47dSJoe 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 */ 198*2bc0b47dSJoe Wallwork const PetscInt *cone; 199*2bc0b47dSJoe Wallwork 200*2bc0b47dSJoe Wallwork /* Mark face opposite to this vertex: This pattern is specified in DMPlexGetRawFaces_Internal() */ 201*2bc0b47dSJoe Wallwork ierr = DMPlexGetCone(*dmNew, c, &cone);CHKERRQ(ierr); 202*2bc0b47dSJoe Wallwork ierr = DMLabelSetValue(bdLabelNew, cone[perm[dim][d]], bdTags[coff+d]);CHKERRQ(ierr); 203*2bc0b47dSJoe Wallwork } 204*2bc0b47dSJoe Wallwork } 205*2bc0b47dSJoe Wallwork } 206*2bc0b47dSJoe Wallwork 207*2bc0b47dSJoe Wallwork /* Clean up */ 208*2bc0b47dSJoe Wallwork switch (dim) { 209*2bc0b47dSJoe Wallwork case 2: ierr = PetscFree2(xNew[0], xNew[1]);CHKERRQ(ierr); 210*2bc0b47dSJoe Wallwork break; 211*2bc0b47dSJoe Wallwork case 3: ierr = PetscFree3(xNew[0], xNew[1], xNew[2]);CHKERRQ(ierr); 212*2bc0b47dSJoe Wallwork break; 213*2bc0b47dSJoe Wallwork } 214*2bc0b47dSJoe Wallwork ierr = PetscFree(cellsNew);CHKERRQ(ierr); 215*2bc0b47dSJoe Wallwork ierr = PetscFree5(x, y, z, metric, cells);CHKERRQ(ierr); 216*2bc0b47dSJoe Wallwork ierr = PetscFree2(bdFaces, bdFaceIds);CHKERRQ(ierr); 217*2bc0b47dSJoe Wallwork ierr = PetscFree(coordsNew);CHKERRQ(ierr); 218*2bc0b47dSJoe Wallwork pragmatic_finalize(); 219*2bc0b47dSJoe Wallwork PetscFunctionReturn(0); 220*2bc0b47dSJoe Wallwork } 221