xref: /petsc/src/ksp/pc/impls/redistribute/redistribute.c (revision df8266322810fbe5a796a9de951cb12bc2e02f94)
1*df826632SBarry Smith #define PETSCKSP_DLL
2*df826632SBarry Smith 
3*df826632SBarry Smith /*
4*df826632SBarry Smith   This file defines a "solve the problem redistributely on each subgroup of processor" preconditioner.
5*df826632SBarry Smith */
6*df826632SBarry Smith #include "private/pcimpl.h"     /*I "petscpc.h" I*/
7*df826632SBarry Smith #include "petscksp.h"
8*df826632SBarry Smith 
9*df826632SBarry Smith typedef struct {
10*df826632SBarry Smith   KSP          ksp;
11*df826632SBarry Smith   Vec          x,b;
12*df826632SBarry Smith   Mat          mat;
13*df826632SBarry Smith   VecScatter   scatter;
14*df826632SBarry Smith } PC_Redistribute;
15*df826632SBarry Smith 
16*df826632SBarry Smith #undef __FUNCT__
17*df826632SBarry Smith #define __FUNCT__ "PCView_Redistribute"
18*df826632SBarry Smith static PetscErrorCode PCView_Redistribute(PC pc,PetscViewer viewer)
19*df826632SBarry Smith {
20*df826632SBarry Smith   PC_Redistribute *red = (PC_Redistribute*)pc->data;
21*df826632SBarry Smith   PetscErrorCode  ierr;
22*df826632SBarry Smith   PetscTruth      iascii,isstring;
23*df826632SBarry Smith 
24*df826632SBarry Smith   PetscFunctionBegin;
25*df826632SBarry Smith   ierr = PetscTypeCompare((PetscObject)viewer,PETSC_VIEWER_ASCII,&iascii);CHKERRQ(ierr);
26*df826632SBarry Smith   ierr = PetscTypeCompare((PetscObject)viewer,PETSC_VIEWER_STRING,&isstring);CHKERRQ(ierr);
27*df826632SBarry Smith   if (iascii) {
28*df826632SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer,"  Redistribute preconditioner: \n");CHKERRQ(ierr);
29*df826632SBarry Smith     ierr = KSPView(red->ksp,viewer);CHKERRQ(ierr);
30*df826632SBarry Smith   } else if (isstring) {
31*df826632SBarry Smith     ierr = PetscViewerStringSPrintf(viewer," Redistribute preconditioner");CHKERRQ(ierr);
32*df826632SBarry Smith     ierr = KSPView(red->ksp,viewer);CHKERRQ(ierr);
33*df826632SBarry Smith   } else {
34*df826632SBarry Smith     SETERRQ1(PETSC_ERR_SUP,"Viewer type %s not supported for PC redistribute",((PetscObject)viewer)->type_name);
35*df826632SBarry Smith   }
36*df826632SBarry Smith   PetscFunctionReturn(0);
37*df826632SBarry Smith }
38*df826632SBarry Smith 
39*df826632SBarry Smith #include "private/matimpl.h"        /*I "petscmat.h" I*/
40*df826632SBarry Smith #undef __FUNCT__
41*df826632SBarry Smith #define __FUNCT__ "PCSetUp_Redistribute"
42*df826632SBarry Smith static PetscErrorCode PCSetUp_Redistribute(PC pc)
43*df826632SBarry Smith {
44*df826632SBarry Smith   PC_Redistribute   *red = (PC_Redistribute*)pc->data;
45*df826632SBarry Smith   PetscErrorCode    ierr;
46*df826632SBarry Smith   const char        *prefix;
47*df826632SBarry Smith   MPI_Comm          comm;
48*df826632SBarry Smith   PetscInt          rstart,rend,i,nz,cnt,*rows,ncnt;
49*df826632SBarry Smith   PetscMap          *map,*nmap;
50*df826632SBarry Smith   PetscMPIInt       size,rank,imdex,tag,n;
51*df826632SBarry Smith   PetscInt          *source = PETSC_NULL,*owners = PETSC_NULL;
52*df826632SBarry Smith   PetscInt          *lowner = PETSC_NULL,*start = PETSC_NULL,lengthy,lengthx;
53*df826632SBarry Smith   PetscMPIInt       *nprocs = PETSC_NULL,nrecvs;
54*df826632SBarry Smith   PetscInt          j,nsends;
55*df826632SBarry Smith   PetscInt          *owner = PETSC_NULL,*starts = PETSC_NULL,count,slen;
56*df826632SBarry Smith   PetscInt          *rvalues,*svalues,base,*values,nprocslocal,recvtotal,*rsvalues;
57*df826632SBarry Smith   PetscMPIInt       *onodes1,*olengths1;
58*df826632SBarry Smith   MPI_Request       *send_waits = PETSC_NULL,*recv_waits = PETSC_NULL;
59*df826632SBarry Smith   MPI_Status        recv_status,*send_status;
60*df826632SBarry Smith 
61*df826632SBarry Smith   PetscFunctionBegin;
62*df826632SBarry Smith   ierr = PetscObjectGetComm((PetscObject)pc,&comm);CHKERRQ(ierr);
63*df826632SBarry Smith   ierr = MPI_Comm_size(comm,&size);CHKERRQ(ierr);
64*df826632SBarry Smith   ierr = MPI_Comm_rank(comm,&rank);CHKERRQ(ierr);
65*df826632SBarry Smith 
66*df826632SBarry Smith   if (!pc->setupcalled) {
67*df826632SBarry Smith     if (!red->ksp) {
68*df826632SBarry Smith       ierr = KSPCreate(comm,&red->ksp);CHKERRQ(ierr);
69*df826632SBarry Smith       ierr = PetscObjectIncrementTabLevel((PetscObject)red->ksp,(PetscObject)pc,1);CHKERRQ(ierr);
70*df826632SBarry Smith       ierr = PetscLogObjectParent(pc,red->ksp);CHKERRQ(ierr);
71*df826632SBarry Smith       ierr = PCGetOptionsPrefix(pc,&prefix);CHKERRQ(ierr);
72*df826632SBarry Smith       ierr = KSPSetOptionsPrefix(red->ksp,prefix);CHKERRQ(ierr);
73*df826632SBarry Smith       ierr = KSPAppendOptionsPrefix(red->ksp,"redistribute_");CHKERRQ(ierr);
74*df826632SBarry Smith     }
75*df826632SBarry Smith   } else SETERRQ(PETSC_ERR_SUP,"Cannot yet re-setup a redistribute KSP");
76*df826632SBarry Smith 
77*df826632SBarry Smith   ierr = MatGetOwnershipRange(pc->mat,&rstart,&rend);CHKERRQ(ierr);
78*df826632SBarry Smith   for (i=rstart; i<rend; i++) {
79*df826632SBarry Smith     ierr = MatGetRow(pc->mat,i,&nz,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
80*df826632SBarry Smith     if (nz > 1) cnt++;
81*df826632SBarry Smith   }
82*df826632SBarry Smith   ierr = PetscMalloc(cnt*sizeof(PetscInt),&rows);CHKERRQ(ierr);
83*df826632SBarry Smith   cnt  = 0;
84*df826632SBarry Smith   for (i=rstart; i<rend; i++) {
85*df826632SBarry Smith     ierr = MatGetRow(pc->mat,i,&nz,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
86*df826632SBarry Smith     if (nz > 1) rows[cnt++] = i;
87*df826632SBarry Smith   }
88*df826632SBarry Smith   ierr = PetscMalloc(sizeof(PetscMap),&map);CHKERRQ(ierr);
89*df826632SBarry Smith   ierr = PetscMapInitialize(comm,map);CHKERRQ(ierr);
90*df826632SBarry Smith   ierr = PetscMapSetLocalSize(map,cnt);CHKERRQ(ierr);
91*df826632SBarry Smith   ierr = PetscMapSetBlockSize(map,1);CHKERRQ(ierr);
92*df826632SBarry Smith   ierr = PetscMapSetUp(map);CHKERRQ(ierr);
93*df826632SBarry Smith   rstart = map->rstart;
94*df826632SBarry Smith   rend   = map->rend;
95*df826632SBarry Smith 
96*df826632SBarry Smith   ierr = PetscMalloc(sizeof(PetscMap),&nmap);CHKERRQ(ierr);
97*df826632SBarry Smith   ierr = PetscMapInitialize(comm,nmap);CHKERRQ(ierr);
98*df826632SBarry Smith   ierr = MPI_Allreduce(&cnt,&ncnt,1,MPIU_INT,MPI_SUM,comm);CHKERRQ(ierr);
99*df826632SBarry Smith   ierr = PetscMapSetSize(nmap,ncnt);CHKERRQ(ierr);
100*df826632SBarry Smith   ierr = PetscMapSetBlockSize(nmap,1);CHKERRQ(ierr);
101*df826632SBarry Smith   ierr = PetscMapSetUp(nmap);CHKERRQ(ierr);
102*df826632SBarry Smith 
103*df826632SBarry Smith   /*  this code is taken from VecScatterCreate_PtoS() */
104*df826632SBarry Smith   /*  count number of contributors to each processor */
105*df826632SBarry Smith   ierr = PetscMalloc2(size,PetscMPIInt,&nprocs,cnt,PetscInt,&owner);CHKERRQ(ierr);
106*df826632SBarry Smith   ierr = PetscMemzero(nprocs,size*sizeof(PetscMPIInt));CHKERRQ(ierr);
107*df826632SBarry Smith   j      = 0;
108*df826632SBarry Smith   nsends = 0;
109*df826632SBarry Smith   for (i=rstart; i<rend; i++) {
110*df826632SBarry Smith     if (i < nmap->range[j]) j = 0;
111*df826632SBarry Smith     for (; j<size; j++) {
112*df826632SBarry Smith       if (i < nmap->range[j+1]) {
113*df826632SBarry Smith         if (!nprocs[j]++) nsends++;
114*df826632SBarry Smith         owner[i] = j;
115*df826632SBarry Smith         break;
116*df826632SBarry Smith       }
117*df826632SBarry Smith     }
118*df826632SBarry Smith   }
119*df826632SBarry Smith   /* inform other processors of number of messages and max length*/
120*df826632SBarry Smith   ierr = PetscGatherNumberOfMessages(comm,PETSC_NULL,nprocs,&nrecvs);CHKERRQ(ierr);
121*df826632SBarry Smith   ierr = PetscGatherMessageLengths(comm,nsends,nrecvs,nprocs,&onodes1,&olengths1);CHKERRQ(ierr);
122*df826632SBarry Smith   ierr = PetscSortMPIIntWithArray(nrecvs,onodes1,olengths1);CHKERRQ(ierr);
123*df826632SBarry Smith   recvtotal = 0; for (i=0; i<nrecvs; i++) recvtotal += olengths1[i];
124*df826632SBarry Smith 
125*df826632SBarry Smith   /* post receives:  rvalues - rows I will own; count - nu */
126*df826632SBarry Smith   ierr = PetscMalloc3(recvtotal,PetscInt,&rvalues,nrecvs,PetscInt,&source,nrecvs,MPI_Request,&recv_waits);CHKERRQ(ierr);
127*df826632SBarry Smith   count  = 0;
128*df826632SBarry Smith   for (i=0; i<nrecvs; i++) {
129*df826632SBarry Smith     ierr  = MPI_Irecv((rvalues+count),olengths1[i],MPIU_INT,onodes1[i],tag,comm,recv_waits+i);CHKERRQ(ierr);
130*df826632SBarry Smith     count += olengths1[i];
131*df826632SBarry Smith   }
132*df826632SBarry Smith 
133*df826632SBarry Smith   /* do sends:
134*df826632SBarry Smith      1) starts[i] gives the starting index in svalues for stuff going to
135*df826632SBarry Smith      the ith processor
136*df826632SBarry Smith   */
137*df826632SBarry Smith   ierr = PetscMalloc3(cnt,PetscInt,&svalues,nsends,MPI_Request,&send_waits,size+1,PetscInt,&starts);CHKERRQ(ierr);
138*df826632SBarry Smith   starts[0]  = 0;
139*df826632SBarry Smith   for (i=1; i<size; i++) { starts[i] = starts[i-1] + nprocs[i-1];}
140*df826632SBarry Smith   for (i=0; i<cnt; i++) {
141*df826632SBarry Smith     if (owner[i] != rank) {
142*df826632SBarry Smith       svalues[starts[owner[i]]++] = rows[i];
143*df826632SBarry Smith     }
144*df826632SBarry Smith   }
145*df826632SBarry Smith 
146*df826632SBarry Smith   starts[0] = 0;
147*df826632SBarry Smith   for (i=1; i<size+1; i++) { starts[i] = starts[i-1] + nprocs[i-1];}
148*df826632SBarry Smith   count = 0;
149*df826632SBarry Smith   for (i=0; i<size; i++) {
150*df826632SBarry Smith     if (nprocs[i]) {
151*df826632SBarry Smith       ierr = MPI_Isend(svalues+starts[i],nprocs[i],MPIU_INT,i,tag,comm,send_waits+count++);CHKERRQ(ierr);
152*df826632SBarry Smith     }
153*df826632SBarry Smith   }
154*df826632SBarry Smith 
155*df826632SBarry Smith   /*  wait on receives */
156*df826632SBarry Smith   count  = nrecvs;
157*df826632SBarry Smith   slen   = 0;
158*df826632SBarry Smith   while (count) {
159*df826632SBarry Smith     ierr = MPI_Waitany(nrecvs,recv_waits,&imdex,&recv_status);CHKERRQ(ierr);
160*df826632SBarry Smith     /* unpack receives into our local space */
161*df826632SBarry Smith     ierr = MPI_Get_count(&recv_status,MPIU_INT,&n);CHKERRQ(ierr);
162*df826632SBarry Smith     slen += n;
163*df826632SBarry Smith     count--;
164*df826632SBarry Smith   }
165*df826632SBarry Smith   if (slen != recvtotal) SETERRQ2(PETSC_ERR_PLIB,"Total message lengths %D not expected %D",slen,recvtotal);
166*df826632SBarry Smith 
167*df826632SBarry Smith   ierr = PetscFree(olengths1);CHKERRQ(ierr);
168*df826632SBarry Smith   ierr = PetscFree(onodes1);CHKERRQ(ierr);
169*df826632SBarry Smith   ierr = PetscFree3(rvalues,source,recv_waits);CHKERRQ(ierr);
170*df826632SBarry Smith 
171*df826632SBarry Smith   /* wait on sends */
172*df826632SBarry Smith   if (nsends) {
173*df826632SBarry Smith     ierr = PetscMalloc(nsends*sizeof(MPI_Status),&send_status);CHKERRQ(ierr);
174*df826632SBarry Smith     ierr = MPI_Waitall(nsends,send_waits,send_status);CHKERRQ(ierr);
175*df826632SBarry Smith     ierr = PetscFree(send_status);CHKERRQ(ierr);
176*df826632SBarry Smith   }
177*df826632SBarry Smith   ierr = PetscFree3(svalues,send_waits,starts);CHKERRQ(ierr);
178*df826632SBarry Smith 
179*df826632SBarry Smith 
180*df826632SBarry Smith   ierr = PetscFree(map);CHKERRQ(ierr);
181*df826632SBarry Smith   ierr = PetscFree(nmap);CHKERRQ(ierr);
182*df826632SBarry Smith 
183*df826632SBarry Smith   ierr = KSPSetUp(red->ksp);CHKERRQ(ierr);
184*df826632SBarry Smith   PetscFunctionReturn(0);
185*df826632SBarry Smith }
186*df826632SBarry Smith 
187*df826632SBarry Smith #undef __FUNCT__
188*df826632SBarry Smith #define __FUNCT__ "PCApply_Redistribute"
189*df826632SBarry Smith static PetscErrorCode PCApply_Redistribute(PC pc,Vec b,Vec x)
190*df826632SBarry Smith {
191*df826632SBarry Smith   PC_Redistribute   *red = (PC_Redistribute*)pc->data;
192*df826632SBarry Smith   PetscErrorCode    ierr;
193*df826632SBarry Smith 
194*df826632SBarry Smith   PetscFunctionBegin;
195*df826632SBarry Smith   ierr = VecScatterBegin(red->scatter,b,red->b,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
196*df826632SBarry Smith   ierr = VecScatterEnd(red->scatter,b,red->b,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
197*df826632SBarry Smith   ierr = KSPSolve(red->ksp,red->b,red->x);CHKERRQ(ierr);
198*df826632SBarry Smith   ierr = VecScatterBegin(red->scatter,red->x,x,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
199*df826632SBarry Smith   ierr = VecScatterEnd(red->scatter,red->x,x,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
200*df826632SBarry Smith   PetscFunctionReturn(0);
201*df826632SBarry Smith }
202*df826632SBarry Smith 
203*df826632SBarry Smith #undef __FUNCT__
204*df826632SBarry Smith #define __FUNCT__ "PCDestroy_Redistribute"
205*df826632SBarry Smith static PetscErrorCode PCDestroy_Redistribute(PC pc)
206*df826632SBarry Smith {
207*df826632SBarry Smith   PC_Redistribute *red = (PC_Redistribute*)pc->data;
208*df826632SBarry Smith   PetscErrorCode  ierr;
209*df826632SBarry Smith 
210*df826632SBarry Smith   PetscFunctionBegin;
211*df826632SBarry Smith   if (red->scatter)  {ierr = VecScatterDestroy(red->scatter);CHKERRQ(ierr);}
212*df826632SBarry Smith   if (red->b)        {ierr = VecDestroy(red->b);CHKERRQ(ierr);}
213*df826632SBarry Smith   if (red->x)        {ierr = VecDestroy(red->x);CHKERRQ(ierr);}
214*df826632SBarry Smith   if (red->mat)      {ierr = MatDestroy(red->mat);CHKERRQ(ierr);}
215*df826632SBarry Smith   if (red->ksp)      {ierr = KSPDestroy(red->ksp);CHKERRQ(ierr);}
216*df826632SBarry Smith   ierr = PetscFree(red);CHKERRQ(ierr);
217*df826632SBarry Smith   PetscFunctionReturn(0);
218*df826632SBarry Smith }
219*df826632SBarry Smith 
220*df826632SBarry Smith #undef __FUNCT__
221*df826632SBarry Smith #define __FUNCT__ "PCSetFromOptions_Redistribute"
222*df826632SBarry Smith static PetscErrorCode PCSetFromOptions_Redistribute(PC pc)
223*df826632SBarry Smith {
224*df826632SBarry Smith   PetscErrorCode  ierr;
225*df826632SBarry Smith   PC_Redistribute *red = (PC_Redistribute*)pc->data;
226*df826632SBarry Smith 
227*df826632SBarry Smith   PetscFunctionBegin;
228*df826632SBarry Smith   ierr = KSPSetFromOptions(red->ksp);CHKERRQ(ierr);
229*df826632SBarry Smith   PetscFunctionReturn(0);
230*df826632SBarry Smith }
231*df826632SBarry Smith 
232*df826632SBarry Smith /* -------------------------------------------------------------------------------------*/
233*df826632SBarry Smith /*MC
234*df826632SBarry Smith      PCREDISTRIBUTE - Redistributes a matrix for load balancing and then applys a KSP to that new matrix
235*df826632SBarry Smith 
236*df826632SBarry Smith      Options for the redistribute preconditioners can be set with -redistribute_ksp_xxx <values> and -redistribute_pc_xxx <values>
237*df826632SBarry Smith 
238*df826632SBarry Smith    Level: intermediate
239*df826632SBarry Smith 
240*df826632SBarry Smith .seealso:  PCCreate(), PCSetType(), PCType (for list of available types)
241*df826632SBarry Smith M*/
242*df826632SBarry Smith 
243*df826632SBarry Smith EXTERN_C_BEGIN
244*df826632SBarry Smith #undef __FUNCT__
245*df826632SBarry Smith #define __FUNCT__ "PCCreate_Redistribute"
246*df826632SBarry Smith PetscErrorCode PETSCKSP_DLLEXPORT PCCreate_Redistribute(PC pc)
247*df826632SBarry Smith {
248*df826632SBarry Smith   PetscErrorCode  ierr;
249*df826632SBarry Smith   PC_Redistribute *red;
250*df826632SBarry Smith 
251*df826632SBarry Smith   PetscFunctionBegin;
252*df826632SBarry Smith   ierr = PetscNewLog(pc,PC_Redistribute,&red);CHKERRQ(ierr);
253*df826632SBarry Smith   pc->data            = (void*)red;
254*df826632SBarry Smith 
255*df826632SBarry Smith   pc->ops->apply           = PCApply_Redistribute;
256*df826632SBarry Smith   pc->ops->applytranspose  = 0;
257*df826632SBarry Smith   pc->ops->setup           = PCSetUp_Redistribute;
258*df826632SBarry Smith   pc->ops->destroy         = PCDestroy_Redistribute;
259*df826632SBarry Smith   pc->ops->setfromoptions  = PCSetFromOptions_Redistribute;
260*df826632SBarry Smith   pc->ops->view            = PCView_Redistribute;
261*df826632SBarry Smith   PetscFunctionReturn(0);
262*df826632SBarry Smith }
263*df826632SBarry Smith EXTERN_C_END
264