1abe9303eSLisandro Dalcin #include <petsc/private/partitionerimpl.h> /*I "petscpartitioner.h" I*/ 2abe9303eSLisandro Dalcin 3abe9303eSLisandro Dalcin PetscBool ChacoPartitionerCite = PETSC_FALSE; 49371c9d4SSatish Balay const char ChacoPartitionerCitation[] = "@inproceedings{Chaco95,\n" 5abe9303eSLisandro Dalcin " author = {Bruce Hendrickson and Robert Leland},\n" 6abe9303eSLisandro Dalcin " title = {A multilevel algorithm for partitioning graphs},\n" 7abe9303eSLisandro Dalcin " booktitle = {Supercomputing '95: Proceedings of the 1995 ACM/IEEE Conference on Supercomputing (CDROM)}," 8abe9303eSLisandro Dalcin " isbn = {0-89791-816-9},\n" 9abe9303eSLisandro Dalcin " pages = {28},\n" 10abe9303eSLisandro Dalcin " doi = {https://doi.acm.org/10.1145/224170.224228},\n" 11abe9303eSLisandro Dalcin " publisher = {ACM Press},\n" 12abe9303eSLisandro Dalcin " address = {New York},\n" 13abe9303eSLisandro Dalcin " year = {1995}\n" 14abe9303eSLisandro Dalcin "}\n"; 15abe9303eSLisandro Dalcin 16abe9303eSLisandro Dalcin typedef struct { 17*2a8381b2SBarry Smith PetscInt unused; 18abe9303eSLisandro Dalcin } PetscPartitioner_Chaco; 19abe9303eSLisandro Dalcin 20d71ae5a4SJacob Faibussowitsch static PetscErrorCode PetscPartitionerDestroy_Chaco(PetscPartitioner part) 21d71ae5a4SJacob Faibussowitsch { 22abe9303eSLisandro Dalcin PetscPartitioner_Chaco *p = (PetscPartitioner_Chaco *)part->data; 23abe9303eSLisandro Dalcin 24abe9303eSLisandro Dalcin PetscFunctionBegin; 259566063dSJacob Faibussowitsch PetscCall(PetscFree(p)); 263ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 27abe9303eSLisandro Dalcin } 28abe9303eSLisandro Dalcin 29abe9303eSLisandro Dalcin #if defined(PETSC_HAVE_CHACO) 30abe9303eSLisandro Dalcin #if defined(PETSC_HAVE_UNISTD_H) 31abe9303eSLisandro Dalcin #include <unistd.h> 32abe9303eSLisandro Dalcin #endif 33abe9303eSLisandro Dalcin #if defined(PETSC_HAVE_CHACO_INT_ASSIGNMENT) 34abe9303eSLisandro Dalcin #include <chaco.h> 35abe9303eSLisandro Dalcin #else 36abe9303eSLisandro Dalcin /* Older versions of Chaco do not have an include file */ 379371c9d4SSatish Balay PETSC_EXTERN int interface(int nvtxs, int *start, int *adjacency, int *vwgts, float *ewgts, float *x, float *y, float *z, char *outassignname, char *outfilename, short *assignment, int architecture, int ndims_tot, int mesh_dims[3], double *goal, int global_method, int local_method, int rqi_flag, int vmax, int ndims, double eigtol, long seed); 38abe9303eSLisandro Dalcin #endif 39abe9303eSLisandro Dalcin extern int FREE_GRAPH; 40abe9303eSLisandro Dalcin #endif 41abe9303eSLisandro Dalcin 4221c92275SMatthew G. Knepley static PetscErrorCode PetscPartitionerPartition_Chaco(PetscPartitioner part, PetscInt nparts, PetscInt numVertices, PetscInt start[], PetscInt adjacency[], PetscSection vertSection, PetscSection edgeSection, PetscSection targetSection, PetscSection partSection, IS *partition) 43d71ae5a4SJacob Faibussowitsch { 44abe9303eSLisandro Dalcin #if defined(PETSC_HAVE_CHACO) 459371c9d4SSatish Balay enum { 469371c9d4SSatish Balay DEFAULT_METHOD = 1, 479371c9d4SSatish Balay INERTIAL_METHOD = 3 489371c9d4SSatish Balay }; 49abe9303eSLisandro Dalcin MPI_Comm comm; 50abe9303eSLisandro Dalcin int nvtxs = numVertices; /* number of vertices in full graph */ 51abe9303eSLisandro Dalcin int *vwgts = NULL; /* weights for all vertices */ 52abe9303eSLisandro Dalcin float *ewgts = NULL; /* weights for all edges */ 53abe9303eSLisandro Dalcin float *x = NULL, *y = NULL, *z = NULL; /* coordinates for inertial method */ 54abe9303eSLisandro Dalcin char *outassignname = NULL; /* name of assignment output file */ 55abe9303eSLisandro Dalcin char *outfilename = NULL; /* output file name */ 56abe9303eSLisandro Dalcin int architecture = 1; /* 0 => hypercube, d => d-dimensional mesh */ 57abe9303eSLisandro Dalcin int ndims_tot = 0; /* total number of cube dimensions to divide */ 58abe9303eSLisandro Dalcin int mesh_dims[3]; /* dimensions of mesh of processors */ 59abe9303eSLisandro Dalcin double *goal = NULL; /* desired set sizes for each set */ 60abe9303eSLisandro Dalcin int global_method = 1; /* global partitioning algorithm */ 61abe9303eSLisandro Dalcin int local_method = 1; /* local partitioning algorithm */ 62abe9303eSLisandro Dalcin int rqi_flag = 0; /* should I use RQI/Symmlq eigensolver? */ 63abe9303eSLisandro Dalcin int vmax = 200; /* how many vertices to coarsen down to? */ 64abe9303eSLisandro Dalcin int ndims = 1; /* number of eigenvectors (2^d sets) */ 65abe9303eSLisandro Dalcin double eigtol = 0.001; /* tolerance on eigenvectors */ 66abe9303eSLisandro Dalcin long seed = 123636512; /* for random graph mutations */ 67abe9303eSLisandro Dalcin #if defined(PETSC_HAVE_CHACO_INT_ASSIGNMENT) 68abe9303eSLisandro Dalcin int *assignment; /* Output partition */ 69abe9303eSLisandro Dalcin #else 70abe9303eSLisandro Dalcin short int *assignment; /* Output partition */ 71abe9303eSLisandro Dalcin #endif 72abe9303eSLisandro Dalcin int fd_stdout, fd_pipe[2]; 73abe9303eSLisandro Dalcin PetscInt *points; 74abe9303eSLisandro Dalcin int i, v, p; 75d0609cedSBarry Smith int err; 76abe9303eSLisandro Dalcin 77abe9303eSLisandro Dalcin PetscFunctionBegin; 789566063dSJacob Faibussowitsch PetscCall(PetscObjectGetComm((PetscObject)part, &comm)); 79abe9303eSLisandro Dalcin if (PetscDefined(USE_DEBUG)) { 80abe9303eSLisandro Dalcin int ival, isum; 81abe9303eSLisandro Dalcin PetscBool distributed; 82abe9303eSLisandro Dalcin 83abe9303eSLisandro Dalcin ival = (numVertices > 0); 846a210b70SBarry Smith PetscCallMPI(MPIU_Allreduce(&ival, &isum, 1, MPI_INT, MPI_SUM, comm)); 85abe9303eSLisandro Dalcin distributed = (isum > 1) ? PETSC_TRUE : PETSC_FALSE; 8628b400f6SJacob Faibussowitsch PetscCheck(!distributed, comm, PETSC_ERR_SUP, "Chaco cannot partition a distributed graph"); 87abe9303eSLisandro Dalcin } 88abe9303eSLisandro Dalcin if (!numVertices) { /* distributed case, return if not holding the graph */ 899566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(comm, 0, NULL, PETSC_OWN_POINTER, partition)); 903ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 91abe9303eSLisandro Dalcin } 92abe9303eSLisandro Dalcin FREE_GRAPH = 0; /* Do not let Chaco free my memory */ 93abe9303eSLisandro Dalcin for (i = 0; i < start[numVertices]; ++i) ++adjacency[i]; 94abe9303eSLisandro Dalcin 95e08b1d6dSBarry Smith /* code would use manager.createCellCoordinates(nvtxs, &x, &y, &z); */ 96e08b1d6dSBarry Smith PetscCheck(global_method != INERTIAL_METHOD, PETSC_COMM_SELF, PETSC_ERR_SUP, "Inertial partitioning not yet supported"); 97e08b1d6dSBarry Smith 98abe9303eSLisandro Dalcin mesh_dims[0] = nparts; 99abe9303eSLisandro Dalcin mesh_dims[1] = 1; 100abe9303eSLisandro Dalcin mesh_dims[2] = 1; 1019566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(nvtxs, &assignment)); 102abe9303eSLisandro Dalcin /* Chaco outputs to stdout. We redirect this to a buffer. */ 103abe9303eSLisandro Dalcin /* TODO: check error codes for UNIX calls */ 104abe9303eSLisandro Dalcin #if defined(PETSC_HAVE_UNISTD_H) 105abe9303eSLisandro Dalcin { 106abe9303eSLisandro Dalcin int piperet; 107abe9303eSLisandro Dalcin piperet = pipe(fd_pipe); 10828b400f6SJacob Faibussowitsch PetscCheck(!piperet, PETSC_COMM_SELF, PETSC_ERR_SYS, "Could not create pipe"); 109abe9303eSLisandro Dalcin fd_stdout = dup(1); 110abe9303eSLisandro Dalcin close(1); 111abe9303eSLisandro Dalcin dup2(fd_pipe[1], 1); 112abe9303eSLisandro Dalcin } 113abe9303eSLisandro Dalcin #endif 1149566063dSJacob Faibussowitsch if (part->usevwgt) PetscCall(PetscInfo(part, "PETSCPARTITIONERCHACO ignores vertex weights\n")); 11521c92275SMatthew G. Knepley if (part->useewgt) PetscCall(PetscInfo(part, "PETSCPARTITIONERCHACO ignores edge weights\n")); 1169371c9d4SSatish Balay err = interface(nvtxs, (int *)start, (int *)adjacency, vwgts, ewgts, x, y, z, outassignname, outfilename, assignment, architecture, ndims_tot, mesh_dims, goal, global_method, local_method, rqi_flag, vmax, ndims, eigtol, seed); 117abe9303eSLisandro Dalcin #if defined(PETSC_HAVE_UNISTD_H) 118abe9303eSLisandro Dalcin { 119abe9303eSLisandro Dalcin char msgLog[10000]; 120abe9303eSLisandro Dalcin int count; 121abe9303eSLisandro Dalcin 122c69effb2SJacob Faibussowitsch PetscCall(PetscFFlush(stdout)); 1236497c311SBarry Smith count = (int)read(fd_pipe[0], msgLog, (10000 - 1) * sizeof(char)); 124abe9303eSLisandro Dalcin if (count < 0) count = 0; 125abe9303eSLisandro Dalcin msgLog[count] = 0; 126abe9303eSLisandro Dalcin close(1); 127abe9303eSLisandro Dalcin dup2(fd_stdout, 1); 128abe9303eSLisandro Dalcin close(fd_stdout); 129abe9303eSLisandro Dalcin close(fd_pipe[0]); 130abe9303eSLisandro Dalcin close(fd_pipe[1]); 131d0609cedSBarry Smith PetscCheck(!err, PETSC_COMM_SELF, PETSC_ERR_LIB, "Error in Chaco library: %s", msgLog); 132abe9303eSLisandro Dalcin } 133abe9303eSLisandro Dalcin #else 134d0609cedSBarry Smith PetscCheck(!err, PETSC_COMM_SELF, PETSC_ERR_LIB, "Error in Chaco library: %s", "error in stdout"); 135abe9303eSLisandro Dalcin #endif 136abe9303eSLisandro Dalcin /* Convert to PetscSection+IS */ 13748a46eb9SPierre Jolivet for (v = 0; v < nvtxs; ++v) PetscCall(PetscSectionAddDof(partSection, assignment[v], 1)); 1389566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(nvtxs, &points)); 139abe9303eSLisandro Dalcin for (p = 0, i = 0; p < nparts; ++p) { 140abe9303eSLisandro Dalcin for (v = 0; v < nvtxs; ++v) { 141abe9303eSLisandro Dalcin if (assignment[v] == p) points[i++] = v; 142abe9303eSLisandro Dalcin } 143abe9303eSLisandro Dalcin } 14463a3b9bcSJacob Faibussowitsch PetscCheck(i == nvtxs, PETSC_COMM_SELF, PETSC_ERR_PLIB, "Number of points %" PetscInt_FMT " should be %" PetscInt_FMT, i, nvtxs); 1459566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(comm, nvtxs, points, PETSC_OWN_POINTER, partition)); 146e08b1d6dSBarry Smith /* code would use manager.destroyCellCoordinates(nvtxs, &x, &y, &z); */ 147e08b1d6dSBarry Smith PetscCheck(global_method != INERTIAL_METHOD, PETSC_COMM_SELF, PETSC_ERR_SUP, "Inertial partitioning not yet supported"); 1489566063dSJacob Faibussowitsch PetscCall(PetscFree(assignment)); 149abe9303eSLisandro Dalcin for (i = 0; i < start[numVertices]; ++i) --adjacency[i]; 1503ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 151abe9303eSLisandro Dalcin #else 152abe9303eSLisandro Dalcin SETERRQ(PetscObjectComm((PetscObject)part), PETSC_ERR_SUP, "Mesh partitioning needs external package support.\nPlease reconfigure with --download-chaco."); 153abe9303eSLisandro Dalcin #endif 154abe9303eSLisandro Dalcin } 155abe9303eSLisandro Dalcin 156d71ae5a4SJacob Faibussowitsch static PetscErrorCode PetscPartitionerInitialize_Chaco(PetscPartitioner part) 157d71ae5a4SJacob Faibussowitsch { 158abe9303eSLisandro Dalcin PetscFunctionBegin; 159abe9303eSLisandro Dalcin part->noGraph = PETSC_FALSE; 160abe9303eSLisandro Dalcin part->ops->destroy = PetscPartitionerDestroy_Chaco; 161abe9303eSLisandro Dalcin part->ops->partition = PetscPartitionerPartition_Chaco; 1623ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 163abe9303eSLisandro Dalcin } 164abe9303eSLisandro Dalcin 165abe9303eSLisandro Dalcin /*MC 166abe9303eSLisandro Dalcin PETSCPARTITIONERCHACO = "chaco" - A PetscPartitioner object using the Chaco library 167abe9303eSLisandro Dalcin 168abe9303eSLisandro Dalcin Level: intermediate 169abe9303eSLisandro Dalcin 170db781477SPatrick Sanan .seealso: `PetscPartitionerType`, `PetscPartitionerCreate()`, `PetscPartitionerSetType()` 171abe9303eSLisandro Dalcin M*/ 172abe9303eSLisandro Dalcin 173d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscPartitionerCreate_Chaco(PetscPartitioner part) 174d71ae5a4SJacob Faibussowitsch { 175abe9303eSLisandro Dalcin PetscPartitioner_Chaco *p; 176abe9303eSLisandro Dalcin 177abe9303eSLisandro Dalcin PetscFunctionBegin; 178abe9303eSLisandro Dalcin PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 1794dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&p)); 180abe9303eSLisandro Dalcin part->data = p; 181abe9303eSLisandro Dalcin 1829566063dSJacob Faibussowitsch PetscCall(PetscPartitionerInitialize_Chaco(part)); 1839566063dSJacob Faibussowitsch PetscCall(PetscCitationsRegister(ChacoPartitionerCitation, &ChacoPartitionerCite)); 1843ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 185abe9303eSLisandro Dalcin } 186