163a3b9bcSJacob Faibussowitsch 2abe9303eSLisandro Dalcin #include <petscvec.h> 3abe9303eSLisandro Dalcin #include <petsc/private/partitionerimpl.h> /*I "petscpartitioner.h" I*/ 4abe9303eSLisandro Dalcin 5abe9303eSLisandro Dalcin typedef struct { 60c569c6eSMark PetscBool useGrid; /* Flag to use a grid layout */ 70c569c6eSMark PetscInt gridDim; /* The grid dimension */ 80c569c6eSMark PetscInt nodeGrid[3]; /* Dimension of node grid */ 90c569c6eSMark PetscInt processGrid[3]; /* Dimension of local process grid on each node */ 10abe9303eSLisandro Dalcin } PetscPartitioner_Simple; 11abe9303eSLisandro Dalcin 129371c9d4SSatish Balay static PetscErrorCode PetscPartitionerDestroy_Simple(PetscPartitioner part) { 13abe9303eSLisandro Dalcin PetscFunctionBegin; 149566063dSJacob Faibussowitsch PetscCall(PetscFree(part->data)); 15abe9303eSLisandro Dalcin PetscFunctionReturn(0); 16abe9303eSLisandro Dalcin } 17abe9303eSLisandro Dalcin 189371c9d4SSatish Balay static PetscErrorCode PetscPartitionerView_Simple_ASCII(PetscPartitioner part, PetscViewer viewer) { 19abe9303eSLisandro Dalcin PetscFunctionBegin; 20abe9303eSLisandro Dalcin PetscFunctionReturn(0); 21abe9303eSLisandro Dalcin } 22abe9303eSLisandro Dalcin 239371c9d4SSatish Balay static PetscErrorCode PetscPartitionerView_Simple(PetscPartitioner part, PetscViewer viewer) { 24abe9303eSLisandro Dalcin PetscBool iascii; 25abe9303eSLisandro Dalcin 26abe9303eSLisandro Dalcin PetscFunctionBegin; 27abe9303eSLisandro Dalcin PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 28abe9303eSLisandro Dalcin PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2); 299566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii)); 309566063dSJacob Faibussowitsch if (iascii) PetscCall(PetscPartitionerView_Simple_ASCII(part, viewer)); 31abe9303eSLisandro Dalcin PetscFunctionReturn(0); 32abe9303eSLisandro Dalcin } 33abe9303eSLisandro Dalcin 349371c9d4SSatish Balay static PetscErrorCode PetscPartitionerSetFromOptions_Simple(PetscPartitioner part, PetscOptionItems *PetscOptionsObject) { 350c569c6eSMark PetscPartitioner_Simple *p = (PetscPartitioner_Simple *)part->data; 360c569c6eSMark PetscInt num, i; 370c569c6eSMark PetscBool flg; 380c569c6eSMark 390c569c6eSMark PetscFunctionBegin; 400c569c6eSMark for (i = 0; i < 3; ++i) p->processGrid[i] = p->nodeGrid[i] = 1; 41d0609cedSBarry Smith PetscOptionsHeadBegin(PetscOptionsObject, "PetscPartitioner Simple Options"); 420c569c6eSMark num = 3; 439566063dSJacob Faibussowitsch PetscCall(PetscOptionsIntArray("-petscpartitioner_simple_node_grid", "Number of nodes in each dimension", "", p->nodeGrid, &num, &flg)); 449371c9d4SSatish Balay if (flg) { 459371c9d4SSatish Balay p->useGrid = PETSC_TRUE; 469371c9d4SSatish Balay p->gridDim = num; 479371c9d4SSatish Balay } 480c569c6eSMark num = 3; 499566063dSJacob Faibussowitsch PetscCall(PetscOptionsIntArray("-petscpartitioner_simple_process_grid", "Number of local processes in each dimension for a given node", "", p->processGrid, &num, &flg)); 500c569c6eSMark if (flg) { 510c569c6eSMark p->useGrid = PETSC_TRUE; 520c569c6eSMark if (p->gridDim < 0) p->gridDim = num; 5363a3b9bcSJacob Faibussowitsch else PetscCheck(p->gridDim == num, PetscObjectComm((PetscObject)part), PETSC_ERR_ARG_INCOMP, "Process grid dimension %" PetscInt_FMT " != %" PetscInt_FMT " node grid dimension", num, p->gridDim); 540c569c6eSMark } 55d0609cedSBarry Smith PetscOptionsHeadEnd(); 560c569c6eSMark PetscFunctionReturn(0); 570c569c6eSMark } 580c569c6eSMark 599371c9d4SSatish Balay static PetscErrorCode PetscPartitionerPartition_Simple_Grid(PetscPartitioner part, PetscInt nparts, PetscInt numVertices, PetscInt start[], PetscInt adjacency[], PetscSection vertSection, PetscSection targetSection, PetscSection partSection, IS *partition) { 600c569c6eSMark PetscPartitioner_Simple *p = (PetscPartitioner_Simple *)part->data; 610c569c6eSMark const PetscInt *nodes = p->nodeGrid; 620c569c6eSMark const PetscInt *procs = p->processGrid; 630c569c6eSMark PetscInt *cellproc, *offsets, cells[3] = {1, 1, 1}, pcells[3] = {1, 1, 1}; 64bd026e97SJed Brown PetscInt Np = 1, Nr, np, nk, nj, ni, pk, pj, pi, ck, cj, ci, i; 650c569c6eSMark MPI_Comm comm; 660c569c6eSMark PetscMPIInt size; 670c569c6eSMark 680c569c6eSMark PetscFunctionBegin; 699566063dSJacob Faibussowitsch if (vertSection) PetscCall(PetscInfo(part, "PETSCPARTITIONERSIMPLE ignores vertex weights when using grid partition\n")); 709566063dSJacob Faibussowitsch if (targetSection) PetscCall(PetscInfo(part, "PETSCPARTITIONERSIMPLE ignores partition weights when using grid partition\n")); 719566063dSJacob Faibussowitsch PetscCall(PetscObjectGetComm((PetscObject)part, &comm)); 729566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(comm, &size)); 730c569c6eSMark /* Check grid */ 740c569c6eSMark for (i = 0; i < 3; ++i) Np *= nodes[i] * procs[i]; 7563a3b9bcSJacob Faibussowitsch PetscCheck(nparts == Np, comm, PETSC_ERR_ARG_INCOMP, "Number of partitions %" PetscInt_FMT " != %" PetscInt_FMT " grid size", nparts, Np); 7663a3b9bcSJacob Faibussowitsch PetscCheck(nparts == size, comm, PETSC_ERR_ARG_INCOMP, "Number of partitions %" PetscInt_FMT " != %d processes", nparts, size); 7763a3b9bcSJacob Faibussowitsch PetscCheck(numVertices % nparts == 0, comm, PETSC_ERR_ARG_INCOMP, "Number of cells %" PetscInt_FMT " is not divisible by number of partitions %" PetscInt_FMT, numVertices, nparts); 780c569c6eSMark for (i = 0; i < p->gridDim; ++i) cells[i] = nodes[i] * procs[i]; 790c569c6eSMark Nr = numVertices / nparts; 800c569c6eSMark while (Nr > 1) { 810c569c6eSMark for (i = 0; i < p->gridDim; ++i) { 820c569c6eSMark cells[i] *= 2; 830c569c6eSMark Nr /= 2; 840c569c6eSMark } 850c569c6eSMark } 861dca8a05SBarry Smith PetscCheck(!numVertices || Nr == 1, PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Odd number of cells %" PetscInt_FMT ". Must be nprocs*2^k", numVertices); 870c569c6eSMark for (i = 0; i < p->gridDim; ++i) { 8863a3b9bcSJacob Faibussowitsch PetscCheck(cells[i] % (nodes[i] * procs[i]) == 0, PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "dir %" PetscInt_FMT ". Number of cells (%" PetscInt_FMT ") mod number of processors %" PetscInt_FMT, i, cells[i], nodes[i] * procs[i]); 89bd026e97SJed Brown pcells[i] = cells[i] / (nodes[i] * procs[i]); 900c569c6eSMark } 910c569c6eSMark /* Compute sizes */ 929566063dSJacob Faibussowitsch for (np = 0; np < nparts; ++np) PetscCall(PetscSectionSetDof(partSection, np, numVertices / nparts)); 939566063dSJacob Faibussowitsch PetscCall(PetscSectionSetUp(partSection)); 949566063dSJacob Faibussowitsch PetscCall(PetscCalloc1(nparts, &offsets)); 959566063dSJacob Faibussowitsch for (np = 0; np < nparts; ++np) PetscCall(PetscSectionGetOffset(partSection, np, &offsets[np])); 960c569c6eSMark if (!numVertices) pcells[0] = pcells[1] = pcells[2] = 0; 970c569c6eSMark /* Compute partition */ 989566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(numVertices, &cellproc)); 990c569c6eSMark for (nk = 0; nk < nodes[2]; ++nk) { 1000c569c6eSMark for (nj = 0; nj < nodes[1]; ++nj) { 1010c569c6eSMark for (ni = 0; ni < nodes[0]; ++ni) { 1020c569c6eSMark const PetscInt nid = (nk * nodes[1] + nj) * nodes[0] + ni; 1030c569c6eSMark 1040c569c6eSMark for (pk = 0; pk < procs[2]; ++pk) { 1050c569c6eSMark for (pj = 0; pj < procs[1]; ++pj) { 1060c569c6eSMark for (pi = 0; pi < procs[0]; ++pi) { 1070c569c6eSMark const PetscInt pid = ((nid * procs[2] + pk) * procs[1] + pj) * procs[0] + pi; 1080c569c6eSMark 1090c569c6eSMark /* Assume that cells are originally numbered lexicographically */ 1100c569c6eSMark for (ck = 0; ck < pcells[2]; ++ck) { 1110c569c6eSMark for (cj = 0; cj < pcells[1]; ++cj) { 1120c569c6eSMark for (ci = 0; ci < pcells[0]; ++ci) { 1130c569c6eSMark const PetscInt cid = (((nk * procs[2] + pk) * pcells[2] + ck) * cells[1] + ((nj * procs[1] + pj) * pcells[1] + cj)) * cells[0] + (ni * procs[0] + pi) * pcells[0] + ci; 1140c569c6eSMark 1150c569c6eSMark cellproc[offsets[pid]++] = cid; 1160c569c6eSMark } 1170c569c6eSMark } 1180c569c6eSMark } 1190c569c6eSMark } 1200c569c6eSMark } 1210c569c6eSMark } 1220c569c6eSMark } 1230c569c6eSMark } 1240c569c6eSMark } 1251dca8a05SBarry Smith for (np = 1; np < nparts; ++np) PetscCheck(offsets[np] - offsets[np - 1] == numVertices / nparts, PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Offset %" PetscInt_FMT " != %" PetscInt_FMT " partition size", offsets[np], numVertices / nparts); 1269566063dSJacob Faibussowitsch PetscCall(PetscFree(offsets)); 1279566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(PETSC_COMM_SELF, numVertices, cellproc, PETSC_OWN_POINTER, partition)); 1280c569c6eSMark PetscFunctionReturn(0); 1290c569c6eSMark } 1300c569c6eSMark 1319371c9d4SSatish Balay static PetscErrorCode PetscPartitionerPartition_Simple(PetscPartitioner part, PetscInt nparts, PetscInt numVertices, PetscInt start[], PetscInt adjacency[], PetscSection vertSection, PetscSection targetSection, PetscSection partSection, IS *partition) { 1320c569c6eSMark PetscPartitioner_Simple *p = (PetscPartitioner_Simple *)part->data; 133abe9303eSLisandro Dalcin MPI_Comm comm; 134abe9303eSLisandro Dalcin PetscInt np, *tpwgts = NULL, sumw = 0, numVerticesGlobal = 0; 135abe9303eSLisandro Dalcin PetscMPIInt size; 136abe9303eSLisandro Dalcin 137abe9303eSLisandro Dalcin PetscFunctionBegin; 1380c569c6eSMark if (p->useGrid) { 1399566063dSJacob Faibussowitsch PetscCall(PetscPartitionerPartition_Simple_Grid(part, nparts, numVertices, start, adjacency, vertSection, targetSection, partSection, partition)); 1400c569c6eSMark PetscFunctionReturn(0); 1410c569c6eSMark } 1429566063dSJacob Faibussowitsch if (vertSection) PetscCall(PetscInfo(part, "PETSCPARTITIONERSIMPLE ignores vertex weights\n")); 1439566063dSJacob Faibussowitsch PetscCall(PetscObjectGetComm((PetscObject)part, &comm)); 1449566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(comm, &size)); 145abe9303eSLisandro Dalcin if (targetSection) { 1461c2dc1cbSBarry Smith PetscCall(MPIU_Allreduce(&numVertices, &numVerticesGlobal, 1, MPIU_INT, MPI_SUM, comm)); 1479566063dSJacob Faibussowitsch PetscCall(PetscCalloc1(nparts, &tpwgts)); 148abe9303eSLisandro Dalcin for (np = 0; np < nparts; ++np) { 1499566063dSJacob Faibussowitsch PetscCall(PetscSectionGetDof(targetSection, np, &tpwgts[np])); 150abe9303eSLisandro Dalcin sumw += tpwgts[np]; 151abe9303eSLisandro Dalcin } 152d7cc930eSLisandro Dalcin if (sumw) { 153abe9303eSLisandro Dalcin PetscInt m, mp; 154abe9303eSLisandro Dalcin for (np = 0; np < nparts; ++np) tpwgts[np] = (tpwgts[np] * numVerticesGlobal) / sumw; 155abe9303eSLisandro Dalcin for (np = 0, m = -1, mp = 0, sumw = 0; np < nparts; ++np) { 1569371c9d4SSatish Balay if (m < tpwgts[np]) { 1579371c9d4SSatish Balay m = tpwgts[np]; 1589371c9d4SSatish Balay mp = np; 1599371c9d4SSatish Balay } 160abe9303eSLisandro Dalcin sumw += tpwgts[np]; 161abe9303eSLisandro Dalcin } 162abe9303eSLisandro Dalcin if (sumw != numVerticesGlobal) tpwgts[mp] += numVerticesGlobal - sumw; 163abe9303eSLisandro Dalcin } 1649566063dSJacob Faibussowitsch if (!sumw) PetscCall(PetscFree(tpwgts)); 165abe9303eSLisandro Dalcin } 166abe9303eSLisandro Dalcin 1679566063dSJacob Faibussowitsch PetscCall(ISCreateStride(PETSC_COMM_SELF, numVertices, 0, 1, partition)); 168abe9303eSLisandro Dalcin if (size == 1) { 169abe9303eSLisandro Dalcin if (tpwgts) { 17048a46eb9SPierre Jolivet for (np = 0; np < nparts; ++np) PetscCall(PetscSectionSetDof(partSection, np, tpwgts[np])); 171abe9303eSLisandro Dalcin } else { 17248a46eb9SPierre Jolivet for (np = 0; np < nparts; ++np) PetscCall(PetscSectionSetDof(partSection, np, numVertices / nparts + ((numVertices % nparts) > np))); 173abe9303eSLisandro Dalcin } 174abe9303eSLisandro Dalcin } else { 175abe9303eSLisandro Dalcin if (tpwgts) { 176abe9303eSLisandro Dalcin Vec v; 177abe9303eSLisandro Dalcin PetscScalar *array; 178abe9303eSLisandro Dalcin PetscInt st, j; 179abe9303eSLisandro Dalcin PetscMPIInt rank; 180abe9303eSLisandro Dalcin 1819566063dSJacob Faibussowitsch PetscCall(VecCreate(comm, &v)); 1829566063dSJacob Faibussowitsch PetscCall(VecSetSizes(v, numVertices, numVerticesGlobal)); 1839566063dSJacob Faibussowitsch PetscCall(VecSetType(v, VECSTANDARD)); 1849566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_rank(comm, &rank)); 185abe9303eSLisandro Dalcin for (np = 0, st = 0; np < nparts; ++np) { 186abe9303eSLisandro Dalcin if (rank == np || (rank == size - 1 && size < nparts && np >= size)) { 18748a46eb9SPierre Jolivet for (j = 0; j < tpwgts[np]; j++) PetscCall(VecSetValue(v, st + j, np, INSERT_VALUES)); 188abe9303eSLisandro Dalcin } 189abe9303eSLisandro Dalcin st += tpwgts[np]; 190abe9303eSLisandro Dalcin } 1919566063dSJacob Faibussowitsch PetscCall(VecAssemblyBegin(v)); 1929566063dSJacob Faibussowitsch PetscCall(VecAssemblyEnd(v)); 1939566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &array)); 19448a46eb9SPierre Jolivet for (j = 0; j < numVertices; ++j) PetscCall(PetscSectionAddDof(partSection, PetscRealPart(array[j]), 1)); 1959566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &array)); 1969566063dSJacob Faibussowitsch PetscCall(VecDestroy(&v)); 197abe9303eSLisandro Dalcin } else { 198abe9303eSLisandro Dalcin PetscMPIInt rank; 199abe9303eSLisandro Dalcin PetscInt nvGlobal, *offsets, myFirst, myLast; 200abe9303eSLisandro Dalcin 2019566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(size + 1, &offsets)); 202abe9303eSLisandro Dalcin offsets[0] = 0; 2039566063dSJacob Faibussowitsch PetscCallMPI(MPI_Allgather(&numVertices, 1, MPIU_INT, &offsets[1], 1, MPIU_INT, comm)); 204ad540459SPierre Jolivet for (np = 2; np <= size; np++) offsets[np] += offsets[np - 1]; 205abe9303eSLisandro Dalcin nvGlobal = offsets[size]; 2069566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_rank(comm, &rank)); 207abe9303eSLisandro Dalcin myFirst = offsets[rank]; 208abe9303eSLisandro Dalcin myLast = offsets[rank + 1] - 1; 2099566063dSJacob Faibussowitsch PetscCall(PetscFree(offsets)); 210abe9303eSLisandro Dalcin if (numVertices) { 211abe9303eSLisandro Dalcin PetscInt firstPart = 0, firstLargePart = 0; 212abe9303eSLisandro Dalcin PetscInt lastPart = 0, lastLargePart = 0; 213abe9303eSLisandro Dalcin PetscInt rem = nvGlobal % nparts; 214abe9303eSLisandro Dalcin PetscInt pSmall = nvGlobal / nparts; 215abe9303eSLisandro Dalcin PetscInt pBig = nvGlobal / nparts + 1; 216abe9303eSLisandro Dalcin 217abe9303eSLisandro Dalcin if (rem) { 218abe9303eSLisandro Dalcin firstLargePart = myFirst / pBig; 219abe9303eSLisandro Dalcin lastLargePart = myLast / pBig; 220abe9303eSLisandro Dalcin 221abe9303eSLisandro Dalcin if (firstLargePart < rem) { 222abe9303eSLisandro Dalcin firstPart = firstLargePart; 223abe9303eSLisandro Dalcin } else { 224abe9303eSLisandro Dalcin firstPart = rem + (myFirst - (rem * pBig)) / pSmall; 225abe9303eSLisandro Dalcin } 226abe9303eSLisandro Dalcin if (lastLargePart < rem) { 227abe9303eSLisandro Dalcin lastPart = lastLargePart; 228abe9303eSLisandro Dalcin } else { 229abe9303eSLisandro Dalcin lastPart = rem + (myLast - (rem * pBig)) / pSmall; 230abe9303eSLisandro Dalcin } 231abe9303eSLisandro Dalcin } else { 232abe9303eSLisandro Dalcin firstPart = myFirst / (nvGlobal / nparts); 233abe9303eSLisandro Dalcin lastPart = myLast / (nvGlobal / nparts); 234abe9303eSLisandro Dalcin } 235abe9303eSLisandro Dalcin 236abe9303eSLisandro Dalcin for (np = firstPart; np <= lastPart; np++) { 237abe9303eSLisandro Dalcin PetscInt PartStart = np * (nvGlobal / nparts) + PetscMin(nvGlobal % nparts, np); 238abe9303eSLisandro Dalcin PetscInt PartEnd = (np + 1) * (nvGlobal / nparts) + PetscMin(nvGlobal % nparts, np + 1); 239abe9303eSLisandro Dalcin 240abe9303eSLisandro Dalcin PartStart = PetscMax(PartStart, myFirst); 241abe9303eSLisandro Dalcin PartEnd = PetscMin(PartEnd, myLast + 1); 2429566063dSJacob Faibussowitsch PetscCall(PetscSectionSetDof(partSection, np, PartEnd - PartStart)); 243abe9303eSLisandro Dalcin } 244abe9303eSLisandro Dalcin } 245abe9303eSLisandro Dalcin } 246abe9303eSLisandro Dalcin } 2479566063dSJacob Faibussowitsch PetscCall(PetscFree(tpwgts)); 248abe9303eSLisandro Dalcin PetscFunctionReturn(0); 249abe9303eSLisandro Dalcin } 250abe9303eSLisandro Dalcin 2519371c9d4SSatish Balay static PetscErrorCode PetscPartitionerInitialize_Simple(PetscPartitioner part) { 252abe9303eSLisandro Dalcin PetscFunctionBegin; 253abe9303eSLisandro Dalcin part->noGraph = PETSC_TRUE; 254abe9303eSLisandro Dalcin part->ops->view = PetscPartitionerView_Simple; 2550c569c6eSMark part->ops->setfromoptions = PetscPartitionerSetFromOptions_Simple; 256abe9303eSLisandro Dalcin part->ops->destroy = PetscPartitionerDestroy_Simple; 257abe9303eSLisandro Dalcin part->ops->partition = PetscPartitionerPartition_Simple; 258abe9303eSLisandro Dalcin PetscFunctionReturn(0); 259abe9303eSLisandro Dalcin } 260abe9303eSLisandro Dalcin 261abe9303eSLisandro Dalcin /*MC 262abe9303eSLisandro Dalcin PETSCPARTITIONERSIMPLE = "simple" - A PetscPartitioner object 263abe9303eSLisandro Dalcin 264abe9303eSLisandro Dalcin Level: intermediate 265abe9303eSLisandro Dalcin 266db781477SPatrick Sanan .seealso: `PetscPartitionerType`, `PetscPartitionerCreate()`, `PetscPartitionerSetType()` 267abe9303eSLisandro Dalcin M*/ 268abe9303eSLisandro Dalcin 2699371c9d4SSatish Balay PETSC_EXTERN PetscErrorCode PetscPartitionerCreate_Simple(PetscPartitioner part) { 270abe9303eSLisandro Dalcin PetscPartitioner_Simple *p; 271abe9303eSLisandro Dalcin 272abe9303eSLisandro Dalcin PetscFunctionBegin; 273abe9303eSLisandro Dalcin PetscValidHeaderSpecific(part, PETSCPARTITIONER_CLASSID, 1); 274*4dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&p)); 2750c569c6eSMark p->gridDim = -1; 276abe9303eSLisandro Dalcin part->data = p; 277abe9303eSLisandro Dalcin 2789566063dSJacob Faibussowitsch PetscCall(PetscPartitionerInitialize_Simple(part)); 279abe9303eSLisandro Dalcin PetscFunctionReturn(0); 280abe9303eSLisandro Dalcin } 281