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
PetscPartitionerDestroy_Chaco(PetscPartitioner part)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
PetscPartitionerPartition_Chaco(PetscPartitioner part,PetscInt nparts,PetscInt numVertices,PetscInt start[],PetscInt adjacency[],PetscSection vertSection,PetscSection edgeSection,PetscSection targetSection,PetscSection partSection,IS * partition)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
PetscPartitionerInitialize_Chaco(PetscPartitioner part)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
PetscPartitionerCreate_Chaco(PetscPartitioner part)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