xref: /petsc/src/dm/impls/plex/plexreorder.c (revision 2b1860edb940de6d91f9f3877e97d29840026e04)
18ed5f475SMatthew G. Knepley #include <petsc-private/dmpleximpl.h>   /*I      "petscdmplex.h"   I*/
28ed5f475SMatthew G. Knepley #include <petsc-private/matorderimpl.h> /*I      "petscmat.h"      I*/
38ed5f475SMatthew G. Knepley 
48ed5f475SMatthew G. Knepley #undef __FUNCT__
58ed5f475SMatthew G. Knepley #define __FUNCT__ "DMPlexCreateOrderingClosure_Static"
68ed5f475SMatthew G. Knepley PetscErrorCode DMPlexCreateOrderingClosure_Static(DM dm, PetscInt numPoints, const PetscInt pperm[], PetscInt **clperm, PetscInt **invclperm)
78ed5f475SMatthew G. Knepley {
88ed5f475SMatthew G. Knepley   PetscInt      *perm, *iperm;
98ed5f475SMatthew G. Knepley   PetscInt       depth, d, pStart, pEnd, fStart, fMax, fEnd, p;
108ed5f475SMatthew G. Knepley   PetscErrorCode ierr;
118ed5f475SMatthew G. Knepley 
128ed5f475SMatthew G. Knepley   PetscFunctionBegin;
138ed5f475SMatthew G. Knepley   ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr);
148ed5f475SMatthew G. Knepley   ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr);
15*2b1860edSMatthew G. Knepley   ierr = PetscMalloc((pEnd-pStart) * sizeof(PetscInt), &perm);CHKERRQ(ierr);
16*2b1860edSMatthew G. Knepley   ierr = PetscMalloc((pEnd-pStart) * sizeof(PetscInt) ,&iperm);CHKERRQ(ierr);
178ed5f475SMatthew G. Knepley   for (p = pStart; p < pEnd; ++p) iperm[p] = -1;
188ed5f475SMatthew G. Knepley   for (d = depth; d > 0; --d) {
198ed5f475SMatthew G. Knepley     ierr = DMPlexGetDepthStratum(dm, d,   &pStart, &pEnd);CHKERRQ(ierr);
208ed5f475SMatthew G. Knepley     ierr = DMPlexGetDepthStratum(dm, d-1, &fStart, &fEnd);CHKERRQ(ierr);
218ed5f475SMatthew G. Knepley     fMax = fStart;
228ed5f475SMatthew G. Knepley     for (p = pStart; p < pEnd; ++p) {
238ed5f475SMatthew G. Knepley       const PetscInt *cone;
248ed5f475SMatthew G. Knepley       PetscInt        point, coneSize, c;
258ed5f475SMatthew G. Knepley 
268ed5f475SMatthew G. Knepley       if (d == depth) {
278ed5f475SMatthew G. Knepley         perm[p]         = pperm[p];
288ed5f475SMatthew G. Knepley         iperm[pperm[p]] = p;
298ed5f475SMatthew G. Knepley       }
308ed5f475SMatthew G. Knepley       point = perm[p];
318ed5f475SMatthew G. Knepley       ierr = DMPlexGetConeSize(dm, point, &coneSize);CHKERRQ(ierr);
328ed5f475SMatthew G. Knepley       ierr = DMPlexGetCone(dm, point, &cone);CHKERRQ(ierr);
338ed5f475SMatthew G. Knepley       for (c = 0; c < coneSize; ++c) {
348ed5f475SMatthew G. Knepley         const PetscInt oldc = cone[c];
358ed5f475SMatthew G. Knepley         const PetscInt newc = iperm[oldc];
368ed5f475SMatthew G. Knepley 
378ed5f475SMatthew G. Knepley         if (newc < 0) {
388ed5f475SMatthew G. Knepley           perm[fMax]  = oldc;
398ed5f475SMatthew G. Knepley           iperm[oldc] = fMax++;
408ed5f475SMatthew G. Knepley         }
418ed5f475SMatthew G. Knepley       }
428ed5f475SMatthew G. Knepley     }
438ed5f475SMatthew G. Knepley     if (fMax != fEnd) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Number of depth %d faces %d does not match permuted nubmer %d", d, fEnd-fStart, fMax-fStart);
448ed5f475SMatthew G. Knepley   }
458ed5f475SMatthew G. Knepley   *clperm    = perm;
468ed5f475SMatthew G. Knepley   *invclperm = iperm;
478ed5f475SMatthew G. Knepley   PetscFunctionReturn(0);
488ed5f475SMatthew G. Knepley }
498ed5f475SMatthew G. Knepley 
508ed5f475SMatthew G. Knepley #undef __FUNCT__
518ed5f475SMatthew G. Knepley #define __FUNCT__ "DMPlexGetOrdering"
528ed5f475SMatthew G. Knepley /*@
538ed5f475SMatthew G. Knepley   DMPlexGetOrdering - Calculate a reordering of the mesh
548ed5f475SMatthew G. Knepley 
558ed5f475SMatthew G. Knepley   Collective on DM
568ed5f475SMatthew G. Knepley 
578ed5f475SMatthew G. Knepley   Input Parameter:
588ed5f475SMatthew G. Knepley + dm - The DMPlex object
598ed5f475SMatthew G. Knepley - otype - type of reordering, one of the following:
608ed5f475SMatthew G. Knepley $     MATORDERINGNATURAL - Natural
618ed5f475SMatthew G. Knepley $     MATORDERINGND - Nested Dissection
628ed5f475SMatthew G. Knepley $     MATORDERING1WD - One-way Dissection
638ed5f475SMatthew G. Knepley $     MATORDERINGRCM - Reverse Cuthill-McKee
648ed5f475SMatthew G. Knepley $     MATORDERINGQMD - Quotient Minimum Degree
658ed5f475SMatthew G. Knepley 
668ed5f475SMatthew G. Knepley 
678ed5f475SMatthew G. Knepley   Output Parameter:
688ed5f475SMatthew G. Knepley . perm - The point permutation as an IS
698ed5f475SMatthew G. Knepley 
708ed5f475SMatthew G. Knepley   Level: intermediate
718ed5f475SMatthew G. Knepley 
728ed5f475SMatthew G. Knepley .keywords: mesh
738ed5f475SMatthew G. Knepley .seealso: MatGetOrdering()
748ed5f475SMatthew G. Knepley @*/
758ed5f475SMatthew G. Knepley PetscErrorCode DMPlexGetOrdering(DM dm, MatOrderingType otype, IS *perm)
768ed5f475SMatthew G. Knepley {
778ed5f475SMatthew G. Knepley   PetscInt       numCells = 0;
788ed5f475SMatthew G. Knepley   PetscInt      *start = NULL, *adjacency = NULL, *cperm, *clperm, *invclperm, *mask, *xls, pStart, pEnd, c, i;
798ed5f475SMatthew G. Knepley   PetscErrorCode ierr;
808ed5f475SMatthew G. Knepley 
818ed5f475SMatthew G. Knepley   PetscFunctionBegin;
828ed5f475SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
838ed5f475SMatthew G. Knepley   PetscValidPointer(perm, 3);
848ed5f475SMatthew G. Knepley   ierr = DMPlexCreateNeighborCSR(dm, 0, &numCells, &start, &adjacency);CHKERRQ(ierr);
858ed5f475SMatthew G. Knepley   ierr = PetscMalloc3(numCells,PetscInt,&cperm,numCells,PetscInt,&mask,numCells*2,PetscInt,&xls);CHKERRQ(ierr);
868ed5f475SMatthew G. Knepley   /* Shift for Fortran numbering */
878ed5f475SMatthew G. Knepley   for (i = 0; i < start[numCells]; ++i) ++adjacency[i];
888ed5f475SMatthew G. Knepley   for (i = 0; i <= numCells; ++i)       ++start[i];
898ed5f475SMatthew G. Knepley   ierr = SPARSEPACKgenrcm(&numCells, start, adjacency, cperm, mask, xls);CHKERRQ(ierr);
908ed5f475SMatthew G. Knepley   ierr = PetscFree(start);CHKERRQ(ierr);
918ed5f475SMatthew G. Knepley   ierr = PetscFree(adjacency);CHKERRQ(ierr);
928ed5f475SMatthew G. Knepley   /* Shift for Fortran numbering */
938ed5f475SMatthew G. Knepley   for (c = 0; c < numCells; ++c) --cperm[c];
948ed5f475SMatthew G. Knepley   /* Construct closure */
958ed5f475SMatthew G. Knepley   ierr = DMPlexCreateOrderingClosure_Static(dm, numCells, cperm, &clperm, &invclperm);
968ed5f475SMatthew G. Knepley   ierr = PetscFree3(cperm,mask,xls);CHKERRQ(ierr);
978ed5f475SMatthew G. Knepley   ierr = PetscFree(clperm);CHKERRQ(ierr);
988ed5f475SMatthew G. Knepley   /* Invert permutation */
998ed5f475SMatthew G. Knepley   ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr);
1008ed5f475SMatthew G. Knepley   ierr = ISCreateGeneral(PetscObjectComm((PetscObject) dm), pEnd-pStart, invclperm, PETSC_OWN_POINTER, perm);CHKERRQ(ierr);
1018ed5f475SMatthew G. Knepley   PetscFunctionReturn(0);
1028ed5f475SMatthew G. Knepley }
1038ed5f475SMatthew G. Knepley 
1048ed5f475SMatthew G. Knepley #undef __FUNCT__
1058ed5f475SMatthew G. Knepley #define __FUNCT__ "DMPlexPermute"
1068ed5f475SMatthew G. Knepley /*@
1078ed5f475SMatthew G. Knepley   DMPlexPermute - Reorder the mesh according to the input permutation
1088ed5f475SMatthew G. Knepley 
1098ed5f475SMatthew G. Knepley   Collective on DM
1108ed5f475SMatthew G. Knepley 
1118ed5f475SMatthew G. Knepley   Input Parameter:
1128ed5f475SMatthew G. Knepley + dm - The DMPlex object
1138ed5f475SMatthew G. Knepley - perm - The point permutation
1148ed5f475SMatthew G. Knepley 
1158ed5f475SMatthew G. Knepley   Output Parameter:
1168ed5f475SMatthew G. Knepley . pdm - The permuted DM
1178ed5f475SMatthew G. Knepley 
1188ed5f475SMatthew G. Knepley   Level: intermediate
1198ed5f475SMatthew G. Knepley 
1208ed5f475SMatthew G. Knepley .keywords: mesh
1218ed5f475SMatthew G. Knepley .seealso: MatPermute()
1228ed5f475SMatthew G. Knepley @*/
1238ed5f475SMatthew G. Knepley PetscErrorCode DMPlexPermute(DM dm, IS perm, DM *pdm)
1248ed5f475SMatthew G. Knepley {
1258ed5f475SMatthew G. Knepley   DM_Plex       *plex = (DM_Plex *) dm->data, *plexNew;
1268ed5f475SMatthew G. Knepley   PetscSection   section, sectionNew;
1278ed5f475SMatthew G. Knepley   PetscInt       dim;
1288ed5f475SMatthew G. Knepley   PetscErrorCode ierr;
1298ed5f475SMatthew G. Knepley 
1308ed5f475SMatthew G. Knepley   PetscFunctionBegin;
1318ed5f475SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
1328ed5f475SMatthew G. Knepley   PetscValidHeaderSpecific(perm, IS_CLASSID, 2);
1338ed5f475SMatthew G. Knepley   PetscValidPointer(pdm, 3);
1348ed5f475SMatthew G. Knepley   ierr = DMCreate(PetscObjectComm((PetscObject) dm), pdm);CHKERRQ(ierr);
1358ed5f475SMatthew G. Knepley   ierr = DMSetType(*pdm, DMPLEX);CHKERRQ(ierr);
1368ed5f475SMatthew G. Knepley   ierr = DMPlexGetDimension(dm, &dim);CHKERRQ(ierr);
1378ed5f475SMatthew G. Knepley   ierr = DMPlexSetDimension(*pdm, dim);CHKERRQ(ierr);
1388ed5f475SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
139dd742cf1SMatthew G. Knepley   if (section) {
1408ed5f475SMatthew G. Knepley     ierr = PetscSectionPermute(section, perm, &sectionNew);CHKERRQ(ierr);
1418ed5f475SMatthew G. Knepley     ierr = DMSetDefaultSection(*pdm, sectionNew);CHKERRQ(ierr);
1428ed5f475SMatthew G. Knepley     ierr = PetscSectionDestroy(&sectionNew);CHKERRQ(ierr);
143dd742cf1SMatthew G. Knepley   }
1448ed5f475SMatthew G. Knepley   plexNew = (DM_Plex *) (*pdm)->data;
1458ed5f475SMatthew G. Knepley   /* Ignore ltogmap, ltogmapb */
1468ed5f475SMatthew G. Knepley   /* Ignore sf, defaultSF */
1478ed5f475SMatthew G. Knepley   /* Ignore globalVertexNumbers, globalCellNumbers */
1488ed5f475SMatthew G. Knepley   /* Remap coordinates */
1498ed5f475SMatthew G. Knepley   {
1508ed5f475SMatthew G. Knepley     DM           cdm, cdmNew;
1518ed5f475SMatthew G. Knepley     PetscSection csection, csectionNew;
1528ed5f475SMatthew G. Knepley     Vec          coordinates, coordinatesNew;
1538ed5f475SMatthew G. Knepley     PetscScalar *coords, *coordsNew;
1548ed5f475SMatthew G. Knepley     PetscInt     pStart, pEnd, p;
1558ed5f475SMatthew G. Knepley 
1568ed5f475SMatthew G. Knepley     ierr = DMGetCoordinateDM(dm, &cdm);CHKERRQ(ierr);
1578ed5f475SMatthew G. Knepley     ierr = DMGetDefaultSection(cdm, &csection);CHKERRQ(ierr);
1588ed5f475SMatthew G. Knepley     ierr = PetscSectionPermute(csection, perm, &csectionNew);CHKERRQ(ierr);
1598ed5f475SMatthew G. Knepley     ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr);
1608ed5f475SMatthew G. Knepley     ierr = VecDuplicate(coordinates, &coordinatesNew);CHKERRQ(ierr);
1618ed5f475SMatthew G. Knepley     ierr = VecGetArray(coordinates, &coords);CHKERRQ(ierr);
1628ed5f475SMatthew G. Knepley     ierr = VecGetArray(coordinatesNew, &coordsNew);CHKERRQ(ierr);
1638ed5f475SMatthew G. Knepley     ierr = PetscSectionGetChart(csectionNew, &pStart, &pEnd);CHKERRQ(ierr);
1648ed5f475SMatthew G. Knepley     for (p = pStart; p < pEnd; ++p) {
1658ed5f475SMatthew G. Knepley       PetscInt dof, off, offNew, d;
1668ed5f475SMatthew G. Knepley 
1678ed5f475SMatthew G. Knepley       ierr = PetscSectionGetDof(csectionNew, p, &dof);CHKERRQ(ierr);
1688ed5f475SMatthew G. Knepley       ierr = PetscSectionGetOffset(csection, p, &off);CHKERRQ(ierr);
1698ed5f475SMatthew G. Knepley       ierr = PetscSectionGetOffset(csectionNew, p, &offNew);CHKERRQ(ierr);
1708ed5f475SMatthew G. Knepley       for (d = 0; d < dof; ++d) coordsNew[offNew+d] = coords[off+d];
1718ed5f475SMatthew G. Knepley     }
1728ed5f475SMatthew G. Knepley     ierr = VecRestoreArray(coordinates, &coords);CHKERRQ(ierr);
1738ed5f475SMatthew G. Knepley     ierr = VecRestoreArray(coordinatesNew, &coordsNew);CHKERRQ(ierr);
1748ed5f475SMatthew G. Knepley     ierr = DMGetCoordinateDM(*pdm, &cdmNew);CHKERRQ(ierr);
1758ed5f475SMatthew G. Knepley     ierr = DMSetDefaultSection(cdmNew, csectionNew);CHKERRQ(ierr);
1768ed5f475SMatthew G. Knepley     ierr = DMSetCoordinatesLocal(*pdm, coordinatesNew);CHKERRQ(ierr);
1778ed5f475SMatthew G. Knepley     ierr = PetscSectionDestroy(&csectionNew);CHKERRQ(ierr);
1788ed5f475SMatthew G. Knepley     ierr = VecDestroy(&coordinatesNew);CHKERRQ(ierr);
1798ed5f475SMatthew G. Knepley   }
1808ed5f475SMatthew G. Knepley   /* Reorder labels */
1818ed5f475SMatthew G. Knepley   {
182211f4af5SMatthew G. Knepley     DMLabel label = plex->labels, labelNew = NULL;
1838ed5f475SMatthew G. Knepley 
1848ed5f475SMatthew G. Knepley     while (label) {
1858ed5f475SMatthew G. Knepley       if (!plexNew->labels) {
1868ed5f475SMatthew G. Knepley         ierr = DMLabelPermute(label, perm, &plexNew->labels);CHKERRQ(ierr);
1878ed5f475SMatthew G. Knepley         labelNew = plexNew->labels;
1888ed5f475SMatthew G. Knepley       } else {
1898ed5f475SMatthew G. Knepley         ierr = DMLabelPermute(label, perm, &labelNew->next);CHKERRQ(ierr);
19083808cfdSMatthew G. Knepley         labelNew = labelNew->next;
1918ed5f475SMatthew G. Knepley       }
1928ed5f475SMatthew G. Knepley       label = label->next;
1938ed5f475SMatthew G. Knepley     }
1948ed5f475SMatthew G. Knepley     if (plex->subpointMap) {ierr = DMLabelPermute(plex->subpointMap, perm, &plexNew->subpointMap);CHKERRQ(ierr);}
1958ed5f475SMatthew G. Knepley   }
1968ed5f475SMatthew G. Knepley   /* Reorder topology */
1978ed5f475SMatthew G. Knepley   {
1988ed5f475SMatthew G. Knepley     const PetscInt *pperm;
1998ed5f475SMatthew G. Knepley     PetscInt        maxConeSize, maxSupportSize, n, pStart, pEnd, p;
2008ed5f475SMatthew G. Knepley 
2018ed5f475SMatthew G. Knepley     ierr = DMPlexGetMaxSizes(dm, &maxConeSize, &maxSupportSize);CHKERRQ(ierr);
2028ed5f475SMatthew G. Knepley     plexNew->maxConeSize    = maxConeSize;
2038ed5f475SMatthew G. Knepley     plexNew->maxSupportSize = maxSupportSize;
2048ed5f475SMatthew G. Knepley     ierr = PetscSectionDestroy(&plexNew->coneSection);CHKERRQ(ierr);
2058ed5f475SMatthew G. Knepley     ierr = PetscSectionPermute(plex->coneSection, perm, &plexNew->coneSection);CHKERRQ(ierr);
2068ed5f475SMatthew G. Knepley     ierr = PetscSectionGetStorageSize(plexNew->coneSection, &n);CHKERRQ(ierr);
2078ed5f475SMatthew G. Knepley     ierr = PetscMalloc(n * sizeof(PetscInt), &plexNew->cones);CHKERRQ(ierr);
2088ed5f475SMatthew G. Knepley     ierr = PetscMalloc(n * sizeof(PetscInt), &plexNew->coneOrientations);CHKERRQ(ierr);
2098ed5f475SMatthew G. Knepley     ierr = ISGetIndices(perm, &pperm);CHKERRQ(ierr);
2108ed5f475SMatthew G. Knepley     ierr = PetscSectionGetChart(plex->coneSection, &pStart, &pEnd);CHKERRQ(ierr);
2118ed5f475SMatthew G. Knepley     for (p = pStart; p < pEnd; ++p) {
2128ed5f475SMatthew G. Knepley       PetscInt dof, off, offNew, d;
2138ed5f475SMatthew G. Knepley 
2148ed5f475SMatthew G. Knepley       ierr = PetscSectionGetDof(plexNew->coneSection, pperm[p], &dof);CHKERRQ(ierr);
2158ed5f475SMatthew G. Knepley       ierr = PetscSectionGetOffset(plex->coneSection, p, &off);CHKERRQ(ierr);
2168ed5f475SMatthew G. Knepley       ierr = PetscSectionGetOffset(plexNew->coneSection, pperm[p], &offNew);CHKERRQ(ierr);
2178ed5f475SMatthew G. Knepley       for (d = 0; d < dof; ++d) {
2188ed5f475SMatthew G. Knepley         plexNew->cones[offNew+d]            = pperm[plex->cones[off+d]];
2198ed5f475SMatthew G. Knepley         plexNew->coneOrientations[offNew+d] = plex->coneOrientations[off+d];
2208ed5f475SMatthew G. Knepley       }
2218ed5f475SMatthew G. Knepley     }
2228ed5f475SMatthew G. Knepley     ierr = PetscSectionDestroy(&plexNew->supportSection);CHKERRQ(ierr);
2238ed5f475SMatthew G. Knepley     ierr = PetscSectionPermute(plex->supportSection, perm, &plexNew->supportSection);CHKERRQ(ierr);
2248ed5f475SMatthew G. Knepley     ierr = PetscSectionGetStorageSize(plexNew->supportSection, &n);CHKERRQ(ierr);
2258ed5f475SMatthew G. Knepley     ierr = PetscMalloc(n * sizeof(PetscInt), &plexNew->supports);CHKERRQ(ierr);
2268ed5f475SMatthew G. Knepley     ierr = PetscSectionGetChart(plex->supportSection, &pStart, &pEnd);CHKERRQ(ierr);
2278ed5f475SMatthew G. Knepley     for (p = pStart; p < pEnd; ++p) {
2288ed5f475SMatthew G. Knepley       PetscInt dof, off, offNew, d;
2298ed5f475SMatthew G. Knepley 
2308ed5f475SMatthew G. Knepley       ierr = PetscSectionGetDof(plexNew->supportSection, pperm[p], &dof);CHKERRQ(ierr);
2318ed5f475SMatthew G. Knepley       ierr = PetscSectionGetOffset(plex->supportSection, p, &off);CHKERRQ(ierr);
2328ed5f475SMatthew G. Knepley       ierr = PetscSectionGetOffset(plexNew->supportSection, pperm[p], &offNew);CHKERRQ(ierr);
2338ed5f475SMatthew G. Knepley       for (d = 0; d < dof; ++d) {
2348ed5f475SMatthew G. Knepley         plexNew->supports[offNew+d] = pperm[plex->supports[off+d]];
2358ed5f475SMatthew G. Knepley       }
2368ed5f475SMatthew G. Knepley     }
2378ed5f475SMatthew G. Knepley     ierr = ISRestoreIndices(perm, &pperm);CHKERRQ(ierr);
2388ed5f475SMatthew G. Knepley   }
2398ed5f475SMatthew G. Knepley   PetscFunctionReturn(0);
2408ed5f475SMatthew G. Knepley }
241