1d4002b98SHong Zhang 26524c165SJacob Faibussowitsch #ifndef __SELL_H 3d4002b98SHong Zhang #define __SELL_H 4d4002b98SHong Zhang 5d4002b98SHong Zhang #include <petsc/private/matimpl.h> 6*eec179cfSJacob Faibussowitsch #include <petsc/private/hashmapi.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 */ \ 419371c9d4SSatish Balay 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 */ 55d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode MatSeqXSELLFreeSELL(Mat AA, MatScalar **val, PetscInt **colidx) 56d71ae5a4SJacob Faibussowitsch { 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 \ 7408401ef6SPierre 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 */ \ 84ad540459SPierre Jolivet 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++; \ 979371c9d4SSatish Balay } 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) { \ 12108401ef6SPierre 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; \ 12808401ef6SPierre 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; \ 1639371c9d4SSatish Balay a->nz++; \ 1649371c9d4SSatish Balay a->rlen[row]++; \ 1659371c9d4SSatish Balay A->nonzerostate++; \ 1669371c9d4SSatish Balay low = _i + 1; \ 1679371c9d4SSatish Balay high++; \ 168d4002b98SHong Zhang } \ 1699371c9d4SSatish Balay } 170d4002b98SHong Zhang 171d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat, PetscInt, const PetscInt[]); 172d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMult_SeqSELL(Mat, Vec, Vec); 173d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMultAdd_SeqSELL(Mat, Vec, Vec, Vec); 174d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMultTranspose_SeqSELL(Mat, Vec, Vec); 175d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat, Vec, Vec, Vec); 176d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMissingDiagonal_SeqSELL(Mat, PetscBool *, PetscInt *); 177d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMarkDiagonal_SeqSELL(Mat); 178d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatInvertDiagonal_SeqSELL(Mat, PetscScalar, PetscScalar); 179d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatZeroEntries_SeqSELL(Mat); 180d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatDestroy_SeqSELL(Mat); 181d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSetOption_SeqSELL(Mat, MatOption, PetscBool); 182d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetDiagonal_SeqSELL(Mat, Vec v); 183d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetValues_SeqSELL(Mat, PetscInt, const PetscInt[], PetscInt, const PetscInt[], PetscScalar[]); 184d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatView_SeqSELL(Mat, PetscViewer); 185d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatAssemblyEnd_SeqSELL(Mat, MatAssemblyType); 186d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetInfo_SeqSELL(Mat, MatInfoType, MatInfo *); 187d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSetValues_SeqSELL(Mat, PetscInt, const PetscInt[], PetscInt, const PetscInt[], const PetscScalar[], InsertMode); 188d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatCopy_SeqSELL(Mat, Mat, MatStructure); 189d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSetUp_SeqSELL(Mat); 190d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat, PetscScalar *[]); 191d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat, PetscScalar *[]); 192d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatShift_SeqSELL(Mat, PetscScalar); 193d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSOR_SeqSELL(Mat, Vec, PetscReal, MatSORType, PetscReal, PetscInt, PetscInt, Vec); 194d4002b98SHong Zhang PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat); 195d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatDuplicate_SeqSELL(Mat, MatDuplicateOption, Mat *); 196d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatEqual_SeqSELL(Mat, Mat, PetscBool *); 197d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat); 198d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat, MatType, MatReuse, Mat *); 199d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat, MatType, MatReuse, Mat *); 200d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatFDColoringCreate_SeqSELL(Mat, ISColoring, MatFDColoring); 201d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatFDColoringSetUp_SeqSELL(Mat, ISColoring, MatFDColoring); 202d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetColumnIJ_SeqSELL_Color(Mat, PetscInt, PetscBool, PetscBool, PetscInt *, const PetscInt *[], const PetscInt *[], PetscInt *[], PetscBool *); 203d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatRestoreColumnIJ_SeqSELL_Color(Mat, PetscInt, PetscBool, PetscBool, PetscInt *, const PetscInt *[], const PetscInt *[], PetscInt *[], PetscBool *); 204d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatConjugate_SeqSELL(Mat A); 205d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatScale_SeqSELL(Mat, PetscScalar); 206d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatDiagonalScale_SeqSELL(Mat, Vec, Vec); 207d4002b98SHong Zhang #endif 208