xref: /petsc/src/mat/impls/sell/seq/sell.h (revision eec179cf895b6fbcd6a0b58694319392b06e361b)
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