1df826632SBarry Smith 2df826632SBarry Smith /* 3df826632SBarry Smith This file defines a "solve the problem redistributely on each subgroup of processor" preconditioner. 4df826632SBarry Smith */ 5af0996ceSBarry Smith #include <petsc/private/pcimpl.h> /*I "petscksp.h" I*/ 6c6db04a5SJed Brown #include <petscksp.h> 7df826632SBarry Smith 8df826632SBarry Smith typedef struct { 9df826632SBarry Smith KSP ksp; 10df826632SBarry Smith Vec x, b; 11df826632SBarry Smith VecScatter scatter; 12911f9fe8SBarry Smith IS is; 13181dd334SBarry Smith PetscInt dcnt, *drows; /* these are the local rows that have only diagonal entry */ 14181dd334SBarry Smith PetscScalar *diag; 15181dd334SBarry Smith Vec work; 16df826632SBarry Smith } PC_Redistribute; 17df826632SBarry Smith 18*d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCView_Redistribute(PC pc, PetscViewer viewer) 19*d71ae5a4SJacob Faibussowitsch { 20df826632SBarry Smith PC_Redistribute *red = (PC_Redistribute *)pc->data; 21ace3abfcSBarry Smith PetscBool iascii, isstring; 22181dd334SBarry Smith PetscInt ncnt, N; 23df826632SBarry Smith 24df826632SBarry Smith PetscFunctionBegin; 259566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii)); 269566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERSTRING, &isstring)); 27df826632SBarry Smith if (iascii) { 281c2dc1cbSBarry Smith PetscCall(MPIU_Allreduce(&red->dcnt, &ncnt, 1, MPIU_INT, MPI_SUM, PetscObjectComm((PetscObject)pc))); 299566063dSJacob Faibussowitsch PetscCall(MatGetSize(pc->pmat, &N, NULL)); 3063a3b9bcSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " Number rows eliminated %" PetscInt_FMT " Percentage rows eliminated %g\n", ncnt, (double)(100.0 * ((PetscReal)ncnt) / ((PetscReal)N)))); 319566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " Redistribute preconditioner: \n")); 329566063dSJacob Faibussowitsch PetscCall(KSPView(red->ksp, viewer)); 33df826632SBarry Smith } else if (isstring) { 349566063dSJacob Faibussowitsch PetscCall(PetscViewerStringSPrintf(viewer, " Redistribute preconditioner")); 359566063dSJacob Faibussowitsch PetscCall(KSPView(red->ksp, viewer)); 3611aeaf0aSBarry Smith } 37df826632SBarry Smith PetscFunctionReturn(0); 38df826632SBarry Smith } 39df826632SBarry Smith 40*d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCSetUp_Redistribute(PC pc) 41*d71ae5a4SJacob Faibussowitsch { 42df826632SBarry Smith PC_Redistribute *red = (PC_Redistribute *)pc->data; 43df826632SBarry Smith MPI_Comm comm; 44181dd334SBarry Smith PetscInt rstart, rend, i, nz, cnt, *rows, ncnt, dcnt, *drows; 4526283091SBarry Smith PetscLayout map, nmap; 46ec4bef21SJose E. Roman PetscMPIInt size, tag, n; 47ec4bef21SJose E. Roman PETSC_UNUSED PetscMPIInt imdex; 480298fd71SBarry Smith PetscInt *source = NULL; 4976ec1555SBarry Smith PetscMPIInt *sizes = NULL, nrecvs; 50df826632SBarry Smith PetscInt j, nsends; 510298fd71SBarry Smith PetscInt *owner = NULL, *starts = NULL, count, slen; 52e8dd6687SHong Zhang PetscInt *rvalues, *svalues, recvtotal; 53df826632SBarry Smith PetscMPIInt *onodes1, *olengths1; 540298fd71SBarry Smith MPI_Request *send_waits = NULL, *recv_waits = NULL; 55df826632SBarry Smith MPI_Status recv_status, *send_status; 56181dd334SBarry Smith Vec tvec, diag; 57ca320bd4SBarry Smith Mat tmat; 58003249c0SBarry Smith const PetscScalar *d, *values; 59003249c0SBarry Smith const PetscInt *cols; 60df826632SBarry Smith 61df826632SBarry Smith PetscFunctionBegin; 62dc9360f3SBarry Smith if (pc->setupcalled) { 639566063dSJacob Faibussowitsch PetscCall(KSPGetOperators(red->ksp, NULL, &tmat)); 649566063dSJacob Faibussowitsch PetscCall(MatCreateSubMatrix(pc->pmat, red->is, red->is, MAT_REUSE_MATRIX, &tmat)); 659566063dSJacob Faibussowitsch PetscCall(KSPSetOperators(red->ksp, tmat, tmat)); 66dc9360f3SBarry Smith } else { 67b862ddfaSBarry Smith PetscInt NN; 68b862ddfaSBarry Smith 699566063dSJacob Faibussowitsch PetscCall(PetscObjectGetComm((PetscObject)pc, &comm)); 709566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(comm, &size)); 719566063dSJacob Faibussowitsch PetscCall(PetscObjectGetNewTag((PetscObject)pc, &tag)); 72df826632SBarry Smith 73ca320bd4SBarry Smith /* count non-diagonal rows on process */ 749566063dSJacob Faibussowitsch PetscCall(MatGetOwnershipRange(pc->mat, &rstart, &rend)); 75ca320bd4SBarry Smith cnt = 0; 76df826632SBarry Smith for (i = rstart; i < rend; i++) { 779566063dSJacob Faibussowitsch PetscCall(MatGetRow(pc->mat, i, &nz, &cols, &values)); 78003249c0SBarry Smith for (PetscInt j = 0; j < nz; j++) { 79003249c0SBarry Smith if (values[j] != 0 && cols[j] != i) { 80003249c0SBarry Smith cnt++; 81003249c0SBarry Smith break; 82003249c0SBarry Smith } 83003249c0SBarry Smith } 849566063dSJacob Faibussowitsch PetscCall(MatRestoreRow(pc->mat, i, &nz, &cols, &values)); 85df826632SBarry Smith } 869566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(cnt, &rows)); 879566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(rend - rstart - cnt, &drows)); 88ca320bd4SBarry Smith 89ca320bd4SBarry Smith /* list non-diagonal rows on process */ 909371c9d4SSatish Balay cnt = 0; 919371c9d4SSatish Balay dcnt = 0; 92df826632SBarry Smith for (i = rstart; i < rend; i++) { 93003249c0SBarry Smith PetscBool diagonly = PETSC_TRUE; 949566063dSJacob Faibussowitsch PetscCall(MatGetRow(pc->mat, i, &nz, &cols, &values)); 95003249c0SBarry Smith for (PetscInt j = 0; j < nz; j++) { 96003249c0SBarry Smith if (values[j] != 0 && cols[j] != i) { 97003249c0SBarry Smith diagonly = PETSC_FALSE; 98003249c0SBarry Smith break; 99003249c0SBarry Smith } 100003249c0SBarry Smith } 101003249c0SBarry Smith if (!diagonly) rows[cnt++] = i; 102181dd334SBarry Smith else drows[dcnt++] = i - rstart; 1039566063dSJacob Faibussowitsch PetscCall(MatRestoreRow(pc->mat, i, &nz, &cols, &values)); 104df826632SBarry Smith } 105ca320bd4SBarry Smith 10626283091SBarry Smith /* create PetscLayout for non-diagonal rows on each process */ 1079566063dSJacob Faibussowitsch PetscCall(PetscLayoutCreate(comm, &map)); 1089566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetLocalSize(map, cnt)); 1099566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetBlockSize(map, 1)); 1109566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(map)); 111df826632SBarry Smith rstart = map->rstart; 112df826632SBarry Smith rend = map->rend; 113df826632SBarry Smith 11426283091SBarry Smith /* create PetscLayout for load-balanced non-diagonal rows on each process */ 1159566063dSJacob Faibussowitsch PetscCall(PetscLayoutCreate(comm, &nmap)); 1161c2dc1cbSBarry Smith PetscCall(MPIU_Allreduce(&cnt, &ncnt, 1, MPIU_INT, MPI_SUM, comm)); 1179566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetSize(nmap, ncnt)); 1189566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetBlockSize(nmap, 1)); 1199566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(nmap)); 120df826632SBarry Smith 1219566063dSJacob Faibussowitsch PetscCall(MatGetSize(pc->pmat, &NN, NULL)); 12263a3b9bcSJacob Faibussowitsch PetscCall(PetscInfo(pc, "Number of diagonal rows eliminated %" PetscInt_FMT ", percentage eliminated %g\n", NN - ncnt, (double)(((PetscReal)(NN - ncnt)) / ((PetscReal)(NN))))); 123003249c0SBarry Smith 124003249c0SBarry Smith if (size > 1) { 125003249c0SBarry Smith /* the following block of code assumes MPI can send messages to self, which is not supported for MPI-uni hence we need to handle the size 1 case as a special case */ 126ca320bd4SBarry Smith /* 127ca320bd4SBarry Smith this code is taken from VecScatterCreate_PtoS() 128ca320bd4SBarry Smith Determines what rows need to be moved where to 129ca320bd4SBarry Smith load balance the non-diagonal rows 130ca320bd4SBarry Smith */ 131df826632SBarry Smith /* count number of contributors to each processor */ 1329566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(size, &sizes, cnt, &owner)); 1339566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(sizes, size)); 134df826632SBarry Smith j = 0; 135df826632SBarry Smith nsends = 0; 136df826632SBarry Smith for (i = rstart; i < rend; i++) { 137df826632SBarry Smith if (i < nmap->range[j]) j = 0; 138df826632SBarry Smith for (; j < size; j++) { 139df826632SBarry Smith if (i < nmap->range[j + 1]) { 14076ec1555SBarry Smith if (!sizes[j]++) nsends++; 141ca320bd4SBarry Smith owner[i - rstart] = j; 142df826632SBarry Smith break; 143df826632SBarry Smith } 144df826632SBarry Smith } 145df826632SBarry Smith } 146df826632SBarry Smith /* inform other processors of number of messages and max length*/ 1479566063dSJacob Faibussowitsch PetscCall(PetscGatherNumberOfMessages(comm, NULL, sizes, &nrecvs)); 1489566063dSJacob Faibussowitsch PetscCall(PetscGatherMessageLengths(comm, nsends, nrecvs, sizes, &onodes1, &olengths1)); 1499566063dSJacob Faibussowitsch PetscCall(PetscSortMPIIntWithArray(nrecvs, onodes1, olengths1)); 1509371c9d4SSatish Balay recvtotal = 0; 1519371c9d4SSatish Balay for (i = 0; i < nrecvs; i++) recvtotal += olengths1[i]; 152df826632SBarry Smith 153df826632SBarry Smith /* post receives: rvalues - rows I will own; count - nu */ 1549566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(recvtotal, &rvalues, nrecvs, &source, nrecvs, &recv_waits)); 155df826632SBarry Smith count = 0; 156df826632SBarry Smith for (i = 0; i < nrecvs; i++) { 1579566063dSJacob Faibussowitsch PetscCallMPI(MPI_Irecv((rvalues + count), olengths1[i], MPIU_INT, onodes1[i], tag, comm, recv_waits + i)); 158df826632SBarry Smith count += olengths1[i]; 159df826632SBarry Smith } 160df826632SBarry Smith 161df826632SBarry Smith /* do sends: 162df826632SBarry Smith 1) starts[i] gives the starting index in svalues for stuff going to 163df826632SBarry Smith the ith processor 164df826632SBarry Smith */ 1659566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(cnt, &svalues, nsends, &send_waits, size, &starts)); 166df826632SBarry Smith starts[0] = 0; 16776ec1555SBarry Smith for (i = 1; i < size; i++) starts[i] = starts[i - 1] + sizes[i - 1]; 1682fa5cd67SKarl Rupp for (i = 0; i < cnt; i++) svalues[starts[owner[i]]++] = rows[i]; 169181dd334SBarry Smith for (i = 0; i < cnt; i++) rows[i] = rows[i] - rstart; 170181dd334SBarry Smith red->drows = drows; 171181dd334SBarry Smith red->dcnt = dcnt; 1729566063dSJacob Faibussowitsch PetscCall(PetscFree(rows)); 173181dd334SBarry Smith 174df826632SBarry Smith starts[0] = 0; 17576ec1555SBarry Smith for (i = 1; i < size; i++) starts[i] = starts[i - 1] + sizes[i - 1]; 176df826632SBarry Smith count = 0; 177df826632SBarry Smith for (i = 0; i < size; i++) { 17848a46eb9SPierre Jolivet if (sizes[i]) PetscCallMPI(MPI_Isend(svalues + starts[i], sizes[i], MPIU_INT, i, tag, comm, send_waits + count++)); 179df826632SBarry Smith } 180df826632SBarry Smith 181df826632SBarry Smith /* wait on receives */ 182df826632SBarry Smith count = nrecvs; 183df826632SBarry Smith slen = 0; 184df826632SBarry Smith while (count) { 1859566063dSJacob Faibussowitsch PetscCallMPI(MPI_Waitany(nrecvs, recv_waits, &imdex, &recv_status)); 186df826632SBarry Smith /* unpack receives into our local space */ 1879566063dSJacob Faibussowitsch PetscCallMPI(MPI_Get_count(&recv_status, MPIU_INT, &n)); 188df826632SBarry Smith slen += n; 189df826632SBarry Smith count--; 190df826632SBarry Smith } 19163a3b9bcSJacob Faibussowitsch PetscCheck(slen == recvtotal, PETSC_COMM_SELF, PETSC_ERR_PLIB, "Total message lengths %" PetscInt_FMT " not expected %" PetscInt_FMT, slen, recvtotal); 1929566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(comm, slen, rvalues, PETSC_COPY_VALUES, &red->is)); 193911f9fe8SBarry Smith 194003249c0SBarry Smith /* free all work space */ 1959566063dSJacob Faibussowitsch PetscCall(PetscFree(olengths1)); 1969566063dSJacob Faibussowitsch PetscCall(PetscFree(onodes1)); 1979566063dSJacob Faibussowitsch PetscCall(PetscFree3(rvalues, source, recv_waits)); 1989566063dSJacob Faibussowitsch PetscCall(PetscFree2(sizes, owner)); 199ca320bd4SBarry Smith if (nsends) { /* wait on sends */ 2009566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(nsends, &send_status)); 2019566063dSJacob Faibussowitsch PetscCallMPI(MPI_Waitall(nsends, send_waits, send_status)); 2029566063dSJacob Faibussowitsch PetscCall(PetscFree(send_status)); 203df826632SBarry Smith } 2049566063dSJacob Faibussowitsch PetscCall(PetscFree3(svalues, send_waits, starts)); 205003249c0SBarry Smith } else { 2069566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(comm, cnt, rows, PETSC_OWN_POINTER, &red->is)); 207003249c0SBarry Smith red->drows = drows; 208003249c0SBarry Smith red->dcnt = dcnt; 209003249c0SBarry Smith slen = cnt; 210003249c0SBarry Smith } 2119566063dSJacob Faibussowitsch PetscCall(PetscLayoutDestroy(&map)); 2129566063dSJacob Faibussowitsch PetscCall(PetscLayoutDestroy(&nmap)); 213df826632SBarry Smith 2149566063dSJacob Faibussowitsch PetscCall(VecCreateMPI(comm, slen, PETSC_DETERMINE, &red->b)); 2159566063dSJacob Faibussowitsch PetscCall(VecDuplicate(red->b, &red->x)); 2169566063dSJacob Faibussowitsch PetscCall(MatCreateVecs(pc->pmat, &tvec, NULL)); 2179566063dSJacob Faibussowitsch PetscCall(VecScatterCreate(tvec, red->is, red->b, NULL, &red->scatter)); 2189566063dSJacob Faibussowitsch PetscCall(VecDestroy(&tvec)); 2199566063dSJacob Faibussowitsch PetscCall(MatCreateSubMatrix(pc->pmat, red->is, red->is, MAT_INITIAL_MATRIX, &tmat)); 2209566063dSJacob Faibussowitsch PetscCall(KSPSetOperators(red->ksp, tmat, tmat)); 2219566063dSJacob Faibussowitsch PetscCall(MatDestroy(&tmat)); 2221d805cfdSBarry Smith } 223181dd334SBarry Smith 224181dd334SBarry Smith /* get diagonal portion of matrix */ 2259566063dSJacob Faibussowitsch PetscCall(PetscFree(red->diag)); 2269566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(red->dcnt, &red->diag)); 2279566063dSJacob Faibussowitsch PetscCall(MatCreateVecs(pc->pmat, &diag, NULL)); 2289566063dSJacob Faibussowitsch PetscCall(MatGetDiagonal(pc->pmat, diag)); 2299566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(diag, &d)); 2302fa5cd67SKarl Rupp for (i = 0; i < red->dcnt; i++) red->diag[i] = 1.0 / d[red->drows[i]]; 2319566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(diag, &d)); 2329566063dSJacob Faibussowitsch PetscCall(VecDestroy(&diag)); 2339566063dSJacob Faibussowitsch PetscCall(KSPSetUp(red->ksp)); 234df826632SBarry Smith PetscFunctionReturn(0); 235df826632SBarry Smith } 236df826632SBarry Smith 237*d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCApply_Redistribute(PC pc, Vec b, Vec x) 238*d71ae5a4SJacob Faibussowitsch { 239df826632SBarry Smith PC_Redistribute *red = (PC_Redistribute *)pc->data; 240181dd334SBarry Smith PetscInt dcnt = red->dcnt, i; 241181dd334SBarry Smith const PetscInt *drows = red->drows; 242181dd334SBarry Smith PetscScalar *xwork; 243181dd334SBarry Smith const PetscScalar *bwork, *diag = red->diag; 244df826632SBarry Smith 245df826632SBarry Smith PetscFunctionBegin; 24648a46eb9SPierre Jolivet if (!red->work) PetscCall(VecDuplicate(b, &red->work)); 247181dd334SBarry Smith /* compute the rows of solution that have diagonal entries only */ 2489566063dSJacob Faibussowitsch PetscCall(VecSet(x, 0.0)); /* x = diag(A)^{-1} b */ 2499566063dSJacob Faibussowitsch PetscCall(VecGetArray(x, &xwork)); 2509566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(b, &bwork)); 2512fa5cd67SKarl Rupp for (i = 0; i < dcnt; i++) xwork[drows[i]] = diag[i] * bwork[drows[i]]; 2529566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(dcnt)); 2539566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(red->work, &xwork)); 2549566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(b, &bwork)); 255181dd334SBarry Smith /* update the right hand side for the reduced system with diagonal rows (and corresponding columns) removed */ 2569566063dSJacob Faibussowitsch PetscCall(MatMult(pc->pmat, x, red->work)); 2579566063dSJacob Faibussowitsch PetscCall(VecAYPX(red->work, -1.0, b)); /* red->work = b - A x */ 258181dd334SBarry Smith 2599566063dSJacob Faibussowitsch PetscCall(VecScatterBegin(red->scatter, red->work, red->b, INSERT_VALUES, SCATTER_FORWARD)); 2609566063dSJacob Faibussowitsch PetscCall(VecScatterEnd(red->scatter, red->work, red->b, INSERT_VALUES, SCATTER_FORWARD)); 2619566063dSJacob Faibussowitsch PetscCall(KSPSolve(red->ksp, red->b, red->x)); 2629566063dSJacob Faibussowitsch PetscCall(KSPCheckSolve(red->ksp, pc, red->x)); 2639566063dSJacob Faibussowitsch PetscCall(VecScatterBegin(red->scatter, red->x, x, INSERT_VALUES, SCATTER_REVERSE)); 2649566063dSJacob Faibussowitsch PetscCall(VecScatterEnd(red->scatter, red->x, x, INSERT_VALUES, SCATTER_REVERSE)); 265df826632SBarry Smith PetscFunctionReturn(0); 266df826632SBarry Smith } 267df826632SBarry Smith 268*d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCDestroy_Redistribute(PC pc) 269*d71ae5a4SJacob Faibussowitsch { 270df826632SBarry Smith PC_Redistribute *red = (PC_Redistribute *)pc->data; 271df826632SBarry Smith 272df826632SBarry Smith PetscFunctionBegin; 2739566063dSJacob Faibussowitsch PetscCall(VecScatterDestroy(&red->scatter)); 2749566063dSJacob Faibussowitsch PetscCall(ISDestroy(&red->is)); 2759566063dSJacob Faibussowitsch PetscCall(VecDestroy(&red->b)); 2769566063dSJacob Faibussowitsch PetscCall(VecDestroy(&red->x)); 2779566063dSJacob Faibussowitsch PetscCall(KSPDestroy(&red->ksp)); 2789566063dSJacob Faibussowitsch PetscCall(VecDestroy(&red->work)); 2799566063dSJacob Faibussowitsch PetscCall(PetscFree(red->drows)); 2809566063dSJacob Faibussowitsch PetscCall(PetscFree(red->diag)); 2819566063dSJacob Faibussowitsch PetscCall(PetscFree(pc->data)); 282df826632SBarry Smith PetscFunctionReturn(0); 283df826632SBarry Smith } 284df826632SBarry Smith 285*d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCSetFromOptions_Redistribute(PC pc, PetscOptionItems *PetscOptionsObject) 286*d71ae5a4SJacob Faibussowitsch { 287df826632SBarry Smith PC_Redistribute *red = (PC_Redistribute *)pc->data; 288df826632SBarry Smith 289df826632SBarry Smith PetscFunctionBegin; 2909566063dSJacob Faibussowitsch PetscCall(KSPSetFromOptions(red->ksp)); 291df826632SBarry Smith PetscFunctionReturn(0); 292df826632SBarry Smith } 293df826632SBarry Smith 2945e7ef714SBarry Smith /*@ 295f1580f4eSBarry Smith PCRedistributeGetKSP - Gets the `KSP` created by the `PCREDISTRIBUTE` 2965e7ef714SBarry Smith 2975e7ef714SBarry Smith Not Collective 2985e7ef714SBarry Smith 2995e7ef714SBarry Smith Input Parameter: 3005e7ef714SBarry Smith . pc - the preconditioner context 3015e7ef714SBarry Smith 3025e7ef714SBarry Smith Output Parameter: 303f1580f4eSBarry Smith . innerksp - the inner `KSP` 3045e7ef714SBarry Smith 3055e7ef714SBarry Smith Level: advanced 3065e7ef714SBarry Smith 307f1580f4eSBarry Smith .seealso: `KSP`, `PCREDISTRIBUTE` 3085e7ef714SBarry Smith @*/ 309*d71ae5a4SJacob Faibussowitsch PetscErrorCode PCRedistributeGetKSP(PC pc, KSP *innerksp) 310*d71ae5a4SJacob Faibussowitsch { 3115e7ef714SBarry Smith PC_Redistribute *red = (PC_Redistribute *)pc->data; 3125e7ef714SBarry Smith 3135e7ef714SBarry Smith PetscFunctionBegin; 3145e7ef714SBarry Smith PetscValidHeaderSpecific(pc, PC_CLASSID, 1); 3155e7ef714SBarry Smith PetscValidPointer(innerksp, 2); 3165e7ef714SBarry Smith *innerksp = red->ksp; 3175e7ef714SBarry Smith PetscFunctionReturn(0); 3185e7ef714SBarry Smith } 3195e7ef714SBarry Smith 320df826632SBarry Smith /*MC 3217caa67d9SBarry Smith PCREDISTRIBUTE - Redistributes a matrix for load balancing, removing the rows (and the corresponding columns) that only have a diagonal entry and then 322f1580f4eSBarry Smith applies a `KSP` to that new smaller matrix 323df826632SBarry Smith 32495452b02SPatrick Sanan Notes: 325f1580f4eSBarry Smith Options for the redistribute `KSP` and `PC` with the options database prefix -redistribute_ 326f1580f4eSBarry Smith 32795452b02SPatrick Sanan Usually run this with -ksp_type preonly 328181dd334SBarry Smith 3297caa67d9SBarry Smith If you have used `MatZeroRows()` to eliminate (for example, Dirichlet) boundary conditions for a symmetric problem then you can use, for example, -ksp_type preonly 330181dd334SBarry Smith -pc_type redistribute -redistribute_ksp_type cg -redistribute_pc_type bjacobi -redistribute_sub_pc_type icc to take advantage of the symmetry. 331181dd334SBarry Smith 3322dfef595SBarry Smith This does NOT call a partitioner to reorder rows to lower communication; the ordering of the rows in the original matrix and redistributed matrix is the same. 3332dfef595SBarry Smith 334f1580f4eSBarry Smith Developer Note: 33595452b02SPatrick Sanan Should add an option to this preconditioner to use a partitioner to redistribute the rows to lower communication. 3362dfef595SBarry Smith 337df826632SBarry Smith Level: intermediate 338df826632SBarry Smith 3397caa67d9SBarry Smith .seealso: `PCCreate()`, `PCSetType()`, `PCType`, `PCRedistributeGetKSP()`, `MatZeroRows()` 340df826632SBarry Smith M*/ 341df826632SBarry Smith 342*d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PCCreate_Redistribute(PC pc) 343*d71ae5a4SJacob Faibussowitsch { 344df826632SBarry Smith PC_Redistribute *red; 345911f9fe8SBarry Smith const char *prefix; 346df826632SBarry Smith 347df826632SBarry Smith PetscFunctionBegin; 3484dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&red)); 349df826632SBarry Smith pc->data = (void *)red; 350df826632SBarry Smith 351df826632SBarry Smith pc->ops->apply = PCApply_Redistribute; 3520a545947SLisandro Dalcin pc->ops->applytranspose = NULL; 353df826632SBarry Smith pc->ops->setup = PCSetUp_Redistribute; 354df826632SBarry Smith pc->ops->destroy = PCDestroy_Redistribute; 355df826632SBarry Smith pc->ops->setfromoptions = PCSetFromOptions_Redistribute; 356df826632SBarry Smith pc->ops->view = PCView_Redistribute; 357911f9fe8SBarry Smith 3589566063dSJacob Faibussowitsch PetscCall(KSPCreate(PetscObjectComm((PetscObject)pc), &red->ksp)); 3599566063dSJacob Faibussowitsch PetscCall(KSPSetErrorIfNotConverged(red->ksp, pc->erroriffailure)); 3609566063dSJacob Faibussowitsch PetscCall(PetscObjectIncrementTabLevel((PetscObject)red->ksp, (PetscObject)pc, 1)); 3619566063dSJacob Faibussowitsch PetscCall(PCGetOptionsPrefix(pc, &prefix)); 3629566063dSJacob Faibussowitsch PetscCall(KSPSetOptionsPrefix(red->ksp, prefix)); 3639566063dSJacob Faibussowitsch PetscCall(KSPAppendOptionsPrefix(red->ksp, "redistribute_")); 364df826632SBarry Smith PetscFunctionReturn(0); 365df826632SBarry Smith } 366