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