xref: /petsc/src/mat/impls/sell/seq/sell.h (revision 2d1451d43b73a0495cd81c074cbc1e0206888947)
1d4002b98SHong Zhang 
26524c165SJacob Faibussowitsch #ifndef __SELL_H
3d4002b98SHong Zhang #define __SELL_H
4d4002b98SHong Zhang 
5d4002b98SHong Zhang #include <petsc/private/matimpl.h>
6eec179cfSJacob Faibussowitsch #include <petsc/private/hashmapi.h>
7d4002b98SHong Zhang 
8*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA)
9*2d1451d4SHong Zhang   #define SLICE_HEIGHT 16
10*2d1451d4SHong Zhang #else
11*2d1451d4SHong Zhang   #define SLICE_HEIGHT 8
12*2d1451d4SHong Zhang #endif
13*2d1451d4SHong Zhang 
14d4002b98SHong Zhang /*
15d4002b98SHong Zhang  Struct header for SeqSELL matrix format
16d4002b98SHong Zhang */
17d4002b98SHong Zhang #define SEQSELLHEADER(datatype) \
18d4002b98SHong Zhang   PetscBool    roworiented;        /* if true, row-oriented input, default */ \
19d4002b98SHong Zhang   PetscInt     nonew;              /* 1 don't add new nonzeros, -1 generate error on new */ \
20d4002b98SHong Zhang   PetscInt     nounused;           /* -1 generate error on unused space */ \
21d4002b98SHong Zhang   PetscBool    singlemalloc;       /* if true a, i, and j have been obtained with one big malloc */ \
22d4002b98SHong Zhang   PetscInt     maxallocmat;        /* max allocated space for the matrix */ \
23d4002b98SHong Zhang   PetscInt     maxallocrow;        /* max allocated space for each row */ \
24d4002b98SHong Zhang   PetscInt     nz;                 /* actual nonzeros */ \
25d4002b98SHong Zhang   PetscInt     rlenmax;            /* max actual row length, rmax cannot exceed maxallocrow */ \
26d4002b98SHong Zhang   PetscInt    *rlen;               /* actual length of each row (padding zeros excluded) */ \
27d4002b98SHong Zhang   PetscBool    free_rlen;          /* free rlen array ? */ \
28d4002b98SHong Zhang   PetscInt     reallocs;           /* number of mallocs done during MatSetValues() \
29d4002b98SHong Zhang as more values are set than were prealloced */ \
30d4002b98SHong Zhang   PetscBool    keepnonzeropattern; /* keeps matrix structure same in calls to MatZeroRows()*/ \
31d4002b98SHong Zhang   PetscBool    ignorezeroentries; \
32d4002b98SHong Zhang   PetscBool    free_colidx;    /* free the column indices colidx when the matrix is destroyed */ \
33d4002b98SHong Zhang   PetscBool    free_val;       /* free the numerical values when matrix is destroy */ \
34d4002b98SHong Zhang   PetscInt    *colidx;         /* column index */ \
35d4002b98SHong Zhang   PetscInt    *diag;           /* pointers to diagonal elements */ \
36d4002b98SHong Zhang   PetscInt     nonzerorowcnt;  /* how many rows have nonzero entries */ \
37d4002b98SHong Zhang   PetscBool    free_diag;      /* free diag ? */ \
38d4002b98SHong Zhang   datatype    *val;            /* elements including nonzeros and padding zeros */ \
39d4002b98SHong Zhang   PetscScalar *solve_work;     /* work space used in MatSolve */ \
40d4002b98SHong Zhang   IS           row, col, icol; /* index sets, used for reorderings */ \
41d4002b98SHong Zhang   PetscBool    pivotinblocks;  /* pivot inside factorization of each diagonal block */ \
42d4002b98SHong Zhang   Mat          parent;         /* set if this matrix was formed with MatDuplicate(...,MAT_SHARE_NONZERO_PATTERN,....);
43d4002b98SHong Zhang means that this shares some data structures with the parent including diag, ilen, imax, i, j */ \
44d4002b98SHong Zhang   PetscInt    *sliidx;         /* slice index */ \
456108893eSStefano Zampini   PetscInt     totalslices;    /* total number of slices */ \
466108893eSStefano Zampini   PetscInt    *getrowcols;     /* workarray for MatGetRow_SeqSELL */ \
479371c9d4SSatish Balay   PetscScalar *getrowvals      /* workarray for MatGetRow_SeqSELL */
48d4002b98SHong Zhang 
49d4002b98SHong Zhang typedef struct {
50d4002b98SHong Zhang   SEQSELLHEADER(MatScalar);
51d4002b98SHong Zhang   MatScalar   *saved_values;              /* location for stashing nonzero values of matrix */
52d4002b98SHong Zhang   PetscScalar *idiag, *mdiag, *ssor_work; /* inverse of diagonal entries, diagonal values and workspace for Eisenstat trick */
53d4002b98SHong Zhang   PetscBool    idiagvalid;                /* current idiag[] and mdiag[] are valid */
54d4002b98SHong Zhang   PetscScalar  fshift, omega;             /* last used omega and fshift */
55d4002b98SHong Zhang   ISColoring   coloring;                  /* set with MatADSetColoring() used by MatADSetValues() */
56d4002b98SHong Zhang } Mat_SeqSELL;
57d4002b98SHong Zhang 
58d4002b98SHong Zhang /*
59d4002b98SHong Zhang  Frees the arrays from the XSELLPACK matrix type
60d4002b98SHong Zhang  */
61d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode MatSeqXSELLFreeSELL(Mat AA, MatScalar **val, PetscInt **colidx)
62d71ae5a4SJacob Faibussowitsch {
63d4002b98SHong Zhang   Mat_SeqSELL *A = (Mat_SeqSELL *)AA->data;
64d4002b98SHong Zhang   if (A->singlemalloc) {
659566063dSJacob Faibussowitsch     PetscCall(PetscFree2(*val, *colidx));
66d4002b98SHong Zhang   } else {
679566063dSJacob Faibussowitsch     if (A->free_val) PetscCall(PetscFree(*val));
689566063dSJacob Faibussowitsch     if (A->free_colidx) PetscCall(PetscFree(*colidx));
69d4002b98SHong Zhang   }
703ba16761SJacob Faibussowitsch   return PETSC_SUCCESS;
71d4002b98SHong Zhang }
72d4002b98SHong Zhang 
73d4002b98SHong Zhang #define MatSeqXSELLReallocateSELL(Amat, AM, BS2, WIDTH, SIDX, SID, ROW, COL, COLIDX, VAL, CP, VP, NONEW, datatype) \
74*2d1451d4SHong Zhang   if (WIDTH >= (SIDX[SID + 1] - SIDX[SID]) / SLICE_HEIGHT) { \
75d4002b98SHong Zhang     Mat_SeqSELL *Ain = (Mat_SeqSELL *)Amat->data; \
76*2d1451d4SHong Zhang     /* there is no extra room in row, therefore enlarge 1 slice column */ \
77*2d1451d4SHong Zhang     PetscInt  new_size = Ain->maxallocmat + SLICE_HEIGHT, *new_colidx; \
78d4002b98SHong Zhang     datatype *new_val; \
79d4002b98SHong Zhang \
8008401ef6SPierre 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); \
81d4002b98SHong Zhang     /* malloc new storage space */ \
829566063dSJacob Faibussowitsch     PetscCall(PetscMalloc2(BS2 *new_size, &new_val, BS2 *new_size, &new_colidx)); \
83d4002b98SHong Zhang \
84d4002b98SHong 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 */ \
859566063dSJacob Faibussowitsch     PetscCall(PetscArraycpy(new_val, VAL, SIDX[SID + 1])); \
869566063dSJacob Faibussowitsch     PetscCall(PetscArraycpy(new_colidx, COLIDX, SIDX[SID + 1])); \
87*2d1451d4SHong Zhang     PetscCall(PetscArraycpy(new_val + SIDX[SID + 1] + SLICE_HEIGHT, VAL + SIDX[SID + 1], SIDX[Ain->totalslices] - SIDX[SID + 1])); \
88*2d1451d4SHong Zhang     PetscCall(PetscArraycpy(new_colidx + SIDX[SID + 1] + SLICE_HEIGHT, COLIDX + SIDX[SID + 1], SIDX[Ain->totalslices] - SIDX[SID + 1])); \
89d4002b98SHong Zhang     /* update slice_idx */ \
90*2d1451d4SHong Zhang     for (ii = SID + 1; ii <= Ain->totalslices; ii++) { SIDX[ii] += SLICE_HEIGHT; } \
91*2d1451d4SHong Zhang     /* update pointers. Notice that they point to the FIRST postion of the row */ \
92*2d1451d4SHong Zhang     CP = new_colidx + SIDX[SID] + (ROW % SLICE_HEIGHT); \
93*2d1451d4SHong Zhang     VP = new_val + SIDX[SID] + (ROW % SLICE_HEIGHT); \
94d4002b98SHong Zhang     /* free up old matrix storage */ \
959566063dSJacob Faibussowitsch     PetscCall(MatSeqXSELLFreeSELL(A, &Ain->val, &Ain->colidx)); \
96d4002b98SHong Zhang     Ain->val          = (MatScalar *)new_val; \
97d4002b98SHong Zhang     Ain->colidx       = new_colidx; \
98d4002b98SHong Zhang     Ain->singlemalloc = PETSC_TRUE; \
99d4002b98SHong Zhang     Ain->maxallocmat  = new_size; \
100d4002b98SHong Zhang     Ain->reallocs++; \
101d4002b98SHong Zhang     if (WIDTH >= Ain->maxallocrow) Ain->maxallocrow++; \
102d4002b98SHong Zhang     if (WIDTH >= Ain->rlenmax) Ain->rlenmax++; \
1039371c9d4SSatish Balay   }
104d4002b98SHong Zhang 
105d4002b98SHong Zhang #define MatSetValue_SeqSELL_Private(A, row, col, value, addv, orow, ocol, cp, vp, lastcol, low, high) \
106d4002b98SHong Zhang   { \
107d4002b98SHong Zhang     Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; \
108d4002b98SHong Zhang     found          = PETSC_FALSE; \
109d4002b98SHong Zhang     if (col <= lastcol) low = 0; \
110d4002b98SHong Zhang     else high = a->rlen[row]; \
111d4002b98SHong Zhang     lastcol = col; \
112d4002b98SHong Zhang     while (high - low > 5) { \
113d4002b98SHong Zhang       t = (low + high) / 2; \
114*2d1451d4SHong Zhang       if (*(cp + SLICE_HEIGHT * t) > col) high = t; \
115d4002b98SHong Zhang       else low = t; \
116d4002b98SHong Zhang     } \
117d4002b98SHong Zhang     for (_i = low; _i < high; _i++) { \
118*2d1451d4SHong Zhang       if (*(cp + SLICE_HEIGHT * _i) > col) break; \
119*2d1451d4SHong Zhang       if (*(cp + SLICE_HEIGHT * _i) == col) { \
120*2d1451d4SHong Zhang         if (addv == ADD_VALUES) *(vp + SLICE_HEIGHT * _i) += value; \
121*2d1451d4SHong Zhang         else *(vp + SLICE_HEIGHT * _i) = value; \
122d4002b98SHong Zhang         found = PETSC_TRUE; \
123d4002b98SHong Zhang         break; \
124d4002b98SHong Zhang       } \
125d4002b98SHong Zhang     } \
126d4002b98SHong Zhang     if (!found) { \
12708401ef6SPierre 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); \
128*2d1451d4SHong Zhang       if (a->nonew != 1 && !(value == 0.0 && a->ignorezeroentries) && a->rlen[row] >= (a->sliidx[row / SLICE_HEIGHT + 1] - a->sliidx[row / SLICE_HEIGHT]) / SLICE_HEIGHT) { \
129*2d1451d4SHong Zhang         /* there is no extra room in row, therefore enlarge 1 slice column */ \
130*2d1451d4SHong Zhang         if (a->maxallocmat < a->sliidx[a->totalslices] + SLICE_HEIGHT) { \
131d4002b98SHong Zhang           /* allocates a larger array for the XSELL matrix types; only extend the current slice by one more column. */ \
132*2d1451d4SHong Zhang           PetscInt   new_size = a->maxallocmat + SLICE_HEIGHT, *new_colidx; \
133d4002b98SHong Zhang           MatScalar *new_val; \
13408401ef6SPierre 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); \
135d4002b98SHong Zhang           /* malloc new storage space */ \
1369566063dSJacob Faibussowitsch           PetscCall(PetscMalloc2(new_size, &new_val, new_size, &new_colidx)); \
137d4002b98SHong 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 */ \
138*2d1451d4SHong Zhang           PetscCall(PetscArraycpy(new_val, a->val, a->sliidx[row / SLICE_HEIGHT + 1])); \
139*2d1451d4SHong Zhang           PetscCall(PetscArraycpy(new_colidx, a->colidx, a->sliidx[row / SLICE_HEIGHT + 1])); \
140*2d1451d4SHong Zhang           PetscCall(PetscArraycpy(new_val + a->sliidx[row / SLICE_HEIGHT + 1] + SLICE_HEIGHT, a->val + a->sliidx[row / SLICE_HEIGHT + 1], a->sliidx[a->totalslices] - a->sliidx[row / SLICE_HEIGHT + 1])); \
141*2d1451d4SHong Zhang           PetscCall(PetscArraycpy(new_colidx + a->sliidx[row / SLICE_HEIGHT + 1] + SLICE_HEIGHT, a->colidx + a->sliidx[row / SLICE_HEIGHT + 1], a->sliidx[a->totalslices] - a->sliidx[row / SLICE_HEIGHT + 1])); \
142*2d1451d4SHong Zhang           /* update pointers. Notice that they point to the FIRST postion of the row */ \
143*2d1451d4SHong Zhang           cp = new_colidx + a->sliidx[row / SLICE_HEIGHT] + (row % SLICE_HEIGHT); \
144*2d1451d4SHong Zhang           vp = new_val + a->sliidx[row / SLICE_HEIGHT] + (row % SLICE_HEIGHT); \
145d4002b98SHong Zhang           /* free up old matrix storage */ \
1469566063dSJacob Faibussowitsch           PetscCall(MatSeqXSELLFreeSELL(A, &a->val, &a->colidx)); \
147d4002b98SHong Zhang           a->val          = (MatScalar *)new_val; \
148d4002b98SHong Zhang           a->colidx       = new_colidx; \
149d4002b98SHong Zhang           a->singlemalloc = PETSC_TRUE; \
150d4002b98SHong Zhang           a->maxallocmat  = new_size; \
151d4002b98SHong Zhang           a->reallocs++; \
152d4002b98SHong Zhang         } else { \
153d4002b98SHong Zhang           /* no need to reallocate, just shift the following slices to create space for the added slice column */ \
154*2d1451d4SHong Zhang           PetscCall(PetscArraymove(a->val + a->sliidx[row / SLICE_HEIGHT + 1] + SLICE_HEIGHT, a->val + a->sliidx[row / SLICE_HEIGHT + 1], a->sliidx[a->totalslices] - a->sliidx[row / SLICE_HEIGHT + 1])); \
155*2d1451d4SHong Zhang           PetscCall(PetscArraymove(a->colidx + a->sliidx[row / SLICE_HEIGHT + 1] + SLICE_HEIGHT, a->colidx + a->sliidx[row / SLICE_HEIGHT + 1], a->sliidx[a->totalslices] - a->sliidx[row / SLICE_HEIGHT + 1])); \
156d4002b98SHong Zhang         } \
157d4002b98SHong Zhang         /* update slice_idx */ \
158*2d1451d4SHong Zhang         for (ii = row / SLICE_HEIGHT + 1; ii <= a->totalslices; ii++) a->sliidx[ii] += SLICE_HEIGHT; \
159d4002b98SHong Zhang         if (a->rlen[row] >= a->maxallocrow) a->maxallocrow++; \
160d4002b98SHong Zhang         if (a->rlen[row] >= a->rlenmax) a->rlenmax++; \
161d4002b98SHong Zhang       } \
162d4002b98SHong Zhang       /* shift up all the later entries in this row */ \
163d4002b98SHong Zhang       for (ii = a->rlen[row] - 1; ii >= _i; ii--) { \
164*2d1451d4SHong Zhang         *(cp + SLICE_HEIGHT * (ii + 1)) = *(cp + SLICE_HEIGHT * ii); \
165*2d1451d4SHong Zhang         *(vp + SLICE_HEIGHT * (ii + 1)) = *(vp + SLICE_HEIGHT * ii); \
166d4002b98SHong Zhang       } \
167*2d1451d4SHong Zhang       *(cp + SLICE_HEIGHT * _i) = col; \
168*2d1451d4SHong Zhang       *(vp + SLICE_HEIGHT * _i) = value; \
1699371c9d4SSatish Balay       a->nz++; \
1709371c9d4SSatish Balay       a->rlen[row]++; \
1719371c9d4SSatish Balay       A->nonzerostate++; \
1729371c9d4SSatish Balay       low = _i + 1; \
1739371c9d4SSatish Balay       high++; \
174d4002b98SHong Zhang     } \
1759371c9d4SSatish Balay   }
176d4002b98SHong Zhang 
177d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat, PetscInt, const PetscInt[]);
178d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMult_SeqSELL(Mat, Vec, Vec);
179d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMultAdd_SeqSELL(Mat, Vec, Vec, Vec);
180d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMultTranspose_SeqSELL(Mat, Vec, Vec);
181d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat, Vec, Vec, Vec);
182d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMissingDiagonal_SeqSELL(Mat, PetscBool *, PetscInt *);
183d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMarkDiagonal_SeqSELL(Mat);
184d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatInvertDiagonal_SeqSELL(Mat, PetscScalar, PetscScalar);
185d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatZeroEntries_SeqSELL(Mat);
186d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatDestroy_SeqSELL(Mat);
187d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSetOption_SeqSELL(Mat, MatOption, PetscBool);
188d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetDiagonal_SeqSELL(Mat, Vec v);
189d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetValues_SeqSELL(Mat, PetscInt, const PetscInt[], PetscInt, const PetscInt[], PetscScalar[]);
190d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatView_SeqSELL(Mat, PetscViewer);
191d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatAssemblyEnd_SeqSELL(Mat, MatAssemblyType);
192d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetInfo_SeqSELL(Mat, MatInfoType, MatInfo *);
193d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSetValues_SeqSELL(Mat, PetscInt, const PetscInt[], PetscInt, const PetscInt[], const PetscScalar[], InsertMode);
194d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatCopy_SeqSELL(Mat, Mat, MatStructure);
195d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSetUp_SeqSELL(Mat);
196d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat, PetscScalar *[]);
197d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat, PetscScalar *[]);
198d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatShift_SeqSELL(Mat, PetscScalar);
199d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSOR_SeqSELL(Mat, Vec, PetscReal, MatSORType, PetscReal, PetscInt, PetscInt, Vec);
200d4002b98SHong Zhang PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat);
201d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatDuplicate_SeqSELL(Mat, MatDuplicateOption, Mat *);
202d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatEqual_SeqSELL(Mat, Mat, PetscBool *);
203d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat);
204d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat, MatType, MatReuse, Mat *);
205d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat, MatType, MatReuse, Mat *);
206d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatFDColoringCreate_SeqSELL(Mat, ISColoring, MatFDColoring);
207d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatFDColoringSetUp_SeqSELL(Mat, ISColoring, MatFDColoring);
208d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetColumnIJ_SeqSELL_Color(Mat, PetscInt, PetscBool, PetscBool, PetscInt *, const PetscInt *[], const PetscInt *[], PetscInt *[], PetscBool *);
209d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatRestoreColumnIJ_SeqSELL_Color(Mat, PetscInt, PetscBool, PetscBool, PetscInt *, const PetscInt *[], const PetscInt *[], PetscInt *[], PetscBool *);
210d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatConjugate_SeqSELL(Mat A);
211d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatScale_SeqSELL(Mat, PetscScalar);
212d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatDiagonalScale_SeqSELL(Mat, Vec, Vec);
213d4002b98SHong Zhang #endif
214