xref: /petsc/src/dm/impls/plex/adaptors/pragmatic/pragmaticadapt.c (revision 2bc0b47d977b744035359fe77599e3333461487a)
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