xref: /petsc/src/ksp/pc/impls/redistribute/redistribute.c (revision 63a3b9bc7a1f24f247904ccba9383635fe6abade)
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 
18df826632SBarry Smith static PetscErrorCode PCView_Redistribute(PC pc,PetscViewer viewer)
19df826632SBarry Smith {
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));
30*63a3b9bcSJacob 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 
40df826632SBarry Smith static PetscErrorCode PCSetUp_Redistribute(PC pc)
41df826632SBarry Smith {
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 */
90181dd334SBarry Smith     cnt = 0; dcnt = 0;
91df826632SBarry Smith     for (i=rstart; i<rend; i++) {
92003249c0SBarry Smith       PetscBool diagonly = PETSC_TRUE;
939566063dSJacob Faibussowitsch       PetscCall(MatGetRow(pc->mat,i,&nz,&cols,&values));
94003249c0SBarry Smith       for (PetscInt j=0; j<nz; j++) {
95003249c0SBarry Smith         if (values[j] != 0 && cols[j] != i) {
96003249c0SBarry Smith           diagonly = PETSC_FALSE;
97003249c0SBarry Smith           break;
98003249c0SBarry Smith         }
99003249c0SBarry Smith       }
100003249c0SBarry Smith       if (!diagonly) rows[cnt++] = i;
101181dd334SBarry Smith       else drows[dcnt++] = i - rstart;
1029566063dSJacob Faibussowitsch       PetscCall(MatRestoreRow(pc->mat,i,&nz,&cols,&values));
103df826632SBarry Smith     }
104ca320bd4SBarry Smith 
10526283091SBarry Smith     /* create PetscLayout for non-diagonal rows on each process */
1069566063dSJacob Faibussowitsch     PetscCall(PetscLayoutCreate(comm,&map));
1079566063dSJacob Faibussowitsch     PetscCall(PetscLayoutSetLocalSize(map,cnt));
1089566063dSJacob Faibussowitsch     PetscCall(PetscLayoutSetBlockSize(map,1));
1099566063dSJacob Faibussowitsch     PetscCall(PetscLayoutSetUp(map));
110df826632SBarry Smith     rstart = map->rstart;
111df826632SBarry Smith     rend   = map->rend;
112df826632SBarry Smith 
11326283091SBarry Smith     /* create PetscLayout for load-balanced non-diagonal rows on each process */
1149566063dSJacob Faibussowitsch     PetscCall(PetscLayoutCreate(comm,&nmap));
1151c2dc1cbSBarry Smith     PetscCall(MPIU_Allreduce(&cnt,&ncnt,1,MPIU_INT,MPI_SUM,comm));
1169566063dSJacob Faibussowitsch     PetscCall(PetscLayoutSetSize(nmap,ncnt));
1179566063dSJacob Faibussowitsch     PetscCall(PetscLayoutSetBlockSize(nmap,1));
1189566063dSJacob Faibussowitsch     PetscCall(PetscLayoutSetUp(nmap));
119df826632SBarry Smith 
1209566063dSJacob Faibussowitsch     PetscCall(MatGetSize(pc->pmat,&NN,NULL));
121*63a3b9bcSJacob Faibussowitsch     PetscCall(PetscInfo(pc,"Number of diagonal rows eliminated %" PetscInt_FMT ", percentage eliminated %g\n",NN-ncnt,(double)(((PetscReal)(NN-ncnt))/((PetscReal)(NN)))));
122003249c0SBarry Smith 
123003249c0SBarry Smith     if (size > 1) {
124003249c0SBarry 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 */
125ca320bd4SBarry Smith       /*
126ca320bd4SBarry Smith        this code is taken from VecScatterCreate_PtoS()
127ca320bd4SBarry Smith        Determines what rows need to be moved where to
128ca320bd4SBarry Smith        load balance the non-diagonal rows
129ca320bd4SBarry Smith        */
130df826632SBarry Smith       /*  count number of contributors to each processor */
1319566063dSJacob Faibussowitsch       PetscCall(PetscMalloc2(size,&sizes,cnt,&owner));
1329566063dSJacob Faibussowitsch       PetscCall(PetscArrayzero(sizes,size));
133df826632SBarry Smith       j      = 0;
134df826632SBarry Smith       nsends = 0;
135df826632SBarry Smith       for (i=rstart; i<rend; i++) {
136df826632SBarry Smith         if (i < nmap->range[j]) j = 0;
137df826632SBarry Smith         for (; j<size; j++) {
138df826632SBarry Smith           if (i < nmap->range[j+1]) {
13976ec1555SBarry Smith             if (!sizes[j]++) nsends++;
140ca320bd4SBarry Smith             owner[i-rstart] = j;
141df826632SBarry Smith             break;
142df826632SBarry Smith           }
143df826632SBarry Smith         }
144df826632SBarry Smith       }
145df826632SBarry Smith       /* inform other processors of number of messages and max length*/
1469566063dSJacob Faibussowitsch       PetscCall(PetscGatherNumberOfMessages(comm,NULL,sizes,&nrecvs));
1479566063dSJacob Faibussowitsch       PetscCall(PetscGatherMessageLengths(comm,nsends,nrecvs,sizes,&onodes1,&olengths1));
1489566063dSJacob Faibussowitsch       PetscCall(PetscSortMPIIntWithArray(nrecvs,onodes1,olengths1));
149df826632SBarry Smith       recvtotal = 0; 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++) {
17676ec1555SBarry Smith         if (sizes[i]) {
1779566063dSJacob Faibussowitsch           PetscCallMPI(MPI_Isend(svalues+starts[i],sizes[i],MPIU_INT,i,tag,comm,send_waits+count++));
178df826632SBarry Smith         }
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       }
191*63a3b9bcSJacob 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 
237df826632SBarry Smith static PetscErrorCode PCApply_Redistribute(PC pc,Vec b,Vec x)
238df826632SBarry Smith {
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;
246181dd334SBarry Smith   if (!red->work) {
2479566063dSJacob Faibussowitsch     PetscCall(VecDuplicate(b,&red->work));
248181dd334SBarry Smith   }
249181dd334SBarry Smith   /* compute the rows of solution that have diagonal entries only */
2509566063dSJacob Faibussowitsch   PetscCall(VecSet(x,0.0));         /* x = diag(A)^{-1} b */
2519566063dSJacob Faibussowitsch   PetscCall(VecGetArray(x,&xwork));
2529566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(b,&bwork));
2532fa5cd67SKarl Rupp   for (i=0; i<dcnt; i++) xwork[drows[i]] = diag[i]*bwork[drows[i]];
2549566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(dcnt));
2559566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(red->work,&xwork));
2569566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(b,&bwork));
257181dd334SBarry Smith   /* update the right hand side for the reduced system with diagonal rows (and corresponding columns) removed */
2589566063dSJacob Faibussowitsch   PetscCall(MatMult(pc->pmat,x,red->work));
2599566063dSJacob Faibussowitsch   PetscCall(VecAYPX(red->work,-1.0,b));   /* red->work = b - A x */
260181dd334SBarry Smith 
2619566063dSJacob Faibussowitsch   PetscCall(VecScatterBegin(red->scatter,red->work,red->b,INSERT_VALUES,SCATTER_FORWARD));
2629566063dSJacob Faibussowitsch   PetscCall(VecScatterEnd(red->scatter,red->work,red->b,INSERT_VALUES,SCATTER_FORWARD));
2639566063dSJacob Faibussowitsch   PetscCall(KSPSolve(red->ksp,red->b,red->x));
2649566063dSJacob Faibussowitsch   PetscCall(KSPCheckSolve(red->ksp,pc,red->x));
2659566063dSJacob Faibussowitsch   PetscCall(VecScatterBegin(red->scatter,red->x,x,INSERT_VALUES,SCATTER_REVERSE));
2669566063dSJacob Faibussowitsch   PetscCall(VecScatterEnd(red->scatter,red->x,x,INSERT_VALUES,SCATTER_REVERSE));
267df826632SBarry Smith   PetscFunctionReturn(0);
268df826632SBarry Smith }
269df826632SBarry Smith 
270df826632SBarry Smith static PetscErrorCode PCDestroy_Redistribute(PC pc)
271df826632SBarry Smith {
272df826632SBarry Smith   PC_Redistribute *red = (PC_Redistribute*)pc->data;
273df826632SBarry Smith 
274df826632SBarry Smith   PetscFunctionBegin;
2759566063dSJacob Faibussowitsch   PetscCall(VecScatterDestroy(&red->scatter));
2769566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&red->is));
2779566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&red->b));
2789566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&red->x));
2799566063dSJacob Faibussowitsch   PetscCall(KSPDestroy(&red->ksp));
2809566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&red->work));
2819566063dSJacob Faibussowitsch   PetscCall(PetscFree(red->drows));
2829566063dSJacob Faibussowitsch   PetscCall(PetscFree(red->diag));
2839566063dSJacob Faibussowitsch   PetscCall(PetscFree(pc->data));
284df826632SBarry Smith   PetscFunctionReturn(0);
285df826632SBarry Smith }
286df826632SBarry Smith 
2874416b707SBarry Smith static PetscErrorCode PCSetFromOptions_Redistribute(PetscOptionItems *PetscOptionsObject,PC pc)
288df826632SBarry Smith {
289df826632SBarry Smith   PC_Redistribute *red = (PC_Redistribute*)pc->data;
290df826632SBarry Smith 
291df826632SBarry Smith   PetscFunctionBegin;
2929566063dSJacob Faibussowitsch   PetscCall(KSPSetFromOptions(red->ksp));
293df826632SBarry Smith   PetscFunctionReturn(0);
294df826632SBarry Smith }
295df826632SBarry Smith 
2965e7ef714SBarry Smith /*@
2975e7ef714SBarry Smith    PCRedistributeGetKSP - Gets the KSP created by the PCREDISTRIBUTE
2985e7ef714SBarry Smith 
2995e7ef714SBarry Smith    Not Collective
3005e7ef714SBarry Smith 
3015e7ef714SBarry Smith    Input Parameter:
3025e7ef714SBarry Smith .  pc - the preconditioner context
3035e7ef714SBarry Smith 
3045e7ef714SBarry Smith    Output Parameter:
3055e7ef714SBarry Smith .  innerksp - the inner KSP
3065e7ef714SBarry Smith 
3075e7ef714SBarry Smith    Level: advanced
3085e7ef714SBarry Smith 
3095e7ef714SBarry Smith @*/
3105e7ef714SBarry Smith PetscErrorCode  PCRedistributeGetKSP(PC pc,KSP *innerksp)
3115e7ef714SBarry Smith {
3125e7ef714SBarry Smith   PC_Redistribute *red = (PC_Redistribute*)pc->data;
3135e7ef714SBarry Smith 
3145e7ef714SBarry Smith   PetscFunctionBegin;
3155e7ef714SBarry Smith   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
3165e7ef714SBarry Smith   PetscValidPointer(innerksp,2);
3175e7ef714SBarry Smith   *innerksp = red->ksp;
3185e7ef714SBarry Smith   PetscFunctionReturn(0);
3195e7ef714SBarry Smith }
3205e7ef714SBarry Smith 
321df826632SBarry Smith /* -------------------------------------------------------------------------------------*/
322df826632SBarry Smith /*MC
323181dd334SBarry Smith      PCREDISTRIBUTE - Redistributes a matrix for load balancing, removing the rows that only have a diagonal entry and then applys a KSP to that new matrix
324df826632SBarry Smith 
325df826632SBarry Smith      Options for the redistribute preconditioners can be set with -redistribute_ksp_xxx <values> and -redistribute_pc_xxx <values>
326df826632SBarry Smith 
32795452b02SPatrick Sanan      Notes:
32895452b02SPatrick Sanan     Usually run this with -ksp_type preonly
329181dd334SBarry Smith 
330181dd334SBarry 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
331181dd334SBarry Smith      -pc_type redistribute -redistribute_ksp_type cg -redistribute_pc_type bjacobi -redistribute_sub_pc_type icc to take advantage of the symmetry.
332181dd334SBarry Smith 
3332dfef595SBarry 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.
3342dfef595SBarry Smith 
33595452b02SPatrick Sanan      Developer Notes:
33695452b02SPatrick Sanan     Should add an option to this preconditioner to use a partitioner to redistribute the rows to lower communication.
3372dfef595SBarry Smith 
338df826632SBarry Smith    Level: intermediate
339df826632SBarry Smith 
3405e7ef714SBarry Smith .seealso:  PCCreate(), PCSetType(), PCType (for list of available types), PCRedistributeGetKSP()
341df826632SBarry Smith M*/
342df826632SBarry Smith 
3438cc058d9SJed Brown PETSC_EXTERN PetscErrorCode PCCreate_Redistribute(PC pc)
344df826632SBarry Smith {
345df826632SBarry Smith   PC_Redistribute *red;
346911f9fe8SBarry Smith   const char      *prefix;
347df826632SBarry Smith 
348df826632SBarry Smith   PetscFunctionBegin;
3499566063dSJacob Faibussowitsch   PetscCall(PetscNewLog(pc,&red));
350df826632SBarry Smith   pc->data = (void*)red;
351df826632SBarry Smith 
352df826632SBarry Smith   pc->ops->apply          = PCApply_Redistribute;
3530a545947SLisandro Dalcin   pc->ops->applytranspose = NULL;
354df826632SBarry Smith   pc->ops->setup          = PCSetUp_Redistribute;
355df826632SBarry Smith   pc->ops->destroy        = PCDestroy_Redistribute;
356df826632SBarry Smith   pc->ops->setfromoptions = PCSetFromOptions_Redistribute;
357df826632SBarry Smith   pc->ops->view           = PCView_Redistribute;
358911f9fe8SBarry Smith 
3599566063dSJacob Faibussowitsch   PetscCall(KSPCreate(PetscObjectComm((PetscObject)pc),&red->ksp));
3609566063dSJacob Faibussowitsch   PetscCall(KSPSetErrorIfNotConverged(red->ksp,pc->erroriffailure));
3619566063dSJacob Faibussowitsch   PetscCall(PetscObjectIncrementTabLevel((PetscObject)red->ksp,(PetscObject)pc,1));
3629566063dSJacob Faibussowitsch   PetscCall(PetscLogObjectParent((PetscObject)pc,(PetscObject)red->ksp));
3639566063dSJacob Faibussowitsch   PetscCall(PCGetOptionsPrefix(pc,&prefix));
3649566063dSJacob Faibussowitsch   PetscCall(KSPSetOptionsPrefix(red->ksp,prefix));
3659566063dSJacob Faibussowitsch   PetscCall(KSPAppendOptionsPrefix(red->ksp,"redistribute_"));
366df826632SBarry Smith   PetscFunctionReturn(0);
367df826632SBarry Smith }
368