1d4002b98SHong Zhang 2d4002b98SHong Zhang #if !defined(__SELL_H) 3d4002b98SHong Zhang #define __SELL_H 4d4002b98SHong Zhang 5d4002b98SHong Zhang #include <petsc/private/matimpl.h> 6d4002b98SHong Zhang #include <petscctable.h> 7d4002b98SHong Zhang 8d4002b98SHong Zhang /* 9d4002b98SHong Zhang Struct header for SeqSELL matrix format 10d4002b98SHong Zhang */ 11d4002b98SHong Zhang #define SEQSELLHEADER(datatype) \ 12d4002b98SHong Zhang PetscBool roworiented; /* if true, row-oriented input, default */ \ 13d4002b98SHong Zhang PetscInt nonew; /* 1 don't add new nonzeros, -1 generate error on new */ \ 14d4002b98SHong Zhang PetscInt nounused; /* -1 generate error on unused space */ \ 15d4002b98SHong Zhang PetscBool singlemalloc; /* if true a, i, and j have been obtained with one big malloc */ \ 16d4002b98SHong Zhang PetscInt maxallocmat; /* max allocated space for the matrix */ \ 17d4002b98SHong Zhang PetscInt maxallocrow; /* max allocated space for each row */ \ 18d4002b98SHong Zhang PetscInt nz; /* actual nonzeros */ \ 19d4002b98SHong Zhang PetscInt rlenmax; /* max actual row length, rmax cannot exceed maxallocrow */ \ 20d4002b98SHong Zhang PetscInt *rlen; /* actual length of each row (padding zeros excluded) */ \ 21d4002b98SHong Zhang PetscBool free_rlen; /* free rlen array ? */ \ 22d4002b98SHong Zhang PetscInt reallocs; /* number of mallocs done during MatSetValues() \ 23d4002b98SHong Zhang as more values are set than were prealloced */\ 24d4002b98SHong Zhang PetscBool keepnonzeropattern;/* keeps matrix structure same in calls to MatZeroRows()*/ \ 25d4002b98SHong Zhang PetscBool ignorezeroentries; \ 26d4002b98SHong Zhang PetscBool free_colidx; /* free the column indices colidx when the matrix is destroyed */ \ 27d4002b98SHong Zhang PetscBool free_val; /* free the numerical values when matrix is destroy */ \ 28d4002b98SHong Zhang PetscInt *colidx; /* column index */ \ 29d4002b98SHong Zhang PetscInt *diag; /* pointers to diagonal elements */ \ 30d4002b98SHong Zhang PetscInt nonzerorowcnt; /* how many rows have nonzero entries */ \ 31d4002b98SHong Zhang PetscBool free_diag; /* free diag ? */ \ 32d4002b98SHong Zhang datatype *val; /* elements including nonzeros and padding zeros */ \ 33d4002b98SHong Zhang PetscScalar *solve_work; /* work space used in MatSolve */ \ 34d4002b98SHong Zhang IS row, col, icol; /* index sets, used for reorderings */ \ 35d4002b98SHong Zhang PetscBool pivotinblocks; /* pivot inside factorization of each diagonal block */ \ 36d4002b98SHong Zhang Mat parent; /* set if this matrix was formed with MatDuplicate(...,MAT_SHARE_NONZERO_PATTERN,....); 37d4002b98SHong Zhang means that this shares some data structures with the parent including diag, ilen, imax, i, j */ \ 38d4002b98SHong Zhang PetscInt *sliidx; /* slice index */ \ 396108893eSStefano Zampini PetscInt totalslices; /* total number of slices */ \ 406108893eSStefano Zampini PetscInt *getrowcols; /* workarray for MatGetRow_SeqSELL */ \ 416108893eSStefano Zampini PetscScalar *getrowvals /* workarray for MatGetRow_SeqSELL */ \ 42d4002b98SHong Zhang 43d4002b98SHong Zhang typedef struct { 44d4002b98SHong Zhang SEQSELLHEADER(MatScalar); 45d4002b98SHong Zhang MatScalar *saved_values; /* location for stashing nonzero values of matrix */ 46d4002b98SHong Zhang PetscScalar *idiag,*mdiag,*ssor_work; /* inverse of diagonal entries, diagonal values and workspace for Eisenstat trick */ 47d4002b98SHong Zhang PetscBool idiagvalid; /* current idiag[] and mdiag[] are valid */ 48d4002b98SHong Zhang PetscScalar fshift,omega; /* last used omega and fshift */ 49d4002b98SHong Zhang ISColoring coloring; /* set with MatADSetColoring() used by MatADSetValues() */ 50d4002b98SHong Zhang } Mat_SeqSELL; 51d4002b98SHong Zhang 52d4002b98SHong Zhang /* 53d4002b98SHong Zhang Frees the arrays from the XSELLPACK matrix type 54d4002b98SHong Zhang */ 559fbee547SJacob Faibussowitsch static inline PetscErrorCode MatSeqXSELLFreeSELL(Mat AA,MatScalar **val,PetscInt **colidx) 56d4002b98SHong Zhang { 57d4002b98SHong Zhang Mat_SeqSELL *A = (Mat_SeqSELL*) AA->data; 58d4002b98SHong Zhang if (A->singlemalloc) { 599566063dSJacob Faibussowitsch PetscCall(PetscFree2(*val,*colidx)); 60d4002b98SHong Zhang } else { 619566063dSJacob Faibussowitsch if (A->free_val) PetscCall(PetscFree(*val)); 629566063dSJacob Faibussowitsch if (A->free_colidx) PetscCall(PetscFree(*colidx)); 63d4002b98SHong Zhang } 64d4002b98SHong Zhang return 0; 65d4002b98SHong Zhang } 66d4002b98SHong Zhang 67d4002b98SHong Zhang #define MatSeqXSELLReallocateSELL(Amat,AM,BS2,WIDTH,SIDX,SID,ROW,COL,COLIDX,VAL,CP,VP,NONEW,datatype) \ 68d4002b98SHong Zhang if (WIDTH >= (SIDX[SID+1]-SIDX[SID])/8) { \ 69d4002b98SHong Zhang Mat_SeqSELL *Ain = (Mat_SeqSELL*)Amat->data; \ 70d4002b98SHong Zhang /* there is no extra room in row, therefore enlarge 8 elements (1 slice column) */ \ 71d4002b98SHong Zhang PetscInt new_size=Ain->maxallocmat+8,*new_colidx; \ 72d4002b98SHong Zhang datatype *new_val; \ 73d4002b98SHong Zhang \ 74*08401ef6SPierre Jolivet PetscCheck(NONEW != -2,PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"New nonzero at (%" PetscInt_FMT ",%" PetscInt_FMT ") caused a malloc\nUse MatSetOption(A, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_FALSE) to turn off this check",ROW,COL); \ 75d4002b98SHong Zhang /* malloc new storage space */ \ 769566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(BS2*new_size,&new_val,BS2*new_size,&new_colidx)); \ 77d4002b98SHong Zhang \ 78d4002b98SHong Zhang /* copy over old data into new slots by two steps: one step for data before the current slice and the other for the rest */ \ 799566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(new_val,VAL,SIDX[SID+1])); \ 809566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(new_colidx,COLIDX,SIDX[SID+1])); \ 819566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(new_val+SIDX[SID+1]+8,VAL+SIDX[SID+1],SIDX[AM>>3]-SIDX[SID+1])); \ 829566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(new_colidx+SIDX[SID+1]+8,COLIDX+SIDX[SID+1],SIDX[AM>>3]-SIDX[SID+1])); \ 83d4002b98SHong Zhang /* update slice_idx */ \ 84d4002b98SHong Zhang for (ii=SID+1;ii<=AM>>3;ii++) { SIDX[ii] += 8; } \ 85d4002b98SHong Zhang /* update pointers. Notice that they point to the FIRST postion of the row */ \ 86d4002b98SHong Zhang CP = new_colidx+SIDX[SID]+(ROW & 0x07); \ 87d4002b98SHong Zhang VP = new_val+SIDX[SID]+(ROW & 0x07); \ 88d4002b98SHong Zhang /* free up old matrix storage */ \ 899566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(A,&Ain->val,&Ain->colidx)); \ 90d4002b98SHong Zhang Ain->val = (MatScalar*) new_val; \ 91d4002b98SHong Zhang Ain->colidx = new_colidx; \ 92d4002b98SHong Zhang Ain->singlemalloc = PETSC_TRUE; \ 93d4002b98SHong Zhang Ain->maxallocmat = new_size; \ 94d4002b98SHong Zhang Ain->reallocs++; \ 95d4002b98SHong Zhang if (WIDTH>=Ain->maxallocrow) Ain->maxallocrow++; \ 96d4002b98SHong Zhang if (WIDTH>=Ain->rlenmax) Ain->rlenmax++; \ 97d4002b98SHong Zhang } \ 98d4002b98SHong Zhang 99d4002b98SHong Zhang #define MatSetValue_SeqSELL_Private(A,row,col,value,addv,orow,ocol,cp,vp,lastcol,low,high) \ 100d4002b98SHong Zhang { \ 101d4002b98SHong Zhang Mat_SeqSELL *a=(Mat_SeqSELL*)A->data; \ 102d4002b98SHong Zhang found=PETSC_FALSE; \ 103d4002b98SHong Zhang if (col <= lastcol) low = 0; \ 104d4002b98SHong Zhang else high = a->rlen[row]; \ 105d4002b98SHong Zhang lastcol = col; \ 106d4002b98SHong Zhang while (high-low > 5) { \ 107d4002b98SHong Zhang t = (low+high)/2; \ 108d4002b98SHong Zhang if (*(cp+8*t) > col) high = t; \ 109d4002b98SHong Zhang else low = t; \ 110d4002b98SHong Zhang } \ 111d4002b98SHong Zhang for (_i=low; _i<high; _i++) { \ 112d4002b98SHong Zhang if (*(cp+8*_i) > col) break; \ 113d4002b98SHong Zhang if (*(cp+8*_i) == col) { \ 114d4002b98SHong Zhang if (addv == ADD_VALUES)*(vp+8*_i) += value; \ 115d4002b98SHong Zhang else *(vp+8*_i) = value; \ 116d4002b98SHong Zhang found = PETSC_TRUE; \ 117d4002b98SHong Zhang break; \ 118d4002b98SHong Zhang } \ 119d4002b98SHong Zhang } \ 120d4002b98SHong Zhang if (!found) { \ 121*08401ef6SPierre Jolivet PetscCheck(a->nonew != -1,PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"Inserting a new nonzero at global row/column (%" PetscInt_FMT ", %" PetscInt_FMT ") into matrix", orow, ocol); \ 122d4002b98SHong Zhang if (a->nonew != 1 && !(value == 0.0 && a->ignorezeroentries) && a->rlen[row] >= (a->sliidx[row/8+1]-a->sliidx[row/8])/8) { \ 123d4002b98SHong Zhang /* there is no extra room in row, therefore enlarge 8 elements (1 slice column) */ \ 124d4002b98SHong Zhang if (a->maxallocmat < a->sliidx[a->totalslices]+8) { \ 125d4002b98SHong Zhang /* allocates a larger array for the XSELL matrix types; only extend the current slice by one more column. */ \ 126d4002b98SHong Zhang PetscInt new_size=a->maxallocmat+8,*new_colidx; \ 127d4002b98SHong Zhang MatScalar *new_val; \ 128*08401ef6SPierre Jolivet PetscCheck(a->nonew != -2,PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"New nonzero at (%" PetscInt_FMT ",%" PetscInt_FMT ") caused a malloc\nUse MatSetOption(A, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_FALSE) to turn off this check",orow,ocol); \ 129d4002b98SHong Zhang /* malloc new storage space */ \ 1309566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(new_size,&new_val,new_size,&new_colidx)); \ 131d4002b98SHong Zhang /* copy over old data into new slots by two steps: one step for data before the current slice and the other for the rest */ \ 1329566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(new_val,a->val,a->sliidx[row/8+1])); \ 1339566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(new_colidx,a->colidx,a->sliidx[row/8+1])); \ 1349566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(new_val+a->sliidx[row/8+1]+8,a->val+a->sliidx[row/8+1],a->sliidx[a->totalslices]-a->sliidx[row/8+1])); \ 1359566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(new_colidx+a->sliidx[row/8+1]+8,a->colidx+a->sliidx[row/8+1],a->sliidx[a->totalslices]-a->sliidx[row/8+1])); \ 136d4002b98SHong Zhang /* update pointers. Notice that they point to the FIRST postion of the row */ \ 137d4002b98SHong Zhang cp = new_colidx+a->sliidx[row/8]+(row & 0x07); \ 138d4002b98SHong Zhang vp = new_val+a->sliidx[row/8]+(row & 0x07); \ 139d4002b98SHong Zhang /* free up old matrix storage */ \ 1409566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(A,&a->val,&a->colidx)); \ 141d4002b98SHong Zhang a->val = (MatScalar*)new_val; \ 142d4002b98SHong Zhang a->colidx = new_colidx; \ 143d4002b98SHong Zhang a->singlemalloc = PETSC_TRUE; \ 144d4002b98SHong Zhang a->maxallocmat = new_size; \ 145d4002b98SHong Zhang a->reallocs++; \ 146d4002b98SHong Zhang } else { \ 147d4002b98SHong Zhang /* no need to reallocate, just shift the following slices to create space for the added slice column */ \ 1489566063dSJacob Faibussowitsch PetscCall(PetscArraymove(a->val+a->sliidx[row/8+1]+8,a->val+a->sliidx[row/8+1],a->sliidx[a->totalslices]-a->sliidx[row/8+1])); \ 1499566063dSJacob Faibussowitsch PetscCall(PetscArraymove(a->colidx+a->sliidx[row/8+1]+8,a->colidx+a->sliidx[row/8+1],a->sliidx[a->totalslices]-a->sliidx[row/8+1])); \ 150d4002b98SHong Zhang } \ 151d4002b98SHong Zhang /* update slice_idx */ \ 152d4002b98SHong Zhang for (ii=row/8+1;ii<=a->totalslices;ii++) a->sliidx[ii] += 8; \ 153d4002b98SHong Zhang if (a->rlen[row]>=a->maxallocrow) a->maxallocrow++; \ 154d4002b98SHong Zhang if (a->rlen[row]>=a->rlenmax) a->rlenmax++; \ 155d4002b98SHong Zhang } \ 156d4002b98SHong Zhang /* shift up all the later entries in this row */ \ 157d4002b98SHong Zhang for (ii=a->rlen[row]-1; ii>=_i; ii--) { \ 158d4002b98SHong Zhang *(cp+8*(ii+1)) = *(cp+8*ii); \ 159d4002b98SHong Zhang *(vp+8*(ii+1)) = *(vp+8*ii); \ 160d4002b98SHong Zhang } \ 161d4002b98SHong Zhang *(cp+8*_i) = col; \ 162d4002b98SHong Zhang *(vp+8*_i) = value; \ 163d4002b98SHong Zhang a->nz++; a->rlen[row]++; A->nonzerostate++; \ 164d4002b98SHong Zhang low = _i+1; high++; \ 165d4002b98SHong Zhang } \ 166d4002b98SHong Zhang } \ 167d4002b98SHong Zhang 168d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat,PetscInt,const PetscInt[]); 169d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMult_SeqSELL(Mat,Vec,Vec); 170d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMultAdd_SeqSELL(Mat,Vec,Vec,Vec); 171d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMultTranspose_SeqSELL(Mat,Vec,Vec); 172d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat,Vec,Vec,Vec); 173d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMissingDiagonal_SeqSELL(Mat,PetscBool*,PetscInt*); 174d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMarkDiagonal_SeqSELL(Mat); 175d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatInvertDiagonal_SeqSELL(Mat,PetscScalar,PetscScalar); 176d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatZeroEntries_SeqSELL(Mat); 177d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatDestroy_SeqSELL(Mat); 178d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSetOption_SeqSELL(Mat,MatOption,PetscBool); 179d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetDiagonal_SeqSELL(Mat,Vec v); 180d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetValues_SeqSELL(Mat,PetscInt,const PetscInt [],PetscInt,const PetscInt[],PetscScalar[]); 181d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatView_SeqSELL(Mat,PetscViewer); 182d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatAssemblyEnd_SeqSELL(Mat,MatAssemblyType); 183d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetInfo_SeqSELL(Mat,MatInfoType,MatInfo*); 184d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSetValues_SeqSELL(Mat,PetscInt,const PetscInt[],PetscInt,const PetscInt[],const PetscScalar[],InsertMode); 185d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatCopy_SeqSELL(Mat,Mat,MatStructure); 186d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSetUp_SeqSELL(Mat); 187d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat,PetscScalar *[]); 188d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat,PetscScalar *[]); 189d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatShift_SeqSELL(Mat,PetscScalar); 190d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSOR_SeqSELL(Mat,Vec,PetscReal,MatSORType,PetscReal,PetscInt,PetscInt,Vec); 191d4002b98SHong Zhang PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat); 192d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatDuplicate_SeqSELL(Mat,MatDuplicateOption,Mat*); 193d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatEqual_SeqSELL(Mat,Mat,PetscBool*); 194d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat); 195d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat,MatType,MatReuse,Mat*); 196d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat,MatType,MatReuse,Mat*); 197d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatFDColoringCreate_SeqSELL(Mat,ISColoring,MatFDColoring); 198d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatFDColoringSetUp_SeqSELL(Mat,ISColoring,MatFDColoring); 199d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetColumnIJ_SeqSELL_Color(Mat,PetscInt,PetscBool,PetscBool,PetscInt*,const PetscInt *[],const PetscInt *[],PetscInt *[],PetscBool*); 200d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatRestoreColumnIJ_SeqSELL_Color(Mat,PetscInt,PetscBool,PetscBool,PetscInt*,const PetscInt *[],const PetscInt *[],PetscInt *[],PetscBool*); 201d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatConjugate_SeqSELL(Mat A); 202d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatScale_SeqSELL(Mat,PetscScalar); 203d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatDiagonalScale_SeqSELL(Mat,Vec,Vec); 204d4002b98SHong Zhang #endif 205