xref: /petsc/src/ksp/pc/impls/redistribute/redistribute.c (revision d71ae5a4db6382e7f06317b8d368875286fe9008)
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