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