xref: /petsc/src/ksp/pc/impls/redistribute/redistribute.c (revision 48a46eb9bd028bec07ec0f396b1a3abb43f14558)
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 
189371c9d4SSatish Balay static PetscErrorCode PCView_Redistribute(PC pc, PetscViewer viewer) {
19df826632SBarry Smith   PC_Redistribute *red = (PC_Redistribute *)pc->data;
20ace3abfcSBarry Smith   PetscBool        iascii, isstring;
21181dd334SBarry Smith   PetscInt         ncnt, N;
22df826632SBarry Smith 
23df826632SBarry Smith   PetscFunctionBegin;
249566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii));
259566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERSTRING, &isstring));
26df826632SBarry Smith   if (iascii) {
271c2dc1cbSBarry Smith     PetscCall(MPIU_Allreduce(&red->dcnt, &ncnt, 1, MPIU_INT, MPI_SUM, PetscObjectComm((PetscObject)pc)));
289566063dSJacob Faibussowitsch     PetscCall(MatGetSize(pc->pmat, &N, NULL));
2963a3b9bcSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "    Number rows eliminated %" PetscInt_FMT " Percentage rows eliminated %g\n", ncnt, (double)(100.0 * ((PetscReal)ncnt) / ((PetscReal)N))));
309566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "  Redistribute preconditioner: \n"));
319566063dSJacob Faibussowitsch     PetscCall(KSPView(red->ksp, viewer));
32df826632SBarry Smith   } else if (isstring) {
339566063dSJacob Faibussowitsch     PetscCall(PetscViewerStringSPrintf(viewer, " Redistribute preconditioner"));
349566063dSJacob Faibussowitsch     PetscCall(KSPView(red->ksp, viewer));
3511aeaf0aSBarry Smith   }
36df826632SBarry Smith   PetscFunctionReturn(0);
37df826632SBarry Smith }
38df826632SBarry Smith 
399371c9d4SSatish Balay static PetscErrorCode PCSetUp_Redistribute(PC pc) {
40df826632SBarry Smith   PC_Redistribute         *red = (PC_Redistribute *)pc->data;
41df826632SBarry Smith   MPI_Comm                 comm;
42181dd334SBarry Smith   PetscInt                 rstart, rend, i, nz, cnt, *rows, ncnt, dcnt, *drows;
4326283091SBarry Smith   PetscLayout              map, nmap;
44ec4bef21SJose E. Roman   PetscMPIInt              size, tag, n;
45ec4bef21SJose E. Roman   PETSC_UNUSED PetscMPIInt imdex;
460298fd71SBarry Smith   PetscInt                *source = NULL;
4776ec1555SBarry Smith   PetscMPIInt             *sizes  = NULL, nrecvs;
48df826632SBarry Smith   PetscInt                 j, nsends;
490298fd71SBarry Smith   PetscInt                *owner = NULL, *starts = NULL, count, slen;
50e8dd6687SHong Zhang   PetscInt                *rvalues, *svalues, recvtotal;
51df826632SBarry Smith   PetscMPIInt             *onodes1, *olengths1;
520298fd71SBarry Smith   MPI_Request             *send_waits = NULL, *recv_waits = NULL;
53df826632SBarry Smith   MPI_Status               recv_status, *send_status;
54181dd334SBarry Smith   Vec                      tvec, diag;
55ca320bd4SBarry Smith   Mat                      tmat;
56003249c0SBarry Smith   const PetscScalar       *d, *values;
57003249c0SBarry Smith   const PetscInt          *cols;
58df826632SBarry Smith 
59df826632SBarry Smith   PetscFunctionBegin;
60dc9360f3SBarry Smith   if (pc->setupcalled) {
619566063dSJacob Faibussowitsch     PetscCall(KSPGetOperators(red->ksp, NULL, &tmat));
629566063dSJacob Faibussowitsch     PetscCall(MatCreateSubMatrix(pc->pmat, red->is, red->is, MAT_REUSE_MATRIX, &tmat));
639566063dSJacob Faibussowitsch     PetscCall(KSPSetOperators(red->ksp, tmat, tmat));
64dc9360f3SBarry Smith   } else {
65b862ddfaSBarry Smith     PetscInt NN;
66b862ddfaSBarry Smith 
679566063dSJacob Faibussowitsch     PetscCall(PetscObjectGetComm((PetscObject)pc, &comm));
689566063dSJacob Faibussowitsch     PetscCallMPI(MPI_Comm_size(comm, &size));
699566063dSJacob Faibussowitsch     PetscCall(PetscObjectGetNewTag((PetscObject)pc, &tag));
70df826632SBarry Smith 
71ca320bd4SBarry Smith     /* count non-diagonal rows on process */
729566063dSJacob Faibussowitsch     PetscCall(MatGetOwnershipRange(pc->mat, &rstart, &rend));
73ca320bd4SBarry Smith     cnt = 0;
74df826632SBarry Smith     for (i = rstart; i < rend; i++) {
759566063dSJacob Faibussowitsch       PetscCall(MatGetRow(pc->mat, i, &nz, &cols, &values));
76003249c0SBarry Smith       for (PetscInt j = 0; j < nz; j++) {
77003249c0SBarry Smith         if (values[j] != 0 && cols[j] != i) {
78003249c0SBarry Smith           cnt++;
79003249c0SBarry Smith           break;
80003249c0SBarry Smith         }
81003249c0SBarry Smith       }
829566063dSJacob Faibussowitsch       PetscCall(MatRestoreRow(pc->mat, i, &nz, &cols, &values));
83df826632SBarry Smith     }
849566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(cnt, &rows));
859566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(rend - rstart - cnt, &drows));
86ca320bd4SBarry Smith 
87ca320bd4SBarry Smith     /* list non-diagonal rows on process */
889371c9d4SSatish Balay     cnt  = 0;
899371c9d4SSatish Balay     dcnt = 0;
90df826632SBarry Smith     for (i = rstart; i < rend; i++) {
91003249c0SBarry Smith       PetscBool diagonly = PETSC_TRUE;
929566063dSJacob Faibussowitsch       PetscCall(MatGetRow(pc->mat, i, &nz, &cols, &values));
93003249c0SBarry Smith       for (PetscInt j = 0; j < nz; j++) {
94003249c0SBarry Smith         if (values[j] != 0 && cols[j] != i) {
95003249c0SBarry Smith           diagonly = PETSC_FALSE;
96003249c0SBarry Smith           break;
97003249c0SBarry Smith         }
98003249c0SBarry Smith       }
99003249c0SBarry Smith       if (!diagonly) rows[cnt++] = i;
100181dd334SBarry Smith       else drows[dcnt++] = i - rstart;
1019566063dSJacob Faibussowitsch       PetscCall(MatRestoreRow(pc->mat, i, &nz, &cols, &values));
102df826632SBarry Smith     }
103ca320bd4SBarry Smith 
10426283091SBarry Smith     /* create PetscLayout for non-diagonal rows on each process */
1059566063dSJacob Faibussowitsch     PetscCall(PetscLayoutCreate(comm, &map));
1069566063dSJacob Faibussowitsch     PetscCall(PetscLayoutSetLocalSize(map, cnt));
1079566063dSJacob Faibussowitsch     PetscCall(PetscLayoutSetBlockSize(map, 1));
1089566063dSJacob Faibussowitsch     PetscCall(PetscLayoutSetUp(map));
109df826632SBarry Smith     rstart = map->rstart;
110df826632SBarry Smith     rend   = map->rend;
111df826632SBarry Smith 
11226283091SBarry Smith     /* create PetscLayout for load-balanced non-diagonal rows on each process */
1139566063dSJacob Faibussowitsch     PetscCall(PetscLayoutCreate(comm, &nmap));
1141c2dc1cbSBarry Smith     PetscCall(MPIU_Allreduce(&cnt, &ncnt, 1, MPIU_INT, MPI_SUM, comm));
1159566063dSJacob Faibussowitsch     PetscCall(PetscLayoutSetSize(nmap, ncnt));
1169566063dSJacob Faibussowitsch     PetscCall(PetscLayoutSetBlockSize(nmap, 1));
1179566063dSJacob Faibussowitsch     PetscCall(PetscLayoutSetUp(nmap));
118df826632SBarry Smith 
1199566063dSJacob Faibussowitsch     PetscCall(MatGetSize(pc->pmat, &NN, NULL));
12063a3b9bcSJacob Faibussowitsch     PetscCall(PetscInfo(pc, "Number of diagonal rows eliminated %" PetscInt_FMT ", percentage eliminated %g\n", NN - ncnt, (double)(((PetscReal)(NN - ncnt)) / ((PetscReal)(NN)))));
121003249c0SBarry Smith 
122003249c0SBarry Smith     if (size > 1) {
123003249c0SBarry 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 */
124ca320bd4SBarry Smith       /*
125ca320bd4SBarry Smith        this code is taken from VecScatterCreate_PtoS()
126ca320bd4SBarry Smith        Determines what rows need to be moved where to
127ca320bd4SBarry Smith        load balance the non-diagonal rows
128ca320bd4SBarry Smith        */
129df826632SBarry Smith       /*  count number of contributors to each processor */
1309566063dSJacob Faibussowitsch       PetscCall(PetscMalloc2(size, &sizes, cnt, &owner));
1319566063dSJacob Faibussowitsch       PetscCall(PetscArrayzero(sizes, size));
132df826632SBarry Smith       j      = 0;
133df826632SBarry Smith       nsends = 0;
134df826632SBarry Smith       for (i = rstart; i < rend; i++) {
135df826632SBarry Smith         if (i < nmap->range[j]) j = 0;
136df826632SBarry Smith         for (; j < size; j++) {
137df826632SBarry Smith           if (i < nmap->range[j + 1]) {
13876ec1555SBarry Smith             if (!sizes[j]++) nsends++;
139ca320bd4SBarry Smith             owner[i - rstart] = j;
140df826632SBarry Smith             break;
141df826632SBarry Smith           }
142df826632SBarry Smith         }
143df826632SBarry Smith       }
144df826632SBarry Smith       /* inform other processors of number of messages and max length*/
1459566063dSJacob Faibussowitsch       PetscCall(PetscGatherNumberOfMessages(comm, NULL, sizes, &nrecvs));
1469566063dSJacob Faibussowitsch       PetscCall(PetscGatherMessageLengths(comm, nsends, nrecvs, sizes, &onodes1, &olengths1));
1479566063dSJacob Faibussowitsch       PetscCall(PetscSortMPIIntWithArray(nrecvs, onodes1, olengths1));
1489371c9d4SSatish Balay       recvtotal = 0;
1499371c9d4SSatish Balay       for (i = 0; i < nrecvs; i++) recvtotal += olengths1[i];
150df826632SBarry Smith 
151df826632SBarry Smith       /* post receives:  rvalues - rows I will own; count - nu */
1529566063dSJacob Faibussowitsch       PetscCall(PetscMalloc3(recvtotal, &rvalues, nrecvs, &source, nrecvs, &recv_waits));
153df826632SBarry Smith       count = 0;
154df826632SBarry Smith       for (i = 0; i < nrecvs; i++) {
1559566063dSJacob Faibussowitsch         PetscCallMPI(MPI_Irecv((rvalues + count), olengths1[i], MPIU_INT, onodes1[i], tag, comm, recv_waits + i));
156df826632SBarry Smith         count += olengths1[i];
157df826632SBarry Smith       }
158df826632SBarry Smith 
159df826632SBarry Smith       /* do sends:
160df826632SBarry Smith        1) starts[i] gives the starting index in svalues for stuff going to
161df826632SBarry Smith        the ith processor
162df826632SBarry Smith        */
1639566063dSJacob Faibussowitsch       PetscCall(PetscMalloc3(cnt, &svalues, nsends, &send_waits, size, &starts));
164df826632SBarry Smith       starts[0] = 0;
16576ec1555SBarry Smith       for (i = 1; i < size; i++) starts[i] = starts[i - 1] + sizes[i - 1];
1662fa5cd67SKarl Rupp       for (i = 0; i < cnt; i++) svalues[starts[owner[i]]++] = rows[i];
167181dd334SBarry Smith       for (i = 0; i < cnt; i++) rows[i] = rows[i] - rstart;
168181dd334SBarry Smith       red->drows = drows;
169181dd334SBarry Smith       red->dcnt  = dcnt;
1709566063dSJacob Faibussowitsch       PetscCall(PetscFree(rows));
171181dd334SBarry Smith 
172df826632SBarry Smith       starts[0] = 0;
17376ec1555SBarry Smith       for (i = 1; i < size; i++) starts[i] = starts[i - 1] + sizes[i - 1];
174df826632SBarry Smith       count = 0;
175df826632SBarry Smith       for (i = 0; i < size; i++) {
176*48a46eb9SPierre Jolivet         if (sizes[i]) PetscCallMPI(MPI_Isend(svalues + starts[i], sizes[i], MPIU_INT, i, tag, comm, send_waits + count++));
177df826632SBarry Smith       }
178df826632SBarry Smith 
179df826632SBarry Smith       /*  wait on receives */
180df826632SBarry Smith       count = nrecvs;
181df826632SBarry Smith       slen  = 0;
182df826632SBarry Smith       while (count) {
1839566063dSJacob Faibussowitsch         PetscCallMPI(MPI_Waitany(nrecvs, recv_waits, &imdex, &recv_status));
184df826632SBarry Smith         /* unpack receives into our local space */
1859566063dSJacob Faibussowitsch         PetscCallMPI(MPI_Get_count(&recv_status, MPIU_INT, &n));
186df826632SBarry Smith         slen += n;
187df826632SBarry Smith         count--;
188df826632SBarry Smith       }
18963a3b9bcSJacob Faibussowitsch       PetscCheck(slen == recvtotal, PETSC_COMM_SELF, PETSC_ERR_PLIB, "Total message lengths %" PetscInt_FMT " not expected %" PetscInt_FMT, slen, recvtotal);
1909566063dSJacob Faibussowitsch       PetscCall(ISCreateGeneral(comm, slen, rvalues, PETSC_COPY_VALUES, &red->is));
191911f9fe8SBarry Smith 
192003249c0SBarry Smith       /* free all work space */
1939566063dSJacob Faibussowitsch       PetscCall(PetscFree(olengths1));
1949566063dSJacob Faibussowitsch       PetscCall(PetscFree(onodes1));
1959566063dSJacob Faibussowitsch       PetscCall(PetscFree3(rvalues, source, recv_waits));
1969566063dSJacob Faibussowitsch       PetscCall(PetscFree2(sizes, owner));
197ca320bd4SBarry Smith       if (nsends) { /* wait on sends */
1989566063dSJacob Faibussowitsch         PetscCall(PetscMalloc1(nsends, &send_status));
1999566063dSJacob Faibussowitsch         PetscCallMPI(MPI_Waitall(nsends, send_waits, send_status));
2009566063dSJacob Faibussowitsch         PetscCall(PetscFree(send_status));
201df826632SBarry Smith       }
2029566063dSJacob Faibussowitsch       PetscCall(PetscFree3(svalues, send_waits, starts));
203003249c0SBarry Smith     } else {
2049566063dSJacob Faibussowitsch       PetscCall(ISCreateGeneral(comm, cnt, rows, PETSC_OWN_POINTER, &red->is));
205003249c0SBarry Smith       red->drows = drows;
206003249c0SBarry Smith       red->dcnt  = dcnt;
207003249c0SBarry Smith       slen       = cnt;
208003249c0SBarry Smith     }
2099566063dSJacob Faibussowitsch     PetscCall(PetscLayoutDestroy(&map));
2109566063dSJacob Faibussowitsch     PetscCall(PetscLayoutDestroy(&nmap));
211df826632SBarry Smith 
2129566063dSJacob Faibussowitsch     PetscCall(VecCreateMPI(comm, slen, PETSC_DETERMINE, &red->b));
2139566063dSJacob Faibussowitsch     PetscCall(VecDuplicate(red->b, &red->x));
2149566063dSJacob Faibussowitsch     PetscCall(MatCreateVecs(pc->pmat, &tvec, NULL));
2159566063dSJacob Faibussowitsch     PetscCall(VecScatterCreate(tvec, red->is, red->b, NULL, &red->scatter));
2169566063dSJacob Faibussowitsch     PetscCall(VecDestroy(&tvec));
2179566063dSJacob Faibussowitsch     PetscCall(MatCreateSubMatrix(pc->pmat, red->is, red->is, MAT_INITIAL_MATRIX, &tmat));
2189566063dSJacob Faibussowitsch     PetscCall(KSPSetOperators(red->ksp, tmat, tmat));
2199566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&tmat));
2201d805cfdSBarry Smith   }
221181dd334SBarry Smith 
222181dd334SBarry Smith   /* get diagonal portion of matrix */
2239566063dSJacob Faibussowitsch   PetscCall(PetscFree(red->diag));
2249566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(red->dcnt, &red->diag));
2259566063dSJacob Faibussowitsch   PetscCall(MatCreateVecs(pc->pmat, &diag, NULL));
2269566063dSJacob Faibussowitsch   PetscCall(MatGetDiagonal(pc->pmat, diag));
2279566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(diag, &d));
2282fa5cd67SKarl Rupp   for (i = 0; i < red->dcnt; i++) red->diag[i] = 1.0 / d[red->drows[i]];
2299566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(diag, &d));
2309566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&diag));
2319566063dSJacob Faibussowitsch   PetscCall(KSPSetUp(red->ksp));
232df826632SBarry Smith   PetscFunctionReturn(0);
233df826632SBarry Smith }
234df826632SBarry Smith 
2359371c9d4SSatish Balay static PetscErrorCode PCApply_Redistribute(PC pc, Vec b, Vec x) {
236df826632SBarry Smith   PC_Redistribute   *red   = (PC_Redistribute *)pc->data;
237181dd334SBarry Smith   PetscInt           dcnt  = red->dcnt, i;
238181dd334SBarry Smith   const PetscInt    *drows = red->drows;
239181dd334SBarry Smith   PetscScalar       *xwork;
240181dd334SBarry Smith   const PetscScalar *bwork, *diag = red->diag;
241df826632SBarry Smith 
242df826632SBarry Smith   PetscFunctionBegin;
243*48a46eb9SPierre Jolivet   if (!red->work) PetscCall(VecDuplicate(b, &red->work));
244181dd334SBarry Smith   /* compute the rows of solution that have diagonal entries only */
2459566063dSJacob Faibussowitsch   PetscCall(VecSet(x, 0.0)); /* x = diag(A)^{-1} b */
2469566063dSJacob Faibussowitsch   PetscCall(VecGetArray(x, &xwork));
2479566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(b, &bwork));
2482fa5cd67SKarl Rupp   for (i = 0; i < dcnt; i++) xwork[drows[i]] = diag[i] * bwork[drows[i]];
2499566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(dcnt));
2509566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(red->work, &xwork));
2519566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(b, &bwork));
252181dd334SBarry Smith   /* update the right hand side for the reduced system with diagonal rows (and corresponding columns) removed */
2539566063dSJacob Faibussowitsch   PetscCall(MatMult(pc->pmat, x, red->work));
2549566063dSJacob Faibussowitsch   PetscCall(VecAYPX(red->work, -1.0, b)); /* red->work = b - A x */
255181dd334SBarry Smith 
2569566063dSJacob Faibussowitsch   PetscCall(VecScatterBegin(red->scatter, red->work, red->b, INSERT_VALUES, SCATTER_FORWARD));
2579566063dSJacob Faibussowitsch   PetscCall(VecScatterEnd(red->scatter, red->work, red->b, INSERT_VALUES, SCATTER_FORWARD));
2589566063dSJacob Faibussowitsch   PetscCall(KSPSolve(red->ksp, red->b, red->x));
2599566063dSJacob Faibussowitsch   PetscCall(KSPCheckSolve(red->ksp, pc, red->x));
2609566063dSJacob Faibussowitsch   PetscCall(VecScatterBegin(red->scatter, red->x, x, INSERT_VALUES, SCATTER_REVERSE));
2619566063dSJacob Faibussowitsch   PetscCall(VecScatterEnd(red->scatter, red->x, x, INSERT_VALUES, SCATTER_REVERSE));
262df826632SBarry Smith   PetscFunctionReturn(0);
263df826632SBarry Smith }
264df826632SBarry Smith 
2659371c9d4SSatish Balay static PetscErrorCode PCDestroy_Redistribute(PC pc) {
266df826632SBarry Smith   PC_Redistribute *red = (PC_Redistribute *)pc->data;
267df826632SBarry Smith 
268df826632SBarry Smith   PetscFunctionBegin;
2699566063dSJacob Faibussowitsch   PetscCall(VecScatterDestroy(&red->scatter));
2709566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&red->is));
2719566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&red->b));
2729566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&red->x));
2739566063dSJacob Faibussowitsch   PetscCall(KSPDestroy(&red->ksp));
2749566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&red->work));
2759566063dSJacob Faibussowitsch   PetscCall(PetscFree(red->drows));
2769566063dSJacob Faibussowitsch   PetscCall(PetscFree(red->diag));
2779566063dSJacob Faibussowitsch   PetscCall(PetscFree(pc->data));
278df826632SBarry Smith   PetscFunctionReturn(0);
279df826632SBarry Smith }
280df826632SBarry Smith 
2819371c9d4SSatish Balay static PetscErrorCode PCSetFromOptions_Redistribute(PC pc, PetscOptionItems *PetscOptionsObject) {
282df826632SBarry Smith   PC_Redistribute *red = (PC_Redistribute *)pc->data;
283df826632SBarry Smith 
284df826632SBarry Smith   PetscFunctionBegin;
2859566063dSJacob Faibussowitsch   PetscCall(KSPSetFromOptions(red->ksp));
286df826632SBarry Smith   PetscFunctionReturn(0);
287df826632SBarry Smith }
288df826632SBarry Smith 
2895e7ef714SBarry Smith /*@
2905e7ef714SBarry Smith    PCRedistributeGetKSP - Gets the KSP created by the PCREDISTRIBUTE
2915e7ef714SBarry Smith 
2925e7ef714SBarry Smith    Not Collective
2935e7ef714SBarry Smith 
2945e7ef714SBarry Smith    Input Parameter:
2955e7ef714SBarry Smith .  pc - the preconditioner context
2965e7ef714SBarry Smith 
2975e7ef714SBarry Smith    Output Parameter:
2985e7ef714SBarry Smith .  innerksp - the inner KSP
2995e7ef714SBarry Smith 
3005e7ef714SBarry Smith    Level: advanced
3015e7ef714SBarry Smith 
3025e7ef714SBarry Smith @*/
3039371c9d4SSatish Balay PetscErrorCode PCRedistributeGetKSP(PC pc, KSP *innerksp) {
3045e7ef714SBarry Smith   PC_Redistribute *red = (PC_Redistribute *)pc->data;
3055e7ef714SBarry Smith 
3065e7ef714SBarry Smith   PetscFunctionBegin;
3075e7ef714SBarry Smith   PetscValidHeaderSpecific(pc, PC_CLASSID, 1);
3085e7ef714SBarry Smith   PetscValidPointer(innerksp, 2);
3095e7ef714SBarry Smith   *innerksp = red->ksp;
3105e7ef714SBarry Smith   PetscFunctionReturn(0);
3115e7ef714SBarry Smith }
3125e7ef714SBarry Smith 
313df826632SBarry Smith /* -------------------------------------------------------------------------------------*/
314df826632SBarry Smith /*MC
3157caa67d9SBarry Smith      PCREDISTRIBUTE - Redistributes a matrix for load balancing, removing the rows (and the corresponding columns) that only have a diagonal entry and then
3167caa67d9SBarry Smith      applys a KSP to that new smaller matrix
317df826632SBarry Smith 
318df826632SBarry Smith      Options for the redistribute preconditioners can be set with -redistribute_ksp_xxx <values> and -redistribute_pc_xxx <values>
319df826632SBarry Smith 
32095452b02SPatrick Sanan      Notes:
32195452b02SPatrick Sanan     Usually run this with -ksp_type preonly
322181dd334SBarry Smith 
3237caa67d9SBarry 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
324181dd334SBarry Smith      -pc_type redistribute -redistribute_ksp_type cg -redistribute_pc_type bjacobi -redistribute_sub_pc_type icc to take advantage of the symmetry.
325181dd334SBarry Smith 
3262dfef595SBarry 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.
3272dfef595SBarry Smith 
32895452b02SPatrick Sanan      Developer Notes:
32995452b02SPatrick Sanan     Should add an option to this preconditioner to use a partitioner to redistribute the rows to lower communication.
3302dfef595SBarry Smith 
331df826632SBarry Smith    Level: intermediate
332df826632SBarry Smith 
3337caa67d9SBarry Smith .seealso: `PCCreate()`, `PCSetType()`, `PCType`, `PCRedistributeGetKSP()`, `MatZeroRows()`
334df826632SBarry Smith M*/
335df826632SBarry Smith 
3369371c9d4SSatish Balay PETSC_EXTERN PetscErrorCode PCCreate_Redistribute(PC pc) {
337df826632SBarry Smith   PC_Redistribute *red;
338911f9fe8SBarry Smith   const char      *prefix;
339df826632SBarry Smith 
340df826632SBarry Smith   PetscFunctionBegin;
3419566063dSJacob Faibussowitsch   PetscCall(PetscNewLog(pc, &red));
342df826632SBarry Smith   pc->data = (void *)red;
343df826632SBarry Smith 
344df826632SBarry Smith   pc->ops->apply          = PCApply_Redistribute;
3450a545947SLisandro Dalcin   pc->ops->applytranspose = NULL;
346df826632SBarry Smith   pc->ops->setup          = PCSetUp_Redistribute;
347df826632SBarry Smith   pc->ops->destroy        = PCDestroy_Redistribute;
348df826632SBarry Smith   pc->ops->setfromoptions = PCSetFromOptions_Redistribute;
349df826632SBarry Smith   pc->ops->view           = PCView_Redistribute;
350911f9fe8SBarry Smith 
3519566063dSJacob Faibussowitsch   PetscCall(KSPCreate(PetscObjectComm((PetscObject)pc), &red->ksp));
3529566063dSJacob Faibussowitsch   PetscCall(KSPSetErrorIfNotConverged(red->ksp, pc->erroriffailure));
3539566063dSJacob Faibussowitsch   PetscCall(PetscObjectIncrementTabLevel((PetscObject)red->ksp, (PetscObject)pc, 1));
3549566063dSJacob Faibussowitsch   PetscCall(PetscLogObjectParent((PetscObject)pc, (PetscObject)red->ksp));
3559566063dSJacob Faibussowitsch   PetscCall(PCGetOptionsPrefix(pc, &prefix));
3569566063dSJacob Faibussowitsch   PetscCall(KSPSetOptionsPrefix(red->ksp, prefix));
3579566063dSJacob Faibussowitsch   PetscCall(KSPAppendOptionsPrefix(red->ksp, "redistribute_"));
358df826632SBarry Smith   PetscFunctionReturn(0);
359df826632SBarry Smith }
360