xref: /petsc/src/mat/impls/sell/seq/sell.h (revision 9fbee5477fd88ea4536ebb185f3c80da15fb55c0)
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  */
55*9fbee547SJacob Faibussowitsch static inline PetscErrorCode MatSeqXSELLFreeSELL(Mat AA,MatScalar **val,PetscInt **colidx)
56d4002b98SHong Zhang {
57d4002b98SHong Zhang   Mat_SeqSELL    *A = (Mat_SeqSELL*) AA->data;
58d4002b98SHong Zhang   PetscErrorCode ierr;
59d4002b98SHong Zhang   if (A->singlemalloc) {
60d4002b98SHong Zhang     ierr = PetscFree2(*val,*colidx);CHKERRQ(ierr);
61d4002b98SHong Zhang   } else {
62d4002b98SHong Zhang     if (A->free_val) {ierr = PetscFree(*val);CHKERRQ(ierr);}
63d4002b98SHong Zhang     if (A->free_colidx) {ierr = PetscFree(*colidx);CHKERRQ(ierr);}
64d4002b98SHong Zhang   }
65d4002b98SHong Zhang   return 0;
66d4002b98SHong Zhang }
67d4002b98SHong Zhang 
68d4002b98SHong Zhang #define MatSeqXSELLReallocateSELL(Amat,AM,BS2,WIDTH,SIDX,SID,ROW,COL,COLIDX,VAL,CP,VP,NONEW,datatype) \
69d4002b98SHong Zhang if (WIDTH >= (SIDX[SID+1]-SIDX[SID])/8) { \
70d4002b98SHong Zhang Mat_SeqSELL *Ain = (Mat_SeqSELL*)Amat->data; \
71d4002b98SHong Zhang /* there is no extra room in row, therefore enlarge 8 elements (1 slice column) */ \
72d4002b98SHong Zhang PetscInt new_size=Ain->maxallocmat+8,*new_colidx; \
73d4002b98SHong Zhang datatype *new_val; \
74d4002b98SHong Zhang \
759ace16cdSJacob Faibussowitsch PetscAssertFalse(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); \
76d4002b98SHong Zhang /* malloc new storage space */ \
77d4002b98SHong Zhang ierr = PetscMalloc2(BS2*new_size,&new_val,BS2*new_size,&new_colidx);CHKERRQ(ierr); \
78d4002b98SHong Zhang \
79d4002b98SHong 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 */ \
80580bdb30SBarry Smith ierr = PetscArraycpy(new_val,VAL,SIDX[SID+1]);CHKERRQ(ierr); \
81580bdb30SBarry Smith ierr = PetscArraycpy(new_colidx,COLIDX,SIDX[SID+1]);CHKERRQ(ierr); \
82580bdb30SBarry Smith ierr = PetscArraycpy(new_val+SIDX[SID+1]+8,VAL+SIDX[SID+1],SIDX[AM>>3]-SIDX[SID+1]);CHKERRQ(ierr); \
83580bdb30SBarry Smith ierr = PetscArraycpy(new_colidx+SIDX[SID+1]+8,COLIDX+SIDX[SID+1],SIDX[AM>>3]-SIDX[SID+1]);CHKERRQ(ierr); \
84d4002b98SHong Zhang /* update slice_idx */ \
85d4002b98SHong Zhang for (ii=SID+1;ii<=AM>>3;ii++) { SIDX[ii] += 8; } \
86d4002b98SHong Zhang /* update pointers. Notice that they point to the FIRST postion of the row */ \
87d4002b98SHong Zhang CP = new_colidx+SIDX[SID]+(ROW & 0x07); \
88d4002b98SHong Zhang VP = new_val+SIDX[SID]+(ROW & 0x07); \
89d4002b98SHong Zhang /* free up old matrix storage */ \
90d4002b98SHong Zhang ierr              = MatSeqXSELLFreeSELL(A,&Ain->val,&Ain->colidx);CHKERRQ(ierr); \
91d4002b98SHong Zhang Ain->val          = (MatScalar*) new_val; \
92d4002b98SHong Zhang Ain->colidx       = new_colidx; \
93d4002b98SHong Zhang Ain->singlemalloc = PETSC_TRUE; \
94d4002b98SHong Zhang Ain->maxallocmat  = new_size; \
95d4002b98SHong Zhang Ain->reallocs++; \
96d4002b98SHong Zhang if (WIDTH>=Ain->maxallocrow) Ain->maxallocrow++; \
97d4002b98SHong Zhang if (WIDTH>=Ain->rlenmax) Ain->rlenmax++; \
98d4002b98SHong Zhang } \
99d4002b98SHong Zhang 
100d4002b98SHong Zhang #define MatSetValue_SeqSELL_Private(A,row,col,value,addv,orow,ocol,cp,vp,lastcol,low,high) \
101d4002b98SHong Zhang { \
102d4002b98SHong Zhang   Mat_SeqSELL  *a=(Mat_SeqSELL*)A->data; \
103d4002b98SHong Zhang   found=PETSC_FALSE; \
104d4002b98SHong Zhang   if (col <= lastcol) low = 0; \
105d4002b98SHong Zhang   else high = a->rlen[row]; \
106d4002b98SHong Zhang   lastcol = col; \
107d4002b98SHong Zhang   while (high-low > 5) { \
108d4002b98SHong Zhang     t = (low+high)/2; \
109d4002b98SHong Zhang     if (*(cp+8*t) > col) high = t; \
110d4002b98SHong Zhang     else low = t; \
111d4002b98SHong Zhang   } \
112d4002b98SHong Zhang   for (_i=low; _i<high; _i++) { \
113d4002b98SHong Zhang     if (*(cp+8*_i) > col) break; \
114d4002b98SHong Zhang     if (*(cp+8*_i) == col) { \
115d4002b98SHong Zhang       if (addv == ADD_VALUES)*(vp+8*_i) += value; \
116d4002b98SHong Zhang       else *(vp+8*_i) = value; \
117d4002b98SHong Zhang       found = PETSC_TRUE; \
118d4002b98SHong Zhang       break; \
119d4002b98SHong Zhang     } \
120d4002b98SHong Zhang   } \
121d4002b98SHong Zhang   if (!found) { \
1229ace16cdSJacob Faibussowitsch     PetscAssertFalse(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); \
123d4002b98SHong Zhang     if (a->nonew != 1 && !(value == 0.0 && a->ignorezeroentries) && a->rlen[row] >= (a->sliidx[row/8+1]-a->sliidx[row/8])/8) { \
124d4002b98SHong Zhang       /* there is no extra room in row, therefore enlarge 8 elements (1 slice column) */ \
125d4002b98SHong Zhang       if (a->maxallocmat < a->sliidx[a->totalslices]+8) { \
126d4002b98SHong Zhang         /* allocates a larger array for the XSELL matrix types; only extend the current slice by one more column. */ \
127d4002b98SHong Zhang         PetscInt  new_size=a->maxallocmat+8,*new_colidx; \
128d4002b98SHong Zhang         MatScalar *new_val; \
1299ace16cdSJacob Faibussowitsch         PetscAssertFalse(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); \
130d4002b98SHong Zhang         /* malloc new storage space */ \
131d4002b98SHong Zhang         ierr = PetscMalloc2(new_size,&new_val,new_size,&new_colidx);CHKERRQ(ierr); \
132d4002b98SHong 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 */ \
133580bdb30SBarry Smith         ierr = PetscArraycpy(new_val,a->val,a->sliidx[row/8+1]);CHKERRQ(ierr); \
134580bdb30SBarry Smith         ierr = PetscArraycpy(new_colidx,a->colidx,a->sliidx[row/8+1]);CHKERRQ(ierr); \
135580bdb30SBarry Smith         ierr = 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]);CHKERRQ(ierr);  \
136580bdb30SBarry Smith         ierr = 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]);CHKERRQ(ierr); \
137d4002b98SHong Zhang         /* update pointers. Notice that they point to the FIRST postion of the row */ \
138d4002b98SHong Zhang         cp = new_colidx+a->sliidx[row/8]+(row & 0x07); \
139d4002b98SHong Zhang         vp = new_val+a->sliidx[row/8]+(row & 0x07); \
140d4002b98SHong Zhang         /* free up old matrix storage */ \
141d4002b98SHong Zhang         ierr            = MatSeqXSELLFreeSELL(A,&a->val,&a->colidx);CHKERRQ(ierr); \
142d4002b98SHong Zhang         a->val          = (MatScalar*)new_val; \
143d4002b98SHong Zhang         a->colidx       = new_colidx; \
144d4002b98SHong Zhang         a->singlemalloc = PETSC_TRUE; \
145d4002b98SHong Zhang         a->maxallocmat  = new_size; \
146d4002b98SHong Zhang         a->reallocs++; \
147d4002b98SHong Zhang       } else { \
148d4002b98SHong Zhang         /* no need to reallocate, just shift the following slices to create space for the added slice column */ \
149580bdb30SBarry Smith         ierr = 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]);CHKERRQ(ierr);  \
150580bdb30SBarry Smith         ierr = 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]);CHKERRQ(ierr); \
151d4002b98SHong Zhang       } \
152d4002b98SHong Zhang       /* update slice_idx */ \
153d4002b98SHong Zhang       for (ii=row/8+1;ii<=a->totalslices;ii++) a->sliidx[ii] += 8; \
154d4002b98SHong Zhang       if (a->rlen[row]>=a->maxallocrow) a->maxallocrow++; \
155d4002b98SHong Zhang       if (a->rlen[row]>=a->rlenmax) a->rlenmax++; \
156d4002b98SHong Zhang     } \
157d4002b98SHong Zhang     /* shift up all the later entries in this row */ \
158d4002b98SHong Zhang     for (ii=a->rlen[row]-1; ii>=_i; ii--) { \
159d4002b98SHong Zhang       *(cp+8*(ii+1)) = *(cp+8*ii); \
160d4002b98SHong Zhang       *(vp+8*(ii+1)) = *(vp+8*ii); \
161d4002b98SHong Zhang     } \
162d4002b98SHong Zhang     *(cp+8*_i) = col; \
163d4002b98SHong Zhang     *(vp+8*_i) = value; \
164d4002b98SHong Zhang     a->nz++; a->rlen[row]++; A->nonzerostate++; \
165d4002b98SHong Zhang     low = _i+1; high++; \
166d4002b98SHong Zhang   } \
167d4002b98SHong Zhang } \
168d4002b98SHong Zhang 
169d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat,PetscInt,const PetscInt[]);
170d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMult_SeqSELL(Mat,Vec,Vec);
171d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMultAdd_SeqSELL(Mat,Vec,Vec,Vec);
172d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMultTranspose_SeqSELL(Mat,Vec,Vec);
173d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat,Vec,Vec,Vec);
174d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMissingDiagonal_SeqSELL(Mat,PetscBool*,PetscInt*);
175d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatMarkDiagonal_SeqSELL(Mat);
176d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatInvertDiagonal_SeqSELL(Mat,PetscScalar,PetscScalar);
177d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatZeroEntries_SeqSELL(Mat);
178d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatDestroy_SeqSELL(Mat);
179d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSetOption_SeqSELL(Mat,MatOption,PetscBool);
180d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetDiagonal_SeqSELL(Mat,Vec v);
181d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetValues_SeqSELL(Mat,PetscInt,const PetscInt [],PetscInt,const PetscInt[],PetscScalar[]);
182d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatView_SeqSELL(Mat,PetscViewer);
183d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatAssemblyEnd_SeqSELL(Mat,MatAssemblyType);
184d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetInfo_SeqSELL(Mat,MatInfoType,MatInfo*);
185d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSetValues_SeqSELL(Mat,PetscInt,const PetscInt[],PetscInt,const PetscInt[],const PetscScalar[],InsertMode);
186d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatCopy_SeqSELL(Mat,Mat,MatStructure);
187d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSetUp_SeqSELL(Mat);
188d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat,PetscScalar *[]);
189d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat,PetscScalar *[]);
190d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatShift_SeqSELL(Mat,PetscScalar);
191d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSOR_SeqSELL(Mat,Vec,PetscReal,MatSORType,PetscReal,PetscInt,PetscInt,Vec);
192d4002b98SHong Zhang PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat);
193d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatDuplicate_SeqSELL(Mat,MatDuplicateOption,Mat*);
194d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatEqual_SeqSELL(Mat,Mat,PetscBool*);
195d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat);
196d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat,MatType,MatReuse,Mat*);
197d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat,MatType,MatReuse,Mat*);
198d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatFDColoringCreate_SeqSELL(Mat,ISColoring,MatFDColoring);
199d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatFDColoringSetUp_SeqSELL(Mat,ISColoring,MatFDColoring);
200d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatGetColumnIJ_SeqSELL_Color(Mat,PetscInt,PetscBool,PetscBool,PetscInt*,const PetscInt *[],const PetscInt *[],PetscInt *[],PetscBool*);
201d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatRestoreColumnIJ_SeqSELL_Color(Mat,PetscInt,PetscBool,PetscBool,PetscInt*,const PetscInt *[],const PetscInt *[],PetscInt *[],PetscBool*);
202d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatConjugate_SeqSELL(Mat A);
203d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatScale_SeqSELL(Mat,PetscScalar);
204d4002b98SHong Zhang PETSC_INTERN PetscErrorCode MatDiagonalScale_SeqSELL(Mat,Vec,Vec);
205d4002b98SHong Zhang #endif
206