1abe9303eSLisandro Dalcin #include <petsc/private/partitionerimpl.h> /*I "petscpartitioner.h" I*/ 2abe9303eSLisandro Dalcin 3abe9303eSLisandro Dalcin #if defined(PETSC_HAVE_PARMETIS) 4abe9303eSLisandro Dalcin #include <parmetis.h> 5abe9303eSLisandro Dalcin #endif 6abe9303eSLisandro Dalcin 7abe9303eSLisandro Dalcin PetscBool ParMetisPartitionerCite = PETSC_FALSE; 89371c9d4SSatish Balay const char ParMetisPartitionerCitation[] = "@article{KarypisKumar98,\n" 9abe9303eSLisandro Dalcin " author = {George Karypis and Vipin Kumar},\n" 10abe9303eSLisandro Dalcin " title = {A Parallel Algorithm for Multilevel Graph Partitioning and Sparse Matrix Ordering},\n" 11abe9303eSLisandro Dalcin " journal = {Journal of Parallel and Distributed Computing},\n" 12abe9303eSLisandro Dalcin " volume = {48},\n" 13abe9303eSLisandro Dalcin " pages = {71--85},\n" 14abe9303eSLisandro Dalcin " year = {1998}\n" 15abe9303eSLisandro Dalcin " doi = {https://doi.org/10.1006/jpdc.1997.1403}\n" 16abe9303eSLisandro Dalcin "}\n"; 17abe9303eSLisandro Dalcin 18abe9303eSLisandro Dalcin typedef struct { 19abe9303eSLisandro Dalcin MPI_Comm pcomm; 20abe9303eSLisandro Dalcin PetscInt ptype; 21abe9303eSLisandro Dalcin PetscReal imbalanceRatio; 22abe9303eSLisandro Dalcin PetscInt debugFlag; 23abe9303eSLisandro Dalcin PetscInt randomSeed; 24abe9303eSLisandro Dalcin } PetscPartitioner_ParMetis; 25abe9303eSLisandro Dalcin 26abe9303eSLisandro Dalcin static const char *ptypes[] = {"kway", "rb"}; 27abe9303eSLisandro Dalcin 289371c9d4SSatish Balay static PetscErrorCode PetscPartitionerDestroy_ParMetis(PetscPartitioner part) { 29abe9303eSLisandro Dalcin PetscPartitioner_ParMetis *p = (PetscPartitioner_ParMetis *)part->data; 30abe9303eSLisandro Dalcin 31abe9303eSLisandro Dalcin PetscFunctionBegin; 329566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_free(&p->pcomm)); 339566063dSJacob Faibussowitsch PetscCall(PetscFree(part->data)); 34abe9303eSLisandro Dalcin PetscFunctionReturn(0); 35abe9303eSLisandro Dalcin } 36abe9303eSLisandro Dalcin 379371c9d4SSatish Balay static PetscErrorCode PetscPartitionerView_ParMetis_ASCII(PetscPartitioner part, PetscViewer viewer) { 38abe9303eSLisandro Dalcin PetscPartitioner_ParMetis *p = (PetscPartitioner_ParMetis *)part->data; 39abe9303eSLisandro Dalcin 40abe9303eSLisandro Dalcin PetscFunctionBegin; 419566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPushTab(viewer)); 429566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "ParMetis type: %s\n", ptypes[p->ptype])); 439566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "load imbalance ratio %g\n", (double)p->imbalanceRatio)); 4463a3b9bcSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "debug flag %" PetscInt_FMT "\n", p->debugFlag)); 4563a3b9bcSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "random seed %" PetscInt_FMT "\n", p->randomSeed)); 469566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPopTab(viewer)); 47abe9303eSLisandro Dalcin PetscFunctionReturn(0); 48abe9303eSLisandro Dalcin } 49abe9303eSLisandro Dalcin 509371c9d4SSatish Balay static PetscErrorCode PetscPartitionerView_ParMetis(PetscPartitioner part, PetscViewer viewer) { 51abe9303eSLisandro Dalcin PetscBool iascii; 52abe9303eSLisandro Dalcin 53abe9303eSLisandro Dalcin PetscFunctionBegin; 54abe9303eSLisandro Dalcin PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 55abe9303eSLisandro Dalcin PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2); 569566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii)); 579566063dSJacob Faibussowitsch if (iascii) PetscCall(PetscPartitionerView_ParMetis_ASCII(part, viewer)); 58abe9303eSLisandro Dalcin PetscFunctionReturn(0); 59abe9303eSLisandro Dalcin } 60abe9303eSLisandro Dalcin 619371c9d4SSatish Balay static PetscErrorCode PetscPartitionerSetFromOptions_ParMetis(PetscPartitioner part, PetscOptionItems *PetscOptionsObject) { 62abe9303eSLisandro Dalcin PetscPartitioner_ParMetis *p = (PetscPartitioner_ParMetis *)part->data; 63abe9303eSLisandro Dalcin 64abe9303eSLisandro Dalcin PetscFunctionBegin; 65d0609cedSBarry Smith PetscOptionsHeadBegin(PetscOptionsObject, "PetscPartitioner ParMetis Options"); 669566063dSJacob Faibussowitsch PetscCall(PetscOptionsEList("-petscpartitioner_parmetis_type", "Partitioning method", "", ptypes, 2, ptypes[p->ptype], &p->ptype, NULL)); 679566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-petscpartitioner_parmetis_imbalance_ratio", "Load imbalance ratio limit", "", p->imbalanceRatio, &p->imbalanceRatio, NULL)); 689566063dSJacob Faibussowitsch PetscCall(PetscOptionsInt("-petscpartitioner_parmetis_debug", "Debugging flag", "", p->debugFlag, &p->debugFlag, NULL)); 699566063dSJacob Faibussowitsch PetscCall(PetscOptionsInt("-petscpartitioner_parmetis_seed", "Random seed", "", p->randomSeed, &p->randomSeed, NULL)); 70d0609cedSBarry Smith PetscOptionsHeadEnd(); 71abe9303eSLisandro Dalcin PetscFunctionReturn(0); 72abe9303eSLisandro Dalcin } 73abe9303eSLisandro Dalcin 749371c9d4SSatish Balay static PetscErrorCode PetscPartitionerPartition_ParMetis(PetscPartitioner part, PetscInt nparts, PetscInt numVertices, PetscInt start[], PetscInt adjacency[], PetscSection vertSection, PetscSection targetSection, PetscSection partSection, IS *partition) { 75abe9303eSLisandro Dalcin #if defined(PETSC_HAVE_PARMETIS) 76abe9303eSLisandro Dalcin PetscPartitioner_ParMetis *pm = (PetscPartitioner_ParMetis *)part->data; 77abe9303eSLisandro Dalcin MPI_Comm comm; 78abe9303eSLisandro Dalcin PetscInt nvtxs = numVertices; /* The number of vertices in full graph */ 79abe9303eSLisandro Dalcin PetscInt *vtxdist; /* Distribution of vertices across processes */ 80abe9303eSLisandro Dalcin PetscInt *xadj = start; /* Start of edge list for each vertex */ 81abe9303eSLisandro Dalcin PetscInt *adjncy = adjacency; /* Edge lists for all vertices */ 82abe9303eSLisandro Dalcin PetscInt *vwgt = NULL; /* Vertex weights */ 83abe9303eSLisandro Dalcin PetscInt *adjwgt = NULL; /* Edge weights */ 84abe9303eSLisandro Dalcin PetscInt wgtflag = 0; /* Indicates which weights are present */ 85abe9303eSLisandro Dalcin PetscInt numflag = 0; /* Indicates initial offset (0 or 1) */ 86abe9303eSLisandro Dalcin PetscInt ncon = 1; /* The number of weights per vertex */ 87abe9303eSLisandro Dalcin PetscInt metis_ptype = pm->ptype; /* kway or recursive bisection */ 88abe9303eSLisandro Dalcin real_t *tpwgts; /* The fraction of vertex weights assigned to each partition */ 89abe9303eSLisandro Dalcin real_t *ubvec; /* The balance intolerance for vertex weights */ 90abe9303eSLisandro Dalcin PetscInt options[64]; /* Options */ 91abe9303eSLisandro Dalcin PetscInt v, i, *assignment, *points; 92abe9303eSLisandro Dalcin PetscMPIInt p, size, rank; 93abe9303eSLisandro Dalcin PetscBool hasempty = PETSC_FALSE; 94abe9303eSLisandro Dalcin 95abe9303eSLisandro Dalcin PetscFunctionBegin; 969566063dSJacob Faibussowitsch PetscCall(PetscObjectGetComm((PetscObject)part, &comm)); 979566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(comm, &size)); 989566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_rank(comm, &rank)); 99abe9303eSLisandro Dalcin /* Calculate vertex distribution */ 1009566063dSJacob Faibussowitsch PetscCall(PetscMalloc4(size + 1, &vtxdist, nparts * ncon, &tpwgts, ncon, &ubvec, nvtxs, &assignment)); 101abe9303eSLisandro Dalcin vtxdist[0] = 0; 1029566063dSJacob Faibussowitsch PetscCallMPI(MPI_Allgather(&nvtxs, 1, MPIU_INT, &vtxdist[1], 1, MPIU_INT, comm)); 103abe9303eSLisandro Dalcin for (p = 2; p <= size; ++p) { 104abe9303eSLisandro Dalcin hasempty = (PetscBool)(hasempty || !vtxdist[p - 1] || !vtxdist[p]); 105abe9303eSLisandro Dalcin vtxdist[p] += vtxdist[p - 1]; 106abe9303eSLisandro Dalcin } 107abe9303eSLisandro Dalcin /* null graph */ 108abe9303eSLisandro Dalcin if (vtxdist[size] == 0) { 1099566063dSJacob Faibussowitsch PetscCall(PetscFree4(vtxdist, tpwgts, ubvec, assignment)); 1109566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(comm, 0, NULL, PETSC_OWN_POINTER, partition)); 111abe9303eSLisandro Dalcin PetscFunctionReturn(0); 112abe9303eSLisandro Dalcin } 113abe9303eSLisandro Dalcin /* Calculate partition weights */ 114abe9303eSLisandro Dalcin if (targetSection) { 115abe9303eSLisandro Dalcin PetscInt p; 116abe9303eSLisandro Dalcin real_t sumt = 0.0; 117abe9303eSLisandro Dalcin 118abe9303eSLisandro Dalcin for (p = 0; p < nparts; ++p) { 119abe9303eSLisandro Dalcin PetscInt tpd; 120abe9303eSLisandro Dalcin 1219566063dSJacob Faibussowitsch PetscCall(PetscSectionGetDof(targetSection, p, &tpd)); 122abe9303eSLisandro Dalcin sumt += tpd; 123abe9303eSLisandro Dalcin tpwgts[p] = tpd; 124abe9303eSLisandro Dalcin } 125abe9303eSLisandro Dalcin if (sumt) { /* METIS/ParMETIS do not like exactly zero weight */ 126abe9303eSLisandro Dalcin for (p = 0, sumt = 0.0; p < nparts; ++p) { 127abe9303eSLisandro Dalcin tpwgts[p] = PetscMax(tpwgts[p], PETSC_SMALL); 128abe9303eSLisandro Dalcin sumt += tpwgts[p]; 129abe9303eSLisandro Dalcin } 130abe9303eSLisandro Dalcin for (p = 0; p < nparts; ++p) tpwgts[p] /= sumt; 131abe9303eSLisandro Dalcin for (p = 0, sumt = 0.0; p < nparts - 1; ++p) sumt += tpwgts[p]; 132abe9303eSLisandro Dalcin tpwgts[nparts - 1] = 1. - sumt; 133abe9303eSLisandro Dalcin } 134abe9303eSLisandro Dalcin } else { 135abe9303eSLisandro Dalcin for (p = 0; p < nparts; ++p) tpwgts[p] = 1.0 / nparts; 136abe9303eSLisandro Dalcin } 137abe9303eSLisandro Dalcin ubvec[0] = pm->imbalanceRatio; 138abe9303eSLisandro Dalcin 139abe9303eSLisandro Dalcin /* Weight cells */ 140abe9303eSLisandro Dalcin if (vertSection) { 1419566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(nvtxs, &vwgt)); 142*48a46eb9SPierre Jolivet for (v = 0; v < nvtxs; ++v) PetscCall(PetscSectionGetDof(vertSection, v, &vwgt[v])); 143abe9303eSLisandro Dalcin wgtflag |= 2; /* have weights on graph vertices */ 144abe9303eSLisandro Dalcin } 145abe9303eSLisandro Dalcin 1469371c9d4SSatish Balay for (p = 0; !vtxdist[p + 1] && p < size; ++p) 1479371c9d4SSatish Balay ; 148abe9303eSLisandro Dalcin if (vtxdist[p + 1] == vtxdist[size]) { 149abe9303eSLisandro Dalcin if (rank == p) { 1502da392ccSBarry Smith int err; 1512da392ccSBarry Smith err = METIS_SetDefaultOptions(options); /* initialize all defaults */ 152abe9303eSLisandro Dalcin options[METIS_OPTION_DBGLVL] = pm->debugFlag; 153abe9303eSLisandro Dalcin options[METIS_OPTION_SEED] = pm->randomSeed; 15408401ef6SPierre Jolivet PetscCheck(err == METIS_OK, PETSC_COMM_SELF, PETSC_ERR_LIB, "Error in METIS_SetDefaultOptions()"); 155abe9303eSLisandro Dalcin if (metis_ptype == 1) { 156792fecdfSBarry Smith PetscStackPushExternal("METIS_PartGraphRecursive"); 1572da392ccSBarry Smith err = METIS_PartGraphRecursive(&nvtxs, &ncon, xadj, adjncy, vwgt, NULL, adjwgt, &nparts, tpwgts, ubvec, options, &part->edgeCut, assignment); 158abe9303eSLisandro Dalcin PetscStackPop; 15908401ef6SPierre Jolivet PetscCheck(err == METIS_OK, PETSC_COMM_SELF, PETSC_ERR_LIB, "Error in METIS_PartGraphRecursive()"); 160abe9303eSLisandro Dalcin } else { 161abe9303eSLisandro Dalcin /* 162abe9303eSLisandro Dalcin It would be nice to activate the two options below, but they would need some actual testing. 163abe9303eSLisandro Dalcin - Turning on these options may exercise path of the METIS code that have bugs and may break production runs. 164abe9303eSLisandro 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. 165abe9303eSLisandro Dalcin */ 166abe9303eSLisandro Dalcin /* options[METIS_OPTION_CONTIG] = 1; */ /* try to produce partitions that are contiguous */ 167abe9303eSLisandro Dalcin /* options[METIS_OPTION_MINCONN] = 1; */ /* minimize the maximum degree of the subdomain graph */ 168792fecdfSBarry Smith PetscStackPushExternal("METIS_PartGraphKway"); 1692da392ccSBarry Smith err = METIS_PartGraphKway(&nvtxs, &ncon, xadj, adjncy, vwgt, NULL, adjwgt, &nparts, tpwgts, ubvec, options, &part->edgeCut, assignment); 170abe9303eSLisandro Dalcin PetscStackPop; 17108401ef6SPierre Jolivet PetscCheck(err == METIS_OK, PETSC_COMM_SELF, PETSC_ERR_LIB, "Error in METIS_PartGraphKway()"); 172abe9303eSLisandro Dalcin } 173abe9303eSLisandro Dalcin } 174abe9303eSLisandro Dalcin } else { 175abe9303eSLisandro Dalcin MPI_Comm pcomm = pm->pcomm; 176abe9303eSLisandro Dalcin 177abe9303eSLisandro Dalcin options[0] = 1; /*use options */ 178abe9303eSLisandro Dalcin options[1] = pm->debugFlag; 179abe9303eSLisandro Dalcin options[2] = (pm->randomSeed == -1) ? 15 : pm->randomSeed; /* default is GLOBAL_SEED=15 from `libparmetis/defs.h` */ 180abe9303eSLisandro Dalcin 181abe9303eSLisandro Dalcin if (hasempty) { /* parmetis does not support empty graphs on some of the processes */ 182abe9303eSLisandro Dalcin PetscInt cnt; 183abe9303eSLisandro Dalcin 1849566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_split(pm->pcomm, !!nvtxs, rank, &pcomm)); 185abe9303eSLisandro Dalcin for (p = 0, cnt = 0; p < size; p++) { 186abe9303eSLisandro Dalcin if (vtxdist[p + 1] != vtxdist[p]) { 187abe9303eSLisandro Dalcin vtxdist[cnt + 1] = vtxdist[p + 1]; 188abe9303eSLisandro Dalcin cnt++; 189abe9303eSLisandro Dalcin } 190abe9303eSLisandro Dalcin } 191abe9303eSLisandro Dalcin } 192abe9303eSLisandro Dalcin if (nvtxs) { 1932da392ccSBarry Smith int err; 194792fecdfSBarry Smith PetscStackPushExternal("ParMETIS_V3_PartKway"); 1952da392ccSBarry Smith err = ParMETIS_V3_PartKway(vtxdist, xadj, adjncy, vwgt, adjwgt, &wgtflag, &numflag, &ncon, &nparts, tpwgts, ubvec, options, &part->edgeCut, assignment, &pcomm); 196abe9303eSLisandro Dalcin PetscStackPop; 19708401ef6SPierre Jolivet PetscCheck(err == METIS_OK, PETSC_COMM_SELF, PETSC_ERR_LIB, "Error %d in ParMETIS_V3_PartKway()", err); 198abe9303eSLisandro Dalcin } 199*48a46eb9SPierre Jolivet if (hasempty) PetscCallMPI(MPI_Comm_free(&pcomm)); 200abe9303eSLisandro Dalcin } 201abe9303eSLisandro Dalcin 202abe9303eSLisandro Dalcin /* Convert to PetscSection+IS */ 2039566063dSJacob Faibussowitsch for (v = 0; v < nvtxs; ++v) PetscCall(PetscSectionAddDof(partSection, assignment[v], 1)); 2049566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(nvtxs, &points)); 205abe9303eSLisandro Dalcin for (p = 0, i = 0; p < nparts; ++p) { 206abe9303eSLisandro Dalcin for (v = 0; v < nvtxs; ++v) { 207abe9303eSLisandro Dalcin if (assignment[v] == p) points[i++] = v; 208abe9303eSLisandro Dalcin } 209abe9303eSLisandro Dalcin } 21063a3b9bcSJacob Faibussowitsch PetscCheck(i == nvtxs, comm, PETSC_ERR_PLIB, "Number of points %" PetscInt_FMT " should be %" PetscInt_FMT, i, nvtxs); 2119566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(comm, nvtxs, points, PETSC_OWN_POINTER, partition)); 2129566063dSJacob Faibussowitsch PetscCall(PetscFree4(vtxdist, tpwgts, ubvec, assignment)); 2139566063dSJacob Faibussowitsch PetscCall(PetscFree(vwgt)); 214abe9303eSLisandro Dalcin PetscFunctionReturn(0); 215abe9303eSLisandro Dalcin #else 216abe9303eSLisandro Dalcin SETERRQ(PetscObjectComm((PetscObject)part), PETSC_ERR_SUP, "Mesh partitioning needs external package support.\nPlease reconfigure with --download-parmetis."); 217abe9303eSLisandro Dalcin #endif 218abe9303eSLisandro Dalcin } 219abe9303eSLisandro Dalcin 2209371c9d4SSatish Balay static PetscErrorCode PetscPartitionerInitialize_ParMetis(PetscPartitioner part) { 221abe9303eSLisandro Dalcin PetscFunctionBegin; 222abe9303eSLisandro Dalcin part->noGraph = PETSC_FALSE; 223abe9303eSLisandro Dalcin part->ops->view = PetscPartitionerView_ParMetis; 224abe9303eSLisandro Dalcin part->ops->setfromoptions = PetscPartitionerSetFromOptions_ParMetis; 225abe9303eSLisandro Dalcin part->ops->destroy = PetscPartitionerDestroy_ParMetis; 226abe9303eSLisandro Dalcin part->ops->partition = PetscPartitionerPartition_ParMetis; 227abe9303eSLisandro Dalcin PetscFunctionReturn(0); 228abe9303eSLisandro Dalcin } 229abe9303eSLisandro Dalcin 230abe9303eSLisandro Dalcin /*MC 231abe9303eSLisandro Dalcin PETSCPARTITIONERPARMETIS = "parmetis" - A PetscPartitioner object using the ParMETIS library 232abe9303eSLisandro Dalcin 233abe9303eSLisandro Dalcin Level: intermediate 234abe9303eSLisandro Dalcin 235abe9303eSLisandro Dalcin Options Database Keys: 236abe9303eSLisandro Dalcin + -petscpartitioner_parmetis_type <string> - ParMETIS partitioning type. Either "kway" or "rb" (recursive bisection) 237abe9303eSLisandro Dalcin . -petscpartitioner_parmetis_imbalance_ratio <value> - Load imbalance ratio limit 238abe9303eSLisandro Dalcin . -petscpartitioner_parmetis_debug <int> - Debugging flag passed to ParMETIS/METIS routines 239abe9303eSLisandro Dalcin - -petscpartitioner_parmetis_seed <int> - Random seed 240abe9303eSLisandro Dalcin 241abe9303eSLisandro Dalcin Notes: when the graph is on a single process, this partitioner actually calls METIS and not ParMETIS 242abe9303eSLisandro Dalcin 243db781477SPatrick Sanan .seealso: `PetscPartitionerType`, `PetscPartitionerCreate()`, `PetscPartitionerSetType()` 244abe9303eSLisandro Dalcin M*/ 245abe9303eSLisandro Dalcin 2469371c9d4SSatish Balay PETSC_EXTERN PetscErrorCode PetscPartitionerCreate_ParMetis(PetscPartitioner part) { 247abe9303eSLisandro Dalcin PetscPartitioner_ParMetis *p; 248abe9303eSLisandro Dalcin 249abe9303eSLisandro Dalcin PetscFunctionBegin; 250abe9303eSLisandro Dalcin PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 2519566063dSJacob Faibussowitsch PetscCall(PetscNewLog(part, &p)); 252abe9303eSLisandro Dalcin part->data = p; 253abe9303eSLisandro Dalcin 2549566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_dup(PetscObjectComm((PetscObject)part), &p->pcomm)); 255abe9303eSLisandro Dalcin p->ptype = 0; 256abe9303eSLisandro Dalcin p->imbalanceRatio = 1.05; 257abe9303eSLisandro Dalcin p->debugFlag = 0; 258abe9303eSLisandro Dalcin p->randomSeed = -1; /* defaults to GLOBAL_SEED=15 from `libparmetis/defs.h` */ 259abe9303eSLisandro Dalcin 2609566063dSJacob Faibussowitsch PetscCall(PetscPartitionerInitialize_ParMetis(part)); 2619566063dSJacob Faibussowitsch PetscCall(PetscCitationsRegister(ParMetisPartitionerCitation, &ParMetisPartitionerCite)); 262abe9303eSLisandro Dalcin PetscFunctionReturn(0); 263abe9303eSLisandro Dalcin } 264