1af0996ceSBarry Smith #include <petsc/private/dmpleximpl.h> /*I "petscdmplex.h" I*/ 2e8f14785SLisandro Dalcin #include <petsc/private/hashseti.h> 370034214SMatthew G. Knepley 477623264SMatthew G. Knepley PetscClassId PETSCPARTITIONER_CLASSID = 0; 577623264SMatthew G. Knepley 677623264SMatthew G. Knepley PetscFunctionList PetscPartitionerList = NULL; 777623264SMatthew G. Knepley PetscBool PetscPartitionerRegisterAllCalled = PETSC_FALSE; 877623264SMatthew G. Knepley 977623264SMatthew G. Knepley PetscBool ChacoPartitionercite = PETSC_FALSE; 1077623264SMatthew G. Knepley const char ChacoPartitionerCitation[] = "@inproceedings{Chaco95,\n" 1177623264SMatthew G. Knepley " author = {Bruce Hendrickson and Robert Leland},\n" 1277623264SMatthew G. Knepley " title = {A multilevel algorithm for partitioning graphs},\n" 1377623264SMatthew G. Knepley " booktitle = {Supercomputing '95: Proceedings of the 1995 ACM/IEEE Conference on Supercomputing (CDROM)}," 1477623264SMatthew G. Knepley " isbn = {0-89791-816-9},\n" 1577623264SMatthew G. Knepley " pages = {28},\n" 1677623264SMatthew G. Knepley " doi = {http://doi.acm.org/10.1145/224170.224228},\n" 1777623264SMatthew G. Knepley " publisher = {ACM Press},\n" 1877623264SMatthew G. Knepley " address = {New York},\n" 1977623264SMatthew G. Knepley " year = {1995}\n}\n"; 2077623264SMatthew G. Knepley 2177623264SMatthew G. Knepley PetscBool ParMetisPartitionercite = PETSC_FALSE; 2277623264SMatthew G. Knepley const char ParMetisPartitionerCitation[] = "@article{KarypisKumar98,\n" 2377623264SMatthew G. Knepley " author = {George Karypis and Vipin Kumar},\n" 2477623264SMatthew G. Knepley " title = {A Parallel Algorithm for Multilevel Graph Partitioning and Sparse Matrix Ordering},\n" 2577623264SMatthew G. Knepley " journal = {Journal of Parallel and Distributed Computing},\n" 2677623264SMatthew G. Knepley " volume = {48},\n" 2777623264SMatthew G. Knepley " pages = {71--85},\n" 2877623264SMatthew G. Knepley " year = {1998}\n}\n"; 2977623264SMatthew G. Knepley 30532c4e7dSMichael Lange /*@C 31532c4e7dSMichael Lange DMPlexCreatePartitionerGraph - Create a CSR graph of point connections for the partitioner 32532c4e7dSMichael Lange 33532c4e7dSMichael Lange Input Parameters: 34532c4e7dSMichael Lange + dm - The mesh DM dm 35532c4e7dSMichael Lange - height - Height of the strata from which to construct the graph 36532c4e7dSMichael Lange 37532c4e7dSMichael Lange Output Parameter: 38532c4e7dSMichael Lange + numVertices - Number of vertices in the graph 393fa7752dSToby Isaac . offsets - Point offsets in the graph 403fa7752dSToby Isaac . adjacency - Point connectivity in the graph 413fa7752dSToby Isaac - globalNumbering - A map from the local cell numbering to the global numbering used in "adjacency". Negative indicates that the cell is a duplicate from another process. 42532c4e7dSMichael Lange 43532c4e7dSMichael Lange The user can control the definition of adjacency for the mesh using DMPlexGetAdjacencyUseCone() and 44532c4e7dSMichael Lange DMPlexSetAdjacencyUseClosure(). They should choose the combination appropriate for the function 45532c4e7dSMichael Lange representation on the mesh. 46532c4e7dSMichael Lange 47532c4e7dSMichael Lange Level: developer 48532c4e7dSMichael Lange 49532c4e7dSMichael Lange .seealso: PetscPartitionerGetType(), PetscPartitionerCreate(), DMPlexSetAdjacencyUseCone(), DMPlexSetAdjacencyUseClosure() 50532c4e7dSMichael Lange @*/ 513fa7752dSToby Isaac PetscErrorCode DMPlexCreatePartitionerGraph(DM dm, PetscInt height, PetscInt *numVertices, PetscInt **offsets, PetscInt **adjacency, IS *globalNumbering) 52532c4e7dSMichael Lange { 5343f7d02bSMichael Lange PetscInt p, pStart, pEnd, a, adjSize, idx, size, nroots; 54389e55d8SMichael Lange PetscInt *adj = NULL, *vOffsets = NULL, *graph = NULL; 558cfe4c1fSMichael Lange IS cellNumbering; 568cfe4c1fSMichael Lange const PetscInt *cellNum; 57532c4e7dSMichael Lange PetscBool useCone, useClosure; 58532c4e7dSMichael Lange PetscSection section; 59532c4e7dSMichael Lange PetscSegBuffer adjBuffer; 608cfe4c1fSMichael Lange PetscSF sfPoint; 61532c4e7dSMichael Lange PetscMPIInt rank; 62532c4e7dSMichael Lange PetscErrorCode ierr; 63532c4e7dSMichael Lange 64532c4e7dSMichael Lange PetscFunctionBegin; 65532c4e7dSMichael Lange ierr = MPI_Comm_rank(PetscObjectComm((PetscObject) dm), &rank);CHKERRQ(ierr); 66532c4e7dSMichael Lange ierr = DMPlexGetHeightStratum(dm, height, &pStart, &pEnd);CHKERRQ(ierr); 678cfe4c1fSMichael Lange ierr = DMGetPointSF(dm, &sfPoint);CHKERRQ(ierr); 688cfe4c1fSMichael Lange ierr = PetscSFGetGraph(sfPoint, &nroots, NULL, NULL, NULL);CHKERRQ(ierr); 69532c4e7dSMichael Lange /* Build adjacency graph via a section/segbuffer */ 70532c4e7dSMichael Lange ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), §ion);CHKERRQ(ierr); 71532c4e7dSMichael Lange ierr = PetscSectionSetChart(section, pStart, pEnd);CHKERRQ(ierr); 72532c4e7dSMichael Lange ierr = PetscSegBufferCreate(sizeof(PetscInt),1000,&adjBuffer);CHKERRQ(ierr); 73532c4e7dSMichael Lange /* Always use FVM adjacency to create partitioner graph */ 74532c4e7dSMichael Lange ierr = DMPlexGetAdjacencyUseCone(dm, &useCone);CHKERRQ(ierr); 75532c4e7dSMichael Lange ierr = DMPlexGetAdjacencyUseClosure(dm, &useClosure);CHKERRQ(ierr); 76532c4e7dSMichael Lange ierr = DMPlexSetAdjacencyUseCone(dm, PETSC_TRUE);CHKERRQ(ierr); 77532c4e7dSMichael Lange ierr = DMPlexSetAdjacencyUseClosure(dm, PETSC_FALSE);CHKERRQ(ierr); 78f0927f4eSMatthew G. Knepley ierr = DMPlexCreateCellNumbering_Internal(dm, PETSC_TRUE, &cellNumbering);CHKERRQ(ierr); 793fa7752dSToby Isaac if (globalNumbering) { 803fa7752dSToby Isaac ierr = PetscObjectReference((PetscObject)cellNumbering);CHKERRQ(ierr); 813fa7752dSToby Isaac *globalNumbering = cellNumbering; 823fa7752dSToby Isaac } 838cfe4c1fSMichael Lange ierr = ISGetIndices(cellNumbering, &cellNum);CHKERRQ(ierr); 848cfe4c1fSMichael Lange for (*numVertices = 0, p = pStart; p < pEnd; p++) { 858cfe4c1fSMichael Lange /* Skip non-owned cells in parallel (ParMetis expects no overlap) */ 868cfe4c1fSMichael Lange if (nroots > 0) {if (cellNum[p] < 0) continue;} 87532c4e7dSMichael Lange adjSize = PETSC_DETERMINE; 88532c4e7dSMichael Lange ierr = DMPlexGetAdjacency(dm, p, &adjSize, &adj);CHKERRQ(ierr); 89532c4e7dSMichael Lange for (a = 0; a < adjSize; ++a) { 90532c4e7dSMichael Lange const PetscInt point = adj[a]; 91532c4e7dSMichael Lange if (point != p && pStart <= point && point < pEnd) { 92532c4e7dSMichael Lange PetscInt *PETSC_RESTRICT pBuf; 93532c4e7dSMichael Lange ierr = PetscSectionAddDof(section, p, 1);CHKERRQ(ierr); 94532c4e7dSMichael Lange ierr = PetscSegBufferGetInts(adjBuffer, 1, &pBuf);CHKERRQ(ierr); 95532c4e7dSMichael Lange *pBuf = point; 96532c4e7dSMichael Lange } 97532c4e7dSMichael Lange } 988cfe4c1fSMichael Lange (*numVertices)++; 99532c4e7dSMichael Lange } 100532c4e7dSMichael Lange ierr = DMPlexSetAdjacencyUseCone(dm, useCone);CHKERRQ(ierr); 101532c4e7dSMichael Lange ierr = DMPlexSetAdjacencyUseClosure(dm, useClosure);CHKERRQ(ierr); 102532c4e7dSMichael Lange /* Derive CSR graph from section/segbuffer */ 103532c4e7dSMichael Lange ierr = PetscSectionSetUp(section);CHKERRQ(ierr); 104532c4e7dSMichael Lange ierr = PetscSectionGetStorageSize(section, &size);CHKERRQ(ierr); 105389e55d8SMichael Lange ierr = PetscMalloc1(*numVertices+1, &vOffsets);CHKERRQ(ierr); 10643f7d02bSMichael Lange for (idx = 0, p = pStart; p < pEnd; p++) { 10743f7d02bSMichael Lange if (nroots > 0) {if (cellNum[p] < 0) continue;} 10843f7d02bSMichael Lange ierr = PetscSectionGetOffset(section, p, &(vOffsets[idx++]));CHKERRQ(ierr); 10943f7d02bSMichael Lange } 110532c4e7dSMichael Lange vOffsets[*numVertices] = size; 111532c4e7dSMichael Lange if (offsets) *offsets = vOffsets; 112389e55d8SMichael Lange ierr = PetscSegBufferExtractAlloc(adjBuffer, &graph);CHKERRQ(ierr); 113bf4602e4SToby Isaac { 1148cfe4c1fSMichael Lange ISLocalToGlobalMapping ltogCells; 1158cfe4c1fSMichael Lange PetscInt n, size, *cells_arr; 1168cfe4c1fSMichael Lange /* In parallel, apply a global cell numbering to the graph */ 1178cfe4c1fSMichael Lange ierr = ISRestoreIndices(cellNumbering, &cellNum);CHKERRQ(ierr); 1188cfe4c1fSMichael Lange ierr = ISLocalToGlobalMappingCreateIS(cellNumbering, <ogCells);CHKERRQ(ierr); 1198cfe4c1fSMichael Lange ierr = ISLocalToGlobalMappingGetSize(ltogCells, &size);CHKERRQ(ierr); 1208cfe4c1fSMichael Lange ierr = ISLocalToGlobalMappingGetIndices(ltogCells, (const PetscInt**)&cells_arr);CHKERRQ(ierr); 1218cfe4c1fSMichael Lange /* Convert to positive global cell numbers */ 1228cfe4c1fSMichael Lange for (n=0; n<size; n++) {if (cells_arr[n] < 0) cells_arr[n] = -(cells_arr[n]+1);} 1238cfe4c1fSMichael Lange ierr = ISLocalToGlobalMappingRestoreIndices(ltogCells, (const PetscInt**)&cells_arr);CHKERRQ(ierr); 124389e55d8SMichael Lange ierr = ISLocalToGlobalMappingApplyBlock(ltogCells, vOffsets[*numVertices], graph, graph);CHKERRQ(ierr); 1258cfe4c1fSMichael Lange ierr = ISLocalToGlobalMappingDestroy(<ogCells);CHKERRQ(ierr); 126f0927f4eSMatthew G. Knepley ierr = ISDestroy(&cellNumbering);CHKERRQ(ierr); 1278cfe4c1fSMichael Lange } 128389e55d8SMichael Lange if (adjacency) *adjacency = graph; 129532c4e7dSMichael Lange /* Clean up */ 130532c4e7dSMichael Lange ierr = PetscSegBufferDestroy(&adjBuffer);CHKERRQ(ierr); 131532c4e7dSMichael Lange ierr = PetscSectionDestroy(§ion);CHKERRQ(ierr); 132532c4e7dSMichael Lange ierr = PetscFree(adj);CHKERRQ(ierr); 133532c4e7dSMichael Lange PetscFunctionReturn(0); 134532c4e7dSMichael Lange } 135532c4e7dSMichael Lange 136d5577e40SMatthew G. Knepley /*@C 137d5577e40SMatthew G. Knepley DMPlexCreateNeighborCSR - Create a mesh graph (cell-cell adjacency) in parallel CSR format. 138d5577e40SMatthew G. Knepley 139d5577e40SMatthew G. Knepley Collective 140d5577e40SMatthew G. Knepley 141d5577e40SMatthew G. Knepley Input Arguments: 142d5577e40SMatthew G. Knepley + dm - The DMPlex 143d5577e40SMatthew G. Knepley - cellHeight - The height of mesh points to treat as cells (default should be 0) 144d5577e40SMatthew G. Knepley 145d5577e40SMatthew G. Knepley Output Arguments: 146d5577e40SMatthew G. Knepley + numVertices - The number of local vertices in the graph, or cells in the mesh. 147d5577e40SMatthew G. Knepley . offsets - The offset to the adjacency list for each cell 148d5577e40SMatthew G. Knepley - adjacency - The adjacency list for all cells 149d5577e40SMatthew G. Knepley 150d5577e40SMatthew G. Knepley Note: This is suitable for input to a mesh partitioner like ParMetis. 151d5577e40SMatthew G. Knepley 152d5577e40SMatthew G. Knepley Level: advanced 153d5577e40SMatthew G. Knepley 154d5577e40SMatthew G. Knepley .seealso: DMPlexCreate() 155d5577e40SMatthew G. Knepley @*/ 15670034214SMatthew G. Knepley PetscErrorCode DMPlexCreateNeighborCSR(DM dm, PetscInt cellHeight, PetscInt *numVertices, PetscInt **offsets, PetscInt **adjacency) 15770034214SMatthew G. Knepley { 15870034214SMatthew G. Knepley const PetscInt maxFaceCases = 30; 15970034214SMatthew G. Knepley PetscInt numFaceCases = 0; 16070034214SMatthew G. Knepley PetscInt numFaceVertices[30]; /* maxFaceCases, C89 sucks sucks sucks */ 16170034214SMatthew G. Knepley PetscInt *off, *adj; 16270034214SMatthew G. Knepley PetscInt *neighborCells = NULL; 16370034214SMatthew G. Knepley PetscInt dim, cellDim, depth = 0, faceDepth, cStart, cEnd, c, numCells, cell; 16470034214SMatthew G. Knepley PetscErrorCode ierr; 16570034214SMatthew G. Knepley 16670034214SMatthew G. Knepley PetscFunctionBegin; 16770034214SMatthew G. Knepley /* For parallel partitioning, I think you have to communicate supports */ 168c73cfb54SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 16970034214SMatthew G. Knepley cellDim = dim - cellHeight; 17070034214SMatthew G. Knepley ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr); 17170034214SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, cellHeight, &cStart, &cEnd);CHKERRQ(ierr); 17270034214SMatthew G. Knepley if (cEnd - cStart == 0) { 17370034214SMatthew G. Knepley if (numVertices) *numVertices = 0; 17470034214SMatthew G. Knepley if (offsets) *offsets = NULL; 17570034214SMatthew G. Knepley if (adjacency) *adjacency = NULL; 17670034214SMatthew G. Knepley PetscFunctionReturn(0); 17770034214SMatthew G. Knepley } 17870034214SMatthew G. Knepley numCells = cEnd - cStart; 17970034214SMatthew G. Knepley faceDepth = depth - cellHeight; 18070034214SMatthew G. Knepley if (dim == depth) { 18170034214SMatthew G. Knepley PetscInt f, fStart, fEnd; 18270034214SMatthew G. Knepley 18370034214SMatthew G. Knepley ierr = PetscCalloc1(numCells+1, &off);CHKERRQ(ierr); 18470034214SMatthew G. Knepley /* Count neighboring cells */ 18570034214SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, cellHeight+1, &fStart, &fEnd);CHKERRQ(ierr); 18670034214SMatthew G. Knepley for (f = fStart; f < fEnd; ++f) { 18770034214SMatthew G. Knepley const PetscInt *support; 18870034214SMatthew G. Knepley PetscInt supportSize; 18970034214SMatthew G. Knepley ierr = DMPlexGetSupportSize(dm, f, &supportSize);CHKERRQ(ierr); 19070034214SMatthew G. Knepley ierr = DMPlexGetSupport(dm, f, &support);CHKERRQ(ierr); 19170034214SMatthew G. Knepley if (supportSize == 2) { 1929ffc88e4SToby Isaac PetscInt numChildren; 1939ffc88e4SToby Isaac 1949ffc88e4SToby Isaac ierr = DMPlexGetTreeChildren(dm,f,&numChildren,NULL);CHKERRQ(ierr); 1959ffc88e4SToby Isaac if (!numChildren) { 19670034214SMatthew G. Knepley ++off[support[0]-cStart+1]; 19770034214SMatthew G. Knepley ++off[support[1]-cStart+1]; 19870034214SMatthew G. Knepley } 19970034214SMatthew G. Knepley } 2009ffc88e4SToby Isaac } 20170034214SMatthew G. Knepley /* Prefix sum */ 20270034214SMatthew G. Knepley for (c = 1; c <= numCells; ++c) off[c] += off[c-1]; 20370034214SMatthew G. Knepley if (adjacency) { 20470034214SMatthew G. Knepley PetscInt *tmp; 20570034214SMatthew G. Knepley 20670034214SMatthew G. Knepley ierr = PetscMalloc1(off[numCells], &adj);CHKERRQ(ierr); 207854ce69bSBarry Smith ierr = PetscMalloc1(numCells+1, &tmp);CHKERRQ(ierr); 20870034214SMatthew G. Knepley ierr = PetscMemcpy(tmp, off, (numCells+1) * sizeof(PetscInt));CHKERRQ(ierr); 20970034214SMatthew G. Knepley /* Get neighboring cells */ 21070034214SMatthew G. Knepley for (f = fStart; f < fEnd; ++f) { 21170034214SMatthew G. Knepley const PetscInt *support; 21270034214SMatthew G. Knepley PetscInt supportSize; 21370034214SMatthew G. Knepley ierr = DMPlexGetSupportSize(dm, f, &supportSize);CHKERRQ(ierr); 21470034214SMatthew G. Knepley ierr = DMPlexGetSupport(dm, f, &support);CHKERRQ(ierr); 21570034214SMatthew G. Knepley if (supportSize == 2) { 2169ffc88e4SToby Isaac PetscInt numChildren; 2179ffc88e4SToby Isaac 2189ffc88e4SToby Isaac ierr = DMPlexGetTreeChildren(dm,f,&numChildren,NULL);CHKERRQ(ierr); 2199ffc88e4SToby Isaac if (!numChildren) { 22070034214SMatthew G. Knepley adj[tmp[support[0]-cStart]++] = support[1]; 22170034214SMatthew G. Knepley adj[tmp[support[1]-cStart]++] = support[0]; 22270034214SMatthew G. Knepley } 22370034214SMatthew G. Knepley } 2249ffc88e4SToby Isaac } 22570034214SMatthew G. Knepley #if defined(PETSC_USE_DEBUG) 22670034214SMatthew G. Knepley for (c = 0; c < cEnd-cStart; ++c) if (tmp[c] != off[c+1]) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Offset %d != %d for cell %d", tmp[c], off[c], c+cStart); 22770034214SMatthew G. Knepley #endif 22870034214SMatthew G. Knepley ierr = PetscFree(tmp);CHKERRQ(ierr); 22970034214SMatthew G. Knepley } 23070034214SMatthew G. Knepley if (numVertices) *numVertices = numCells; 23170034214SMatthew G. Knepley if (offsets) *offsets = off; 23270034214SMatthew G. Knepley if (adjacency) *adjacency = adj; 23370034214SMatthew G. Knepley PetscFunctionReturn(0); 23470034214SMatthew G. Knepley } 23570034214SMatthew G. Knepley /* Setup face recognition */ 23670034214SMatthew G. Knepley if (faceDepth == 1) { 23770034214SMatthew G. Knepley PetscInt cornersSeen[30] = {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}; /* Could use PetscBT */ 23870034214SMatthew G. Knepley 23970034214SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 24070034214SMatthew G. Knepley PetscInt corners; 24170034214SMatthew G. Knepley 24270034214SMatthew G. Knepley ierr = DMPlexGetConeSize(dm, c, &corners);CHKERRQ(ierr); 24370034214SMatthew G. Knepley if (!cornersSeen[corners]) { 24470034214SMatthew G. Knepley PetscInt nFV; 24570034214SMatthew G. Knepley 24670034214SMatthew G. Knepley if (numFaceCases >= maxFaceCases) SETERRQ(PetscObjectComm((PetscObject)dm), PETSC_ERR_PLIB, "Exceeded maximum number of face recognition cases"); 24770034214SMatthew G. Knepley cornersSeen[corners] = 1; 24870034214SMatthew G. Knepley 24970034214SMatthew G. Knepley ierr = DMPlexGetNumFaceVertices(dm, cellDim, corners, &nFV);CHKERRQ(ierr); 25070034214SMatthew G. Knepley 25170034214SMatthew G. Knepley numFaceVertices[numFaceCases++] = nFV; 25270034214SMatthew G. Knepley } 25370034214SMatthew G. Knepley } 25470034214SMatthew G. Knepley } 25570034214SMatthew G. Knepley ierr = PetscCalloc1(numCells+1, &off);CHKERRQ(ierr); 25670034214SMatthew G. Knepley /* Count neighboring cells */ 25770034214SMatthew G. Knepley for (cell = cStart; cell < cEnd; ++cell) { 25870034214SMatthew G. Knepley PetscInt numNeighbors = PETSC_DETERMINE, n; 25970034214SMatthew G. Knepley 2608b0b4c70SToby Isaac ierr = DMPlexGetAdjacency_Internal(dm, cell, PETSC_TRUE, PETSC_FALSE, PETSC_FALSE, &numNeighbors, &neighborCells);CHKERRQ(ierr); 26170034214SMatthew G. Knepley /* Get meet with each cell, and check with recognizer (could optimize to check each pair only once) */ 26270034214SMatthew G. Knepley for (n = 0; n < numNeighbors; ++n) { 26370034214SMatthew G. Knepley PetscInt cellPair[2]; 26470034214SMatthew G. Knepley PetscBool found = faceDepth > 1 ? PETSC_TRUE : PETSC_FALSE; 26570034214SMatthew G. Knepley PetscInt meetSize = 0; 26670034214SMatthew G. Knepley const PetscInt *meet = NULL; 26770034214SMatthew G. Knepley 26870034214SMatthew G. Knepley cellPair[0] = cell; cellPair[1] = neighborCells[n]; 26970034214SMatthew G. Knepley if (cellPair[0] == cellPair[1]) continue; 27070034214SMatthew G. Knepley if (!found) { 27170034214SMatthew G. Knepley ierr = DMPlexGetMeet(dm, 2, cellPair, &meetSize, &meet);CHKERRQ(ierr); 27270034214SMatthew G. Knepley if (meetSize) { 27370034214SMatthew G. Knepley PetscInt f; 27470034214SMatthew G. Knepley 27570034214SMatthew G. Knepley for (f = 0; f < numFaceCases; ++f) { 27670034214SMatthew G. Knepley if (numFaceVertices[f] == meetSize) { 27770034214SMatthew G. Knepley found = PETSC_TRUE; 27870034214SMatthew G. Knepley break; 27970034214SMatthew G. Knepley } 28070034214SMatthew G. Knepley } 28170034214SMatthew G. Knepley } 28270034214SMatthew G. Knepley ierr = DMPlexRestoreMeet(dm, 2, cellPair, &meetSize, &meet);CHKERRQ(ierr); 28370034214SMatthew G. Knepley } 28470034214SMatthew G. Knepley if (found) ++off[cell-cStart+1]; 28570034214SMatthew G. Knepley } 28670034214SMatthew G. Knepley } 28770034214SMatthew G. Knepley /* Prefix sum */ 28870034214SMatthew G. Knepley for (cell = 1; cell <= numCells; ++cell) off[cell] += off[cell-1]; 28970034214SMatthew G. Knepley 29070034214SMatthew G. Knepley if (adjacency) { 29170034214SMatthew G. Knepley ierr = PetscMalloc1(off[numCells], &adj);CHKERRQ(ierr); 29270034214SMatthew G. Knepley /* Get neighboring cells */ 29370034214SMatthew G. Knepley for (cell = cStart; cell < cEnd; ++cell) { 29470034214SMatthew G. Knepley PetscInt numNeighbors = PETSC_DETERMINE, n; 29570034214SMatthew G. Knepley PetscInt cellOffset = 0; 29670034214SMatthew G. Knepley 2978b0b4c70SToby Isaac ierr = DMPlexGetAdjacency_Internal(dm, cell, PETSC_TRUE, PETSC_FALSE, PETSC_FALSE, &numNeighbors, &neighborCells);CHKERRQ(ierr); 29870034214SMatthew G. Knepley /* Get meet with each cell, and check with recognizer (could optimize to check each pair only once) */ 29970034214SMatthew G. Knepley for (n = 0; n < numNeighbors; ++n) { 30070034214SMatthew G. Knepley PetscInt cellPair[2]; 30170034214SMatthew G. Knepley PetscBool found = faceDepth > 1 ? PETSC_TRUE : PETSC_FALSE; 30270034214SMatthew G. Knepley PetscInt meetSize = 0; 30370034214SMatthew G. Knepley const PetscInt *meet = NULL; 30470034214SMatthew G. Knepley 30570034214SMatthew G. Knepley cellPair[0] = cell; cellPair[1] = neighborCells[n]; 30670034214SMatthew G. Knepley if (cellPair[0] == cellPair[1]) continue; 30770034214SMatthew G. Knepley if (!found) { 30870034214SMatthew G. Knepley ierr = DMPlexGetMeet(dm, 2, cellPair, &meetSize, &meet);CHKERRQ(ierr); 30970034214SMatthew G. Knepley if (meetSize) { 31070034214SMatthew G. Knepley PetscInt f; 31170034214SMatthew G. Knepley 31270034214SMatthew G. Knepley for (f = 0; f < numFaceCases; ++f) { 31370034214SMatthew G. Knepley if (numFaceVertices[f] == meetSize) { 31470034214SMatthew G. Knepley found = PETSC_TRUE; 31570034214SMatthew G. Knepley break; 31670034214SMatthew G. Knepley } 31770034214SMatthew G. Knepley } 31870034214SMatthew G. Knepley } 31970034214SMatthew G. Knepley ierr = DMPlexRestoreMeet(dm, 2, cellPair, &meetSize, &meet);CHKERRQ(ierr); 32070034214SMatthew G. Knepley } 32170034214SMatthew G. Knepley if (found) { 32270034214SMatthew G. Knepley adj[off[cell-cStart]+cellOffset] = neighborCells[n]; 32370034214SMatthew G. Knepley ++cellOffset; 32470034214SMatthew G. Knepley } 32570034214SMatthew G. Knepley } 32670034214SMatthew G. Knepley } 32770034214SMatthew G. Knepley } 32870034214SMatthew G. Knepley ierr = PetscFree(neighborCells);CHKERRQ(ierr); 32970034214SMatthew G. Knepley if (numVertices) *numVertices = numCells; 33070034214SMatthew G. Knepley if (offsets) *offsets = off; 33170034214SMatthew G. Knepley if (adjacency) *adjacency = adj; 33270034214SMatthew G. Knepley PetscFunctionReturn(0); 33370034214SMatthew G. Knepley } 33470034214SMatthew G. Knepley 33577623264SMatthew G. Knepley /*@C 33677623264SMatthew G. Knepley PetscPartitionerRegister - Adds a new PetscPartitioner implementation 33777623264SMatthew G. Knepley 33877623264SMatthew G. Knepley Not Collective 33977623264SMatthew G. Knepley 34077623264SMatthew G. Knepley Input Parameters: 34177623264SMatthew G. Knepley + name - The name of a new user-defined creation routine 34277623264SMatthew G. Knepley - create_func - The creation routine itself 34377623264SMatthew G. Knepley 34477623264SMatthew G. Knepley Notes: 34577623264SMatthew G. Knepley PetscPartitionerRegister() may be called multiple times to add several user-defined PetscPartitioners 34677623264SMatthew G. Knepley 34777623264SMatthew G. Knepley Sample usage: 34877623264SMatthew G. Knepley .vb 34977623264SMatthew G. Knepley PetscPartitionerRegister("my_part", MyPetscPartitionerCreate); 35077623264SMatthew G. Knepley .ve 35177623264SMatthew G. Knepley 35277623264SMatthew G. Knepley Then, your PetscPartitioner type can be chosen with the procedural interface via 35377623264SMatthew G. Knepley .vb 35477623264SMatthew G. Knepley PetscPartitionerCreate(MPI_Comm, PetscPartitioner *); 35577623264SMatthew G. Knepley PetscPartitionerSetType(PetscPartitioner, "my_part"); 35677623264SMatthew G. Knepley .ve 35777623264SMatthew G. Knepley or at runtime via the option 35877623264SMatthew G. Knepley .vb 35977623264SMatthew G. Knepley -petscpartitioner_type my_part 36077623264SMatthew G. Knepley .ve 36177623264SMatthew G. Knepley 36277623264SMatthew G. Knepley Level: advanced 36377623264SMatthew G. Knepley 36477623264SMatthew G. Knepley .keywords: PetscPartitioner, register 36577623264SMatthew G. Knepley .seealso: PetscPartitionerRegisterAll(), PetscPartitionerRegisterDestroy() 36677623264SMatthew G. Knepley 36777623264SMatthew G. Knepley @*/ 36877623264SMatthew G. Knepley PetscErrorCode PetscPartitionerRegister(const char sname[], PetscErrorCode (*function)(PetscPartitioner)) 36977623264SMatthew G. Knepley { 37077623264SMatthew G. Knepley PetscErrorCode ierr; 37177623264SMatthew G. Knepley 37277623264SMatthew G. Knepley PetscFunctionBegin; 37377623264SMatthew G. Knepley ierr = PetscFunctionListAdd(&PetscPartitionerList, sname, function);CHKERRQ(ierr); 37477623264SMatthew G. Knepley PetscFunctionReturn(0); 37577623264SMatthew G. Knepley } 37677623264SMatthew G. Knepley 37777623264SMatthew G. Knepley /*@C 37877623264SMatthew G. Knepley PetscPartitionerSetType - Builds a particular PetscPartitioner 37977623264SMatthew G. Knepley 38077623264SMatthew G. Knepley Collective on PetscPartitioner 38177623264SMatthew G. Knepley 38277623264SMatthew G. Knepley Input Parameters: 38377623264SMatthew G. Knepley + part - The PetscPartitioner object 38477623264SMatthew G. Knepley - name - The kind of partitioner 38577623264SMatthew G. Knepley 38677623264SMatthew G. Knepley Options Database Key: 38777623264SMatthew G. Knepley . -petscpartitioner_type <type> - Sets the PetscPartitioner type; use -help for a list of available types 38877623264SMatthew G. Knepley 38977623264SMatthew G. Knepley Level: intermediate 39077623264SMatthew G. Knepley 39177623264SMatthew G. Knepley .keywords: PetscPartitioner, set, type 39277623264SMatthew G. Knepley .seealso: PetscPartitionerGetType(), PetscPartitionerCreate() 39377623264SMatthew G. Knepley @*/ 39477623264SMatthew G. Knepley PetscErrorCode PetscPartitionerSetType(PetscPartitioner part, PetscPartitionerType name) 39577623264SMatthew G. Knepley { 39677623264SMatthew G. Knepley PetscErrorCode (*r)(PetscPartitioner); 39777623264SMatthew G. Knepley PetscBool match; 39877623264SMatthew G. Knepley PetscErrorCode ierr; 39977623264SMatthew G. Knepley 40077623264SMatthew G. Knepley PetscFunctionBegin; 40177623264SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 40277623264SMatthew G. Knepley ierr = PetscObjectTypeCompare((PetscObject) part, name, &match);CHKERRQ(ierr); 40377623264SMatthew G. Knepley if (match) PetscFunctionReturn(0); 40477623264SMatthew G. Knepley 4050f51fdf8SToby Isaac ierr = PetscPartitionerRegisterAll();CHKERRQ(ierr); 40677623264SMatthew G. Knepley ierr = PetscFunctionListFind(PetscPartitionerList, name, &r);CHKERRQ(ierr); 40777623264SMatthew G. Knepley if (!r) SETERRQ1(PetscObjectComm((PetscObject) part), PETSC_ERR_ARG_UNKNOWN_TYPE, "Unknown PetscPartitioner type: %s", name); 40877623264SMatthew G. Knepley 40977623264SMatthew G. Knepley if (part->ops->destroy) { 41077623264SMatthew G. Knepley ierr = (*part->ops->destroy)(part);CHKERRQ(ierr); 41177623264SMatthew G. Knepley } 41209161815SVaclav Hapla ierr = PetscMemzero(part->ops, sizeof(struct _PetscPartitionerOps));CHKERRQ(ierr); 41377623264SMatthew G. Knepley ierr = (*r)(part);CHKERRQ(ierr); 41477623264SMatthew G. Knepley ierr = PetscObjectChangeTypeName((PetscObject) part, name);CHKERRQ(ierr); 41577623264SMatthew G. Knepley PetscFunctionReturn(0); 41677623264SMatthew G. Knepley } 41777623264SMatthew G. Knepley 41877623264SMatthew G. Knepley /*@C 41977623264SMatthew G. Knepley PetscPartitionerGetType - Gets the PetscPartitioner type name (as a string) from the object. 42077623264SMatthew G. Knepley 42177623264SMatthew G. Knepley Not Collective 42277623264SMatthew G. Knepley 42377623264SMatthew G. Knepley Input Parameter: 42477623264SMatthew G. Knepley . part - The PetscPartitioner 42577623264SMatthew G. Knepley 42677623264SMatthew G. Knepley Output Parameter: 42777623264SMatthew G. Knepley . name - The PetscPartitioner type name 42877623264SMatthew G. Knepley 42977623264SMatthew G. Knepley Level: intermediate 43077623264SMatthew G. Knepley 43177623264SMatthew G. Knepley .keywords: PetscPartitioner, get, type, name 43277623264SMatthew G. Knepley .seealso: PetscPartitionerSetType(), PetscPartitionerCreate() 43377623264SMatthew G. Knepley @*/ 43477623264SMatthew G. Knepley PetscErrorCode PetscPartitionerGetType(PetscPartitioner part, PetscPartitionerType *name) 43577623264SMatthew G. Knepley { 43677623264SMatthew G. Knepley PetscErrorCode ierr; 43777623264SMatthew G. Knepley 43877623264SMatthew G. Knepley PetscFunctionBegin; 43977623264SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 44077623264SMatthew G. Knepley PetscValidPointer(name, 2); 4410f51fdf8SToby Isaac ierr = PetscPartitionerRegisterAll();CHKERRQ(ierr); 44277623264SMatthew G. Knepley *name = ((PetscObject) part)->type_name; 44377623264SMatthew G. Knepley PetscFunctionReturn(0); 44477623264SMatthew G. Knepley } 44577623264SMatthew G. Knepley 44677623264SMatthew G. Knepley /*@C 44777623264SMatthew G. Knepley PetscPartitionerView - Views a PetscPartitioner 44877623264SMatthew G. Knepley 44977623264SMatthew G. Knepley Collective on PetscPartitioner 45077623264SMatthew G. Knepley 45177623264SMatthew G. Knepley Input Parameter: 45277623264SMatthew G. Knepley + part - the PetscPartitioner object to view 45377623264SMatthew G. Knepley - v - the viewer 45477623264SMatthew G. Knepley 45577623264SMatthew G. Knepley Level: developer 45677623264SMatthew G. Knepley 45777623264SMatthew G. Knepley .seealso: PetscPartitionerDestroy() 45877623264SMatthew G. Knepley @*/ 45977623264SMatthew G. Knepley PetscErrorCode PetscPartitionerView(PetscPartitioner part, PetscViewer v) 46077623264SMatthew G. Knepley { 461*2abdaa70SMatthew G. Knepley PetscInt size; 462*2abdaa70SMatthew G. Knepley PetscBool isascii; 46377623264SMatthew G. Knepley PetscErrorCode ierr; 46477623264SMatthew G. Knepley 46577623264SMatthew G. Knepley PetscFunctionBegin; 46677623264SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 46777623264SMatthew G. Knepley if (!v) {ierr = PetscViewerASCIIGetStdout(PetscObjectComm((PetscObject) part), &v);CHKERRQ(ierr);} 468*2abdaa70SMatthew G. Knepley ierr = PetscObjectTypeCompare((PetscObject) v, PETSCVIEWERASCII, &isascii);CHKERRQ(ierr); 469*2abdaa70SMatthew G. Knepley if (isascii) { 470*2abdaa70SMatthew G. Knepley ierr = MPI_Comm_size(PetscObjectComm((PetscObject) part), &size);CHKERRQ(ierr); 471*2abdaa70SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(v, "Graph Partitioner: %D MPI Process%s\n", size, size > 1 ? "es" : "");CHKERRQ(ierr); 472*2abdaa70SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(v, " type: %s\n", part->hdr.type_name);CHKERRQ(ierr); 473*2abdaa70SMatthew G. Knepley ierr = PetscViewerASCIIPushTab(v);CHKERRQ(ierr); 474*2abdaa70SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(v, "edge cut: %D\n", part->edgeCut);CHKERRQ(ierr); 475*2abdaa70SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(v, "balance: %.2g\n", part->balance);CHKERRQ(ierr); 476*2abdaa70SMatthew G. Knepley ierr = PetscViewerASCIIPopTab(v);CHKERRQ(ierr); 477*2abdaa70SMatthew G. Knepley } 47877623264SMatthew G. Knepley if (part->ops->view) {ierr = (*part->ops->view)(part, v);CHKERRQ(ierr);} 47977623264SMatthew G. Knepley PetscFunctionReturn(0); 48077623264SMatthew G. Knepley } 48177623264SMatthew G. Knepley 482a0058e54SToby Isaac static PetscErrorCode PetscPartitionerGetDefaultType(const char *currentType, const char **defaultType) 483a0058e54SToby Isaac { 484a0058e54SToby Isaac PetscFunctionBegin; 485a0058e54SToby Isaac if (!currentType) { 486a0058e54SToby Isaac #if defined(PETSC_HAVE_CHACO) 487a0058e54SToby Isaac *defaultType = PETSCPARTITIONERCHACO; 488a0058e54SToby Isaac #elif defined(PETSC_HAVE_PARMETIS) 489a0058e54SToby Isaac *defaultType = PETSCPARTITIONERPARMETIS; 490137cd93aSLisandro Dalcin #elif defined(PETSC_HAVE_PTSCOTCH) 491137cd93aSLisandro Dalcin *defaultType = PETSCPARTITIONERPTSCOTCH; 492a0058e54SToby Isaac #else 493a0058e54SToby Isaac *defaultType = PETSCPARTITIONERSIMPLE; 494a0058e54SToby Isaac #endif 495a0058e54SToby Isaac } else { 496a0058e54SToby Isaac *defaultType = currentType; 497a0058e54SToby Isaac } 498a0058e54SToby Isaac PetscFunctionReturn(0); 499a0058e54SToby Isaac } 500a0058e54SToby Isaac 50177623264SMatthew G. Knepley /*@ 50277623264SMatthew G. Knepley PetscPartitionerSetFromOptions - sets parameters in a PetscPartitioner from the options database 50377623264SMatthew G. Knepley 50477623264SMatthew G. Knepley Collective on PetscPartitioner 50577623264SMatthew G. Knepley 50677623264SMatthew G. Knepley Input Parameter: 50777623264SMatthew G. Knepley . part - the PetscPartitioner object to set options for 50877623264SMatthew G. Knepley 50977623264SMatthew G. Knepley Level: developer 51077623264SMatthew G. Knepley 51177623264SMatthew G. Knepley .seealso: PetscPartitionerView() 51277623264SMatthew G. Knepley @*/ 51377623264SMatthew G. Knepley PetscErrorCode PetscPartitionerSetFromOptions(PetscPartitioner part) 51477623264SMatthew G. Knepley { 5156bb9daa8SLisandro Dalcin const char *defaultType; 5166bb9daa8SLisandro Dalcin char name[256]; 5176bb9daa8SLisandro Dalcin PetscBool flg; 51877623264SMatthew G. Knepley PetscErrorCode ierr; 51977623264SMatthew G. Knepley 52077623264SMatthew G. Knepley PetscFunctionBegin; 52177623264SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 5226bb9daa8SLisandro Dalcin ierr = PetscPartitionerRegisterAll();CHKERRQ(ierr); 5236bb9daa8SLisandro Dalcin ierr = PetscPartitionerGetDefaultType(((PetscObject) part)->type_name,&defaultType);CHKERRQ(ierr); 52477623264SMatthew G. Knepley ierr = PetscObjectOptionsBegin((PetscObject) part);CHKERRQ(ierr); 5256bb9daa8SLisandro Dalcin ierr = PetscOptionsFList("-petscpartitioner_type", "Graph partitioner", "PetscPartitionerSetType", PetscPartitionerList, defaultType, name, sizeof(name), &flg);CHKERRQ(ierr); 5266bb9daa8SLisandro Dalcin if (flg) { 5276bb9daa8SLisandro Dalcin ierr = PetscPartitionerSetType(part, name);CHKERRQ(ierr); 5286bb9daa8SLisandro Dalcin } else if (!((PetscObject) part)->type_name) { 5296bb9daa8SLisandro Dalcin ierr = PetscPartitionerSetType(part, defaultType);CHKERRQ(ierr); 5306bb9daa8SLisandro Dalcin } 5316bb9daa8SLisandro Dalcin if (part->ops->setfromoptions) { 5326bb9daa8SLisandro Dalcin ierr = (*part->ops->setfromoptions)(PetscOptionsObject,part);CHKERRQ(ierr); 5336bb9daa8SLisandro Dalcin } 53477623264SMatthew G. Knepley /* process any options handlers added with PetscObjectAddOptionsHandler() */ 5350633abcbSJed Brown ierr = PetscObjectProcessOptionsHandlers(PetscOptionsObject,(PetscObject) part);CHKERRQ(ierr); 53677623264SMatthew G. Knepley ierr = PetscOptionsEnd();CHKERRQ(ierr); 53777623264SMatthew G. Knepley PetscFunctionReturn(0); 53877623264SMatthew G. Knepley } 53977623264SMatthew G. Knepley 54077623264SMatthew G. Knepley /*@C 54177623264SMatthew G. Knepley PetscPartitionerSetUp - Construct data structures for the PetscPartitioner 54277623264SMatthew G. Knepley 54377623264SMatthew G. Knepley Collective on PetscPartitioner 54477623264SMatthew G. Knepley 54577623264SMatthew G. Knepley Input Parameter: 54677623264SMatthew G. Knepley . part - the PetscPartitioner object to setup 54777623264SMatthew G. Knepley 54877623264SMatthew G. Knepley Level: developer 54977623264SMatthew G. Knepley 55077623264SMatthew G. Knepley .seealso: PetscPartitionerView(), PetscPartitionerDestroy() 55177623264SMatthew G. Knepley @*/ 55277623264SMatthew G. Knepley PetscErrorCode PetscPartitionerSetUp(PetscPartitioner part) 55377623264SMatthew G. Knepley { 55477623264SMatthew G. Knepley PetscErrorCode ierr; 55577623264SMatthew G. Knepley 55677623264SMatthew G. Knepley PetscFunctionBegin; 55777623264SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 55877623264SMatthew G. Knepley if (part->ops->setup) {ierr = (*part->ops->setup)(part);CHKERRQ(ierr);} 55977623264SMatthew G. Knepley PetscFunctionReturn(0); 56077623264SMatthew G. Knepley } 56177623264SMatthew G. Knepley 56277623264SMatthew G. Knepley /*@ 56377623264SMatthew G. Knepley PetscPartitionerDestroy - Destroys a PetscPartitioner object 56477623264SMatthew G. Knepley 56577623264SMatthew G. Knepley Collective on PetscPartitioner 56677623264SMatthew G. Knepley 56777623264SMatthew G. Knepley Input Parameter: 56877623264SMatthew G. Knepley . part - the PetscPartitioner object to destroy 56977623264SMatthew G. Knepley 57077623264SMatthew G. Knepley Level: developer 57177623264SMatthew G. Knepley 57277623264SMatthew G. Knepley .seealso: PetscPartitionerView() 57377623264SMatthew G. Knepley @*/ 57477623264SMatthew G. Knepley PetscErrorCode PetscPartitionerDestroy(PetscPartitioner *part) 57577623264SMatthew G. Knepley { 57677623264SMatthew G. Knepley PetscErrorCode ierr; 57777623264SMatthew G. Knepley 57877623264SMatthew G. Knepley PetscFunctionBegin; 57977623264SMatthew G. Knepley if (!*part) PetscFunctionReturn(0); 58077623264SMatthew G. Knepley PetscValidHeaderSpecific((*part), PETSCPARTITIONER_CLASSID, 1); 58177623264SMatthew G. Knepley 58277623264SMatthew G. Knepley if (--((PetscObject)(*part))->refct > 0) {*part = 0; PetscFunctionReturn(0);} 58377623264SMatthew G. Knepley ((PetscObject) (*part))->refct = 0; 58477623264SMatthew G. Knepley 58577623264SMatthew G. Knepley if ((*part)->ops->destroy) {ierr = (*(*part)->ops->destroy)(*part);CHKERRQ(ierr);} 58677623264SMatthew G. Knepley ierr = PetscHeaderDestroy(part);CHKERRQ(ierr); 58777623264SMatthew G. Knepley PetscFunctionReturn(0); 58877623264SMatthew G. Knepley } 58977623264SMatthew G. Knepley 59077623264SMatthew G. Knepley /*@ 59177623264SMatthew G. Knepley PetscPartitionerCreate - Creates an empty PetscPartitioner object. The type can then be set with PetscPartitionerSetType(). 59277623264SMatthew G. Knepley 59377623264SMatthew G. Knepley Collective on MPI_Comm 59477623264SMatthew G. Knepley 59577623264SMatthew G. Knepley Input Parameter: 59677623264SMatthew G. Knepley . comm - The communicator for the PetscPartitioner object 59777623264SMatthew G. Knepley 59877623264SMatthew G. Knepley Output Parameter: 59977623264SMatthew G. Knepley . part - The PetscPartitioner object 60077623264SMatthew G. Knepley 60177623264SMatthew G. Knepley Level: beginner 60277623264SMatthew G. Knepley 603dae52e14SToby Isaac .seealso: PetscPartitionerSetType(), PETSCPARTITIONERCHACO, PETSCPARTITIONERPARMETIS, PETSCPARTITIONERSHELL, PETSCPARTITIONERSIMPLE, PETSCPARTITIONERGATHER 60477623264SMatthew G. Knepley @*/ 60577623264SMatthew G. Knepley PetscErrorCode PetscPartitionerCreate(MPI_Comm comm, PetscPartitioner *part) 60677623264SMatthew G. Knepley { 60777623264SMatthew G. Knepley PetscPartitioner p; 608a0058e54SToby Isaac const char *partitionerType = NULL; 60977623264SMatthew G. Knepley PetscErrorCode ierr; 61077623264SMatthew G. Knepley 61177623264SMatthew G. Knepley PetscFunctionBegin; 61277623264SMatthew G. Knepley PetscValidPointer(part, 2); 61377623264SMatthew G. Knepley *part = NULL; 61483cde681SMatthew G. Knepley ierr = DMInitializePackage();CHKERRQ(ierr); 61577623264SMatthew G. Knepley 61673107ff1SLisandro Dalcin ierr = PetscHeaderCreate(p, PETSCPARTITIONER_CLASSID, "PetscPartitioner", "Graph Partitioner", "PetscPartitioner", comm, PetscPartitionerDestroy, PetscPartitionerView);CHKERRQ(ierr); 617a0058e54SToby Isaac ierr = PetscPartitionerGetDefaultType(NULL,&partitionerType);CHKERRQ(ierr); 618a0058e54SToby Isaac ierr = PetscPartitionerSetType(p,partitionerType);CHKERRQ(ierr); 61977623264SMatthew G. Knepley 62072379da4SMatthew G. Knepley p->edgeCut = 0; 62172379da4SMatthew G. Knepley p->balance = 0.0; 62272379da4SMatthew G. Knepley 62377623264SMatthew G. Knepley *part = p; 62477623264SMatthew G. Knepley PetscFunctionReturn(0); 62577623264SMatthew G. Knepley } 62677623264SMatthew G. Knepley 62777623264SMatthew G. Knepley /*@ 62877623264SMatthew G. Knepley PetscPartitionerPartition - Create a non-overlapping partition of the cells in the mesh 62977623264SMatthew G. Knepley 63077623264SMatthew G. Knepley Collective on DM 63177623264SMatthew G. Knepley 63277623264SMatthew G. Knepley Input Parameters: 63377623264SMatthew G. Knepley + part - The PetscPartitioner 634f8987ae8SMichael Lange - dm - The mesh DM 63577623264SMatthew G. Knepley 63677623264SMatthew G. Knepley Output Parameters: 63777623264SMatthew G. Knepley + partSection - The PetscSection giving the division of points by partition 638f8987ae8SMichael Lange - partition - The list of points by partition 63977623264SMatthew G. Knepley 64077623264SMatthew G. Knepley Note: Instead of cells, points at a given height can be partitioned by calling PetscPartitionerSetPointHeight() 64177623264SMatthew G. Knepley 64277623264SMatthew G. Knepley Level: developer 64377623264SMatthew G. Knepley 64477623264SMatthew G. Knepley .seealso DMPlexDistribute(), PetscPartitionerSetPointHeight(), PetscPartitionerCreate() 6454b15ede2SMatthew G. Knepley @*/ 646f8987ae8SMichael Lange PetscErrorCode PetscPartitionerPartition(PetscPartitioner part, DM dm, PetscSection partSection, IS *partition) 64777623264SMatthew G. Knepley { 64877623264SMatthew G. Knepley PetscMPIInt size; 64977623264SMatthew G. Knepley PetscErrorCode ierr; 65077623264SMatthew G. Knepley 65177623264SMatthew G. Knepley PetscFunctionBegin; 65277623264SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 65377623264SMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 2); 65477623264SMatthew G. Knepley PetscValidHeaderSpecific(partSection, PETSC_SECTION_CLASSID, 4); 65577623264SMatthew G. Knepley PetscValidPointer(partition, 5); 65677623264SMatthew G. Knepley ierr = MPI_Comm_size(PetscObjectComm((PetscObject) part), &size);CHKERRQ(ierr); 65777623264SMatthew G. Knepley if (size == 1) { 65877623264SMatthew G. Knepley PetscInt *points; 65977623264SMatthew G. Knepley PetscInt cStart, cEnd, c; 66077623264SMatthew G. Knepley 66177623264SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, part->height, &cStart, &cEnd);CHKERRQ(ierr); 66277623264SMatthew G. Knepley ierr = PetscSectionSetChart(partSection, 0, size);CHKERRQ(ierr); 66377623264SMatthew G. Knepley ierr = PetscSectionSetDof(partSection, 0, cEnd-cStart);CHKERRQ(ierr); 66477623264SMatthew G. Knepley ierr = PetscSectionSetUp(partSection);CHKERRQ(ierr); 66577623264SMatthew G. Knepley ierr = PetscMalloc1(cEnd-cStart, &points);CHKERRQ(ierr); 66677623264SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) points[c] = c; 66777623264SMatthew G. Knepley ierr = ISCreateGeneral(PetscObjectComm((PetscObject) part), cEnd-cStart, points, PETSC_OWN_POINTER, partition);CHKERRQ(ierr); 66877623264SMatthew G. Knepley PetscFunctionReturn(0); 66977623264SMatthew G. Knepley } 67077623264SMatthew G. Knepley if (part->height == 0) { 67177623264SMatthew G. Knepley PetscInt numVertices; 67277623264SMatthew G. Knepley PetscInt *start = NULL; 67377623264SMatthew G. Knepley PetscInt *adjacency = NULL; 6743fa7752dSToby Isaac IS globalNumbering; 67577623264SMatthew G. Knepley 6763fa7752dSToby Isaac ierr = DMPlexCreatePartitionerGraph(dm, 0, &numVertices, &start, &adjacency, &globalNumbering);CHKERRQ(ierr); 67777623264SMatthew G. Knepley if (!part->ops->partition) SETERRQ(PetscObjectComm((PetscObject) part), PETSC_ERR_ARG_WRONGSTATE, "PetscPartitioner has no type"); 67877623264SMatthew G. Knepley ierr = (*part->ops->partition)(part, dm, size, numVertices, start, adjacency, partSection, partition);CHKERRQ(ierr); 67977623264SMatthew G. Knepley ierr = PetscFree(start);CHKERRQ(ierr); 68077623264SMatthew G. Knepley ierr = PetscFree(adjacency);CHKERRQ(ierr); 6813fa7752dSToby Isaac if (globalNumbering) { /* partition is wrt global unique numbering: change this to be wrt local numbering */ 6823fa7752dSToby Isaac const PetscInt *globalNum; 6833fa7752dSToby Isaac const PetscInt *partIdx; 6843fa7752dSToby Isaac PetscInt *map, cStart, cEnd; 6853fa7752dSToby Isaac PetscInt *adjusted, i, localSize, offset; 6863fa7752dSToby Isaac IS newPartition; 6873fa7752dSToby Isaac 6883fa7752dSToby Isaac ierr = ISGetLocalSize(*partition,&localSize);CHKERRQ(ierr); 6893fa7752dSToby Isaac ierr = PetscMalloc1(localSize,&adjusted);CHKERRQ(ierr); 6903fa7752dSToby Isaac ierr = ISGetIndices(globalNumbering,&globalNum);CHKERRQ(ierr); 6913fa7752dSToby Isaac ierr = ISGetIndices(*partition,&partIdx);CHKERRQ(ierr); 6923fa7752dSToby Isaac ierr = PetscMalloc1(localSize,&map);CHKERRQ(ierr); 6933fa7752dSToby Isaac ierr = DMPlexGetHeightStratum(dm, part->height, &cStart, &cEnd);CHKERRQ(ierr); 6943fa7752dSToby Isaac for (i = cStart, offset = 0; i < cEnd; i++) { 6953fa7752dSToby Isaac if (globalNum[i - cStart] >= 0) map[offset++] = i; 6963fa7752dSToby Isaac } 6973fa7752dSToby Isaac for (i = 0; i < localSize; i++) { 6983fa7752dSToby Isaac adjusted[i] = map[partIdx[i]]; 6993fa7752dSToby Isaac } 7003fa7752dSToby Isaac ierr = PetscFree(map);CHKERRQ(ierr); 7013fa7752dSToby Isaac ierr = ISRestoreIndices(*partition,&partIdx);CHKERRQ(ierr); 7023fa7752dSToby Isaac ierr = ISRestoreIndices(globalNumbering,&globalNum);CHKERRQ(ierr); 7033fa7752dSToby Isaac ierr = ISCreateGeneral(PETSC_COMM_SELF,localSize,adjusted,PETSC_OWN_POINTER,&newPartition);CHKERRQ(ierr); 7043fa7752dSToby Isaac ierr = ISDestroy(&globalNumbering);CHKERRQ(ierr); 7053fa7752dSToby Isaac ierr = ISDestroy(partition);CHKERRQ(ierr); 7063fa7752dSToby Isaac *partition = newPartition; 7073fa7752dSToby Isaac } 70877623264SMatthew G. Knepley } else SETERRQ1(PetscObjectComm((PetscObject) part), PETSC_ERR_ARG_OUTOFRANGE, "Invalid height %D for points to partition", part->height); 709*2abdaa70SMatthew G. Knepley ierr = PetscPartitionerViewFromOptions(part, NULL, "-petscpartitioner_view");CHKERRQ(ierr); 71077623264SMatthew G. Knepley PetscFunctionReturn(0); 71177623264SMatthew G. Knepley } 71277623264SMatthew G. Knepley 713d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerDestroy_Shell(PetscPartitioner part) 71477623264SMatthew G. Knepley { 71577623264SMatthew G. Knepley PetscPartitioner_Shell *p = (PetscPartitioner_Shell *) part->data; 71677623264SMatthew G. Knepley PetscErrorCode ierr; 71777623264SMatthew G. Knepley 71877623264SMatthew G. Knepley PetscFunctionBegin; 71977623264SMatthew G. Knepley ierr = PetscSectionDestroy(&p->section);CHKERRQ(ierr); 72077623264SMatthew G. Knepley ierr = ISDestroy(&p->partition);CHKERRQ(ierr); 72177623264SMatthew G. Knepley ierr = PetscFree(p);CHKERRQ(ierr); 72277623264SMatthew G. Knepley PetscFunctionReturn(0); 72377623264SMatthew G. Knepley } 72477623264SMatthew G. Knepley 725d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerView_Shell_Ascii(PetscPartitioner part, PetscViewer viewer) 72677623264SMatthew G. Knepley { 727077101c0SMatthew G. Knepley PetscPartitioner_Shell *p = (PetscPartitioner_Shell *) part->data; 72877623264SMatthew G. Knepley PetscErrorCode ierr; 72977623264SMatthew G. Knepley 73077623264SMatthew G. Knepley PetscFunctionBegin; 731077101c0SMatthew G. Knepley if (p->random) { 732077101c0SMatthew G. Knepley ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr); 733077101c0SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(viewer, "using random partition\n");CHKERRQ(ierr); 734077101c0SMatthew G. Knepley ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr); 735077101c0SMatthew G. Knepley } 73677623264SMatthew G. Knepley PetscFunctionReturn(0); 73777623264SMatthew G. Knepley } 73877623264SMatthew G. Knepley 739d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerView_Shell(PetscPartitioner part, PetscViewer viewer) 74077623264SMatthew G. Knepley { 74177623264SMatthew G. Knepley PetscBool iascii; 74277623264SMatthew G. Knepley PetscErrorCode ierr; 74377623264SMatthew G. Knepley 74477623264SMatthew G. Knepley PetscFunctionBegin; 74577623264SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 74677623264SMatthew G. Knepley PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2); 74777623264SMatthew G. Knepley ierr = PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii);CHKERRQ(ierr); 74877623264SMatthew G. Knepley if (iascii) {ierr = PetscPartitionerView_Shell_Ascii(part, viewer);CHKERRQ(ierr);} 74977623264SMatthew G. Knepley PetscFunctionReturn(0); 75077623264SMatthew G. Knepley } 75177623264SMatthew G. Knepley 752d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerSetFromOptions_Shell(PetscOptionItems *PetscOptionsObject, PetscPartitioner part) 753077101c0SMatthew G. Knepley { 754077101c0SMatthew G. Knepley PetscPartitioner_Shell *p = (PetscPartitioner_Shell *) part->data; 755077101c0SMatthew G. Knepley PetscErrorCode ierr; 756077101c0SMatthew G. Knepley 757077101c0SMatthew G. Knepley PetscFunctionBegin; 758077101c0SMatthew G. Knepley ierr = PetscOptionsHead(PetscOptionsObject, "PetscPartitioner Shell Options");CHKERRQ(ierr); 759077101c0SMatthew G. Knepley ierr = PetscOptionsBool("-petscpartitioner_shell_random", "Use a random partition", "PetscPartitionerView", PETSC_FALSE, &p->random, NULL);CHKERRQ(ierr); 760077101c0SMatthew G. Knepley ierr = PetscOptionsTail();CHKERRQ(ierr); 761077101c0SMatthew G. Knepley PetscFunctionReturn(0); 762077101c0SMatthew G. Knepley } 763077101c0SMatthew G. Knepley 764d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerPartition_Shell(PetscPartitioner part, DM dm, PetscInt nparts, PetscInt numVertices, PetscInt start[], PetscInt adjacency[], PetscSection partSection, IS *partition) 76577623264SMatthew G. Knepley { 76677623264SMatthew G. Knepley PetscPartitioner_Shell *p = (PetscPartitioner_Shell *) part->data; 76777623264SMatthew G. Knepley PetscInt np; 76877623264SMatthew G. Knepley PetscErrorCode ierr; 76977623264SMatthew G. Knepley 77077623264SMatthew G. Knepley PetscFunctionBegin; 771077101c0SMatthew G. Knepley if (p->random) { 772077101c0SMatthew G. Knepley PetscRandom r; 773aa1d5631SMatthew G. Knepley PetscInt *sizes, *points, v, p; 774aa1d5631SMatthew G. Knepley PetscMPIInt rank; 775077101c0SMatthew G. Knepley 776aa1d5631SMatthew G. Knepley ierr = MPI_Comm_rank(PetscObjectComm((PetscObject) dm), &rank);CHKERRQ(ierr); 777077101c0SMatthew G. Knepley ierr = PetscRandomCreate(PETSC_COMM_SELF, &r);CHKERRQ(ierr); 778c717d290SMatthew G. Knepley ierr = PetscRandomSetInterval(r, 0.0, (PetscScalar) nparts);CHKERRQ(ierr); 779077101c0SMatthew G. Knepley ierr = PetscRandomSetFromOptions(r);CHKERRQ(ierr); 780077101c0SMatthew G. Knepley ierr = PetscCalloc2(nparts, &sizes, numVertices, &points);CHKERRQ(ierr); 781aa1d5631SMatthew G. Knepley for (v = 0; v < numVertices; ++v) {points[v] = v;} 782ac9a96f1SMichael Lange for (p = 0; p < nparts; ++p) {sizes[p] = numVertices/nparts + (PetscInt) (p < numVertices % nparts);} 783aa1d5631SMatthew G. Knepley for (v = numVertices-1; v > 0; --v) { 784077101c0SMatthew G. Knepley PetscReal val; 785aa1d5631SMatthew G. Knepley PetscInt w, tmp; 786077101c0SMatthew G. Knepley 787aa1d5631SMatthew G. Knepley ierr = PetscRandomSetInterval(r, 0.0, (PetscScalar) (v+1));CHKERRQ(ierr); 788077101c0SMatthew G. Knepley ierr = PetscRandomGetValueReal(r, &val);CHKERRQ(ierr); 789aa1d5631SMatthew G. Knepley w = PetscFloorReal(val); 790aa1d5631SMatthew G. Knepley tmp = points[v]; 791aa1d5631SMatthew G. Knepley points[v] = points[w]; 792aa1d5631SMatthew G. Knepley points[w] = tmp; 793077101c0SMatthew G. Knepley } 794077101c0SMatthew G. Knepley ierr = PetscRandomDestroy(&r);CHKERRQ(ierr); 795077101c0SMatthew G. Knepley ierr = PetscPartitionerShellSetPartition(part, nparts, sizes, points);CHKERRQ(ierr); 796077101c0SMatthew G. Knepley ierr = PetscFree2(sizes, points);CHKERRQ(ierr); 797077101c0SMatthew G. Knepley } 798c717d290SMatthew G. Knepley if (!p->section) SETERRQ(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_WRONG, "Shell partitioner information not provided. Please call PetscPartitionerShellSetPartition()"); 79977623264SMatthew G. Knepley ierr = PetscSectionGetChart(p->section, NULL, &np);CHKERRQ(ierr); 80077623264SMatthew G. Knepley if (nparts != np) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Number of requested partitions %d != configured partitions %d", nparts, np); 80177623264SMatthew G. Knepley ierr = ISGetLocalSize(p->partition, &np);CHKERRQ(ierr); 80277623264SMatthew G. Knepley if (numVertices != np) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Number of input vertices %d != configured vertices %d", numVertices, np); 8035680f57bSMatthew G. Knepley ierr = PetscSectionCopy(p->section, partSection);CHKERRQ(ierr); 80477623264SMatthew G. Knepley *partition = p->partition; 80577623264SMatthew G. Knepley ierr = PetscObjectReference((PetscObject) p->partition);CHKERRQ(ierr); 80677623264SMatthew G. Knepley PetscFunctionReturn(0); 80777623264SMatthew G. Knepley } 80877623264SMatthew G. Knepley 809d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerInitialize_Shell(PetscPartitioner part) 81077623264SMatthew G. Knepley { 81177623264SMatthew G. Knepley PetscFunctionBegin; 81277623264SMatthew G. Knepley part->ops->view = PetscPartitionerView_Shell; 813077101c0SMatthew G. Knepley part->ops->setfromoptions = PetscPartitionerSetFromOptions_Shell; 81477623264SMatthew G. Knepley part->ops->destroy = PetscPartitionerDestroy_Shell; 81577623264SMatthew G. Knepley part->ops->partition = PetscPartitionerPartition_Shell; 81677623264SMatthew G. Knepley PetscFunctionReturn(0); 81777623264SMatthew G. Knepley } 81877623264SMatthew G. Knepley 81977623264SMatthew G. Knepley /*MC 82077623264SMatthew G. Knepley PETSCPARTITIONERSHELL = "shell" - A PetscPartitioner object 82177623264SMatthew G. Knepley 82277623264SMatthew G. Knepley Level: intermediate 82377623264SMatthew G. Knepley 82477623264SMatthew G. Knepley .seealso: PetscPartitionerType, PetscPartitionerCreate(), PetscPartitionerSetType() 82577623264SMatthew G. Knepley M*/ 82677623264SMatthew G. Knepley 82777623264SMatthew G. Knepley PETSC_EXTERN PetscErrorCode PetscPartitionerCreate_Shell(PetscPartitioner part) 82877623264SMatthew G. Knepley { 82977623264SMatthew G. Knepley PetscPartitioner_Shell *p; 83077623264SMatthew G. Knepley PetscErrorCode ierr; 83177623264SMatthew G. Knepley 83277623264SMatthew G. Knepley PetscFunctionBegin; 83377623264SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 83477623264SMatthew G. Knepley ierr = PetscNewLog(part, &p);CHKERRQ(ierr); 83577623264SMatthew G. Knepley part->data = p; 83677623264SMatthew G. Knepley 83777623264SMatthew G. Knepley ierr = PetscPartitionerInitialize_Shell(part);CHKERRQ(ierr); 838077101c0SMatthew G. Knepley p->random = PETSC_FALSE; 83977623264SMatthew G. Knepley PetscFunctionReturn(0); 84077623264SMatthew G. Knepley } 84177623264SMatthew G. Knepley 8425680f57bSMatthew G. Knepley /*@C 8435680f57bSMatthew G. Knepley PetscPartitionerShellSetPartition - Set an artifical partition for a mesh 8445680f57bSMatthew G. Knepley 845077101c0SMatthew G. Knepley Collective on Part 8465680f57bSMatthew G. Knepley 8475680f57bSMatthew G. Knepley Input Parameters: 8485680f57bSMatthew G. Knepley + part - The PetscPartitioner 8499852e123SBarry Smith . size - The number of partitions 8509852e123SBarry Smith . sizes - array of size size (or NULL) providing the number of points in each partition 8519758bf69SToby Isaac - points - array of size sum(sizes) (may be NULL iff sizes is NULL), a permutation of the points that groups those assigned to each partition in order (i.e., partition 0 first, partition 1 next, etc.) 8525680f57bSMatthew G. Knepley 8535680f57bSMatthew G. Knepley Level: developer 8545680f57bSMatthew G. Knepley 855b7e49471SLawrence Mitchell Notes: 856b7e49471SLawrence Mitchell 857b7e49471SLawrence Mitchell It is safe to free the sizes and points arrays after use in this routine. 858b7e49471SLawrence Mitchell 8595680f57bSMatthew G. Knepley .seealso DMPlexDistribute(), PetscPartitionerCreate() 8605680f57bSMatthew G. Knepley @*/ 8619852e123SBarry Smith PetscErrorCode PetscPartitionerShellSetPartition(PetscPartitioner part, PetscInt size, const PetscInt sizes[], const PetscInt points[]) 8625680f57bSMatthew G. Knepley { 8635680f57bSMatthew G. Knepley PetscPartitioner_Shell *p = (PetscPartitioner_Shell *) part->data; 8645680f57bSMatthew G. Knepley PetscInt proc, numPoints; 8655680f57bSMatthew G. Knepley PetscErrorCode ierr; 8665680f57bSMatthew G. Knepley 8675680f57bSMatthew G. Knepley PetscFunctionBegin; 8685680f57bSMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 8695680f57bSMatthew G. Knepley if (sizes) {PetscValidPointer(sizes, 3);} 870c717d290SMatthew G. Knepley if (points) {PetscValidPointer(points, 4);} 8715680f57bSMatthew G. Knepley ierr = PetscSectionDestroy(&p->section);CHKERRQ(ierr); 8725680f57bSMatthew G. Knepley ierr = ISDestroy(&p->partition);CHKERRQ(ierr); 8735680f57bSMatthew G. Knepley ierr = PetscSectionCreate(PetscObjectComm((PetscObject) part), &p->section);CHKERRQ(ierr); 8749852e123SBarry Smith ierr = PetscSectionSetChart(p->section, 0, size);CHKERRQ(ierr); 8755680f57bSMatthew G. Knepley if (sizes) { 8769852e123SBarry Smith for (proc = 0; proc < size; ++proc) { 8775680f57bSMatthew G. Knepley ierr = PetscSectionSetDof(p->section, proc, sizes[proc]);CHKERRQ(ierr); 8785680f57bSMatthew G. Knepley } 8795680f57bSMatthew G. Knepley } 8805680f57bSMatthew G. Knepley ierr = PetscSectionSetUp(p->section);CHKERRQ(ierr); 8815680f57bSMatthew G. Knepley ierr = PetscSectionGetStorageSize(p->section, &numPoints);CHKERRQ(ierr); 8825680f57bSMatthew G. Knepley ierr = ISCreateGeneral(PetscObjectComm((PetscObject) part), numPoints, points, PETSC_COPY_VALUES, &p->partition);CHKERRQ(ierr); 8835680f57bSMatthew G. Knepley PetscFunctionReturn(0); 8845680f57bSMatthew G. Knepley } 8855680f57bSMatthew G. Knepley 886077101c0SMatthew G. Knepley /*@ 887077101c0SMatthew G. Knepley PetscPartitionerShellSetRandom - Set the flag to use a random partition 888077101c0SMatthew G. Knepley 889077101c0SMatthew G. Knepley Collective on Part 890077101c0SMatthew G. Knepley 891077101c0SMatthew G. Knepley Input Parameters: 892077101c0SMatthew G. Knepley + part - The PetscPartitioner 893077101c0SMatthew G. Knepley - random - The flag to use a random partition 894077101c0SMatthew G. Knepley 895077101c0SMatthew G. Knepley Level: intermediate 896077101c0SMatthew G. Knepley 897077101c0SMatthew G. Knepley .seealso PetscPartitionerShellGetRandom(), PetscPartitionerCreate() 898077101c0SMatthew G. Knepley @*/ 899077101c0SMatthew G. Knepley PetscErrorCode PetscPartitionerShellSetRandom(PetscPartitioner part, PetscBool random) 900077101c0SMatthew G. Knepley { 901077101c0SMatthew G. Knepley PetscPartitioner_Shell *p = (PetscPartitioner_Shell *) part->data; 902077101c0SMatthew G. Knepley 903077101c0SMatthew G. Knepley PetscFunctionBegin; 904077101c0SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 905077101c0SMatthew G. Knepley p->random = random; 906077101c0SMatthew G. Knepley PetscFunctionReturn(0); 907077101c0SMatthew G. Knepley } 908077101c0SMatthew G. Knepley 909077101c0SMatthew G. Knepley /*@ 910077101c0SMatthew G. Knepley PetscPartitionerShellGetRandom - get the flag to use a random partition 911077101c0SMatthew G. Knepley 912077101c0SMatthew G. Knepley Collective on Part 913077101c0SMatthew G. Knepley 914077101c0SMatthew G. Knepley Input Parameter: 915077101c0SMatthew G. Knepley . part - The PetscPartitioner 916077101c0SMatthew G. Knepley 917077101c0SMatthew G. Knepley Output Parameter 918077101c0SMatthew G. Knepley . random - The flag to use a random partition 919077101c0SMatthew G. Knepley 920077101c0SMatthew G. Knepley Level: intermediate 921077101c0SMatthew G. Knepley 922077101c0SMatthew G. Knepley .seealso PetscPartitionerShellSetRandom(), PetscPartitionerCreate() 923077101c0SMatthew G. Knepley @*/ 924077101c0SMatthew G. Knepley PetscErrorCode PetscPartitionerShellGetRandom(PetscPartitioner part, PetscBool *random) 925077101c0SMatthew G. Knepley { 926077101c0SMatthew G. Knepley PetscPartitioner_Shell *p = (PetscPartitioner_Shell *) part->data; 927077101c0SMatthew G. Knepley 928077101c0SMatthew G. Knepley PetscFunctionBegin; 929077101c0SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 930077101c0SMatthew G. Knepley PetscValidPointer(random, 2); 931077101c0SMatthew G. Knepley *random = p->random; 932077101c0SMatthew G. Knepley PetscFunctionReturn(0); 933077101c0SMatthew G. Knepley } 934077101c0SMatthew G. Knepley 935d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerDestroy_Simple(PetscPartitioner part) 936555a9cf8SMatthew G. Knepley { 937555a9cf8SMatthew G. Knepley PetscPartitioner_Simple *p = (PetscPartitioner_Simple *) part->data; 938555a9cf8SMatthew G. Knepley PetscErrorCode ierr; 939555a9cf8SMatthew G. Knepley 940555a9cf8SMatthew G. Knepley PetscFunctionBegin; 941555a9cf8SMatthew G. Knepley ierr = PetscFree(p);CHKERRQ(ierr); 942555a9cf8SMatthew G. Knepley PetscFunctionReturn(0); 943555a9cf8SMatthew G. Knepley } 944555a9cf8SMatthew G. Knepley 945d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerView_Simple_Ascii(PetscPartitioner part, PetscViewer viewer) 946555a9cf8SMatthew G. Knepley { 947555a9cf8SMatthew G. Knepley PetscFunctionBegin; 948555a9cf8SMatthew G. Knepley PetscFunctionReturn(0); 949555a9cf8SMatthew G. Knepley } 950555a9cf8SMatthew G. Knepley 951d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerView_Simple(PetscPartitioner part, PetscViewer viewer) 952555a9cf8SMatthew G. Knepley { 953555a9cf8SMatthew G. Knepley PetscBool iascii; 954555a9cf8SMatthew G. Knepley PetscErrorCode ierr; 955555a9cf8SMatthew G. Knepley 956555a9cf8SMatthew G. Knepley PetscFunctionBegin; 957555a9cf8SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 958555a9cf8SMatthew G. Knepley PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2); 959555a9cf8SMatthew G. Knepley ierr = PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii);CHKERRQ(ierr); 960555a9cf8SMatthew G. Knepley if (iascii) {ierr = PetscPartitionerView_Simple_Ascii(part, viewer);CHKERRQ(ierr);} 961555a9cf8SMatthew G. Knepley PetscFunctionReturn(0); 962555a9cf8SMatthew G. Knepley } 963555a9cf8SMatthew G. Knepley 964d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerPartition_Simple(PetscPartitioner part, DM dm, PetscInt nparts, PetscInt numVertices, PetscInt start[], PetscInt adjacency[], PetscSection partSection, IS *partition) 965555a9cf8SMatthew G. Knepley { 966cead94edSToby Isaac MPI_Comm comm; 967555a9cf8SMatthew G. Knepley PetscInt np; 968cead94edSToby Isaac PetscMPIInt size; 969555a9cf8SMatthew G. Knepley PetscErrorCode ierr; 970555a9cf8SMatthew G. Knepley 971555a9cf8SMatthew G. Knepley PetscFunctionBegin; 972cead94edSToby Isaac comm = PetscObjectComm((PetscObject)dm); 973cead94edSToby Isaac ierr = MPI_Comm_size(comm,&size);CHKERRQ(ierr); 974555a9cf8SMatthew G. Knepley ierr = PetscSectionSetChart(partSection, 0, nparts);CHKERRQ(ierr); 975555a9cf8SMatthew G. Knepley ierr = ISCreateStride(PETSC_COMM_SELF, numVertices, 0, 1, partition);CHKERRQ(ierr); 976cead94edSToby Isaac if (size == 1) { 977cead94edSToby Isaac for (np = 0; np < nparts; ++np) {ierr = PetscSectionSetDof(partSection, np, numVertices/nparts + ((numVertices % nparts) > np));CHKERRQ(ierr);} 978cead94edSToby Isaac } 979cead94edSToby Isaac else { 980cead94edSToby Isaac PetscMPIInt rank; 981cead94edSToby Isaac PetscInt nvGlobal, *offsets, myFirst, myLast; 982cead94edSToby Isaac 983a679a563SToby Isaac ierr = PetscMalloc1(size+1,&offsets);CHKERRQ(ierr); 984cead94edSToby Isaac offsets[0] = 0; 985cead94edSToby Isaac ierr = MPI_Allgather(&numVertices,1,MPIU_INT,&offsets[1],1,MPIU_INT,comm);CHKERRQ(ierr); 986cead94edSToby Isaac for (np = 2; np <= size; np++) { 987cead94edSToby Isaac offsets[np] += offsets[np-1]; 988cead94edSToby Isaac } 989cead94edSToby Isaac nvGlobal = offsets[size]; 990cead94edSToby Isaac ierr = MPI_Comm_rank(comm,&rank);CHKERRQ(ierr); 991cead94edSToby Isaac myFirst = offsets[rank]; 992cead94edSToby Isaac myLast = offsets[rank + 1] - 1; 993cead94edSToby Isaac ierr = PetscFree(offsets);CHKERRQ(ierr); 994cead94edSToby Isaac if (numVertices) { 995cead94edSToby Isaac PetscInt firstPart = 0, firstLargePart = 0; 996cead94edSToby Isaac PetscInt lastPart = 0, lastLargePart = 0; 997cead94edSToby Isaac PetscInt rem = nvGlobal % nparts; 998cead94edSToby Isaac PetscInt pSmall = nvGlobal/nparts; 999cead94edSToby Isaac PetscInt pBig = nvGlobal/nparts + 1; 1000cead94edSToby Isaac 1001cead94edSToby Isaac 1002cead94edSToby Isaac if (rem) { 1003cead94edSToby Isaac firstLargePart = myFirst / pBig; 1004cead94edSToby Isaac lastLargePart = myLast / pBig; 1005cead94edSToby Isaac 1006cead94edSToby Isaac if (firstLargePart < rem) { 1007cead94edSToby Isaac firstPart = firstLargePart; 1008cead94edSToby Isaac } 1009cead94edSToby Isaac else { 1010cead94edSToby Isaac firstPart = rem + (myFirst - (rem * pBig)) / pSmall; 1011cead94edSToby Isaac } 1012cead94edSToby Isaac if (lastLargePart < rem) { 1013cead94edSToby Isaac lastPart = lastLargePart; 1014cead94edSToby Isaac } 1015cead94edSToby Isaac else { 1016cead94edSToby Isaac lastPart = rem + (myLast - (rem * pBig)) / pSmall; 1017cead94edSToby Isaac } 1018cead94edSToby Isaac } 1019cead94edSToby Isaac else { 1020cead94edSToby Isaac firstPart = myFirst / (nvGlobal/nparts); 1021cead94edSToby Isaac lastPart = myLast / (nvGlobal/nparts); 1022cead94edSToby Isaac } 1023cead94edSToby Isaac 1024cead94edSToby Isaac for (np = firstPart; np <= lastPart; np++) { 1025cead94edSToby Isaac PetscInt PartStart = np * (nvGlobal/nparts) + PetscMin(nvGlobal % nparts,np); 1026cead94edSToby Isaac PetscInt PartEnd = (np+1) * (nvGlobal/nparts) + PetscMin(nvGlobal % nparts,np+1); 1027cead94edSToby Isaac 1028cead94edSToby Isaac PartStart = PetscMax(PartStart,myFirst); 1029cead94edSToby Isaac PartEnd = PetscMin(PartEnd,myLast+1); 1030cead94edSToby Isaac ierr = PetscSectionSetDof(partSection,np,PartEnd-PartStart);CHKERRQ(ierr); 1031cead94edSToby Isaac } 1032cead94edSToby Isaac } 1033cead94edSToby Isaac } 1034cead94edSToby Isaac ierr = PetscSectionSetUp(partSection);CHKERRQ(ierr); 1035555a9cf8SMatthew G. Knepley PetscFunctionReturn(0); 1036555a9cf8SMatthew G. Knepley } 1037555a9cf8SMatthew G. Knepley 1038d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerInitialize_Simple(PetscPartitioner part) 1039555a9cf8SMatthew G. Knepley { 1040555a9cf8SMatthew G. Knepley PetscFunctionBegin; 1041555a9cf8SMatthew G. Knepley part->ops->view = PetscPartitionerView_Simple; 1042555a9cf8SMatthew G. Knepley part->ops->destroy = PetscPartitionerDestroy_Simple; 1043555a9cf8SMatthew G. Knepley part->ops->partition = PetscPartitionerPartition_Simple; 1044555a9cf8SMatthew G. Knepley PetscFunctionReturn(0); 1045555a9cf8SMatthew G. Knepley } 1046555a9cf8SMatthew G. Knepley 1047555a9cf8SMatthew G. Knepley /*MC 1048555a9cf8SMatthew G. Knepley PETSCPARTITIONERSIMPLE = "simple" - A PetscPartitioner object 1049555a9cf8SMatthew G. Knepley 1050555a9cf8SMatthew G. Knepley Level: intermediate 1051555a9cf8SMatthew G. Knepley 1052555a9cf8SMatthew G. Knepley .seealso: PetscPartitionerType, PetscPartitionerCreate(), PetscPartitionerSetType() 1053555a9cf8SMatthew G. Knepley M*/ 1054555a9cf8SMatthew G. Knepley 1055555a9cf8SMatthew G. Knepley PETSC_EXTERN PetscErrorCode PetscPartitionerCreate_Simple(PetscPartitioner part) 1056555a9cf8SMatthew G. Knepley { 1057555a9cf8SMatthew G. Knepley PetscPartitioner_Simple *p; 1058555a9cf8SMatthew G. Knepley PetscErrorCode ierr; 1059555a9cf8SMatthew G. Knepley 1060555a9cf8SMatthew G. Knepley PetscFunctionBegin; 1061555a9cf8SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 1062555a9cf8SMatthew G. Knepley ierr = PetscNewLog(part, &p);CHKERRQ(ierr); 1063555a9cf8SMatthew G. Knepley part->data = p; 1064555a9cf8SMatthew G. Knepley 1065555a9cf8SMatthew G. Knepley ierr = PetscPartitionerInitialize_Simple(part);CHKERRQ(ierr); 1066555a9cf8SMatthew G. Knepley PetscFunctionReturn(0); 1067555a9cf8SMatthew G. Knepley } 1068555a9cf8SMatthew G. Knepley 1069d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerDestroy_Gather(PetscPartitioner part) 1070dae52e14SToby Isaac { 1071dae52e14SToby Isaac PetscPartitioner_Gather *p = (PetscPartitioner_Gather *) part->data; 1072dae52e14SToby Isaac PetscErrorCode ierr; 1073dae52e14SToby Isaac 1074dae52e14SToby Isaac PetscFunctionBegin; 1075dae52e14SToby Isaac ierr = PetscFree(p);CHKERRQ(ierr); 1076dae52e14SToby Isaac PetscFunctionReturn(0); 1077dae52e14SToby Isaac } 1078dae52e14SToby Isaac 1079d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerView_Gather_Ascii(PetscPartitioner part, PetscViewer viewer) 1080dae52e14SToby Isaac { 1081dae52e14SToby Isaac PetscFunctionBegin; 1082dae52e14SToby Isaac PetscFunctionReturn(0); 1083dae52e14SToby Isaac } 1084dae52e14SToby Isaac 1085d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerView_Gather(PetscPartitioner part, PetscViewer viewer) 1086dae52e14SToby Isaac { 1087dae52e14SToby Isaac PetscBool iascii; 1088dae52e14SToby Isaac PetscErrorCode ierr; 1089dae52e14SToby Isaac 1090dae52e14SToby Isaac PetscFunctionBegin; 1091dae52e14SToby Isaac PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 1092dae52e14SToby Isaac PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2); 1093dae52e14SToby Isaac ierr = PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii);CHKERRQ(ierr); 1094dae52e14SToby Isaac if (iascii) {ierr = PetscPartitionerView_Gather_Ascii(part, viewer);CHKERRQ(ierr);} 1095dae52e14SToby Isaac PetscFunctionReturn(0); 1096dae52e14SToby Isaac } 1097dae52e14SToby Isaac 1098d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerPartition_Gather(PetscPartitioner part, DM dm, PetscInt nparts, PetscInt numVertices, PetscInt start[], PetscInt adjacency[], PetscSection partSection, IS *partition) 1099dae52e14SToby Isaac { 1100dae52e14SToby Isaac PetscInt np; 1101dae52e14SToby Isaac PetscErrorCode ierr; 1102dae52e14SToby Isaac 1103dae52e14SToby Isaac PetscFunctionBegin; 1104dae52e14SToby Isaac ierr = PetscSectionSetChart(partSection, 0, nparts);CHKERRQ(ierr); 1105dae52e14SToby Isaac ierr = ISCreateStride(PETSC_COMM_SELF, numVertices, 0, 1, partition);CHKERRQ(ierr); 1106dae52e14SToby Isaac ierr = PetscSectionSetDof(partSection,0,numVertices);CHKERRQ(ierr); 1107dae52e14SToby Isaac for (np = 1; np < nparts; ++np) {ierr = PetscSectionSetDof(partSection, np, 0);CHKERRQ(ierr);} 1108dae52e14SToby Isaac ierr = PetscSectionSetUp(partSection);CHKERRQ(ierr); 1109dae52e14SToby Isaac PetscFunctionReturn(0); 1110dae52e14SToby Isaac } 1111dae52e14SToby Isaac 1112d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerInitialize_Gather(PetscPartitioner part) 1113dae52e14SToby Isaac { 1114dae52e14SToby Isaac PetscFunctionBegin; 1115dae52e14SToby Isaac part->ops->view = PetscPartitionerView_Gather; 1116dae52e14SToby Isaac part->ops->destroy = PetscPartitionerDestroy_Gather; 1117dae52e14SToby Isaac part->ops->partition = PetscPartitionerPartition_Gather; 1118dae52e14SToby Isaac PetscFunctionReturn(0); 1119dae52e14SToby Isaac } 1120dae52e14SToby Isaac 1121dae52e14SToby Isaac /*MC 1122dae52e14SToby Isaac PETSCPARTITIONERGATHER = "gather" - A PetscPartitioner object 1123dae52e14SToby Isaac 1124dae52e14SToby Isaac Level: intermediate 1125dae52e14SToby Isaac 1126dae52e14SToby Isaac .seealso: PetscPartitionerType, PetscPartitionerCreate(), PetscPartitionerSetType() 1127dae52e14SToby Isaac M*/ 1128dae52e14SToby Isaac 1129dae52e14SToby Isaac PETSC_EXTERN PetscErrorCode PetscPartitionerCreate_Gather(PetscPartitioner part) 1130dae52e14SToby Isaac { 1131dae52e14SToby Isaac PetscPartitioner_Gather *p; 1132dae52e14SToby Isaac PetscErrorCode ierr; 1133dae52e14SToby Isaac 1134dae52e14SToby Isaac PetscFunctionBegin; 1135dae52e14SToby Isaac PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 1136dae52e14SToby Isaac ierr = PetscNewLog(part, &p);CHKERRQ(ierr); 1137dae52e14SToby Isaac part->data = p; 1138dae52e14SToby Isaac 1139dae52e14SToby Isaac ierr = PetscPartitionerInitialize_Gather(part);CHKERRQ(ierr); 1140dae52e14SToby Isaac PetscFunctionReturn(0); 1141dae52e14SToby Isaac } 1142dae52e14SToby Isaac 1143dae52e14SToby Isaac 1144d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerDestroy_Chaco(PetscPartitioner part) 114577623264SMatthew G. Knepley { 114677623264SMatthew G. Knepley PetscPartitioner_Chaco *p = (PetscPartitioner_Chaco *) part->data; 114777623264SMatthew G. Knepley PetscErrorCode ierr; 114877623264SMatthew G. Knepley 114977623264SMatthew G. Knepley PetscFunctionBegin; 115077623264SMatthew G. Knepley ierr = PetscFree(p);CHKERRQ(ierr); 115177623264SMatthew G. Knepley PetscFunctionReturn(0); 115277623264SMatthew G. Knepley } 115377623264SMatthew G. Knepley 1154d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerView_Chaco_Ascii(PetscPartitioner part, PetscViewer viewer) 115577623264SMatthew G. Knepley { 115677623264SMatthew G. Knepley PetscFunctionBegin; 115777623264SMatthew G. Knepley PetscFunctionReturn(0); 115877623264SMatthew G. Knepley } 115977623264SMatthew G. Knepley 1160d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerView_Chaco(PetscPartitioner part, PetscViewer viewer) 116177623264SMatthew G. Knepley { 116277623264SMatthew G. Knepley PetscBool iascii; 116377623264SMatthew G. Knepley PetscErrorCode ierr; 116477623264SMatthew G. Knepley 116577623264SMatthew G. Knepley PetscFunctionBegin; 116677623264SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 116777623264SMatthew G. Knepley PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2); 116877623264SMatthew G. Knepley ierr = PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii);CHKERRQ(ierr); 116977623264SMatthew G. Knepley if (iascii) {ierr = PetscPartitionerView_Chaco_Ascii(part, viewer);CHKERRQ(ierr);} 117077623264SMatthew G. Knepley PetscFunctionReturn(0); 117177623264SMatthew G. Knepley } 117277623264SMatthew G. Knepley 117370034214SMatthew G. Knepley #if defined(PETSC_HAVE_CHACO) 117470034214SMatthew G. Knepley #if defined(PETSC_HAVE_UNISTD_H) 117570034214SMatthew G. Knepley #include <unistd.h> 117670034214SMatthew G. Knepley #endif 117711d1e910SBarry Smith #if defined(PETSC_HAVE_CHACO_INT_ASSIGNMENT) 117811d1e910SBarry Smith #include <chaco.h> 117911d1e910SBarry Smith #else 118011d1e910SBarry Smith /* Older versions of Chaco do not have an include file */ 118170034214SMatthew G. Knepley PETSC_EXTERN int interface(int nvtxs, int *start, int *adjacency, int *vwgts, 118270034214SMatthew G. Knepley float *ewgts, float *x, float *y, float *z, char *outassignname, 118370034214SMatthew G. Knepley char *outfilename, short *assignment, int architecture, int ndims_tot, 118470034214SMatthew G. Knepley int mesh_dims[3], double *goal, int global_method, int local_method, 118570034214SMatthew G. Knepley int rqi_flag, int vmax, int ndims, double eigtol, long seed); 118611d1e910SBarry Smith #endif 118770034214SMatthew G. Knepley extern int FREE_GRAPH; 118877623264SMatthew G. Knepley #endif 118970034214SMatthew G. Knepley 1190d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerPartition_Chaco(PetscPartitioner part, DM dm, PetscInt nparts, PetscInt numVertices, PetscInt start[], PetscInt adjacency[], PetscSection partSection, IS *partition) 119170034214SMatthew G. Knepley { 119277623264SMatthew G. Knepley #if defined(PETSC_HAVE_CHACO) 119370034214SMatthew G. Knepley enum {DEFAULT_METHOD = 1, INERTIAL_METHOD = 3}; 119470034214SMatthew G. Knepley MPI_Comm comm; 119570034214SMatthew G. Knepley int nvtxs = numVertices; /* number of vertices in full graph */ 119670034214SMatthew G. Knepley int *vwgts = NULL; /* weights for all vertices */ 119770034214SMatthew G. Knepley float *ewgts = NULL; /* weights for all edges */ 119870034214SMatthew G. Knepley float *x = NULL, *y = NULL, *z = NULL; /* coordinates for inertial method */ 119970034214SMatthew G. Knepley char *outassignname = NULL; /* name of assignment output file */ 120070034214SMatthew G. Knepley char *outfilename = NULL; /* output file name */ 120170034214SMatthew G. Knepley int architecture = 1; /* 0 => hypercube, d => d-dimensional mesh */ 120270034214SMatthew G. Knepley int ndims_tot = 0; /* total number of cube dimensions to divide */ 120370034214SMatthew G. Knepley int mesh_dims[3]; /* dimensions of mesh of processors */ 120470034214SMatthew G. Knepley double *goal = NULL; /* desired set sizes for each set */ 120570034214SMatthew G. Knepley int global_method = 1; /* global partitioning algorithm */ 120670034214SMatthew G. Knepley int local_method = 1; /* local partitioning algorithm */ 120770034214SMatthew G. Knepley int rqi_flag = 0; /* should I use RQI/Symmlq eigensolver? */ 120870034214SMatthew G. Knepley int vmax = 200; /* how many vertices to coarsen down to? */ 120970034214SMatthew G. Knepley int ndims = 1; /* number of eigenvectors (2^d sets) */ 121070034214SMatthew G. Knepley double eigtol = 0.001; /* tolerance on eigenvectors */ 121170034214SMatthew G. Knepley long seed = 123636512; /* for random graph mutations */ 121211d1e910SBarry Smith #if defined(PETSC_HAVE_CHACO_INT_ASSIGNMENT) 121311d1e910SBarry Smith int *assignment; /* Output partition */ 121411d1e910SBarry Smith #else 121570034214SMatthew G. Knepley short int *assignment; /* Output partition */ 121611d1e910SBarry Smith #endif 121770034214SMatthew G. Knepley int fd_stdout, fd_pipe[2]; 121870034214SMatthew G. Knepley PetscInt *points; 121970034214SMatthew G. Knepley int i, v, p; 122070034214SMatthew G. Knepley PetscErrorCode ierr; 122170034214SMatthew G. Knepley 122270034214SMatthew G. Knepley PetscFunctionBegin; 122370034214SMatthew G. Knepley ierr = PetscObjectGetComm((PetscObject)dm,&comm);CHKERRQ(ierr); 122407ed3857SLisandro Dalcin #if defined (PETSC_USE_DEBUG) 122507ed3857SLisandro Dalcin { 122607ed3857SLisandro Dalcin int ival,isum; 122707ed3857SLisandro Dalcin PetscBool distributed; 122807ed3857SLisandro Dalcin 122907ed3857SLisandro Dalcin ival = (numVertices > 0); 123007ed3857SLisandro Dalcin ierr = MPI_Allreduce(&ival, &isum, 1, MPI_INT, MPI_SUM, comm);CHKERRQ(ierr); 123107ed3857SLisandro Dalcin distributed = (isum > 1) ? PETSC_TRUE : PETSC_FALSE; 123207ed3857SLisandro Dalcin if (distributed) SETERRQ(comm, PETSC_ERR_SUP, "Chaco cannot partition a distributed graph"); 123307ed3857SLisandro Dalcin } 123407ed3857SLisandro Dalcin #endif 123570034214SMatthew G. Knepley if (!numVertices) { 123677623264SMatthew G. Knepley ierr = PetscSectionSetChart(partSection, 0, nparts);CHKERRQ(ierr); 123777623264SMatthew G. Knepley ierr = PetscSectionSetUp(partSection);CHKERRQ(ierr); 123870034214SMatthew G. Knepley ierr = ISCreateGeneral(comm, 0, NULL, PETSC_OWN_POINTER, partition);CHKERRQ(ierr); 123970034214SMatthew G. Knepley PetscFunctionReturn(0); 124070034214SMatthew G. Knepley } 124170034214SMatthew G. Knepley FREE_GRAPH = 0; /* Do not let Chaco free my memory */ 124270034214SMatthew G. Knepley for (i = 0; i < start[numVertices]; ++i) ++adjacency[i]; 124370034214SMatthew G. Knepley 124470034214SMatthew G. Knepley if (global_method == INERTIAL_METHOD) { 124570034214SMatthew G. Knepley /* manager.createCellCoordinates(nvtxs, &x, &y, &z); */ 124670034214SMatthew G. Knepley SETERRQ(comm, PETSC_ERR_SUP, "Inertial partitioning not yet supported"); 124770034214SMatthew G. Knepley } 124877623264SMatthew G. Knepley mesh_dims[0] = nparts; 124970034214SMatthew G. Knepley mesh_dims[1] = 1; 125070034214SMatthew G. Knepley mesh_dims[2] = 1; 125170034214SMatthew G. Knepley ierr = PetscMalloc1(nvtxs, &assignment);CHKERRQ(ierr); 125270034214SMatthew G. Knepley /* Chaco outputs to stdout. We redirect this to a buffer. */ 125370034214SMatthew G. Knepley /* TODO: check error codes for UNIX calls */ 125470034214SMatthew G. Knepley #if defined(PETSC_HAVE_UNISTD_H) 125570034214SMatthew G. Knepley { 125670034214SMatthew G. Knepley int piperet; 125770034214SMatthew G. Knepley piperet = pipe(fd_pipe); 125870034214SMatthew G. Knepley if (piperet) SETERRQ(comm,PETSC_ERR_SYS,"Could not create pipe"); 125970034214SMatthew G. Knepley fd_stdout = dup(1); 126070034214SMatthew G. Knepley close(1); 126170034214SMatthew G. Knepley dup2(fd_pipe[1], 1); 126270034214SMatthew G. Knepley } 126370034214SMatthew G. Knepley #endif 126470034214SMatthew G. Knepley ierr = interface(nvtxs, (int*) start, (int*) adjacency, vwgts, ewgts, x, y, z, outassignname, outfilename, 126570034214SMatthew G. Knepley assignment, architecture, ndims_tot, mesh_dims, goal, global_method, local_method, rqi_flag, 126670034214SMatthew G. Knepley vmax, ndims, eigtol, seed); 126770034214SMatthew G. Knepley #if defined(PETSC_HAVE_UNISTD_H) 126870034214SMatthew G. Knepley { 126970034214SMatthew G. Knepley char msgLog[10000]; 127070034214SMatthew G. Knepley int count; 127170034214SMatthew G. Knepley 127270034214SMatthew G. Knepley fflush(stdout); 127370034214SMatthew G. Knepley count = read(fd_pipe[0], msgLog, (10000-1)*sizeof(char)); 127470034214SMatthew G. Knepley if (count < 0) count = 0; 127570034214SMatthew G. Knepley msgLog[count] = 0; 127670034214SMatthew G. Knepley close(1); 127770034214SMatthew G. Knepley dup2(fd_stdout, 1); 127870034214SMatthew G. Knepley close(fd_stdout); 127970034214SMatthew G. Knepley close(fd_pipe[0]); 128070034214SMatthew G. Knepley close(fd_pipe[1]); 128170034214SMatthew G. Knepley if (ierr) SETERRQ1(comm, PETSC_ERR_LIB, "Error in Chaco library: %s", msgLog); 128270034214SMatthew G. Knepley } 128307ed3857SLisandro Dalcin #else 128407ed3857SLisandro Dalcin if (ierr) SETERRQ1(comm, PETSC_ERR_LIB, "Error in Chaco library: %s", "error in stdout"); 128570034214SMatthew G. Knepley #endif 128670034214SMatthew G. Knepley /* Convert to PetscSection+IS */ 128777623264SMatthew G. Knepley ierr = PetscSectionSetChart(partSection, 0, nparts);CHKERRQ(ierr); 128870034214SMatthew G. Knepley for (v = 0; v < nvtxs; ++v) { 128977623264SMatthew G. Knepley ierr = PetscSectionAddDof(partSection, assignment[v], 1);CHKERRQ(ierr); 129070034214SMatthew G. Knepley } 129177623264SMatthew G. Knepley ierr = PetscSectionSetUp(partSection);CHKERRQ(ierr); 129270034214SMatthew G. Knepley ierr = PetscMalloc1(nvtxs, &points);CHKERRQ(ierr); 129377623264SMatthew G. Knepley for (p = 0, i = 0; p < nparts; ++p) { 129470034214SMatthew G. Knepley for (v = 0; v < nvtxs; ++v) { 129570034214SMatthew G. Knepley if (assignment[v] == p) points[i++] = v; 129670034214SMatthew G. Knepley } 129770034214SMatthew G. Knepley } 129870034214SMatthew G. Knepley if (i != nvtxs) SETERRQ2(comm, PETSC_ERR_PLIB, "Number of points %D should be %D", i, nvtxs); 129970034214SMatthew G. Knepley ierr = ISCreateGeneral(comm, nvtxs, points, PETSC_OWN_POINTER, partition);CHKERRQ(ierr); 130070034214SMatthew G. Knepley if (global_method == INERTIAL_METHOD) { 130170034214SMatthew G. Knepley /* manager.destroyCellCoordinates(nvtxs, &x, &y, &z); */ 130270034214SMatthew G. Knepley } 130370034214SMatthew G. Knepley ierr = PetscFree(assignment);CHKERRQ(ierr); 130470034214SMatthew G. Knepley for (i = 0; i < start[numVertices]; ++i) --adjacency[i]; 130570034214SMatthew G. Knepley PetscFunctionReturn(0); 130677623264SMatthew G. Knepley #else 130777623264SMatthew G. Knepley SETERRQ(PetscObjectComm((PetscObject) part), PETSC_ERR_SUP, "Mesh partitioning needs external package support.\nPlease reconfigure with --download-chaco."); 130870034214SMatthew G. Knepley #endif 130977623264SMatthew G. Knepley } 131077623264SMatthew G. Knepley 1311d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerInitialize_Chaco(PetscPartitioner part) 131277623264SMatthew G. Knepley { 131377623264SMatthew G. Knepley PetscFunctionBegin; 131477623264SMatthew G. Knepley part->ops->view = PetscPartitionerView_Chaco; 131577623264SMatthew G. Knepley part->ops->destroy = PetscPartitionerDestroy_Chaco; 131677623264SMatthew G. Knepley part->ops->partition = PetscPartitionerPartition_Chaco; 131777623264SMatthew G. Knepley PetscFunctionReturn(0); 131877623264SMatthew G. Knepley } 131977623264SMatthew G. Knepley 132077623264SMatthew G. Knepley /*MC 132177623264SMatthew G. Knepley PETSCPARTITIONERCHACO = "chaco" - A PetscPartitioner object using the Chaco library 132277623264SMatthew G. Knepley 132377623264SMatthew G. Knepley Level: intermediate 132477623264SMatthew G. Knepley 132577623264SMatthew G. Knepley .seealso: PetscPartitionerType, PetscPartitionerCreate(), PetscPartitionerSetType() 132677623264SMatthew G. Knepley M*/ 132777623264SMatthew G. Knepley 132877623264SMatthew G. Knepley PETSC_EXTERN PetscErrorCode PetscPartitionerCreate_Chaco(PetscPartitioner part) 132977623264SMatthew G. Knepley { 133077623264SMatthew G. Knepley PetscPartitioner_Chaco *p; 133177623264SMatthew G. Knepley PetscErrorCode ierr; 133277623264SMatthew G. Knepley 133377623264SMatthew G. Knepley PetscFunctionBegin; 133477623264SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 133577623264SMatthew G. Knepley ierr = PetscNewLog(part, &p);CHKERRQ(ierr); 133677623264SMatthew G. Knepley part->data = p; 133777623264SMatthew G. Knepley 133877623264SMatthew G. Knepley ierr = PetscPartitionerInitialize_Chaco(part);CHKERRQ(ierr); 133977623264SMatthew G. Knepley ierr = PetscCitationsRegister(ChacoPartitionerCitation, &ChacoPartitionercite);CHKERRQ(ierr); 134077623264SMatthew G. Knepley PetscFunctionReturn(0); 134177623264SMatthew G. Knepley } 134277623264SMatthew G. Knepley 13435b440754SMatthew G. Knepley static const char *ptypes[] = {"kway", "rb"}; 13445b440754SMatthew G. Knepley 1345d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerDestroy_ParMetis(PetscPartitioner part) 134677623264SMatthew G. Knepley { 134777623264SMatthew G. Knepley PetscPartitioner_ParMetis *p = (PetscPartitioner_ParMetis *) part->data; 134877623264SMatthew G. Knepley PetscErrorCode ierr; 134977623264SMatthew G. Knepley 135077623264SMatthew G. Knepley PetscFunctionBegin; 135177623264SMatthew G. Knepley ierr = PetscFree(p);CHKERRQ(ierr); 135277623264SMatthew G. Knepley PetscFunctionReturn(0); 135377623264SMatthew G. Knepley } 135477623264SMatthew G. Knepley 1355d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerView_ParMetis_Ascii(PetscPartitioner part, PetscViewer viewer) 135677623264SMatthew G. Knepley { 1357*2abdaa70SMatthew G. Knepley PetscPartitioner_ParMetis *p = (PetscPartitioner_ParMetis *) part->data; 135877623264SMatthew G. Knepley PetscErrorCode ierr; 135977623264SMatthew G. Knepley 136077623264SMatthew G. Knepley PetscFunctionBegin; 1361*2abdaa70SMatthew G. Knepley ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr); 1362*2abdaa70SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(viewer, "ParMetis type: %s\n", ptypes[p->ptype]);CHKERRQ(ierr); 1363*2abdaa70SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(viewer, "load imbalance ratio %g\n", (double) p->imbalanceRatio);CHKERRQ(ierr); 1364*2abdaa70SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(viewer, "debug flag %D\n", p->debugFlag);CHKERRQ(ierr); 1365*2abdaa70SMatthew G. Knepley ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr); 136677623264SMatthew G. Knepley PetscFunctionReturn(0); 136777623264SMatthew G. Knepley } 136877623264SMatthew G. Knepley 1369d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerView_ParMetis(PetscPartitioner part, PetscViewer viewer) 137077623264SMatthew G. Knepley { 137177623264SMatthew G. Knepley PetscBool iascii; 137277623264SMatthew G. Knepley PetscErrorCode ierr; 137377623264SMatthew G. Knepley 137477623264SMatthew G. Knepley PetscFunctionBegin; 137577623264SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 137677623264SMatthew G. Knepley PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2); 137777623264SMatthew G. Knepley ierr = PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii);CHKERRQ(ierr); 137877623264SMatthew G. Knepley if (iascii) {ierr = PetscPartitionerView_ParMetis_Ascii(part, viewer);CHKERRQ(ierr);} 137977623264SMatthew G. Knepley PetscFunctionReturn(0); 138077623264SMatthew G. Knepley } 138170034214SMatthew G. Knepley 138244d8be81SLisandro Dalcin static PetscErrorCode PetscPartitionerSetFromOptions_ParMetis(PetscOptionItems *PetscOptionsObject, PetscPartitioner part) 138344d8be81SLisandro Dalcin { 138444d8be81SLisandro Dalcin PetscPartitioner_ParMetis *p = (PetscPartitioner_ParMetis *) part->data; 138544d8be81SLisandro Dalcin PetscErrorCode ierr; 138644d8be81SLisandro Dalcin 138744d8be81SLisandro Dalcin PetscFunctionBegin; 138844d8be81SLisandro Dalcin ierr = PetscOptionsHead(PetscOptionsObject, "PetscPartitioner ParMetis Options");CHKERRQ(ierr); 138944d8be81SLisandro Dalcin ierr = PetscOptionsEList("-petscpartitioner_parmetis_type", "Partitioning method", "", ptypes, 2, ptypes[p->ptype], &p->ptype, NULL);CHKERRQ(ierr); 13905b440754SMatthew G. Knepley ierr = PetscOptionsReal("-petscpartitioner_parmetis_imbalance_ratio", "Load imbalance ratio limit", "", p->imbalanceRatio, &p->imbalanceRatio, NULL);CHKERRQ(ierr); 13915b440754SMatthew G. Knepley ierr = PetscOptionsInt("-petscpartitioner_parmetis_debug", "Debugging flag", "", p->debugFlag, &p->debugFlag, NULL);CHKERRQ(ierr); 139244d8be81SLisandro Dalcin ierr = PetscOptionsTail();CHKERRQ(ierr); 139344d8be81SLisandro Dalcin PetscFunctionReturn(0); 139444d8be81SLisandro Dalcin } 139544d8be81SLisandro Dalcin 139670034214SMatthew G. Knepley #if defined(PETSC_HAVE_PARMETIS) 139770034214SMatthew G. Knepley #include <parmetis.h> 139877623264SMatthew G. Knepley #endif 139970034214SMatthew G. Knepley 1400d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerPartition_ParMetis(PetscPartitioner part, DM dm, PetscInt nparts, PetscInt numVertices, PetscInt start[], PetscInt adjacency[], PetscSection partSection, IS *partition) 140170034214SMatthew G. Knepley { 140277623264SMatthew G. Knepley #if defined(PETSC_HAVE_PARMETIS) 14035b440754SMatthew G. Knepley PetscPartitioner_ParMetis *pm = (PetscPartitioner_ParMetis *) part->data; 140470034214SMatthew G. Knepley MPI_Comm comm; 1405deea36a5SMatthew G. Knepley PetscSection section; 140670034214SMatthew G. Knepley PetscInt nvtxs = numVertices; /* The number of vertices in full graph */ 140770034214SMatthew G. Knepley PetscInt *vtxdist; /* Distribution of vertices across processes */ 140870034214SMatthew G. Knepley PetscInt *xadj = start; /* Start of edge list for each vertex */ 140970034214SMatthew G. Knepley PetscInt *adjncy = adjacency; /* Edge lists for all vertices */ 141070034214SMatthew G. Knepley PetscInt *vwgt = NULL; /* Vertex weights */ 141170034214SMatthew G. Knepley PetscInt *adjwgt = NULL; /* Edge weights */ 141270034214SMatthew G. Knepley PetscInt wgtflag = 0; /* Indicates which weights are present */ 141370034214SMatthew G. Knepley PetscInt numflag = 0; /* Indicates initial offset (0 or 1) */ 141470034214SMatthew G. Knepley PetscInt ncon = 1; /* The number of weights per vertex */ 14155b440754SMatthew G. Knepley PetscInt metis_ptype = pm->ptype; /* kway or recursive bisection */ 1416fb83b9f2SMichael Gegg real_t *tpwgts; /* The fraction of vertex weights assigned to each partition */ 1417fb83b9f2SMichael Gegg real_t *ubvec; /* The balance intolerance for vertex weights */ 1418b3ce585bSLisandro Dalcin PetscInt options[64]; /* Options */ 141970034214SMatthew G. Knepley /* Outputs */ 1420b3ce585bSLisandro Dalcin PetscInt v, i, *assignment, *points; 1421b3ce585bSLisandro Dalcin PetscMPIInt size, rank, p; 142270034214SMatthew G. Knepley PetscErrorCode ierr; 142370034214SMatthew G. Knepley 142470034214SMatthew G. Knepley PetscFunctionBegin; 142577623264SMatthew G. Knepley ierr = PetscObjectGetComm((PetscObject) part, &comm);CHKERRQ(ierr); 1426b3ce585bSLisandro Dalcin ierr = MPI_Comm_size(comm, &size);CHKERRQ(ierr); 142770034214SMatthew G. Knepley ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 142870034214SMatthew G. Knepley /* Calculate vertex distribution */ 1429b3ce585bSLisandro Dalcin ierr = PetscMalloc5(size+1,&vtxdist,nparts*ncon,&tpwgts,ncon,&ubvec,nvtxs,&assignment,nvtxs,&vwgt);CHKERRQ(ierr); 143070034214SMatthew G. Knepley vtxdist[0] = 0; 143170034214SMatthew G. Knepley ierr = MPI_Allgather(&nvtxs, 1, MPIU_INT, &vtxdist[1], 1, MPIU_INT, comm);CHKERRQ(ierr); 1432b3ce585bSLisandro Dalcin for (p = 2; p <= size; ++p) { 143370034214SMatthew G. Knepley vtxdist[p] += vtxdist[p-1]; 143470034214SMatthew G. Knepley } 143544d8be81SLisandro Dalcin /* Calculate partition weights */ 143670034214SMatthew G. Knepley for (p = 0; p < nparts; ++p) { 143770034214SMatthew G. Knepley tpwgts[p] = 1.0/nparts; 143870034214SMatthew G. Knepley } 14395b440754SMatthew G. Knepley ubvec[0] = pm->imbalanceRatio; 1440deea36a5SMatthew G. Knepley /* Weight cells by dofs on cell by default */ 1441e87a4003SBarry Smith ierr = DMGetSection(dm, §ion);CHKERRQ(ierr); 1442deea36a5SMatthew G. Knepley if (section) { 1443deea36a5SMatthew G. Knepley PetscInt cStart, cEnd, dof; 144470034214SMatthew G. Knepley 1445deea36a5SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 1446deea36a5SMatthew G. Knepley for (v = cStart; v < cEnd; ++v) { 1447deea36a5SMatthew G. Knepley ierr = PetscSectionGetDof(section, v, &dof);CHKERRQ(ierr); 1448925b1076SLisandro Dalcin /* WARNING: Assumes that meshes with overlap have the overlapped cells at the end of the stratum. */ 1449925b1076SLisandro Dalcin /* To do this properly, we should use the cell numbering created in DMPlexCreatePartitionerGraph. */ 1450925b1076SLisandro Dalcin if (v-cStart < numVertices) vwgt[v-cStart] = PetscMax(dof, 1); 1451deea36a5SMatthew G. Knepley } 1452deea36a5SMatthew G. Knepley } else { 1453deea36a5SMatthew G. Knepley for (v = 0; v < nvtxs; ++v) vwgt[v] = 1; 1454cd0de0f2SShri } 145544d8be81SLisandro Dalcin wgtflag |= 2; /* have weights on graph vertices */ 1456cd0de0f2SShri 145770034214SMatthew G. Knepley if (nparts == 1) { 14589fc93327SToby Isaac ierr = PetscMemzero(assignment, nvtxs * sizeof(PetscInt));CHKERRQ(ierr); 145970034214SMatthew G. Knepley } else { 1460b3ce585bSLisandro Dalcin for (p = 0; !vtxdist[p+1] && p < size; ++p); 1461b3ce585bSLisandro Dalcin if (vtxdist[p+1] == vtxdist[size]) { 1462b3ce585bSLisandro Dalcin if (rank == p) { 146344d8be81SLisandro Dalcin ierr = METIS_SetDefaultOptions(options); /* initialize all defaults */ 146444d8be81SLisandro Dalcin if (ierr != METIS_OK) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_LIB, "Error in METIS_SetDefaultOptions()"); 146544d8be81SLisandro Dalcin if (metis_ptype == 1) { 146644d8be81SLisandro Dalcin PetscStackPush("METIS_PartGraphRecursive"); 146772379da4SMatthew G. Knepley ierr = METIS_PartGraphRecursive(&nvtxs, &ncon, xadj, adjncy, vwgt, NULL, adjwgt, &nparts, tpwgts, ubvec, options, &part->edgeCut, assignment); 146844d8be81SLisandro Dalcin PetscStackPop; 146944d8be81SLisandro Dalcin if (ierr != METIS_OK) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_LIB, "Error in METIS_PartGraphRecursive()"); 147044d8be81SLisandro Dalcin } else { 147144d8be81SLisandro Dalcin /* 147244d8be81SLisandro Dalcin It would be nice to activate the two options below, but they would need some actual testing. 147344d8be81SLisandro Dalcin - Turning on these options may exercise path of the METIS code that have bugs and may break production runs. 147444d8be81SLisandro Dalcin - If CONTIG is set to 1, METIS will exit with error if the graph is disconnected, despite the manual saying the option is ignored in such case. 147544d8be81SLisandro Dalcin */ 147644d8be81SLisandro Dalcin /* options[METIS_OPTION_CONTIG] = 1; */ /* try to produce partitions that are contiguous */ 147744d8be81SLisandro Dalcin /* options[METIS_OPTION_MINCONN] = 1; */ /* minimize the maximum degree of the subdomain graph */ 147870034214SMatthew G. Knepley PetscStackPush("METIS_PartGraphKway"); 147972379da4SMatthew G. Knepley ierr = METIS_PartGraphKway(&nvtxs, &ncon, xadj, adjncy, vwgt, NULL, adjwgt, &nparts, tpwgts, ubvec, options, &part->edgeCut, assignment); 148070034214SMatthew G. Knepley PetscStackPop; 148170034214SMatthew G. Knepley if (ierr != METIS_OK) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_LIB, "Error in METIS_PartGraphKway()"); 148270034214SMatthew G. Knepley } 148344d8be81SLisandro Dalcin } 148470034214SMatthew G. Knepley } else { 14855b440754SMatthew G. Knepley options[0] = 1; 14865b440754SMatthew G. Knepley options[1] = pm->debugFlag; 148770034214SMatthew G. Knepley PetscStackPush("ParMETIS_V3_PartKway"); 148872379da4SMatthew G. Knepley ierr = ParMETIS_V3_PartKway(vtxdist, xadj, adjncy, vwgt, adjwgt, &wgtflag, &numflag, &ncon, &nparts, tpwgts, ubvec, options, &part->edgeCut, assignment, &comm); 148970034214SMatthew G. Knepley PetscStackPop; 1490c717d290SMatthew G. Knepley if (ierr != METIS_OK) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_LIB, "Error %d in ParMETIS_V3_PartKway()", ierr); 149170034214SMatthew G. Knepley } 149270034214SMatthew G. Knepley } 149370034214SMatthew G. Knepley /* Convert to PetscSection+IS */ 149477623264SMatthew G. Knepley ierr = PetscSectionSetChart(partSection, 0, nparts);CHKERRQ(ierr); 149577623264SMatthew G. Knepley for (v = 0; v < nvtxs; ++v) {ierr = PetscSectionAddDof(partSection, assignment[v], 1);CHKERRQ(ierr);} 149677623264SMatthew G. Knepley ierr = PetscSectionSetUp(partSection);CHKERRQ(ierr); 149770034214SMatthew G. Knepley ierr = PetscMalloc1(nvtxs, &points);CHKERRQ(ierr); 149877623264SMatthew G. Knepley for (p = 0, i = 0; p < nparts; ++p) { 149970034214SMatthew G. Knepley for (v = 0; v < nvtxs; ++v) { 150070034214SMatthew G. Knepley if (assignment[v] == p) points[i++] = v; 150170034214SMatthew G. Knepley } 150270034214SMatthew G. Knepley } 150370034214SMatthew G. Knepley if (i != nvtxs) SETERRQ2(comm, PETSC_ERR_PLIB, "Number of points %D should be %D", i, nvtxs); 150470034214SMatthew G. Knepley ierr = ISCreateGeneral(comm, nvtxs, points, PETSC_OWN_POINTER, partition);CHKERRQ(ierr); 1505cd0de0f2SShri ierr = PetscFree5(vtxdist,tpwgts,ubvec,assignment,vwgt);CHKERRQ(ierr); 15069b80ac48SMatthew G. Knepley PetscFunctionReturn(0); 150770034214SMatthew G. Knepley #else 150877623264SMatthew G. Knepley SETERRQ(PetscObjectComm((PetscObject) part), PETSC_ERR_SUP, "Mesh partitioning needs external package support.\nPlease reconfigure with --download-parmetis."); 150970034214SMatthew G. Knepley #endif 151070034214SMatthew G. Knepley } 151170034214SMatthew G. Knepley 1512d5577e40SMatthew G. Knepley static PetscErrorCode PetscPartitionerInitialize_ParMetis(PetscPartitioner part) 151377623264SMatthew G. Knepley { 151477623264SMatthew G. Knepley PetscFunctionBegin; 151577623264SMatthew G. Knepley part->ops->view = PetscPartitionerView_ParMetis; 151644d8be81SLisandro Dalcin part->ops->setfromoptions = PetscPartitionerSetFromOptions_ParMetis; 151777623264SMatthew G. Knepley part->ops->destroy = PetscPartitionerDestroy_ParMetis; 151877623264SMatthew G. Knepley part->ops->partition = PetscPartitionerPartition_ParMetis; 151977623264SMatthew G. Knepley PetscFunctionReturn(0); 152077623264SMatthew G. Knepley } 152177623264SMatthew G. Knepley 152277623264SMatthew G. Knepley /*MC 152377623264SMatthew G. Knepley PETSCPARTITIONERPARMETIS = "parmetis" - A PetscPartitioner object using the ParMetis library 152477623264SMatthew G. Knepley 152577623264SMatthew G. Knepley Level: intermediate 152677623264SMatthew G. Knepley 152777623264SMatthew G. Knepley .seealso: PetscPartitionerType, PetscPartitionerCreate(), PetscPartitionerSetType() 152877623264SMatthew G. Knepley M*/ 152977623264SMatthew G. Knepley 153077623264SMatthew G. Knepley PETSC_EXTERN PetscErrorCode PetscPartitionerCreate_ParMetis(PetscPartitioner part) 153177623264SMatthew G. Knepley { 153277623264SMatthew G. Knepley PetscPartitioner_ParMetis *p; 153377623264SMatthew G. Knepley PetscErrorCode ierr; 153477623264SMatthew G. Knepley 153577623264SMatthew G. Knepley PetscFunctionBegin; 153677623264SMatthew G. Knepley PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 153777623264SMatthew G. Knepley ierr = PetscNewLog(part, &p);CHKERRQ(ierr); 153877623264SMatthew G. Knepley part->data = p; 153977623264SMatthew G. Knepley 15405b440754SMatthew G. Knepley p->ptype = 0; 15415b440754SMatthew G. Knepley p->imbalanceRatio = 1.05; 15425b440754SMatthew G. Knepley p->debugFlag = 0; 15435b440754SMatthew G. Knepley 154477623264SMatthew G. Knepley ierr = PetscPartitionerInitialize_ParMetis(part);CHKERRQ(ierr); 154577623264SMatthew G. Knepley ierr = PetscCitationsRegister(ParMetisPartitionerCitation, &ParMetisPartitionercite);CHKERRQ(ierr); 154670034214SMatthew G. Knepley PetscFunctionReturn(0); 154770034214SMatthew G. Knepley } 154870034214SMatthew G. Knepley 1549137cd93aSLisandro Dalcin 1550137cd93aSLisandro Dalcin PetscBool PTScotchPartitionercite = PETSC_FALSE; 1551137cd93aSLisandro Dalcin const char PTScotchPartitionerCitation[] = 1552137cd93aSLisandro Dalcin "@article{PTSCOTCH,\n" 1553137cd93aSLisandro Dalcin " author = {C. Chevalier and F. Pellegrini},\n" 1554137cd93aSLisandro Dalcin " title = {{PT-SCOTCH}: a tool for efficient parallel graph ordering},\n" 1555137cd93aSLisandro Dalcin " journal = {Parallel Computing},\n" 1556137cd93aSLisandro Dalcin " volume = {34},\n" 1557137cd93aSLisandro Dalcin " number = {6},\n" 1558137cd93aSLisandro Dalcin " pages = {318--331},\n" 1559137cd93aSLisandro Dalcin " year = {2008},\n" 1560137cd93aSLisandro Dalcin " doi = {https://doi.org/10.1016/j.parco.2007.12.001}\n" 1561137cd93aSLisandro Dalcin "}\n"; 1562137cd93aSLisandro Dalcin 1563137cd93aSLisandro Dalcin typedef struct { 1564137cd93aSLisandro Dalcin PetscInt strategy; 1565137cd93aSLisandro Dalcin PetscReal imbalance; 1566137cd93aSLisandro Dalcin } PetscPartitioner_PTScotch; 1567137cd93aSLisandro Dalcin 1568137cd93aSLisandro Dalcin static const char *const 1569137cd93aSLisandro Dalcin PTScotchStrategyList[] = { 1570137cd93aSLisandro Dalcin "DEFAULT", 1571137cd93aSLisandro Dalcin "QUALITY", 1572137cd93aSLisandro Dalcin "SPEED", 1573137cd93aSLisandro Dalcin "BALANCE", 1574137cd93aSLisandro Dalcin "SAFETY", 1575137cd93aSLisandro Dalcin "SCALABILITY", 1576137cd93aSLisandro Dalcin "RECURSIVE", 1577137cd93aSLisandro Dalcin "REMAP" 1578137cd93aSLisandro Dalcin }; 1579137cd93aSLisandro Dalcin 1580137cd93aSLisandro Dalcin #if defined(PETSC_HAVE_PTSCOTCH) 1581137cd93aSLisandro Dalcin 1582137cd93aSLisandro Dalcin EXTERN_C_BEGIN 1583137cd93aSLisandro Dalcin #include <ptscotch.h> 1584137cd93aSLisandro Dalcin EXTERN_C_END 1585137cd93aSLisandro Dalcin 1586137cd93aSLisandro Dalcin #define CHKERRPTSCOTCH(ierr) do { if (ierr) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error calling PT-Scotch library"); } while(0) 1587137cd93aSLisandro Dalcin 1588137cd93aSLisandro Dalcin static int PTScotch_Strategy(PetscInt strategy) 1589137cd93aSLisandro Dalcin { 1590137cd93aSLisandro Dalcin switch (strategy) { 1591137cd93aSLisandro Dalcin case 0: return SCOTCH_STRATDEFAULT; 1592137cd93aSLisandro Dalcin case 1: return SCOTCH_STRATQUALITY; 1593137cd93aSLisandro Dalcin case 2: return SCOTCH_STRATSPEED; 1594137cd93aSLisandro Dalcin case 3: return SCOTCH_STRATBALANCE; 1595137cd93aSLisandro Dalcin case 4: return SCOTCH_STRATSAFETY; 1596137cd93aSLisandro Dalcin case 5: return SCOTCH_STRATSCALABILITY; 1597137cd93aSLisandro Dalcin case 6: return SCOTCH_STRATRECURSIVE; 1598137cd93aSLisandro Dalcin case 7: return SCOTCH_STRATREMAP; 1599137cd93aSLisandro Dalcin default: return SCOTCH_STRATDEFAULT; 1600137cd93aSLisandro Dalcin } 1601137cd93aSLisandro Dalcin } 1602137cd93aSLisandro Dalcin 1603137cd93aSLisandro Dalcin 1604137cd93aSLisandro Dalcin static PetscErrorCode PTScotch_PartGraph_Seq(SCOTCH_Num strategy, double imbalance, SCOTCH_Num n, SCOTCH_Num xadj[], SCOTCH_Num adjncy[], 1605137cd93aSLisandro Dalcin SCOTCH_Num vtxwgt[], SCOTCH_Num adjwgt[], SCOTCH_Num nparts, SCOTCH_Num part[]) 1606137cd93aSLisandro Dalcin { 1607137cd93aSLisandro Dalcin SCOTCH_Graph grafdat; 1608137cd93aSLisandro Dalcin SCOTCH_Strat stradat; 1609137cd93aSLisandro Dalcin SCOTCH_Num vertnbr = n; 1610137cd93aSLisandro Dalcin SCOTCH_Num edgenbr = xadj[n]; 1611137cd93aSLisandro Dalcin SCOTCH_Num* velotab = vtxwgt; 1612137cd93aSLisandro Dalcin SCOTCH_Num* edlotab = adjwgt; 1613137cd93aSLisandro Dalcin SCOTCH_Num flagval = strategy; 1614137cd93aSLisandro Dalcin double kbalval = imbalance; 1615137cd93aSLisandro Dalcin PetscErrorCode ierr; 1616137cd93aSLisandro Dalcin 1617137cd93aSLisandro Dalcin PetscFunctionBegin; 1618d99a0000SVaclav Hapla { 1619d99a0000SVaclav Hapla PetscBool flg = PETSC_TRUE; 1620d99a0000SVaclav Hapla ierr = PetscOptionsGetBool(NULL, NULL, "-petscpartititoner_ptscotch_vertex_weight", &flg, NULL);CHKERRQ(ierr); 1621d99a0000SVaclav Hapla if (!flg) velotab = NULL; 1622d99a0000SVaclav Hapla } 1623137cd93aSLisandro Dalcin ierr = SCOTCH_graphInit(&grafdat);CHKERRPTSCOTCH(ierr); 1624137cd93aSLisandro Dalcin ierr = SCOTCH_graphBuild(&grafdat, 0, vertnbr, xadj, xadj + 1, velotab, NULL, edgenbr, adjncy, edlotab);CHKERRPTSCOTCH(ierr); 1625137cd93aSLisandro Dalcin ierr = SCOTCH_stratInit(&stradat);CHKERRPTSCOTCH(ierr); 1626137cd93aSLisandro Dalcin ierr = SCOTCH_stratGraphMapBuild(&stradat, flagval, nparts, kbalval);CHKERRPTSCOTCH(ierr); 1627137cd93aSLisandro Dalcin #if defined(PETSC_USE_DEBUG) 1628137cd93aSLisandro Dalcin ierr = SCOTCH_graphCheck(&grafdat);CHKERRPTSCOTCH(ierr); 1629137cd93aSLisandro Dalcin #endif 1630137cd93aSLisandro Dalcin ierr = SCOTCH_graphPart(&grafdat, nparts, &stradat, part);CHKERRPTSCOTCH(ierr); 1631137cd93aSLisandro Dalcin SCOTCH_stratExit(&stradat); 1632137cd93aSLisandro Dalcin SCOTCH_graphExit(&grafdat); 1633137cd93aSLisandro Dalcin PetscFunctionReturn(0); 1634137cd93aSLisandro Dalcin } 1635137cd93aSLisandro Dalcin 1636137cd93aSLisandro Dalcin static PetscErrorCode PTScotch_PartGraph_MPI(SCOTCH_Num strategy, double imbalance, SCOTCH_Num vtxdist[], SCOTCH_Num xadj[], SCOTCH_Num adjncy[], 1637137cd93aSLisandro Dalcin SCOTCH_Num vtxwgt[], SCOTCH_Num adjwgt[], SCOTCH_Num nparts, SCOTCH_Num part[], MPI_Comm comm) 1638137cd93aSLisandro Dalcin { 1639137cd93aSLisandro Dalcin PetscMPIInt procglbnbr; 1640137cd93aSLisandro Dalcin PetscMPIInt proclocnum; 1641137cd93aSLisandro Dalcin SCOTCH_Arch archdat; 1642137cd93aSLisandro Dalcin SCOTCH_Dgraph grafdat; 1643137cd93aSLisandro Dalcin SCOTCH_Dmapping mappdat; 1644137cd93aSLisandro Dalcin SCOTCH_Strat stradat; 1645137cd93aSLisandro Dalcin SCOTCH_Num vertlocnbr; 1646137cd93aSLisandro Dalcin SCOTCH_Num edgelocnbr; 1647137cd93aSLisandro Dalcin SCOTCH_Num* veloloctab = vtxwgt; 1648137cd93aSLisandro Dalcin SCOTCH_Num* edloloctab = adjwgt; 1649137cd93aSLisandro Dalcin SCOTCH_Num flagval = strategy; 1650137cd93aSLisandro Dalcin double kbalval = imbalance; 1651137cd93aSLisandro Dalcin PetscErrorCode ierr; 1652137cd93aSLisandro Dalcin 1653137cd93aSLisandro Dalcin PetscFunctionBegin; 1654d99a0000SVaclav Hapla { 1655d99a0000SVaclav Hapla PetscBool flg = PETSC_TRUE; 1656d99a0000SVaclav Hapla ierr = PetscOptionsGetBool(NULL, NULL, "-petscpartititoner_ptscotch_vertex_weight", &flg, NULL);CHKERRQ(ierr); 1657d99a0000SVaclav Hapla if (!flg) veloloctab = NULL; 1658d99a0000SVaclav Hapla } 1659137cd93aSLisandro Dalcin ierr = MPI_Comm_size(comm, &procglbnbr);CHKERRQ(ierr); 1660137cd93aSLisandro Dalcin ierr = MPI_Comm_rank(comm, &proclocnum);CHKERRQ(ierr); 1661137cd93aSLisandro Dalcin vertlocnbr = vtxdist[proclocnum + 1] - vtxdist[proclocnum]; 1662137cd93aSLisandro Dalcin edgelocnbr = xadj[vertlocnbr]; 1663137cd93aSLisandro Dalcin 1664137cd93aSLisandro Dalcin ierr = SCOTCH_dgraphInit(&grafdat, comm);CHKERRPTSCOTCH(ierr); 1665137cd93aSLisandro Dalcin ierr = SCOTCH_dgraphBuild(&grafdat, 0, vertlocnbr, vertlocnbr, xadj, xadj + 1, veloloctab, NULL, edgelocnbr, edgelocnbr, adjncy, NULL, edloloctab);CHKERRPTSCOTCH(ierr); 1666137cd93aSLisandro Dalcin #if defined(PETSC_USE_DEBUG) 1667137cd93aSLisandro Dalcin ierr = SCOTCH_dgraphCheck(&grafdat);CHKERRPTSCOTCH(ierr); 1668137cd93aSLisandro Dalcin #endif 1669137cd93aSLisandro Dalcin ierr = SCOTCH_stratInit(&stradat);CHKERRPTSCOTCH(ierr); 1670137cd93aSLisandro Dalcin ierr = SCOTCH_stratDgraphMapBuild(&stradat, flagval, procglbnbr, nparts, kbalval);CHKERRQ(ierr); 1671137cd93aSLisandro Dalcin ierr = SCOTCH_archInit(&archdat);CHKERRPTSCOTCH(ierr); 1672137cd93aSLisandro Dalcin ierr = SCOTCH_archCmplt(&archdat, nparts);CHKERRPTSCOTCH(ierr); 1673137cd93aSLisandro Dalcin ierr = SCOTCH_dgraphMapInit(&grafdat, &mappdat, &archdat, part);CHKERRPTSCOTCH(ierr); 1674137cd93aSLisandro Dalcin ierr = SCOTCH_dgraphMapCompute(&grafdat, &mappdat, &stradat);CHKERRPTSCOTCH(ierr); 1675137cd93aSLisandro Dalcin SCOTCH_dgraphMapExit(&grafdat, &mappdat); 1676137cd93aSLisandro Dalcin SCOTCH_archExit(&archdat); 1677137cd93aSLisandro Dalcin SCOTCH_stratExit(&stradat); 1678137cd93aSLisandro Dalcin SCOTCH_dgraphExit(&grafdat); 1679137cd93aSLisandro Dalcin PetscFunctionReturn(0); 1680137cd93aSLisandro Dalcin } 1681137cd93aSLisandro Dalcin 1682137cd93aSLisandro Dalcin #endif /* PETSC_HAVE_PTSCOTCH */ 1683137cd93aSLisandro Dalcin 1684137cd93aSLisandro Dalcin static PetscErrorCode PetscPartitionerDestroy_PTScotch(PetscPartitioner part) 1685137cd93aSLisandro Dalcin { 1686137cd93aSLisandro Dalcin PetscPartitioner_PTScotch *p = (PetscPartitioner_PTScotch *) part->data; 1687137cd93aSLisandro Dalcin PetscErrorCode ierr; 1688137cd93aSLisandro Dalcin 1689137cd93aSLisandro Dalcin PetscFunctionBegin; 1690137cd93aSLisandro Dalcin ierr = PetscFree(p);CHKERRQ(ierr); 1691137cd93aSLisandro Dalcin PetscFunctionReturn(0); 1692137cd93aSLisandro Dalcin } 1693137cd93aSLisandro Dalcin 1694137cd93aSLisandro Dalcin static PetscErrorCode PetscPartitionerView_PTScotch_Ascii(PetscPartitioner part, PetscViewer viewer) 1695137cd93aSLisandro Dalcin { 1696137cd93aSLisandro Dalcin PetscPartitioner_PTScotch *p = (PetscPartitioner_PTScotch *) part->data; 1697137cd93aSLisandro Dalcin PetscErrorCode ierr; 1698137cd93aSLisandro Dalcin 1699137cd93aSLisandro Dalcin PetscFunctionBegin; 1700137cd93aSLisandro Dalcin ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr); 1701137cd93aSLisandro Dalcin ierr = PetscViewerASCIIPrintf(viewer, "using partitioning strategy %s\n",PTScotchStrategyList[p->strategy]);CHKERRQ(ierr); 1702137cd93aSLisandro Dalcin ierr = PetscViewerASCIIPrintf(viewer, "using load imbalance ratio %g\n",(double)p->imbalance);CHKERRQ(ierr); 1703137cd93aSLisandro Dalcin ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr); 1704137cd93aSLisandro Dalcin PetscFunctionReturn(0); 1705137cd93aSLisandro Dalcin } 1706137cd93aSLisandro Dalcin 1707137cd93aSLisandro Dalcin static PetscErrorCode PetscPartitionerView_PTScotch(PetscPartitioner part, PetscViewer viewer) 1708137cd93aSLisandro Dalcin { 1709137cd93aSLisandro Dalcin PetscBool iascii; 1710137cd93aSLisandro Dalcin PetscErrorCode ierr; 1711137cd93aSLisandro Dalcin 1712137cd93aSLisandro Dalcin PetscFunctionBegin; 1713137cd93aSLisandro Dalcin PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 1714137cd93aSLisandro Dalcin PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2); 1715137cd93aSLisandro Dalcin ierr = PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii);CHKERRQ(ierr); 1716137cd93aSLisandro Dalcin if (iascii) {ierr = PetscPartitionerView_PTScotch_Ascii(part, viewer);CHKERRQ(ierr);} 1717137cd93aSLisandro Dalcin PetscFunctionReturn(0); 1718137cd93aSLisandro Dalcin } 1719137cd93aSLisandro Dalcin 1720137cd93aSLisandro Dalcin static PetscErrorCode PetscPartitionerSetFromOptions_PTScotch(PetscOptionItems *PetscOptionsObject, PetscPartitioner part) 1721137cd93aSLisandro Dalcin { 1722137cd93aSLisandro Dalcin PetscPartitioner_PTScotch *p = (PetscPartitioner_PTScotch *) part->data; 1723137cd93aSLisandro Dalcin const char *const *slist = PTScotchStrategyList; 1724137cd93aSLisandro Dalcin PetscInt nlist = (PetscInt)(sizeof(PTScotchStrategyList)/sizeof(PTScotchStrategyList[0])); 1725137cd93aSLisandro Dalcin PetscBool flag; 1726137cd93aSLisandro Dalcin PetscErrorCode ierr; 1727137cd93aSLisandro Dalcin 1728137cd93aSLisandro Dalcin PetscFunctionBegin; 1729137cd93aSLisandro Dalcin ierr = PetscOptionsHead(PetscOptionsObject, "PetscPartitioner PTScotch Options");CHKERRQ(ierr); 1730137cd93aSLisandro Dalcin ierr = PetscOptionsEList("-petscpartitioner_ptscotch_strategy","Partitioning strategy","",slist,nlist,slist[p->strategy],&p->strategy,&flag);CHKERRQ(ierr); 1731137cd93aSLisandro Dalcin ierr = PetscOptionsReal("-petscpartitioner_ptscotch_imbalance","Load imbalance ratio","",p->imbalance,&p->imbalance,&flag);CHKERRQ(ierr); 1732137cd93aSLisandro Dalcin ierr = PetscOptionsTail();CHKERRQ(ierr); 1733137cd93aSLisandro Dalcin PetscFunctionReturn(0); 1734137cd93aSLisandro Dalcin } 1735137cd93aSLisandro Dalcin 1736137cd93aSLisandro Dalcin static PetscErrorCode PetscPartitionerPartition_PTScotch(PetscPartitioner part, DM dm, PetscInt nparts, PetscInt numVertices, PetscInt start[], PetscInt adjacency[], PetscSection partSection, IS *partition) 1737137cd93aSLisandro Dalcin { 1738137cd93aSLisandro Dalcin #if defined(PETSC_HAVE_PTSCOTCH) 1739137cd93aSLisandro Dalcin MPI_Comm comm = PetscObjectComm((PetscObject)part); 1740137cd93aSLisandro Dalcin PetscInt nvtxs = numVertices; /* The number of vertices in full graph */ 1741137cd93aSLisandro Dalcin PetscInt *vtxdist; /* Distribution of vertices across processes */ 1742137cd93aSLisandro Dalcin PetscInt *xadj = start; /* Start of edge list for each vertex */ 1743137cd93aSLisandro Dalcin PetscInt *adjncy = adjacency; /* Edge lists for all vertices */ 1744137cd93aSLisandro Dalcin PetscInt *vwgt = NULL; /* Vertex weights */ 1745137cd93aSLisandro Dalcin PetscInt *adjwgt = NULL; /* Edge weights */ 1746137cd93aSLisandro Dalcin PetscInt v, i, *assignment, *points; 1747137cd93aSLisandro Dalcin PetscMPIInt size, rank, p; 1748137cd93aSLisandro Dalcin PetscErrorCode ierr; 1749137cd93aSLisandro Dalcin 1750137cd93aSLisandro Dalcin PetscFunctionBegin; 1751137cd93aSLisandro Dalcin ierr = MPI_Comm_size(comm, &size);CHKERRQ(ierr); 1752137cd93aSLisandro Dalcin ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 1753137cd93aSLisandro Dalcin ierr = PetscMalloc2(nparts+1,&vtxdist,PetscMax(nvtxs,1),&assignment);CHKERRQ(ierr); 1754137cd93aSLisandro Dalcin 1755137cd93aSLisandro Dalcin /* Calculate vertex distribution */ 1756137cd93aSLisandro Dalcin vtxdist[0] = 0; 1757137cd93aSLisandro Dalcin ierr = MPI_Allgather(&nvtxs, 1, MPIU_INT, &vtxdist[1], 1, MPIU_INT, comm);CHKERRQ(ierr); 1758137cd93aSLisandro Dalcin for (p = 2; p <= size; ++p) { 1759137cd93aSLisandro Dalcin vtxdist[p] += vtxdist[p-1]; 1760137cd93aSLisandro Dalcin } 1761137cd93aSLisandro Dalcin 1762137cd93aSLisandro Dalcin if (nparts == 1) { 1763137cd93aSLisandro Dalcin ierr = PetscMemzero(assignment, nvtxs * sizeof(PetscInt));CHKERRQ(ierr); 1764137cd93aSLisandro Dalcin } else { 1765137cd93aSLisandro Dalcin PetscSection section; 1766137cd93aSLisandro Dalcin /* Weight cells by dofs on cell by default */ 1767137cd93aSLisandro Dalcin ierr = PetscMalloc1(PetscMax(nvtxs,1),&vwgt);CHKERRQ(ierr); 1768e87a4003SBarry Smith ierr = DMGetSection(dm, §ion);CHKERRQ(ierr); 1769137cd93aSLisandro Dalcin if (section) { 1770137cd93aSLisandro Dalcin PetscInt vStart, vEnd, dof; 1771137cd93aSLisandro Dalcin ierr = DMPlexGetHeightStratum(dm, 0, &vStart, &vEnd);CHKERRQ(ierr); 1772137cd93aSLisandro Dalcin for (v = vStart; v < vEnd; ++v) { 1773137cd93aSLisandro Dalcin ierr = PetscSectionGetDof(section, v, &dof);CHKERRQ(ierr); 1774137cd93aSLisandro Dalcin /* WARNING: Assumes that meshes with overlap have the overlapped cells at the end of the stratum. */ 1775137cd93aSLisandro Dalcin /* To do this properly, we should use the cell numbering created in DMPlexCreatePartitionerGraph. */ 1776137cd93aSLisandro Dalcin if (v-vStart < numVertices) vwgt[v-vStart] = PetscMax(dof, 1); 1777137cd93aSLisandro Dalcin } 1778137cd93aSLisandro Dalcin } else { 1779137cd93aSLisandro Dalcin for (v = 0; v < nvtxs; ++v) vwgt[v] = 1; 1780137cd93aSLisandro Dalcin } 1781137cd93aSLisandro Dalcin { 1782137cd93aSLisandro Dalcin PetscPartitioner_PTScotch *pts = (PetscPartitioner_PTScotch *) part->data; 1783137cd93aSLisandro Dalcin int strat = PTScotch_Strategy(pts->strategy); 1784137cd93aSLisandro Dalcin double imbal = (double)pts->imbalance; 1785137cd93aSLisandro Dalcin 1786137cd93aSLisandro Dalcin for (p = 0; !vtxdist[p+1] && p < size; ++p); 1787137cd93aSLisandro Dalcin if (vtxdist[p+1] == vtxdist[size]) { 1788137cd93aSLisandro Dalcin if (rank == p) { 1789137cd93aSLisandro Dalcin ierr = PTScotch_PartGraph_Seq(strat, imbal, nvtxs, xadj, adjncy, vwgt, adjwgt, nparts, assignment);CHKERRQ(ierr); 1790137cd93aSLisandro Dalcin } 1791137cd93aSLisandro Dalcin } else { 1792137cd93aSLisandro Dalcin ierr = PTScotch_PartGraph_MPI(strat, imbal, vtxdist, xadj, adjncy, vwgt, adjwgt, nparts, assignment, comm);CHKERRQ(ierr); 1793137cd93aSLisandro Dalcin } 1794137cd93aSLisandro Dalcin } 1795137cd93aSLisandro Dalcin ierr = PetscFree(vwgt);CHKERRQ(ierr); 1796137cd93aSLisandro Dalcin } 1797137cd93aSLisandro Dalcin 1798137cd93aSLisandro Dalcin /* Convert to PetscSection+IS */ 1799137cd93aSLisandro Dalcin ierr = PetscSectionSetChart(partSection, 0, nparts);CHKERRQ(ierr); 1800137cd93aSLisandro Dalcin for (v = 0; v < nvtxs; ++v) {ierr = PetscSectionAddDof(partSection, assignment[v], 1);CHKERRQ(ierr);} 1801137cd93aSLisandro Dalcin ierr = PetscSectionSetUp(partSection);CHKERRQ(ierr); 1802137cd93aSLisandro Dalcin ierr = PetscMalloc1(nvtxs, &points);CHKERRQ(ierr); 1803137cd93aSLisandro Dalcin for (p = 0, i = 0; p < nparts; ++p) { 1804137cd93aSLisandro Dalcin for (v = 0; v < nvtxs; ++v) { 1805137cd93aSLisandro Dalcin if (assignment[v] == p) points[i++] = v; 1806137cd93aSLisandro Dalcin } 1807137cd93aSLisandro Dalcin } 1808137cd93aSLisandro Dalcin if (i != nvtxs) SETERRQ2(comm, PETSC_ERR_PLIB, "Number of points %D should be %D", i, nvtxs); 1809137cd93aSLisandro Dalcin ierr = ISCreateGeneral(comm, nvtxs, points, PETSC_OWN_POINTER, partition);CHKERRQ(ierr); 1810137cd93aSLisandro Dalcin 1811137cd93aSLisandro Dalcin ierr = PetscFree2(vtxdist,assignment);CHKERRQ(ierr); 1812137cd93aSLisandro Dalcin PetscFunctionReturn(0); 1813137cd93aSLisandro Dalcin #else 1814137cd93aSLisandro Dalcin SETERRQ(PetscObjectComm((PetscObject) part), PETSC_ERR_SUP, "Mesh partitioning needs external package support.\nPlease reconfigure with --download-ptscotch."); 1815137cd93aSLisandro Dalcin #endif 1816137cd93aSLisandro Dalcin } 1817137cd93aSLisandro Dalcin 1818137cd93aSLisandro Dalcin static PetscErrorCode PetscPartitionerInitialize_PTScotch(PetscPartitioner part) 1819137cd93aSLisandro Dalcin { 1820137cd93aSLisandro Dalcin PetscFunctionBegin; 1821137cd93aSLisandro Dalcin part->ops->view = PetscPartitionerView_PTScotch; 1822137cd93aSLisandro Dalcin part->ops->destroy = PetscPartitionerDestroy_PTScotch; 1823137cd93aSLisandro Dalcin part->ops->partition = PetscPartitionerPartition_PTScotch; 1824137cd93aSLisandro Dalcin part->ops->setfromoptions = PetscPartitionerSetFromOptions_PTScotch; 1825137cd93aSLisandro Dalcin PetscFunctionReturn(0); 1826137cd93aSLisandro Dalcin } 1827137cd93aSLisandro Dalcin 1828137cd93aSLisandro Dalcin /*MC 1829137cd93aSLisandro Dalcin PETSCPARTITIONERPTSCOTCH = "ptscotch" - A PetscPartitioner object using the PT-Scotch library 1830137cd93aSLisandro Dalcin 1831137cd93aSLisandro Dalcin Level: intermediate 1832137cd93aSLisandro Dalcin 1833137cd93aSLisandro Dalcin .seealso: PetscPartitionerType, PetscPartitionerCreate(), PetscPartitionerSetType() 1834137cd93aSLisandro Dalcin M*/ 1835137cd93aSLisandro Dalcin 1836137cd93aSLisandro Dalcin PETSC_EXTERN PetscErrorCode PetscPartitionerCreate_PTScotch(PetscPartitioner part) 1837137cd93aSLisandro Dalcin { 1838137cd93aSLisandro Dalcin PetscPartitioner_PTScotch *p; 1839137cd93aSLisandro Dalcin PetscErrorCode ierr; 1840137cd93aSLisandro Dalcin 1841137cd93aSLisandro Dalcin PetscFunctionBegin; 1842137cd93aSLisandro Dalcin PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 1843137cd93aSLisandro Dalcin ierr = PetscNewLog(part, &p);CHKERRQ(ierr); 1844137cd93aSLisandro Dalcin part->data = p; 1845137cd93aSLisandro Dalcin 1846137cd93aSLisandro Dalcin p->strategy = 0; 1847137cd93aSLisandro Dalcin p->imbalance = 0.01; 1848137cd93aSLisandro Dalcin 1849137cd93aSLisandro Dalcin ierr = PetscPartitionerInitialize_PTScotch(part);CHKERRQ(ierr); 1850137cd93aSLisandro Dalcin ierr = PetscCitationsRegister(PTScotchPartitionerCitation, &PTScotchPartitionercite);CHKERRQ(ierr); 1851137cd93aSLisandro Dalcin PetscFunctionReturn(0); 1852137cd93aSLisandro Dalcin } 1853137cd93aSLisandro Dalcin 1854137cd93aSLisandro Dalcin 18555680f57bSMatthew G. Knepley /*@ 18565680f57bSMatthew G. Knepley DMPlexGetPartitioner - Get the mesh partitioner 18575680f57bSMatthew G. Knepley 18585680f57bSMatthew G. Knepley Not collective 18595680f57bSMatthew G. Knepley 18605680f57bSMatthew G. Knepley Input Parameter: 18615680f57bSMatthew G. Knepley . dm - The DM 18625680f57bSMatthew G. Knepley 18635680f57bSMatthew G. Knepley Output Parameter: 18645680f57bSMatthew G. Knepley . part - The PetscPartitioner 18655680f57bSMatthew G. Knepley 18665680f57bSMatthew G. Knepley Level: developer 18675680f57bSMatthew G. Knepley 186898599a47SLawrence Mitchell Note: This gets a borrowed reference, so the user should not destroy this PetscPartitioner. 186998599a47SLawrence Mitchell 187098599a47SLawrence Mitchell .seealso DMPlexDistribute(), DMPlexSetPartitioner(), PetscPartitionerCreate() 18715680f57bSMatthew G. Knepley @*/ 18725680f57bSMatthew G. Knepley PetscErrorCode DMPlexGetPartitioner(DM dm, PetscPartitioner *part) 18735680f57bSMatthew G. Knepley { 18745680f57bSMatthew G. Knepley DM_Plex *mesh = (DM_Plex *) dm->data; 18755680f57bSMatthew G. Knepley 18765680f57bSMatthew G. Knepley PetscFunctionBegin; 18775680f57bSMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 18785680f57bSMatthew G. Knepley PetscValidPointer(part, 2); 18795680f57bSMatthew G. Knepley *part = mesh->partitioner; 18805680f57bSMatthew G. Knepley PetscFunctionReturn(0); 18815680f57bSMatthew G. Knepley } 18825680f57bSMatthew G. Knepley 188371bb2955SLawrence Mitchell /*@ 188471bb2955SLawrence Mitchell DMPlexSetPartitioner - Set the mesh partitioner 188571bb2955SLawrence Mitchell 188671bb2955SLawrence Mitchell logically collective on dm and part 188771bb2955SLawrence Mitchell 188871bb2955SLawrence Mitchell Input Parameters: 188971bb2955SLawrence Mitchell + dm - The DM 189071bb2955SLawrence Mitchell - part - The partitioner 189171bb2955SLawrence Mitchell 189271bb2955SLawrence Mitchell Level: developer 189371bb2955SLawrence Mitchell 189471bb2955SLawrence Mitchell Note: Any existing PetscPartitioner will be destroyed. 189571bb2955SLawrence Mitchell 189671bb2955SLawrence Mitchell .seealso DMPlexDistribute(), DMPlexGetPartitioner(), PetscPartitionerCreate() 189771bb2955SLawrence Mitchell @*/ 189871bb2955SLawrence Mitchell PetscErrorCode DMPlexSetPartitioner(DM dm, PetscPartitioner part) 189971bb2955SLawrence Mitchell { 190071bb2955SLawrence Mitchell DM_Plex *mesh = (DM_Plex *) dm->data; 190171bb2955SLawrence Mitchell PetscErrorCode ierr; 190271bb2955SLawrence Mitchell 190371bb2955SLawrence Mitchell PetscFunctionBegin; 190471bb2955SLawrence Mitchell PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 190571bb2955SLawrence Mitchell PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 2); 190671bb2955SLawrence Mitchell ierr = PetscObjectReference((PetscObject)part);CHKERRQ(ierr); 190771bb2955SLawrence Mitchell ierr = PetscPartitionerDestroy(&mesh->partitioner);CHKERRQ(ierr); 190871bb2955SLawrence Mitchell mesh->partitioner = part; 190971bb2955SLawrence Mitchell PetscFunctionReturn(0); 191071bb2955SLawrence Mitchell } 191171bb2955SLawrence Mitchell 1912e8f14785SLisandro Dalcin static PetscErrorCode DMPlexAddClosure_Tree(DM dm, PetscHSetI ht, PetscInt point, PetscBool up, PetscBool down) 1913270bba0cSToby Isaac { 1914270bba0cSToby Isaac PetscErrorCode ierr; 1915270bba0cSToby Isaac 1916270bba0cSToby Isaac PetscFunctionBegin; 19176a5a2ffdSToby Isaac if (up) { 19186a5a2ffdSToby Isaac PetscInt parent; 19196a5a2ffdSToby Isaac 1920270bba0cSToby Isaac ierr = DMPlexGetTreeParent(dm,point,&parent,NULL);CHKERRQ(ierr); 19216a5a2ffdSToby Isaac if (parent != point) { 19226a5a2ffdSToby Isaac PetscInt closureSize, *closure = NULL, i; 19236a5a2ffdSToby Isaac 1924270bba0cSToby Isaac ierr = DMPlexGetTransitiveClosure(dm,parent,PETSC_TRUE,&closureSize,&closure);CHKERRQ(ierr); 1925270bba0cSToby Isaac for (i = 0; i < closureSize; i++) { 1926270bba0cSToby Isaac PetscInt cpoint = closure[2*i]; 1927270bba0cSToby Isaac 1928e8f14785SLisandro Dalcin ierr = PetscHSetIAdd(ht, cpoint);CHKERRQ(ierr); 19291b807c88SLisandro Dalcin ierr = DMPlexAddClosure_Tree(dm,ht,cpoint,PETSC_TRUE,PETSC_FALSE);CHKERRQ(ierr); 1930270bba0cSToby Isaac } 1931270bba0cSToby Isaac ierr = DMPlexRestoreTransitiveClosure(dm,parent,PETSC_TRUE,&closureSize,&closure);CHKERRQ(ierr); 19326a5a2ffdSToby Isaac } 19336a5a2ffdSToby Isaac } 19346a5a2ffdSToby Isaac if (down) { 19356a5a2ffdSToby Isaac PetscInt numChildren; 19366a5a2ffdSToby Isaac const PetscInt *children; 19376a5a2ffdSToby Isaac 19386a5a2ffdSToby Isaac ierr = DMPlexGetTreeChildren(dm,point,&numChildren,&children);CHKERRQ(ierr); 19396a5a2ffdSToby Isaac if (numChildren) { 19406a5a2ffdSToby Isaac PetscInt i; 19416a5a2ffdSToby Isaac 19426a5a2ffdSToby Isaac for (i = 0; i < numChildren; i++) { 19436a5a2ffdSToby Isaac PetscInt cpoint = children[i]; 19446a5a2ffdSToby Isaac 1945e8f14785SLisandro Dalcin ierr = PetscHSetIAdd(ht, cpoint);CHKERRQ(ierr); 19461b807c88SLisandro Dalcin ierr = DMPlexAddClosure_Tree(dm,ht,cpoint,PETSC_FALSE,PETSC_TRUE);CHKERRQ(ierr); 19476a5a2ffdSToby Isaac } 19486a5a2ffdSToby Isaac } 19496a5a2ffdSToby Isaac } 1950270bba0cSToby Isaac PetscFunctionReturn(0); 1951270bba0cSToby Isaac } 1952270bba0cSToby Isaac 19535abbe4feSMichael Lange /*@ 19545abbe4feSMichael Lange DMPlexPartitionLabelClosure - Add the closure of all points to the partition label 19555abbe4feSMichael Lange 19565abbe4feSMichael Lange Input Parameters: 19575abbe4feSMichael Lange + dm - The DM 19585abbe4feSMichael Lange - label - DMLabel assinging ranks to remote roots 19595abbe4feSMichael Lange 19605abbe4feSMichael Lange Level: developer 19615abbe4feSMichael Lange 19625abbe4feSMichael Lange .seealso: DMPlexPartitionLabelCreateSF, DMPlexDistribute(), DMPlexCreateOverlap 19635abbe4feSMichael Lange @*/ 19645abbe4feSMichael Lange PetscErrorCode DMPlexPartitionLabelClosure(DM dm, DMLabel label) 19659ffc88e4SToby Isaac { 19665abbe4feSMichael Lange IS rankIS, pointIS; 19675abbe4feSMichael Lange const PetscInt *ranks, *points; 19685abbe4feSMichael Lange PetscInt numRanks, numPoints, r, p, c, closureSize; 19695abbe4feSMichael Lange PetscInt *closure = NULL; 19701b807c88SLisandro Dalcin DM_Plex *mesh = (DM_Plex *)dm->data; 19711b807c88SLisandro Dalcin PetscBool hasTree = (mesh->parentSection || mesh->childSection) ? PETSC_TRUE : PETSC_FALSE; 19729ffc88e4SToby Isaac PetscErrorCode ierr; 19739ffc88e4SToby Isaac 19749ffc88e4SToby Isaac PetscFunctionBegin; 19755abbe4feSMichael Lange ierr = DMLabelGetValueIS(label, &rankIS);CHKERRQ(ierr); 19765abbe4feSMichael Lange ierr = ISGetLocalSize(rankIS, &numRanks);CHKERRQ(ierr); 19775abbe4feSMichael Lange ierr = ISGetIndices(rankIS, &ranks);CHKERRQ(ierr); 19781b807c88SLisandro Dalcin 19795abbe4feSMichael Lange for (r = 0; r < numRanks; ++r) { 19805abbe4feSMichael Lange const PetscInt rank = ranks[r]; 1981e8f14785SLisandro Dalcin PetscHSetI ht; 1982e8f14785SLisandro Dalcin PetscInt nelems, *elems, off = 0; 19839ffc88e4SToby Isaac 19845abbe4feSMichael Lange ierr = DMLabelGetStratumIS(label, rank, &pointIS);CHKERRQ(ierr); 19855abbe4feSMichael Lange ierr = ISGetLocalSize(pointIS, &numPoints);CHKERRQ(ierr); 19865abbe4feSMichael Lange ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr); 1987e8f14785SLisandro Dalcin ierr = PetscHSetICreate(&ht);CHKERRQ(ierr); 1988e8f14785SLisandro Dalcin ierr = PetscHSetIResize(ht, numPoints*16);CHKERRQ(ierr); 19895abbe4feSMichael Lange for (p = 0; p < numPoints; ++p) { 19905abbe4feSMichael Lange ierr = DMPlexGetTransitiveClosure(dm, points[p], PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr); 1991270bba0cSToby Isaac for (c = 0; c < closureSize*2; c += 2) { 1992e8f14785SLisandro Dalcin ierr = PetscHSetIAdd(ht, closure[c]);CHKERRQ(ierr); 19931b807c88SLisandro Dalcin if (hasTree) {ierr = DMPlexAddClosure_Tree(dm, ht, closure[c], PETSC_TRUE, PETSC_TRUE);CHKERRQ(ierr);} 1994270bba0cSToby Isaac } 19959ffc88e4SToby Isaac } 19965abbe4feSMichael Lange ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr); 19975abbe4feSMichael Lange ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 1998e8f14785SLisandro Dalcin ierr = PetscHSetIGetSize(ht, &nelems);CHKERRQ(ierr); 1999e8f14785SLisandro Dalcin ierr = PetscMalloc1(nelems, &elems);CHKERRQ(ierr); 2000f5a7d1c1SBarry Smith ierr = PetscHSetIGetElems(ht, &off, elems);CHKERRQ(ierr); 2001e8f14785SLisandro Dalcin ierr = PetscHSetIDestroy(&ht);CHKERRQ(ierr); 2002e8f14785SLisandro Dalcin ierr = PetscSortInt(nelems, elems);CHKERRQ(ierr); 2003e8f14785SLisandro Dalcin ierr = ISCreateGeneral(PETSC_COMM_SELF, nelems, elems, PETSC_OWN_POINTER, &pointIS);CHKERRQ(ierr); 20041b807c88SLisandro Dalcin ierr = DMLabelSetStratumIS(label, rank, pointIS);CHKERRQ(ierr); 20051b807c88SLisandro Dalcin ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 20069ffc88e4SToby Isaac } 20071b807c88SLisandro Dalcin 20081b807c88SLisandro Dalcin if (closure) {ierr = DMPlexRestoreTransitiveClosure(dm, 0, PETSC_TRUE, NULL, &closure);CHKERRQ(ierr);} 20095abbe4feSMichael Lange ierr = ISRestoreIndices(rankIS, &ranks);CHKERRQ(ierr); 20105abbe4feSMichael Lange ierr = ISDestroy(&rankIS);CHKERRQ(ierr); 20119ffc88e4SToby Isaac PetscFunctionReturn(0); 20129ffc88e4SToby Isaac } 20139ffc88e4SToby Isaac 201424d039d7SMichael Lange /*@ 201524d039d7SMichael Lange DMPlexPartitionLabelAdjacency - Add one level of adjacent points to the partition label 201624d039d7SMichael Lange 201724d039d7SMichael Lange Input Parameters: 201824d039d7SMichael Lange + dm - The DM 201924d039d7SMichael Lange - label - DMLabel assinging ranks to remote roots 202024d039d7SMichael Lange 202124d039d7SMichael Lange Level: developer 202224d039d7SMichael Lange 202324d039d7SMichael Lange .seealso: DMPlexPartitionLabelCreateSF, DMPlexDistribute(), DMPlexCreateOverlap 202424d039d7SMichael Lange @*/ 202524d039d7SMichael Lange PetscErrorCode DMPlexPartitionLabelAdjacency(DM dm, DMLabel label) 202670034214SMatthew G. Knepley { 202724d039d7SMichael Lange IS rankIS, pointIS; 202824d039d7SMichael Lange const PetscInt *ranks, *points; 202924d039d7SMichael Lange PetscInt numRanks, numPoints, r, p, a, adjSize; 203024d039d7SMichael Lange PetscInt *adj = NULL; 203170034214SMatthew G. Knepley PetscErrorCode ierr; 203270034214SMatthew G. Knepley 203370034214SMatthew G. Knepley PetscFunctionBegin; 203424d039d7SMichael Lange ierr = DMLabelGetValueIS(label, &rankIS);CHKERRQ(ierr); 203524d039d7SMichael Lange ierr = ISGetLocalSize(rankIS, &numRanks);CHKERRQ(ierr); 203624d039d7SMichael Lange ierr = ISGetIndices(rankIS, &ranks);CHKERRQ(ierr); 203724d039d7SMichael Lange for (r = 0; r < numRanks; ++r) { 203824d039d7SMichael Lange const PetscInt rank = ranks[r]; 203970034214SMatthew G. Knepley 204024d039d7SMichael Lange ierr = DMLabelGetStratumIS(label, rank, &pointIS);CHKERRQ(ierr); 204124d039d7SMichael Lange ierr = ISGetLocalSize(pointIS, &numPoints);CHKERRQ(ierr); 204224d039d7SMichael Lange ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr); 204370034214SMatthew G. Knepley for (p = 0; p < numPoints; ++p) { 204424d039d7SMichael Lange adjSize = PETSC_DETERMINE; 204524d039d7SMichael Lange ierr = DMPlexGetAdjacency(dm, points[p], &adjSize, &adj);CHKERRQ(ierr); 204624d039d7SMichael Lange for (a = 0; a < adjSize; ++a) {ierr = DMLabelSetValue(label, adj[a], rank);CHKERRQ(ierr);} 204770034214SMatthew G. Knepley } 204824d039d7SMichael Lange ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr); 204924d039d7SMichael Lange ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 205070034214SMatthew G. Knepley } 205124d039d7SMichael Lange ierr = ISRestoreIndices(rankIS, &ranks);CHKERRQ(ierr); 205224d039d7SMichael Lange ierr = ISDestroy(&rankIS);CHKERRQ(ierr); 205324d039d7SMichael Lange ierr = PetscFree(adj);CHKERRQ(ierr); 205424d039d7SMichael Lange PetscFunctionReturn(0); 205570034214SMatthew G. Knepley } 205670034214SMatthew G. Knepley 2057be200f8dSMichael Lange /*@ 2058be200f8dSMichael Lange DMPlexPartitionLabelPropagate - Propagate points in a partition label over the point SF 2059be200f8dSMichael Lange 2060be200f8dSMichael Lange Input Parameters: 2061be200f8dSMichael Lange + dm - The DM 2062be200f8dSMichael Lange - label - DMLabel assinging ranks to remote roots 2063be200f8dSMichael Lange 2064be200f8dSMichael Lange Level: developer 2065be200f8dSMichael Lange 2066be200f8dSMichael Lange Note: This is required when generating multi-level overlaps to capture 2067be200f8dSMichael Lange overlap points from non-neighbouring partitions. 2068be200f8dSMichael Lange 2069be200f8dSMichael Lange .seealso: DMPlexPartitionLabelCreateSF, DMPlexDistribute(), DMPlexCreateOverlap 2070be200f8dSMichael Lange @*/ 2071be200f8dSMichael Lange PetscErrorCode DMPlexPartitionLabelPropagate(DM dm, DMLabel label) 2072be200f8dSMichael Lange { 2073be200f8dSMichael Lange MPI_Comm comm; 2074be200f8dSMichael Lange PetscMPIInt rank; 2075be200f8dSMichael Lange PetscSF sfPoint; 20765d04f6ebSMichael Lange DMLabel lblRoots, lblLeaves; 2077be200f8dSMichael Lange IS rankIS, pointIS; 2078be200f8dSMichael Lange const PetscInt *ranks; 2079be200f8dSMichael Lange PetscInt numRanks, r; 2080be200f8dSMichael Lange PetscErrorCode ierr; 2081be200f8dSMichael Lange 2082be200f8dSMichael Lange PetscFunctionBegin; 2083be200f8dSMichael Lange ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr); 2084be200f8dSMichael Lange ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 2085be200f8dSMichael Lange ierr = DMGetPointSF(dm, &sfPoint);CHKERRQ(ierr); 20865d04f6ebSMichael Lange /* Pull point contributions from remote leaves into local roots */ 20875d04f6ebSMichael Lange ierr = DMLabelGather(label, sfPoint, &lblLeaves);CHKERRQ(ierr); 20885d04f6ebSMichael Lange ierr = DMLabelGetValueIS(lblLeaves, &rankIS);CHKERRQ(ierr); 20895d04f6ebSMichael Lange ierr = ISGetLocalSize(rankIS, &numRanks);CHKERRQ(ierr); 20905d04f6ebSMichael Lange ierr = ISGetIndices(rankIS, &ranks);CHKERRQ(ierr); 20915d04f6ebSMichael Lange for (r = 0; r < numRanks; ++r) { 20925d04f6ebSMichael Lange const PetscInt remoteRank = ranks[r]; 20935d04f6ebSMichael Lange if (remoteRank == rank) continue; 20945d04f6ebSMichael Lange ierr = DMLabelGetStratumIS(lblLeaves, remoteRank, &pointIS);CHKERRQ(ierr); 20955d04f6ebSMichael Lange ierr = DMLabelInsertIS(label, pointIS, remoteRank);CHKERRQ(ierr); 20965d04f6ebSMichael Lange ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 20975d04f6ebSMichael Lange } 20985d04f6ebSMichael Lange ierr = ISRestoreIndices(rankIS, &ranks);CHKERRQ(ierr); 20995d04f6ebSMichael Lange ierr = ISDestroy(&rankIS);CHKERRQ(ierr); 21005d04f6ebSMichael Lange ierr = DMLabelDestroy(&lblLeaves);CHKERRQ(ierr); 2101be200f8dSMichael Lange /* Push point contributions from roots into remote leaves */ 2102be200f8dSMichael Lange ierr = DMLabelDistribute(label, sfPoint, &lblRoots);CHKERRQ(ierr); 2103be200f8dSMichael Lange ierr = DMLabelGetValueIS(lblRoots, &rankIS);CHKERRQ(ierr); 2104be200f8dSMichael Lange ierr = ISGetLocalSize(rankIS, &numRanks);CHKERRQ(ierr); 2105be200f8dSMichael Lange ierr = ISGetIndices(rankIS, &ranks);CHKERRQ(ierr); 2106be200f8dSMichael Lange for (r = 0; r < numRanks; ++r) { 2107be200f8dSMichael Lange const PetscInt remoteRank = ranks[r]; 2108be200f8dSMichael Lange if (remoteRank == rank) continue; 2109be200f8dSMichael Lange ierr = DMLabelGetStratumIS(lblRoots, remoteRank, &pointIS);CHKERRQ(ierr); 2110be200f8dSMichael Lange ierr = DMLabelInsertIS(label, pointIS, remoteRank);CHKERRQ(ierr); 2111be200f8dSMichael Lange ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 2112be200f8dSMichael Lange } 2113be200f8dSMichael Lange ierr = ISRestoreIndices(rankIS, &ranks);CHKERRQ(ierr); 2114be200f8dSMichael Lange ierr = ISDestroy(&rankIS);CHKERRQ(ierr); 2115be200f8dSMichael Lange ierr = DMLabelDestroy(&lblRoots);CHKERRQ(ierr); 2116be200f8dSMichael Lange PetscFunctionReturn(0); 2117be200f8dSMichael Lange } 2118be200f8dSMichael Lange 21191fd9873aSMichael Lange /*@ 21201fd9873aSMichael Lange DMPlexPartitionLabelInvert - Create a partition label of remote roots from a local root label 21211fd9873aSMichael Lange 21221fd9873aSMichael Lange Input Parameters: 21231fd9873aSMichael Lange + dm - The DM 21241fd9873aSMichael Lange . rootLabel - DMLabel assinging ranks to local roots 21251fd9873aSMichael Lange . processSF - A star forest mapping into the local index on each remote rank 21261fd9873aSMichael Lange 21271fd9873aSMichael Lange Output Parameter: 21281fd9873aSMichael Lange - leafLabel - DMLabel assinging ranks to remote roots 21291fd9873aSMichael Lange 21301fd9873aSMichael Lange Note: The rootLabel defines a send pattern by mapping local points to remote target ranks. The 21311fd9873aSMichael Lange resulting leafLabel is a receiver mapping of remote roots to their parent rank. 21321fd9873aSMichael Lange 21331fd9873aSMichael Lange Level: developer 21341fd9873aSMichael Lange 21351fd9873aSMichael Lange .seealso: DMPlexPartitionLabelCreateSF, DMPlexDistribute(), DMPlexCreateOverlap 21361fd9873aSMichael Lange @*/ 21371fd9873aSMichael Lange PetscErrorCode DMPlexPartitionLabelInvert(DM dm, DMLabel rootLabel, PetscSF processSF, DMLabel leafLabel) 21381fd9873aSMichael Lange { 21391fd9873aSMichael Lange MPI_Comm comm; 21409852e123SBarry Smith PetscMPIInt rank, size; 21419852e123SBarry Smith PetscInt p, n, numNeighbors, ssize, l, nleaves; 21421fd9873aSMichael Lange PetscSF sfPoint; 21431fd9873aSMichael Lange PetscSFNode *rootPoints, *leafPoints; 21441fd9873aSMichael Lange PetscSection rootSection, leafSection; 21451fd9873aSMichael Lange const PetscSFNode *remote; 21461fd9873aSMichael Lange const PetscInt *local, *neighbors; 21471fd9873aSMichael Lange IS valueIS; 21481fd9873aSMichael Lange PetscErrorCode ierr; 21491fd9873aSMichael Lange 21501fd9873aSMichael Lange PetscFunctionBegin; 21511fd9873aSMichael Lange ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr); 21521fd9873aSMichael Lange ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 21539852e123SBarry Smith ierr = MPI_Comm_size(comm, &size);CHKERRQ(ierr); 21541fd9873aSMichael Lange ierr = DMGetPointSF(dm, &sfPoint);CHKERRQ(ierr); 21551fd9873aSMichael Lange 21561fd9873aSMichael Lange /* Convert to (point, rank) and use actual owners */ 21571fd9873aSMichael Lange ierr = PetscSectionCreate(comm, &rootSection);CHKERRQ(ierr); 21589852e123SBarry Smith ierr = PetscSectionSetChart(rootSection, 0, size);CHKERRQ(ierr); 21591fd9873aSMichael Lange ierr = DMLabelGetValueIS(rootLabel, &valueIS);CHKERRQ(ierr); 21601fd9873aSMichael Lange ierr = ISGetLocalSize(valueIS, &numNeighbors);CHKERRQ(ierr); 21611fd9873aSMichael Lange ierr = ISGetIndices(valueIS, &neighbors);CHKERRQ(ierr); 21621fd9873aSMichael Lange for (n = 0; n < numNeighbors; ++n) { 21631fd9873aSMichael Lange PetscInt numPoints; 21641fd9873aSMichael Lange 21651fd9873aSMichael Lange ierr = DMLabelGetStratumSize(rootLabel, neighbors[n], &numPoints);CHKERRQ(ierr); 21661fd9873aSMichael Lange ierr = PetscSectionAddDof(rootSection, neighbors[n], numPoints);CHKERRQ(ierr); 21671fd9873aSMichael Lange } 21681fd9873aSMichael Lange ierr = PetscSectionSetUp(rootSection);CHKERRQ(ierr); 21699852e123SBarry Smith ierr = PetscSectionGetStorageSize(rootSection, &ssize);CHKERRQ(ierr); 21709852e123SBarry Smith ierr = PetscMalloc1(ssize, &rootPoints);CHKERRQ(ierr); 21711fd9873aSMichael Lange ierr = PetscSFGetGraph(sfPoint, NULL, &nleaves, &local, &remote);CHKERRQ(ierr); 21721fd9873aSMichael Lange for (n = 0; n < numNeighbors; ++n) { 21731fd9873aSMichael Lange IS pointIS; 21741fd9873aSMichael Lange const PetscInt *points; 21751fd9873aSMichael Lange PetscInt off, numPoints, p; 21761fd9873aSMichael Lange 21771fd9873aSMichael Lange ierr = PetscSectionGetOffset(rootSection, neighbors[n], &off);CHKERRQ(ierr); 21781fd9873aSMichael Lange ierr = DMLabelGetStratumIS(rootLabel, neighbors[n], &pointIS);CHKERRQ(ierr); 21791fd9873aSMichael Lange ierr = ISGetLocalSize(pointIS, &numPoints);CHKERRQ(ierr); 21801fd9873aSMichael Lange ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr); 21811fd9873aSMichael Lange for (p = 0; p < numPoints; ++p) { 2182f8987ae8SMichael Lange if (local) {ierr = PetscFindInt(points[p], nleaves, local, &l);CHKERRQ(ierr);} 2183f8987ae8SMichael Lange else {l = -1;} 21841fd9873aSMichael Lange if (l >= 0) {rootPoints[off+p] = remote[l];} 21851fd9873aSMichael Lange else {rootPoints[off+p].index = points[p]; rootPoints[off+p].rank = rank;} 21861fd9873aSMichael Lange } 21871fd9873aSMichael Lange ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr); 21881fd9873aSMichael Lange ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 21891fd9873aSMichael Lange } 21901fd9873aSMichael Lange ierr = ISRestoreIndices(valueIS, &neighbors);CHKERRQ(ierr); 21911fd9873aSMichael Lange ierr = ISDestroy(&valueIS);CHKERRQ(ierr); 21921fd9873aSMichael Lange /* Communicate overlap */ 21931fd9873aSMichael Lange ierr = PetscSectionCreate(comm, &leafSection);CHKERRQ(ierr); 21941fd9873aSMichael Lange ierr = DMPlexDistributeData(dm, processSF, rootSection, MPIU_2INT, rootPoints, leafSection, (void**) &leafPoints);CHKERRQ(ierr); 21951fd9873aSMichael Lange /* Filter remote contributions (ovLeafPoints) into the overlapSF */ 21969852e123SBarry Smith ierr = PetscSectionGetStorageSize(leafSection, &ssize);CHKERRQ(ierr); 21979852e123SBarry Smith for (p = 0; p < ssize; p++) { 21981fd9873aSMichael Lange ierr = DMLabelSetValue(leafLabel, leafPoints[p].index, leafPoints[p].rank);CHKERRQ(ierr); 21991fd9873aSMichael Lange } 22001fd9873aSMichael Lange ierr = PetscFree(rootPoints);CHKERRQ(ierr); 22011fd9873aSMichael Lange ierr = PetscSectionDestroy(&rootSection);CHKERRQ(ierr); 22021fd9873aSMichael Lange ierr = PetscFree(leafPoints);CHKERRQ(ierr); 22031fd9873aSMichael Lange ierr = PetscSectionDestroy(&leafSection);CHKERRQ(ierr); 22041fd9873aSMichael Lange PetscFunctionReturn(0); 22051fd9873aSMichael Lange } 22061fd9873aSMichael Lange 2207aa3148a8SMichael Lange /*@ 2208aa3148a8SMichael Lange DMPlexPartitionLabelCreateSF - Create a star forest from a label that assigns ranks to points 2209aa3148a8SMichael Lange 2210aa3148a8SMichael Lange Input Parameters: 2211aa3148a8SMichael Lange + dm - The DM 2212aa3148a8SMichael Lange . label - DMLabel assinging ranks to remote roots 2213aa3148a8SMichael Lange 2214aa3148a8SMichael Lange Output Parameter: 2215aa3148a8SMichael Lange - sf - The star forest communication context encapsulating the defined mapping 2216aa3148a8SMichael Lange 2217aa3148a8SMichael Lange Note: The incoming label is a receiver mapping of remote points to their parent rank. 2218aa3148a8SMichael Lange 2219aa3148a8SMichael Lange Level: developer 2220aa3148a8SMichael Lange 2221aa3148a8SMichael Lange .seealso: DMPlexDistribute(), DMPlexCreateOverlap 2222aa3148a8SMichael Lange @*/ 2223aa3148a8SMichael Lange PetscErrorCode DMPlexPartitionLabelCreateSF(DM dm, DMLabel label, PetscSF *sf) 2224aa3148a8SMichael Lange { 22259852e123SBarry Smith PetscMPIInt rank, size; 222643f7d02bSMichael Lange PetscInt n, numRemote, p, numPoints, pStart, pEnd, idx = 0; 2227aa3148a8SMichael Lange PetscSFNode *remotePoints; 222843f7d02bSMichael Lange IS remoteRootIS; 222943f7d02bSMichael Lange const PetscInt *remoteRoots; 2230aa3148a8SMichael Lange PetscErrorCode ierr; 2231aa3148a8SMichael Lange 2232aa3148a8SMichael Lange PetscFunctionBegin; 223343f7d02bSMichael Lange ierr = MPI_Comm_rank(PetscObjectComm((PetscObject) dm), &rank);CHKERRQ(ierr); 22349852e123SBarry Smith ierr = MPI_Comm_size(PetscObjectComm((PetscObject) dm), &size);CHKERRQ(ierr); 2235aa3148a8SMichael Lange 22369852e123SBarry Smith for (numRemote = 0, n = 0; n < size; ++n) { 2237aa3148a8SMichael Lange ierr = DMLabelGetStratumSize(label, n, &numPoints);CHKERRQ(ierr); 2238aa3148a8SMichael Lange numRemote += numPoints; 2239aa3148a8SMichael Lange } 2240aa3148a8SMichael Lange ierr = PetscMalloc1(numRemote, &remotePoints);CHKERRQ(ierr); 224143f7d02bSMichael Lange /* Put owned points first */ 224243f7d02bSMichael Lange ierr = DMLabelGetStratumSize(label, rank, &numPoints);CHKERRQ(ierr); 224343f7d02bSMichael Lange if (numPoints > 0) { 224443f7d02bSMichael Lange ierr = DMLabelGetStratumIS(label, rank, &remoteRootIS);CHKERRQ(ierr); 224543f7d02bSMichael Lange ierr = ISGetIndices(remoteRootIS, &remoteRoots);CHKERRQ(ierr); 224643f7d02bSMichael Lange for (p = 0; p < numPoints; p++) { 224743f7d02bSMichael Lange remotePoints[idx].index = remoteRoots[p]; 224843f7d02bSMichael Lange remotePoints[idx].rank = rank; 224943f7d02bSMichael Lange idx++; 225043f7d02bSMichael Lange } 225143f7d02bSMichael Lange ierr = ISRestoreIndices(remoteRootIS, &remoteRoots);CHKERRQ(ierr); 225243f7d02bSMichael Lange ierr = ISDestroy(&remoteRootIS);CHKERRQ(ierr); 225343f7d02bSMichael Lange } 225443f7d02bSMichael Lange /* Now add remote points */ 22559852e123SBarry Smith for (n = 0; n < size; ++n) { 2256aa3148a8SMichael Lange ierr = DMLabelGetStratumSize(label, n, &numPoints);CHKERRQ(ierr); 225743f7d02bSMichael Lange if (numPoints <= 0 || n == rank) continue; 2258aa3148a8SMichael Lange ierr = DMLabelGetStratumIS(label, n, &remoteRootIS);CHKERRQ(ierr); 2259aa3148a8SMichael Lange ierr = ISGetIndices(remoteRootIS, &remoteRoots);CHKERRQ(ierr); 2260aa3148a8SMichael Lange for (p = 0; p < numPoints; p++) { 2261aa3148a8SMichael Lange remotePoints[idx].index = remoteRoots[p]; 2262aa3148a8SMichael Lange remotePoints[idx].rank = n; 2263aa3148a8SMichael Lange idx++; 2264aa3148a8SMichael Lange } 2265aa3148a8SMichael Lange ierr = ISRestoreIndices(remoteRootIS, &remoteRoots);CHKERRQ(ierr); 2266aa3148a8SMichael Lange ierr = ISDestroy(&remoteRootIS);CHKERRQ(ierr); 2267aa3148a8SMichael Lange } 2268aa3148a8SMichael Lange ierr = PetscSFCreate(PetscObjectComm((PetscObject) dm), sf);CHKERRQ(ierr); 2269aa3148a8SMichael Lange ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr); 2270aa3148a8SMichael Lange ierr = PetscSFSetGraph(*sf, pEnd-pStart, numRemote, NULL, PETSC_OWN_POINTER, remotePoints, PETSC_OWN_POINTER);CHKERRQ(ierr); 227170034214SMatthew G. Knepley PetscFunctionReturn(0); 227270034214SMatthew G. Knepley } 2273