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