xref: /petsc/src/dm/impls/plex/plexdistribute.c (revision 6462276df2707cd94e4d1bae1a8a7204efa9ef5f)
1af0996ceSBarry Smith #include <petsc/private/dmpleximpl.h>   /*I      "petscdmplex.h"   I*/
270034214SMatthew G. Knepley 
370034214SMatthew G. Knepley #undef __FUNCT__
470034214SMatthew G. Knepley #define __FUNCT__ "DMPlexSetAdjacencyUseCone"
570034214SMatthew G. Knepley /*@
670034214SMatthew G. Knepley   DMPlexSetAdjacencyUseCone - Define adjacency in the mesh using either the cone or the support first
770034214SMatthew G. Knepley 
870034214SMatthew G. Knepley   Input Parameters:
970034214SMatthew G. Knepley + dm      - The DM object
1070034214SMatthew G. Knepley - useCone - Flag to use the cone first
1170034214SMatthew G. Knepley 
1270034214SMatthew G. Knepley   Level: intermediate
1370034214SMatthew G. Knepley 
1470034214SMatthew G. Knepley   Notes:
1570034214SMatthew G. Knepley $     FEM:   Two points p and q are adjacent if q \in closure(star(p)),   useCone = PETSC_FALSE, useClosure = PETSC_TRUE
164b6b44bdSMatthew G. Knepley $     FVM:   Two points p and q are adjacent if q \in support(p+cone(p)), useCone = PETSC_TRUE,  useClosure = PETSC_FALSE
1770034214SMatthew G. Knepley $     FVM++: Two points p and q are adjacent if q \in star(closure(p)),   useCone = PETSC_TRUE,  useClosure = PETSC_TRUE
1870034214SMatthew G. Knepley 
1970034214SMatthew G. Knepley .seealso: DMPlexGetAdjacencyUseCone(), DMPlexSetAdjacencyUseClosure(), DMPlexGetAdjacencyUseClosure(), DMPlexDistribute(), DMPlexPreallocateOperator()
2070034214SMatthew G. Knepley @*/
2170034214SMatthew G. Knepley PetscErrorCode DMPlexSetAdjacencyUseCone(DM dm, PetscBool useCone)
2270034214SMatthew G. Knepley {
2370034214SMatthew G. Knepley   DM_Plex *mesh = (DM_Plex *) dm->data;
2470034214SMatthew G. Knepley 
2570034214SMatthew G. Knepley   PetscFunctionBegin;
2670034214SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
2770034214SMatthew G. Knepley   mesh->useCone = useCone;
2870034214SMatthew G. Knepley   PetscFunctionReturn(0);
2970034214SMatthew G. Knepley }
3070034214SMatthew G. Knepley 
3170034214SMatthew G. Knepley #undef __FUNCT__
3270034214SMatthew G. Knepley #define __FUNCT__ "DMPlexGetAdjacencyUseCone"
3370034214SMatthew G. Knepley /*@
3470034214SMatthew G. Knepley   DMPlexGetAdjacencyUseCone - Query whether adjacency in the mesh uses the cone or the support first
3570034214SMatthew G. Knepley 
3670034214SMatthew G. Knepley   Input Parameter:
3770034214SMatthew G. Knepley . dm      - The DM object
3870034214SMatthew G. Knepley 
3970034214SMatthew G. Knepley   Output Parameter:
4070034214SMatthew G. Knepley . useCone - Flag to use the cone first
4170034214SMatthew G. Knepley 
4270034214SMatthew G. Knepley   Level: intermediate
4370034214SMatthew G. Knepley 
4470034214SMatthew G. Knepley   Notes:
4570034214SMatthew G. Knepley $     FEM:   Two points p and q are adjacent if q \in closure(star(p)),   useCone = PETSC_FALSE, useClosure = PETSC_TRUE
464b6b44bdSMatthew G. Knepley $     FVM:   Two points p and q are adjacent if q \in support(p+cone(p)), useCone = PETSC_TRUE,  useClosure = PETSC_FALSE
4770034214SMatthew G. Knepley $     FVM++: Two points p and q are adjacent if q \in star(closure(p)),   useCone = PETSC_TRUE,  useClosure = PETSC_TRUE
4870034214SMatthew G. Knepley 
4970034214SMatthew G. Knepley .seealso: DMPlexSetAdjacencyUseCone(), DMPlexSetAdjacencyUseClosure(), DMPlexGetAdjacencyUseClosure(), DMPlexDistribute(), DMPlexPreallocateOperator()
5070034214SMatthew G. Knepley @*/
5170034214SMatthew G. Knepley PetscErrorCode DMPlexGetAdjacencyUseCone(DM dm, PetscBool *useCone)
5270034214SMatthew G. Knepley {
5370034214SMatthew G. Knepley   DM_Plex *mesh = (DM_Plex *) dm->data;
5470034214SMatthew G. Knepley 
5570034214SMatthew G. Knepley   PetscFunctionBegin;
5670034214SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
5770034214SMatthew G. Knepley   PetscValidIntPointer(useCone, 2);
5870034214SMatthew G. Knepley   *useCone = mesh->useCone;
5970034214SMatthew G. Knepley   PetscFunctionReturn(0);
6070034214SMatthew G. Knepley }
6170034214SMatthew G. Knepley 
6270034214SMatthew G. Knepley #undef __FUNCT__
6370034214SMatthew G. Knepley #define __FUNCT__ "DMPlexSetAdjacencyUseClosure"
6470034214SMatthew G. Knepley /*@
6570034214SMatthew G. Knepley   DMPlexSetAdjacencyUseClosure - Define adjacency in the mesh using the transitive closure
6670034214SMatthew G. Knepley 
6770034214SMatthew G. Knepley   Input Parameters:
6870034214SMatthew G. Knepley + dm      - The DM object
6970034214SMatthew G. Knepley - useClosure - Flag to use the closure
7070034214SMatthew G. Knepley 
7170034214SMatthew G. Knepley   Level: intermediate
7270034214SMatthew G. Knepley 
7370034214SMatthew G. Knepley   Notes:
7470034214SMatthew G. Knepley $     FEM:   Two points p and q are adjacent if q \in closure(star(p)),   useCone = PETSC_FALSE, useClosure = PETSC_TRUE
754b6b44bdSMatthew G. Knepley $     FVM:   Two points p and q are adjacent if q \in support(p+cone(p)), useCone = PETSC_TRUE,  useClosure = PETSC_FALSE
7670034214SMatthew G. Knepley $     FVM++: Two points p and q are adjacent if q \in star(closure(p)),   useCone = PETSC_TRUE,  useClosure = PETSC_TRUE
7770034214SMatthew G. Knepley 
7870034214SMatthew G. Knepley .seealso: DMPlexGetAdjacencyUseClosure(), DMPlexSetAdjacencyUseCone(), DMPlexGetAdjacencyUseCone(), DMPlexDistribute(), DMPlexPreallocateOperator()
7970034214SMatthew G. Knepley @*/
8070034214SMatthew G. Knepley PetscErrorCode DMPlexSetAdjacencyUseClosure(DM dm, PetscBool useClosure)
8170034214SMatthew G. Knepley {
8270034214SMatthew G. Knepley   DM_Plex *mesh = (DM_Plex *) dm->data;
8370034214SMatthew G. Knepley 
8470034214SMatthew G. Knepley   PetscFunctionBegin;
8570034214SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
8670034214SMatthew G. Knepley   mesh->useClosure = useClosure;
8770034214SMatthew G. Knepley   PetscFunctionReturn(0);
8870034214SMatthew G. Knepley }
8970034214SMatthew G. Knepley 
9070034214SMatthew G. Knepley #undef __FUNCT__
9170034214SMatthew G. Knepley #define __FUNCT__ "DMPlexGetAdjacencyUseClosure"
9270034214SMatthew G. Knepley /*@
9370034214SMatthew G. Knepley   DMPlexGetAdjacencyUseClosure - Query whether adjacency in the mesh uses the transitive closure
9470034214SMatthew G. Knepley 
9570034214SMatthew G. Knepley   Input Parameter:
9670034214SMatthew G. Knepley . dm      - The DM object
9770034214SMatthew G. Knepley 
9870034214SMatthew G. Knepley   Output Parameter:
9970034214SMatthew G. Knepley . useClosure - Flag to use the closure
10070034214SMatthew G. Knepley 
10170034214SMatthew G. Knepley   Level: intermediate
10270034214SMatthew G. Knepley 
10370034214SMatthew G. Knepley   Notes:
10470034214SMatthew G. Knepley $     FEM:   Two points p and q are adjacent if q \in closure(star(p)),   useCone = PETSC_FALSE, useClosure = PETSC_TRUE
1054b6b44bdSMatthew G. Knepley $     FVM:   Two points p and q are adjacent if q \in support(p+cone(p)), useCone = PETSC_TRUE,  useClosure = PETSC_FALSE
10670034214SMatthew G. Knepley $     FVM++: Two points p and q are adjacent if q \in star(closure(p)),   useCone = PETSC_TRUE,  useClosure = PETSC_TRUE
10770034214SMatthew G. Knepley 
10870034214SMatthew G. Knepley .seealso: DMPlexSetAdjacencyUseClosure(), DMPlexSetAdjacencyUseCone(), DMPlexGetAdjacencyUseCone(), DMPlexDistribute(), DMPlexPreallocateOperator()
10970034214SMatthew G. Knepley @*/
11070034214SMatthew G. Knepley PetscErrorCode DMPlexGetAdjacencyUseClosure(DM dm, PetscBool *useClosure)
11170034214SMatthew G. Knepley {
11270034214SMatthew G. Knepley   DM_Plex *mesh = (DM_Plex *) dm->data;
11370034214SMatthew G. Knepley 
11470034214SMatthew G. Knepley   PetscFunctionBegin;
11570034214SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
11670034214SMatthew G. Knepley   PetscValidIntPointer(useClosure, 2);
11770034214SMatthew G. Knepley   *useClosure = mesh->useClosure;
11870034214SMatthew G. Knepley   PetscFunctionReturn(0);
11970034214SMatthew G. Knepley }
12070034214SMatthew G. Knepley 
12170034214SMatthew G. Knepley #undef __FUNCT__
122a17985deSToby Isaac #define __FUNCT__ "DMPlexSetAdjacencyUseAnchors"
1238b0b4c70SToby Isaac /*@
124a17985deSToby Isaac   DMPlexSetAdjacencyUseAnchors - Define adjacency in the mesh using the point-to-point constraints.
1258b0b4c70SToby Isaac 
1268b0b4c70SToby Isaac   Input Parameters:
1278b0b4c70SToby Isaac + dm      - The DM object
1285b317d89SToby Isaac - useAnchors - Flag to use the constraints.  If PETSC_TRUE, then constrained points are omitted from DMPlexGetAdjacency(), and their anchor points appear in their place.
1298b0b4c70SToby Isaac 
1308b0b4c70SToby Isaac   Level: intermediate
1318b0b4c70SToby Isaac 
132a17985deSToby Isaac .seealso: DMPlexGetAdjacencyUseClosure(), DMPlexSetAdjacencyUseCone(), DMPlexGetAdjacencyUseCone(), DMPlexDistribute(), DMPlexPreallocateOperator(), DMPlexSetAnchors()
1338b0b4c70SToby Isaac @*/
1345b317d89SToby Isaac PetscErrorCode DMPlexSetAdjacencyUseAnchors(DM dm, PetscBool useAnchors)
1358b0b4c70SToby Isaac {
1368b0b4c70SToby Isaac   DM_Plex *mesh = (DM_Plex *) dm->data;
1378b0b4c70SToby Isaac 
1388b0b4c70SToby Isaac   PetscFunctionBegin;
1398b0b4c70SToby Isaac   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
1405b317d89SToby Isaac   mesh->useAnchors = useAnchors;
1418b0b4c70SToby Isaac   PetscFunctionReturn(0);
1428b0b4c70SToby Isaac }
1438b0b4c70SToby Isaac 
1448b0b4c70SToby Isaac #undef __FUNCT__
145a17985deSToby Isaac #define __FUNCT__ "DMPlexGetAdjacencyUseAnchors"
1468b0b4c70SToby Isaac /*@
147a17985deSToby Isaac   DMPlexGetAdjacencyUseAnchors - Query whether adjacency in the mesh uses the point-to-point constraints.
1488b0b4c70SToby Isaac 
1498b0b4c70SToby Isaac   Input Parameter:
1508b0b4c70SToby Isaac . dm      - The DM object
1518b0b4c70SToby Isaac 
1528b0b4c70SToby Isaac   Output Parameter:
1535b317d89SToby Isaac . useAnchors - Flag to use the closure.  If PETSC_TRUE, then constrained points are omitted from DMPlexGetAdjacency(), and their anchor points appear in their place.
1548b0b4c70SToby Isaac 
1558b0b4c70SToby Isaac   Level: intermediate
1568b0b4c70SToby Isaac 
157a17985deSToby Isaac .seealso: DMPlexSetAdjacencyUseAnchors(), DMPlexSetAdjacencyUseCone(), DMPlexGetAdjacencyUseCone(), DMPlexDistribute(), DMPlexPreallocateOperator(), DMPlexSetAnchors()
1588b0b4c70SToby Isaac @*/
1595b317d89SToby Isaac PetscErrorCode DMPlexGetAdjacencyUseAnchors(DM dm, PetscBool *useAnchors)
1608b0b4c70SToby Isaac {
1618b0b4c70SToby Isaac   DM_Plex *mesh = (DM_Plex *) dm->data;
1628b0b4c70SToby Isaac 
1638b0b4c70SToby Isaac   PetscFunctionBegin;
1648b0b4c70SToby Isaac   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
1655b317d89SToby Isaac   PetscValidIntPointer(useAnchors, 2);
1665b317d89SToby Isaac   *useAnchors = mesh->useAnchors;
1678b0b4c70SToby Isaac   PetscFunctionReturn(0);
1688b0b4c70SToby Isaac }
1698b0b4c70SToby Isaac 
1708b0b4c70SToby Isaac #undef __FUNCT__
17170034214SMatthew G. Knepley #define __FUNCT__ "DMPlexGetAdjacency_Cone_Internal"
17270034214SMatthew G. Knepley static PetscErrorCode DMPlexGetAdjacency_Cone_Internal(DM dm, PetscInt p, PetscInt *adjSize, PetscInt adj[])
17370034214SMatthew G. Knepley {
17470034214SMatthew G. Knepley   const PetscInt *cone = NULL;
17570034214SMatthew G. Knepley   PetscInt        numAdj = 0, maxAdjSize = *adjSize, coneSize, c;
17670034214SMatthew G. Knepley   PetscErrorCode  ierr;
17770034214SMatthew G. Knepley 
17870034214SMatthew G. Knepley   PetscFunctionBeginHot;
17970034214SMatthew G. Knepley   ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
18070034214SMatthew G. Knepley   ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
1814b6b44bdSMatthew G. Knepley   for (c = 0; c <= coneSize; ++c) {
1824b6b44bdSMatthew G. Knepley     const PetscInt  point   = !c ? p : cone[c-1];
18370034214SMatthew G. Knepley     const PetscInt *support = NULL;
18470034214SMatthew G. Knepley     PetscInt        supportSize, s, q;
18570034214SMatthew G. Knepley 
1864b6b44bdSMatthew G. Knepley     ierr = DMPlexGetSupportSize(dm, point, &supportSize);CHKERRQ(ierr);
1874b6b44bdSMatthew G. Knepley     ierr = DMPlexGetSupport(dm, point, &support);CHKERRQ(ierr);
18870034214SMatthew G. Knepley     for (s = 0; s < supportSize; ++s) {
18970034214SMatthew G. Knepley       for (q = 0; q < numAdj || (adj[numAdj++] = support[s],0); ++q) {
19070034214SMatthew G. Knepley         if (support[s] == adj[q]) break;
19170034214SMatthew G. Knepley       }
19270034214SMatthew G. Knepley       if (numAdj > maxAdjSize) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Invalid mesh exceeded adjacency allocation (%D)", maxAdjSize);
19370034214SMatthew G. Knepley     }
19470034214SMatthew G. Knepley   }
19570034214SMatthew G. Knepley   *adjSize = numAdj;
19670034214SMatthew G. Knepley   PetscFunctionReturn(0);
19770034214SMatthew G. Knepley }
19870034214SMatthew G. Knepley 
19970034214SMatthew G. Knepley #undef __FUNCT__
20070034214SMatthew G. Knepley #define __FUNCT__ "DMPlexGetAdjacency_Support_Internal"
20170034214SMatthew G. Knepley static PetscErrorCode DMPlexGetAdjacency_Support_Internal(DM dm, PetscInt p, PetscInt *adjSize, PetscInt adj[])
20270034214SMatthew G. Knepley {
20370034214SMatthew G. Knepley   const PetscInt *support = NULL;
20470034214SMatthew G. Knepley   PetscInt        numAdj   = 0, maxAdjSize = *adjSize, supportSize, s;
20570034214SMatthew G. Knepley   PetscErrorCode  ierr;
20670034214SMatthew G. Knepley 
20770034214SMatthew G. Knepley   PetscFunctionBeginHot;
20870034214SMatthew G. Knepley   ierr = DMPlexGetSupportSize(dm, p, &supportSize);CHKERRQ(ierr);
20970034214SMatthew G. Knepley   ierr = DMPlexGetSupport(dm, p, &support);CHKERRQ(ierr);
2104b6b44bdSMatthew G. Knepley   for (s = 0; s <= supportSize; ++s) {
2114b6b44bdSMatthew G. Knepley     const PetscInt  point = !s ? p : support[s-1];
21270034214SMatthew G. Knepley     const PetscInt *cone  = NULL;
21370034214SMatthew G. Knepley     PetscInt        coneSize, c, q;
21470034214SMatthew G. Knepley 
2154b6b44bdSMatthew G. Knepley     ierr = DMPlexGetConeSize(dm, point, &coneSize);CHKERRQ(ierr);
2164b6b44bdSMatthew G. Knepley     ierr = DMPlexGetCone(dm, point, &cone);CHKERRQ(ierr);
21770034214SMatthew G. Knepley     for (c = 0; c < coneSize; ++c) {
21870034214SMatthew G. Knepley       for (q = 0; q < numAdj || (adj[numAdj++] = cone[c],0); ++q) {
21970034214SMatthew G. Knepley         if (cone[c] == adj[q]) break;
22070034214SMatthew G. Knepley       }
22170034214SMatthew G. Knepley       if (numAdj > maxAdjSize) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Invalid mesh exceeded adjacency allocation (%D)", maxAdjSize);
22270034214SMatthew G. Knepley     }
22370034214SMatthew G. Knepley   }
22470034214SMatthew G. Knepley   *adjSize = numAdj;
22570034214SMatthew G. Knepley   PetscFunctionReturn(0);
22670034214SMatthew G. Knepley }
22770034214SMatthew G. Knepley 
22870034214SMatthew G. Knepley #undef __FUNCT__
22970034214SMatthew G. Knepley #define __FUNCT__ "DMPlexGetAdjacency_Transitive_Internal"
23070034214SMatthew G. Knepley static PetscErrorCode DMPlexGetAdjacency_Transitive_Internal(DM dm, PetscInt p, PetscBool useClosure, PetscInt *adjSize, PetscInt adj[])
23170034214SMatthew G. Knepley {
23270034214SMatthew G. Knepley   PetscInt      *star = NULL;
23370034214SMatthew G. Knepley   PetscInt       numAdj = 0, maxAdjSize = *adjSize, starSize, s;
23470034214SMatthew G. Knepley   PetscErrorCode ierr;
23570034214SMatthew G. Knepley 
23670034214SMatthew G. Knepley   PetscFunctionBeginHot;
23770034214SMatthew G. Knepley   ierr = DMPlexGetTransitiveClosure(dm, p, useClosure, &starSize, &star);CHKERRQ(ierr);
23870034214SMatthew G. Knepley   for (s = 0; s < starSize*2; s += 2) {
23970034214SMatthew G. Knepley     const PetscInt *closure = NULL;
24070034214SMatthew G. Knepley     PetscInt        closureSize, c, q;
24170034214SMatthew G. Knepley 
24270034214SMatthew G. Knepley     ierr = DMPlexGetTransitiveClosure(dm, star[s], (PetscBool)!useClosure, &closureSize, (PetscInt**) &closure);CHKERRQ(ierr);
24370034214SMatthew G. Knepley     for (c = 0; c < closureSize*2; c += 2) {
24470034214SMatthew G. Knepley       for (q = 0; q < numAdj || (adj[numAdj++] = closure[c],0); ++q) {
24570034214SMatthew G. Knepley         if (closure[c] == adj[q]) break;
24670034214SMatthew G. Knepley       }
24770034214SMatthew G. Knepley       if (numAdj > maxAdjSize) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Invalid mesh exceeded adjacency allocation (%D)", maxAdjSize);
24870034214SMatthew G. Knepley     }
24970034214SMatthew G. Knepley     ierr = DMPlexRestoreTransitiveClosure(dm, star[s], (PetscBool)!useClosure, &closureSize, (PetscInt**) &closure);CHKERRQ(ierr);
25070034214SMatthew G. Knepley   }
25170034214SMatthew G. Knepley   ierr = DMPlexRestoreTransitiveClosure(dm, p, useClosure, &starSize, &star);CHKERRQ(ierr);
25270034214SMatthew G. Knepley   *adjSize = numAdj;
25370034214SMatthew G. Knepley   PetscFunctionReturn(0);
25470034214SMatthew G. Knepley }
25570034214SMatthew G. Knepley 
25670034214SMatthew G. Knepley #undef __FUNCT__
25770034214SMatthew G. Knepley #define __FUNCT__ "DMPlexGetAdjacency_Internal"
2585b317d89SToby Isaac PetscErrorCode DMPlexGetAdjacency_Internal(DM dm, PetscInt p, PetscBool useCone, PetscBool useTransitiveClosure, PetscBool useAnchors, PetscInt *adjSize, PetscInt *adj[])
25970034214SMatthew G. Knepley {
26079bad331SMatthew G. Knepley   static PetscInt asiz = 0;
2618b0b4c70SToby Isaac   PetscInt maxAnchors = 1;
2628b0b4c70SToby Isaac   PetscInt aStart = -1, aEnd = -1;
2638b0b4c70SToby Isaac   PetscInt maxAdjSize;
2648b0b4c70SToby Isaac   PetscSection aSec = NULL;
2658b0b4c70SToby Isaac   IS aIS = NULL;
2668b0b4c70SToby Isaac   const PetscInt *anchors;
26770034214SMatthew G. Knepley   PetscErrorCode  ierr;
26870034214SMatthew G. Knepley 
26970034214SMatthew G. Knepley   PetscFunctionBeginHot;
2705b317d89SToby Isaac   if (useAnchors) {
271a17985deSToby Isaac     ierr = DMPlexGetAnchors(dm,&aSec,&aIS);CHKERRQ(ierr);
2728b0b4c70SToby Isaac     if (aSec) {
2738b0b4c70SToby Isaac       ierr = PetscSectionGetMaxDof(aSec,&maxAnchors);CHKERRQ(ierr);
27424c766afSToby Isaac       maxAnchors = PetscMax(1,maxAnchors);
2758b0b4c70SToby Isaac       ierr = PetscSectionGetChart(aSec,&aStart,&aEnd);CHKERRQ(ierr);
2768b0b4c70SToby Isaac       ierr = ISGetIndices(aIS,&anchors);CHKERRQ(ierr);
2778b0b4c70SToby Isaac     }
2788b0b4c70SToby Isaac   }
27979bad331SMatthew G. Knepley   if (!*adj) {
28024c766afSToby Isaac     PetscInt depth, coneSeries, supportSeries, maxC, maxS, pStart, pEnd;
28179bad331SMatthew G. Knepley 
28224c766afSToby Isaac     ierr  = DMPlexGetChart(dm, &pStart,&pEnd);CHKERRQ(ierr);
28379bad331SMatthew G. Knepley     ierr  = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr);
28424c766afSToby Isaac     ierr  = DMPlexGetMaxSizes(dm, &maxC, &maxS);CHKERRQ(ierr);
28524c766afSToby Isaac     coneSeries    = (maxC > 1) ? ((PetscPowInt(maxC,depth+1)-1)/(maxC-1)) : depth+1;
28624c766afSToby Isaac     supportSeries = (maxS > 1) ? ((PetscPowInt(maxS,depth+1)-1)/(maxS-1)) : depth+1;
28724c766afSToby Isaac     asiz  = PetscMax(PetscPowInt(maxS,depth)*coneSeries,PetscPowInt(maxC,depth)*supportSeries);
2888b0b4c70SToby Isaac     asiz *= maxAnchors;
28924c766afSToby Isaac     asiz  = PetscMin(asiz,pEnd-pStart);
29079bad331SMatthew G. Knepley     ierr  = PetscMalloc1(asiz,adj);CHKERRQ(ierr);
29179bad331SMatthew G. Knepley   }
29279bad331SMatthew G. Knepley   if (*adjSize < 0) *adjSize = asiz;
2938b0b4c70SToby Isaac   maxAdjSize = *adjSize;
29470034214SMatthew G. Knepley   if (useTransitiveClosure) {
29579bad331SMatthew G. Knepley     ierr = DMPlexGetAdjacency_Transitive_Internal(dm, p, useCone, adjSize, *adj);CHKERRQ(ierr);
29670034214SMatthew G. Knepley   } else if (useCone) {
29779bad331SMatthew G. Knepley     ierr = DMPlexGetAdjacency_Cone_Internal(dm, p, adjSize, *adj);CHKERRQ(ierr);
29870034214SMatthew G. Knepley   } else {
29979bad331SMatthew G. Knepley     ierr = DMPlexGetAdjacency_Support_Internal(dm, p, adjSize, *adj);CHKERRQ(ierr);
30070034214SMatthew G. Knepley   }
3015b317d89SToby Isaac   if (useAnchors && aSec) {
3028b0b4c70SToby Isaac     PetscInt origSize = *adjSize;
3038b0b4c70SToby Isaac     PetscInt numAdj = origSize;
3048b0b4c70SToby Isaac     PetscInt i = 0, j;
3058b0b4c70SToby Isaac     PetscInt *orig = *adj;
3068b0b4c70SToby Isaac 
3078b0b4c70SToby Isaac     while (i < origSize) {
3088b0b4c70SToby Isaac       PetscInt p = orig[i];
3098b0b4c70SToby Isaac       PetscInt aDof = 0;
3108b0b4c70SToby Isaac 
3118b0b4c70SToby Isaac       if (p >= aStart && p < aEnd) {
3128b0b4c70SToby Isaac         ierr = PetscSectionGetDof(aSec,p,&aDof);CHKERRQ(ierr);
3138b0b4c70SToby Isaac       }
3148b0b4c70SToby Isaac       if (aDof) {
3158b0b4c70SToby Isaac         PetscInt aOff;
3168b0b4c70SToby Isaac         PetscInt s, q;
3178b0b4c70SToby Isaac 
3188b0b4c70SToby Isaac         for (j = i + 1; j < numAdj; j++) {
3198b0b4c70SToby Isaac           orig[j - 1] = orig[j];
3208b0b4c70SToby Isaac         }
3218b0b4c70SToby Isaac         origSize--;
3228b0b4c70SToby Isaac         numAdj--;
3238b0b4c70SToby Isaac         ierr = PetscSectionGetOffset(aSec,p,&aOff);CHKERRQ(ierr);
3248b0b4c70SToby Isaac         for (s = 0; s < aDof; ++s) {
3258b0b4c70SToby Isaac           for (q = 0; q < numAdj || (orig[numAdj++] = anchors[aOff+s],0); ++q) {
3268b0b4c70SToby Isaac             if (anchors[aOff+s] == orig[q]) break;
3278b0b4c70SToby Isaac           }
3288b0b4c70SToby Isaac           if (numAdj > maxAdjSize) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Invalid mesh exceeded adjacency allocation (%D)", maxAdjSize);
3298b0b4c70SToby Isaac         }
3308b0b4c70SToby Isaac       }
3318b0b4c70SToby Isaac       else {
3328b0b4c70SToby Isaac         i++;
3338b0b4c70SToby Isaac       }
3348b0b4c70SToby Isaac     }
3358b0b4c70SToby Isaac     *adjSize = numAdj;
3368b0b4c70SToby Isaac     ierr = ISRestoreIndices(aIS,&anchors);CHKERRQ(ierr);
3378b0b4c70SToby Isaac   }
33870034214SMatthew G. Knepley   PetscFunctionReturn(0);
33970034214SMatthew G. Knepley }
34070034214SMatthew G. Knepley 
34170034214SMatthew G. Knepley #undef __FUNCT__
34270034214SMatthew G. Knepley #define __FUNCT__ "DMPlexGetAdjacency"
34370034214SMatthew G. Knepley /*@
34470034214SMatthew G. Knepley   DMPlexGetAdjacency - Return all points adjacent to the given point
34570034214SMatthew G. Knepley 
34670034214SMatthew G. Knepley   Input Parameters:
34770034214SMatthew G. Knepley + dm - The DM object
34870034214SMatthew G. Knepley . p  - The point
34970034214SMatthew G. Knepley . adjSize - The maximum size of adj if it is non-NULL, or PETSC_DETERMINE
35070034214SMatthew G. Knepley - adj - Either NULL so that the array is allocated, or an existing array with size adjSize
35170034214SMatthew G. Knepley 
35270034214SMatthew G. Knepley   Output Parameters:
35370034214SMatthew G. Knepley + adjSize - The number of adjacent points
35470034214SMatthew G. Knepley - adj - The adjacent points
35570034214SMatthew G. Knepley 
35670034214SMatthew G. Knepley   Level: advanced
35770034214SMatthew G. Knepley 
35870034214SMatthew G. Knepley   Notes: The user must PetscFree the adj array if it was not passed in.
35970034214SMatthew G. Knepley 
36070034214SMatthew G. Knepley .seealso: DMPlexSetAdjacencyUseCone(), DMPlexSetAdjacencyUseClosure(), DMPlexDistribute(), DMCreateMatrix(), DMPlexPreallocateOperator()
36170034214SMatthew G. Knepley @*/
36270034214SMatthew G. Knepley PetscErrorCode DMPlexGetAdjacency(DM dm, PetscInt p, PetscInt *adjSize, PetscInt *adj[])
36370034214SMatthew G. Knepley {
36470034214SMatthew G. Knepley   DM_Plex       *mesh = (DM_Plex *) dm->data;
36570034214SMatthew G. Knepley   PetscErrorCode ierr;
36670034214SMatthew G. Knepley 
36770034214SMatthew G. Knepley   PetscFunctionBeginHot;
36870034214SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
36970034214SMatthew G. Knepley   PetscValidPointer(adjSize,3);
37070034214SMatthew G. Knepley   PetscValidPointer(adj,4);
3715b317d89SToby Isaac   ierr = DMPlexGetAdjacency_Internal(dm, p, mesh->useCone, mesh->useClosure, mesh->useAnchors, adjSize, adj);CHKERRQ(ierr);
37270034214SMatthew G. Knepley   PetscFunctionReturn(0);
37370034214SMatthew G. Knepley }
37408633170SToby Isaac 
375b0a623aaSMatthew G. Knepley #undef __FUNCT__
376b0a623aaSMatthew G. Knepley #define __FUNCT__ "DMPlexCreateTwoSidedProcessSF"
377b0a623aaSMatthew G. Knepley /*@
378b0a623aaSMatthew G. Knepley   DMPlexCreateTwoSidedProcessSF - Create an SF which just has process connectivity
379b0a623aaSMatthew G. Knepley 
380b0a623aaSMatthew G. Knepley   Collective on DM
381b0a623aaSMatthew G. Knepley 
382b0a623aaSMatthew G. Knepley   Input Parameters:
383b0a623aaSMatthew G. Knepley + dm      - The DM
384b0a623aaSMatthew G. Knepley - sfPoint - The PetscSF which encodes point connectivity
385b0a623aaSMatthew G. Knepley 
386b0a623aaSMatthew G. Knepley   Output Parameters:
387b0a623aaSMatthew G. Knepley + processRanks - A list of process neighbors, or NULL
388b0a623aaSMatthew G. Knepley - sfProcess    - An SF encoding the two-sided process connectivity, or NULL
389b0a623aaSMatthew G. Knepley 
390b0a623aaSMatthew G. Knepley   Level: developer
391b0a623aaSMatthew G. Knepley 
392b0a623aaSMatthew G. Knepley .seealso: PetscSFCreate(), DMPlexCreateProcessSF()
393b0a623aaSMatthew G. Knepley @*/
394b0a623aaSMatthew G. Knepley PetscErrorCode DMPlexCreateTwoSidedProcessSF(DM dm, PetscSF sfPoint, PetscSection rootRankSection, IS rootRanks, PetscSection leafRankSection, IS leafRanks, IS *processRanks, PetscSF *sfProcess)
395b0a623aaSMatthew G. Knepley {
396b0a623aaSMatthew G. Knepley   const PetscSFNode *remotePoints;
397b0a623aaSMatthew G. Knepley   PetscInt          *localPointsNew;
398b0a623aaSMatthew G. Knepley   PetscSFNode       *remotePointsNew;
399b0a623aaSMatthew G. Knepley   const PetscInt    *nranks;
400b0a623aaSMatthew G. Knepley   PetscInt          *ranksNew;
401b0a623aaSMatthew G. Knepley   PetscBT            neighbors;
402b0a623aaSMatthew G. Knepley   PetscInt           pStart, pEnd, p, numLeaves, l, numNeighbors, n;
403b0a623aaSMatthew G. Knepley   PetscMPIInt        numProcs, proc, rank;
404b0a623aaSMatthew G. Knepley   PetscErrorCode     ierr;
405b0a623aaSMatthew G. Knepley 
406b0a623aaSMatthew G. Knepley   PetscFunctionBegin;
407b0a623aaSMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
408b0a623aaSMatthew G. Knepley   PetscValidHeaderSpecific(sfPoint, PETSCSF_CLASSID, 2);
409b0a623aaSMatthew G. Knepley   if (processRanks) {PetscValidPointer(processRanks, 3);}
410b0a623aaSMatthew G. Knepley   if (sfProcess)    {PetscValidPointer(sfProcess, 4);}
411b0a623aaSMatthew G. Knepley   ierr = MPI_Comm_size(PetscObjectComm((PetscObject) dm), &numProcs);CHKERRQ(ierr);
412b0a623aaSMatthew G. Knepley   ierr = MPI_Comm_rank(PetscObjectComm((PetscObject) dm), &rank);CHKERRQ(ierr);
413b0a623aaSMatthew G. Knepley   ierr = PetscSFGetGraph(sfPoint, NULL, &numLeaves, NULL, &remotePoints);CHKERRQ(ierr);
414b0a623aaSMatthew G. Knepley   ierr = PetscBTCreate(numProcs, &neighbors);CHKERRQ(ierr);
415b0a623aaSMatthew G. Knepley   ierr = PetscBTMemzero(numProcs, neighbors);CHKERRQ(ierr);
416b0a623aaSMatthew G. Knepley   /* Compute root-to-leaf process connectivity */
417b0a623aaSMatthew G. Knepley   ierr = PetscSectionGetChart(rootRankSection, &pStart, &pEnd);CHKERRQ(ierr);
418b0a623aaSMatthew G. Knepley   ierr = ISGetIndices(rootRanks, &nranks);CHKERRQ(ierr);
419b0a623aaSMatthew G. Knepley   for (p = pStart; p < pEnd; ++p) {
420b0a623aaSMatthew G. Knepley     PetscInt ndof, noff, n;
421b0a623aaSMatthew G. Knepley 
422b0a623aaSMatthew G. Knepley     ierr = PetscSectionGetDof(rootRankSection, p, &ndof);CHKERRQ(ierr);
423b0a623aaSMatthew G. Knepley     ierr = PetscSectionGetOffset(rootRankSection, p, &noff);CHKERRQ(ierr);
424302440fdSBarry Smith     for (n = 0; n < ndof; ++n) {ierr = PetscBTSet(neighbors, nranks[noff+n]);CHKERRQ(ierr);}
425b0a623aaSMatthew G. Knepley   }
426b0a623aaSMatthew G. Knepley   ierr = ISRestoreIndices(rootRanks, &nranks);CHKERRQ(ierr);
427b0a623aaSMatthew G. Knepley   /* Compute leaf-to-neighbor process connectivity */
428b0a623aaSMatthew G. Knepley   ierr = PetscSectionGetChart(leafRankSection, &pStart, &pEnd);CHKERRQ(ierr);
429b0a623aaSMatthew G. Knepley   ierr = ISGetIndices(leafRanks, &nranks);CHKERRQ(ierr);
430b0a623aaSMatthew G. Knepley   for (p = pStart; p < pEnd; ++p) {
431b0a623aaSMatthew G. Knepley     PetscInt ndof, noff, n;
432b0a623aaSMatthew G. Knepley 
433b0a623aaSMatthew G. Knepley     ierr = PetscSectionGetDof(leafRankSection, p, &ndof);CHKERRQ(ierr);
434b0a623aaSMatthew G. Knepley     ierr = PetscSectionGetOffset(leafRankSection, p, &noff);CHKERRQ(ierr);
435302440fdSBarry Smith     for (n = 0; n < ndof; ++n) {ierr = PetscBTSet(neighbors, nranks[noff+n]);CHKERRQ(ierr);}
436b0a623aaSMatthew G. Knepley   }
437b0a623aaSMatthew G. Knepley   ierr = ISRestoreIndices(leafRanks, &nranks);CHKERRQ(ierr);
438b0a623aaSMatthew G. Knepley   /* Compute leaf-to-root process connectivity */
439b0a623aaSMatthew G. Knepley   for (l = 0; l < numLeaves; ++l) {PetscBTSet(neighbors, remotePoints[l].rank);}
440b0a623aaSMatthew G. Knepley   /* Calculate edges */
441b0a623aaSMatthew G. Knepley   PetscBTClear(neighbors, rank);
442b0a623aaSMatthew G. Knepley   for(proc = 0, numNeighbors = 0; proc < numProcs; ++proc) {if (PetscBTLookup(neighbors, proc)) ++numNeighbors;}
443b0a623aaSMatthew G. Knepley   ierr = PetscMalloc1(numNeighbors, &ranksNew);CHKERRQ(ierr);
444b0a623aaSMatthew G. Knepley   ierr = PetscMalloc1(numNeighbors, &localPointsNew);CHKERRQ(ierr);
445b0a623aaSMatthew G. Knepley   ierr = PetscMalloc1(numNeighbors, &remotePointsNew);CHKERRQ(ierr);
446b0a623aaSMatthew G. Knepley   for(proc = 0, n = 0; proc < numProcs; ++proc) {
447b0a623aaSMatthew G. Knepley     if (PetscBTLookup(neighbors, proc)) {
448b0a623aaSMatthew G. Knepley       ranksNew[n]              = proc;
449b0a623aaSMatthew G. Knepley       localPointsNew[n]        = proc;
450b0a623aaSMatthew G. Knepley       remotePointsNew[n].index = rank;
451b0a623aaSMatthew G. Knepley       remotePointsNew[n].rank  = proc;
452b0a623aaSMatthew G. Knepley       ++n;
453b0a623aaSMatthew G. Knepley     }
454b0a623aaSMatthew G. Knepley   }
455b0a623aaSMatthew G. Knepley   ierr = PetscBTDestroy(&neighbors);CHKERRQ(ierr);
456b0a623aaSMatthew G. Knepley   if (processRanks) {ierr = ISCreateGeneral(PetscObjectComm((PetscObject)dm), numNeighbors, ranksNew, PETSC_OWN_POINTER, processRanks);CHKERRQ(ierr);}
457b0a623aaSMatthew G. Knepley   else              {ierr = PetscFree(ranksNew);CHKERRQ(ierr);}
458b0a623aaSMatthew G. Knepley   if (sfProcess) {
459b0a623aaSMatthew G. Knepley     ierr = PetscSFCreate(PetscObjectComm((PetscObject)dm), sfProcess);CHKERRQ(ierr);
460b0a623aaSMatthew G. Knepley     ierr = PetscObjectSetName((PetscObject) *sfProcess, "Two-Sided Process SF");CHKERRQ(ierr);
461b0a623aaSMatthew G. Knepley     ierr = PetscSFSetFromOptions(*sfProcess);CHKERRQ(ierr);
462b0a623aaSMatthew G. Knepley     ierr = PetscSFSetGraph(*sfProcess, numProcs, numNeighbors, localPointsNew, PETSC_OWN_POINTER, remotePointsNew, PETSC_OWN_POINTER);CHKERRQ(ierr);
463b0a623aaSMatthew G. Knepley   }
464b0a623aaSMatthew G. Knepley   PetscFunctionReturn(0);
465b0a623aaSMatthew G. Knepley }
466b0a623aaSMatthew G. Knepley 
467b0a623aaSMatthew G. Knepley #undef __FUNCT__
468b0a623aaSMatthew G. Knepley #define __FUNCT__ "DMPlexDistributeOwnership"
469b0a623aaSMatthew G. Knepley /*@
470b0a623aaSMatthew G. Knepley   DMPlexDistributeOwnership - Compute owner information for shared points. This basically gets two-sided for an SF.
471b0a623aaSMatthew G. Knepley 
472b0a623aaSMatthew G. Knepley   Collective on DM
473b0a623aaSMatthew G. Knepley 
474b0a623aaSMatthew G. Knepley   Input Parameter:
475b0a623aaSMatthew G. Knepley . dm - The DM
476b0a623aaSMatthew G. Knepley 
477b0a623aaSMatthew G. Knepley   Output Parameters:
478b0a623aaSMatthew G. Knepley + rootSection - The number of leaves for a given root point
479b0a623aaSMatthew G. Knepley . rootrank    - The rank of each edge into the root point
480b0a623aaSMatthew G. Knepley . leafSection - The number of processes sharing a given leaf point
481b0a623aaSMatthew G. Knepley - leafrank    - The rank of each process sharing a leaf point
482b0a623aaSMatthew G. Knepley 
483b0a623aaSMatthew G. Knepley   Level: developer
484b0a623aaSMatthew G. Knepley 
485b0a623aaSMatthew G. Knepley .seealso: DMPlexCreateOverlap()
486b0a623aaSMatthew G. Knepley @*/
487b0a623aaSMatthew G. Knepley PetscErrorCode DMPlexDistributeOwnership(DM dm, PetscSection rootSection, IS *rootrank, PetscSection leafSection, IS *leafrank)
488b0a623aaSMatthew G. Knepley {
489b0a623aaSMatthew G. Knepley   MPI_Comm        comm;
490b0a623aaSMatthew G. Knepley   PetscSF         sfPoint;
491b0a623aaSMatthew G. Knepley   const PetscInt *rootdegree;
492b0a623aaSMatthew G. Knepley   PetscInt       *myrank, *remoterank;
493b0a623aaSMatthew G. Knepley   PetscInt        pStart, pEnd, p, nedges;
494b0a623aaSMatthew G. Knepley   PetscMPIInt     rank;
495b0a623aaSMatthew G. Knepley   PetscErrorCode  ierr;
496b0a623aaSMatthew G. Knepley 
497b0a623aaSMatthew G. Knepley   PetscFunctionBegin;
498b0a623aaSMatthew G. Knepley   ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr);
499b0a623aaSMatthew G. Knepley   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
500b0a623aaSMatthew G. Knepley   ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr);
501b0a623aaSMatthew G. Knepley   ierr = DMGetPointSF(dm, &sfPoint);CHKERRQ(ierr);
502b0a623aaSMatthew G. Knepley   /* Compute number of leaves for each root */
503b0a623aaSMatthew G. Knepley   ierr = PetscObjectSetName((PetscObject) rootSection, "Root Section");CHKERRQ(ierr);
504b0a623aaSMatthew G. Knepley   ierr = PetscSectionSetChart(rootSection, pStart, pEnd);CHKERRQ(ierr);
505b0a623aaSMatthew G. Knepley   ierr = PetscSFComputeDegreeBegin(sfPoint, &rootdegree);CHKERRQ(ierr);
506b0a623aaSMatthew G. Knepley   ierr = PetscSFComputeDegreeEnd(sfPoint, &rootdegree);CHKERRQ(ierr);
507b0a623aaSMatthew G. Knepley   for (p = pStart; p < pEnd; ++p) {ierr = PetscSectionSetDof(rootSection, p, rootdegree[p-pStart]);CHKERRQ(ierr);}
508b0a623aaSMatthew G. Knepley   ierr = PetscSectionSetUp(rootSection);CHKERRQ(ierr);
509b0a623aaSMatthew G. Knepley   /* Gather rank of each leaf to root */
510b0a623aaSMatthew G. Knepley   ierr = PetscSectionGetStorageSize(rootSection, &nedges);CHKERRQ(ierr);
511b0a623aaSMatthew G. Knepley   ierr = PetscMalloc1(pEnd-pStart, &myrank);CHKERRQ(ierr);
512b0a623aaSMatthew G. Knepley   ierr = PetscMalloc1(nedges,  &remoterank);CHKERRQ(ierr);
513b0a623aaSMatthew G. Knepley   for (p = 0; p < pEnd-pStart; ++p) myrank[p] = rank;
514b0a623aaSMatthew G. Knepley   ierr = PetscSFGatherBegin(sfPoint, MPIU_INT, myrank, remoterank);CHKERRQ(ierr);
515b0a623aaSMatthew G. Knepley   ierr = PetscSFGatherEnd(sfPoint, MPIU_INT, myrank, remoterank);CHKERRQ(ierr);
516b0a623aaSMatthew G. Knepley   ierr = PetscFree(myrank);CHKERRQ(ierr);
517b0a623aaSMatthew G. Knepley   ierr = ISCreateGeneral(comm, nedges, remoterank, PETSC_OWN_POINTER, rootrank);CHKERRQ(ierr);
518b0a623aaSMatthew G. Knepley   /* Distribute remote ranks to leaves */
519b0a623aaSMatthew G. Knepley   ierr = PetscObjectSetName((PetscObject) leafSection, "Leaf Section");CHKERRQ(ierr);
520b0a623aaSMatthew G. Knepley   ierr = DMPlexDistributeFieldIS(dm, sfPoint, rootSection, *rootrank, leafSection, leafrank);CHKERRQ(ierr);
521b0a623aaSMatthew G. Knepley   PetscFunctionReturn(0);
522b0a623aaSMatthew G. Knepley }
523b0a623aaSMatthew G. Knepley 
524b0a623aaSMatthew G. Knepley #undef __FUNCT__
525b0a623aaSMatthew G. Knepley #define __FUNCT__ "DMPlexCreateOverlap"
526278397a0SMatthew G. Knepley /*@C
527b0a623aaSMatthew G. Knepley   DMPlexCreateOverlap - Compute owner information for shared points. This basically gets two-sided for an SF.
528b0a623aaSMatthew G. Knepley 
529b0a623aaSMatthew G. Knepley   Collective on DM
530b0a623aaSMatthew G. Knepley 
531b0a623aaSMatthew G. Knepley   Input Parameters:
532b0a623aaSMatthew G. Knepley + dm          - The DM
53324d039d7SMichael Lange . levels      - Number of overlap levels
534b0a623aaSMatthew G. Knepley . rootSection - The number of leaves for a given root point
535b0a623aaSMatthew G. Knepley . rootrank    - The rank of each edge into the root point
536b0a623aaSMatthew G. Knepley . leafSection - The number of processes sharing a given leaf point
537b0a623aaSMatthew G. Knepley - leafrank    - The rank of each process sharing a leaf point
538b0a623aaSMatthew G. Knepley 
539b0a623aaSMatthew G. Knepley   Output Parameters:
540a9f1d5b2SMichael Lange + ovLabel     - DMLabel containing remote overlap contributions as point/rank pairings
541b0a623aaSMatthew G. Knepley 
542b0a623aaSMatthew G. Knepley   Level: developer
543b0a623aaSMatthew G. Knepley 
5441fd9873aSMichael Lange .seealso: DMPlexDistributeOwnership(), DMPlexDistribute()
545b0a623aaSMatthew G. Knepley @*/
546a9f1d5b2SMichael Lange PetscErrorCode DMPlexCreateOverlap(DM dm, PetscInt levels, PetscSection rootSection, IS rootrank, PetscSection leafSection, IS leafrank, DMLabel *ovLabel)
547b0a623aaSMatthew G. Knepley {
548e540f424SMichael Lange   MPI_Comm           comm;
549b0a623aaSMatthew G. Knepley   DMLabel            ovAdjByRank; /* A DMLabel containing all points adjacent to shared points, separated by rank (value in label) */
550b0a623aaSMatthew G. Knepley   PetscSF            sfPoint, sfProc;
551b0a623aaSMatthew G. Knepley   const PetscSFNode *remote;
552b0a623aaSMatthew G. Knepley   const PetscInt    *local;
5531fd9873aSMichael Lange   const PetscInt    *nrank, *rrank;
554b0a623aaSMatthew G. Knepley   PetscInt          *adj = NULL;
5551fd9873aSMichael Lange   PetscInt           pStart, pEnd, p, sStart, sEnd, nleaves, l;
556b0a623aaSMatthew G. Knepley   PetscMPIInt        rank, numProcs;
55726a7d390SMatthew G. Knepley   PetscBool          useCone, useClosure, flg;
558b0a623aaSMatthew G. Knepley   PetscErrorCode     ierr;
559b0a623aaSMatthew G. Knepley 
560b0a623aaSMatthew G. Knepley   PetscFunctionBegin;
561e540f424SMichael Lange   ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr);
562e540f424SMichael Lange   ierr = MPI_Comm_size(comm, &numProcs);CHKERRQ(ierr);
563e540f424SMichael Lange   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
564b0a623aaSMatthew G. Knepley   ierr = DMGetPointSF(dm, &sfPoint);CHKERRQ(ierr);
565b0a623aaSMatthew G. Knepley   ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr);
566b0a623aaSMatthew G. Knepley   ierr = PetscSectionGetChart(leafSection, &sStart, &sEnd);CHKERRQ(ierr);
567b0a623aaSMatthew G. Knepley   ierr = PetscSFGetGraph(sfPoint, NULL, &nleaves, &local, &remote);CHKERRQ(ierr);
568b0a623aaSMatthew G. Knepley   ierr = DMLabelCreate("Overlap adjacency", &ovAdjByRank);CHKERRQ(ierr);
569b0a623aaSMatthew G. Knepley   /* Handle leaves: shared with the root point */
570b0a623aaSMatthew G. Knepley   for (l = 0; l < nleaves; ++l) {
571b0a623aaSMatthew G. Knepley     PetscInt adjSize = PETSC_DETERMINE, a;
572b0a623aaSMatthew G. Knepley 
573b0a623aaSMatthew G. Knepley     ierr = DMPlexGetAdjacency(dm, local[l], &adjSize, &adj);CHKERRQ(ierr);
574b0a623aaSMatthew G. Knepley     for (a = 0; a < adjSize; ++a) {ierr = DMLabelSetValue(ovAdjByRank, adj[a], remote[l].rank);CHKERRQ(ierr);}
575b0a623aaSMatthew G. Knepley   }
576b0a623aaSMatthew G. Knepley   ierr = ISGetIndices(rootrank, &rrank);CHKERRQ(ierr);
577b0a623aaSMatthew G. Knepley   ierr = ISGetIndices(leafrank, &nrank);CHKERRQ(ierr);
578b0a623aaSMatthew G. Knepley   /* Handle roots */
579b0a623aaSMatthew G. Knepley   for (p = pStart; p < pEnd; ++p) {
580b0a623aaSMatthew G. Knepley     PetscInt adjSize = PETSC_DETERMINE, neighbors = 0, noff, n, a;
581b0a623aaSMatthew G. Knepley 
582b0a623aaSMatthew G. Knepley     if ((p >= sStart) && (p < sEnd)) {
583b0a623aaSMatthew G. Knepley       /* Some leaves share a root with other leaves on different processes */
584b0a623aaSMatthew G. Knepley       ierr = PetscSectionGetDof(leafSection, p, &neighbors);CHKERRQ(ierr);
585b0a623aaSMatthew G. Knepley       if (neighbors) {
586b0a623aaSMatthew G. Knepley         ierr = PetscSectionGetOffset(leafSection, p, &noff);CHKERRQ(ierr);
587b0a623aaSMatthew G. Knepley         ierr = DMPlexGetAdjacency(dm, p, &adjSize, &adj);CHKERRQ(ierr);
588b0a623aaSMatthew G. Knepley         for (n = 0; n < neighbors; ++n) {
589b0a623aaSMatthew G. Knepley           const PetscInt remoteRank = nrank[noff+n];
590b0a623aaSMatthew G. Knepley 
591b0a623aaSMatthew G. Knepley           if (remoteRank == rank) continue;
592b0a623aaSMatthew G. Knepley           for (a = 0; a < adjSize; ++a) {ierr = DMLabelSetValue(ovAdjByRank, adj[a], remoteRank);CHKERRQ(ierr);}
593b0a623aaSMatthew G. Knepley         }
594b0a623aaSMatthew G. Knepley       }
595b0a623aaSMatthew G. Knepley     }
596b0a623aaSMatthew G. Knepley     /* Roots are shared with leaves */
597b0a623aaSMatthew G. Knepley     ierr = PetscSectionGetDof(rootSection, p, &neighbors);CHKERRQ(ierr);
598b0a623aaSMatthew G. Knepley     if (!neighbors) continue;
599b0a623aaSMatthew G. Knepley     ierr = PetscSectionGetOffset(rootSection, p, &noff);CHKERRQ(ierr);
600b0a623aaSMatthew G. Knepley     ierr = DMPlexGetAdjacency(dm, p, &adjSize, &adj);CHKERRQ(ierr);
601b0a623aaSMatthew G. Knepley     for (n = 0; n < neighbors; ++n) {
602b0a623aaSMatthew G. Knepley       const PetscInt remoteRank = rrank[noff+n];
603b0a623aaSMatthew G. Knepley 
604b0a623aaSMatthew G. Knepley       if (remoteRank == rank) continue;
605b0a623aaSMatthew G. Knepley       for (a = 0; a < adjSize; ++a) {ierr = DMLabelSetValue(ovAdjByRank, adj[a], remoteRank);CHKERRQ(ierr);}
606b0a623aaSMatthew G. Knepley     }
607b0a623aaSMatthew G. Knepley   }
608b0a623aaSMatthew G. Knepley   ierr = PetscFree(adj);CHKERRQ(ierr);
609b0a623aaSMatthew G. Knepley   ierr = ISRestoreIndices(rootrank, &rrank);CHKERRQ(ierr);
610b0a623aaSMatthew G. Knepley   ierr = ISRestoreIndices(leafrank, &nrank);CHKERRQ(ierr);
61124d039d7SMichael Lange   /* Add additional overlap levels */
61224d039d7SMichael Lange   for (l = 1; l < levels; l++) {ierr = DMPlexPartitionLabelAdjacency(dm, ovAdjByRank);CHKERRQ(ierr);}
61326a7d390SMatthew G. Knepley   /* We require the closure in the overlap */
61426a7d390SMatthew G. Knepley   ierr = DMPlexGetAdjacencyUseCone(dm, &useCone);CHKERRQ(ierr);
61526a7d390SMatthew G. Knepley   ierr = DMPlexGetAdjacencyUseClosure(dm, &useClosure);CHKERRQ(ierr);
61626a7d390SMatthew G. Knepley   if (useCone || !useClosure) {
6175abbe4feSMichael Lange     ierr = DMPlexPartitionLabelClosure(dm, ovAdjByRank);CHKERRQ(ierr);
61826a7d390SMatthew G. Knepley   }
619e540f424SMichael Lange   ierr = PetscOptionsHasName(((PetscObject) dm)->prefix, "-overlap_view", &flg);CHKERRQ(ierr);
620e540f424SMichael Lange   if (flg) {
621b0a623aaSMatthew G. Knepley     ierr = DMLabelView(ovAdjByRank, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
622b0a623aaSMatthew G. Knepley   }
6231fd9873aSMichael Lange   /* Make process SF and invert sender to receiver label */
624b0a623aaSMatthew G. Knepley   ierr = DMPlexCreateTwoSidedProcessSF(dm, sfPoint, rootSection, rootrank, leafSection, leafrank, NULL, &sfProc);CHKERRQ(ierr);
625a9f1d5b2SMichael Lange   ierr = DMLabelCreate("Overlap label", ovLabel);CHKERRQ(ierr);
626a9f1d5b2SMichael Lange   ierr = DMPlexPartitionLabelInvert(dm, ovAdjByRank, sfProc, *ovLabel);CHKERRQ(ierr);
627a9f1d5b2SMichael Lange   /* Add owned points, except for shared local points */
628a9f1d5b2SMichael Lange   for (p = pStart; p < pEnd; ++p) {ierr = DMLabelSetValue(*ovLabel, p, rank);CHKERRQ(ierr);}
629e540f424SMichael Lange   for (l = 0; l < nleaves; ++l) {
630a9f1d5b2SMichael Lange     ierr = DMLabelClearValue(*ovLabel, local[l], rank);CHKERRQ(ierr);
631a9f1d5b2SMichael Lange     ierr = DMLabelSetValue(*ovLabel, remote[l].index, remote[l].rank);CHKERRQ(ierr);
632e540f424SMichael Lange   }
633e540f424SMichael Lange   /* Clean up */
6341fd9873aSMichael Lange   ierr = DMLabelDestroy(&ovAdjByRank);CHKERRQ(ierr);
635b0a623aaSMatthew G. Knepley   ierr = PetscSFDestroy(&sfProc);CHKERRQ(ierr);
636b0a623aaSMatthew G. Knepley   PetscFunctionReturn(0);
637b0a623aaSMatthew G. Knepley }
63870034214SMatthew G. Knepley 
63970034214SMatthew G. Knepley #undef __FUNCT__
64046f9b1c3SMichael Lange #define __FUNCT__ "DMPlexCreateOverlapMigrationSF"
64146f9b1c3SMichael Lange PetscErrorCode DMPlexCreateOverlapMigrationSF(DM dm, PetscSF overlapSF, PetscSF *migrationSF)
64246f9b1c3SMichael Lange {
64346f9b1c3SMichael Lange   MPI_Comm           comm;
64446f9b1c3SMichael Lange   PetscMPIInt        rank, numProcs;
64546f9b1c3SMichael Lange   PetscInt           d, dim, p, pStart, pEnd, nroots, nleaves, newLeaves, point, numSharedPoints;
64646f9b1c3SMichael Lange   PetscInt          *pointDepths, *remoteDepths, *ilocal;
64746f9b1c3SMichael Lange   PetscInt          *depthRecv, *depthShift, *depthIdx;
64846f9b1c3SMichael Lange   PetscSFNode       *iremote;
64946f9b1c3SMichael Lange   PetscSF            pointSF;
65046f9b1c3SMichael Lange   const PetscInt    *sharedLocal;
65146f9b1c3SMichael Lange   const PetscSFNode *overlapRemote, *sharedRemote;
65246f9b1c3SMichael Lange   PetscErrorCode     ierr;
65346f9b1c3SMichael Lange 
65446f9b1c3SMichael Lange   PetscFunctionBegin;
65546f9b1c3SMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
65646f9b1c3SMichael Lange   ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr);
65746f9b1c3SMichael Lange   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
65846f9b1c3SMichael Lange   ierr = MPI_Comm_size(comm, &numProcs);CHKERRQ(ierr);
65946f9b1c3SMichael Lange   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
66046f9b1c3SMichael Lange 
66146f9b1c3SMichael Lange   /* Before building the migration SF we need to know the new stratum offsets */
66246f9b1c3SMichael Lange   ierr = PetscSFGetGraph(overlapSF, &nroots, &nleaves, NULL, &overlapRemote);CHKERRQ(ierr);
66346f9b1c3SMichael Lange   ierr = PetscMalloc2(nroots, &pointDepths, nleaves, &remoteDepths);CHKERRQ(ierr);
66446f9b1c3SMichael Lange   for (d=0; d<dim+1; d++) {
66546f9b1c3SMichael Lange     ierr = DMPlexGetDepthStratum(dm, d, &pStart, &pEnd);CHKERRQ(ierr);
66646f9b1c3SMichael Lange     for (p=pStart; p<pEnd; p++) pointDepths[p] = d;
66746f9b1c3SMichael Lange   }
66846f9b1c3SMichael Lange   for (p=0; p<nleaves; p++) remoteDepths[p] = -1;
66946f9b1c3SMichael Lange   ierr = PetscSFBcastBegin(overlapSF, MPIU_INT, pointDepths, remoteDepths);CHKERRQ(ierr);
67046f9b1c3SMichael Lange   ierr = PetscSFBcastEnd(overlapSF, MPIU_INT, pointDepths, remoteDepths);CHKERRQ(ierr);
67146f9b1c3SMichael Lange 
67246f9b1c3SMichael Lange   /* Count recevied points in each stratum and compute the internal strata shift */
67346f9b1c3SMichael Lange   ierr = PetscMalloc3(dim+1, &depthRecv, dim+1, &depthShift, dim+1, &depthIdx);CHKERRQ(ierr);
67446f9b1c3SMichael Lange   for (d=0; d<dim+1; d++) depthRecv[d]=0;
67546f9b1c3SMichael Lange   for (p=0; p<nleaves; p++) depthRecv[remoteDepths[p]]++;
67646f9b1c3SMichael Lange   depthShift[dim] = 0;
67746f9b1c3SMichael Lange   for (d=0; d<dim; d++) depthShift[d] = depthRecv[dim];
67846f9b1c3SMichael Lange   for (d=1; d<dim; d++) depthShift[d] += depthRecv[0];
67946f9b1c3SMichael Lange   for (d=dim-2; d>0; d--) depthShift[d] += depthRecv[d+1];
68046f9b1c3SMichael Lange   for (d=0; d<dim+1; d++) {
68146f9b1c3SMichael Lange     ierr = DMPlexGetDepthStratum(dm, d, &pStart, &pEnd);CHKERRQ(ierr);
68246f9b1c3SMichael Lange     depthIdx[d] = pStart + depthShift[d];
68346f9b1c3SMichael Lange   }
68446f9b1c3SMichael Lange 
68546f9b1c3SMichael Lange   /* Form the overlap SF build an SF that describes the full overlap migration SF */
68646f9b1c3SMichael Lange   ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr);
68746f9b1c3SMichael Lange   newLeaves = pEnd - pStart + nleaves;
68809b7985cSMatthew G. Knepley   ierr = PetscMalloc1(newLeaves, &ilocal);CHKERRQ(ierr);
68909b7985cSMatthew G. Knepley   ierr = PetscMalloc1(newLeaves, &iremote);CHKERRQ(ierr);
69046f9b1c3SMichael Lange   /* First map local points to themselves */
69146f9b1c3SMichael Lange   for (d=0; d<dim+1; d++) {
69246f9b1c3SMichael Lange     ierr = DMPlexGetDepthStratum(dm, d, &pStart, &pEnd);CHKERRQ(ierr);
69346f9b1c3SMichael Lange     for (p=pStart; p<pEnd; p++) {
69446f9b1c3SMichael Lange       point = p + depthShift[d];
69546f9b1c3SMichael Lange       ilocal[point] = point;
69646f9b1c3SMichael Lange       iremote[point].index = p;
69746f9b1c3SMichael Lange       iremote[point].rank = rank;
69846f9b1c3SMichael Lange       depthIdx[d]++;
69946f9b1c3SMichael Lange     }
70046f9b1c3SMichael Lange   }
70146f9b1c3SMichael Lange 
70246f9b1c3SMichael Lange   /* Add in the remote roots for currently shared points */
70346f9b1c3SMichael Lange   ierr = DMGetPointSF(dm, &pointSF);CHKERRQ(ierr);
70446f9b1c3SMichael Lange   ierr = PetscSFGetGraph(pointSF, NULL, &numSharedPoints, &sharedLocal, &sharedRemote);CHKERRQ(ierr);
70546f9b1c3SMichael Lange   for (d=0; d<dim+1; d++) {
70646f9b1c3SMichael Lange     ierr = DMPlexGetDepthStratum(dm, d, &pStart, &pEnd);CHKERRQ(ierr);
70746f9b1c3SMichael Lange     for (p=0; p<numSharedPoints; p++) {
70846f9b1c3SMichael Lange       if (pStart <= sharedLocal[p] && sharedLocal[p] < pEnd) {
70946f9b1c3SMichael Lange         point = sharedLocal[p] + depthShift[d];
71046f9b1c3SMichael Lange         iremote[point].index = sharedRemote[p].index;
71146f9b1c3SMichael Lange         iremote[point].rank = sharedRemote[p].rank;
71246f9b1c3SMichael Lange       }
71346f9b1c3SMichael Lange     }
71446f9b1c3SMichael Lange   }
71546f9b1c3SMichael Lange 
71646f9b1c3SMichael Lange   /* Now add the incoming overlap points */
71746f9b1c3SMichael Lange   for (p=0; p<nleaves; p++) {
71846f9b1c3SMichael Lange     point = depthIdx[remoteDepths[p]];
71946f9b1c3SMichael Lange     ilocal[point] = point;
72046f9b1c3SMichael Lange     iremote[point].index = overlapRemote[p].index;
72146f9b1c3SMichael Lange     iremote[point].rank = overlapRemote[p].rank;
72246f9b1c3SMichael Lange     depthIdx[remoteDepths[p]]++;
72346f9b1c3SMichael Lange   }
72415fff7beSMatthew G. Knepley   ierr = PetscFree2(pointDepths,remoteDepths);CHKERRQ(ierr);
72546f9b1c3SMichael Lange 
72646f9b1c3SMichael Lange   ierr = PetscSFCreate(comm, migrationSF);CHKERRQ(ierr);
72746f9b1c3SMichael Lange   ierr = PetscObjectSetName((PetscObject) *migrationSF, "Overlap Migration SF");CHKERRQ(ierr);
72846f9b1c3SMichael Lange   ierr = PetscSFSetFromOptions(*migrationSF);CHKERRQ(ierr);
72946f9b1c3SMichael Lange   ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr);
73046f9b1c3SMichael Lange   ierr = PetscSFSetGraph(*migrationSF, pEnd-pStart, newLeaves, ilocal, PETSC_OWN_POINTER, iremote, PETSC_OWN_POINTER);CHKERRQ(ierr);
73146f9b1c3SMichael Lange 
73246f9b1c3SMichael Lange   ierr = PetscFree3(depthRecv, depthShift, depthIdx);CHKERRQ(ierr);
73370034214SMatthew G. Knepley   PetscFunctionReturn(0);
73470034214SMatthew G. Knepley }
73570034214SMatthew G. Knepley 
73670034214SMatthew G. Knepley #undef __FUNCT__
737a9f1d5b2SMichael Lange #define __FUNCT__ "DMPlexStratifyMigrationSF"
738a9f1d5b2SMichael Lange /*@
739a9f1d5b2SMichael Lange   DMPlexStratifyMigrationSF - Add partition overlap to a distributed non-overlapping DM.
740a9f1d5b2SMichael Lange 
741a9f1d5b2SMichael Lange   Input Parameter:
742a9f1d5b2SMichael Lange + dm          - The DM
743a9f1d5b2SMichael Lange - sf          - A star forest with non-ordered leaves, usually defining a DM point migration
744a9f1d5b2SMichael Lange 
745a9f1d5b2SMichael Lange   Output Parameter:
746a9f1d5b2SMichael Lange . migrationSF - A star forest with added leaf indirection that ensures the resulting DM is stratified
747a9f1d5b2SMichael Lange 
748a9f1d5b2SMichael Lange   Level: developer
749a9f1d5b2SMichael Lange 
750a9f1d5b2SMichael Lange .seealso: DMPlexPartitionLabelCreateSF(), DMPlexDistribute(), DMPlexDistributeOverlap()
751a9f1d5b2SMichael Lange @*/
752a9f1d5b2SMichael Lange PetscErrorCode DMPlexStratifyMigrationSF(DM dm, PetscSF sf, PetscSF *migrationSF)
753a9f1d5b2SMichael Lange {
754a9f1d5b2SMichael Lange   MPI_Comm           comm;
755a9f1d5b2SMichael Lange   PetscMPIInt        rank, numProcs;
7567fab53ddSMatthew G. Knepley   PetscInt           d, ldepth, depth, p, pStart, pEnd, nroots, nleaves;
757a9f1d5b2SMichael Lange   PetscInt          *pointDepths, *remoteDepths, *ilocal;
758a9f1d5b2SMichael Lange   PetscInt          *depthRecv, *depthShift, *depthIdx;
759a9f1d5b2SMichael Lange   const PetscSFNode *iremote;
760a9f1d5b2SMichael Lange   PetscErrorCode     ierr;
761a9f1d5b2SMichael Lange 
762a9f1d5b2SMichael Lange   PetscFunctionBegin;
763a9f1d5b2SMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
764a9f1d5b2SMichael Lange   ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr);
765a9f1d5b2SMichael Lange   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
766a9f1d5b2SMichael Lange   ierr = MPI_Comm_size(comm, &numProcs);CHKERRQ(ierr);
7677fab53ddSMatthew G. Knepley   ierr = DMPlexGetDepth(dm, &ldepth);CHKERRQ(ierr);
7687fab53ddSMatthew G. Knepley   ierr = MPI_Allreduce(&ldepth, &depth, 1, MPIU_INT, MPI_MAX, comm);CHKERRQ(ierr);
7697fab53ddSMatthew G. Knepley   if ((ldepth >= 0) && (depth != ldepth)) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Inconsistent Plex depth %d != %d", ldepth, depth);
770a9f1d5b2SMichael Lange 
771a9f1d5b2SMichael Lange   /* Before building the migration SF we need to know the new stratum offsets */
772a9f1d5b2SMichael Lange   ierr = PetscSFGetGraph(sf, &nroots, &nleaves, NULL, &iremote);CHKERRQ(ierr);
773a9f1d5b2SMichael Lange   ierr = PetscMalloc2(nroots, &pointDepths, nleaves, &remoteDepths);CHKERRQ(ierr);
7747fab53ddSMatthew G. Knepley   for (d = 0; d < depth+1; ++d) {
775a9f1d5b2SMichael Lange     ierr = DMPlexGetDepthStratum(dm, d, &pStart, &pEnd);CHKERRQ(ierr);
7767fab53ddSMatthew G. Knepley     for (p = pStart; p < pEnd; ++p) pointDepths[p] = d;
777a9f1d5b2SMichael Lange   }
7787fab53ddSMatthew G. Knepley   for (p = 0; p < nleaves; ++p) remoteDepths[p] = -1;
779a9f1d5b2SMichael Lange   ierr = PetscSFBcastBegin(sf, MPIU_INT, pointDepths, remoteDepths);CHKERRQ(ierr);
780a9f1d5b2SMichael Lange   ierr = PetscSFBcastEnd(sf, MPIU_INT, pointDepths, remoteDepths);CHKERRQ(ierr);
781a9f1d5b2SMichael Lange   /* Count recevied points in each stratum and compute the internal strata shift */
7827fab53ddSMatthew G. Knepley   ierr = PetscMalloc3(depth+1, &depthRecv, depth+1, &depthShift, depth+1, &depthIdx);CHKERRQ(ierr);
7837fab53ddSMatthew G. Knepley   for (d = 0; d < depth+1; ++d) depthRecv[d] = 0;
7847fab53ddSMatthew G. Knepley   for (p = 0; p < nleaves; ++p) depthRecv[remoteDepths[p]]++;
7857fab53ddSMatthew G. Knepley   depthShift[depth] = 0;
7867fab53ddSMatthew G. Knepley   for (d = 0; d < depth; ++d) depthShift[d] = depthRecv[depth];
7877fab53ddSMatthew G. Knepley   for (d = 1; d < depth; ++d) depthShift[d] += depthRecv[0];
7887fab53ddSMatthew G. Knepley   for (d = depth-2; d > 0; --d) depthShift[d] += depthRecv[d+1];
7897fab53ddSMatthew G. Knepley   for (d = 0; d < depth+1; ++d) {depthIdx[d] = 0;}
790a9f1d5b2SMichael Lange   /* Derive a new local permutation based on stratified indices */
791a9f1d5b2SMichael Lange   ierr = PetscMalloc1(nleaves, &ilocal);CHKERRQ(ierr);
7927fab53ddSMatthew G. Knepley   for (p = 0; p < nleaves; ++p) {
7937fab53ddSMatthew G. Knepley     const PetscInt dep = remoteDepths[p];
7947fab53ddSMatthew G. Knepley 
7957fab53ddSMatthew G. Knepley     ilocal[p] = depthShift[dep] + depthIdx[dep];
7967fab53ddSMatthew G. Knepley     depthIdx[dep]++;
797a9f1d5b2SMichael Lange   }
798a9f1d5b2SMichael Lange   ierr = PetscSFCreate(comm, migrationSF);CHKERRQ(ierr);
799a9f1d5b2SMichael Lange   ierr = PetscObjectSetName((PetscObject) *migrationSF, "Migration SF");CHKERRQ(ierr);
800a9f1d5b2SMichael Lange   ierr = PetscSFSetGraph(*migrationSF, nroots, nleaves, ilocal, PETSC_OWN_POINTER, iremote, PETSC_COPY_VALUES);CHKERRQ(ierr);
801a9f1d5b2SMichael Lange   ierr = PetscFree2(pointDepths,remoteDepths);CHKERRQ(ierr);
802a9f1d5b2SMichael Lange   ierr = PetscFree3(depthRecv, depthShift, depthIdx);CHKERRQ(ierr);
803a9f1d5b2SMichael Lange   PetscFunctionReturn(0);
804a9f1d5b2SMichael Lange }
805a9f1d5b2SMichael Lange 
806a9f1d5b2SMichael Lange #undef __FUNCT__
80770034214SMatthew G. Knepley #define __FUNCT__ "DMPlexDistributeField"
80870034214SMatthew G. Knepley /*@
80970034214SMatthew G. Knepley   DMPlexDistributeField - Distribute field data to match a given PetscSF, usually the SF from mesh distribution
81070034214SMatthew G. Knepley 
81170034214SMatthew G. Knepley   Collective on DM
81270034214SMatthew G. Knepley 
81370034214SMatthew G. Knepley   Input Parameters:
81470034214SMatthew G. Knepley + dm - The DMPlex object
81570034214SMatthew G. Knepley . pointSF - The PetscSF describing the communication pattern
81670034214SMatthew G. Knepley . originalSection - The PetscSection for existing data layout
81770034214SMatthew G. Knepley - originalVec - The existing data
81870034214SMatthew G. Knepley 
81970034214SMatthew G. Knepley   Output Parameters:
82070034214SMatthew G. Knepley + newSection - The PetscSF describing the new data layout
82170034214SMatthew G. Knepley - newVec - The new data
82270034214SMatthew G. Knepley 
82370034214SMatthew G. Knepley   Level: developer
82470034214SMatthew G. Knepley 
82570034214SMatthew G. Knepley .seealso: DMPlexDistribute(), DMPlexDistributeFieldIS(), DMPlexDistributeData()
82670034214SMatthew G. Knepley @*/
82770034214SMatthew G. Knepley PetscErrorCode DMPlexDistributeField(DM dm, PetscSF pointSF, PetscSection originalSection, Vec originalVec, PetscSection newSection, Vec newVec)
82870034214SMatthew G. Knepley {
82970034214SMatthew G. Knepley   PetscSF        fieldSF;
83070034214SMatthew G. Knepley   PetscInt      *remoteOffsets, fieldSize;
83170034214SMatthew G. Knepley   PetscScalar   *originalValues, *newValues;
83270034214SMatthew G. Knepley   PetscErrorCode ierr;
83370034214SMatthew G. Knepley 
83470034214SMatthew G. Knepley   PetscFunctionBegin;
83570034214SMatthew G. Knepley   ierr = PetscLogEventBegin(DMPLEX_DistributeField,dm,0,0,0);CHKERRQ(ierr);
83670034214SMatthew G. Knepley   ierr = PetscSFDistributeSection(pointSF, originalSection, &remoteOffsets, newSection);CHKERRQ(ierr);
83770034214SMatthew G. Knepley 
83870034214SMatthew G. Knepley   ierr = PetscSectionGetStorageSize(newSection, &fieldSize);CHKERRQ(ierr);
83970034214SMatthew G. Knepley   ierr = VecSetSizes(newVec, fieldSize, PETSC_DETERMINE);CHKERRQ(ierr);
84070034214SMatthew G. Knepley   ierr = VecSetType(newVec,dm->vectype);CHKERRQ(ierr);
84170034214SMatthew G. Knepley 
84270034214SMatthew G. Knepley   ierr = VecGetArray(originalVec, &originalValues);CHKERRQ(ierr);
84370034214SMatthew G. Knepley   ierr = VecGetArray(newVec, &newValues);CHKERRQ(ierr);
84470034214SMatthew G. Knepley   ierr = PetscSFCreateSectionSF(pointSF, originalSection, remoteOffsets, newSection, &fieldSF);CHKERRQ(ierr);
84570034214SMatthew G. Knepley   ierr = PetscSFBcastBegin(fieldSF, MPIU_SCALAR, originalValues, newValues);CHKERRQ(ierr);
84670034214SMatthew G. Knepley   ierr = PetscSFBcastEnd(fieldSF, MPIU_SCALAR, originalValues, newValues);CHKERRQ(ierr);
84770034214SMatthew G. Knepley   ierr = PetscSFDestroy(&fieldSF);CHKERRQ(ierr);
84870034214SMatthew G. Knepley   ierr = VecRestoreArray(newVec, &newValues);CHKERRQ(ierr);
84970034214SMatthew G. Knepley   ierr = VecRestoreArray(originalVec, &originalValues);CHKERRQ(ierr);
85070034214SMatthew G. Knepley   ierr = PetscLogEventEnd(DMPLEX_DistributeField,dm,0,0,0);CHKERRQ(ierr);
85170034214SMatthew G. Knepley   PetscFunctionReturn(0);
85270034214SMatthew G. Knepley }
85370034214SMatthew G. Knepley 
85470034214SMatthew G. Knepley #undef __FUNCT__
85570034214SMatthew G. Knepley #define __FUNCT__ "DMPlexDistributeFieldIS"
85670034214SMatthew G. Knepley /*@
85770034214SMatthew G. Knepley   DMPlexDistributeFieldIS - Distribute field data to match a given PetscSF, usually the SF from mesh distribution
85870034214SMatthew G. Knepley 
85970034214SMatthew G. Knepley   Collective on DM
86070034214SMatthew G. Knepley 
86170034214SMatthew G. Knepley   Input Parameters:
86270034214SMatthew G. Knepley + dm - The DMPlex object
86370034214SMatthew G. Knepley . pointSF - The PetscSF describing the communication pattern
86470034214SMatthew G. Knepley . originalSection - The PetscSection for existing data layout
86570034214SMatthew G. Knepley - originalIS - The existing data
86670034214SMatthew G. Knepley 
86770034214SMatthew G. Knepley   Output Parameters:
86870034214SMatthew G. Knepley + newSection - The PetscSF describing the new data layout
86970034214SMatthew G. Knepley - newIS - The new data
87070034214SMatthew G. Knepley 
87170034214SMatthew G. Knepley   Level: developer
87270034214SMatthew G. Knepley 
87370034214SMatthew G. Knepley .seealso: DMPlexDistribute(), DMPlexDistributeField(), DMPlexDistributeData()
87470034214SMatthew G. Knepley @*/
87570034214SMatthew G. Knepley PetscErrorCode DMPlexDistributeFieldIS(DM dm, PetscSF pointSF, PetscSection originalSection, IS originalIS, PetscSection newSection, IS *newIS)
87670034214SMatthew G. Knepley {
87770034214SMatthew G. Knepley   PetscSF         fieldSF;
87870034214SMatthew G. Knepley   PetscInt       *newValues, *remoteOffsets, fieldSize;
87970034214SMatthew G. Knepley   const PetscInt *originalValues;
88070034214SMatthew G. Knepley   PetscErrorCode  ierr;
88170034214SMatthew G. Knepley 
88270034214SMatthew G. Knepley   PetscFunctionBegin;
88370034214SMatthew G. Knepley   ierr = PetscLogEventBegin(DMPLEX_DistributeField,dm,0,0,0);CHKERRQ(ierr);
88470034214SMatthew G. Knepley   ierr = PetscSFDistributeSection(pointSF, originalSection, &remoteOffsets, newSection);CHKERRQ(ierr);
88570034214SMatthew G. Knepley 
88670034214SMatthew G. Knepley   ierr = PetscSectionGetStorageSize(newSection, &fieldSize);CHKERRQ(ierr);
887854ce69bSBarry Smith   ierr = PetscMalloc1(fieldSize, &newValues);CHKERRQ(ierr);
88870034214SMatthew G. Knepley 
88970034214SMatthew G. Knepley   ierr = ISGetIndices(originalIS, &originalValues);CHKERRQ(ierr);
89070034214SMatthew G. Knepley   ierr = PetscSFCreateSectionSF(pointSF, originalSection, remoteOffsets, newSection, &fieldSF);CHKERRQ(ierr);
891aaf8c182SMatthew G. Knepley   ierr = PetscSFBcastBegin(fieldSF, MPIU_INT, (PetscInt *) originalValues, newValues);CHKERRQ(ierr);
892aaf8c182SMatthew G. Knepley   ierr = PetscSFBcastEnd(fieldSF, MPIU_INT, (PetscInt *) originalValues, newValues);CHKERRQ(ierr);
89370034214SMatthew G. Knepley   ierr = PetscSFDestroy(&fieldSF);CHKERRQ(ierr);
89470034214SMatthew G. Knepley   ierr = ISRestoreIndices(originalIS, &originalValues);CHKERRQ(ierr);
89570034214SMatthew G. Knepley   ierr = ISCreateGeneral(PetscObjectComm((PetscObject) pointSF), fieldSize, newValues, PETSC_OWN_POINTER, newIS);CHKERRQ(ierr);
89670034214SMatthew G. Knepley   ierr = PetscLogEventEnd(DMPLEX_DistributeField,dm,0,0,0);CHKERRQ(ierr);
89770034214SMatthew G. Knepley   PetscFunctionReturn(0);
89870034214SMatthew G. Knepley }
89970034214SMatthew G. Knepley 
90070034214SMatthew G. Knepley #undef __FUNCT__
90170034214SMatthew G. Knepley #define __FUNCT__ "DMPlexDistributeData"
90270034214SMatthew G. Knepley /*@
90370034214SMatthew G. Knepley   DMPlexDistributeData - Distribute field data to match a given PetscSF, usually the SF from mesh distribution
90470034214SMatthew G. Knepley 
90570034214SMatthew G. Knepley   Collective on DM
90670034214SMatthew G. Knepley 
90770034214SMatthew G. Knepley   Input Parameters:
90870034214SMatthew G. Knepley + dm - The DMPlex object
90970034214SMatthew G. Knepley . pointSF - The PetscSF describing the communication pattern
91070034214SMatthew G. Knepley . originalSection - The PetscSection for existing data layout
91170034214SMatthew G. Knepley . datatype - The type of data
91270034214SMatthew G. Knepley - originalData - The existing data
91370034214SMatthew G. Knepley 
91470034214SMatthew G. Knepley   Output Parameters:
91570034214SMatthew G. Knepley + newSection - The PetscSection describing the new data layout
91670034214SMatthew G. Knepley - newData - The new data
91770034214SMatthew G. Knepley 
91870034214SMatthew G. Knepley   Level: developer
91970034214SMatthew G. Knepley 
92070034214SMatthew G. Knepley .seealso: DMPlexDistribute(), DMPlexDistributeField()
92170034214SMatthew G. Knepley @*/
92270034214SMatthew G. Knepley PetscErrorCode DMPlexDistributeData(DM dm, PetscSF pointSF, PetscSection originalSection, MPI_Datatype datatype, void *originalData, PetscSection newSection, void **newData)
92370034214SMatthew G. Knepley {
92470034214SMatthew G. Knepley   PetscSF        fieldSF;
92570034214SMatthew G. Knepley   PetscInt      *remoteOffsets, fieldSize;
92670034214SMatthew G. Knepley   PetscMPIInt    dataSize;
92770034214SMatthew G. Knepley   PetscErrorCode ierr;
92870034214SMatthew G. Knepley 
92970034214SMatthew G. Knepley   PetscFunctionBegin;
93070034214SMatthew G. Knepley   ierr = PetscLogEventBegin(DMPLEX_DistributeData,dm,0,0,0);CHKERRQ(ierr);
93170034214SMatthew G. Knepley   ierr = PetscSFDistributeSection(pointSF, originalSection, &remoteOffsets, newSection);CHKERRQ(ierr);
93270034214SMatthew G. Knepley 
93370034214SMatthew G. Knepley   ierr = PetscSectionGetStorageSize(newSection, &fieldSize);CHKERRQ(ierr);
93470034214SMatthew G. Knepley   ierr = MPI_Type_size(datatype, &dataSize);CHKERRQ(ierr);
93570034214SMatthew G. Knepley   ierr = PetscMalloc(fieldSize * dataSize, newData);CHKERRQ(ierr);
93670034214SMatthew G. Knepley 
93770034214SMatthew G. Knepley   ierr = PetscSFCreateSectionSF(pointSF, originalSection, remoteOffsets, newSection, &fieldSF);CHKERRQ(ierr);
93870034214SMatthew G. Knepley   ierr = PetscSFBcastBegin(fieldSF, datatype, originalData, *newData);CHKERRQ(ierr);
93970034214SMatthew G. Knepley   ierr = PetscSFBcastEnd(fieldSF, datatype, originalData, *newData);CHKERRQ(ierr);
94070034214SMatthew G. Knepley   ierr = PetscSFDestroy(&fieldSF);CHKERRQ(ierr);
94170034214SMatthew G. Knepley   ierr = PetscLogEventEnd(DMPLEX_DistributeData,dm,0,0,0);CHKERRQ(ierr);
94270034214SMatthew G. Knepley   PetscFunctionReturn(0);
94370034214SMatthew G. Knepley }
94470034214SMatthew G. Knepley 
94570034214SMatthew G. Knepley #undef __FUNCT__
946cc71bff1SMichael Lange #define __FUNCT__ "DMPlexDistributeCones"
947ac04eaf7SToby Isaac PetscErrorCode DMPlexDistributeCones(DM dm, PetscSF migrationSF, ISLocalToGlobalMapping original, ISLocalToGlobalMapping renumbering, DM dmParallel)
948cc71bff1SMichael Lange {
949f5bf2dbfSMichael Lange   DM_Plex               *mesh  = (DM_Plex*) dm->data;
950cc71bff1SMichael Lange   DM_Plex               *pmesh = (DM_Plex*) (dmParallel)->data;
951cc71bff1SMichael Lange   MPI_Comm               comm;
952cc71bff1SMichael Lange   PetscSF                coneSF;
953cc71bff1SMichael Lange   PetscSection           originalConeSection, newConeSection;
954ac04eaf7SToby Isaac   PetscInt              *remoteOffsets, *cones, *globCones, *newCones, newConesSize;
955cc71bff1SMichael Lange   PetscBool              flg;
956cc71bff1SMichael Lange   PetscErrorCode         ierr;
957cc71bff1SMichael Lange 
958cc71bff1SMichael Lange   PetscFunctionBegin;
959cc71bff1SMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
960cc71bff1SMichael Lange   PetscValidPointer(dmParallel,4);
961cc71bff1SMichael Lange   ierr = PetscLogEventBegin(DMPLEX_DistributeCones,dm,0,0,0);CHKERRQ(ierr);
962cc71bff1SMichael Lange 
963cc71bff1SMichael Lange   /* Distribute cone section */
964cc71bff1SMichael Lange   ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr);
965cc71bff1SMichael Lange   ierr = DMPlexGetConeSection(dm, &originalConeSection);CHKERRQ(ierr);
966cc71bff1SMichael Lange   ierr = DMPlexGetConeSection(dmParallel, &newConeSection);CHKERRQ(ierr);
967cc71bff1SMichael Lange   ierr = PetscSFDistributeSection(migrationSF, originalConeSection, &remoteOffsets, newConeSection);CHKERRQ(ierr);
968cc71bff1SMichael Lange   ierr = DMSetUp(dmParallel);CHKERRQ(ierr);
969cc71bff1SMichael Lange   {
970cc71bff1SMichael Lange     PetscInt pStart, pEnd, p;
971cc71bff1SMichael Lange 
972cc71bff1SMichael Lange     ierr = PetscSectionGetChart(newConeSection, &pStart, &pEnd);CHKERRQ(ierr);
973cc71bff1SMichael Lange     for (p = pStart; p < pEnd; ++p) {
974cc71bff1SMichael Lange       PetscInt coneSize;
975cc71bff1SMichael Lange       ierr               = PetscSectionGetDof(newConeSection, p, &coneSize);CHKERRQ(ierr);
976cc71bff1SMichael Lange       pmesh->maxConeSize = PetscMax(pmesh->maxConeSize, coneSize);
977cc71bff1SMichael Lange     }
978cc71bff1SMichael Lange   }
979cc71bff1SMichael Lange   /* Communicate and renumber cones */
980cc71bff1SMichael Lange   ierr = PetscSFCreateSectionSF(migrationSF, originalConeSection, remoteOffsets, newConeSection, &coneSF);CHKERRQ(ierr);
981cc71bff1SMichael Lange   ierr = DMPlexGetCones(dm, &cones);CHKERRQ(ierr);
982ac04eaf7SToby Isaac   if (original) {
983ac04eaf7SToby Isaac     PetscInt numCones;
984ac04eaf7SToby Isaac 
985ac04eaf7SToby Isaac     ierr = PetscSectionGetStorageSize(originalConeSection,&numCones);CHKERRQ(ierr); ierr = PetscMalloc1(numCones,&globCones);CHKERRQ(ierr);
986ac04eaf7SToby Isaac     ierr = ISLocalToGlobalMappingApplyBlock(original, numCones, cones, globCones);CHKERRQ(ierr);
987ac04eaf7SToby Isaac   }
988ac04eaf7SToby Isaac   else {
989ac04eaf7SToby Isaac     globCones = cones;
990ac04eaf7SToby Isaac   }
991cc71bff1SMichael Lange   ierr = DMPlexGetCones(dmParallel, &newCones);CHKERRQ(ierr);
992ac04eaf7SToby Isaac   ierr = PetscSFBcastBegin(coneSF, MPIU_INT, globCones, newCones);CHKERRQ(ierr);
993ac04eaf7SToby Isaac   ierr = PetscSFBcastEnd(coneSF, MPIU_INT, globCones, newCones);CHKERRQ(ierr);
994ac04eaf7SToby Isaac   if (original) {
995ac04eaf7SToby Isaac     ierr = PetscFree(globCones);CHKERRQ(ierr);
996ac04eaf7SToby Isaac   }
997cc71bff1SMichael Lange   ierr = PetscSectionGetStorageSize(newConeSection, &newConesSize);CHKERRQ(ierr);
998cc71bff1SMichael Lange   ierr = ISGlobalToLocalMappingApplyBlock(renumbering, IS_GTOLM_MASK, newConesSize, newCones, NULL, newCones);CHKERRQ(ierr);
9993533c52bSMatthew G. Knepley #if PETSC_USE_DEBUG
10003533c52bSMatthew G. Knepley   {
10013533c52bSMatthew G. Knepley     PetscInt  p;
10023533c52bSMatthew G. Knepley     PetscBool valid = PETSC_TRUE;
10033533c52bSMatthew G. Knepley     for (p = 0; p < newConesSize; ++p) {
10043533c52bSMatthew G. Knepley       if (newCones[p] < 0) {valid = PETSC_FALSE; ierr = PetscPrintf(PETSC_COMM_SELF, "Point %d not in overlap SF\n", p);CHKERRQ(ierr);}
10053533c52bSMatthew G. Knepley     }
10063533c52bSMatthew G. Knepley     if (!valid) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid global to local map");
10073533c52bSMatthew G. Knepley   }
10083533c52bSMatthew G. Knepley #endif
1009cc71bff1SMichael Lange   ierr = PetscOptionsHasName(((PetscObject) dm)->prefix, "-cones_view", &flg);CHKERRQ(ierr);
1010cc71bff1SMichael Lange   if (flg) {
1011cc71bff1SMichael Lange     ierr = PetscPrintf(comm, "Serial Cone Section:\n");CHKERRQ(ierr);
1012cc71bff1SMichael Lange     ierr = PetscSectionView(originalConeSection, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
1013cc71bff1SMichael Lange     ierr = PetscPrintf(comm, "Parallel Cone Section:\n");CHKERRQ(ierr);
1014cc71bff1SMichael Lange     ierr = PetscSectionView(newConeSection, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
1015cc71bff1SMichael Lange     ierr = PetscSFView(coneSF, NULL);CHKERRQ(ierr);
1016cc71bff1SMichael Lange   }
1017cc71bff1SMichael Lange   ierr = DMPlexGetConeOrientations(dm, &cones);CHKERRQ(ierr);
1018cc71bff1SMichael Lange   ierr = DMPlexGetConeOrientations(dmParallel, &newCones);CHKERRQ(ierr);
1019cc71bff1SMichael Lange   ierr = PetscSFBcastBegin(coneSF, MPIU_INT, cones, newCones);CHKERRQ(ierr);
1020cc71bff1SMichael Lange   ierr = PetscSFBcastEnd(coneSF, MPIU_INT, cones, newCones);CHKERRQ(ierr);
1021cc71bff1SMichael Lange   ierr = PetscSFDestroy(&coneSF);CHKERRQ(ierr);
1022cc71bff1SMichael Lange   ierr = PetscLogEventEnd(DMPLEX_DistributeCones,dm,0,0,0);CHKERRQ(ierr);
1023cc71bff1SMichael Lange   /* Create supports and stratify sieve */
1024cc71bff1SMichael Lange   {
1025cc71bff1SMichael Lange     PetscInt pStart, pEnd;
1026cc71bff1SMichael Lange 
1027cc71bff1SMichael Lange     ierr = PetscSectionGetChart(pmesh->coneSection, &pStart, &pEnd);CHKERRQ(ierr);
1028cc71bff1SMichael Lange     ierr = PetscSectionSetChart(pmesh->supportSection, pStart, pEnd);CHKERRQ(ierr);
1029cc71bff1SMichael Lange   }
1030cc71bff1SMichael Lange   ierr = DMPlexSymmetrize(dmParallel);CHKERRQ(ierr);
1031cc71bff1SMichael Lange   ierr = DMPlexStratify(dmParallel);CHKERRQ(ierr);
1032f5bf2dbfSMichael Lange   pmesh->useCone    = mesh->useCone;
1033f5bf2dbfSMichael Lange   pmesh->useClosure = mesh->useClosure;
1034cc71bff1SMichael Lange   PetscFunctionReturn(0);
1035cc71bff1SMichael Lange }
1036cc71bff1SMichael Lange 
1037cc71bff1SMichael Lange #undef __FUNCT__
10380df0e737SMichael Lange #define __FUNCT__ "DMPlexDistributeCoordinates"
10390df0e737SMichael Lange PetscErrorCode DMPlexDistributeCoordinates(DM dm, PetscSF migrationSF, DM dmParallel)
10400df0e737SMichael Lange {
10410df0e737SMichael Lange   MPI_Comm         comm;
10420df0e737SMichael Lange   PetscSection     originalCoordSection, newCoordSection;
10430df0e737SMichael Lange   Vec              originalCoordinates, newCoordinates;
10440df0e737SMichael Lange   PetscInt         bs;
10450df0e737SMichael Lange   const char      *name;
10460df0e737SMichael Lange   const PetscReal *maxCell, *L;
10475dc8c3f7SMatthew G. Knepley   const DMBoundaryType *bd;
10480df0e737SMichael Lange   PetscErrorCode   ierr;
10490df0e737SMichael Lange 
10500df0e737SMichael Lange   PetscFunctionBegin;
10510df0e737SMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
10520df0e737SMichael Lange   PetscValidPointer(dmParallel, 3);
10530df0e737SMichael Lange 
10540df0e737SMichael Lange   ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr);
10550df0e737SMichael Lange   ierr = DMGetCoordinateSection(dm, &originalCoordSection);CHKERRQ(ierr);
10560df0e737SMichael Lange   ierr = DMGetCoordinateSection(dmParallel, &newCoordSection);CHKERRQ(ierr);
10570df0e737SMichael Lange   ierr = DMGetCoordinatesLocal(dm, &originalCoordinates);CHKERRQ(ierr);
10580df0e737SMichael Lange   if (originalCoordinates) {
10590df0e737SMichael Lange     ierr = VecCreate(comm, &newCoordinates);CHKERRQ(ierr);
10600df0e737SMichael Lange     ierr = PetscObjectGetName((PetscObject) originalCoordinates, &name);CHKERRQ(ierr);
10610df0e737SMichael Lange     ierr = PetscObjectSetName((PetscObject) newCoordinates, name);CHKERRQ(ierr);
10620df0e737SMichael Lange 
10630df0e737SMichael Lange     ierr = DMPlexDistributeField(dm, migrationSF, originalCoordSection, originalCoordinates, newCoordSection, newCoordinates);CHKERRQ(ierr);
10640df0e737SMichael Lange     ierr = DMSetCoordinatesLocal(dmParallel, newCoordinates);CHKERRQ(ierr);
10650df0e737SMichael Lange     ierr = VecGetBlockSize(originalCoordinates, &bs);CHKERRQ(ierr);
10660df0e737SMichael Lange     ierr = VecSetBlockSize(newCoordinates, bs);CHKERRQ(ierr);
10670df0e737SMichael Lange     ierr = VecDestroy(&newCoordinates);CHKERRQ(ierr);
10680df0e737SMichael Lange   }
10695dc8c3f7SMatthew G. Knepley   ierr = DMGetPeriodicity(dm, &maxCell, &L, &bd);CHKERRQ(ierr);
10705dc8c3f7SMatthew G. Knepley   if (L) {ierr = DMSetPeriodicity(dmParallel, maxCell, L, bd);CHKERRQ(ierr);}
10710df0e737SMichael Lange   PetscFunctionReturn(0);
10720df0e737SMichael Lange }
10730df0e737SMichael Lange 
10740df0e737SMichael Lange #undef __FUNCT__
10750df0e737SMichael Lange #define __FUNCT__ "DMPlexDistributeLabels"
1076d995df53SMatthew G. Knepley /* Here we are assuming that process 0 always has everything */
10772eb1fa14SMichael Lange PetscErrorCode DMPlexDistributeLabels(DM dm, PetscSF migrationSF, DM dmParallel)
10780df0e737SMichael Lange {
1079df0420ecSMatthew G. Knepley   DM_Plex         *mesh = (DM_Plex*) dm->data;
10800df0e737SMichael Lange   MPI_Comm         comm;
1081df0420ecSMatthew G. Knepley   DMLabel          depth;
10820df0e737SMichael Lange   PetscMPIInt      rank;
1083d995df53SMatthew G. Knepley   PetscInt         numLabels, numLocalLabels, l;
1084df0420ecSMatthew G. Knepley   PetscBool        hasLabels = PETSC_FALSE, lsendDepth, sendDepth;
1085df0420ecSMatthew G. Knepley   PetscObjectState depthState = -1;
10860df0e737SMichael Lange   PetscErrorCode   ierr;
10870df0e737SMichael Lange 
10880df0e737SMichael Lange   PetscFunctionBegin;
10890df0e737SMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
10902eb1fa14SMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 3);
10910df0e737SMichael Lange   ierr = PetscLogEventBegin(DMPLEX_DistributeLabels,dm,0,0,0);CHKERRQ(ierr);
10920df0e737SMichael Lange   ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr);
10930df0e737SMichael Lange   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
10940df0e737SMichael Lange 
1095df0420ecSMatthew G. Knepley   /* If the user has changed the depth label, communicate it instead */
1096df0420ecSMatthew G. Knepley   ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr);
1097df0420ecSMatthew G. Knepley   if (depth) {ierr = DMLabelGetState(depth, &depthState);CHKERRQ(ierr);}
1098df0420ecSMatthew G. Knepley   lsendDepth = mesh->depthState != depthState ? PETSC_TRUE : PETSC_FALSE;
1099df0420ecSMatthew G. Knepley   ierr = MPI_Allreduce(&lsendDepth, &sendDepth, 1, MPIU_BOOL, MPI_LOR, comm);CHKERRQ(ierr);
1100df0420ecSMatthew G. Knepley   if (sendDepth) {
1101df0420ecSMatthew G. Knepley     ierr = DMPlexRemoveLabel(dmParallel, "depth", &depth);CHKERRQ(ierr);
1102df0420ecSMatthew G. Knepley     ierr = DMLabelDestroy(&depth);CHKERRQ(ierr);
1103df0420ecSMatthew G. Knepley   }
1104d995df53SMatthew G. Knepley   /* Everyone must have either the same number of labels, or none */
1105d995df53SMatthew G. Knepley   ierr = DMPlexGetNumLabels(dm, &numLocalLabels);CHKERRQ(ierr);
1106d995df53SMatthew G. Knepley   numLabels = numLocalLabels;
11070df0e737SMichael Lange   ierr = MPI_Bcast(&numLabels, 1, MPIU_INT, 0, comm);CHKERRQ(ierr);
1108627847f0SMatthew G. Knepley   if (numLabels == numLocalLabels) hasLabels = PETSC_TRUE;
1109bdd2d751SMichael Lange   for (l = numLabels-1; l >= 0; --l) {
1110bdd2d751SMichael Lange     DMLabel     label = NULL, labelNew = NULL;
11110df0e737SMichael Lange     PetscBool   isdepth;
11120df0e737SMichael Lange 
1113d995df53SMatthew G. Knepley     if (hasLabels) {
1114bdd2d751SMichael Lange       ierr = DMPlexGetLabelByNum(dm, l, &label);CHKERRQ(ierr);
11150df0e737SMichael Lange       /* Skip "depth" because it is recreated */
1116bdd2d751SMichael Lange       ierr = PetscStrcmp(label->name, "depth", &isdepth);CHKERRQ(ierr);
1117bdd2d751SMichael Lange     }
11180df0e737SMichael Lange     ierr = MPI_Bcast(&isdepth, 1, MPIU_BOOL, 0, comm);CHKERRQ(ierr);
1119df0420ecSMatthew G. Knepley     if (isdepth && !sendDepth) continue;
1120bdd2d751SMichael Lange     ierr = DMLabelDistribute(label, migrationSF, &labelNew);CHKERRQ(ierr);
1121bdd2d751SMichael Lange     ierr = DMPlexAddLabel(dmParallel, labelNew);CHKERRQ(ierr);
11220df0e737SMichael Lange   }
11230df0e737SMichael Lange   ierr = PetscLogEventEnd(DMPLEX_DistributeLabels,dm,0,0,0);CHKERRQ(ierr);
11240df0e737SMichael Lange   PetscFunctionReturn(0);
11250df0e737SMichael Lange }
11260df0e737SMichael Lange 
11279734c634SMichael Lange #undef __FUNCT__
11289734c634SMichael Lange #define __FUNCT__ "DMPlexDistributeSetupHybrid"
11299734c634SMichael Lange PetscErrorCode DMPlexDistributeSetupHybrid(DM dm, PetscSF migrationSF, ISLocalToGlobalMapping renumbering, DM dmParallel)
11309734c634SMichael Lange {
11319734c634SMichael Lange   DM_Plex        *mesh  = (DM_Plex*) dm->data;
11329734c634SMichael Lange   DM_Plex        *pmesh = (DM_Plex*) (dmParallel)->data;
11339734c634SMichael Lange   MPI_Comm        comm;
11349734c634SMichael Lange   const PetscInt *gpoints;
11359734c634SMichael Lange   PetscInt        dim, depth, n, d;
11369734c634SMichael Lange   PetscErrorCode  ierr;
11379734c634SMichael Lange 
11389734c634SMichael Lange   PetscFunctionBegin;
11399734c634SMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
11409734c634SMichael Lange   PetscValidPointer(dmParallel, 4);
11419734c634SMichael Lange 
11429734c634SMichael Lange   ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr);
11439734c634SMichael Lange   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
11449734c634SMichael Lange 
11459734c634SMichael Lange   /* Setup hybrid structure */
11469734c634SMichael Lange   for (d = 0; d <= dim; ++d) {pmesh->hybridPointMax[d] = mesh->hybridPointMax[d];}
11479734c634SMichael Lange   ierr = MPI_Bcast(pmesh->hybridPointMax, dim+1, MPIU_INT, 0, comm);CHKERRQ(ierr);
11489734c634SMichael Lange   ierr = ISLocalToGlobalMappingGetSize(renumbering, &n);CHKERRQ(ierr);
11499734c634SMichael Lange   ierr = ISLocalToGlobalMappingGetIndices(renumbering, &gpoints);CHKERRQ(ierr);
11509734c634SMichael Lange   ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr);
11519734c634SMichael Lange   for (d = 0; d <= dim; ++d) {
11529734c634SMichael Lange     PetscInt pmax = pmesh->hybridPointMax[d], newmax = 0, pEnd, stratum[2], p;
11539734c634SMichael Lange 
11549734c634SMichael Lange     if (pmax < 0) continue;
11559734c634SMichael Lange     ierr = DMPlexGetDepthStratum(dm, d > depth ? depth : d, &stratum[0], &stratum[1]);CHKERRQ(ierr);
11569734c634SMichael Lange     ierr = DMPlexGetDepthStratum(dmParallel, d, NULL, &pEnd);CHKERRQ(ierr);
11579734c634SMichael Lange     ierr = MPI_Bcast(stratum, 2, MPIU_INT, 0, comm);CHKERRQ(ierr);
11589734c634SMichael Lange     for (p = 0; p < n; ++p) {
11599734c634SMichael Lange       const PetscInt point = gpoints[p];
11609734c634SMichael Lange 
11619734c634SMichael Lange       if ((point >= stratum[0]) && (point < stratum[1]) && (point >= pmax)) ++newmax;
11629734c634SMichael Lange     }
11639734c634SMichael Lange     if (newmax > 0) pmesh->hybridPointMax[d] = pEnd - newmax;
11649734c634SMichael Lange     else            pmesh->hybridPointMax[d] = -1;
11659734c634SMichael Lange   }
11669734c634SMichael Lange   ierr = ISLocalToGlobalMappingRestoreIndices(renumbering, &gpoints);CHKERRQ(ierr);
11679734c634SMichael Lange   PetscFunctionReturn(0);
11689734c634SMichael Lange }
11690df0e737SMichael Lange 
1170a6f36705SMichael Lange #undef __FUNCT__
1171a6f36705SMichael Lange #define __FUNCT__ "DMPlexDistributeSetupTree"
117208633170SToby Isaac PetscErrorCode DMPlexDistributeSetupTree(DM dm, PetscSF migrationSF, ISLocalToGlobalMapping original, ISLocalToGlobalMapping renumbering, DM dmParallel)
1173a6f36705SMichael Lange {
117415078cd4SMichael Lange   DM_Plex        *mesh  = (DM_Plex*) dm->data;
117515078cd4SMichael Lange   DM_Plex        *pmesh = (DM_Plex*) (dmParallel)->data;
1176a6f36705SMichael Lange   MPI_Comm        comm;
1177a6f36705SMichael Lange   DM              refTree;
1178a6f36705SMichael Lange   PetscSection    origParentSection, newParentSection;
1179a6f36705SMichael Lange   PetscInt        *origParents, *origChildIDs;
1180a6f36705SMichael Lange   PetscBool       flg;
1181a6f36705SMichael Lange   PetscErrorCode  ierr;
1182a6f36705SMichael Lange 
1183a6f36705SMichael Lange   PetscFunctionBegin;
1184a6f36705SMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
1185a6f36705SMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 4);
1186a6f36705SMichael Lange   ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr);
1187a6f36705SMichael Lange 
1188a6f36705SMichael Lange   /* Set up tree */
1189a6f36705SMichael Lange   ierr = DMPlexGetReferenceTree(dm,&refTree);CHKERRQ(ierr);
1190a6f36705SMichael Lange   ierr = DMPlexSetReferenceTree(dmParallel,refTree);CHKERRQ(ierr);
1191a6f36705SMichael Lange   ierr = DMPlexGetTree(dm,&origParentSection,&origParents,&origChildIDs,NULL,NULL);CHKERRQ(ierr);
1192a6f36705SMichael Lange   if (origParentSection) {
1193a6f36705SMichael Lange     PetscInt        pStart, pEnd;
119408633170SToby Isaac     PetscInt        *newParents, *newChildIDs, *globParents;
1195a6f36705SMichael Lange     PetscInt        *remoteOffsetsParents, newParentSize;
1196a6f36705SMichael Lange     PetscSF         parentSF;
1197a6f36705SMichael Lange 
1198a6f36705SMichael Lange     ierr = DMPlexGetChart(dmParallel, &pStart, &pEnd);CHKERRQ(ierr);
1199a6f36705SMichael Lange     ierr = PetscSectionCreate(PetscObjectComm((PetscObject)dmParallel),&newParentSection);CHKERRQ(ierr);
1200a6f36705SMichael Lange     ierr = PetscSectionSetChart(newParentSection,pStart,pEnd);CHKERRQ(ierr);
1201a6f36705SMichael Lange     ierr = PetscSFDistributeSection(migrationSF, origParentSection, &remoteOffsetsParents, newParentSection);CHKERRQ(ierr);
1202a6f36705SMichael Lange     ierr = PetscSFCreateSectionSF(migrationSF, origParentSection, remoteOffsetsParents, newParentSection, &parentSF);CHKERRQ(ierr);
1203a6f36705SMichael Lange     ierr = PetscSectionGetStorageSize(newParentSection,&newParentSize);CHKERRQ(ierr);
1204a6f36705SMichael Lange     ierr = PetscMalloc2(newParentSize,&newParents,newParentSize,&newChildIDs);CHKERRQ(ierr);
120508633170SToby Isaac     if (original) {
120608633170SToby Isaac       PetscInt numParents;
120708633170SToby Isaac 
120808633170SToby Isaac       ierr = PetscSectionGetStorageSize(origParentSection,&numParents);CHKERRQ(ierr);
120908633170SToby Isaac       ierr = PetscMalloc1(numParents,&globParents);CHKERRQ(ierr);
121008633170SToby Isaac       ierr = ISLocalToGlobalMappingApplyBlock(original, numParents, origParents, globParents);CHKERRQ(ierr);
121108633170SToby Isaac     }
121208633170SToby Isaac     else {
121308633170SToby Isaac       globParents = origParents;
121408633170SToby Isaac     }
121508633170SToby Isaac     ierr = PetscSFBcastBegin(parentSF, MPIU_INT, globParents, newParents);CHKERRQ(ierr);
121608633170SToby Isaac     ierr = PetscSFBcastEnd(parentSF, MPIU_INT, globParents, newParents);CHKERRQ(ierr);
121708633170SToby Isaac     if (original) {
121808633170SToby Isaac       ierr = PetscFree(globParents);CHKERRQ(ierr);
121908633170SToby Isaac     }
1220a6f36705SMichael Lange     ierr = PetscSFBcastBegin(parentSF, MPIU_INT, origChildIDs, newChildIDs);CHKERRQ(ierr);
1221a6f36705SMichael Lange     ierr = PetscSFBcastEnd(parentSF, MPIU_INT, origChildIDs, newChildIDs);CHKERRQ(ierr);
1222a6f36705SMichael Lange     ierr = ISGlobalToLocalMappingApplyBlock(renumbering,IS_GTOLM_MASK, newParentSize, newParents, NULL, newParents);CHKERRQ(ierr);
12234a54e071SToby Isaac #if PETSC_USE_DEBUG
12244a54e071SToby Isaac     {
12254a54e071SToby Isaac       PetscInt  p;
12264a54e071SToby Isaac       PetscBool valid = PETSC_TRUE;
12274a54e071SToby Isaac       for (p = 0; p < newParentSize; ++p) {
12284a54e071SToby Isaac         if (newParents[p] < 0) {valid = PETSC_FALSE; ierr = PetscPrintf(PETSC_COMM_SELF, "Point %d not in overlap SF\n", p);CHKERRQ(ierr);}
12294a54e071SToby Isaac       }
12304a54e071SToby Isaac       if (!valid) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid global to local map");
12314a54e071SToby Isaac     }
12324a54e071SToby Isaac #endif
1233a6f36705SMichael Lange     ierr = PetscOptionsHasName(((PetscObject) dm)->prefix, "-parents_view", &flg);CHKERRQ(ierr);
1234a6f36705SMichael Lange     if (flg) {
1235a6f36705SMichael Lange       ierr = PetscPrintf(comm, "Serial Parent Section: \n");CHKERRQ(ierr);
1236a6f36705SMichael Lange       ierr = PetscSectionView(origParentSection, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
1237a6f36705SMichael Lange       ierr = PetscPrintf(comm, "Parallel Parent Section: \n");CHKERRQ(ierr);
1238a6f36705SMichael Lange       ierr = PetscSectionView(newParentSection, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
1239a6f36705SMichael Lange       ierr = PetscSFView(parentSF, NULL);CHKERRQ(ierr);
1240a6f36705SMichael Lange     }
1241a6f36705SMichael Lange     ierr = DMPlexSetTree(dmParallel,newParentSection,newParents,newChildIDs);CHKERRQ(ierr);
1242a6f36705SMichael Lange     ierr = PetscSectionDestroy(&newParentSection);CHKERRQ(ierr);
1243a6f36705SMichael Lange     ierr = PetscFree2(newParents,newChildIDs);CHKERRQ(ierr);
1244a6f36705SMichael Lange     ierr = PetscSFDestroy(&parentSF);CHKERRQ(ierr);
1245a6f36705SMichael Lange   }
124615078cd4SMichael Lange   pmesh->useAnchors = mesh->useAnchors;
1247a6f36705SMichael Lange   PetscFunctionReturn(0);
1248a6f36705SMichael Lange }
12490df0e737SMichael Lange 
12500df0e737SMichael Lange #undef __FUNCT__
12514eca1733SMichael Lange #define __FUNCT__ "DMPlexDistributeSF"
1252f8987ae8SMichael Lange PetscErrorCode DMPlexDistributeSF(DM dm, PetscSF migrationSF, DM dmParallel)
12534eca1733SMichael Lange {
12544eca1733SMichael Lange   DM_Plex               *mesh  = (DM_Plex*) dm->data;
12554eca1733SMichael Lange   DM_Plex               *pmesh = (DM_Plex*) (dmParallel)->data;
12564eca1733SMichael Lange   PetscMPIInt            rank, numProcs;
12574eca1733SMichael Lange   MPI_Comm               comm;
12584eca1733SMichael Lange   PetscErrorCode         ierr;
12594eca1733SMichael Lange 
12604eca1733SMichael Lange   PetscFunctionBegin;
12614eca1733SMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
12624eca1733SMichael Lange   PetscValidPointer(dmParallel,7);
12634eca1733SMichael Lange 
12644eca1733SMichael Lange   /* Create point SF for parallel mesh */
12654eca1733SMichael Lange   ierr = PetscLogEventBegin(DMPLEX_DistributeSF,dm,0,0,0);CHKERRQ(ierr);
12664eca1733SMichael Lange   ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr);
12674eca1733SMichael Lange   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
12684eca1733SMichael Lange   ierr = MPI_Comm_size(comm, &numProcs);CHKERRQ(ierr);
12694eca1733SMichael Lange   {
12704eca1733SMichael Lange     const PetscInt *leaves;
12714eca1733SMichael Lange     PetscSFNode    *remotePoints, *rowners, *lowners;
12724eca1733SMichael Lange     PetscInt        numRoots, numLeaves, numGhostPoints = 0, p, gp, *ghostPoints;
12734eca1733SMichael Lange     PetscInt        pStart, pEnd;
12744eca1733SMichael Lange 
12754eca1733SMichael Lange     ierr = DMPlexGetChart(dmParallel, &pStart, &pEnd);CHKERRQ(ierr);
12764eca1733SMichael Lange     ierr = PetscSFGetGraph(migrationSF, &numRoots, &numLeaves, &leaves, NULL);CHKERRQ(ierr);
12774eca1733SMichael Lange     ierr = PetscMalloc2(numRoots,&rowners,numLeaves,&lowners);CHKERRQ(ierr);
12784eca1733SMichael Lange     for (p=0; p<numRoots; p++) {
12794eca1733SMichael Lange       rowners[p].rank  = -1;
12804eca1733SMichael Lange       rowners[p].index = -1;
12814eca1733SMichael Lange     }
12824eca1733SMichael Lange     ierr = PetscSFBcastBegin(migrationSF, MPIU_2INT, rowners, lowners);CHKERRQ(ierr);
12834eca1733SMichael Lange     ierr = PetscSFBcastEnd(migrationSF, MPIU_2INT, rowners, lowners);CHKERRQ(ierr);
12844eca1733SMichael Lange     for (p = 0; p < numLeaves; ++p) {
12854eca1733SMichael Lange       if (lowners[p].rank < 0 || lowners[p].rank == rank) { /* Either put in a bid or we know we own it */
12864eca1733SMichael Lange         lowners[p].rank  = rank;
12874eca1733SMichael Lange         lowners[p].index = leaves ? leaves[p] : p;
12884eca1733SMichael Lange       } else if (lowners[p].rank >= 0) { /* Point already claimed so flag so that MAXLOC does not listen to us */
12894eca1733SMichael Lange         lowners[p].rank  = -2;
12904eca1733SMichael Lange         lowners[p].index = -2;
12914eca1733SMichael Lange       }
12924eca1733SMichael Lange     }
12934eca1733SMichael Lange     for (p=0; p<numRoots; p++) { /* Root must not participate in the rediction, flag so that MAXLOC does not use */
12944eca1733SMichael Lange       rowners[p].rank  = -3;
12954eca1733SMichael Lange       rowners[p].index = -3;
12964eca1733SMichael Lange     }
12974eca1733SMichael Lange     ierr = PetscSFReduceBegin(migrationSF, MPIU_2INT, lowners, rowners, MPI_MAXLOC);CHKERRQ(ierr);
12984eca1733SMichael Lange     ierr = PetscSFReduceEnd(migrationSF, MPIU_2INT, lowners, rowners, MPI_MAXLOC);CHKERRQ(ierr);
12994eca1733SMichael Lange     ierr = PetscSFBcastBegin(migrationSF, MPIU_2INT, rowners, lowners);CHKERRQ(ierr);
13004eca1733SMichael Lange     ierr = PetscSFBcastEnd(migrationSF, MPIU_2INT, rowners, lowners);CHKERRQ(ierr);
13014eca1733SMichael Lange     for (p = 0; p < numLeaves; ++p) {
13024eca1733SMichael Lange       if (lowners[p].rank < 0 || lowners[p].index < 0) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Cell partition corrupt: point not claimed");
13034eca1733SMichael Lange       if (lowners[p].rank != rank) ++numGhostPoints;
13044eca1733SMichael Lange     }
13054eca1733SMichael Lange     ierr = PetscMalloc1(numGhostPoints, &ghostPoints);CHKERRQ(ierr);
13064eca1733SMichael Lange     ierr = PetscMalloc1(numGhostPoints, &remotePoints);CHKERRQ(ierr);
13074eca1733SMichael Lange     for (p = 0, gp = 0; p < numLeaves; ++p) {
13084eca1733SMichael Lange       if (lowners[p].rank != rank) {
13094eca1733SMichael Lange         ghostPoints[gp]        = leaves ? leaves[p] : p;
13104eca1733SMichael Lange         remotePoints[gp].rank  = lowners[p].rank;
13114eca1733SMichael Lange         remotePoints[gp].index = lowners[p].index;
13124eca1733SMichael Lange         ++gp;
13134eca1733SMichael Lange       }
13144eca1733SMichael Lange     }
13154eca1733SMichael Lange     ierr = PetscFree2(rowners,lowners);CHKERRQ(ierr);
13164eca1733SMichael Lange     ierr = PetscSFSetGraph((dmParallel)->sf, pEnd - pStart, numGhostPoints, ghostPoints, PETSC_OWN_POINTER, remotePoints, PETSC_OWN_POINTER);CHKERRQ(ierr);
13174eca1733SMichael Lange     ierr = PetscSFSetFromOptions((dmParallel)->sf);CHKERRQ(ierr);
13184eca1733SMichael Lange   }
13194eca1733SMichael Lange   pmesh->useCone    = mesh->useCone;
13204eca1733SMichael Lange   pmesh->useClosure = mesh->useClosure;
13214eca1733SMichael Lange   ierr = PetscLogEventEnd(DMPLEX_DistributeSF,dm,0,0,0);CHKERRQ(ierr);
13224eca1733SMichael Lange   PetscFunctionReturn(0);
13234eca1733SMichael Lange }
13244eca1733SMichael Lange 
13254eca1733SMichael Lange #undef __FUNCT__
1326f5bf2dbfSMichael Lange #define __FUNCT__ "DMPlexCreatePointSF"
1327f5bf2dbfSMichael Lange /*@C
1328f5bf2dbfSMichael Lange   DMPlexDerivePointSF - Build a point SF from an SF describing a point migration
1329f5bf2dbfSMichael Lange 
1330f5bf2dbfSMichael Lange   Input Parameter:
1331f5bf2dbfSMichael Lange + dm          - The source DMPlex object
1332f5bf2dbfSMichael Lange . migrationSF - The star forest that describes the parallel point remapping
13331627f6ccSMichael Lange . ownership   - Flag causing a vote to determine point ownership
1334f5bf2dbfSMichael Lange 
1335f5bf2dbfSMichael Lange   Output Parameter:
1336f5bf2dbfSMichael Lange - pointSF     - The star forest describing the point overlap in the remapped DM
1337f5bf2dbfSMichael Lange 
1338f5bf2dbfSMichael Lange   Level: developer
1339f5bf2dbfSMichael Lange 
1340f5bf2dbfSMichael Lange .seealso: DMPlexDistribute(), DMPlexDistributeOverlap()
1341f5bf2dbfSMichael Lange @*/
1342f5bf2dbfSMichael Lange PetscErrorCode DMPlexCreatePointSF(DM dm, PetscSF migrationSF, PetscBool ownership, PetscSF *pointSF)
1343f5bf2dbfSMichael Lange {
1344f5bf2dbfSMichael Lange   PetscMPIInt        rank;
13451627f6ccSMichael Lange   PetscInt           p, nroots, nleaves, idx, npointLeaves;
1346f5bf2dbfSMichael Lange   PetscInt          *pointLocal;
1347f5bf2dbfSMichael Lange   const PetscInt    *leaves;
1348f5bf2dbfSMichael Lange   const PetscSFNode *roots;
1349f5bf2dbfSMichael Lange   PetscSFNode       *rootNodes, *leafNodes, *pointRemote;
1350f5bf2dbfSMichael Lange   PetscErrorCode     ierr;
1351f5bf2dbfSMichael Lange 
1352f5bf2dbfSMichael Lange   PetscFunctionBegin;
1353f5bf2dbfSMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
1354f5bf2dbfSMichael Lange   ierr = MPI_Comm_rank(PetscObjectComm((PetscObject) dm), &rank);CHKERRQ(ierr);
1355f5bf2dbfSMichael Lange 
1356f5bf2dbfSMichael Lange   ierr = PetscSFGetGraph(migrationSF, &nroots, &nleaves, &leaves, &roots);CHKERRQ(ierr);
1357f5bf2dbfSMichael Lange   ierr = PetscMalloc2(nroots, &rootNodes, nleaves, &leafNodes);CHKERRQ(ierr);
1358f5bf2dbfSMichael Lange   if (ownership) {
13591627f6ccSMichael Lange     /* Point ownership vote: Process with highest rank ownes shared points */
1360f5bf2dbfSMichael Lange     for (p = 0; p < nleaves; ++p) {
1361f5bf2dbfSMichael Lange       /* Either put in a bid or we know we own it */
1362f5bf2dbfSMichael Lange       leafNodes[p].rank  = rank;
136343f7d02bSMichael Lange       leafNodes[p].index = p;
1364f5bf2dbfSMichael Lange     }
1365f5bf2dbfSMichael Lange     for (p = 0; p < nroots; p++) {
13661627f6ccSMichael Lange       /* Root must not participate in the reduction, flag so that MAXLOC does not use */
1367f5bf2dbfSMichael Lange       rootNodes[p].rank  = -3;
1368f5bf2dbfSMichael Lange       rootNodes[p].index = -3;
1369f5bf2dbfSMichael Lange     }
1370f5bf2dbfSMichael Lange     ierr = PetscSFReduceBegin(migrationSF, MPIU_2INT, leafNodes, rootNodes, MPI_MAXLOC);CHKERRQ(ierr);
1371f5bf2dbfSMichael Lange     ierr = PetscSFReduceEnd(migrationSF, MPIU_2INT, leafNodes, rootNodes, MPI_MAXLOC);CHKERRQ(ierr);
1372f5bf2dbfSMichael Lange   } else {
1373f5bf2dbfSMichael Lange     for (p = 0; p < nroots; p++) {
1374f5bf2dbfSMichael Lange       rootNodes[p].index = -1;
1375f5bf2dbfSMichael Lange       rootNodes[p].rank = rank;
1376f5bf2dbfSMichael Lange     };
1377f5bf2dbfSMichael Lange     for (p = 0; p < nleaves; p++) {
1378f5bf2dbfSMichael Lange       /* Write new local id into old location */
1379f5bf2dbfSMichael Lange       if (roots[p].rank == rank) {
1380*6462276dSToby Isaac         rootNodes[roots[p].index].index = leaves ? leaves[p] : p;
1381f5bf2dbfSMichael Lange       }
1382f5bf2dbfSMichael Lange     }
1383f5bf2dbfSMichael Lange   }
1384f5bf2dbfSMichael Lange   ierr = PetscSFBcastBegin(migrationSF, MPIU_2INT, rootNodes, leafNodes);CHKERRQ(ierr);
1385f5bf2dbfSMichael Lange   ierr = PetscSFBcastEnd(migrationSF, MPIU_2INT, rootNodes, leafNodes);CHKERRQ(ierr);
1386f5bf2dbfSMichael Lange 
1387f5bf2dbfSMichael Lange   for (npointLeaves = 0, p = 0; p < nleaves; p++) {if (leafNodes[p].rank != rank) npointLeaves++;}
13881627f6ccSMichael Lange   ierr = PetscMalloc1(npointLeaves, &pointLocal);CHKERRQ(ierr);
13891627f6ccSMichael Lange   ierr = PetscMalloc1(npointLeaves, &pointRemote);CHKERRQ(ierr);
1390f5bf2dbfSMichael Lange   for (idx = 0, p = 0; p < nleaves; p++) {
1391f5bf2dbfSMichael Lange     if (leafNodes[p].rank != rank) {
1392f5bf2dbfSMichael Lange       pointLocal[idx] = p;
1393f5bf2dbfSMichael Lange       pointRemote[idx] = leafNodes[p];
1394f5bf2dbfSMichael Lange       idx++;
1395f5bf2dbfSMichael Lange     }
1396f5bf2dbfSMichael Lange   }
1397f5bf2dbfSMichael Lange   ierr = PetscSFCreate(PetscObjectComm((PetscObject) dm), pointSF);CHKERRQ(ierr);
13981627f6ccSMichael Lange   ierr = PetscSFSetFromOptions(*pointSF);CHKERRQ(ierr);
1399f5bf2dbfSMichael Lange   ierr = PetscSFSetGraph(*pointSF, nleaves, npointLeaves, pointLocal, PETSC_OWN_POINTER, pointRemote, PETSC_OWN_POINTER);CHKERRQ(ierr);
1400f5bf2dbfSMichael Lange   ierr = PetscFree2(rootNodes, leafNodes);CHKERRQ(ierr);
1401f5bf2dbfSMichael Lange   PetscFunctionReturn(0);
1402f5bf2dbfSMichael Lange }
1403f5bf2dbfSMichael Lange 
1404f5bf2dbfSMichael Lange #undef __FUNCT__
140515078cd4SMichael Lange #define __FUNCT__ "DMPlexMigrate"
140615078cd4SMichael Lange /*@C
140715078cd4SMichael Lange   DMPlexMigrate  - Migrates internal DM data over the supplied star forest
140815078cd4SMichael Lange 
140915078cd4SMichael Lange   Input Parameter:
141015078cd4SMichael Lange + dm       - The source DMPlex object
14111627f6ccSMichael Lange . sf       - The star forest communication context describing the migration pattern
141215078cd4SMichael Lange 
141315078cd4SMichael Lange   Output Parameter:
141415078cd4SMichael Lange - targetDM - The target DMPlex object
141515078cd4SMichael Lange 
1416b9f40539SMichael Lange   Level: intermediate
141715078cd4SMichael Lange 
141815078cd4SMichael Lange .seealso: DMPlexDistribute(), DMPlexDistributeOverlap()
141915078cd4SMichael Lange @*/
1420b9f40539SMichael Lange PetscErrorCode DMPlexMigrate(DM dm, PetscSF sf, DM targetDM)
142115078cd4SMichael Lange {
1422b9f40539SMichael Lange   MPI_Comm               comm;
1423b9f40539SMichael Lange   PetscInt               dim, nroots;
1424b9f40539SMichael Lange   PetscSF                sfPoint;
142515078cd4SMichael Lange   ISLocalToGlobalMapping ltogMigration;
1426ac04eaf7SToby Isaac   ISLocalToGlobalMapping ltogOriginal = NULL;
1427b9f40539SMichael Lange   PetscBool              flg;
142815078cd4SMichael Lange   PetscErrorCode         ierr;
142915078cd4SMichael Lange 
143015078cd4SMichael Lange   PetscFunctionBegin;
143115078cd4SMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
14321b858b30SMichael Lange   ierr = PetscLogEventBegin(DMPLEX_Migrate, dm, 0, 0, 0);CHKERRQ(ierr);
1433b9f40539SMichael Lange   ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr);
143415078cd4SMichael Lange   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
143515078cd4SMichael Lange   ierr = DMSetDimension(targetDM, dim);CHKERRQ(ierr);
143615078cd4SMichael Lange 
1437bfb0467fSMichael Lange   /* Check for a one-to-all distribution pattern */
1438b9f40539SMichael Lange   ierr = DMGetPointSF(dm, &sfPoint);CHKERRQ(ierr);
1439b9f40539SMichael Lange   ierr = PetscSFGetGraph(sfPoint, &nroots, NULL, NULL, NULL);CHKERRQ(ierr);
1440bfb0467fSMichael Lange   if (nroots >= 0) {
1441b9f40539SMichael Lange     IS                     isOriginal;
1442ac04eaf7SToby Isaac     PetscInt               n, size, nleaves;
1443ac04eaf7SToby Isaac     PetscInt              *numbering_orig, *numbering_new;
1444b9f40539SMichael Lange     /* Get the original point numbering */
1445b9f40539SMichael Lange     ierr = DMPlexCreatePointNumbering(dm, &isOriginal);CHKERRQ(ierr);
1446b9f40539SMichael Lange     ierr = ISLocalToGlobalMappingCreateIS(isOriginal, &ltogOriginal);CHKERRQ(ierr);
1447b9f40539SMichael Lange     ierr = ISLocalToGlobalMappingGetSize(ltogOriginal, &size);CHKERRQ(ierr);
1448b9f40539SMichael Lange     ierr = ISLocalToGlobalMappingGetBlockIndices(ltogOriginal, (const PetscInt**)&numbering_orig);CHKERRQ(ierr);
1449b9f40539SMichael Lange     /* Convert to positive global numbers */
1450b9f40539SMichael Lange     for (n=0; n<size; n++) {if (numbering_orig[n] < 0) numbering_orig[n] = -(numbering_orig[n]+1);}
1451b9f40539SMichael Lange     /* Derive the new local-to-global mapping from the old one */
1452b9f40539SMichael Lange     ierr = PetscSFGetGraph(sf, NULL, &nleaves, NULL, NULL);CHKERRQ(ierr);
1453b9f40539SMichael Lange     ierr = PetscMalloc1(nleaves, &numbering_new);CHKERRQ(ierr);
1454b9f40539SMichael Lange     ierr = PetscSFBcastBegin(sf, MPIU_INT, (PetscInt *) numbering_orig, numbering_new);CHKERRQ(ierr);
1455b9f40539SMichael Lange     ierr = PetscSFBcastEnd(sf, MPIU_INT, (PetscInt *) numbering_orig, numbering_new);CHKERRQ(ierr);
1456b9f40539SMichael Lange     ierr = ISLocalToGlobalMappingCreate(comm, 1, nleaves, (const PetscInt*) numbering_new, PETSC_OWN_POINTER, &ltogMigration);CHKERRQ(ierr);
1457b9f40539SMichael Lange     ierr = ISLocalToGlobalMappingRestoreIndices(ltogOriginal, (const PetscInt**)&numbering_orig);CHKERRQ(ierr);
1458b9f40539SMichael Lange     ierr = ISDestroy(&isOriginal);CHKERRQ(ierr);
145915078cd4SMichael Lange   } else {
1460bfb0467fSMichael Lange     /* One-to-all distribution pattern: We can derive LToG from SF */
146115078cd4SMichael Lange     ierr = ISLocalToGlobalMappingCreateSF(sf, 0, &ltogMigration);CHKERRQ(ierr);
146215078cd4SMichael Lange   }
1463b9f40539SMichael Lange   ierr = PetscOptionsHasName(((PetscObject) dm)->prefix, "-partition_view", &flg);CHKERRQ(ierr);
1464b9f40539SMichael Lange   if (flg) {
1465b9f40539SMichael Lange     ierr = PetscPrintf(comm, "Point renumbering for DM migration:\n");CHKERRQ(ierr);
1466b9f40539SMichael Lange     ierr = ISLocalToGlobalMappingView(ltogMigration, NULL);CHKERRQ(ierr);
1467b9f40539SMichael Lange   }
146815078cd4SMichael Lange   /* Migrate DM data to target DM */
1469ac04eaf7SToby Isaac   ierr = DMPlexDistributeCones(dm, sf, ltogOriginal, ltogMigration, targetDM);CHKERRQ(ierr);
147015078cd4SMichael Lange   ierr = DMPlexDistributeCoordinates(dm, sf, targetDM);CHKERRQ(ierr);
147115078cd4SMichael Lange   ierr = DMPlexDistributeLabels(dm, sf, targetDM);CHKERRQ(ierr);
147215078cd4SMichael Lange   ierr = DMPlexDistributeSetupHybrid(dm, sf, ltogMigration, targetDM);CHKERRQ(ierr);
147308633170SToby Isaac   ierr = DMPlexDistributeSetupTree(dm, sf, ltogOriginal, ltogMigration, targetDM);CHKERRQ(ierr);
1474ac04eaf7SToby Isaac   ierr = ISLocalToGlobalMappingDestroy(&ltogOriginal);CHKERRQ(ierr);
1475302440fdSBarry Smith   ierr = ISLocalToGlobalMappingDestroy(&ltogMigration);CHKERRQ(ierr);
14761b858b30SMichael Lange   ierr = PetscLogEventEnd(DMPLEX_Migrate, dm, 0, 0, 0);CHKERRQ(ierr);
147715078cd4SMichael Lange   PetscFunctionReturn(0);
147815078cd4SMichael Lange }
147915078cd4SMichael Lange 
148015078cd4SMichael Lange #undef __FUNCT__
148170034214SMatthew G. Knepley #define __FUNCT__ "DMPlexDistribute"
14823b8f15a2SMatthew G. Knepley /*@C
148370034214SMatthew G. Knepley   DMPlexDistribute - Distributes the mesh and any associated sections.
148470034214SMatthew G. Knepley 
148570034214SMatthew G. Knepley   Not Collective
148670034214SMatthew G. Knepley 
148770034214SMatthew G. Knepley   Input Parameter:
148870034214SMatthew G. Knepley + dm  - The original DMPlex object
148970034214SMatthew G. Knepley - overlap - The overlap of partitions, 0 is the default
149070034214SMatthew G. Knepley 
149170034214SMatthew G. Knepley   Output Parameter:
149270034214SMatthew G. Knepley + sf - The PetscSF used for point distribution
149370034214SMatthew G. Knepley - parallelMesh - The distributed DMPlex object, or NULL
149470034214SMatthew G. Knepley 
149570034214SMatthew G. Knepley   Note: If the mesh was not distributed, the return value is NULL.
149670034214SMatthew G. Knepley 
149770034214SMatthew G. Knepley   The user can control the definition of adjacency for the mesh using DMPlexGetAdjacencyUseCone() and
149870034214SMatthew G. Knepley   DMPlexSetAdjacencyUseClosure(). They should choose the combination appropriate for the function
149970034214SMatthew G. Knepley   representation on the mesh.
150070034214SMatthew G. Knepley 
150170034214SMatthew G. Knepley   Level: intermediate
150270034214SMatthew G. Knepley 
150370034214SMatthew G. Knepley .keywords: mesh, elements
150470034214SMatthew G. Knepley .seealso: DMPlexCreate(), DMPlexDistributeByFace(), DMPlexSetAdjacencyUseCone(), DMPlexSetAdjacencyUseClosure()
150570034214SMatthew G. Knepley @*/
150680cf41d5SMatthew G. Knepley PetscErrorCode DMPlexDistribute(DM dm, PetscInt overlap, PetscSF *sf, DM *dmParallel)
150770034214SMatthew G. Knepley {
150870034214SMatthew G. Knepley   MPI_Comm               comm;
150915078cd4SMichael Lange   PetscPartitioner       partitioner;
1510f8987ae8SMichael Lange   IS                     cellPart;
1511f8987ae8SMichael Lange   PetscSection           cellPartSection;
1512cf86098cSMatthew G. Knepley   DM                     dmCoord;
1513f8987ae8SMichael Lange   DMLabel                lblPartition, lblMigration;
151443f7d02bSMichael Lange   PetscSF                sfProcess, sfMigration, sfStratified, sfPoint;
151570034214SMatthew G. Knepley   PetscBool              flg;
151670034214SMatthew G. Knepley   PetscMPIInt            rank, numProcs, p;
151770034214SMatthew G. Knepley   PetscErrorCode         ierr;
151870034214SMatthew G. Knepley 
151970034214SMatthew G. Knepley   PetscFunctionBegin;
152070034214SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
152170034214SMatthew G. Knepley   if (sf) PetscValidPointer(sf,4);
152270034214SMatthew G. Knepley   PetscValidPointer(dmParallel,5);
152370034214SMatthew G. Knepley 
152470034214SMatthew G. Knepley   ierr = PetscLogEventBegin(DMPLEX_Distribute,dm,0,0,0);CHKERRQ(ierr);
152570034214SMatthew G. Knepley   ierr = PetscObjectGetComm((PetscObject)dm,&comm);CHKERRQ(ierr);
152670034214SMatthew G. Knepley   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
152770034214SMatthew G. Knepley   ierr = MPI_Comm_size(comm, &numProcs);CHKERRQ(ierr);
152870034214SMatthew G. Knepley 
152970034214SMatthew G. Knepley   *dmParallel = NULL;
153070034214SMatthew G. Knepley   if (numProcs == 1) PetscFunctionReturn(0);
153170034214SMatthew G. Knepley 
153215078cd4SMichael Lange   /* Create cell partition */
153377623264SMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCPARTITIONER_Partition,dm,0,0,0);CHKERRQ(ierr);
153477623264SMatthew G. Knepley   ierr = PetscSectionCreate(comm, &cellPartSection);CHKERRQ(ierr);
153515078cd4SMichael Lange   ierr = DMPlexGetPartitioner(dm, &partitioner);CHKERRQ(ierr);
153615078cd4SMichael Lange   ierr = PetscPartitionerPartition(partitioner, dm, cellPartSection, &cellPart);CHKERRQ(ierr);
1537f8987ae8SMichael Lange   {
1538f8987ae8SMichael Lange     /* Convert partition to DMLabel */
1539f8987ae8SMichael Lange     PetscInt proc, pStart, pEnd, npoints, poffset;
1540f8987ae8SMichael Lange     const PetscInt *points;
1541f8987ae8SMichael Lange     ierr = DMLabelCreate("Point Partition", &lblPartition);CHKERRQ(ierr);
1542f8987ae8SMichael Lange     ierr = ISGetIndices(cellPart, &points);CHKERRQ(ierr);
1543f8987ae8SMichael Lange     ierr = PetscSectionGetChart(cellPartSection, &pStart, &pEnd);CHKERRQ(ierr);
1544f8987ae8SMichael Lange     for (proc = pStart; proc < pEnd; proc++) {
1545f8987ae8SMichael Lange       ierr = PetscSectionGetDof(cellPartSection, proc, &npoints);CHKERRQ(ierr);
1546f8987ae8SMichael Lange       ierr = PetscSectionGetOffset(cellPartSection, proc, &poffset);CHKERRQ(ierr);
1547f8987ae8SMichael Lange       for (p = poffset; p < poffset+npoints; p++) {
1548f8987ae8SMichael Lange         ierr = DMLabelSetValue(lblPartition, points[p], proc);CHKERRQ(ierr);
154970034214SMatthew G. Knepley       }
1550f8987ae8SMichael Lange     }
1551f8987ae8SMichael Lange     ierr = ISRestoreIndices(cellPart, &points);CHKERRQ(ierr);
1552f8987ae8SMichael Lange   }
1553f8987ae8SMichael Lange   ierr = DMPlexPartitionLabelClosure(dm, lblPartition);CHKERRQ(ierr);
1554f8987ae8SMichael Lange   {
1555f8987ae8SMichael Lange     /* Build a global process SF */
1556f8987ae8SMichael Lange     PetscSFNode *remoteProc;
1557f8987ae8SMichael Lange     ierr = PetscMalloc1(numProcs, &remoteProc);CHKERRQ(ierr);
1558f8987ae8SMichael Lange     for (p = 0; p < numProcs; ++p) {
1559f8987ae8SMichael Lange       remoteProc[p].rank  = p;
1560f8987ae8SMichael Lange       remoteProc[p].index = rank;
1561f8987ae8SMichael Lange     }
1562f8987ae8SMichael Lange     ierr = PetscSFCreate(comm, &sfProcess);CHKERRQ(ierr);
1563f8987ae8SMichael Lange     ierr = PetscObjectSetName((PetscObject) sfProcess, "Process SF");CHKERRQ(ierr);
1564f8987ae8SMichael Lange     ierr = PetscSFSetGraph(sfProcess, numProcs, numProcs, NULL, PETSC_OWN_POINTER, remoteProc, PETSC_OWN_POINTER);CHKERRQ(ierr);
1565f8987ae8SMichael Lange   }
1566f8987ae8SMichael Lange   ierr = DMLabelCreate("Point migration", &lblMigration);CHKERRQ(ierr);
1567f8987ae8SMichael Lange   ierr = DMPlexPartitionLabelInvert(dm, lblPartition, sfProcess, lblMigration);CHKERRQ(ierr);
1568302440fdSBarry Smith   ierr = DMPlexPartitionLabelCreateSF(dm, lblMigration, &sfMigration);CHKERRQ(ierr);
156943f7d02bSMichael Lange   /* Stratify the SF in case we are migrating an already parallel plex */
157043f7d02bSMichael Lange   ierr = DMPlexStratifyMigrationSF(dm, sfMigration, &sfStratified);CHKERRQ(ierr);
157143f7d02bSMichael Lange   ierr = PetscSFDestroy(&sfMigration);CHKERRQ(ierr);
157243f7d02bSMichael Lange   sfMigration = sfStratified;
1573f8987ae8SMichael Lange   ierr = PetscLogEventEnd(PETSCPARTITIONER_Partition,dm,0,0,0);CHKERRQ(ierr);
157470034214SMatthew G. Knepley   ierr = PetscOptionsHasName(((PetscObject) dm)->prefix, "-partition_view", &flg);CHKERRQ(ierr);
157570034214SMatthew G. Knepley   if (flg) {
1576f8987ae8SMichael Lange     ierr = DMLabelView(lblPartition, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
1577f8987ae8SMichael Lange     ierr = PetscSFView(sfMigration, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
157870034214SMatthew G. Knepley   }
1579f8987ae8SMichael Lange 
158015078cd4SMichael Lange   /* Create non-overlapping parallel DM and migrate internal data */
158170034214SMatthew G. Knepley   ierr = DMPlexCreate(comm, dmParallel);CHKERRQ(ierr);
158270034214SMatthew G. Knepley   ierr = PetscObjectSetName((PetscObject) *dmParallel, "Parallel Mesh");CHKERRQ(ierr);
1583b9f40539SMichael Lange   ierr = DMPlexMigrate(dm, sfMigration, *dmParallel);CHKERRQ(ierr);
158470034214SMatthew G. Knepley 
1585a157612eSMichael Lange   /* Build the point SF without overlap */
15861627f6ccSMichael Lange   ierr = DMPlexCreatePointSF(*dmParallel, sfMigration, PETSC_TRUE, &sfPoint);CHKERRQ(ierr);
1587f5bf2dbfSMichael Lange   ierr = DMSetPointSF(*dmParallel, sfPoint);CHKERRQ(ierr);
1588cf86098cSMatthew G. Knepley   ierr = DMGetCoordinateDM(*dmParallel, &dmCoord);CHKERRQ(ierr);
1589cf86098cSMatthew G. Knepley   if (dmCoord) {ierr = DMSetPointSF(dmCoord, sfPoint);CHKERRQ(ierr);}
1590f5bf2dbfSMichael Lange   if (flg) {ierr = PetscSFView(sfPoint, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);}
159170034214SMatthew G. Knepley 
1592a157612eSMichael Lange   if (overlap > 0) {
159315078cd4SMichael Lange     DM                 dmOverlap;
159415078cd4SMichael Lange     PetscInt           nroots, nleaves;
159515078cd4SMichael Lange     PetscSFNode       *newRemote;
159615078cd4SMichael Lange     const PetscSFNode *oldRemote;
159715078cd4SMichael Lange     PetscSF            sfOverlap, sfOverlapPoint;
1598a157612eSMichael Lange     /* Add the partition overlap to the distributed DM */
1599b9f40539SMichael Lange     ierr = DMPlexDistributeOverlap(*dmParallel, overlap, &sfOverlap, &dmOverlap);CHKERRQ(ierr);
1600a157612eSMichael Lange     ierr = DMDestroy(dmParallel);CHKERRQ(ierr);
1601a157612eSMichael Lange     *dmParallel = dmOverlap;
1602c389ea9fSToby Isaac     if (flg) {
16033d822a50SMichael Lange       ierr = PetscPrintf(comm, "Overlap Migration SF:\n");CHKERRQ(ierr);
160415078cd4SMichael Lange       ierr = PetscSFView(sfOverlap, NULL);CHKERRQ(ierr);
1605c389ea9fSToby Isaac     }
160643331d4aSMichael Lange 
1607f8987ae8SMichael Lange     /* Re-map the migration SF to establish the full migration pattern */
1608f8987ae8SMichael Lange     ierr = PetscSFGetGraph(sfMigration, &nroots, NULL, NULL, &oldRemote);CHKERRQ(ierr);
160915078cd4SMichael Lange     ierr = PetscSFGetGraph(sfOverlap, NULL, &nleaves, NULL, NULL);CHKERRQ(ierr);
161043331d4aSMichael Lange     ierr = PetscMalloc1(nleaves, &newRemote);CHKERRQ(ierr);
161115078cd4SMichael Lange     ierr = PetscSFBcastBegin(sfOverlap, MPIU_2INT, oldRemote, newRemote);CHKERRQ(ierr);
161215078cd4SMichael Lange     ierr = PetscSFBcastEnd(sfOverlap, MPIU_2INT, oldRemote, newRemote);CHKERRQ(ierr);
161315078cd4SMichael Lange     ierr = PetscSFCreate(comm, &sfOverlapPoint);CHKERRQ(ierr);
161415078cd4SMichael Lange     ierr = PetscSFSetGraph(sfOverlapPoint, nroots, nleaves, NULL, PETSC_OWN_POINTER, newRemote, PETSC_OWN_POINTER);CHKERRQ(ierr);
161515078cd4SMichael Lange     ierr = PetscSFDestroy(&sfOverlap);CHKERRQ(ierr);
1616f8987ae8SMichael Lange     ierr = PetscSFDestroy(&sfMigration);CHKERRQ(ierr);
161715078cd4SMichael Lange     sfMigration = sfOverlapPoint;
1618c389ea9fSToby Isaac   }
1619bf5244c7SMatthew G. Knepley   /* Cleanup Partition */
1620f8987ae8SMichael Lange   ierr = PetscSFDestroy(&sfProcess);CHKERRQ(ierr);
1621f8987ae8SMichael Lange   ierr = DMLabelDestroy(&lblPartition);CHKERRQ(ierr);
1622f8987ae8SMichael Lange   ierr = DMLabelDestroy(&lblMigration);CHKERRQ(ierr);
16234eca1733SMichael Lange   ierr = PetscSectionDestroy(&cellPartSection);CHKERRQ(ierr);
16244eca1733SMichael Lange   ierr = ISDestroy(&cellPart);CHKERRQ(ierr);
1625721cbd76SMatthew G. Knepley   /* Copy BC */
1626721cbd76SMatthew G. Knepley   ierr = DMPlexCopyBoundary(dm, *dmParallel);CHKERRQ(ierr);
162766fe0bfeSMatthew G. Knepley   /* Create sfNatural */
162866fe0bfeSMatthew G. Knepley   if (dm->useNatural) {
162966fe0bfeSMatthew G. Knepley     PetscSection section;
163066fe0bfeSMatthew G. Knepley 
163166fe0bfeSMatthew G. Knepley     ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
16320c1f158bSMatthew G. Knepley     ierr = DMPlexCreateGlobalToNaturalSF(*dmParallel, section, sfMigration, &(*dmParallel)->sfNatural);CHKERRQ(ierr);
163366fe0bfeSMatthew G. Knepley   }
1634721cbd76SMatthew G. Knepley   /* Cleanup */
1635f8987ae8SMichael Lange   if (sf) {*sf = sfMigration;}
1636f8987ae8SMichael Lange   else    {ierr = PetscSFDestroy(&sfMigration);CHKERRQ(ierr);}
1637f5bf2dbfSMichael Lange   ierr = PetscSFDestroy(&sfPoint);CHKERRQ(ierr);
163870034214SMatthew G. Knepley   ierr = PetscLogEventEnd(DMPLEX_Distribute,dm,0,0,0);CHKERRQ(ierr);
163970034214SMatthew G. Knepley   PetscFunctionReturn(0);
164070034214SMatthew G. Knepley }
1641a157612eSMichael Lange 
1642a157612eSMichael Lange #undef __FUNCT__
1643a157612eSMichael Lange #define __FUNCT__ "DMPlexDistributeOverlap"
1644a157612eSMichael Lange /*@C
1645a157612eSMichael Lange   DMPlexDistribute - Add partition overlap to a distributed non-overlapping DM.
1646a157612eSMichael Lange 
1647a157612eSMichael Lange   Not Collective
1648a157612eSMichael Lange 
1649a157612eSMichael Lange   Input Parameter:
1650a157612eSMichael Lange + dm  - The non-overlapping distrbuted DMPlex object
1651a157612eSMichael Lange - overlap - The overlap of partitions, 0 is the default
1652a157612eSMichael Lange 
1653a157612eSMichael Lange   Output Parameter:
1654a157612eSMichael Lange + sf - The PetscSF used for point distribution
1655a157612eSMichael Lange - dmOverlap - The overlapping distributed DMPlex object, or NULL
1656a157612eSMichael Lange 
1657a157612eSMichael Lange   Note: If the mesh was not distributed, the return value is NULL.
1658a157612eSMichael Lange 
1659a157612eSMichael Lange   The user can control the definition of adjacency for the mesh using DMPlexGetAdjacencyUseCone() and
1660a157612eSMichael Lange   DMPlexSetAdjacencyUseClosure(). They should choose the combination appropriate for the function
1661a157612eSMichael Lange   representation on the mesh.
1662a157612eSMichael Lange 
1663a157612eSMichael Lange   Level: intermediate
1664a157612eSMichael Lange 
1665a157612eSMichael Lange .keywords: mesh, elements
1666a157612eSMichael Lange .seealso: DMPlexCreate(), DMPlexDistributeByFace(), DMPlexSetAdjacencyUseCone(), DMPlexSetAdjacencyUseClosure()
1667a157612eSMichael Lange @*/
1668b9f40539SMichael Lange PetscErrorCode DMPlexDistributeOverlap(DM dm, PetscInt overlap, PetscSF *sf, DM *dmOverlap)
1669a157612eSMichael Lange {
1670a157612eSMichael Lange   MPI_Comm               comm;
1671a157612eSMichael Lange   PetscMPIInt            rank;
1672a157612eSMichael Lange   PetscSection           rootSection, leafSection;
1673a157612eSMichael Lange   IS                     rootrank, leafrank;
1674cf86098cSMatthew G. Knepley   DM                     dmCoord;
1675a9f1d5b2SMichael Lange   DMLabel                lblOverlap;
1676f5bf2dbfSMichael Lange   PetscSF                sfOverlap, sfStratified, sfPoint;
1677a157612eSMichael Lange   PetscErrorCode         ierr;
1678a157612eSMichael Lange 
1679a157612eSMichael Lange   PetscFunctionBegin;
1680a157612eSMichael Lange   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
1681a157612eSMichael Lange   if (sf) PetscValidPointer(sf, 3);
1682a157612eSMichael Lange   PetscValidPointer(dmOverlap, 4);
1683a157612eSMichael Lange 
16841b858b30SMichael Lange   ierr = PetscLogEventBegin(DMPLEX_DistributeOverlap, dm, 0, 0, 0);CHKERRQ(ierr);
1685a157612eSMichael Lange   ierr = PetscObjectGetComm((PetscObject)dm,&comm);CHKERRQ(ierr);
1686a157612eSMichael Lange   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
1687a157612eSMichael Lange 
1688a157612eSMichael Lange   /* Compute point overlap with neighbouring processes on the distributed DM */
1689a157612eSMichael Lange   ierr = PetscLogEventBegin(PETSCPARTITIONER_Partition,dm,0,0,0);CHKERRQ(ierr);
1690a157612eSMichael Lange   ierr = PetscSectionCreate(comm, &rootSection);CHKERRQ(ierr);
1691a157612eSMichael Lange   ierr = PetscSectionCreate(comm, &leafSection);CHKERRQ(ierr);
1692a157612eSMichael Lange   ierr = DMPlexDistributeOwnership(dm, rootSection, &rootrank, leafSection, &leafrank);CHKERRQ(ierr);
1693a9f1d5b2SMichael Lange   ierr = DMPlexCreateOverlap(dm, overlap, rootSection, rootrank, leafSection, leafrank, &lblOverlap);CHKERRQ(ierr);
1694a9f1d5b2SMichael Lange   /* Convert overlap label to stratified migration SF */
1695a9f1d5b2SMichael Lange   ierr = DMPlexPartitionLabelCreateSF(dm, lblOverlap, &sfOverlap);CHKERRQ(ierr);
1696a9f1d5b2SMichael Lange   ierr = DMPlexStratifyMigrationSF(dm, sfOverlap, &sfStratified);CHKERRQ(ierr);
1697a9f1d5b2SMichael Lange   ierr = PetscSFDestroy(&sfOverlap);CHKERRQ(ierr);
1698a9f1d5b2SMichael Lange   sfOverlap = sfStratified;
1699a9f1d5b2SMichael Lange   ierr = PetscObjectSetName((PetscObject) sfOverlap, "Overlap SF");CHKERRQ(ierr);
1700a9f1d5b2SMichael Lange   ierr = PetscSFSetFromOptions(sfOverlap);CHKERRQ(ierr);
1701a9f1d5b2SMichael Lange 
170215fff7beSMatthew G. Knepley   ierr = PetscSectionDestroy(&rootSection);CHKERRQ(ierr);
170315fff7beSMatthew G. Knepley   ierr = PetscSectionDestroy(&leafSection);CHKERRQ(ierr);
170415fff7beSMatthew G. Knepley   ierr = ISDestroy(&rootrank);CHKERRQ(ierr);
170515fff7beSMatthew G. Knepley   ierr = ISDestroy(&leafrank);CHKERRQ(ierr);
1706a157612eSMichael Lange   ierr = PetscLogEventEnd(PETSCPARTITIONER_Partition,dm,0,0,0);CHKERRQ(ierr);
1707a157612eSMichael Lange 
1708a157612eSMichael Lange   /* Build the overlapping DM */
1709a157612eSMichael Lange   ierr = DMPlexCreate(comm, dmOverlap);CHKERRQ(ierr);
1710a157612eSMichael Lange   ierr = PetscObjectSetName((PetscObject) *dmOverlap, "Parallel Mesh");CHKERRQ(ierr);
1711a9f1d5b2SMichael Lange   ierr = DMPlexMigrate(dm, sfOverlap, *dmOverlap);CHKERRQ(ierr);
1712f5bf2dbfSMichael Lange   /* Build the new point SF */
17131627f6ccSMichael Lange   ierr = DMPlexCreatePointSF(*dmOverlap, sfOverlap, PETSC_FALSE, &sfPoint);CHKERRQ(ierr);
1714f5bf2dbfSMichael Lange   ierr = DMSetPointSF(*dmOverlap, sfPoint);CHKERRQ(ierr);
1715cf86098cSMatthew G. Knepley   ierr = DMGetCoordinateDM(*dmOverlap, &dmCoord);CHKERRQ(ierr);
1716cf86098cSMatthew G. Knepley   if (dmCoord) {ierr = DMSetPointSF(dmCoord, sfPoint);CHKERRQ(ierr);}
1717f5bf2dbfSMichael Lange   ierr = PetscSFDestroy(&sfPoint);CHKERRQ(ierr);
1718a157612eSMichael Lange   /* Cleanup overlap partition */
1719a9f1d5b2SMichael Lange   ierr = DMLabelDestroy(&lblOverlap);CHKERRQ(ierr);
1720a9f1d5b2SMichael Lange   if (sf) *sf = sfOverlap;
1721a9f1d5b2SMichael Lange   else    {ierr = PetscSFDestroy(&sfOverlap);CHKERRQ(ierr);}
17221b858b30SMichael Lange   ierr = PetscLogEventEnd(DMPLEX_DistributeOverlap, dm, 0, 0, 0);CHKERRQ(ierr);
1723a157612eSMichael Lange   PetscFunctionReturn(0);
1724a157612eSMichael Lange }
1725*6462276dSToby Isaac 
1726*6462276dSToby Isaac #undef __FUNCT__
1727*6462276dSToby Isaac #define __FUNCT__ "DMPlexGetGatherDM"
1728*6462276dSToby Isaac /*@C
1729*6462276dSToby Isaac   DMPlexGetGatherDM - Get a copy of the DMPlex that gathers all points on the
1730*6462276dSToby Isaac   root process of the original's communicator.
1731*6462276dSToby Isaac 
1732*6462276dSToby Isaac   Input Parameters:
1733*6462276dSToby Isaac . dm - the original DMPlex object
1734*6462276dSToby Isaac 
1735*6462276dSToby Isaac   Output Parameters:
1736*6462276dSToby Isaac . gatherMesh - the gathered DM object, or NULL
1737*6462276dSToby Isaac 
1738*6462276dSToby Isaac   Level: intermediate
1739*6462276dSToby Isaac 
1740*6462276dSToby Isaac .keywords: mesh
1741*6462276dSToby Isaac .seealso: DMPlexDistribute(), DMPlexGetRedundantDM()
1742*6462276dSToby Isaac @*/
1743*6462276dSToby Isaac PetscErrorCode DMPlexGetGatherDM(DM dm, DM * gatherMesh)
1744*6462276dSToby Isaac {
1745*6462276dSToby Isaac   MPI_Comm       comm;
1746*6462276dSToby Isaac   PetscMPIInt    size;
1747*6462276dSToby Isaac   PetscPartitioner oldPart, gatherPart;
1748*6462276dSToby Isaac   PetscErrorCode ierr;
1749*6462276dSToby Isaac 
1750*6462276dSToby Isaac   PetscFunctionBegin;
1751*6462276dSToby Isaac   PetscValidHeaderSpecific(dm,DM_CLASSID,1);
1752*6462276dSToby Isaac   comm = PetscObjectComm((PetscObject)dm);
1753*6462276dSToby Isaac   ierr = MPI_Comm_size(comm,&size);CHKERRQ(ierr);
1754*6462276dSToby Isaac   *gatherMesh = NULL;
1755*6462276dSToby Isaac   if (size == 1) PetscFunctionReturn(0);
1756*6462276dSToby Isaac   ierr = DMPlexGetPartitioner(dm,&oldPart);CHKERRQ(ierr);
1757*6462276dSToby Isaac   ierr = PetscObjectReference((PetscObject)oldPart);CHKERRQ(ierr);
1758*6462276dSToby Isaac   ierr = PetscPartitionerCreate(comm,&gatherPart);CHKERRQ(ierr);
1759*6462276dSToby Isaac   ierr = PetscPartitionerSetType(gatherPart,PETSCPARTITIONERGATHER);CHKERRQ(ierr);
1760*6462276dSToby Isaac   ierr = DMPlexSetPartitioner(dm,gatherPart);CHKERRQ(ierr);
1761*6462276dSToby Isaac   ierr = DMPlexDistribute(dm,0,NULL,gatherMesh);CHKERRQ(ierr);
1762*6462276dSToby Isaac   ierr = DMPlexSetPartitioner(dm,oldPart);CHKERRQ(ierr);
1763*6462276dSToby Isaac   ierr = PetscPartitionerDestroy(&gatherPart);CHKERRQ(ierr);
1764*6462276dSToby Isaac   ierr = PetscPartitionerDestroy(&oldPart);CHKERRQ(ierr);
1765*6462276dSToby Isaac   PetscFunctionReturn(0);
1766*6462276dSToby Isaac }
1767*6462276dSToby Isaac 
1768*6462276dSToby Isaac #undef __FUNCT__
1769*6462276dSToby Isaac #define __FUNCT__ "DMPlexGetRedundantDM"
1770*6462276dSToby Isaac /*@C
1771*6462276dSToby Isaac   DMPlexGetRedundantDM - Get a copy of the DMPlex that is completely copied on each process.
1772*6462276dSToby Isaac 
1773*6462276dSToby Isaac   Input Parameters:
1774*6462276dSToby Isaac . dm - the original DMPlex object
1775*6462276dSToby Isaac 
1776*6462276dSToby Isaac   Output Parameters:
1777*6462276dSToby Isaac . redundantMesh - the redundant DM object, or NULL
1778*6462276dSToby Isaac 
1779*6462276dSToby Isaac   Level: intermediate
1780*6462276dSToby Isaac 
1781*6462276dSToby Isaac .keywords: mesh
1782*6462276dSToby Isaac .seealso: DMPlexDistribute(), DMPlexGetGatherDM()
1783*6462276dSToby Isaac @*/
1784*6462276dSToby Isaac PetscErrorCode DMPlexGetRedundantDM(DM dm, DM * redundantMesh)
1785*6462276dSToby Isaac {
1786*6462276dSToby Isaac   MPI_Comm       comm;
1787*6462276dSToby Isaac   PetscMPIInt    size, rank;
1788*6462276dSToby Isaac   PetscInt       pStart, pEnd, p;
1789*6462276dSToby Isaac   PetscInt       numPoints = -1;
1790*6462276dSToby Isaac   PetscSF        migrationSF, sfPoint;
1791*6462276dSToby Isaac   DM             gatherDM, dmCoord;
1792*6462276dSToby Isaac   PetscSFNode    *points;
1793*6462276dSToby Isaac   PetscErrorCode ierr;
1794*6462276dSToby Isaac 
1795*6462276dSToby Isaac   PetscFunctionBegin;
1796*6462276dSToby Isaac   PetscValidHeaderSpecific(dm,DM_CLASSID,1);
1797*6462276dSToby Isaac   comm = PetscObjectComm((PetscObject)dm);
1798*6462276dSToby Isaac   ierr = MPI_Comm_size(comm,&size);CHKERRQ(ierr);
1799*6462276dSToby Isaac   *redundantMesh = NULL;
1800*6462276dSToby Isaac   if (size == 1) PetscFunctionReturn(0);
1801*6462276dSToby Isaac   ierr = DMPlexGetGatherDM(dm,&gatherDM);CHKERRQ(ierr);
1802*6462276dSToby Isaac   if (!gatherDM) PetscFunctionReturn(0);
1803*6462276dSToby Isaac   ierr = MPI_Comm_rank(comm,&rank);CHKERRQ(ierr);
1804*6462276dSToby Isaac   ierr = DMPlexGetChart(gatherDM,&pStart,&pEnd);CHKERRQ(ierr);
1805*6462276dSToby Isaac   numPoints = pEnd - pStart;
1806*6462276dSToby Isaac   ierr = MPI_Bcast(&numPoints,1,MPIU_INT,0,comm);CHKERRQ(ierr);
1807*6462276dSToby Isaac   ierr = PetscMalloc1(numPoints,&points);CHKERRQ(ierr);
1808*6462276dSToby Isaac   ierr = PetscSFCreate(comm,&migrationSF);CHKERRQ(ierr);
1809*6462276dSToby Isaac   for (p = 0; p < numPoints; p++) {
1810*6462276dSToby Isaac     points[p].index = p;
1811*6462276dSToby Isaac     points[p].rank  = 0;
1812*6462276dSToby Isaac   }
1813*6462276dSToby Isaac   ierr = PetscSFSetGraph(migrationSF,pEnd-pStart,numPoints,NULL,PETSC_OWN_POINTER,points,PETSC_OWN_POINTER);CHKERRQ(ierr);
1814*6462276dSToby Isaac   ierr = DMPlexCreate(comm, redundantMesh);CHKERRQ(ierr);
1815*6462276dSToby Isaac   ierr = PetscObjectSetName((PetscObject) *redundantMesh, "Redundant Mesh");CHKERRQ(ierr);
1816*6462276dSToby Isaac   ierr = DMPlexMigrate(gatherDM, migrationSF, *redundantMesh);CHKERRQ(ierr);
1817*6462276dSToby Isaac   ierr = DMPlexCreatePointSF(*redundantMesh, migrationSF, PETSC_FALSE, &sfPoint);CHKERRQ(ierr);
1818*6462276dSToby Isaac   ierr = DMSetPointSF(*redundantMesh, sfPoint);CHKERRQ(ierr);
1819*6462276dSToby Isaac   ierr = DMGetCoordinateDM(*redundantMesh, &dmCoord);CHKERRQ(ierr);
1820*6462276dSToby Isaac   if (dmCoord) {ierr = DMSetPointSF(dmCoord, sfPoint);CHKERRQ(ierr);}
1821*6462276dSToby Isaac   ierr = PetscSFDestroy(&sfPoint);CHKERRQ(ierr);
1822*6462276dSToby Isaac   ierr = PetscSFDestroy(&migrationSF);CHKERRQ(ierr);
1823*6462276dSToby Isaac   ierr = DMDestroy(&gatherDM);CHKERRQ(ierr);
1824*6462276dSToby Isaac   PetscFunctionReturn(0);
1825*6462276dSToby Isaac }
1826