xref: /petsc/src/mat/impls/aij/seq/fdaij.c (revision 9566063d113dddea24716c546802770db7481bc0)
1c6db04a5SJed Brown #include <../src/mat/impls/aij/seq/aij.h>
2525d23c0SHong Zhang #include <../src/mat/impls/baij/seq/baij.h>
3d4002b98SHong Zhang #include <../src/mat/impls/sell/seq/sell.h>
4af0996ceSBarry Smith #include <petsc/private/isimpl.h>
5525d23c0SHong Zhang 
6040ebd07SHong Zhang /*
7040ebd07SHong Zhang     This routine is shared by SeqAIJ and SeqBAIJ matrices,
8040ebd07SHong Zhang     since it operators only on the nonzero structure of the elements or blocks.
9040ebd07SHong Zhang */
1093dfae19SHong Zhang PetscErrorCode MatFDColoringCreate_SeqXAIJ(Mat mat,ISColoring iscoloring,MatFDColoring c)
1193dfae19SHong Zhang {
12a8971b87SHong Zhang   PetscInt       bs,nis=iscoloring->n,m=mat->rmap->n;
13d4002b98SHong Zhang   PetscBool      isBAIJ,isSELL;
1493dfae19SHong Zhang 
1593dfae19SHong Zhang   PetscFunctionBegin;
16531e53bdSHong Zhang   /* set default brows and bcols for speedup inserting the dense matrix into sparse Jacobian */
17*9566063dSJacob Faibussowitsch   PetscCall(MatGetBlockSize(mat,&bs));
18*9566063dSJacob Faibussowitsch   PetscCall(PetscObjectBaseTypeCompare((PetscObject)mat,MATSEQBAIJ,&isBAIJ));
19*9566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)mat,MATSEQSELL,&isSELL));
20a8971b87SHong Zhang   if (isBAIJ) {
21a8971b87SHong Zhang     c->brows = m;
22a8971b87SHong Zhang     c->bcols = 1;
23531e53bdSHong Zhang   } else { /* seqaij matrix */
24531e53bdSHong Zhang     /* bcols is chosen s.t. dy-array takes 50% of memory space as mat */
25531e53bdSHong Zhang     PetscReal  mem;
26a8971b87SHong Zhang     PetscInt   nz,brows,bcols;
27d4002b98SHong Zhang     if (isSELL) {
28d4002b98SHong Zhang       Mat_SeqSELL *spA = (Mat_SeqSELL*)mat->data;
29f4b713efSHong Zhang       nz = spA->nz;
30f4b713efSHong Zhang     } else {
31f4b713efSHong Zhang       Mat_SeqAIJ *spA = (Mat_SeqAIJ*)mat->data;
32f4b713efSHong Zhang       nz = spA->nz;
33f4b713efSHong Zhang     }
34531e53bdSHong Zhang 
3593dfae19SHong Zhang     bs    = 1; /* only bs=1 is supported for SeqAIJ matrix */
36531e53bdSHong Zhang     mem   = nz*(sizeof(PetscScalar) + sizeof(PetscInt)) + 3*m*sizeof(PetscInt);
37531e53bdSHong Zhang     bcols = (PetscInt)(0.5*mem /(m*sizeof(PetscScalar)));
38531e53bdSHong Zhang     brows = 1000/bcols;
39531e53bdSHong Zhang     if (bcols > nis) bcols = nis;
40531e53bdSHong Zhang     if (brows == 0 || brows > m) brows = m;
41531e53bdSHong Zhang     c->brows = brows;
42531e53bdSHong Zhang     c->bcols = bcols;
4393dfae19SHong Zhang   }
44531e53bdSHong Zhang 
4593dfae19SHong Zhang   c->M       = mat->rmap->N/bs;   /* set total rows, columns and local rows */
4693dfae19SHong Zhang   c->N       = mat->cmap->N/bs;
4793dfae19SHong Zhang   c->m       = mat->rmap->N/bs;
4893dfae19SHong Zhang   c->rstart  = 0;
4993dfae19SHong Zhang   c->ncolors = nis;
5091e7fa0fSBarry Smith   c->ctype   = iscoloring->ctype;
5193dfae19SHong Zhang   PetscFunctionReturn(0);
5293dfae19SHong Zhang }
5393dfae19SHong Zhang 
54b3e1f37bSHong Zhang /*
550df34763SHong Zhang  Reorder Jentry such that blocked brows*bols of entries from dense matrix are inserted into Jacobian for improved cache performance
56b3e1f37bSHong Zhang    Input Parameters:
57b3e1f37bSHong Zhang +  mat - the matrix containing the nonzero structure of the Jacobian
58b3e1f37bSHong Zhang .  color - the coloring context
59b3e1f37bSHong Zhang -  nz - number of local non-zeros in mat
60b3e1f37bSHong Zhang */
61a8971b87SHong Zhang PetscErrorCode MatFDColoringSetUpBlocked_AIJ_Private(Mat mat,MatFDColoring c,PetscInt nz)
6279c1e64dSHong Zhang {
63b3e1f37bSHong Zhang   PetscInt       i,j,nrows,nbcols,brows=c->brows,bcols=c->bcols,mbs=c->m,nis=c->ncolors;
64b3e1f37bSHong Zhang   PetscInt       *color_start,*row_start,*nrows_new,nz_new,row_end;
6579c1e64dSHong Zhang 
6679c1e64dSHong Zhang   PetscFunctionBegin;
67a8971b87SHong Zhang   if (brows < 1 || brows > mbs) brows = mbs;
68*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc2(bcols+1,&color_start,bcols,&row_start));
69*9566063dSJacob Faibussowitsch   PetscCall(PetscCalloc1(nis,&nrows_new));
70*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(bcols*mat->rmap->n,&c->dy));
71*9566063dSJacob Faibussowitsch   PetscCall(PetscLogObjectMemory((PetscObject)c,bcols*mat->rmap->n*sizeof(PetscScalar)));
726a509798SHong Zhang 
73e2c857f8SHong Zhang   nz_new = 0;
74b3e1f37bSHong Zhang   nbcols = 0;
75054951adSHong Zhang   color_start[bcols] = 0;
760df34763SHong Zhang 
770df34763SHong Zhang   if (c->htype[0] == 'd') { /* ----  c->htype == 'ds', use MatEntry --------*/
780df34763SHong Zhang     MatEntry *Jentry_new,*Jentry=c->matentry;
79e2cf4d64SStefano Zampini 
80*9566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(nz,&Jentry_new));
81e2c857f8SHong Zhang     for (i=0; i<nis; i+=bcols) { /* loop over colors */
82054951adSHong Zhang       if (i + bcols > nis) {
83054951adSHong Zhang         color_start[nis - i] = color_start[bcols];
84054951adSHong Zhang         bcols                = nis - i;
85054951adSHong Zhang       }
86054951adSHong Zhang 
87054951adSHong Zhang       color_start[0] = color_start[bcols];
88054951adSHong Zhang       for (j=0; j<bcols; j++) {
89054951adSHong Zhang         color_start[j+1] = c->nrows[i+j] + color_start[j];
90054951adSHong Zhang         row_start[j]     = 0;
91054951adSHong Zhang       }
92e2c857f8SHong Zhang 
93e2c857f8SHong Zhang       row_end = brows;
94c8a9c622SHong Zhang       if (row_end > mbs) row_end = mbs;
95054951adSHong Zhang 
96c8a9c622SHong Zhang       while (row_end <= mbs) {   /* loop over block rows */
97e2c857f8SHong Zhang         for (j=0; j<bcols; j++) {       /* loop over block columns */
98e2c857f8SHong Zhang           nrows = c->nrows[i+j];
99054951adSHong Zhang           nz    = color_start[j];
100c8a9c622SHong Zhang           while (row_start[j] < nrows) {
101e2c857f8SHong Zhang             if (Jentry[nz].row >= row_end) {
102054951adSHong Zhang               color_start[j] = nz;
103e2c857f8SHong Zhang               break;
104c8a9c622SHong Zhang             } else { /* copy Jentry[nz] to Jentry_new[nz_new] */
105c8a9c622SHong Zhang               Jentry_new[nz_new].row     = Jentry[nz].row + j*mbs; /* index in dy-array */
106d880da65SHong Zhang               Jentry_new[nz_new].col     = Jentry[nz].col;
107e2c857f8SHong Zhang               Jentry_new[nz_new].valaddr = Jentry[nz].valaddr;
108c8a9c622SHong Zhang               nz_new++; nz++; row_start[j]++;
109e2c857f8SHong Zhang             }
110e2c857f8SHong Zhang           }
111e2c857f8SHong Zhang         }
112c8a9c622SHong Zhang         if (row_end == mbs) break;
113e2c857f8SHong Zhang         row_end += brows;
114c8a9c622SHong Zhang         if (row_end > mbs) row_end = mbs;
115e2c857f8SHong Zhang       }
1166a509798SHong Zhang       nrows_new[nbcols++] = nz_new;
117e2c857f8SHong Zhang     }
118*9566063dSJacob Faibussowitsch     PetscCall(PetscFree(Jentry));
1190df34763SHong Zhang     c->matentry = Jentry_new;
1200df34763SHong Zhang   } else { /* ---------  c->htype == 'wp', use MatEntry2 ------------------*/
1210df34763SHong Zhang     MatEntry2 *Jentry2_new,*Jentry2=c->matentry2;
122e2cf4d64SStefano Zampini 
123*9566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(nz,&Jentry2_new));
1240df34763SHong Zhang     for (i=0; i<nis; i+=bcols) { /* loop over colors */
1250df34763SHong Zhang       if (i + bcols > nis) {
1260df34763SHong Zhang         color_start[nis - i] = color_start[bcols];
1270df34763SHong Zhang         bcols                = nis - i;
1280df34763SHong Zhang       }
1290df34763SHong Zhang 
1300df34763SHong Zhang       color_start[0] = color_start[bcols];
1310df34763SHong Zhang       for (j=0; j<bcols; j++) {
1320df34763SHong Zhang         color_start[j+1] = c->nrows[i+j] + color_start[j];
1330df34763SHong Zhang         row_start[j]     = 0;
1340df34763SHong Zhang       }
1350df34763SHong Zhang 
1360df34763SHong Zhang       row_end = brows;
1370df34763SHong Zhang       if (row_end > mbs) row_end = mbs;
1380df34763SHong Zhang 
1390df34763SHong Zhang       while (row_end <= mbs) {   /* loop over block rows */
1400df34763SHong Zhang         for (j=0; j<bcols; j++) {       /* loop over block columns */
1410df34763SHong Zhang           nrows = c->nrows[i+j];
1420df34763SHong Zhang           nz    = color_start[j];
1430df34763SHong Zhang           while (row_start[j] < nrows) {
1440df34763SHong Zhang             if (Jentry2[nz].row >= row_end) {
1450df34763SHong Zhang               color_start[j] = nz;
1460df34763SHong Zhang               break;
1470df34763SHong Zhang             } else { /* copy Jentry2[nz] to Jentry2_new[nz_new] */
1480df34763SHong Zhang               Jentry2_new[nz_new].row     = Jentry2[nz].row + j*mbs; /* index in dy-array */
1490df34763SHong Zhang               Jentry2_new[nz_new].valaddr = Jentry2[nz].valaddr;
1500df34763SHong Zhang               nz_new++; nz++; row_start[j]++;
1510df34763SHong Zhang             }
1520df34763SHong Zhang           }
1530df34763SHong Zhang         }
1540df34763SHong Zhang         if (row_end == mbs) break;
1550df34763SHong Zhang         row_end += brows;
1560df34763SHong Zhang         if (row_end > mbs) row_end = mbs;
1570df34763SHong Zhang       }
1580df34763SHong Zhang       nrows_new[nbcols++] = nz_new;
1590df34763SHong Zhang     }
160*9566063dSJacob Faibussowitsch     PetscCall(PetscFree(Jentry2));
1610df34763SHong Zhang     c->matentry2 = Jentry2_new;
1620df34763SHong Zhang   } /* ---------------------------------------------*/
1630df34763SHong Zhang 
164*9566063dSJacob Faibussowitsch   PetscCall(PetscFree2(color_start,row_start));
165b3e1f37bSHong Zhang 
1666a509798SHong Zhang   for (i=nbcols-1; i>0; i--) nrows_new[i] -= nrows_new[i-1];
167*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(c->nrows));
168b3e1f37bSHong Zhang   c->nrows = nrows_new;
169a8971b87SHong Zhang   PetscFunctionReturn(0);
170e2c857f8SHong Zhang }
171a8971b87SHong Zhang 
172a8971b87SHong Zhang PetscErrorCode MatFDColoringSetUp_SeqXAIJ(Mat mat,ISColoring iscoloring,MatFDColoring c)
173a8971b87SHong Zhang {
174071fcb05SBarry Smith   PetscInt          i,n,nrows,mbs=c->m,j,k,m,ncols,col,nis=iscoloring->n,*rowhit,bs,bs2,*spidx,nz,tmp;
175a8971b87SHong Zhang   const PetscInt    *is,*row,*ci,*cj;
176d4002b98SHong Zhang   PetscBool         isBAIJ,isSELL;
177071fcb05SBarry Smith   const PetscScalar *A_val;
178071fcb05SBarry Smith   PetscScalar       **valaddrhit;
179a8971b87SHong Zhang   MatEntry          *Jentry;
1800df34763SHong Zhang   MatEntry2         *Jentry2;
181a8971b87SHong Zhang 
182a8971b87SHong Zhang   PetscFunctionBegin;
183*9566063dSJacob Faibussowitsch   PetscCall(ISColoringGetIS(iscoloring,PETSC_OWN_POINTER,PETSC_IGNORE,&c->isa));
184a8971b87SHong Zhang 
185*9566063dSJacob Faibussowitsch   PetscCall(MatGetBlockSize(mat,&bs));
186*9566063dSJacob Faibussowitsch   PetscCall(PetscObjectBaseTypeCompare((PetscObject)mat,MATSEQBAIJ,&isBAIJ));
187*9566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)mat,MATSEQSELL,&isSELL));
188a8971b87SHong Zhang   if (isBAIJ) {
189a8971b87SHong Zhang     Mat_SeqBAIJ *spA = (Mat_SeqBAIJ*)mat->data;
190e2cf4d64SStefano Zampini 
191a8971b87SHong Zhang     A_val = spA->a;
192a8971b87SHong Zhang     nz    = spA->nz;
193d4002b98SHong Zhang   } else if (isSELL) {
194d4002b98SHong Zhang     Mat_SeqSELL *spA = (Mat_SeqSELL*)mat->data;
195e2cf4d64SStefano Zampini 
196f4b713efSHong Zhang     A_val = spA->val;
197f4b713efSHong Zhang     nz    = spA->nz;
198d4002b98SHong Zhang     bs    = 1; /* only bs=1 is supported for SeqSELL matrix */
199a8971b87SHong Zhang   } else {
200a8971b87SHong Zhang     Mat_SeqAIJ *spA = (Mat_SeqAIJ*)mat->data;
201e2cf4d64SStefano Zampini 
202a8971b87SHong Zhang     A_val = spA->a;
203a8971b87SHong Zhang     nz    = spA->nz;
204a8971b87SHong Zhang     bs    = 1; /* only bs=1 is supported for SeqAIJ matrix */
205a8971b87SHong Zhang   }
206a8971b87SHong Zhang 
207*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc2(nis,&c->ncolumns,nis,&c->columns));
208*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nis,&c->nrows)); /* nrows is freeed separately from ncolumns and columns */
209*9566063dSJacob Faibussowitsch   PetscCall(PetscLogObjectMemory((PetscObject)c,3*nis*sizeof(PetscInt)));
210a8971b87SHong Zhang 
2110df34763SHong Zhang   if (c->htype[0] == 'd') {
212*9566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(nz,&Jentry));
213*9566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)c,nz*sizeof(MatEntry)));
214a8971b87SHong Zhang     c->matentry = Jentry;
2150df34763SHong Zhang   } else if (c->htype[0] == 'w') {
216*9566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(nz,&Jentry2));
217*9566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)c,nz*sizeof(MatEntry2)));
2180df34763SHong Zhang     c->matentry2 = Jentry2;
2190df34763SHong Zhang   } else SETERRQ(PetscObjectComm((PetscObject)mat),PETSC_ERR_SUP,"htype is not supported");
220a8971b87SHong Zhang 
221a8971b87SHong Zhang   if (isBAIJ) {
222*9566063dSJacob Faibussowitsch     PetscCall(MatGetColumnIJ_SeqBAIJ_Color(mat,0,PETSC_FALSE,PETSC_FALSE,&ncols,&ci,&cj,&spidx,NULL));
223d4002b98SHong Zhang   } else if (isSELL) {
224*9566063dSJacob Faibussowitsch     PetscCall(MatGetColumnIJ_SeqSELL_Color(mat,0,PETSC_FALSE,PETSC_FALSE,&ncols,&ci,&cj,&spidx,NULL));
225a8971b87SHong Zhang   } else {
226*9566063dSJacob Faibussowitsch     PetscCall(MatGetColumnIJ_SeqAIJ_Color(mat,0,PETSC_FALSE,PETSC_FALSE,&ncols,&ci,&cj,&spidx,NULL));
227a8971b87SHong Zhang   }
228a8971b87SHong Zhang 
229*9566063dSJacob Faibussowitsch   PetscCall(PetscCalloc1(c->m,&rowhit));
230*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(c->m,&valaddrhit));
231a8971b87SHong Zhang 
232a8971b87SHong Zhang   nz = 0;
233a8971b87SHong Zhang   for (i=0; i<nis; i++) { /* loop over colors */
234*9566063dSJacob Faibussowitsch     PetscCall(ISGetLocalSize(c->isa[i],&n));
235*9566063dSJacob Faibussowitsch     PetscCall(ISGetIndices(c->isa[i],&is));
236a8971b87SHong Zhang 
237a8971b87SHong Zhang     c->ncolumns[i] = n;
238071fcb05SBarry Smith     c->columns[i]  = (PetscInt*)is;
239071fcb05SBarry Smith     /* note: we know that c->isa is going to be around as long at the c->columns values */
240*9566063dSJacob Faibussowitsch     PetscCall(ISRestoreIndices(c->isa[i],&is));
241a8971b87SHong Zhang 
242a8971b87SHong Zhang     /* fast, crude version requires O(N*N) work */
243a8971b87SHong Zhang     bs2   = bs*bs;
244a8971b87SHong Zhang     nrows = 0;
245a8971b87SHong Zhang     for (j=0; j<n; j++) {  /* loop over columns */
246a8971b87SHong Zhang       col    = is[j];
247071fcb05SBarry Smith       tmp    = ci[col];
248071fcb05SBarry Smith       row    = cj + tmp;
249071fcb05SBarry Smith       m      = ci[col+1] - tmp;
250a8971b87SHong Zhang       nrows += m;
251a8971b87SHong Zhang       for (k=0; k<m; k++) {  /* loop over columns marking them in rowhit */
252a8971b87SHong Zhang         rowhit[*row]       = col + 1;
253071fcb05SBarry Smith         valaddrhit[*row++] = (PetscScalar*)&A_val[bs2*spidx[tmp + k]];
254a8971b87SHong Zhang       }
255a8971b87SHong Zhang     }
256a8971b87SHong Zhang     c->nrows[i] = nrows; /* total num of rows for this color */
257a8971b87SHong Zhang 
2580df34763SHong Zhang     if (c->htype[0] == 'd') {
259a8971b87SHong Zhang       for (j=0; j<mbs; j++) { /* loop over rows */
260a8971b87SHong Zhang         if (rowhit[j]) {
261a8971b87SHong Zhang           Jentry[nz].row     = j;              /* local row index */
262a8971b87SHong Zhang           Jentry[nz].col     = rowhit[j] - 1;  /* local column index */
263a8971b87SHong Zhang           Jentry[nz].valaddr = valaddrhit[j];  /* address of mat value for this entry */
264a8971b87SHong Zhang           nz++;
265a8971b87SHong Zhang           rowhit[j] = 0.0;                     /* zero rowhit for reuse */
266a8971b87SHong Zhang         }
267a8971b87SHong Zhang       }
2680df34763SHong Zhang     }  else { /* c->htype == 'wp' */
2690df34763SHong Zhang       for (j=0; j<mbs; j++) { /* loop over rows */
2700df34763SHong Zhang         if (rowhit[j]) {
2710df34763SHong Zhang           Jentry2[nz].row     = j;              /* local row index */
2720df34763SHong Zhang           Jentry2[nz].valaddr = valaddrhit[j];  /* address of mat value for this entry */
2730df34763SHong Zhang           nz++;
2740df34763SHong Zhang           rowhit[j] = 0.0;                     /* zero rowhit for reuse */
2750df34763SHong Zhang         }
2760df34763SHong Zhang       }
2770df34763SHong Zhang     }
278a8971b87SHong Zhang   }
279a8971b87SHong Zhang 
280a8971b87SHong Zhang   if (c->bcols > 1) {  /* reorder Jentry for faster MatFDColoringApply() */
281*9566063dSJacob Faibussowitsch     PetscCall(MatFDColoringSetUpBlocked_AIJ_Private(mat,c,nz));
282a8971b87SHong Zhang   }
28385740eacSHong Zhang 
284525d23c0SHong Zhang   if (isBAIJ) {
285*9566063dSJacob Faibussowitsch     PetscCall(MatRestoreColumnIJ_SeqBAIJ_Color(mat,0,PETSC_FALSE,PETSC_FALSE,&ncols,&ci,&cj,&spidx,NULL));
286*9566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(bs*mat->rmap->n,&c->dy));
287*9566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)c,bs*mat->rmap->n*sizeof(PetscScalar)));
288d4002b98SHong Zhang   } else if (isSELL) {
289*9566063dSJacob Faibussowitsch     PetscCall(MatRestoreColumnIJ_SeqSELL_Color(mat,0,PETSC_FALSE,PETSC_FALSE,&ncols,&ci,&cj,&spidx,NULL));
290525d23c0SHong Zhang   } else {
291*9566063dSJacob Faibussowitsch     PetscCall(MatRestoreColumnIJ_SeqAIJ_Color(mat,0,PETSC_FALSE,PETSC_FALSE,&ncols,&ci,&cj,&spidx,NULL));
292525d23c0SHong Zhang   }
293*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(rowhit));
294*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(valaddrhit));
295*9566063dSJacob Faibussowitsch   PetscCall(ISColoringRestoreIS(iscoloring,PETSC_OWN_POINTER,&c->isa));
296476e0d0aSHong Zhang 
297*9566063dSJacob Faibussowitsch   PetscCall(VecCreateGhost(PetscObjectComm((PetscObject)mat),mat->rmap->n,PETSC_DETERMINE,0,NULL,&c->vscale));
298*9566063dSJacob Faibussowitsch   PetscCall(PetscInfo(c,"ncolors %" PetscInt_FMT ", brows %" PetscInt_FMT " and bcols %" PetscInt_FMT " are used.\n",c->ncolors,c->brows,c->bcols));
29979c1e64dSHong Zhang   PetscFunctionReturn(0);
30079c1e64dSHong Zhang }
301