170034214SMatthew G. Knepley #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 } 374b0a623aaSMatthew G. Knepley #undef __FUNCT__ 375b0a623aaSMatthew G. Knepley #define __FUNCT__ "DMPlexCreateTwoSidedProcessSF" 376b0a623aaSMatthew G. Knepley /*@ 377b0a623aaSMatthew G. Knepley DMPlexCreateTwoSidedProcessSF - Create an SF which just has process connectivity 378b0a623aaSMatthew G. Knepley 379b0a623aaSMatthew G. Knepley Collective on DM 380b0a623aaSMatthew G. Knepley 381b0a623aaSMatthew G. Knepley Input Parameters: 382b0a623aaSMatthew G. Knepley + dm - The DM 383b0a623aaSMatthew G. Knepley - sfPoint - The PetscSF which encodes point connectivity 384b0a623aaSMatthew G. Knepley 385b0a623aaSMatthew G. Knepley Output Parameters: 386b0a623aaSMatthew G. Knepley + processRanks - A list of process neighbors, or NULL 387b0a623aaSMatthew G. Knepley - sfProcess - An SF encoding the two-sided process connectivity, or NULL 388b0a623aaSMatthew G. Knepley 389b0a623aaSMatthew G. Knepley Level: developer 390b0a623aaSMatthew G. Knepley 391b0a623aaSMatthew G. Knepley .seealso: PetscSFCreate(), DMPlexCreateProcessSF() 392b0a623aaSMatthew G. Knepley @*/ 393b0a623aaSMatthew G. Knepley PetscErrorCode DMPlexCreateTwoSidedProcessSF(DM dm, PetscSF sfPoint, PetscSection rootRankSection, IS rootRanks, PetscSection leafRankSection, IS leafRanks, IS *processRanks, PetscSF *sfProcess) 394b0a623aaSMatthew G. Knepley { 395b0a623aaSMatthew G. Knepley const PetscSFNode *remotePoints; 396b0a623aaSMatthew G. Knepley PetscInt *localPointsNew; 397b0a623aaSMatthew G. Knepley PetscSFNode *remotePointsNew; 398b0a623aaSMatthew G. Knepley const PetscInt *nranks; 399b0a623aaSMatthew G. Knepley PetscInt *ranksNew; 400b0a623aaSMatthew G. Knepley PetscBT neighbors; 401b0a623aaSMatthew G. Knepley PetscInt pStart, pEnd, p, numLeaves, l, numNeighbors, n; 402b0a623aaSMatthew G. Knepley PetscMPIInt numProcs, proc, rank; 403b0a623aaSMatthew G. Knepley PetscErrorCode ierr; 404b0a623aaSMatthew G. Knepley 405b0a623aaSMatthew G. Knepley PetscFunctionBegin; 406b0a623aaSMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 407b0a623aaSMatthew G. Knepley PetscValidHeaderSpecific(sfPoint, PETSCSF_CLASSID, 2); 408b0a623aaSMatthew G. Knepley if (processRanks) {PetscValidPointer(processRanks, 3);} 409b0a623aaSMatthew G. Knepley if (sfProcess) {PetscValidPointer(sfProcess, 4);} 410b0a623aaSMatthew G. Knepley ierr = MPI_Comm_size(PetscObjectComm((PetscObject) dm), &numProcs);CHKERRQ(ierr); 411b0a623aaSMatthew G. Knepley ierr = MPI_Comm_rank(PetscObjectComm((PetscObject) dm), &rank);CHKERRQ(ierr); 412b0a623aaSMatthew G. Knepley ierr = PetscSFGetGraph(sfPoint, NULL, &numLeaves, NULL, &remotePoints);CHKERRQ(ierr); 413b0a623aaSMatthew G. Knepley ierr = PetscBTCreate(numProcs, &neighbors);CHKERRQ(ierr); 414b0a623aaSMatthew G. Knepley ierr = PetscBTMemzero(numProcs, neighbors);CHKERRQ(ierr); 415b0a623aaSMatthew G. Knepley /* Compute root-to-leaf process connectivity */ 416b0a623aaSMatthew G. Knepley ierr = PetscSectionGetChart(rootRankSection, &pStart, &pEnd);CHKERRQ(ierr); 417b0a623aaSMatthew G. Knepley ierr = ISGetIndices(rootRanks, &nranks);CHKERRQ(ierr); 418b0a623aaSMatthew G. Knepley for (p = pStart; p < pEnd; ++p) { 419b0a623aaSMatthew G. Knepley PetscInt ndof, noff, n; 420b0a623aaSMatthew G. Knepley 421b0a623aaSMatthew G. Knepley ierr = PetscSectionGetDof(rootRankSection, p, &ndof);CHKERRQ(ierr); 422b0a623aaSMatthew G. Knepley ierr = PetscSectionGetOffset(rootRankSection, p, &noff);CHKERRQ(ierr); 423b0a623aaSMatthew G. Knepley for (n = 0; n < ndof; ++n) {ierr = PetscBTSet(neighbors, nranks[noff+n]);} 424b0a623aaSMatthew G. Knepley } 425b0a623aaSMatthew G. Knepley ierr = ISRestoreIndices(rootRanks, &nranks);CHKERRQ(ierr); 426b0a623aaSMatthew G. Knepley /* Compute leaf-to-neighbor process connectivity */ 427b0a623aaSMatthew G. Knepley ierr = PetscSectionGetChart(leafRankSection, &pStart, &pEnd);CHKERRQ(ierr); 428b0a623aaSMatthew G. Knepley ierr = ISGetIndices(leafRanks, &nranks);CHKERRQ(ierr); 429b0a623aaSMatthew G. Knepley for (p = pStart; p < pEnd; ++p) { 430b0a623aaSMatthew G. Knepley PetscInt ndof, noff, n; 431b0a623aaSMatthew G. Knepley 432b0a623aaSMatthew G. Knepley ierr = PetscSectionGetDof(leafRankSection, p, &ndof);CHKERRQ(ierr); 433b0a623aaSMatthew G. Knepley ierr = PetscSectionGetOffset(leafRankSection, p, &noff);CHKERRQ(ierr); 434b0a623aaSMatthew G. Knepley for (n = 0; n < ndof; ++n) {ierr = PetscBTSet(neighbors, nranks[noff+n]);} 435b0a623aaSMatthew G. Knepley } 436b0a623aaSMatthew G. Knepley ierr = ISRestoreIndices(leafRanks, &nranks);CHKERRQ(ierr); 437b0a623aaSMatthew G. Knepley /* Compute leaf-to-root process connectivity */ 438b0a623aaSMatthew G. Knepley for (l = 0; l < numLeaves; ++l) {PetscBTSet(neighbors, remotePoints[l].rank);} 439b0a623aaSMatthew G. Knepley /* Calculate edges */ 440b0a623aaSMatthew G. Knepley PetscBTClear(neighbors, rank); 441b0a623aaSMatthew G. Knepley for(proc = 0, numNeighbors = 0; proc < numProcs; ++proc) {if (PetscBTLookup(neighbors, proc)) ++numNeighbors;} 442b0a623aaSMatthew G. Knepley ierr = PetscMalloc1(numNeighbors, &ranksNew);CHKERRQ(ierr); 443b0a623aaSMatthew G. Knepley ierr = PetscMalloc1(numNeighbors, &localPointsNew);CHKERRQ(ierr); 444b0a623aaSMatthew G. Knepley ierr = PetscMalloc1(numNeighbors, &remotePointsNew);CHKERRQ(ierr); 445b0a623aaSMatthew G. Knepley for(proc = 0, n = 0; proc < numProcs; ++proc) { 446b0a623aaSMatthew G. Knepley if (PetscBTLookup(neighbors, proc)) { 447b0a623aaSMatthew G. Knepley ranksNew[n] = proc; 448b0a623aaSMatthew G. Knepley localPointsNew[n] = proc; 449b0a623aaSMatthew G. Knepley remotePointsNew[n].index = rank; 450b0a623aaSMatthew G. Knepley remotePointsNew[n].rank = proc; 451b0a623aaSMatthew G. Knepley ++n; 452b0a623aaSMatthew G. Knepley } 453b0a623aaSMatthew G. Knepley } 454b0a623aaSMatthew G. Knepley ierr = PetscBTDestroy(&neighbors);CHKERRQ(ierr); 455b0a623aaSMatthew G. Knepley if (processRanks) {ierr = ISCreateGeneral(PetscObjectComm((PetscObject)dm), numNeighbors, ranksNew, PETSC_OWN_POINTER, processRanks);CHKERRQ(ierr);} 456b0a623aaSMatthew G. Knepley else {ierr = PetscFree(ranksNew);CHKERRQ(ierr);} 457b0a623aaSMatthew G. Knepley if (sfProcess) { 458b0a623aaSMatthew G. Knepley ierr = PetscSFCreate(PetscObjectComm((PetscObject)dm), sfProcess);CHKERRQ(ierr); 459b0a623aaSMatthew G. Knepley ierr = PetscObjectSetName((PetscObject) *sfProcess, "Two-Sided Process SF");CHKERRQ(ierr); 460b0a623aaSMatthew G. Knepley ierr = PetscSFSetFromOptions(*sfProcess);CHKERRQ(ierr); 461b0a623aaSMatthew G. Knepley ierr = PetscSFSetGraph(*sfProcess, numProcs, numNeighbors, localPointsNew, PETSC_OWN_POINTER, remotePointsNew, PETSC_OWN_POINTER);CHKERRQ(ierr); 462b0a623aaSMatthew G. Knepley } 463b0a623aaSMatthew G. Knepley PetscFunctionReturn(0); 464b0a623aaSMatthew G. Knepley } 465b0a623aaSMatthew G. Knepley 466b0a623aaSMatthew G. Knepley #undef __FUNCT__ 467b0a623aaSMatthew G. Knepley #define __FUNCT__ "DMPlexDistributeOwnership" 468b0a623aaSMatthew G. Knepley /*@ 469b0a623aaSMatthew G. Knepley DMPlexDistributeOwnership - Compute owner information for shared points. This basically gets two-sided for an SF. 470b0a623aaSMatthew G. Knepley 471b0a623aaSMatthew G. Knepley Collective on DM 472b0a623aaSMatthew G. Knepley 473b0a623aaSMatthew G. Knepley Input Parameter: 474b0a623aaSMatthew G. Knepley . dm - The DM 475b0a623aaSMatthew G. Knepley 476b0a623aaSMatthew G. Knepley Output Parameters: 477b0a623aaSMatthew G. Knepley + rootSection - The number of leaves for a given root point 478b0a623aaSMatthew G. Knepley . rootrank - The rank of each edge into the root point 479b0a623aaSMatthew G. Knepley . leafSection - The number of processes sharing a given leaf point 480b0a623aaSMatthew G. Knepley - leafrank - The rank of each process sharing a leaf point 481b0a623aaSMatthew G. Knepley 482b0a623aaSMatthew G. Knepley Level: developer 483b0a623aaSMatthew G. Knepley 484b0a623aaSMatthew G. Knepley .seealso: DMPlexCreateOverlap() 485b0a623aaSMatthew G. Knepley @*/ 486b0a623aaSMatthew G. Knepley PetscErrorCode DMPlexDistributeOwnership(DM dm, PetscSection rootSection, IS *rootrank, PetscSection leafSection, IS *leafrank) 487b0a623aaSMatthew G. Knepley { 488b0a623aaSMatthew G. Knepley MPI_Comm comm; 489b0a623aaSMatthew G. Knepley PetscSF sfPoint; 490b0a623aaSMatthew G. Knepley const PetscInt *rootdegree; 491b0a623aaSMatthew G. Knepley PetscInt *myrank, *remoterank; 492b0a623aaSMatthew G. Knepley PetscInt pStart, pEnd, p, nedges; 493b0a623aaSMatthew G. Knepley PetscMPIInt rank; 494b0a623aaSMatthew G. Knepley PetscErrorCode ierr; 495b0a623aaSMatthew G. Knepley 496b0a623aaSMatthew G. Knepley PetscFunctionBegin; 497b0a623aaSMatthew G. Knepley ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr); 498b0a623aaSMatthew G. Knepley ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 499b0a623aaSMatthew G. Knepley ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr); 500b0a623aaSMatthew G. Knepley ierr = DMGetPointSF(dm, &sfPoint);CHKERRQ(ierr); 501b0a623aaSMatthew G. Knepley /* Compute number of leaves for each root */ 502b0a623aaSMatthew G. Knepley ierr = PetscObjectSetName((PetscObject) rootSection, "Root Section");CHKERRQ(ierr); 503b0a623aaSMatthew G. Knepley ierr = PetscSectionSetChart(rootSection, pStart, pEnd);CHKERRQ(ierr); 504b0a623aaSMatthew G. Knepley ierr = PetscSFComputeDegreeBegin(sfPoint, &rootdegree);CHKERRQ(ierr); 505b0a623aaSMatthew G. Knepley ierr = PetscSFComputeDegreeEnd(sfPoint, &rootdegree);CHKERRQ(ierr); 506b0a623aaSMatthew G. Knepley for (p = pStart; p < pEnd; ++p) {ierr = PetscSectionSetDof(rootSection, p, rootdegree[p-pStart]);CHKERRQ(ierr);} 507b0a623aaSMatthew G. Knepley ierr = PetscSectionSetUp(rootSection);CHKERRQ(ierr); 508b0a623aaSMatthew G. Knepley /* Gather rank of each leaf to root */ 509b0a623aaSMatthew G. Knepley ierr = PetscSectionGetStorageSize(rootSection, &nedges);CHKERRQ(ierr); 510b0a623aaSMatthew G. Knepley ierr = PetscMalloc1(pEnd-pStart, &myrank);CHKERRQ(ierr); 511b0a623aaSMatthew G. Knepley ierr = PetscMalloc1(nedges, &remoterank);CHKERRQ(ierr); 512b0a623aaSMatthew G. Knepley for (p = 0; p < pEnd-pStart; ++p) myrank[p] = rank; 513b0a623aaSMatthew G. Knepley ierr = PetscSFGatherBegin(sfPoint, MPIU_INT, myrank, remoterank);CHKERRQ(ierr); 514b0a623aaSMatthew G. Knepley ierr = PetscSFGatherEnd(sfPoint, MPIU_INT, myrank, remoterank);CHKERRQ(ierr); 515b0a623aaSMatthew G. Knepley ierr = PetscFree(myrank);CHKERRQ(ierr); 516b0a623aaSMatthew G. Knepley ierr = ISCreateGeneral(comm, nedges, remoterank, PETSC_OWN_POINTER, rootrank);CHKERRQ(ierr); 517b0a623aaSMatthew G. Knepley /* Distribute remote ranks to leaves */ 518b0a623aaSMatthew G. Knepley ierr = PetscObjectSetName((PetscObject) leafSection, "Leaf Section");CHKERRQ(ierr); 519b0a623aaSMatthew G. Knepley ierr = DMPlexDistributeFieldIS(dm, sfPoint, rootSection, *rootrank, leafSection, leafrank);CHKERRQ(ierr); 520b0a623aaSMatthew G. Knepley PetscFunctionReturn(0); 521b0a623aaSMatthew G. Knepley } 522b0a623aaSMatthew G. Knepley 523b0a623aaSMatthew G. Knepley #undef __FUNCT__ 524b0a623aaSMatthew G. Knepley #define __FUNCT__ "DMPlexCreateOverlap" 525278397a0SMatthew G. Knepley /*@C 526b0a623aaSMatthew G. Knepley DMPlexCreateOverlap - Compute owner information for shared points. This basically gets two-sided for an SF. 527b0a623aaSMatthew G. Knepley 528b0a623aaSMatthew G. Knepley Collective on DM 529b0a623aaSMatthew G. Knepley 530b0a623aaSMatthew G. Knepley Input Parameters: 531b0a623aaSMatthew G. Knepley + dm - The DM 53224d039d7SMichael Lange . levels - Number of overlap levels 533b0a623aaSMatthew G. Knepley . rootSection - The number of leaves for a given root point 534b0a623aaSMatthew G. Knepley . rootrank - The rank of each edge into the root point 535b0a623aaSMatthew G. Knepley . leafSection - The number of processes sharing a given leaf point 536b0a623aaSMatthew G. Knepley - leafrank - The rank of each process sharing a leaf point 537b0a623aaSMatthew G. Knepley 538b0a623aaSMatthew G. Knepley Output Parameters: 539a9f1d5b2SMichael Lange + ovLabel - DMLabel containing remote overlap contributions as point/rank pairings 540b0a623aaSMatthew G. Knepley 541b0a623aaSMatthew G. Knepley Level: developer 542b0a623aaSMatthew G. Knepley 5431fd9873aSMichael Lange .seealso: DMPlexDistributeOwnership(), DMPlexDistribute() 544b0a623aaSMatthew G. Knepley @*/ 545a9f1d5b2SMichael Lange PetscErrorCode DMPlexCreateOverlap(DM dm, PetscInt levels, PetscSection rootSection, IS rootrank, PetscSection leafSection, IS leafrank, DMLabel *ovLabel) 546b0a623aaSMatthew G. Knepley { 547e540f424SMichael Lange MPI_Comm comm; 548b0a623aaSMatthew G. Knepley DMLabel ovAdjByRank; /* A DMLabel containing all points adjacent to shared points, separated by rank (value in label) */ 549b0a623aaSMatthew G. Knepley PetscSF sfPoint, sfProc; 550b0a623aaSMatthew G. Knepley const PetscSFNode *remote; 551b0a623aaSMatthew G. Knepley const PetscInt *local; 5521fd9873aSMichael Lange const PetscInt *nrank, *rrank; 553b0a623aaSMatthew G. Knepley PetscInt *adj = NULL; 5541fd9873aSMichael Lange PetscInt pStart, pEnd, p, sStart, sEnd, nleaves, l; 555b0a623aaSMatthew G. Knepley PetscMPIInt rank, numProcs; 55626a7d390SMatthew G. Knepley PetscBool useCone, useClosure, flg; 557b0a623aaSMatthew G. Knepley PetscErrorCode ierr; 558b0a623aaSMatthew G. Knepley 559b0a623aaSMatthew G. Knepley PetscFunctionBegin; 560e540f424SMichael Lange ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr); 561e540f424SMichael Lange ierr = MPI_Comm_size(comm, &numProcs);CHKERRQ(ierr); 562e540f424SMichael Lange ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 563b0a623aaSMatthew G. Knepley ierr = DMGetPointSF(dm, &sfPoint);CHKERRQ(ierr); 564b0a623aaSMatthew G. Knepley ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr); 565b0a623aaSMatthew G. Knepley ierr = PetscSectionGetChart(leafSection, &sStart, &sEnd);CHKERRQ(ierr); 566b0a623aaSMatthew G. Knepley ierr = PetscSFGetGraph(sfPoint, NULL, &nleaves, &local, &remote);CHKERRQ(ierr); 567b0a623aaSMatthew G. Knepley ierr = DMLabelCreate("Overlap adjacency", &ovAdjByRank);CHKERRQ(ierr); 568b0a623aaSMatthew G. Knepley /* Handle leaves: shared with the root point */ 569b0a623aaSMatthew G. Knepley for (l = 0; l < nleaves; ++l) { 570b0a623aaSMatthew G. Knepley PetscInt adjSize = PETSC_DETERMINE, a; 571b0a623aaSMatthew G. Knepley 572b0a623aaSMatthew G. Knepley ierr = DMPlexGetAdjacency(dm, local[l], &adjSize, &adj);CHKERRQ(ierr); 573b0a623aaSMatthew G. Knepley for (a = 0; a < adjSize; ++a) {ierr = DMLabelSetValue(ovAdjByRank, adj[a], remote[l].rank);CHKERRQ(ierr);} 574b0a623aaSMatthew G. Knepley } 575b0a623aaSMatthew G. Knepley ierr = ISGetIndices(rootrank, &rrank);CHKERRQ(ierr); 576b0a623aaSMatthew G. Knepley ierr = ISGetIndices(leafrank, &nrank);CHKERRQ(ierr); 577b0a623aaSMatthew G. Knepley /* Handle roots */ 578b0a623aaSMatthew G. Knepley for (p = pStart; p < pEnd; ++p) { 579b0a623aaSMatthew G. Knepley PetscInt adjSize = PETSC_DETERMINE, neighbors = 0, noff, n, a; 580b0a623aaSMatthew G. Knepley 581b0a623aaSMatthew G. Knepley if ((p >= sStart) && (p < sEnd)) { 582b0a623aaSMatthew G. Knepley /* Some leaves share a root with other leaves on different processes */ 583b0a623aaSMatthew G. Knepley ierr = PetscSectionGetDof(leafSection, p, &neighbors);CHKERRQ(ierr); 584b0a623aaSMatthew G. Knepley if (neighbors) { 585b0a623aaSMatthew G. Knepley ierr = PetscSectionGetOffset(leafSection, p, &noff);CHKERRQ(ierr); 586b0a623aaSMatthew G. Knepley ierr = DMPlexGetAdjacency(dm, p, &adjSize, &adj);CHKERRQ(ierr); 587b0a623aaSMatthew G. Knepley for (n = 0; n < neighbors; ++n) { 588b0a623aaSMatthew G. Knepley const PetscInt remoteRank = nrank[noff+n]; 589b0a623aaSMatthew G. Knepley 590b0a623aaSMatthew G. Knepley if (remoteRank == rank) continue; 591b0a623aaSMatthew G. Knepley for (a = 0; a < adjSize; ++a) {ierr = DMLabelSetValue(ovAdjByRank, adj[a], remoteRank);CHKERRQ(ierr);} 592b0a623aaSMatthew G. Knepley } 593b0a623aaSMatthew G. Knepley } 594b0a623aaSMatthew G. Knepley } 595b0a623aaSMatthew G. Knepley /* Roots are shared with leaves */ 596b0a623aaSMatthew G. Knepley ierr = PetscSectionGetDof(rootSection, p, &neighbors);CHKERRQ(ierr); 597b0a623aaSMatthew G. Knepley if (!neighbors) continue; 598b0a623aaSMatthew G. Knepley ierr = PetscSectionGetOffset(rootSection, p, &noff);CHKERRQ(ierr); 599b0a623aaSMatthew G. Knepley ierr = DMPlexGetAdjacency(dm, p, &adjSize, &adj);CHKERRQ(ierr); 600b0a623aaSMatthew G. Knepley for (n = 0; n < neighbors; ++n) { 601b0a623aaSMatthew G. Knepley const PetscInt remoteRank = rrank[noff+n]; 602b0a623aaSMatthew G. Knepley 603b0a623aaSMatthew G. Knepley if (remoteRank == rank) continue; 604b0a623aaSMatthew G. Knepley for (a = 0; a < adjSize; ++a) {ierr = DMLabelSetValue(ovAdjByRank, adj[a], remoteRank);CHKERRQ(ierr);} 605b0a623aaSMatthew G. Knepley } 606b0a623aaSMatthew G. Knepley } 607b0a623aaSMatthew G. Knepley ierr = PetscFree(adj);CHKERRQ(ierr); 608b0a623aaSMatthew G. Knepley ierr = ISRestoreIndices(rootrank, &rrank);CHKERRQ(ierr); 609b0a623aaSMatthew G. Knepley ierr = ISRestoreIndices(leafrank, &nrank);CHKERRQ(ierr); 61024d039d7SMichael Lange /* Add additional overlap levels */ 61124d039d7SMichael Lange for (l = 1; l < levels; l++) {ierr = DMPlexPartitionLabelAdjacency(dm, ovAdjByRank);CHKERRQ(ierr);} 61226a7d390SMatthew G. Knepley /* We require the closure in the overlap */ 61326a7d390SMatthew G. Knepley ierr = DMPlexGetAdjacencyUseCone(dm, &useCone);CHKERRQ(ierr); 61426a7d390SMatthew G. Knepley ierr = DMPlexGetAdjacencyUseClosure(dm, &useClosure);CHKERRQ(ierr); 61526a7d390SMatthew G. Knepley if (useCone || !useClosure) { 6165abbe4feSMichael Lange ierr = DMPlexPartitionLabelClosure(dm, ovAdjByRank);CHKERRQ(ierr); 61726a7d390SMatthew G. Knepley } 618e540f424SMichael Lange ierr = PetscOptionsHasName(((PetscObject) dm)->prefix, "-overlap_view", &flg);CHKERRQ(ierr); 619e540f424SMichael Lange if (flg) { 620b0a623aaSMatthew G. Knepley ierr = PetscViewerASCIISynchronizedAllow(PETSC_VIEWER_STDOUT_WORLD, PETSC_TRUE);CHKERRQ(ierr); 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; 756a9f1d5b2SMichael Lange PetscInt d, dim, 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); 767a9f1d5b2SMichael Lange ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 768a9f1d5b2SMichael Lange 769a9f1d5b2SMichael Lange /* Before building the migration SF we need to know the new stratum offsets */ 770a9f1d5b2SMichael Lange ierr = PetscSFGetGraph(sf, &nroots, &nleaves, NULL, &iremote);CHKERRQ(ierr); 771a9f1d5b2SMichael Lange ierr = PetscMalloc2(nroots, &pointDepths, nleaves, &remoteDepths);CHKERRQ(ierr); 772a9f1d5b2SMichael Lange for (d=0; d<dim+1; d++) { 773a9f1d5b2SMichael Lange ierr = DMPlexGetDepthStratum(dm, d, &pStart, &pEnd);CHKERRQ(ierr); 774a9f1d5b2SMichael Lange for (p=pStart; p<pEnd; p++) pointDepths[p] = d; 775a9f1d5b2SMichael Lange } 776a9f1d5b2SMichael Lange for (p=0; p<nleaves; p++) remoteDepths[p] = -1; 777a9f1d5b2SMichael Lange ierr = PetscSFBcastBegin(sf, MPIU_INT, pointDepths, remoteDepths);CHKERRQ(ierr); 778a9f1d5b2SMichael Lange ierr = PetscSFBcastEnd(sf, MPIU_INT, pointDepths, remoteDepths);CHKERRQ(ierr); 779a9f1d5b2SMichael Lange /* Count recevied points in each stratum and compute the internal strata shift */ 780a9f1d5b2SMichael Lange ierr = PetscMalloc3(dim+1, &depthRecv, dim+1, &depthShift, dim+1, &depthIdx);CHKERRQ(ierr); 781a9f1d5b2SMichael Lange for (d=0; d<dim+1; d++) depthRecv[d]=0; 782a9f1d5b2SMichael Lange for (p=0; p<nleaves; p++) depthRecv[remoteDepths[p]]++; 783a9f1d5b2SMichael Lange depthShift[dim] = 0; 784a9f1d5b2SMichael Lange for (d=0; d<dim; d++) depthShift[d] = depthRecv[dim]; 785a9f1d5b2SMichael Lange for (d=1; d<dim; d++) depthShift[d] += depthRecv[0]; 786a9f1d5b2SMichael Lange for (d=dim-2; d>0; d--) depthShift[d] += depthRecv[d+1]; 787a9f1d5b2SMichael Lange for (d=0; d<dim+1; d++) {depthIdx[d] = 0;} 788a9f1d5b2SMichael Lange /* Derive a new local permutation based on stratified indices */ 789a9f1d5b2SMichael Lange ierr = PetscMalloc1(nleaves, &ilocal);CHKERRQ(ierr); 790a9f1d5b2SMichael Lange for (p=0; p<nleaves; p++) { 791a9f1d5b2SMichael Lange depth = remoteDepths[p]; 792a9f1d5b2SMichael Lange ilocal[p] = depthShift[depth] + depthIdx[depth]; 793a9f1d5b2SMichael Lange depthIdx[depth]++; 794a9f1d5b2SMichael Lange } 795a9f1d5b2SMichael Lange ierr = PetscSFCreate(comm, migrationSF);CHKERRQ(ierr); 796a9f1d5b2SMichael Lange ierr = PetscObjectSetName((PetscObject) *migrationSF, "Migration SF");CHKERRQ(ierr); 797a9f1d5b2SMichael Lange ierr = PetscSFSetGraph(*migrationSF, nroots, nleaves, ilocal, PETSC_OWN_POINTER, iremote, PETSC_COPY_VALUES);CHKERRQ(ierr); 798a9f1d5b2SMichael Lange ierr = PetscFree2(pointDepths,remoteDepths);CHKERRQ(ierr); 799a9f1d5b2SMichael Lange ierr = PetscFree3(depthRecv, depthShift, depthIdx);CHKERRQ(ierr); 800a9f1d5b2SMichael Lange PetscFunctionReturn(0); 801a9f1d5b2SMichael Lange } 802a9f1d5b2SMichael Lange 803a9f1d5b2SMichael Lange #undef __FUNCT__ 80470034214SMatthew G. Knepley #define __FUNCT__ "DMPlexDistributeField" 80570034214SMatthew G. Knepley /*@ 80670034214SMatthew G. Knepley DMPlexDistributeField - Distribute field data to match a given PetscSF, usually the SF from mesh distribution 80770034214SMatthew G. Knepley 80870034214SMatthew G. Knepley Collective on DM 80970034214SMatthew G. Knepley 81070034214SMatthew G. Knepley Input Parameters: 81170034214SMatthew G. Knepley + dm - The DMPlex object 81270034214SMatthew G. Knepley . pointSF - The PetscSF describing the communication pattern 81370034214SMatthew G. Knepley . originalSection - The PetscSection for existing data layout 81470034214SMatthew G. Knepley - originalVec - The existing data 81570034214SMatthew G. Knepley 81670034214SMatthew G. Knepley Output Parameters: 81770034214SMatthew G. Knepley + newSection - The PetscSF describing the new data layout 81870034214SMatthew G. Knepley - newVec - The new data 81970034214SMatthew G. Knepley 82070034214SMatthew G. Knepley Level: developer 82170034214SMatthew G. Knepley 82270034214SMatthew G. Knepley .seealso: DMPlexDistribute(), DMPlexDistributeFieldIS(), DMPlexDistributeData() 82370034214SMatthew G. Knepley @*/ 82470034214SMatthew G. Knepley PetscErrorCode DMPlexDistributeField(DM dm, PetscSF pointSF, PetscSection originalSection, Vec originalVec, PetscSection newSection, Vec newVec) 82570034214SMatthew G. Knepley { 82670034214SMatthew G. Knepley PetscSF fieldSF; 82770034214SMatthew G. Knepley PetscInt *remoteOffsets, fieldSize; 82870034214SMatthew G. Knepley PetscScalar *originalValues, *newValues; 82970034214SMatthew G. Knepley PetscErrorCode ierr; 83070034214SMatthew G. Knepley 83170034214SMatthew G. Knepley PetscFunctionBegin; 83270034214SMatthew G. Knepley ierr = PetscLogEventBegin(DMPLEX_DistributeField,dm,0,0,0);CHKERRQ(ierr); 83370034214SMatthew G. Knepley ierr = PetscSFDistributeSection(pointSF, originalSection, &remoteOffsets, newSection);CHKERRQ(ierr); 83470034214SMatthew G. Knepley 83570034214SMatthew G. Knepley ierr = PetscSectionGetStorageSize(newSection, &fieldSize);CHKERRQ(ierr); 83670034214SMatthew G. Knepley ierr = VecSetSizes(newVec, fieldSize, PETSC_DETERMINE);CHKERRQ(ierr); 83770034214SMatthew G. Knepley ierr = VecSetType(newVec,dm->vectype);CHKERRQ(ierr); 83870034214SMatthew G. Knepley 83970034214SMatthew G. Knepley ierr = VecGetArray(originalVec, &originalValues);CHKERRQ(ierr); 84070034214SMatthew G. Knepley ierr = VecGetArray(newVec, &newValues);CHKERRQ(ierr); 84170034214SMatthew G. Knepley ierr = PetscSFCreateSectionSF(pointSF, originalSection, remoteOffsets, newSection, &fieldSF);CHKERRQ(ierr); 84270034214SMatthew G. Knepley ierr = PetscSFBcastBegin(fieldSF, MPIU_SCALAR, originalValues, newValues);CHKERRQ(ierr); 84370034214SMatthew G. Knepley ierr = PetscSFBcastEnd(fieldSF, MPIU_SCALAR, originalValues, newValues);CHKERRQ(ierr); 84470034214SMatthew G. Knepley ierr = PetscSFDestroy(&fieldSF);CHKERRQ(ierr); 84570034214SMatthew G. Knepley ierr = VecRestoreArray(newVec, &newValues);CHKERRQ(ierr); 84670034214SMatthew G. Knepley ierr = VecRestoreArray(originalVec, &originalValues);CHKERRQ(ierr); 84770034214SMatthew G. Knepley ierr = PetscLogEventEnd(DMPLEX_DistributeField,dm,0,0,0);CHKERRQ(ierr); 84870034214SMatthew G. Knepley PetscFunctionReturn(0); 84970034214SMatthew G. Knepley } 85070034214SMatthew G. Knepley 85170034214SMatthew G. Knepley #undef __FUNCT__ 85270034214SMatthew G. Knepley #define __FUNCT__ "DMPlexDistributeFieldIS" 85370034214SMatthew G. Knepley /*@ 85470034214SMatthew G. Knepley DMPlexDistributeFieldIS - Distribute field data to match a given PetscSF, usually the SF from mesh distribution 85570034214SMatthew G. Knepley 85670034214SMatthew G. Knepley Collective on DM 85770034214SMatthew G. Knepley 85870034214SMatthew G. Knepley Input Parameters: 85970034214SMatthew G. Knepley + dm - The DMPlex object 86070034214SMatthew G. Knepley . pointSF - The PetscSF describing the communication pattern 86170034214SMatthew G. Knepley . originalSection - The PetscSection for existing data layout 86270034214SMatthew G. Knepley - originalIS - The existing data 86370034214SMatthew G. Knepley 86470034214SMatthew G. Knepley Output Parameters: 86570034214SMatthew G. Knepley + newSection - The PetscSF describing the new data layout 86670034214SMatthew G. Knepley - newIS - The new data 86770034214SMatthew G. Knepley 86870034214SMatthew G. Knepley Level: developer 86970034214SMatthew G. Knepley 87070034214SMatthew G. Knepley .seealso: DMPlexDistribute(), DMPlexDistributeField(), DMPlexDistributeData() 87170034214SMatthew G. Knepley @*/ 87270034214SMatthew G. Knepley PetscErrorCode DMPlexDistributeFieldIS(DM dm, PetscSF pointSF, PetscSection originalSection, IS originalIS, PetscSection newSection, IS *newIS) 87370034214SMatthew G. Knepley { 87470034214SMatthew G. Knepley PetscSF fieldSF; 87570034214SMatthew G. Knepley PetscInt *newValues, *remoteOffsets, fieldSize; 87670034214SMatthew G. Knepley const PetscInt *originalValues; 87770034214SMatthew G. Knepley PetscErrorCode ierr; 87870034214SMatthew G. Knepley 87970034214SMatthew G. Knepley PetscFunctionBegin; 88070034214SMatthew G. Knepley ierr = PetscLogEventBegin(DMPLEX_DistributeField,dm,0,0,0);CHKERRQ(ierr); 88170034214SMatthew G. Knepley ierr = PetscSFDistributeSection(pointSF, originalSection, &remoteOffsets, newSection);CHKERRQ(ierr); 88270034214SMatthew G. Knepley 88370034214SMatthew G. Knepley ierr = PetscSectionGetStorageSize(newSection, &fieldSize);CHKERRQ(ierr); 88470034214SMatthew G. Knepley ierr = PetscMalloc(fieldSize * sizeof(PetscInt), &newValues);CHKERRQ(ierr); 88570034214SMatthew G. Knepley 88670034214SMatthew G. Knepley ierr = ISGetIndices(originalIS, &originalValues);CHKERRQ(ierr); 88770034214SMatthew G. Knepley ierr = PetscSFCreateSectionSF(pointSF, originalSection, remoteOffsets, newSection, &fieldSF);CHKERRQ(ierr); 888aaf8c182SMatthew G. Knepley ierr = PetscSFBcastBegin(fieldSF, MPIU_INT, (PetscInt *) originalValues, newValues);CHKERRQ(ierr); 889aaf8c182SMatthew G. Knepley ierr = PetscSFBcastEnd(fieldSF, MPIU_INT, (PetscInt *) originalValues, newValues);CHKERRQ(ierr); 89070034214SMatthew G. Knepley ierr = PetscSFDestroy(&fieldSF);CHKERRQ(ierr); 89170034214SMatthew G. Knepley ierr = ISRestoreIndices(originalIS, &originalValues);CHKERRQ(ierr); 89270034214SMatthew G. Knepley ierr = ISCreateGeneral(PetscObjectComm((PetscObject) pointSF), fieldSize, newValues, PETSC_OWN_POINTER, newIS);CHKERRQ(ierr); 89370034214SMatthew G. Knepley ierr = PetscLogEventEnd(DMPLEX_DistributeField,dm,0,0,0);CHKERRQ(ierr); 89470034214SMatthew G. Knepley PetscFunctionReturn(0); 89570034214SMatthew G. Knepley } 89670034214SMatthew G. Knepley 89770034214SMatthew G. Knepley #undef __FUNCT__ 89870034214SMatthew G. Knepley #define __FUNCT__ "DMPlexDistributeData" 89970034214SMatthew G. Knepley /*@ 90070034214SMatthew G. Knepley DMPlexDistributeData - Distribute field data to match a given PetscSF, usually the SF from mesh distribution 90170034214SMatthew G. Knepley 90270034214SMatthew G. Knepley Collective on DM 90370034214SMatthew G. Knepley 90470034214SMatthew G. Knepley Input Parameters: 90570034214SMatthew G. Knepley + dm - The DMPlex object 90670034214SMatthew G. Knepley . pointSF - The PetscSF describing the communication pattern 90770034214SMatthew G. Knepley . originalSection - The PetscSection for existing data layout 90870034214SMatthew G. Knepley . datatype - The type of data 90970034214SMatthew G. Knepley - originalData - The existing data 91070034214SMatthew G. Knepley 91170034214SMatthew G. Knepley Output Parameters: 91270034214SMatthew G. Knepley + newSection - The PetscSection describing the new data layout 91370034214SMatthew G. Knepley - newData - The new data 91470034214SMatthew G. Knepley 91570034214SMatthew G. Knepley Level: developer 91670034214SMatthew G. Knepley 91770034214SMatthew G. Knepley .seealso: DMPlexDistribute(), DMPlexDistributeField() 91870034214SMatthew G. Knepley @*/ 91970034214SMatthew G. Knepley PetscErrorCode DMPlexDistributeData(DM dm, PetscSF pointSF, PetscSection originalSection, MPI_Datatype datatype, void *originalData, PetscSection newSection, void **newData) 92070034214SMatthew G. Knepley { 92170034214SMatthew G. Knepley PetscSF fieldSF; 92270034214SMatthew G. Knepley PetscInt *remoteOffsets, fieldSize; 92370034214SMatthew G. Knepley PetscMPIInt dataSize; 92470034214SMatthew G. Knepley PetscErrorCode ierr; 92570034214SMatthew G. Knepley 92670034214SMatthew G. Knepley PetscFunctionBegin; 92770034214SMatthew G. Knepley ierr = PetscLogEventBegin(DMPLEX_DistributeData,dm,0,0,0);CHKERRQ(ierr); 92870034214SMatthew G. Knepley ierr = PetscSFDistributeSection(pointSF, originalSection, &remoteOffsets, newSection);CHKERRQ(ierr); 92970034214SMatthew G. Knepley 93070034214SMatthew G. Knepley ierr = PetscSectionGetStorageSize(newSection, &fieldSize);CHKERRQ(ierr); 93170034214SMatthew G. Knepley ierr = MPI_Type_size(datatype, &dataSize);CHKERRQ(ierr); 93270034214SMatthew G. Knepley ierr = PetscMalloc(fieldSize * dataSize, newData);CHKERRQ(ierr); 93370034214SMatthew G. Knepley 93470034214SMatthew G. Knepley ierr = PetscSFCreateSectionSF(pointSF, originalSection, remoteOffsets, newSection, &fieldSF);CHKERRQ(ierr); 93570034214SMatthew G. Knepley ierr = PetscSFBcastBegin(fieldSF, datatype, originalData, *newData);CHKERRQ(ierr); 93670034214SMatthew G. Knepley ierr = PetscSFBcastEnd(fieldSF, datatype, originalData, *newData);CHKERRQ(ierr); 93770034214SMatthew G. Knepley ierr = PetscSFDestroy(&fieldSF);CHKERRQ(ierr); 93870034214SMatthew G. Knepley ierr = PetscLogEventEnd(DMPLEX_DistributeData,dm,0,0,0);CHKERRQ(ierr); 93970034214SMatthew G. Knepley PetscFunctionReturn(0); 94070034214SMatthew G. Knepley } 94170034214SMatthew G. Knepley 94270034214SMatthew G. Knepley #undef __FUNCT__ 943cc71bff1SMichael Lange #define __FUNCT__ "DMPlexDistributeCones" 944cc71bff1SMichael Lange PetscErrorCode DMPlexDistributeCones(DM dm, PetscSF migrationSF, ISLocalToGlobalMapping renumbering, DM dmParallel) 945cc71bff1SMichael Lange { 946*f5bf2dbfSMichael Lange DM_Plex *mesh = (DM_Plex*) dm->data; 947cc71bff1SMichael Lange DM_Plex *pmesh = (DM_Plex*) (dmParallel)->data; 948cc71bff1SMichael Lange MPI_Comm comm; 949cc71bff1SMichael Lange PetscSF coneSF; 950cc71bff1SMichael Lange PetscSection originalConeSection, newConeSection; 951cc71bff1SMichael Lange PetscInt *remoteOffsets, *cones, *newCones, newConesSize; 952cc71bff1SMichael Lange PetscBool flg; 953cc71bff1SMichael Lange PetscErrorCode ierr; 954cc71bff1SMichael Lange 955cc71bff1SMichael Lange PetscFunctionBegin; 956cc71bff1SMichael Lange PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 957cc71bff1SMichael Lange PetscValidPointer(dmParallel,4); 958cc71bff1SMichael Lange ierr = PetscLogEventBegin(DMPLEX_DistributeCones,dm,0,0,0);CHKERRQ(ierr); 959cc71bff1SMichael Lange 960cc71bff1SMichael Lange /* Distribute cone section */ 961cc71bff1SMichael Lange ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr); 962cc71bff1SMichael Lange ierr = DMPlexGetConeSection(dm, &originalConeSection);CHKERRQ(ierr); 963cc71bff1SMichael Lange ierr = DMPlexGetConeSection(dmParallel, &newConeSection);CHKERRQ(ierr); 964cc71bff1SMichael Lange ierr = PetscSFDistributeSection(migrationSF, originalConeSection, &remoteOffsets, newConeSection);CHKERRQ(ierr); 965cc71bff1SMichael Lange ierr = DMSetUp(dmParallel);CHKERRQ(ierr); 966cc71bff1SMichael Lange { 967cc71bff1SMichael Lange PetscInt pStart, pEnd, p; 968cc71bff1SMichael Lange 969cc71bff1SMichael Lange ierr = PetscSectionGetChart(newConeSection, &pStart, &pEnd);CHKERRQ(ierr); 970cc71bff1SMichael Lange for (p = pStart; p < pEnd; ++p) { 971cc71bff1SMichael Lange PetscInt coneSize; 972cc71bff1SMichael Lange ierr = PetscSectionGetDof(newConeSection, p, &coneSize);CHKERRQ(ierr); 973cc71bff1SMichael Lange pmesh->maxConeSize = PetscMax(pmesh->maxConeSize, coneSize); 974cc71bff1SMichael Lange } 975cc71bff1SMichael Lange } 976cc71bff1SMichael Lange /* Communicate and renumber cones */ 977cc71bff1SMichael Lange ierr = PetscSFCreateSectionSF(migrationSF, originalConeSection, remoteOffsets, newConeSection, &coneSF);CHKERRQ(ierr); 978cc71bff1SMichael Lange ierr = DMPlexGetCones(dm, &cones);CHKERRQ(ierr); 979cc71bff1SMichael Lange ierr = DMPlexGetCones(dmParallel, &newCones);CHKERRQ(ierr); 980cc71bff1SMichael Lange ierr = PetscSFBcastBegin(coneSF, MPIU_INT, cones, newCones);CHKERRQ(ierr); 981cc71bff1SMichael Lange ierr = PetscSFBcastEnd(coneSF, MPIU_INT, cones, newCones);CHKERRQ(ierr); 982cc71bff1SMichael Lange ierr = PetscSectionGetStorageSize(newConeSection, &newConesSize);CHKERRQ(ierr); 983cc71bff1SMichael Lange ierr = ISGlobalToLocalMappingApplyBlock(renumbering, IS_GTOLM_MASK, newConesSize, newCones, NULL, newCones);CHKERRQ(ierr); 9843533c52bSMatthew G. Knepley #if PETSC_USE_DEBUG 9853533c52bSMatthew G. Knepley { 9863533c52bSMatthew G. Knepley PetscInt p; 9873533c52bSMatthew G. Knepley PetscBool valid = PETSC_TRUE; 9883533c52bSMatthew G. Knepley for (p = 0; p < newConesSize; ++p) { 9893533c52bSMatthew G. Knepley if (newCones[p] < 0) {valid = PETSC_FALSE; ierr = PetscPrintf(PETSC_COMM_SELF, "Point %d not in overlap SF\n", p);CHKERRQ(ierr);} 9903533c52bSMatthew G. Knepley } 9913533c52bSMatthew G. Knepley if (!valid) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid global to local map"); 9923533c52bSMatthew G. Knepley } 9933533c52bSMatthew G. Knepley #endif 994cc71bff1SMichael Lange ierr = PetscOptionsHasName(((PetscObject) dm)->prefix, "-cones_view", &flg);CHKERRQ(ierr); 995cc71bff1SMichael Lange if (flg) { 996cc71bff1SMichael Lange ierr = PetscPrintf(comm, "Serial Cone Section:\n");CHKERRQ(ierr); 997cc71bff1SMichael Lange ierr = PetscSectionView(originalConeSection, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 998cc71bff1SMichael Lange ierr = PetscPrintf(comm, "Parallel Cone Section:\n");CHKERRQ(ierr); 999cc71bff1SMichael Lange ierr = PetscSectionView(newConeSection, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 1000cc71bff1SMichael Lange ierr = PetscSFView(coneSF, NULL);CHKERRQ(ierr); 1001cc71bff1SMichael Lange } 1002cc71bff1SMichael Lange ierr = DMPlexGetConeOrientations(dm, &cones);CHKERRQ(ierr); 1003cc71bff1SMichael Lange ierr = DMPlexGetConeOrientations(dmParallel, &newCones);CHKERRQ(ierr); 1004cc71bff1SMichael Lange ierr = PetscSFBcastBegin(coneSF, MPIU_INT, cones, newCones);CHKERRQ(ierr); 1005cc71bff1SMichael Lange ierr = PetscSFBcastEnd(coneSF, MPIU_INT, cones, newCones);CHKERRQ(ierr); 1006cc71bff1SMichael Lange ierr = PetscSFDestroy(&coneSF);CHKERRQ(ierr); 1007cc71bff1SMichael Lange ierr = PetscLogEventEnd(DMPLEX_DistributeCones,dm,0,0,0);CHKERRQ(ierr); 1008cc71bff1SMichael Lange /* Create supports and stratify sieve */ 1009cc71bff1SMichael Lange { 1010cc71bff1SMichael Lange PetscInt pStart, pEnd; 1011cc71bff1SMichael Lange 1012cc71bff1SMichael Lange ierr = PetscSectionGetChart(pmesh->coneSection, &pStart, &pEnd);CHKERRQ(ierr); 1013cc71bff1SMichael Lange ierr = PetscSectionSetChart(pmesh->supportSection, pStart, pEnd);CHKERRQ(ierr); 1014cc71bff1SMichael Lange } 1015cc71bff1SMichael Lange ierr = DMPlexSymmetrize(dmParallel);CHKERRQ(ierr); 1016cc71bff1SMichael Lange ierr = DMPlexStratify(dmParallel);CHKERRQ(ierr); 1017*f5bf2dbfSMichael Lange pmesh->useCone = mesh->useCone; 1018*f5bf2dbfSMichael Lange pmesh->useClosure = mesh->useClosure; 1019cc71bff1SMichael Lange PetscFunctionReturn(0); 1020cc71bff1SMichael Lange } 1021cc71bff1SMichael Lange 1022cc71bff1SMichael Lange #undef __FUNCT__ 10230df0e737SMichael Lange #define __FUNCT__ "DMPlexDistributeCoordinates" 10240df0e737SMichael Lange PetscErrorCode DMPlexDistributeCoordinates(DM dm, PetscSF migrationSF, DM dmParallel) 10250df0e737SMichael Lange { 10260df0e737SMichael Lange MPI_Comm comm; 10270df0e737SMichael Lange PetscSection originalCoordSection, newCoordSection; 10280df0e737SMichael Lange Vec originalCoordinates, newCoordinates; 10290df0e737SMichael Lange PetscInt bs; 10300df0e737SMichael Lange const char *name; 10310df0e737SMichael Lange const PetscReal *maxCell, *L; 10320df0e737SMichael Lange PetscErrorCode ierr; 10330df0e737SMichael Lange 10340df0e737SMichael Lange PetscFunctionBegin; 10350df0e737SMichael Lange PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 10360df0e737SMichael Lange PetscValidPointer(dmParallel, 3); 10370df0e737SMichael Lange 10380df0e737SMichael Lange ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr); 10390df0e737SMichael Lange ierr = DMGetCoordinateSection(dm, &originalCoordSection);CHKERRQ(ierr); 10400df0e737SMichael Lange ierr = DMGetCoordinateSection(dmParallel, &newCoordSection);CHKERRQ(ierr); 10410df0e737SMichael Lange ierr = DMGetCoordinatesLocal(dm, &originalCoordinates);CHKERRQ(ierr); 10420df0e737SMichael Lange if (originalCoordinates) { 10430df0e737SMichael Lange ierr = VecCreate(comm, &newCoordinates);CHKERRQ(ierr); 10440df0e737SMichael Lange ierr = PetscObjectGetName((PetscObject) originalCoordinates, &name);CHKERRQ(ierr); 10450df0e737SMichael Lange ierr = PetscObjectSetName((PetscObject) newCoordinates, name);CHKERRQ(ierr); 10460df0e737SMichael Lange 10470df0e737SMichael Lange ierr = DMPlexDistributeField(dm, migrationSF, originalCoordSection, originalCoordinates, newCoordSection, newCoordinates);CHKERRQ(ierr); 10480df0e737SMichael Lange ierr = DMSetCoordinatesLocal(dmParallel, newCoordinates);CHKERRQ(ierr); 10490df0e737SMichael Lange ierr = VecGetBlockSize(originalCoordinates, &bs);CHKERRQ(ierr); 10500df0e737SMichael Lange ierr = VecSetBlockSize(newCoordinates, bs);CHKERRQ(ierr); 10510df0e737SMichael Lange ierr = VecDestroy(&newCoordinates);CHKERRQ(ierr); 10520df0e737SMichael Lange } 10530df0e737SMichael Lange ierr = DMGetPeriodicity(dm, &maxCell, &L);CHKERRQ(ierr); 10540df0e737SMichael Lange if (L) {ierr = DMSetPeriodicity(dmParallel, maxCell, L);CHKERRQ(ierr);} 10550df0e737SMichael Lange PetscFunctionReturn(0); 10560df0e737SMichael Lange } 10570df0e737SMichael Lange 10580df0e737SMichael Lange #undef __FUNCT__ 10590df0e737SMichael Lange #define __FUNCT__ "DMPlexDistributeLabels" 1060d995df53SMatthew G. Knepley /* Here we are assuming that process 0 always has everything */ 10612eb1fa14SMichael Lange PetscErrorCode DMPlexDistributeLabels(DM dm, PetscSF migrationSF, DM dmParallel) 10620df0e737SMichael Lange { 10630df0e737SMichael Lange MPI_Comm comm; 10640df0e737SMichael Lange PetscMPIInt rank; 1065d995df53SMatthew G. Knepley PetscInt numLabels, numLocalLabels, l; 1066d995df53SMatthew G. Knepley PetscBool hasLabels = PETSC_FALSE; 10670df0e737SMichael Lange PetscErrorCode ierr; 10680df0e737SMichael Lange 10690df0e737SMichael Lange PetscFunctionBegin; 10700df0e737SMichael Lange PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 10712eb1fa14SMichael Lange PetscValidHeaderSpecific(dm, DM_CLASSID, 3); 10720df0e737SMichael Lange ierr = PetscLogEventBegin(DMPLEX_DistributeLabels,dm,0,0,0);CHKERRQ(ierr); 10730df0e737SMichael Lange ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr); 10740df0e737SMichael Lange ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 10750df0e737SMichael Lange 1076d995df53SMatthew G. Knepley /* Everyone must have either the same number of labels, or none */ 1077d995df53SMatthew G. Knepley ierr = DMPlexGetNumLabels(dm, &numLocalLabels);CHKERRQ(ierr); 1078d995df53SMatthew G. Knepley numLabels = numLocalLabels; 10790df0e737SMichael Lange ierr = MPI_Bcast(&numLabels, 1, MPIU_INT, 0, comm);CHKERRQ(ierr); 1080627847f0SMatthew G. Knepley if (numLabels == numLocalLabels) hasLabels = PETSC_TRUE; 1081bdd2d751SMichael Lange for (l = numLabels-1; l >= 0; --l) { 1082bdd2d751SMichael Lange DMLabel label = NULL, labelNew = NULL; 10830df0e737SMichael Lange PetscBool isdepth; 10840df0e737SMichael Lange 1085d995df53SMatthew G. Knepley if (hasLabels) { 1086bdd2d751SMichael Lange ierr = DMPlexGetLabelByNum(dm, l, &label);CHKERRQ(ierr); 10870df0e737SMichael Lange /* Skip "depth" because it is recreated */ 1088bdd2d751SMichael Lange ierr = PetscStrcmp(label->name, "depth", &isdepth);CHKERRQ(ierr); 1089bdd2d751SMichael Lange } 10900df0e737SMichael Lange ierr = MPI_Bcast(&isdepth, 1, MPIU_BOOL, 0, comm);CHKERRQ(ierr); 1091bdd2d751SMichael Lange if (isdepth) continue; 1092bdd2d751SMichael Lange ierr = DMLabelDistribute(label, migrationSF, &labelNew);CHKERRQ(ierr); 1093bdd2d751SMichael Lange ierr = DMPlexAddLabel(dmParallel, labelNew);CHKERRQ(ierr); 10940df0e737SMichael Lange } 10950df0e737SMichael Lange ierr = PetscLogEventEnd(DMPLEX_DistributeLabels,dm,0,0,0);CHKERRQ(ierr); 10960df0e737SMichael Lange PetscFunctionReturn(0); 10970df0e737SMichael Lange } 10980df0e737SMichael Lange 10999734c634SMichael Lange #undef __FUNCT__ 11009734c634SMichael Lange #define __FUNCT__ "DMPlexDistributeSetupHybrid" 11019734c634SMichael Lange PetscErrorCode DMPlexDistributeSetupHybrid(DM dm, PetscSF migrationSF, ISLocalToGlobalMapping renumbering, DM dmParallel) 11029734c634SMichael Lange { 11039734c634SMichael Lange DM_Plex *mesh = (DM_Plex*) dm->data; 11049734c634SMichael Lange DM_Plex *pmesh = (DM_Plex*) (dmParallel)->data; 11059734c634SMichael Lange MPI_Comm comm; 11069734c634SMichael Lange const PetscInt *gpoints; 11079734c634SMichael Lange PetscInt dim, depth, n, d; 11089734c634SMichael Lange PetscErrorCode ierr; 11099734c634SMichael Lange 11109734c634SMichael Lange PetscFunctionBegin; 11119734c634SMichael Lange PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 11129734c634SMichael Lange PetscValidPointer(dmParallel, 4); 11139734c634SMichael Lange 11149734c634SMichael Lange ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr); 11159734c634SMichael Lange ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 11169734c634SMichael Lange 11179734c634SMichael Lange /* Setup hybrid structure */ 11189734c634SMichael Lange for (d = 0; d <= dim; ++d) {pmesh->hybridPointMax[d] = mesh->hybridPointMax[d];} 11199734c634SMichael Lange ierr = MPI_Bcast(pmesh->hybridPointMax, dim+1, MPIU_INT, 0, comm);CHKERRQ(ierr); 11209734c634SMichael Lange ierr = ISLocalToGlobalMappingGetSize(renumbering, &n);CHKERRQ(ierr); 11219734c634SMichael Lange ierr = ISLocalToGlobalMappingGetIndices(renumbering, &gpoints);CHKERRQ(ierr); 11229734c634SMichael Lange ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr); 11239734c634SMichael Lange for (d = 0; d <= dim; ++d) { 11249734c634SMichael Lange PetscInt pmax = pmesh->hybridPointMax[d], newmax = 0, pEnd, stratum[2], p; 11259734c634SMichael Lange 11269734c634SMichael Lange if (pmax < 0) continue; 11279734c634SMichael Lange ierr = DMPlexGetDepthStratum(dm, d > depth ? depth : d, &stratum[0], &stratum[1]);CHKERRQ(ierr); 11289734c634SMichael Lange ierr = DMPlexGetDepthStratum(dmParallel, d, NULL, &pEnd);CHKERRQ(ierr); 11299734c634SMichael Lange ierr = MPI_Bcast(stratum, 2, MPIU_INT, 0, comm);CHKERRQ(ierr); 11309734c634SMichael Lange for (p = 0; p < n; ++p) { 11319734c634SMichael Lange const PetscInt point = gpoints[p]; 11329734c634SMichael Lange 11339734c634SMichael Lange if ((point >= stratum[0]) && (point < stratum[1]) && (point >= pmax)) ++newmax; 11349734c634SMichael Lange } 11359734c634SMichael Lange if (newmax > 0) pmesh->hybridPointMax[d] = pEnd - newmax; 11369734c634SMichael Lange else pmesh->hybridPointMax[d] = -1; 11379734c634SMichael Lange } 11389734c634SMichael Lange ierr = ISLocalToGlobalMappingRestoreIndices(renumbering, &gpoints);CHKERRQ(ierr); 11399734c634SMichael Lange PetscFunctionReturn(0); 11409734c634SMichael Lange } 11410df0e737SMichael Lange 1142a6f36705SMichael Lange #undef __FUNCT__ 1143a6f36705SMichael Lange #define __FUNCT__ "DMPlexDistributeSetupTree" 1144a6f36705SMichael Lange PetscErrorCode DMPlexDistributeSetupTree(DM dm, PetscSF migrationSF, ISLocalToGlobalMapping renumbering, DM dmParallel) 1145a6f36705SMichael Lange { 114615078cd4SMichael Lange DM_Plex *mesh = (DM_Plex*) dm->data; 114715078cd4SMichael Lange DM_Plex *pmesh = (DM_Plex*) (dmParallel)->data; 1148a6f36705SMichael Lange MPI_Comm comm; 1149a6f36705SMichael Lange DM refTree; 1150a6f36705SMichael Lange PetscSection origParentSection, newParentSection; 1151a6f36705SMichael Lange PetscInt *origParents, *origChildIDs; 1152a6f36705SMichael Lange PetscBool flg; 1153a6f36705SMichael Lange PetscErrorCode ierr; 1154a6f36705SMichael Lange 1155a6f36705SMichael Lange PetscFunctionBegin; 1156a6f36705SMichael Lange PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 1157a6f36705SMichael Lange PetscValidHeaderSpecific(dm, DM_CLASSID, 4); 1158a6f36705SMichael Lange ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr); 1159a6f36705SMichael Lange 1160a6f36705SMichael Lange /* Set up tree */ 1161a6f36705SMichael Lange ierr = DMPlexGetReferenceTree(dm,&refTree);CHKERRQ(ierr); 1162a6f36705SMichael Lange ierr = DMPlexSetReferenceTree(dmParallel,refTree);CHKERRQ(ierr); 1163a6f36705SMichael Lange ierr = DMPlexGetTree(dm,&origParentSection,&origParents,&origChildIDs,NULL,NULL);CHKERRQ(ierr); 1164a6f36705SMichael Lange if (origParentSection) { 1165a6f36705SMichael Lange PetscInt pStart, pEnd; 1166a6f36705SMichael Lange PetscInt *newParents, *newChildIDs; 1167a6f36705SMichael Lange PetscInt *remoteOffsetsParents, newParentSize; 1168a6f36705SMichael Lange PetscSF parentSF; 1169a6f36705SMichael Lange 1170a6f36705SMichael Lange ierr = DMPlexGetChart(dmParallel, &pStart, &pEnd);CHKERRQ(ierr); 1171a6f36705SMichael Lange ierr = PetscSectionCreate(PetscObjectComm((PetscObject)dmParallel),&newParentSection);CHKERRQ(ierr); 1172a6f36705SMichael Lange ierr = PetscSectionSetChart(newParentSection,pStart,pEnd);CHKERRQ(ierr); 1173a6f36705SMichael Lange ierr = PetscSFDistributeSection(migrationSF, origParentSection, &remoteOffsetsParents, newParentSection);CHKERRQ(ierr); 1174a6f36705SMichael Lange ierr = PetscSFCreateSectionSF(migrationSF, origParentSection, remoteOffsetsParents, newParentSection, &parentSF);CHKERRQ(ierr); 1175a6f36705SMichael Lange ierr = PetscSectionGetStorageSize(newParentSection,&newParentSize);CHKERRQ(ierr); 1176a6f36705SMichael Lange ierr = PetscMalloc2(newParentSize,&newParents,newParentSize,&newChildIDs);CHKERRQ(ierr); 1177a6f36705SMichael Lange ierr = PetscSFBcastBegin(parentSF, MPIU_INT, origParents, newParents);CHKERRQ(ierr); 1178a6f36705SMichael Lange ierr = PetscSFBcastEnd(parentSF, MPIU_INT, origParents, newParents);CHKERRQ(ierr); 1179a6f36705SMichael Lange ierr = PetscSFBcastBegin(parentSF, MPIU_INT, origChildIDs, newChildIDs);CHKERRQ(ierr); 1180a6f36705SMichael Lange ierr = PetscSFBcastEnd(parentSF, MPIU_INT, origChildIDs, newChildIDs);CHKERRQ(ierr); 1181a6f36705SMichael Lange ierr = ISGlobalToLocalMappingApplyBlock(renumbering,IS_GTOLM_MASK, newParentSize, newParents, NULL, newParents);CHKERRQ(ierr); 1182a6f36705SMichael Lange ierr = PetscOptionsHasName(((PetscObject) dm)->prefix, "-parents_view", &flg);CHKERRQ(ierr); 1183a6f36705SMichael Lange if (flg) { 1184a6f36705SMichael Lange ierr = PetscPrintf(comm, "Serial Parent Section: \n");CHKERRQ(ierr); 1185a6f36705SMichael Lange ierr = PetscSectionView(origParentSection, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 1186a6f36705SMichael Lange ierr = PetscPrintf(comm, "Parallel Parent Section: \n");CHKERRQ(ierr); 1187a6f36705SMichael Lange ierr = PetscSectionView(newParentSection, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 1188a6f36705SMichael Lange ierr = PetscSFView(parentSF, NULL);CHKERRQ(ierr); 1189a6f36705SMichael Lange } 1190a6f36705SMichael Lange ierr = DMPlexSetTree(dmParallel,newParentSection,newParents,newChildIDs);CHKERRQ(ierr); 1191a6f36705SMichael Lange ierr = PetscSectionDestroy(&newParentSection);CHKERRQ(ierr); 1192a6f36705SMichael Lange ierr = PetscFree2(newParents,newChildIDs);CHKERRQ(ierr); 1193a6f36705SMichael Lange ierr = PetscSFDestroy(&parentSF);CHKERRQ(ierr); 1194a6f36705SMichael Lange } 119515078cd4SMichael Lange pmesh->useAnchors = mesh->useAnchors; 1196a6f36705SMichael Lange PetscFunctionReturn(0); 1197a6f36705SMichael Lange } 11980df0e737SMichael Lange 11990df0e737SMichael Lange #undef __FUNCT__ 12004eca1733SMichael Lange #define __FUNCT__ "DMPlexDistributeSF" 1201f8987ae8SMichael Lange PetscErrorCode DMPlexDistributeSF(DM dm, PetscSF migrationSF, DM dmParallel) 12024eca1733SMichael Lange { 12034eca1733SMichael Lange DM_Plex *mesh = (DM_Plex*) dm->data; 12044eca1733SMichael Lange DM_Plex *pmesh = (DM_Plex*) (dmParallel)->data; 12054eca1733SMichael Lange PetscMPIInt rank, numProcs; 12064eca1733SMichael Lange MPI_Comm comm; 12074eca1733SMichael Lange PetscErrorCode ierr; 12084eca1733SMichael Lange 12094eca1733SMichael Lange PetscFunctionBegin; 12104eca1733SMichael Lange PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 12114eca1733SMichael Lange PetscValidPointer(dmParallel,7); 12124eca1733SMichael Lange 12134eca1733SMichael Lange /* Create point SF for parallel mesh */ 12144eca1733SMichael Lange ierr = PetscLogEventBegin(DMPLEX_DistributeSF,dm,0,0,0);CHKERRQ(ierr); 12154eca1733SMichael Lange ierr = PetscObjectGetComm((PetscObject)dm, &comm);CHKERRQ(ierr); 12164eca1733SMichael Lange ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 12174eca1733SMichael Lange ierr = MPI_Comm_size(comm, &numProcs);CHKERRQ(ierr); 12184eca1733SMichael Lange { 12194eca1733SMichael Lange const PetscInt *leaves; 12204eca1733SMichael Lange PetscSFNode *remotePoints, *rowners, *lowners; 12214eca1733SMichael Lange PetscInt numRoots, numLeaves, numGhostPoints = 0, p, gp, *ghostPoints; 12224eca1733SMichael Lange PetscInt pStart, pEnd; 12234eca1733SMichael Lange 12244eca1733SMichael Lange ierr = DMPlexGetChart(dmParallel, &pStart, &pEnd);CHKERRQ(ierr); 12254eca1733SMichael Lange ierr = PetscSFGetGraph(migrationSF, &numRoots, &numLeaves, &leaves, NULL);CHKERRQ(ierr); 12264eca1733SMichael Lange ierr = PetscMalloc2(numRoots,&rowners,numLeaves,&lowners);CHKERRQ(ierr); 12274eca1733SMichael Lange for (p=0; p<numRoots; p++) { 12284eca1733SMichael Lange rowners[p].rank = -1; 12294eca1733SMichael Lange rowners[p].index = -1; 12304eca1733SMichael Lange } 12314eca1733SMichael Lange ierr = PetscSFBcastBegin(migrationSF, MPIU_2INT, rowners, lowners);CHKERRQ(ierr); 12324eca1733SMichael Lange ierr = PetscSFBcastEnd(migrationSF, MPIU_2INT, rowners, lowners);CHKERRQ(ierr); 12334eca1733SMichael Lange for (p = 0; p < numLeaves; ++p) { 12344eca1733SMichael Lange if (lowners[p].rank < 0 || lowners[p].rank == rank) { /* Either put in a bid or we know we own it */ 12354eca1733SMichael Lange lowners[p].rank = rank; 12364eca1733SMichael Lange lowners[p].index = leaves ? leaves[p] : p; 12374eca1733SMichael Lange } else if (lowners[p].rank >= 0) { /* Point already claimed so flag so that MAXLOC does not listen to us */ 12384eca1733SMichael Lange lowners[p].rank = -2; 12394eca1733SMichael Lange lowners[p].index = -2; 12404eca1733SMichael Lange } 12414eca1733SMichael Lange } 12424eca1733SMichael Lange for (p=0; p<numRoots; p++) { /* Root must not participate in the rediction, flag so that MAXLOC does not use */ 12434eca1733SMichael Lange rowners[p].rank = -3; 12444eca1733SMichael Lange rowners[p].index = -3; 12454eca1733SMichael Lange } 12464eca1733SMichael Lange ierr = PetscSFReduceBegin(migrationSF, MPIU_2INT, lowners, rowners, MPI_MAXLOC);CHKERRQ(ierr); 12474eca1733SMichael Lange ierr = PetscSFReduceEnd(migrationSF, MPIU_2INT, lowners, rowners, MPI_MAXLOC);CHKERRQ(ierr); 12484eca1733SMichael Lange ierr = PetscSFBcastBegin(migrationSF, MPIU_2INT, rowners, lowners);CHKERRQ(ierr); 12494eca1733SMichael Lange ierr = PetscSFBcastEnd(migrationSF, MPIU_2INT, rowners, lowners);CHKERRQ(ierr); 12504eca1733SMichael Lange for (p = 0; p < numLeaves; ++p) { 12514eca1733SMichael Lange if (lowners[p].rank < 0 || lowners[p].index < 0) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Cell partition corrupt: point not claimed"); 12524eca1733SMichael Lange if (lowners[p].rank != rank) ++numGhostPoints; 12534eca1733SMichael Lange } 12544eca1733SMichael Lange ierr = PetscMalloc1(numGhostPoints, &ghostPoints);CHKERRQ(ierr); 12554eca1733SMichael Lange ierr = PetscMalloc1(numGhostPoints, &remotePoints);CHKERRQ(ierr); 12564eca1733SMichael Lange for (p = 0, gp = 0; p < numLeaves; ++p) { 12574eca1733SMichael Lange if (lowners[p].rank != rank) { 12584eca1733SMichael Lange ghostPoints[gp] = leaves ? leaves[p] : p; 12594eca1733SMichael Lange remotePoints[gp].rank = lowners[p].rank; 12604eca1733SMichael Lange remotePoints[gp].index = lowners[p].index; 12614eca1733SMichael Lange ++gp; 12624eca1733SMichael Lange } 12634eca1733SMichael Lange } 12644eca1733SMichael Lange ierr = PetscFree2(rowners,lowners);CHKERRQ(ierr); 12654eca1733SMichael Lange ierr = PetscSFSetGraph((dmParallel)->sf, pEnd - pStart, numGhostPoints, ghostPoints, PETSC_OWN_POINTER, remotePoints, PETSC_OWN_POINTER);CHKERRQ(ierr); 12664eca1733SMichael Lange ierr = PetscSFSetFromOptions((dmParallel)->sf);CHKERRQ(ierr); 12674eca1733SMichael Lange } 12684eca1733SMichael Lange pmesh->useCone = mesh->useCone; 12694eca1733SMichael Lange pmesh->useClosure = mesh->useClosure; 12704eca1733SMichael Lange ierr = PetscLogEventEnd(DMPLEX_DistributeSF,dm,0,0,0);CHKERRQ(ierr); 12714eca1733SMichael Lange PetscFunctionReturn(0); 12724eca1733SMichael Lange } 12734eca1733SMichael Lange 12744eca1733SMichael Lange #undef __FUNCT__ 1275*f5bf2dbfSMichael Lange #define __FUNCT__ "DMPlexCreatePointSF" 1276*f5bf2dbfSMichael Lange /*@C 1277*f5bf2dbfSMichael Lange DMPlexDerivePointSF - Build a point SF from an SF describing a point migration 1278*f5bf2dbfSMichael Lange 1279*f5bf2dbfSMichael Lange Input Parameter: 1280*f5bf2dbfSMichael Lange + dm - The source DMPlex object 1281*f5bf2dbfSMichael Lange . migrationSF - The star forest that describes the parallel point remapping 1282*f5bf2dbfSMichael Lange 1283*f5bf2dbfSMichael Lange Output Parameter: 1284*f5bf2dbfSMichael Lange - pointSF - The star forest describing the point overlap in the remapped DM 1285*f5bf2dbfSMichael Lange 1286*f5bf2dbfSMichael Lange Level: developer 1287*f5bf2dbfSMichael Lange 1288*f5bf2dbfSMichael Lange .seealso: DMPlexDistribute(), DMPlexDistributeOverlap() 1289*f5bf2dbfSMichael Lange @*/ 1290*f5bf2dbfSMichael Lange PetscErrorCode DMPlexCreatePointSF(DM dm, PetscSF migrationSF, PetscBool ownership, PetscSF *pointSF) 1291*f5bf2dbfSMichael Lange { 1292*f5bf2dbfSMichael Lange PetscMPIInt rank; 1293*f5bf2dbfSMichael Lange PetscInt p, pStart, pEnd, nroots, nleaves, idx, npointLeaves; 1294*f5bf2dbfSMichael Lange PetscInt *pointLocal; 1295*f5bf2dbfSMichael Lange const PetscInt *leaves; 1296*f5bf2dbfSMichael Lange const PetscSFNode *roots; 1297*f5bf2dbfSMichael Lange PetscSFNode *rootNodes, *leafNodes, *pointRemote; 1298*f5bf2dbfSMichael Lange PetscErrorCode ierr; 1299*f5bf2dbfSMichael Lange 1300*f5bf2dbfSMichael Lange PetscFunctionBegin; 1301*f5bf2dbfSMichael Lange PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 1302*f5bf2dbfSMichael Lange ierr = MPI_Comm_rank(PetscObjectComm((PetscObject) dm), &rank);CHKERRQ(ierr); 1303*f5bf2dbfSMichael Lange 1304*f5bf2dbfSMichael Lange ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr); 1305*f5bf2dbfSMichael Lange ierr = PetscSFGetGraph(migrationSF, &nroots, &nleaves, &leaves, &roots);CHKERRQ(ierr); 1306*f5bf2dbfSMichael Lange ierr = PetscMalloc2(nroots, &rootNodes, nleaves, &leafNodes);CHKERRQ(ierr); 1307*f5bf2dbfSMichael Lange if (ownership) { 1308*f5bf2dbfSMichael Lange for (p = 0; p < nleaves; ++p) { 1309*f5bf2dbfSMichael Lange /* Either put in a bid or we know we own it */ 1310*f5bf2dbfSMichael Lange leafNodes[p].rank = rank; 1311*f5bf2dbfSMichael Lange leafNodes[p].index = leaves ? leaves[p] : p; 1312*f5bf2dbfSMichael Lange } 1313*f5bf2dbfSMichael Lange for (p = 0; p < nroots; p++) { 1314*f5bf2dbfSMichael Lange /* Root must not participate in the rediction, flag so that MAXLOC does not use */ 1315*f5bf2dbfSMichael Lange rootNodes[p].rank = -3; 1316*f5bf2dbfSMichael Lange rootNodes[p].index = -3; 1317*f5bf2dbfSMichael Lange } 1318*f5bf2dbfSMichael Lange ierr = PetscSFReduceBegin(migrationSF, MPIU_2INT, leafNodes, rootNodes, MPI_MAXLOC);CHKERRQ(ierr); 1319*f5bf2dbfSMichael Lange ierr = PetscSFReduceEnd(migrationSF, MPIU_2INT, leafNodes, rootNodes, MPI_MAXLOC);CHKERRQ(ierr); 1320*f5bf2dbfSMichael Lange } else { 1321*f5bf2dbfSMichael Lange for (p = 0; p < nroots; p++) { 1322*f5bf2dbfSMichael Lange rootNodes[p].index = -1; 1323*f5bf2dbfSMichael Lange rootNodes[p].rank = rank; 1324*f5bf2dbfSMichael Lange }; 1325*f5bf2dbfSMichael Lange for (p = 0; p < nleaves; p++) { 1326*f5bf2dbfSMichael Lange /* Write new local id into old location */ 1327*f5bf2dbfSMichael Lange if (roots[p].rank == rank) { 1328*f5bf2dbfSMichael Lange rootNodes[roots[p].index].index = leaves[p]; 1329*f5bf2dbfSMichael Lange } 1330*f5bf2dbfSMichael Lange } 1331*f5bf2dbfSMichael Lange } 1332*f5bf2dbfSMichael Lange ierr = PetscSFBcastBegin(migrationSF, MPIU_2INT, rootNodes, leafNodes);CHKERRQ(ierr); 1333*f5bf2dbfSMichael Lange ierr = PetscSFBcastEnd(migrationSF, MPIU_2INT, rootNodes, leafNodes);CHKERRQ(ierr); 1334*f5bf2dbfSMichael Lange 1335*f5bf2dbfSMichael Lange for (npointLeaves = 0, p = 0; p < nleaves; p++) {if (leafNodes[p].rank != rank) npointLeaves++;} 1336*f5bf2dbfSMichael Lange ierr = PetscMalloc2(npointLeaves, &pointLocal, npointLeaves, &pointRemote);CHKERRQ(ierr); 1337*f5bf2dbfSMichael Lange for (idx = 0, p = 0; p < nleaves; p++) { 1338*f5bf2dbfSMichael Lange if (leafNodes[p].rank != rank) { 1339*f5bf2dbfSMichael Lange pointLocal[idx] = p; 1340*f5bf2dbfSMichael Lange pointRemote[idx] = leafNodes[p]; 1341*f5bf2dbfSMichael Lange idx++; 1342*f5bf2dbfSMichael Lange } 1343*f5bf2dbfSMichael Lange } 1344*f5bf2dbfSMichael Lange ierr = PetscSFCreate(PetscObjectComm((PetscObject) dm), pointSF);CHKERRQ(ierr); 1345*f5bf2dbfSMichael Lange ierr = PetscObjectSetName((PetscObject) *pointSF, "Point SF");CHKERRQ(ierr); 1346*f5bf2dbfSMichael Lange ierr = PetscSFSetGraph(*pointSF, nleaves, npointLeaves, pointLocal, PETSC_OWN_POINTER, pointRemote, PETSC_OWN_POINTER);CHKERRQ(ierr); 1347*f5bf2dbfSMichael Lange ierr = PetscFree2(rootNodes, leafNodes);CHKERRQ(ierr); 1348*f5bf2dbfSMichael Lange PetscFunctionReturn(0); 1349*f5bf2dbfSMichael Lange } 1350*f5bf2dbfSMichael Lange 1351*f5bf2dbfSMichael Lange #undef __FUNCT__ 135215078cd4SMichael Lange #define __FUNCT__ "DMPlexMigrate" 135315078cd4SMichael Lange /*@C 135415078cd4SMichael Lange DMPlexMigrate - Migrates internal DM data over the supplied star forest 135515078cd4SMichael Lange 135615078cd4SMichael Lange Input Parameter: 135715078cd4SMichael Lange + dm - The source DMPlex object 135815078cd4SMichael Lange . sf - The start forest communication context describing the migration pattern 135915078cd4SMichael Lange 136015078cd4SMichael Lange Output Parameter: 136115078cd4SMichael Lange - targetDM - The target DMPlex object 136215078cd4SMichael Lange 1363b9f40539SMichael Lange Level: intermediate 136415078cd4SMichael Lange 136515078cd4SMichael Lange .seealso: DMPlexDistribute(), DMPlexDistributeOverlap() 136615078cd4SMichael Lange @*/ 1367b9f40539SMichael Lange PetscErrorCode DMPlexMigrate(DM dm, PetscSF sf, DM targetDM) 136815078cd4SMichael Lange { 1369b9f40539SMichael Lange MPI_Comm comm; 1370b9f40539SMichael Lange PetscInt dim, nroots; 1371b9f40539SMichael Lange PetscSF sfPoint; 137215078cd4SMichael Lange ISLocalToGlobalMapping ltogMigration; 1373b9f40539SMichael Lange PetscBool flg; 137415078cd4SMichael Lange PetscErrorCode ierr; 137515078cd4SMichael Lange 137615078cd4SMichael Lange PetscFunctionBegin; 137715078cd4SMichael Lange PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 1378b9f40539SMichael Lange ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr); 137915078cd4SMichael Lange ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 138015078cd4SMichael Lange ierr = DMSetDimension(targetDM, dim);CHKERRQ(ierr); 138115078cd4SMichael Lange 1382b9f40539SMichael Lange ierr = DMGetPointSF(dm, &sfPoint);CHKERRQ(ierr); 1383b9f40539SMichael Lange ierr = PetscSFGetGraph(sfPoint, &nroots, NULL, NULL, NULL);CHKERRQ(ierr); 1384b9f40539SMichael Lange if (nroots > 0) { 1385b9f40539SMichael Lange IS isOriginal; 1386b9f40539SMichael Lange ISLocalToGlobalMapping ltogOriginal; 1387b9f40539SMichael Lange PetscInt n, size, nleaves, conesSize; 1388b9f40539SMichael Lange PetscInt *numbering_orig, *numbering_new, *cones; 138915078cd4SMichael Lange PetscSection coneSection; 1390b9f40539SMichael Lange /* Get the original point numbering */ 1391b9f40539SMichael Lange ierr = DMPlexCreatePointNumbering(dm, &isOriginal);CHKERRQ(ierr); 1392b9f40539SMichael Lange ierr = ISLocalToGlobalMappingCreateIS(isOriginal, <ogOriginal);CHKERRQ(ierr); 1393b9f40539SMichael Lange ierr = ISLocalToGlobalMappingGetSize(ltogOriginal, &size);CHKERRQ(ierr); 1394b9f40539SMichael Lange ierr = ISLocalToGlobalMappingGetBlockIndices(ltogOriginal, (const PetscInt**)&numbering_orig);CHKERRQ(ierr); 1395b9f40539SMichael Lange /* Convert to positive global numbers */ 1396b9f40539SMichael Lange for (n=0; n<size; n++) {if (numbering_orig[n] < 0) numbering_orig[n] = -(numbering_orig[n]+1);} 1397b9f40539SMichael Lange /* Derive the new local-to-global mapping from the old one */ 1398b9f40539SMichael Lange ierr = PetscSFGetGraph(sf, NULL, &nleaves, NULL, NULL);CHKERRQ(ierr); 1399b9f40539SMichael Lange ierr = PetscMalloc1(nleaves, &numbering_new);CHKERRQ(ierr); 1400b9f40539SMichael Lange ierr = PetscSFBcastBegin(sf, MPIU_INT, (PetscInt *) numbering_orig, numbering_new);CHKERRQ(ierr); 1401b9f40539SMichael Lange ierr = PetscSFBcastEnd(sf, MPIU_INT, (PetscInt *) numbering_orig, numbering_new);CHKERRQ(ierr); 1402b9f40539SMichael Lange ierr = ISLocalToGlobalMappingCreate(comm, 1, nleaves, (const PetscInt*) numbering_new, PETSC_OWN_POINTER, <ogMigration);CHKERRQ(ierr); 1403b9f40539SMichael Lange ierr = ISLocalToGlobalMappingRestoreIndices(ltogOriginal, (const PetscInt**)&numbering_orig);CHKERRQ(ierr); 140415078cd4SMichael Lange /* Convert cones to global numbering before migrating them */ 140515078cd4SMichael Lange ierr = DMPlexGetConeSection(dm, &coneSection);CHKERRQ(ierr); 140615078cd4SMichael Lange ierr = PetscSectionGetStorageSize(coneSection, &conesSize);CHKERRQ(ierr); 140715078cd4SMichael Lange ierr = DMPlexGetCones(dm, &cones);CHKERRQ(ierr); 1408b9f40539SMichael Lange ierr = ISLocalToGlobalMappingApplyBlock(ltogOriginal, conesSize, cones, cones);CHKERRQ(ierr); 1409b9f40539SMichael Lange ierr = ISDestroy(&isOriginal);CHKERRQ(ierr); 1410b9f40539SMichael Lange ierr = ISLocalToGlobalMappingDestroy(<ogOriginal); 141115078cd4SMichael Lange } else { 141215078cd4SMichael Lange /* Assume zero-to-all-ranks pattern and derive LToG from SF */ 141315078cd4SMichael Lange ierr = ISLocalToGlobalMappingCreateSF(sf, 0, <ogMigration);CHKERRQ(ierr); 141415078cd4SMichael Lange } 1415b9f40539SMichael Lange ierr = PetscOptionsHasName(((PetscObject) dm)->prefix, "-partition_view", &flg);CHKERRQ(ierr); 1416b9f40539SMichael Lange if (flg) { 1417b9f40539SMichael Lange ierr = PetscPrintf(comm, "Point renumbering for DM migration:\n");CHKERRQ(ierr); 1418b9f40539SMichael Lange ierr = ISLocalToGlobalMappingView(ltogMigration, NULL);CHKERRQ(ierr); 1419b9f40539SMichael Lange } 142015078cd4SMichael Lange /* Migrate DM data to target DM */ 142115078cd4SMichael Lange ierr = DMPlexDistributeCones(dm, sf, ltogMigration, targetDM);CHKERRQ(ierr); 142215078cd4SMichael Lange ierr = DMPlexDistributeCoordinates(dm, sf, targetDM);CHKERRQ(ierr); 142315078cd4SMichael Lange ierr = DMPlexDistributeLabels(dm, sf, targetDM);CHKERRQ(ierr); 142415078cd4SMichael Lange ierr = DMPlexDistributeSetupHybrid(dm, sf, ltogMigration, targetDM);CHKERRQ(ierr); 142515078cd4SMichael Lange ierr = DMPlexDistributeSetupTree(dm, sf, ltogMigration, targetDM);CHKERRQ(ierr); 142615078cd4SMichael Lange ierr = DMPlexCopyBoundary(dm, targetDM);CHKERRQ(ierr); 1427b9f40539SMichael Lange ierr = ISLocalToGlobalMappingDestroy(<ogMigration); 142815078cd4SMichael Lange PetscFunctionReturn(0); 142915078cd4SMichael Lange } 143015078cd4SMichael Lange 143115078cd4SMichael Lange #undef __FUNCT__ 143270034214SMatthew G. Knepley #define __FUNCT__ "DMPlexDistribute" 143370034214SMatthew G. Knepley /*@C 143470034214SMatthew G. Knepley DMPlexDistribute - Distributes the mesh and any associated sections. 143570034214SMatthew G. Knepley 143670034214SMatthew G. Knepley Not Collective 143770034214SMatthew G. Knepley 143870034214SMatthew G. Knepley Input Parameter: 143970034214SMatthew G. Knepley + dm - The original DMPlex object 144070034214SMatthew G. Knepley - overlap - The overlap of partitions, 0 is the default 144170034214SMatthew G. Knepley 144270034214SMatthew G. Knepley Output Parameter: 144370034214SMatthew G. Knepley + sf - The PetscSF used for point distribution 144470034214SMatthew G. Knepley - parallelMesh - The distributed DMPlex object, or NULL 144570034214SMatthew G. Knepley 144670034214SMatthew G. Knepley Note: If the mesh was not distributed, the return value is NULL. 144770034214SMatthew G. Knepley 144870034214SMatthew G. Knepley The user can control the definition of adjacency for the mesh using DMPlexGetAdjacencyUseCone() and 144970034214SMatthew G. Knepley DMPlexSetAdjacencyUseClosure(). They should choose the combination appropriate for the function 145070034214SMatthew G. Knepley representation on the mesh. 145170034214SMatthew G. Knepley 145270034214SMatthew G. Knepley Level: intermediate 145370034214SMatthew G. Knepley 145470034214SMatthew G. Knepley .keywords: mesh, elements 145570034214SMatthew G. Knepley .seealso: DMPlexCreate(), DMPlexDistributeByFace(), DMPlexSetAdjacencyUseCone(), DMPlexSetAdjacencyUseClosure() 145670034214SMatthew G. Knepley @*/ 145780cf41d5SMatthew G. Knepley PetscErrorCode DMPlexDistribute(DM dm, PetscInt overlap, PetscSF *sf, DM *dmParallel) 145870034214SMatthew G. Knepley { 145970034214SMatthew G. Knepley MPI_Comm comm; 146015078cd4SMichael Lange PetscPartitioner partitioner; 1461f8987ae8SMichael Lange IS cellPart; 1462f8987ae8SMichael Lange PetscSection cellPartSection; 1463f8987ae8SMichael Lange DMLabel lblPartition, lblMigration; 1464*f5bf2dbfSMichael Lange PetscSF sfProcess, sfMigration, sfPoint; 146570034214SMatthew G. Knepley PetscBool flg; 146670034214SMatthew G. Knepley PetscMPIInt rank, numProcs, p; 146770034214SMatthew G. Knepley PetscErrorCode ierr; 146870034214SMatthew G. Knepley 146970034214SMatthew G. Knepley PetscFunctionBegin; 147070034214SMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 147170034214SMatthew G. Knepley if (sf) PetscValidPointer(sf,4); 147270034214SMatthew G. Knepley PetscValidPointer(dmParallel,5); 147370034214SMatthew G. Knepley 147470034214SMatthew G. Knepley ierr = PetscLogEventBegin(DMPLEX_Distribute,dm,0,0,0);CHKERRQ(ierr); 147570034214SMatthew G. Knepley ierr = PetscObjectGetComm((PetscObject)dm,&comm);CHKERRQ(ierr); 147670034214SMatthew G. Knepley ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 147770034214SMatthew G. Knepley ierr = MPI_Comm_size(comm, &numProcs);CHKERRQ(ierr); 147870034214SMatthew G. Knepley 147970034214SMatthew G. Knepley *dmParallel = NULL; 148070034214SMatthew G. Knepley if (numProcs == 1) PetscFunctionReturn(0); 148170034214SMatthew G. Knepley 148215078cd4SMichael Lange /* Create cell partition */ 148377623264SMatthew G. Knepley ierr = PetscLogEventBegin(PETSCPARTITIONER_Partition,dm,0,0,0);CHKERRQ(ierr); 148477623264SMatthew G. Knepley ierr = PetscSectionCreate(comm, &cellPartSection);CHKERRQ(ierr); 148515078cd4SMichael Lange ierr = DMPlexGetPartitioner(dm, &partitioner);CHKERRQ(ierr); 148615078cd4SMichael Lange ierr = PetscPartitionerPartition(partitioner, dm, cellPartSection, &cellPart);CHKERRQ(ierr); 1487f8987ae8SMichael Lange { 1488f8987ae8SMichael Lange /* Convert partition to DMLabel */ 1489f8987ae8SMichael Lange PetscInt proc, pStart, pEnd, npoints, poffset; 1490f8987ae8SMichael Lange const PetscInt *points; 1491f8987ae8SMichael Lange ierr = DMLabelCreate("Point Partition", &lblPartition);CHKERRQ(ierr); 1492f8987ae8SMichael Lange ierr = ISGetIndices(cellPart, &points);CHKERRQ(ierr); 1493f8987ae8SMichael Lange ierr = PetscSectionGetChart(cellPartSection, &pStart, &pEnd);CHKERRQ(ierr); 1494f8987ae8SMichael Lange for (proc = pStart; proc < pEnd; proc++) { 1495f8987ae8SMichael Lange ierr = PetscSectionGetDof(cellPartSection, proc, &npoints);CHKERRQ(ierr); 1496f8987ae8SMichael Lange ierr = PetscSectionGetOffset(cellPartSection, proc, &poffset);CHKERRQ(ierr); 1497f8987ae8SMichael Lange for (p = poffset; p < poffset+npoints; p++) { 1498f8987ae8SMichael Lange ierr = DMLabelSetValue(lblPartition, points[p], proc);CHKERRQ(ierr); 149970034214SMatthew G. Knepley } 1500f8987ae8SMichael Lange } 1501f8987ae8SMichael Lange ierr = ISRestoreIndices(cellPart, &points);CHKERRQ(ierr); 1502f8987ae8SMichael Lange } 1503f8987ae8SMichael Lange ierr = DMPlexPartitionLabelClosure(dm, lblPartition);CHKERRQ(ierr); 1504f8987ae8SMichael Lange { 1505f8987ae8SMichael Lange /* Build a global process SF */ 1506f8987ae8SMichael Lange PetscSFNode *remoteProc; 1507f8987ae8SMichael Lange ierr = PetscMalloc1(numProcs, &remoteProc);CHKERRQ(ierr); 1508f8987ae8SMichael Lange for (p = 0; p < numProcs; ++p) { 1509f8987ae8SMichael Lange remoteProc[p].rank = p; 1510f8987ae8SMichael Lange remoteProc[p].index = rank; 1511f8987ae8SMichael Lange } 1512f8987ae8SMichael Lange ierr = PetscSFCreate(comm, &sfProcess);CHKERRQ(ierr); 1513f8987ae8SMichael Lange ierr = PetscObjectSetName((PetscObject) sfProcess, "Process SF");CHKERRQ(ierr); 1514f8987ae8SMichael Lange ierr = PetscSFSetGraph(sfProcess, numProcs, numProcs, NULL, PETSC_OWN_POINTER, remoteProc, PETSC_OWN_POINTER);CHKERRQ(ierr); 1515f8987ae8SMichael Lange } 1516f8987ae8SMichael Lange ierr = DMLabelCreate("Point migration", &lblMigration);CHKERRQ(ierr); 1517f8987ae8SMichael Lange ierr = DMPlexPartitionLabelInvert(dm, lblPartition, sfProcess, lblMigration);CHKERRQ(ierr); 1518f8987ae8SMichael Lange ierr = DMPlexPartitionLabelCreateSF(dm, lblMigration, &sfMigration); 1519f8987ae8SMichael Lange ierr = PetscLogEventEnd(PETSCPARTITIONER_Partition,dm,0,0,0);CHKERRQ(ierr); 152070034214SMatthew G. Knepley ierr = PetscOptionsHasName(((PetscObject) dm)->prefix, "-partition_view", &flg);CHKERRQ(ierr); 152170034214SMatthew G. Knepley if (flg) { 1522f8987ae8SMichael Lange ierr = PetscViewerASCIISynchronizedAllow(PETSC_VIEWER_STDOUT_WORLD, PETSC_TRUE);CHKERRQ(ierr); 1523f8987ae8SMichael Lange ierr = DMLabelView(lblPartition, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 1524f8987ae8SMichael Lange ierr = PetscSFView(sfMigration, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 152570034214SMatthew G. Knepley } 1526f8987ae8SMichael Lange 152715078cd4SMichael Lange /* Create non-overlapping parallel DM and migrate internal data */ 152870034214SMatthew G. Knepley ierr = DMPlexCreate(comm, dmParallel);CHKERRQ(ierr); 152970034214SMatthew G. Knepley ierr = PetscObjectSetName((PetscObject) *dmParallel, "Parallel Mesh");CHKERRQ(ierr); 1530b9f40539SMichael Lange ierr = DMPlexMigrate(dm, sfMigration, *dmParallel);CHKERRQ(ierr); 153170034214SMatthew G. Knepley 1532a157612eSMichael Lange /* Build the point SF without overlap */ 1533*f5bf2dbfSMichael Lange ierr = DMPlexCreatePointSF(dm, sfMigration, PETSC_TRUE, &sfPoint);CHKERRQ(ierr); 1534*f5bf2dbfSMichael Lange ierr = DMSetPointSF(*dmParallel, sfPoint);CHKERRQ(ierr); 1535*f5bf2dbfSMichael Lange if (flg) {ierr = PetscSFView(sfPoint, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);} 153670034214SMatthew G. Knepley 1537a157612eSMichael Lange if (overlap > 0) { 153815078cd4SMichael Lange DM dmOverlap; 153915078cd4SMichael Lange PetscInt nroots, nleaves; 154015078cd4SMichael Lange PetscSFNode *newRemote; 154115078cd4SMichael Lange const PetscSFNode *oldRemote; 154215078cd4SMichael Lange PetscSF sfOverlap, sfOverlapPoint; 15433d822a50SMichael Lange ierr = PetscLogEventBegin(DMPLEX_DistributeOverlap,dm,0,0,0);CHKERRQ(ierr); 1544a157612eSMichael Lange /* Add the partition overlap to the distributed DM */ 1545b9f40539SMichael Lange ierr = DMPlexDistributeOverlap(*dmParallel, overlap, &sfOverlap, &dmOverlap);CHKERRQ(ierr); 1546a157612eSMichael Lange ierr = DMDestroy(dmParallel);CHKERRQ(ierr); 1547a157612eSMichael Lange *dmParallel = dmOverlap; 1548c389ea9fSToby Isaac if (flg) { 15493d822a50SMichael Lange ierr = PetscPrintf(comm, "Overlap Migration SF:\n");CHKERRQ(ierr); 155015078cd4SMichael Lange ierr = PetscSFView(sfOverlap, NULL);CHKERRQ(ierr); 1551c389ea9fSToby Isaac } 155243331d4aSMichael Lange 1553f8987ae8SMichael Lange /* Re-map the migration SF to establish the full migration pattern */ 1554f8987ae8SMichael Lange ierr = PetscSFGetGraph(sfMigration, &nroots, NULL, NULL, &oldRemote);CHKERRQ(ierr); 155515078cd4SMichael Lange ierr = PetscSFGetGraph(sfOverlap, NULL, &nleaves, NULL, NULL);CHKERRQ(ierr); 155643331d4aSMichael Lange ierr = PetscMalloc1(nleaves, &newRemote);CHKERRQ(ierr); 155715078cd4SMichael Lange ierr = PetscSFBcastBegin(sfOverlap, MPIU_2INT, oldRemote, newRemote);CHKERRQ(ierr); 155815078cd4SMichael Lange ierr = PetscSFBcastEnd(sfOverlap, MPIU_2INT, oldRemote, newRemote);CHKERRQ(ierr); 155915078cd4SMichael Lange ierr = PetscSFCreate(comm, &sfOverlapPoint);CHKERRQ(ierr); 156015078cd4SMichael Lange ierr = PetscSFSetGraph(sfOverlapPoint, nroots, nleaves, NULL, PETSC_OWN_POINTER, newRemote, PETSC_OWN_POINTER);CHKERRQ(ierr); 156115078cd4SMichael Lange ierr = PetscSFDestroy(&sfOverlap);CHKERRQ(ierr); 1562f8987ae8SMichael Lange ierr = PetscSFDestroy(&sfMigration);CHKERRQ(ierr); 156315078cd4SMichael Lange sfMigration = sfOverlapPoint; 15643d822a50SMichael Lange ierr = PetscLogEventEnd(DMPLEX_DistributeOverlap,dm,0,0,0);CHKERRQ(ierr); 1565c389ea9fSToby Isaac } 1566bf5244c7SMatthew G. Knepley /* Cleanup Partition */ 1567f8987ae8SMichael Lange ierr = PetscSFDestroy(&sfProcess);CHKERRQ(ierr); 1568f8987ae8SMichael Lange ierr = DMLabelDestroy(&lblPartition);CHKERRQ(ierr); 1569f8987ae8SMichael Lange ierr = DMLabelDestroy(&lblMigration);CHKERRQ(ierr); 15704eca1733SMichael Lange ierr = PetscSectionDestroy(&cellPartSection);CHKERRQ(ierr); 15714eca1733SMichael Lange ierr = ISDestroy(&cellPart);CHKERRQ(ierr); 1572f8987ae8SMichael Lange if (sf) {*sf = sfMigration;} 1573f8987ae8SMichael Lange else {ierr = PetscSFDestroy(&sfMigration);CHKERRQ(ierr);} 1574*f5bf2dbfSMichael Lange ierr = PetscSFDestroy(&sfPoint);CHKERRQ(ierr); 157570034214SMatthew G. Knepley ierr = DMSetFromOptions(*dmParallel);CHKERRQ(ierr); 157670034214SMatthew G. Knepley ierr = PetscLogEventEnd(DMPLEX_Distribute,dm,0,0,0);CHKERRQ(ierr); 157770034214SMatthew G. Knepley PetscFunctionReturn(0); 157870034214SMatthew G. Knepley } 1579a157612eSMichael Lange 1580a157612eSMichael Lange #undef __FUNCT__ 1581a157612eSMichael Lange #define __FUNCT__ "DMPlexDistributeOverlap" 1582a157612eSMichael Lange /*@C 1583a157612eSMichael Lange DMPlexDistribute - Add partition overlap to a distributed non-overlapping DM. 1584a157612eSMichael Lange 1585a157612eSMichael Lange Not Collective 1586a157612eSMichael Lange 1587a157612eSMichael Lange Input Parameter: 1588a157612eSMichael Lange + dm - The non-overlapping distrbuted DMPlex object 1589a157612eSMichael Lange - overlap - The overlap of partitions, 0 is the default 1590a157612eSMichael Lange 1591a157612eSMichael Lange Output Parameter: 1592a157612eSMichael Lange + sf - The PetscSF used for point distribution 1593a157612eSMichael Lange - dmOverlap - The overlapping distributed DMPlex object, or NULL 1594a157612eSMichael Lange 1595a157612eSMichael Lange Note: If the mesh was not distributed, the return value is NULL. 1596a157612eSMichael Lange 1597a157612eSMichael Lange The user can control the definition of adjacency for the mesh using DMPlexGetAdjacencyUseCone() and 1598a157612eSMichael Lange DMPlexSetAdjacencyUseClosure(). They should choose the combination appropriate for the function 1599a157612eSMichael Lange representation on the mesh. 1600a157612eSMichael Lange 1601a157612eSMichael Lange Level: intermediate 1602a157612eSMichael Lange 1603a157612eSMichael Lange .keywords: mesh, elements 1604a157612eSMichael Lange .seealso: DMPlexCreate(), DMPlexDistributeByFace(), DMPlexSetAdjacencyUseCone(), DMPlexSetAdjacencyUseClosure() 1605a157612eSMichael Lange @*/ 1606b9f40539SMichael Lange PetscErrorCode DMPlexDistributeOverlap(DM dm, PetscInt overlap, PetscSF *sf, DM *dmOverlap) 1607a157612eSMichael Lange { 1608a157612eSMichael Lange MPI_Comm comm; 1609a157612eSMichael Lange PetscMPIInt rank; 1610a157612eSMichael Lange PetscSection rootSection, leafSection; 1611a157612eSMichael Lange IS rootrank, leafrank; 1612a9f1d5b2SMichael Lange DMLabel lblOverlap; 1613*f5bf2dbfSMichael Lange PetscSF sfOverlap, sfStratified, sfPoint; 1614a157612eSMichael Lange PetscErrorCode ierr; 1615a157612eSMichael Lange 1616a157612eSMichael Lange PetscFunctionBegin; 1617a157612eSMichael Lange PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 1618a157612eSMichael Lange if (sf) PetscValidPointer(sf, 3); 1619a157612eSMichael Lange PetscValidPointer(dmOverlap, 4); 1620a157612eSMichael Lange 1621a157612eSMichael Lange ierr = PetscObjectGetComm((PetscObject)dm,&comm);CHKERRQ(ierr); 1622a157612eSMichael Lange ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 1623a157612eSMichael Lange 1624a157612eSMichael Lange /* Compute point overlap with neighbouring processes on the distributed DM */ 1625a157612eSMichael Lange ierr = PetscLogEventBegin(PETSCPARTITIONER_Partition,dm,0,0,0);CHKERRQ(ierr); 1626a157612eSMichael Lange ierr = PetscSectionCreate(comm, &rootSection);CHKERRQ(ierr); 1627a157612eSMichael Lange ierr = PetscSectionCreate(comm, &leafSection);CHKERRQ(ierr); 1628a157612eSMichael Lange ierr = DMPlexDistributeOwnership(dm, rootSection, &rootrank, leafSection, &leafrank);CHKERRQ(ierr); 1629a9f1d5b2SMichael Lange ierr = DMPlexCreateOverlap(dm, overlap, rootSection, rootrank, leafSection, leafrank, &lblOverlap);CHKERRQ(ierr); 1630a9f1d5b2SMichael Lange /* Convert overlap label to stratified migration SF */ 1631a9f1d5b2SMichael Lange ierr = DMPlexPartitionLabelCreateSF(dm, lblOverlap, &sfOverlap);CHKERRQ(ierr); 1632a9f1d5b2SMichael Lange ierr = DMPlexStratifyMigrationSF(dm, sfOverlap, &sfStratified);CHKERRQ(ierr); 1633a9f1d5b2SMichael Lange ierr = PetscSFDestroy(&sfOverlap);CHKERRQ(ierr); 1634a9f1d5b2SMichael Lange sfOverlap = sfStratified; 1635a9f1d5b2SMichael Lange ierr = PetscObjectSetName((PetscObject) sfOverlap, "Overlap SF");CHKERRQ(ierr); 1636a9f1d5b2SMichael Lange ierr = PetscSFSetFromOptions(sfOverlap);CHKERRQ(ierr); 1637a9f1d5b2SMichael Lange 163815fff7beSMatthew G. Knepley ierr = PetscSectionDestroy(&rootSection);CHKERRQ(ierr); 163915fff7beSMatthew G. Knepley ierr = PetscSectionDestroy(&leafSection);CHKERRQ(ierr); 164015fff7beSMatthew G. Knepley ierr = ISDestroy(&rootrank);CHKERRQ(ierr); 164115fff7beSMatthew G. Knepley ierr = ISDestroy(&leafrank);CHKERRQ(ierr); 1642a157612eSMichael Lange ierr = PetscLogEventEnd(PETSCPARTITIONER_Partition,dm,0,0,0);CHKERRQ(ierr); 1643a157612eSMichael Lange 1644a157612eSMichael Lange /* Build the overlapping DM */ 1645a157612eSMichael Lange ierr = DMPlexCreate(comm, dmOverlap);CHKERRQ(ierr); 1646a157612eSMichael Lange ierr = PetscObjectSetName((PetscObject) *dmOverlap, "Parallel Mesh");CHKERRQ(ierr); 1647a9f1d5b2SMichael Lange ierr = DMPlexMigrate(dm, sfOverlap, *dmOverlap);CHKERRQ(ierr); 1648*f5bf2dbfSMichael Lange /* Build the new point SF */ 1649*f5bf2dbfSMichael Lange ierr = DMPlexCreatePointSF(dm, sfOverlap, PETSC_FALSE, &sfPoint);CHKERRQ(ierr); 1650*f5bf2dbfSMichael Lange ierr = DMSetPointSF(*dmOverlap, sfPoint);CHKERRQ(ierr); 1651*f5bf2dbfSMichael Lange ierr = PetscSFDestroy(&sfPoint);CHKERRQ(ierr); 1652a157612eSMichael Lange /* Cleanup overlap partition */ 1653a9f1d5b2SMichael Lange ierr = DMLabelDestroy(&lblOverlap);CHKERRQ(ierr); 1654a9f1d5b2SMichael Lange if (sf) *sf = sfOverlap; 1655a9f1d5b2SMichael Lange else {ierr = PetscSFDestroy(&sfOverlap);CHKERRQ(ierr);} 1656a157612eSMichael Lange PetscFunctionReturn(0); 1657a157612eSMichael Lange } 1658