xref: /petsc/src/mat/impls/sbaij/mpi/sbaijov.c (revision bfc6803cb78865206625f4d17df7fc997886db03)
1632d0f97SHong Zhang /*$Id: sbaijov.c,v 1.65 2001/08/06 21:15:42 bsmith Exp $*/
2632d0f97SHong Zhang 
3632d0f97SHong Zhang /*
4632d0f97SHong Zhang    Routines to compute overlapping regions of a parallel MPI matrix.
5632d0f97SHong Zhang    Used for finding submatrices that were shared across processors.
6632d0f97SHong Zhang */
7*bfc6803cSHong Zhang #include "src/mat/impls/sbaij/seq/sbaij.h"
8632d0f97SHong Zhang #include "src/mat/impls/sbaij/mpi/mpisbaij.h"
9632d0f97SHong Zhang #include "petscbt.h"
10632d0f97SHong Zhang 
11632d0f97SHong Zhang static int MatIncreaseOverlap_MPISBAIJ_Once(Mat,int,IS *);
12*bfc6803cSHong Zhang static int MatIncreaseOverlap_MPISBAIJ_Local(Mat,int *,int,int **,PetscBT*);
13632d0f97SHong Zhang static int MatIncreaseOverlap_MPISBAIJ_Receive(Mat,int,int **,int**,int*);
14632d0f97SHong Zhang 
15632d0f97SHong Zhang /* this function is sasme as MatCompressIndicesGeneral_MPIBAIJ -- should be removed! */
16632d0f97SHong Zhang #undef __FUNCT__
17632d0f97SHong Zhang #define __FUNCT__ "MatCompressIndicesGeneral_MPISBAIJ"
18632d0f97SHong Zhang static int MatCompressIndicesGeneral_MPISBAIJ(Mat C,int imax,const IS is_in[],IS is_out[])
19632d0f97SHong Zhang {
20632d0f97SHong Zhang   Mat_MPISBAIJ        *baij = (Mat_MPISBAIJ*)C->data;
21632d0f97SHong Zhang   int                ierr,isz,bs = baij->bs,n,i,j,*idx,ival;
22632d0f97SHong Zhang #if defined (PETSC_USE_CTABLE)
23632d0f97SHong Zhang   PetscTable         gid1_lid1;
24632d0f97SHong Zhang   int                tt, gid1, *nidx;
25632d0f97SHong Zhang   PetscTablePosition tpos;
26632d0f97SHong Zhang #else
27632d0f97SHong Zhang   int                Nbs,*nidx;
28632d0f97SHong Zhang   PetscBT            table;
29632d0f97SHong Zhang #endif
30632d0f97SHong Zhang 
31632d0f97SHong Zhang   PetscFunctionBegin;
32632d0f97SHong Zhang   /* printf(" ...MatCompressIndicesGeneral_MPISBAIJ is called ...\n"); */
33632d0f97SHong Zhang #if defined (PETSC_USE_CTABLE)
34632d0f97SHong Zhang   ierr = PetscTableCreate(baij->mbs,&gid1_lid1);CHKERRQ(ierr);
35632d0f97SHong Zhang #else
36632d0f97SHong Zhang   Nbs  = baij->Nbs;
37632d0f97SHong Zhang   ierr = PetscMalloc((Nbs+1)*sizeof(int),&nidx);CHKERRQ(ierr);
38632d0f97SHong Zhang   ierr = PetscBTCreate(Nbs,table);CHKERRQ(ierr);
39632d0f97SHong Zhang #endif
40632d0f97SHong Zhang   for (i=0; i<imax; i++) {
41632d0f97SHong Zhang     isz  = 0;
42632d0f97SHong Zhang #if defined (PETSC_USE_CTABLE)
43632d0f97SHong Zhang     ierr = PetscTableRemoveAll(gid1_lid1);CHKERRQ(ierr);
44632d0f97SHong Zhang #else
45632d0f97SHong Zhang     ierr = PetscBTMemzero(Nbs,table);CHKERRQ(ierr);
46632d0f97SHong Zhang #endif
47632d0f97SHong Zhang     ierr = ISGetIndices(is_in[i],&idx);CHKERRQ(ierr);
48632d0f97SHong Zhang     ierr = ISGetLocalSize(is_in[i],&n);CHKERRQ(ierr);
49632d0f97SHong Zhang     for (j=0; j<n ; j++) {
50632d0f97SHong Zhang       ival = idx[j]/bs; /* convert the indices into block indices */
51632d0f97SHong Zhang #if defined (PETSC_USE_CTABLE)
52632d0f97SHong Zhang       ierr = PetscTableFind(gid1_lid1,ival+1,&tt);CHKERRQ(ierr);
53632d0f97SHong Zhang       if (!tt) {
54632d0f97SHong Zhang 	ierr = PetscTableAdd(gid1_lid1,ival+1,isz+1);CHKERRQ(ierr);
55632d0f97SHong Zhang         isz++;
56632d0f97SHong Zhang       }
57632d0f97SHong Zhang #else
58632d0f97SHong Zhang       if (ival>Nbs) SETERRQ(PETSC_ERR_ARG_OUTOFRANGE,"index greater than mat-dim");
59632d0f97SHong Zhang       if(!PetscBTLookupSet(table,ival)) { nidx[isz++] = ival;}
60632d0f97SHong Zhang #endif
61632d0f97SHong Zhang     }
62632d0f97SHong Zhang     ierr = ISRestoreIndices(is_in[i],&idx);CHKERRQ(ierr);
63632d0f97SHong Zhang #if defined (PETSC_USE_CTABLE)
64632d0f97SHong Zhang     ierr = PetscMalloc((isz+1)*sizeof(int),&nidx);CHKERRQ(ierr);
65632d0f97SHong Zhang     ierr = PetscTableGetHeadPosition(gid1_lid1,&tpos);CHKERRQ(ierr);
66632d0f97SHong Zhang     j = 0;
67632d0f97SHong Zhang     while (tpos) {
68632d0f97SHong Zhang       ierr = PetscTableGetNext(gid1_lid1,&tpos,&gid1,&tt);CHKERRQ(ierr);
69632d0f97SHong Zhang       if (tt-- > isz) { SETERRQ(PETSC_ERR_ARG_OUTOFRANGE,"index greater than array-dim"); }
70632d0f97SHong Zhang       nidx[tt] = gid1 - 1;
71632d0f97SHong Zhang       j++;
72632d0f97SHong Zhang     }
73632d0f97SHong Zhang     if (j != isz) { SETERRQ(PETSC_ERR_ARG_OUTOFRANGE,"table error: jj != isz"); }
74632d0f97SHong Zhang     ierr = ISCreateGeneral(PETSC_COMM_SELF,isz,nidx,(is_out+i));CHKERRQ(ierr);
75632d0f97SHong Zhang     ierr = PetscFree(nidx);CHKERRQ(ierr);
76632d0f97SHong Zhang #else
77632d0f97SHong Zhang     ierr = ISCreateGeneral(PETSC_COMM_SELF,isz,nidx,(is_out+i));CHKERRQ(ierr);
78632d0f97SHong Zhang #endif
79632d0f97SHong Zhang   }
80632d0f97SHong Zhang #if defined (PETSC_USE_CTABLE)
81632d0f97SHong Zhang   ierr = PetscTableDelete(gid1_lid1);CHKERRQ(ierr);
82632d0f97SHong Zhang #else
83632d0f97SHong Zhang   ierr = PetscBTDestroy(table);CHKERRQ(ierr);
84632d0f97SHong Zhang   ierr = PetscFree(nidx);CHKERRQ(ierr);
85632d0f97SHong Zhang #endif
86632d0f97SHong Zhang   PetscFunctionReturn(0);
87632d0f97SHong Zhang }
88632d0f97SHong Zhang 
89632d0f97SHong Zhang #undef __FUNCT__
90632d0f97SHong Zhang #define __FUNCT__ "MatExpandIndices_MPISBAIJ"
91632d0f97SHong Zhang static int MatExpandIndices_MPISBAIJ(Mat C,int imax,const IS is_in[],IS is_out[])
92632d0f97SHong Zhang {
93632d0f97SHong Zhang   Mat_MPISBAIJ  *baij = (Mat_MPISBAIJ*)C->data;
94632d0f97SHong Zhang   int          ierr,bs = baij->bs,n,i,j,k,*idx,*nidx;
95632d0f97SHong Zhang #if defined (PETSC_USE_CTABLE)
96632d0f97SHong Zhang   int          maxsz;
97632d0f97SHong Zhang #else
98632d0f97SHong Zhang   int          Nbs = baij->Nbs;
99632d0f97SHong Zhang #endif
100632d0f97SHong Zhang 
101632d0f97SHong Zhang   PetscFunctionBegin;
102632d0f97SHong Zhang   /* printf(" ... MatExpandIndices_MPISBAIJ is called ...\n"); */
103632d0f97SHong Zhang #if defined (PETSC_USE_CTABLE)
104632d0f97SHong Zhang   /* Now check max size */
105632d0f97SHong Zhang   for (i=0,maxsz=0; i<imax; i++) {
106632d0f97SHong Zhang     ierr = ISGetIndices(is_in[i],&idx);CHKERRQ(ierr);
107632d0f97SHong Zhang     ierr = ISGetLocalSize(is_in[i],&n);CHKERRQ(ierr);
108632d0f97SHong Zhang     if (n*bs > maxsz) maxsz = n*bs;
109632d0f97SHong Zhang   }
110632d0f97SHong Zhang   ierr = PetscMalloc((maxsz+1)*sizeof(int),&nidx);CHKERRQ(ierr);
111632d0f97SHong Zhang #else
112632d0f97SHong Zhang   ierr = PetscMalloc((Nbs*bs+1)*sizeof(int),&nidx);CHKERRQ(ierr);
113632d0f97SHong Zhang #endif
114632d0f97SHong Zhang 
115632d0f97SHong Zhang   for (i=0; i<imax; i++) {
116632d0f97SHong Zhang     ierr = ISGetIndices(is_in[i],&idx);CHKERRQ(ierr);
117632d0f97SHong Zhang     ierr = ISGetLocalSize(is_in[i],&n);CHKERRQ(ierr);
118632d0f97SHong Zhang     for (j=0; j<n ; ++j){
119632d0f97SHong Zhang       for (k=0; k<bs; k++)
120632d0f97SHong Zhang         nidx[j*bs+k] = idx[j]*bs+k;
121632d0f97SHong Zhang     }
122632d0f97SHong Zhang     ierr = ISRestoreIndices(is_in[i],&idx);CHKERRQ(ierr);
123632d0f97SHong Zhang     ierr = ISCreateGeneral(PETSC_COMM_SELF,n*bs,nidx,is_out+i);CHKERRQ(ierr);
124632d0f97SHong Zhang   }
125632d0f97SHong Zhang   ierr = PetscFree(nidx);CHKERRQ(ierr);
126632d0f97SHong Zhang   PetscFunctionReturn(0);
127632d0f97SHong Zhang }
128632d0f97SHong Zhang 
129632d0f97SHong Zhang #undef __FUNCT__
130632d0f97SHong Zhang #define __FUNCT__ "MatIncreaseOverlap_MPISBAIJ"
131c910923dSHong Zhang int MatIncreaseOverlap_MPISBAIJ(Mat C,int is_max,IS is[],int ov)
132632d0f97SHong Zhang {
133*bfc6803cSHong Zhang   Mat_MPISBAIJ  *c = (Mat_MPISBAIJ*)C->data;
134*bfc6803cSHong Zhang   int           i,ierr,size;
135632d0f97SHong Zhang   IS            *is_new;
136632d0f97SHong Zhang 
137632d0f97SHong Zhang   PetscFunctionBegin;
138c910923dSHong Zhang   ierr = PetscMalloc(is_max*sizeof(IS),&is_new);CHKERRQ(ierr);
139632d0f97SHong Zhang   /* Convert the indices into block format */
140c910923dSHong Zhang   ierr = MatCompressIndicesGeneral_MPISBAIJ(C,is_max,is,is_new);CHKERRQ(ierr);
141632d0f97SHong Zhang   if (ov < 0){ SETERRQ(PETSC_ERR_ARG_OUTOFRANGE,"Negative overlap specified\n");}
142632d0f97SHong Zhang   for (i=0; i<ov; ++i) {
143c910923dSHong Zhang     ierr = MatIncreaseOverlap_MPISBAIJ_Once(C,is_max,is_new);CHKERRQ(ierr);
144632d0f97SHong Zhang   }
145c910923dSHong Zhang   for (i=0; i<is_max; i++) {ierr = ISDestroy(is[i]);CHKERRQ(ierr);}
146c910923dSHong Zhang   ierr = MatExpandIndices_MPISBAIJ(C,is_max,is_new,is);CHKERRQ(ierr);
147c910923dSHong Zhang   for (i=0; i<is_max; i++) {ierr = ISDestroy(is_new[i]);CHKERRQ(ierr);}
148632d0f97SHong Zhang   ierr = PetscFree(is_new);CHKERRQ(ierr);
149632d0f97SHong Zhang   PetscFunctionReturn(0);
150632d0f97SHong Zhang }
151632d0f97SHong Zhang 
152*bfc6803cSHong Zhang typedef enum {MINE,OTHER} whose;
153a2a9f22aSHong Zhang /*  All data are packed in the format:
154a2a9f22aSHong Zhang        data[0]          = is_max, no of is
155a2a9f22aSHong Zhang        data[1]          = size of is[0]
156a2a9f22aSHong Zhang         ...
157a2a9f22aSHong Zhang        data[is_max]     = size of is[is_max-1]
158a2a9f22aSHong Zhang        data[is_max + 1] = data(is[0])
159a2a9f22aSHong Zhang         ...
160a2a9f22aSHong Zhang        data[is_max+1+sum(size of is[k]), k=0,...,i-1] = data(is[i])
161a2a9f22aSHong Zhang         ...
162a2a9f22aSHong Zhang */
163632d0f97SHong Zhang #undef __FUNCT__
164632d0f97SHong Zhang #define __FUNCT__ "MatIncreaseOverlap_MPISBAIJ_Once"
165c910923dSHong Zhang static int MatIncreaseOverlap_MPISBAIJ_Once(Mat C,int is_max,IS is[])
166632d0f97SHong Zhang {
167632d0f97SHong Zhang   Mat_MPISBAIJ  *c = (Mat_MPISBAIJ*)C->data;
168*bfc6803cSHong Zhang   int         len,*idx_i,*nidx_i,isz,col,*n,*data1_p,*data2_p,*data3_p;
169a2a9f22aSHong Zhang   int         size,rank,Mbs,i,j,k,ierr,nrqs,*data1,*data2,*data3,*odata1,*odata2;
170*bfc6803cSHong Zhang   int         *data,*data_i;
171a2a9f22aSHong Zhang   int         tag1,tag2,flag,proc_id,**odata2_ptr;
172*bfc6803cSHong Zhang   char        *t_p;
173632d0f97SHong Zhang   MPI_Comm    comm;
174c910923dSHong Zhang   MPI_Request *s_waits1,*s_waits2,r_req;
175632d0f97SHong Zhang   MPI_Status  *s_status,r_status;
176*bfc6803cSHong Zhang   PetscBT     *table;  /* mark indices of this processor's is[] */
177fc70d14eSHong Zhang   PetscBT     table_i;
178*bfc6803cSHong Zhang   PetscBT     otable; /* mark indices of other processors' is[] */
179632d0f97SHong Zhang   PetscFunctionBegin;
180632d0f97SHong Zhang 
181632d0f97SHong Zhang   comm = C->comm;
182632d0f97SHong Zhang   size = c->size;
183632d0f97SHong Zhang   rank = c->rank;
184632d0f97SHong Zhang   Mbs  = c->Mbs;
185632d0f97SHong Zhang 
186c910923dSHong Zhang   ierr = PetscObjectGetNewTag((PetscObject)C,&tag1);CHKERRQ(ierr);
187c910923dSHong Zhang   ierr = PetscObjectGetNewTag((PetscObject)C,&tag2);CHKERRQ(ierr);
188c910923dSHong Zhang 
189a2a9f22aSHong Zhang   /* create tables for marking indices */
190a2a9f22aSHong Zhang   len  = is_max*sizeof(PetscBT) + (Mbs/PETSC_BITS_PER_BYTE+1)*is_max*sizeof(char) + 1;
191*bfc6803cSHong Zhang   ierr = PetscMalloc(len,&table);CHKERRQ(ierr);
192a2a9f22aSHong Zhang   t_p  = (char *)(table + is_max);
193a2a9f22aSHong Zhang   for (i=0; i<is_max; i++) {
194*bfc6803cSHong Zhang     table[i]  = t_p  + (Mbs/PETSC_BITS_PER_BYTE+1)*i;
195a2a9f22aSHong Zhang   }
196*bfc6803cSHong Zhang   ierr = PetscBTCreate(Mbs,otable);
197632d0f97SHong Zhang 
198*bfc6803cSHong Zhang   /* 1. Send this processor's is[] to all other processors */
199*bfc6803cSHong Zhang   /*-------------------------------------------------------*/
200632d0f97SHong Zhang   /* Allocate Memory for outgoing messages */
201a2a9f22aSHong Zhang   len  = is_max*sizeof(int);
202a2a9f22aSHong Zhang   ierr = PetscMalloc(len,&n);CHKERRQ(ierr);
203a2a9f22aSHong Zhang 
204c910923dSHong Zhang   len = 1 + is_max;
205c910923dSHong Zhang   for (i=0; i<is_max; i++) {
206632d0f97SHong Zhang     ierr = ISGetLocalSize(is[i],&n[i]);CHKERRQ(ierr);
207632d0f97SHong Zhang     len += n[i];
208632d0f97SHong Zhang   }
209a2a9f22aSHong Zhang   ierr = PetscMalloc(len*sizeof(int),&data1);CHKERRQ(ierr);
210632d0f97SHong Zhang 
211632d0f97SHong Zhang   /* Form the outgoing messages */
212a2a9f22aSHong Zhang   data1[0] = is_max;
213c910923dSHong Zhang   k = is_max + 1;
214a2a9f22aSHong Zhang   for (i=0; i<is_max; i++) {
215a2a9f22aSHong Zhang     data1[1+i] = n[i];
216a2a9f22aSHong Zhang     ierr = ISGetIndices(is[i],&idx_i);CHKERRQ(ierr);
217a2a9f22aSHong Zhang     for (j=0; j<data1[i+1]; j++){
218a2a9f22aSHong Zhang       data1[k++] = idx_i[j];
219632d0f97SHong Zhang     }
220a2a9f22aSHong Zhang     ierr = ISRestoreIndices(is[i],&idx_i);CHKERRQ(ierr);
221a2a9f22aSHong Zhang     ierr = ISDestroy(is[i]);CHKERRQ(ierr);
222632d0f97SHong Zhang   }
223fc70d14eSHong Zhang   if (k != len) SETERRQ2(1,"Error on forming the outgoing messages: k %d != len %d",k,len);
224*bfc6803cSHong Zhang   ierr = PetscFree(n);CHKERRQ(ierr);
225632d0f97SHong Zhang 
226632d0f97SHong Zhang   /*  Now  post the sends */
227*bfc6803cSHong Zhang   ierr = PetscMalloc(2*size*sizeof(MPI_Request),&s_waits1);CHKERRQ(ierr);
228*bfc6803cSHong Zhang   s_waits2 = s_waits1 + size;
229632d0f97SHong Zhang 
230632d0f97SHong Zhang   k = 0;
231a2a9f22aSHong Zhang   for (proc_id=0; proc_id<size; ++proc_id) { /* send data1 to processor [proc_id] */
232c910923dSHong Zhang     if (proc_id != rank){
233a2a9f22aSHong Zhang       ierr = MPI_Isend(data1,len,MPI_INT,proc_id,tag1,comm,s_waits1+k);CHKERRQ(ierr);
234*bfc6803cSHong Zhang       /* printf(" [%d] send %d msg to [%d], data1: \n",rank,len,proc_id); */
235632d0f97SHong Zhang       k++;
236632d0f97SHong Zhang     }
237632d0f97SHong Zhang   }
238632d0f97SHong Zhang 
239dc008846SHong Zhang   /* 2. Do local work on this processor's is[] */
240dc008846SHong Zhang   /*-------------------------------------------*/
241*bfc6803cSHong Zhang   ierr = MatIncreaseOverlap_MPISBAIJ_Local(C,data1,MINE,&data2,table);CHKERRQ(ierr);
242632d0f97SHong Zhang 
243632d0f97SHong Zhang   /* 3. Receive other's is[] and process. Then send back */
244*bfc6803cSHong Zhang   /*-----------------------------------------------------*/
245*bfc6803cSHong Zhang   /* Send this processor's is[] is done */
246632d0f97SHong Zhang   nrqs = size-1;
247632d0f97SHong Zhang   ierr = PetscMalloc(size*sizeof(MPI_Status),&s_status);CHKERRQ(ierr);
248632d0f97SHong Zhang   ierr = MPI_Waitall(nrqs,s_waits1,s_status);CHKERRQ(ierr);
249dc008846SHong Zhang 
250*bfc6803cSHong Zhang   ierr = PetscMalloc(size*sizeof(int**),&odata2_ptr);CHKERRQ(ierr);
251632d0f97SHong Zhang   k = 0;
252632d0f97SHong Zhang   do {
253632d0f97SHong Zhang     /* Receive messages */
254*bfc6803cSHong Zhang     ierr = MPI_Iprobe(MPI_ANY_SOURCE,tag1,comm,&flag,&r_status);CHKERRQ(ierr);
255632d0f97SHong Zhang     if (flag){
256*bfc6803cSHong Zhang       ierr = MPI_Get_count(&r_status,MPI_INT,&len);CHKERRQ(ierr);
257632d0f97SHong Zhang       proc_id = r_status.MPI_SOURCE;
258a2a9f22aSHong Zhang       ierr = PetscMalloc(len*sizeof(int),&odata1);CHKERRQ(ierr);
259*bfc6803cSHong Zhang       ierr = MPI_Irecv(odata1,len,MPI_INT,proc_id,r_status.MPI_TAG,comm,&r_req);CHKERRQ(ierr);
260fc70d14eSHong Zhang       /*  printf(" [%d] recv %d msg from [%d]\n",rank,len,proc_id); */
261632d0f97SHong Zhang 
262fc70d14eSHong Zhang       /*  Process messages */
263*bfc6803cSHong Zhang       ierr = MatIncreaseOverlap_MPISBAIJ_Local(C,odata1,OTHER,&odata2_ptr[k],&otable);CHKERRQ(ierr);
264a2a9f22aSHong Zhang       odata2 = odata2_ptr[k];
265a2a9f22aSHong Zhang       len = 1 + odata2[0];
266a2a9f22aSHong Zhang       for (i=0; i<odata2[0]; i++){
267a2a9f22aSHong Zhang         len += odata2[1 + i];
268fc70d14eSHong Zhang       }
269632d0f97SHong Zhang 
270632d0f97SHong Zhang       /* Send messages back */
271a2a9f22aSHong Zhang       ierr = MPI_Isend(odata2,len,MPI_INT,proc_id,tag2,comm,&s_waits2[k]);CHKERRQ(ierr);
272*bfc6803cSHong Zhang       /* printf(" [%d] send %d msg back to [%d] \n",rank,len,proc_id); */
273632d0f97SHong Zhang 
274a2a9f22aSHong Zhang       ierr = PetscFree(odata1);CHKERRQ(ierr);
275fc70d14eSHong Zhang       k++;
276632d0f97SHong Zhang     }
277632d0f97SHong Zhang   } while (k < nrqs);
278632d0f97SHong Zhang 
279fc70d14eSHong Zhang   /* 4. Receive work done on other processors, then merge */
280632d0f97SHong Zhang   /*--------------------------------------------------------*/
281*bfc6803cSHong Zhang   /* Allocate memory for merged data */
282*bfc6803cSHong Zhang   len = (1+is_max*(Mbs+1));
283*bfc6803cSHong Zhang   ierr = PetscMalloc(2*len*sizeof(int),&data);CHKERRQ(ierr);
284*bfc6803cSHong Zhang   data[0] = is_max;
285*bfc6803cSHong Zhang 
286*bfc6803cSHong Zhang   /* copy data1 and data2 into data */
287*bfc6803cSHong Zhang   data1_p = data1 + 1 + is_max;
288*bfc6803cSHong Zhang   data2_p = data2 + 1 + is_max;
289*bfc6803cSHong Zhang   for (i=0; i<is_max; i++) {
290*bfc6803cSHong Zhang     table_i  = table[i];
291*bfc6803cSHong Zhang     data_i = data + 1 + is_max + Mbs*i;
292*bfc6803cSHong Zhang     isz = 0;
293*bfc6803cSHong Zhang     /* data1 */
294*bfc6803cSHong Zhang     for (j=0; j<data1[1+i]; j++){
295*bfc6803cSHong Zhang       col = data1_p[j];
296*bfc6803cSHong Zhang       if (PetscBTLookup(table_i,col)) {data_i[isz++] = col;}
297*bfc6803cSHong Zhang     }
298*bfc6803cSHong Zhang     /* data2 */
299*bfc6803cSHong Zhang     for (j=0; j<data2[1+i]; j++){
300*bfc6803cSHong Zhang       col = data2_p[j];
301*bfc6803cSHong Zhang       if (PetscBTLookup(table_i,col)) {data_i[isz++] = col;}
302*bfc6803cSHong Zhang     }
303*bfc6803cSHong Zhang     data[1+i] = isz;
304*bfc6803cSHong Zhang     if (i < is_max - 1){
305*bfc6803cSHong Zhang       data1_p += data1[1+i]; /* ptr to is[i+1] array from data1 */
306*bfc6803cSHong Zhang       data2_p += data2[1+i];
307*bfc6803cSHong Zhang     }
308*bfc6803cSHong Zhang   }
309*bfc6803cSHong Zhang 
310*bfc6803cSHong Zhang   data3 = data + len;
311*bfc6803cSHong Zhang 
312*bfc6803cSHong Zhang   /* Sending others' is[] is done */
313632d0f97SHong Zhang   ierr = MPI_Waitall(nrqs,s_waits2,s_status);CHKERRQ(ierr);
314fc70d14eSHong Zhang   for (k=0; k<nrqs; k++){
315a2a9f22aSHong Zhang     ierr = PetscFree(odata2_ptr[k]);CHKERRQ(ierr);
316fc70d14eSHong Zhang   }
317a2a9f22aSHong Zhang   ierr = PetscFree(odata2_ptr);CHKERRQ(ierr);
318fc70d14eSHong Zhang 
319632d0f97SHong Zhang   k = 0;
320632d0f97SHong Zhang   do {
321632d0f97SHong Zhang     /* Receive messages */
322c910923dSHong Zhang     ierr = MPI_Iprobe(MPI_ANY_SOURCE,tag2,comm,&flag,&r_status);
323632d0f97SHong Zhang     if (flag){
324*bfc6803cSHong Zhang       ierr = MPI_Get_count(&r_status,MPI_INT,&len);CHKERRQ(ierr);
325632d0f97SHong Zhang       proc_id = r_status.MPI_SOURCE;
326*bfc6803cSHong Zhang       ierr = MPI_Irecv(data3,len,MPI_INT,proc_id,r_status.MPI_TAG,comm,&r_req);CHKERRQ(ierr);
327*bfc6803cSHong Zhang       /* printf(" [%d] recv %d msg from [%d], data3:\n",rank,len,proc_id); */
328632d0f97SHong Zhang 
329*bfc6803cSHong Zhang       /*  merge data3 into data */
330*bfc6803cSHong Zhang       data3_p = data3 + 1 + is_max;
331fc70d14eSHong Zhang       for (i=0; i<is_max; i++){
332fc70d14eSHong Zhang         table_i  = table[i];
333*bfc6803cSHong Zhang         data_i = data + 1 + is_max + Mbs*i;
334*bfc6803cSHong Zhang         isz = data[1+i];
335a2a9f22aSHong Zhang         for (j=0; j<data3[1+i]; j++){
336*bfc6803cSHong Zhang           col = data3_p[j];
337*bfc6803cSHong Zhang           if (!PetscBTLookupSet(table_i,col)) {data_i[isz++] = col;}
338fc70d14eSHong Zhang         }
339*bfc6803cSHong Zhang         data[1+i] = isz;
340*bfc6803cSHong Zhang         if (i < is_max - 1) data3_p += data3[1+i];
341fc70d14eSHong Zhang       }
342632d0f97SHong Zhang       k++;
343632d0f97SHong Zhang     }
344632d0f97SHong Zhang   } while (k < nrqs);
345632d0f97SHong Zhang 
346c910923dSHong Zhang   /* 5. Create new is[] */
347c910923dSHong Zhang   /*--------------------*/
348c910923dSHong Zhang   for (i=0; i<is_max; i++) {
349*bfc6803cSHong Zhang     data_i = data + 1 + is_max + Mbs*i;
350*bfc6803cSHong Zhang     ierr = ISCreateGeneral(PETSC_COMM_SELF,data[1+i],data_i,is+i);CHKERRQ(ierr);
351632d0f97SHong Zhang   }
352*bfc6803cSHong Zhang   ierr = PetscFree(data);CHKERRQ(ierr);
353*bfc6803cSHong Zhang   ierr = PetscFree(data1);CHKERRQ(ierr);
354a2a9f22aSHong Zhang   ierr = PetscFree(data2);CHKERRQ(ierr);
355632d0f97SHong Zhang   ierr = PetscFree(s_waits1);CHKERRQ(ierr);
356632d0f97SHong Zhang   ierr = PetscFree(s_status);CHKERRQ(ierr);
357fc70d14eSHong Zhang   ierr = PetscFree(table);CHKERRQ(ierr);
358*bfc6803cSHong Zhang   ierr = PetscBTDestroy(otable);CHKERRQ(ierr);
359632d0f97SHong Zhang   PetscFunctionReturn(0);
360632d0f97SHong Zhang }
361632d0f97SHong Zhang 
362632d0f97SHong Zhang #undef __FUNCT__
363632d0f97SHong Zhang #define __FUNCT__ "MatIncreaseOverlap_MPISBAIJ_Local"
364632d0f97SHong Zhang /*
365dc008846SHong Zhang    MatIncreaseOverlap_MPISBAIJ_Local - Called by MatIncreaseOverlap, to do
366632d0f97SHong Zhang        the work on the local processor.
367632d0f97SHong Zhang 
368632d0f97SHong Zhang      Inputs:
369632d0f97SHong Zhang       C      - MAT_MPISBAIJ;
370*bfc6803cSHong Zhang       data   - holds is[]. See MatIncreaseOverlap_MPISBAIJ_Once() for the format.
371*bfc6803cSHong Zhang       whose  - whose is[] to be processed,
372*bfc6803cSHong Zhang                MINE:  this processor's is[]
373*bfc6803cSHong Zhang                OTHER: other processor's is[]
374632d0f97SHong Zhang 
375632d0f97SHong Zhang      Output:
376*bfc6803cSHong Zhang        data_new   - holds new indices of the input is[] in the same format as data
377*bfc6803cSHong Zhang        table      - table[i]: mark the indices of is[i], i=0,...,is_max. Useful only in the case 'whose=MINE'.
378632d0f97SHong Zhang */
379*bfc6803cSHong Zhang static int MatIncreaseOverlap_MPISBAIJ_Local(Mat C,int *data,int whose,int **data_new,PetscBT *table)
380632d0f97SHong Zhang {
381632d0f97SHong Zhang   Mat_MPISBAIJ *c = (Mat_MPISBAIJ*)C->data;
382dc008846SHong Zhang   Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)(c->A)->data;
383dc008846SHong Zhang   Mat_SeqBAIJ  *b = (Mat_SeqBAIJ*)(c->B)->data;
384dc008846SHong Zhang   int          ierr,row,mbs,Mbs,*nidx,*nidx_i,col,isz,isz0,*ai,*aj,bs,*bi,*bj,*garray,rstart,l;
385dc008846SHong Zhang   int          a_start,a_end,b_start,b_end,i,j,k,is_max,*idx_i,n;
386*bfc6803cSHong Zhang   PetscBT      table0;  /* mark the indices of input is[] for look up */
387*bfc6803cSHong Zhang   PetscBT      table_i; /* poits to i-th table. When whose=OTHER, a single table is used for all is[] */
388632d0f97SHong Zhang 
389632d0f97SHong Zhang   PetscFunctionBegin;
390dc008846SHong Zhang   Mbs = c->Mbs; mbs = a->mbs; bs = a->bs;
391dc008846SHong Zhang   ai = a->i; aj = a->j;
392dc008846SHong Zhang   bi = b->i; bj = b->j;
393632d0f97SHong Zhang   garray = c->garray;
394dc008846SHong Zhang   rstart = c->rstart;
395dc008846SHong Zhang   is_max = data[0];
396632d0f97SHong Zhang 
397fc70d14eSHong Zhang   ierr = PetscBTCreate(Mbs,table0);CHKERRQ(ierr);
398fc70d14eSHong Zhang 
399fc70d14eSHong Zhang   ierr = PetscMalloc((1+is_max*(Mbs+1))*sizeof(int),&nidx);CHKERRQ(ierr);
400fc70d14eSHong Zhang   nidx[0] = is_max;
401fc70d14eSHong Zhang 
402fc70d14eSHong Zhang   idx_i  = data + is_max + 1; /* ptr to input is[0] array */
403*bfc6803cSHong Zhang   nidx_i = nidx + is_max + 1; /* ptr to output is[0] array */
404dc008846SHong Zhang   for (i=0; i<is_max; i++) { /* for each is */
405dc008846SHong Zhang     isz  = 0;
406fc70d14eSHong Zhang     n = data[1+i]; /* size of input is[i] */
407dc008846SHong Zhang 
408*bfc6803cSHong Zhang     /* initialize table_i, set table0 */
409*bfc6803cSHong Zhang     if (whose == MINE){ /* process this processor's is[] */
410*bfc6803cSHong Zhang       table_i = table[i];
411*bfc6803cSHong Zhang     } else {            /* process other processor's is[] - only use one temp table */
412*bfc6803cSHong Zhang       table_i = *table;
413*bfc6803cSHong Zhang     }
414*bfc6803cSHong Zhang     ierr = PetscBTMemzero(Mbs,table_i);CHKERRQ(ierr);
415*bfc6803cSHong Zhang     ierr = PetscBTMemzero(Mbs,table0);CHKERRQ(ierr);
416fc70d14eSHong Zhang     if (n > 0) {
417*bfc6803cSHong Zhang       isz0 = 0;
418dc008846SHong Zhang       for (j=0; j<n; j++){
419dc008846SHong Zhang         col = idx_i[j];
420dc008846SHong Zhang         if (col >= Mbs) SETERRQ2(PETSC_ERR_ARG_OUTOFRANGE,"index col %d >= Mbs %d",col,Mbs);
421*bfc6803cSHong Zhang         if(!PetscBTLookupSet(table_i,col)) {
422*bfc6803cSHong Zhang           ierr = PetscBTSet(table0,col);CHKERRQ(ierr);
423*bfc6803cSHong Zhang           isz0++;
424*bfc6803cSHong Zhang         }
425632d0f97SHong Zhang       }
426dc008846SHong Zhang 
427fc70d14eSHong Zhang       k = 0;  /* no. of indices from input is[i] that have been examined */
428dc008846SHong Zhang       for (row=0; row<mbs; row++){
429dc008846SHong Zhang         a_start = ai[row]; a_end = ai[row+1];
430dc008846SHong Zhang         b_start = bi[row]; b_end = bi[row+1];
431dc008846SHong Zhang         if (PetscBTLookup(table0,row+rstart)){ /* row is on nidx_i - row search: collect all col in this row */
432dc008846SHong Zhang           for (l = a_start; l<a_end ; l++){ /* Amat */
433dc008846SHong Zhang             col = aj[l] + rstart;
434fc70d14eSHong Zhang             if (!PetscBTLookupSet(table_i,col)) {nidx_i[isz++] = col;}
435dc008846SHong Zhang           }
436dc008846SHong Zhang           for (l = b_start; l<b_end ; l++){ /* Bmat */
437dc008846SHong Zhang             col = garray[bj[l]];
438fc70d14eSHong Zhang             if (!PetscBTLookupSet(table_i,col)) {nidx_i[isz++] = col;}
439dc008846SHong Zhang           }
440dc008846SHong Zhang           k++;
441dc008846SHong Zhang           if (k >= isz0) break; /* for (row=0; row<mbs; row++) */
442dc008846SHong Zhang         } else { /* row is not on nidx_i - col serach: add row onto nidx_i if there is a col in nidx_i */
443dc008846SHong Zhang           for (l = a_start; l<a_end ; l++){ /* Amat */
444dc008846SHong Zhang             col = aj[l] + rstart;
445dc008846SHong Zhang             if (PetscBTLookup(table0,col)){
446fc70d14eSHong Zhang               if (!PetscBTLookupSet(table_i,row+rstart)) {nidx_i[isz++] = row+rstart;}
447dc008846SHong Zhang               break; /* for l = start; l<end ; l++) */
448632d0f97SHong Zhang             }
449632d0f97SHong Zhang           }
450dc008846SHong Zhang           for (l = b_start; l<b_end ; l++){ /* Bmat */
451dc008846SHong Zhang             col = garray[bj[l]];
452dc008846SHong Zhang             if (PetscBTLookup(table0,col)){
453fc70d14eSHong Zhang               if (!PetscBTLookupSet(table_i,row+rstart)) {nidx_i[isz++] = row+rstart;}
454dc008846SHong Zhang               break; /* for l = start; l<end ; l++) */
455632d0f97SHong Zhang             }
456dc008846SHong Zhang           }
457dc008846SHong Zhang         }
458*bfc6803cSHong Zhang       }
459fc70d14eSHong Zhang     } /* if (n > 0) */
460dc008846SHong Zhang 
461dc008846SHong Zhang     if (i < is_max - 1){
462fc70d14eSHong Zhang       idx_i  += n;   /* ptr to input is[i+1] array */
463*bfc6803cSHong Zhang       nidx_i += isz; /* ptr to output is[i+1] array */
464dc008846SHong Zhang     }
465fc70d14eSHong Zhang     nidx[1+i] = isz; /* size of new is[i] */
466dc008846SHong Zhang   } /* /* for each is */
467dc008846SHong Zhang   *data_new = nidx;
468dc008846SHong Zhang   ierr = PetscBTDestroy(table0);CHKERRQ(ierr);
469632d0f97SHong Zhang 
470632d0f97SHong Zhang   PetscFunctionReturn(0);
471632d0f97SHong Zhang }
472632d0f97SHong Zhang 
473632d0f97SHong Zhang 
474