xref: /petsc/src/ksp/pc/impls/redistribute/redistribute.c (revision dc9360f3bfebb1802d3e923e72b021c37e934900)
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;
14911f9fe8SBarry 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;
59ca320bd4SBarry Smith   Vec               tvec;
60ca320bd4SBarry Smith   Mat               tmat;
61df826632SBarry Smith 
62df826632SBarry Smith   PetscFunctionBegin;
63*dc9360f3SBarry Smith   if (pc->setupcalled) {
64*dc9360f3SBarry Smith     ierr = KSPGetOperators(red->ksp,PETSC_NULL,&tmat,PETSC_NULL);CHKERRQ(ierr);
65*dc9360f3SBarry Smith     ierr = MatGetSubMatrix(pc->pmat,red->is,red->is,MAT_REUSE_MATRIX,&tmat);CHKERRQ(ierr);
66*dc9360f3SBarry Smith   } else {
67df826632SBarry Smith     ierr = PetscObjectGetComm((PetscObject)pc,&comm);CHKERRQ(ierr);
68df826632SBarry Smith     ierr = MPI_Comm_size(comm,&size);CHKERRQ(ierr);
69df826632SBarry Smith     ierr = MPI_Comm_rank(comm,&rank);CHKERRQ(ierr);
70361c1e09SMatthew Knepley     ierr = PetscObjectGetNewTag((PetscObject)pc,&tag);CHKERRQ(ierr);
71df826632SBarry Smith 
72ca320bd4SBarry Smith     /* count non-diagonal rows on process */
73df826632SBarry Smith     ierr = MatGetOwnershipRange(pc->mat,&rstart,&rend);CHKERRQ(ierr);
74ca320bd4SBarry Smith     cnt  = 0;
75df826632SBarry Smith     for (i=rstart; i<rend; i++) {
76df826632SBarry Smith       ierr = MatGetRow(pc->mat,i,&nz,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
77df826632SBarry Smith       if (nz > 1) cnt++;
78911f9fe8SBarry Smith       ierr = MatRestoreRow(pc->mat,i,&nz,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
79df826632SBarry Smith     }
80df826632SBarry Smith     ierr = PetscMalloc(cnt*sizeof(PetscInt),&rows);CHKERRQ(ierr);
81ca320bd4SBarry Smith 
82ca320bd4SBarry Smith     /* list non-diagonal rows on process */
83df826632SBarry Smith     cnt  = 0;
84df826632SBarry Smith     for (i=rstart; i<rend; i++) {
85df826632SBarry Smith       ierr = MatGetRow(pc->mat,i,&nz,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
86df826632SBarry Smith       if (nz > 1) rows[cnt++] = i;
87911f9fe8SBarry Smith       ierr = MatRestoreRow(pc->mat,i,&nz,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
88df826632SBarry Smith     }
89ca320bd4SBarry Smith 
90ca320bd4SBarry Smith     /* create PetscMap for non-diagonal rows on each process */
91df826632SBarry Smith     ierr = PetscMalloc(sizeof(PetscMap),&map);CHKERRQ(ierr);
92df826632SBarry Smith     ierr = PetscMapInitialize(comm,map);CHKERRQ(ierr);
93df826632SBarry Smith     ierr = PetscMapSetLocalSize(map,cnt);CHKERRQ(ierr);
94df826632SBarry Smith     ierr = PetscMapSetBlockSize(map,1);CHKERRQ(ierr);
95df826632SBarry Smith     ierr = PetscMapSetUp(map);CHKERRQ(ierr);
96df826632SBarry Smith     rstart = map->rstart;
97df826632SBarry Smith     rend   = map->rend;
98df826632SBarry Smith 
99ca320bd4SBarry Smith     /* create PetscMap for load-balanced non-diagonal rows on each process */
100df826632SBarry Smith     ierr = PetscMalloc(sizeof(PetscMap),&nmap);CHKERRQ(ierr);
101df826632SBarry Smith     ierr = PetscMapInitialize(comm,nmap);CHKERRQ(ierr);
102df826632SBarry Smith     ierr = MPI_Allreduce(&cnt,&ncnt,1,MPIU_INT,MPI_SUM,comm);CHKERRQ(ierr);
103df826632SBarry Smith     ierr = PetscMapSetSize(nmap,ncnt);CHKERRQ(ierr);
104df826632SBarry Smith     ierr = PetscMapSetBlockSize(nmap,1);CHKERRQ(ierr);
105df826632SBarry Smith     ierr = PetscMapSetUp(nmap);CHKERRQ(ierr);
106df826632SBarry Smith 
107ca320bd4SBarry Smith     /*
108ca320bd4SBarry Smith 	this code is taken from VecScatterCreate_PtoS()
109ca320bd4SBarry Smith 	Determines what rows need to be moved where to
110ca320bd4SBarry Smith 	load balance the non-diagonal rows
111ca320bd4SBarry Smith     */
112df826632SBarry Smith     /*  count number of contributors to each processor */
113df826632SBarry Smith     ierr = PetscMalloc2(size,PetscMPIInt,&nprocs,cnt,PetscInt,&owner);CHKERRQ(ierr);
114df826632SBarry Smith     ierr = PetscMemzero(nprocs,size*sizeof(PetscMPIInt));CHKERRQ(ierr);
115df826632SBarry Smith     j      = 0;
116df826632SBarry Smith     nsends = 0;
117df826632SBarry Smith     for (i=rstart; i<rend; i++) {
118df826632SBarry Smith       if (i < nmap->range[j]) j = 0;
119df826632SBarry Smith       for (; j<size; j++) {
120df826632SBarry Smith 	if (i < nmap->range[j+1]) {
121df826632SBarry Smith 	  if (!nprocs[j]++) nsends++;
122ca320bd4SBarry Smith 	  owner[i-rstart] = j;
123df826632SBarry Smith 	  break;
124df826632SBarry Smith 	}
125df826632SBarry Smith       }
126df826632SBarry Smith     }
127df826632SBarry Smith     /* inform other processors of number of messages and max length*/
128df826632SBarry Smith     ierr = PetscGatherNumberOfMessages(comm,PETSC_NULL,nprocs,&nrecvs);CHKERRQ(ierr);
129df826632SBarry Smith     ierr = PetscGatherMessageLengths(comm,nsends,nrecvs,nprocs,&onodes1,&olengths1);CHKERRQ(ierr);
130df826632SBarry Smith     ierr = PetscSortMPIIntWithArray(nrecvs,onodes1,olengths1);CHKERRQ(ierr);
131df826632SBarry Smith     recvtotal = 0; for (i=0; i<nrecvs; i++) recvtotal += olengths1[i];
132df826632SBarry Smith 
133df826632SBarry Smith     /* post receives:  rvalues - rows I will own; count - nu */
134df826632SBarry Smith     ierr = PetscMalloc3(recvtotal,PetscInt,&rvalues,nrecvs,PetscInt,&source,nrecvs,MPI_Request,&recv_waits);CHKERRQ(ierr);
135df826632SBarry Smith     count  = 0;
136df826632SBarry Smith     for (i=0; i<nrecvs; i++) {
137df826632SBarry Smith       ierr  = MPI_Irecv((rvalues+count),olengths1[i],MPIU_INT,onodes1[i],tag,comm,recv_waits+i);CHKERRQ(ierr);
138df826632SBarry Smith       count += olengths1[i];
139df826632SBarry Smith     }
140df826632SBarry Smith 
141df826632SBarry Smith     /* do sends:
142df826632SBarry Smith        1) starts[i] gives the starting index in svalues for stuff going to
143df826632SBarry Smith        the ith processor
144df826632SBarry Smith     */
145911f9fe8SBarry Smith     ierr = PetscMalloc3(cnt,PetscInt,&svalues,nsends,MPI_Request,&send_waits,size,PetscInt,&starts);CHKERRQ(ierr);
146df826632SBarry Smith     starts[0]  = 0;
147df826632SBarry Smith     for (i=1; i<size; i++) { starts[i] = starts[i-1] + nprocs[i-1];}
148df826632SBarry Smith     for (i=0; i<cnt; i++) {
149df826632SBarry Smith       svalues[starts[owner[i]]++] = rows[i];
150df826632SBarry Smith     }
151ca320bd4SBarry Smith     ierr = PetscFree(rows);CHKERRQ(ierr);
152df826632SBarry Smith     starts[0] = 0;
153911f9fe8SBarry Smith     for (i=1; i<size; i++) { starts[i] = starts[i-1] + nprocs[i-1];}
154df826632SBarry Smith     count = 0;
155df826632SBarry Smith     for (i=0; i<size; i++) {
156df826632SBarry Smith       if (nprocs[i]) {
157df826632SBarry Smith 	ierr = MPI_Isend(svalues+starts[i],nprocs[i],MPIU_INT,i,tag,comm,send_waits+count++);CHKERRQ(ierr);
158df826632SBarry Smith       }
159df826632SBarry Smith     }
160df826632SBarry Smith 
161df826632SBarry Smith     /*  wait on receives */
162df826632SBarry Smith     count  = nrecvs;
163df826632SBarry Smith     slen   = 0;
164df826632SBarry Smith     while (count) {
165df826632SBarry Smith       ierr = MPI_Waitany(nrecvs,recv_waits,&imdex,&recv_status);CHKERRQ(ierr);
166df826632SBarry Smith       /* unpack receives into our local space */
167df826632SBarry Smith       ierr = MPI_Get_count(&recv_status,MPIU_INT,&n);CHKERRQ(ierr);
168df826632SBarry Smith       slen += n;
169df826632SBarry Smith       count--;
170df826632SBarry Smith     }
171df826632SBarry Smith     if (slen != recvtotal) SETERRQ2(PETSC_ERR_PLIB,"Total message lengths %D not expected %D",slen,recvtotal);
172df826632SBarry Smith 
173911f9fe8SBarry Smith     ierr = ISCreateGeneral(comm,slen,rvalues,&red->is);CHKERRQ(ierr);
174911f9fe8SBarry Smith 
175ca320bd4SBarry Smith     /* free up all work space */
176df826632SBarry Smith     ierr = PetscFree(olengths1);CHKERRQ(ierr);
177df826632SBarry Smith     ierr = PetscFree(onodes1);CHKERRQ(ierr);
178df826632SBarry Smith     ierr = PetscFree3(rvalues,source,recv_waits);CHKERRQ(ierr);
179ca320bd4SBarry Smith     ierr = PetscFree2(nprocs,owner);CHKERRQ(ierr);
180ca320bd4SBarry Smith     if (nsends) {   /* wait on sends */
181df826632SBarry Smith       ierr = PetscMalloc(nsends*sizeof(MPI_Status),&send_status);CHKERRQ(ierr);
182df826632SBarry Smith       ierr = MPI_Waitall(nsends,send_waits,send_status);CHKERRQ(ierr);
183df826632SBarry Smith       ierr = PetscFree(send_status);CHKERRQ(ierr);
184df826632SBarry Smith     }
185df826632SBarry Smith     ierr = PetscFree3(svalues,send_waits,starts);CHKERRQ(ierr);
186ca320bd4SBarry Smith     ierr = PetscFree(map->range);CHKERRQ(ierr);
187df826632SBarry Smith     ierr = PetscFree(map);CHKERRQ(ierr);
188ca320bd4SBarry Smith     ierr = PetscFree(nmap->range);CHKERRQ(ierr);
189df826632SBarry Smith     ierr = PetscFree(nmap);CHKERRQ(ierr);
190df826632SBarry Smith 
191ca320bd4SBarry Smith     ierr = VecCreateMPI(comm,slen,PETSC_DETERMINE,&red->b);CHKERRQ(ierr);
192ca320bd4SBarry Smith     ierr = VecDuplicate(red->b,&red->x);CHKERRQ(ierr);
193ca320bd4SBarry Smith     ierr = MatGetVecs(pc->pmat,&tvec,PETSC_NULL);CHKERRQ(ierr);
194ca320bd4SBarry Smith     ierr = VecScatterCreate(tvec,red->is,red->b,PETSC_NULL,&red->scatter);CHKERRQ(ierr);
195ca320bd4SBarry Smith     ierr = VecDestroy(tvec);CHKERRQ(ierr);
196ca320bd4SBarry Smith     ierr = MatGetSubMatrix(pc->pmat,red->is,red->is,MAT_INITIAL_MATRIX,&tmat);CHKERRQ(ierr);
197*dc9360f3SBarry Smith   }
198ca320bd4SBarry Smith   ierr = KSPSetOperators(red->ksp,tmat,tmat,SAME_NONZERO_PATTERN);CHKERRQ(ierr);
199ca320bd4SBarry Smith   ierr = MatDestroy(tmat);CHKERRQ(ierr);
200df826632SBarry Smith   ierr = KSPSetUp(red->ksp);CHKERRQ(ierr);
201df826632SBarry Smith   PetscFunctionReturn(0);
202df826632SBarry Smith }
203df826632SBarry Smith 
204df826632SBarry Smith #undef __FUNCT__
205df826632SBarry Smith #define __FUNCT__ "PCApply_Redistribute"
206df826632SBarry Smith static PetscErrorCode PCApply_Redistribute(PC pc,Vec b,Vec x)
207df826632SBarry Smith {
208df826632SBarry Smith   PC_Redistribute   *red = (PC_Redistribute*)pc->data;
209df826632SBarry Smith   PetscErrorCode    ierr;
210df826632SBarry Smith 
211df826632SBarry Smith   PetscFunctionBegin;
212df826632SBarry Smith   ierr = VecScatterBegin(red->scatter,b,red->b,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
213df826632SBarry Smith   ierr = VecScatterEnd(red->scatter,b,red->b,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
214df826632SBarry Smith   ierr = KSPSolve(red->ksp,red->b,red->x);CHKERRQ(ierr);
215df826632SBarry Smith   ierr = VecScatterBegin(red->scatter,red->x,x,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
216df826632SBarry Smith   ierr = VecScatterEnd(red->scatter,red->x,x,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
217df826632SBarry Smith   PetscFunctionReturn(0);
218df826632SBarry Smith }
219df826632SBarry Smith 
220df826632SBarry Smith #undef __FUNCT__
221df826632SBarry Smith #define __FUNCT__ "PCDestroy_Redistribute"
222df826632SBarry Smith static PetscErrorCode PCDestroy_Redistribute(PC pc)
223df826632SBarry Smith {
224df826632SBarry Smith   PC_Redistribute *red = (PC_Redistribute*)pc->data;
225df826632SBarry Smith   PetscErrorCode  ierr;
226df826632SBarry Smith 
227df826632SBarry Smith   PetscFunctionBegin;
228df826632SBarry Smith   if (red->scatter)  {ierr = VecScatterDestroy(red->scatter);CHKERRQ(ierr);}
229ca320bd4SBarry Smith   if (red->is)       {ierr = ISDestroy(red->is);CHKERRQ(ierr);}
230df826632SBarry Smith   if (red->b)        {ierr = VecDestroy(red->b);CHKERRQ(ierr);}
231df826632SBarry Smith   if (red->x)        {ierr = VecDestroy(red->x);CHKERRQ(ierr);}
232df826632SBarry Smith   if (red->mat)      {ierr = MatDestroy(red->mat);CHKERRQ(ierr);}
233df826632SBarry Smith   if (red->ksp)      {ierr = KSPDestroy(red->ksp);CHKERRQ(ierr);}
234df826632SBarry Smith   ierr = PetscFree(red);CHKERRQ(ierr);
235df826632SBarry Smith   PetscFunctionReturn(0);
236df826632SBarry Smith }
237df826632SBarry Smith 
238df826632SBarry Smith #undef __FUNCT__
239df826632SBarry Smith #define __FUNCT__ "PCSetFromOptions_Redistribute"
240df826632SBarry Smith static PetscErrorCode PCSetFromOptions_Redistribute(PC pc)
241df826632SBarry Smith {
242df826632SBarry Smith   PetscErrorCode  ierr;
243df826632SBarry Smith   PC_Redistribute *red = (PC_Redistribute*)pc->data;
244df826632SBarry Smith 
245df826632SBarry Smith   PetscFunctionBegin;
246df826632SBarry Smith   ierr = KSPSetFromOptions(red->ksp);CHKERRQ(ierr);
247df826632SBarry Smith   PetscFunctionReturn(0);
248df826632SBarry Smith }
249df826632SBarry Smith 
250df826632SBarry Smith /* -------------------------------------------------------------------------------------*/
251df826632SBarry Smith /*MC
252df826632SBarry Smith      PCREDISTRIBUTE - Redistributes a matrix for load balancing and then applys a KSP to that new matrix
253df826632SBarry Smith 
254df826632SBarry Smith      Options for the redistribute preconditioners can be set with -redistribute_ksp_xxx <values> and -redistribute_pc_xxx <values>
255df826632SBarry Smith 
256df826632SBarry Smith    Level: intermediate
257df826632SBarry Smith 
258df826632SBarry Smith .seealso:  PCCreate(), PCSetType(), PCType (for list of available types)
259df826632SBarry Smith M*/
260df826632SBarry Smith 
261df826632SBarry Smith EXTERN_C_BEGIN
262df826632SBarry Smith #undef __FUNCT__
263df826632SBarry Smith #define __FUNCT__ "PCCreate_Redistribute"
264df826632SBarry Smith PetscErrorCode PETSCKSP_DLLEXPORT PCCreate_Redistribute(PC pc)
265df826632SBarry Smith {
266df826632SBarry Smith   PetscErrorCode  ierr;
267df826632SBarry Smith   PC_Redistribute *red;
268911f9fe8SBarry Smith   const char      *prefix;
269df826632SBarry Smith 
270df826632SBarry Smith   PetscFunctionBegin;
271df826632SBarry Smith   ierr = PetscNewLog(pc,PC_Redistribute,&red);CHKERRQ(ierr);
272df826632SBarry Smith   pc->data            = (void*)red;
273df826632SBarry Smith 
274df826632SBarry Smith   pc->ops->apply           = PCApply_Redistribute;
275df826632SBarry Smith   pc->ops->applytranspose  = 0;
276df826632SBarry Smith   pc->ops->setup           = PCSetUp_Redistribute;
277df826632SBarry Smith   pc->ops->destroy         = PCDestroy_Redistribute;
278df826632SBarry Smith   pc->ops->setfromoptions  = PCSetFromOptions_Redistribute;
279df826632SBarry Smith   pc->ops->view            = PCView_Redistribute;
280911f9fe8SBarry Smith 
281911f9fe8SBarry Smith   ierr = KSPCreate(((PetscObject)pc)->comm,&red->ksp);CHKERRQ(ierr);
282911f9fe8SBarry Smith   ierr = PetscObjectIncrementTabLevel((PetscObject)red->ksp,(PetscObject)pc,1);CHKERRQ(ierr);
283911f9fe8SBarry Smith   ierr = PetscLogObjectParent(pc,red->ksp);CHKERRQ(ierr);
284911f9fe8SBarry Smith   ierr = PCGetOptionsPrefix(pc,&prefix);CHKERRQ(ierr);
285911f9fe8SBarry Smith   ierr = KSPSetOptionsPrefix(red->ksp,prefix);CHKERRQ(ierr);
286911f9fe8SBarry Smith   ierr = KSPAppendOptionsPrefix(red->ksp,"redistribute_");CHKERRQ(ierr);
287df826632SBarry Smith   PetscFunctionReturn(0);
288df826632SBarry Smith }
289df826632SBarry Smith EXTERN_C_END
290