1d4002b98SHong Zhang 2d4002b98SHong Zhang /* 3d4002b98SHong Zhang Defines the basic matrix operations for the SELL matrix storage format. 4d4002b98SHong Zhang */ 5d4002b98SHong Zhang #include <../src/mat/impls/sell/seq/sell.h> /*I "petscmat.h" I*/ 6d4002b98SHong Zhang #include <petscblaslapack.h> 7d4002b98SHong Zhang #include <petsc/private/kernels/blocktranspose.h> 8ed73aabaSBarry Smith 9ed73aabaSBarry Smith static PetscBool cited = PETSC_FALSE; 109371c9d4SSatish Balay static const char citation[] = "@inproceedings{ZhangELLPACK2018,\n" 11ed73aabaSBarry Smith " author = {Hong Zhang and Richard T. Mills and Karl Rupp and Barry F. Smith},\n" 12ed73aabaSBarry Smith " title = {Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512}},\n" 13ed73aabaSBarry Smith " booktitle = {Proceedings of the 47th International Conference on Parallel Processing},\n" 14ed73aabaSBarry Smith " year = 2018\n" 15ed73aabaSBarry Smith "}\n"; 16ed73aabaSBarry Smith 175f70456aSHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && (defined(__AVX512F__) || (defined(__AVX2__) && defined(__FMA__)) || defined(__AVX__)) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 184243e2ceSHong Zhang 19d4002b98SHong Zhang #include <immintrin.h> 20d4002b98SHong Zhang 21d4002b98SHong Zhang #if !defined(_MM_SCALE_8) 22d4002b98SHong Zhang #define _MM_SCALE_8 8 23d4002b98SHong Zhang #endif 24d4002b98SHong Zhang 25d4002b98SHong Zhang #if defined(__AVX512F__) 26d4002b98SHong Zhang /* these do not work 27d4002b98SHong Zhang vec_idx = _mm512_loadunpackhi_epi32(vec_idx,acolidx); 28d4002b98SHong Zhang vec_vals = _mm512_loadunpackhi_pd(vec_vals,aval); 29d4002b98SHong Zhang */ 30d4002b98SHong Zhang #define AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y) \ 31d4002b98SHong Zhang /* if the mask bit is set, copy from acolidx, otherwise from vec_idx */ \ 32ef588d5cSRichard Tran Mills vec_idx = _mm256_loadu_si256((__m256i const *)acolidx); \ 33ef588d5cSRichard Tran Mills vec_vals = _mm512_loadu_pd(aval); \ 34d4002b98SHong Zhang vec_x = _mm512_i32gather_pd(vec_idx, x, _MM_SCALE_8); \ 35a48a6482SHong Zhang vec_y = _mm512_fmadd_pd(vec_x, vec_vals, vec_y) 365f70456aSHong Zhang #elif defined(__AVX2__) && defined(__FMA__) 37a48a6482SHong Zhang #define AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y) \ 38ef588d5cSRichard Tran Mills vec_vals = _mm256_loadu_pd(aval); \ 39ef588d5cSRichard Tran Mills vec_idx = _mm_loadu_si128((__m128i const *)acolidx); /* SSE2 */ \ 40a48a6482SHong Zhang vec_x = _mm256_i32gather_pd(x, vec_idx, _MM_SCALE_8); \ 41a48a6482SHong Zhang vec_y = _mm256_fmadd_pd(vec_x, vec_vals, vec_y) 42d4002b98SHong Zhang #endif 43d4002b98SHong Zhang #endif /* PETSC_HAVE_IMMINTRIN_H */ 44d4002b98SHong Zhang 45d4002b98SHong Zhang /*@C 46d4002b98SHong Zhang MatSeqSELLSetPreallocation - For good matrix assembly performance 4720f4b53cSBarry Smith the user should preallocate the matrix storage by setting the parameter `nz` 4820f4b53cSBarry Smith (or the array `nnz`). 49d4002b98SHong Zhang 50d083f849SBarry Smith Collective 51d4002b98SHong Zhang 52d4002b98SHong Zhang Input Parameters: 5311a5261eSBarry Smith + B - The `MATSEQSELL` matrix 5420f4b53cSBarry Smith . rlenmax - number of nonzeros per row (same for all rows), ignored if `rlen` is provided 5520f4b53cSBarry Smith - rlen - array containing the number of nonzeros in the various rows (possibly different for each row) or `NULL` 5667be906fSBarry Smith 5767be906fSBarry Smith Level: intermediate 58d4002b98SHong Zhang 59d4002b98SHong Zhang Notes: 6067be906fSBarry Smith Specify the preallocated storage with either `rlenmax` or `rlen` (not both). 6167be906fSBarry Smith Set `rlenmax` = `PETSC_DEFAULT` and `rlen` = `NULL` for PETSc to control dynamic memory 6220f4b53cSBarry Smith allocation. 63d4002b98SHong Zhang 6411a5261eSBarry Smith You can call `MatGetInfo()` to get information on how effective the preallocation was; 65d4002b98SHong Zhang for example the fields mallocs,nz_allocated,nz_used,nz_unneeded; 6667be906fSBarry Smith You can also run with the option `-info` and look for messages with the string 67d4002b98SHong Zhang malloc in them to see if additional memory allocation was needed. 68d4002b98SHong Zhang 6927430b45SBarry Smith Developer Note: 7067be906fSBarry Smith Use `rlenmax` of `MAT_SKIP_ALLOCATION` to not allocate any space for the matrix 71d4002b98SHong Zhang entries or columns indices. 72d4002b98SHong Zhang 73c7ee91abSRichard Tran Mills The maximum number of nonzeos in any row should be as accurate as possible. 74c7ee91abSRichard Tran Mills If it is underestimated, you will get bad performance due to reallocation 7567be906fSBarry Smith (`MatSeqXSELLReallocateSELL()`). 76d4002b98SHong Zhang 7767be906fSBarry Smith .seealso: `Mat`, `MATSEQSELL`, `MATSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatGetInfo()` 78d4002b98SHong Zhang @*/ 79d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLSetPreallocation(Mat B, PetscInt rlenmax, const PetscInt rlen[]) 80d71ae5a4SJacob Faibussowitsch { 81d4002b98SHong Zhang PetscFunctionBegin; 82d4002b98SHong Zhang PetscValidHeaderSpecific(B, MAT_CLASSID, 1); 83d4002b98SHong Zhang PetscValidType(B, 1); 84cac4c232SBarry Smith PetscTryMethod(B, "MatSeqSELLSetPreallocation_C", (Mat, PetscInt, const PetscInt[]), (B, rlenmax, rlen)); 853ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 86d4002b98SHong Zhang } 87d4002b98SHong Zhang 88d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat B, PetscInt maxallocrow, const PetscInt rlen[]) 89d71ae5a4SJacob Faibussowitsch { 90d4002b98SHong Zhang Mat_SeqSELL *b; 91d4002b98SHong Zhang PetscInt i, j, totalslices; 92d4002b98SHong Zhang PetscBool skipallocation = PETSC_FALSE, realalloc = PETSC_FALSE; 93d4002b98SHong Zhang 94d4002b98SHong Zhang PetscFunctionBegin; 95d4002b98SHong Zhang if (maxallocrow >= 0 || rlen) realalloc = PETSC_TRUE; 96d4002b98SHong Zhang if (maxallocrow == MAT_SKIP_ALLOCATION) { 97d4002b98SHong Zhang skipallocation = PETSC_TRUE; 98d4002b98SHong Zhang maxallocrow = 0; 99d4002b98SHong Zhang } 100d4002b98SHong Zhang 1019566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->rmap)); 1029566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->cmap)); 103d4002b98SHong Zhang 104d4002b98SHong Zhang /* FIXME: if one preallocates more space than needed, the matrix does not shrink automatically, but for best performance it should */ 105d4002b98SHong Zhang if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 5; 10608401ef6SPierre Jolivet PetscCheck(maxallocrow >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "maxallocrow cannot be less than 0: value %" PetscInt_FMT, maxallocrow); 107d4002b98SHong Zhang if (rlen) { 108d4002b98SHong Zhang for (i = 0; i < B->rmap->n; i++) { 10908401ef6SPierre Jolivet PetscCheck(rlen[i] >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "rlen cannot be less than 0: local row %" PetscInt_FMT " value %" PetscInt_FMT, i, rlen[i]); 11008401ef6SPierre Jolivet PetscCheck(rlen[i] <= B->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "rlen cannot be greater than row length: local row %" PetscInt_FMT " value %" PetscInt_FMT " rowlength %" PetscInt_FMT, i, rlen[i], B->cmap->n); 111d4002b98SHong Zhang } 112d4002b98SHong Zhang } 113d4002b98SHong Zhang 114d4002b98SHong Zhang B->preallocated = PETSC_TRUE; 115d4002b98SHong Zhang 116d4002b98SHong Zhang b = (Mat_SeqSELL *)B->data; 117d4002b98SHong Zhang 118*2d1451d4SHong Zhang totalslices = PetscCeilInt(B->rmap->n, SLICE_HEIGHT); 119d4002b98SHong Zhang b->totalslices = totalslices; 120d4002b98SHong Zhang if (!skipallocation) { 121*2d1451d4SHong Zhang if (B->rmap->n % SLICE_HEIGHT) PetscCall(PetscInfo(B, "Padding rows to the SEQSELL matrix because the number of rows is not the multiple of the slice height (value %" PetscInt_FMT ")\n", B->rmap->n)); 122d4002b98SHong Zhang 123d4002b98SHong Zhang if (!b->sliidx) { /* sliidx gives the starting index of each slice, the last element is the total space allocated */ 1249566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &b->sliidx)); 125d4002b98SHong Zhang } 126d4002b98SHong Zhang if (!rlen) { /* if rlen is not provided, allocate same space for all the slices */ 127d4002b98SHong Zhang if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 10; 128d4002b98SHong Zhang else if (maxallocrow < 0) maxallocrow = 1; 129*2d1451d4SHong Zhang for (i = 0; i <= totalslices; i++) b->sliidx[i] = SLICE_HEIGHT * i * maxallocrow; 130d4002b98SHong Zhang } else { 131d4002b98SHong Zhang maxallocrow = 0; 132d4002b98SHong Zhang b->sliidx[0] = 0; 133d4002b98SHong Zhang for (i = 1; i < totalslices; i++) { 134d4002b98SHong Zhang b->sliidx[i] = 0; 135*2d1451d4SHong Zhang for (j = 0; j < SLICE_HEIGHT; j++) { b->sliidx[i] = PetscMax(b->sliidx[i], rlen[SLICE_HEIGHT * (i - 1) + j]); } 136d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[i], maxallocrow); 137*2d1451d4SHong Zhang PetscCall(PetscIntSumError(b->sliidx[i - 1], SLICE_HEIGHT * b->sliidx[i], &b->sliidx[i])); 138d4002b98SHong Zhang } 139d4002b98SHong Zhang /* last slice */ 140d4002b98SHong Zhang b->sliidx[totalslices] = 0; 141*2d1451d4SHong Zhang for (j = SLICE_HEIGHT * (totalslices - 1); j < B->rmap->n; j++) b->sliidx[totalslices] = PetscMax(b->sliidx[totalslices], rlen[j]); 142d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[totalslices], maxallocrow); 143*2d1451d4SHong Zhang b->sliidx[totalslices] = b->sliidx[totalslices - 1] + SLICE_HEIGHT * b->sliidx[totalslices]; 144d4002b98SHong Zhang } 145d4002b98SHong Zhang 146d4002b98SHong Zhang /* allocate space for val, colidx, rlen */ 147d4002b98SHong Zhang /* FIXME: should B's old memory be unlogged? */ 1489566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(B, &b->val, &b->colidx)); 149d4002b98SHong Zhang /* FIXME: assuming an element of the bit array takes 8 bits */ 1509566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(b->sliidx[totalslices], &b->val, b->sliidx[totalslices], &b->colidx)); 151d4002b98SHong Zhang /* b->rlen will count nonzeros in each row so far. We dont copy rlen to b->rlen because the matrix has not been set. */ 152*2d1451d4SHong Zhang PetscCall(PetscCalloc1(SLICE_HEIGHT * totalslices, &b->rlen)); 153d4002b98SHong Zhang 154d4002b98SHong Zhang b->singlemalloc = PETSC_TRUE; 155d4002b98SHong Zhang b->free_val = PETSC_TRUE; 156d4002b98SHong Zhang b->free_colidx = PETSC_TRUE; 157d4002b98SHong Zhang } else { 158d4002b98SHong Zhang b->free_val = PETSC_FALSE; 159d4002b98SHong Zhang b->free_colidx = PETSC_FALSE; 160d4002b98SHong Zhang } 161d4002b98SHong Zhang 162d4002b98SHong Zhang b->nz = 0; 163d4002b98SHong Zhang b->maxallocrow = maxallocrow; 164d4002b98SHong Zhang b->rlenmax = maxallocrow; 165d4002b98SHong Zhang b->maxallocmat = b->sliidx[totalslices]; 166d4002b98SHong Zhang B->info.nz_unneeded = (double)b->maxallocmat; 1671baa6e33SBarry Smith if (realalloc) PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE)); 1683ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 169d4002b98SHong Zhang } 170d4002b98SHong Zhang 171d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 172d71ae5a4SJacob Faibussowitsch { 1736108893eSStefano Zampini Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1746108893eSStefano Zampini PetscInt shift; 1756108893eSStefano Zampini 1766108893eSStefano Zampini PetscFunctionBegin; 177aed4548fSBarry Smith PetscCheck(row >= 0 && row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row %" PetscInt_FMT " out of range", row); 1786108893eSStefano Zampini if (nz) *nz = a->rlen[row]; 179*2d1451d4SHong Zhang shift = a->sliidx[row / SLICE_HEIGHT] + (row % SLICE_HEIGHT); 180*2d1451d4SHong Zhang if (!a->getrowcols) { PetscCall(PetscMalloc2(a->rlenmax, &a->getrowcols, a->rlenmax, &a->getrowvals)); } 1816108893eSStefano Zampini if (idx) { 1826108893eSStefano Zampini PetscInt j; 183*2d1451d4SHong Zhang for (j = 0; j < a->rlen[row]; j++) a->getrowcols[j] = a->colidx[shift + SLICE_HEIGHT * j]; 1846108893eSStefano Zampini *idx = a->getrowcols; 1856108893eSStefano Zampini } 1866108893eSStefano Zampini if (v) { 1876108893eSStefano Zampini PetscInt j; 188*2d1451d4SHong Zhang for (j = 0; j < a->rlen[row]; j++) a->getrowvals[j] = a->val[shift + SLICE_HEIGHT * j]; 1896108893eSStefano Zampini *v = a->getrowvals; 1906108893eSStefano Zampini } 1913ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1926108893eSStefano Zampini } 1936108893eSStefano Zampini 194d71ae5a4SJacob Faibussowitsch PetscErrorCode MatRestoreRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 195d71ae5a4SJacob Faibussowitsch { 1966108893eSStefano Zampini PetscFunctionBegin; 1973ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1986108893eSStefano Zampini } 1996108893eSStefano Zampini 200d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) 201d71ae5a4SJacob Faibussowitsch { 202d4002b98SHong Zhang Mat B; 203d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 204e3f1f374SStefano Zampini PetscInt i; 205d4002b98SHong Zhang 206d4002b98SHong Zhang PetscFunctionBegin; 207ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 208ad013a7bSRichard Tran Mills B = *newmat; 2099566063dSJacob Faibussowitsch PetscCall(MatZeroEntries(B)); 210ad013a7bSRichard Tran Mills } else { 2119566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2129566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, A->rmap->n, A->cmap->n, A->rmap->N, A->cmap->N)); 2139566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQAIJ)); 2149566063dSJacob Faibussowitsch PetscCall(MatSeqAIJSetPreallocation(B, 0, a->rlen)); 215ad013a7bSRichard Tran Mills } 216d4002b98SHong Zhang 217e3f1f374SStefano Zampini for (i = 0; i < A->rmap->n; i++) { 218e108cb99SStefano Zampini PetscInt nz = 0, *cols = NULL; 219e108cb99SStefano Zampini PetscScalar *vals = NULL; 220e3f1f374SStefano Zampini 2219566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqSELL(A, i, &nz, &cols, &vals)); 2229566063dSJacob Faibussowitsch PetscCall(MatSetValues(B, 1, &i, nz, cols, vals, INSERT_VALUES)); 2239566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqSELL(A, i, &nz, &cols, &vals)); 224d4002b98SHong Zhang } 225e3f1f374SStefano Zampini 2269566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 2279566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 228d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 229d4002b98SHong Zhang 230d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 2319566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 232d4002b98SHong Zhang } else { 233d4002b98SHong Zhang *newmat = B; 234d4002b98SHong Zhang } 2353ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 236d4002b98SHong Zhang } 237d4002b98SHong Zhang 238d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/aij.h> 239d4002b98SHong Zhang 240d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) 241d71ae5a4SJacob Faibussowitsch { 242d4002b98SHong Zhang Mat B; 243d4002b98SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ *)A->data; 244d4002b98SHong Zhang PetscInt *ai = a->i, m = A->rmap->N, n = A->cmap->N, i, *rowlengths, row, ncols; 245d4002b98SHong Zhang const PetscInt *cols; 246d4002b98SHong Zhang const PetscScalar *vals; 247d4002b98SHong Zhang 248d4002b98SHong Zhang PetscFunctionBegin; 249ad013a7bSRichard Tran Mills 250ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 251ad013a7bSRichard Tran Mills B = *newmat; 252ad013a7bSRichard Tran Mills } else { 253d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) || !a->ilen) { 2549566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &rowlengths)); 255ad540459SPierre Jolivet for (i = 0; i < m; i++) rowlengths[i] = ai[i + 1] - ai[i]; 256d5e5b2e5SBarry Smith } 257d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) && a->ilen) { 258d5e5b2e5SBarry Smith PetscBool eq; 2599566063dSJacob Faibussowitsch PetscCall(PetscMemcmp(rowlengths, a->ilen, m * sizeof(PetscInt), &eq)); 26028b400f6SJacob Faibussowitsch PetscCheck(eq, PETSC_COMM_SELF, PETSC_ERR_PLIB, "SeqAIJ ilen array incorrect"); 2619566063dSJacob Faibussowitsch PetscCall(PetscFree(rowlengths)); 262d5e5b2e5SBarry Smith rowlengths = a->ilen; 263d5e5b2e5SBarry Smith } else if (a->ilen) rowlengths = a->ilen; 2649566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2659566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, m, n, m, n)); 2669566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQSELL)); 2679566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(B, 0, rowlengths)); 2689566063dSJacob Faibussowitsch if (rowlengths != a->ilen) PetscCall(PetscFree(rowlengths)); 269ad013a7bSRichard Tran Mills } 270d4002b98SHong Zhang 271d4002b98SHong Zhang for (row = 0; row < m; row++) { 2729566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 2739566063dSJacob Faibussowitsch PetscCall(MatSetValues_SeqSELL(B, 1, &row, ncols, cols, vals, INSERT_VALUES)); 2749566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 275d4002b98SHong Zhang } 2769566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 2779566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 278d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 279d4002b98SHong Zhang 280d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 2819566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 282d4002b98SHong Zhang } else { 283d4002b98SHong Zhang *newmat = B; 284d4002b98SHong Zhang } 2853ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 286d4002b98SHong Zhang } 287d4002b98SHong Zhang 288d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMult_SeqSELL(Mat A, Vec xx, Vec yy) 289d71ae5a4SJacob Faibussowitsch { 290d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 291d4002b98SHong Zhang PetscScalar *y; 292d4002b98SHong Zhang const PetscScalar *x; 293d4002b98SHong Zhang const MatScalar *aval = a->val; 294d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 295d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 2967285fed1SHong Zhang PetscInt i, j; 297d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 298d4002b98SHong Zhang __m512d vec_x, vec_y, vec_vals; 299d4002b98SHong Zhang __m256i vec_idx; 300d4002b98SHong Zhang __mmask8 mask; 301d4002b98SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 302d4002b98SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 3035f70456aSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX2__) && defined(__FMA__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 304a48a6482SHong Zhang __m128i vec_idx; 305a48a6482SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 306a48a6482SHong Zhang MatScalar yval; 307a48a6482SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 30821cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 309d4002b98SHong Zhang __m128d vec_x_tmp; 310d4002b98SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 311d4002b98SHong Zhang MatScalar yval; 312d4002b98SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 313d4002b98SHong Zhang #else 314*2d1451d4SHong Zhang PetscInt k; 315*2d1451d4SHong Zhang PetscScalar sum[SLICE_HEIGHT]; 316d4002b98SHong Zhang #endif 317d4002b98SHong Zhang 318d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 319d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 320d4002b98SHong Zhang #endif 321d4002b98SHong Zhang 322d4002b98SHong Zhang PetscFunctionBegin; 3239566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 3249566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 325d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 326d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 327d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 328d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 329d4002b98SHong Zhang 330d4002b98SHong Zhang vec_y = _mm512_setzero_pd(); 331d4002b98SHong Zhang vec_y2 = _mm512_setzero_pd(); 332d4002b98SHong Zhang vec_y3 = _mm512_setzero_pd(); 333d4002b98SHong Zhang vec_y4 = _mm512_setzero_pd(); 334d4002b98SHong Zhang 335da81f932SPierre Jolivet j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice column */ 336d4002b98SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 337d4002b98SHong Zhang case 3: 338d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3399371c9d4SSatish Balay acolidx += 8; 3409371c9d4SSatish Balay aval += 8; 341d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3429371c9d4SSatish Balay acolidx += 8; 3439371c9d4SSatish Balay aval += 8; 344d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 3459371c9d4SSatish Balay acolidx += 8; 3469371c9d4SSatish Balay aval += 8; 347d4002b98SHong Zhang j += 3; 348d4002b98SHong Zhang break; 349d4002b98SHong Zhang case 2: 350d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3519371c9d4SSatish Balay acolidx += 8; 3529371c9d4SSatish Balay aval += 8; 353d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3549371c9d4SSatish Balay acolidx += 8; 3559371c9d4SSatish Balay aval += 8; 356d4002b98SHong Zhang j += 2; 357d4002b98SHong Zhang break; 358d4002b98SHong Zhang case 1: 359d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3609371c9d4SSatish Balay acolidx += 8; 3619371c9d4SSatish Balay aval += 8; 362d4002b98SHong Zhang j += 1; 363d4002b98SHong Zhang break; 364d4002b98SHong Zhang } 365d4002b98SHong Zhang #pragma novector 366d4002b98SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 367d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3689371c9d4SSatish Balay acolidx += 8; 3699371c9d4SSatish Balay aval += 8; 370d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3719371c9d4SSatish Balay acolidx += 8; 3729371c9d4SSatish Balay aval += 8; 373d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 3749371c9d4SSatish Balay acolidx += 8; 3759371c9d4SSatish Balay aval += 8; 376d4002b98SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 3779371c9d4SSatish Balay acolidx += 8; 3789371c9d4SSatish Balay aval += 8; 379d4002b98SHong Zhang } 380d4002b98SHong Zhang 381d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 382d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 383d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 384d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 385d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 386ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&y[8 * i], mask, vec_y); 387d4002b98SHong Zhang } else { 388ef588d5cSRichard Tran Mills _mm512_storeu_pd(&y[8 * i], vec_y); 389d4002b98SHong Zhang } 390d4002b98SHong Zhang } 3915f70456aSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX2__) && defined(__FMA__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 392a48a6482SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 393a48a6482SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 394a48a6482SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 395a48a6482SHong Zhang 396a48a6482SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 397a48a6482SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 398a48a6482SHong Zhang rows_left = A->rmap->n - 8 * i; 399a48a6482SHong Zhang for (r = 0; r < rows_left; ++r) { 400a48a6482SHong Zhang yval = (MatScalar)0; 401a48a6482SHong Zhang row = 8 * i + r; 402a48a6482SHong Zhang nnz_in_row = a->rlen[row]; 403a48a6482SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 404a48a6482SHong Zhang y[row] = yval; 405a48a6482SHong Zhang } 406a48a6482SHong Zhang break; 407a48a6482SHong Zhang } 408a48a6482SHong Zhang 409a48a6482SHong Zhang vec_y = _mm256_setzero_pd(); 410a48a6482SHong Zhang vec_y2 = _mm256_setzero_pd(); 411a48a6482SHong Zhang 412a48a6482SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 413a48a6482SHong Zhang #pragma novector 414a48a6482SHong Zhang #pragma unroll(2) 415a48a6482SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 416a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 4179371c9d4SSatish Balay aval += 4; 4189371c9d4SSatish Balay acolidx += 4; 419a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y2); 4209371c9d4SSatish Balay aval += 4; 4219371c9d4SSatish Balay acolidx += 4; 422a48a6482SHong Zhang } 423a48a6482SHong Zhang 424ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8, vec_y); 425ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 426a48a6482SHong Zhang } 42721cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 428d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 429d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 430d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 431d4002b98SHong Zhang 432d4002b98SHong Zhang vec_y = _mm256_setzero_pd(); 433d4002b98SHong Zhang vec_y2 = _mm256_setzero_pd(); 434d4002b98SHong Zhang 435d4002b98SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 436d4002b98SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 437d4002b98SHong Zhang rows_left = A->rmap->n - 8 * i; 438d4002b98SHong Zhang for (r = 0; r < rows_left; ++r) { 439d4002b98SHong Zhang yval = (MatScalar)0; 440d4002b98SHong Zhang row = 8 * i + r; 441d4002b98SHong Zhang nnz_in_row = a->rlen[row]; 442d4002b98SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 443d4002b98SHong Zhang y[row] = yval; 444d4002b98SHong Zhang } 445d4002b98SHong Zhang break; 446d4002b98SHong Zhang } 447d4002b98SHong Zhang 448d4002b98SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 449a48a6482SHong Zhang #pragma novector 450a48a6482SHong Zhang #pragma unroll(2) 4517285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 452d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 453165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 454d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 455d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 456d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 457d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 458d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 459d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 460d4002b98SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 461d4002b98SHong Zhang aval += 4; 462d4002b98SHong Zhang 463d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 464d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 465d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 466d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 467d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 468d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 469d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 470d4002b98SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 471d4002b98SHong Zhang aval += 4; 472d4002b98SHong Zhang } 473d4002b98SHong Zhang 474d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8, vec_y); 475d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 476d4002b98SHong Zhang } 477d4002b98SHong Zhang #else 478d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 479*2d1451d4SHong Zhang for (j = 0; j < SLICE_HEIGHT; j++) { 480*2d1451d4SHong Zhang sum[j] = 0.0; 481*2d1451d4SHong Zhang for (k = a->sliidx[i] + j; k < a->sliidx[i + 1]; k += SLICE_HEIGHT) sum[j] += aval[k] * x[acolidx[k]]; 482d4002b98SHong Zhang } 483*2d1451d4SHong Zhang if (i == totalslices - 1 && (A->rmap->n % SLICE_HEIGHT)) { /* if last slice has padding rows */ 484*2d1451d4SHong Zhang for (j = 0; j < (A->rmap->n % SLICE_HEIGHT); j++) y[SLICE_HEIGHT * i + j] = sum[j]; 485d4002b98SHong Zhang } else { 486*2d1451d4SHong Zhang for (j = 0; j < SLICE_HEIGHT; j++) y[SLICE_HEIGHT * i + j] = sum[j]; 487d4002b98SHong Zhang } 488d4002b98SHong Zhang } 489d4002b98SHong Zhang #endif 490d4002b98SHong Zhang 4919566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz - a->nonzerorowcnt)); /* theoretical minimal FLOPs */ 4929566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 4939566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 4943ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 495d4002b98SHong Zhang } 496d4002b98SHong Zhang 497d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/ftn-kernels/fmultadd.h> 498d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultAdd_SeqSELL(Mat A, Vec xx, Vec yy, Vec zz) 499d71ae5a4SJacob Faibussowitsch { 500d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 501d4002b98SHong Zhang PetscScalar *y, *z; 502d4002b98SHong Zhang const PetscScalar *x; 503d4002b98SHong Zhang const MatScalar *aval = a->val; 504d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 505d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 506d4002b98SHong Zhang PetscInt i, j; 507d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5087285fed1SHong Zhang __m512d vec_x, vec_y, vec_vals; 509d4002b98SHong Zhang __m256i vec_idx; 510d4002b98SHong Zhang __mmask8 mask; 5117285fed1SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 5127285fed1SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 51321cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5147285fed1SHong Zhang __m128d vec_x_tmp; 5157285fed1SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 5167285fed1SHong Zhang MatScalar yval; 5177285fed1SHong Zhang PetscInt r, row, nnz_in_row; 518d4002b98SHong Zhang #else 519*2d1451d4SHong Zhang PetscInt k; 520*2d1451d4SHong Zhang PetscScalar sum[SLICE_HEIGHT]; 521d4002b98SHong Zhang #endif 522d4002b98SHong Zhang 523d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 524d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 525d4002b98SHong Zhang #endif 526d4002b98SHong Zhang 527d4002b98SHong Zhang PetscFunctionBegin; 528*2d1451d4SHong Zhang if (!a->nz) { 529*2d1451d4SHong Zhang PetscCall(VecCopy(yy, zz)); 530*2d1451d4SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 531*2d1451d4SHong Zhang } 5329566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 5339566063dSJacob Faibussowitsch PetscCall(VecGetArrayPair(yy, zz, &y, &z)); 534d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5357285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 5367285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5377285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5387285fed1SHong Zhang 539d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 540d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 541ef588d5cSRichard Tran Mills vec_y = _mm512_mask_loadu_pd(vec_y, mask, &y[8 * i]); 5427285fed1SHong Zhang } else { 543ef588d5cSRichard Tran Mills vec_y = _mm512_loadu_pd(&y[8 * i]); 5447285fed1SHong Zhang } 5457285fed1SHong Zhang vec_y2 = _mm512_setzero_pd(); 5467285fed1SHong Zhang vec_y3 = _mm512_setzero_pd(); 5477285fed1SHong Zhang vec_y4 = _mm512_setzero_pd(); 5487285fed1SHong Zhang 549da81f932SPierre Jolivet j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice column */ 5507285fed1SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 5517285fed1SHong Zhang case 3: 5527285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5539371c9d4SSatish Balay acolidx += 8; 5549371c9d4SSatish Balay aval += 8; 5557285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5569371c9d4SSatish Balay acolidx += 8; 5579371c9d4SSatish Balay aval += 8; 5587285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 5599371c9d4SSatish Balay acolidx += 8; 5609371c9d4SSatish Balay aval += 8; 5617285fed1SHong Zhang j += 3; 5627285fed1SHong Zhang break; 5637285fed1SHong Zhang case 2: 5647285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5659371c9d4SSatish Balay acolidx += 8; 5669371c9d4SSatish Balay aval += 8; 5677285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5689371c9d4SSatish Balay acolidx += 8; 5699371c9d4SSatish Balay aval += 8; 5707285fed1SHong Zhang j += 2; 5717285fed1SHong Zhang break; 5727285fed1SHong Zhang case 1: 5737285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5749371c9d4SSatish Balay acolidx += 8; 5759371c9d4SSatish Balay aval += 8; 5767285fed1SHong Zhang j += 1; 5777285fed1SHong Zhang break; 5787285fed1SHong Zhang } 5797285fed1SHong Zhang #pragma novector 5807285fed1SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 5817285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5829371c9d4SSatish Balay acolidx += 8; 5839371c9d4SSatish Balay aval += 8; 5847285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5859371c9d4SSatish Balay acolidx += 8; 5869371c9d4SSatish Balay aval += 8; 5877285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 5889371c9d4SSatish Balay acolidx += 8; 5899371c9d4SSatish Balay aval += 8; 5907285fed1SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 5919371c9d4SSatish Balay acolidx += 8; 5929371c9d4SSatish Balay aval += 8; 5937285fed1SHong Zhang } 5947285fed1SHong Zhang 5957285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 5967285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 5977285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 5987285fed1SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 599ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&z[8 * i], mask, vec_y); 600d4002b98SHong Zhang } else { 601ef588d5cSRichard Tran Mills _mm512_storeu_pd(&z[8 * i], vec_y); 602d4002b98SHong Zhang } 6037285fed1SHong Zhang } 60421cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 6057285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 6067285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6077285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6087285fed1SHong Zhang 6097285fed1SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 6107285fed1SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 6117285fed1SHong Zhang for (r = 0; r < (A->rmap->n & 0x07); ++r) { 6127285fed1SHong Zhang row = 8 * i + r; 6137285fed1SHong Zhang yval = (MatScalar)0.0; 6147285fed1SHong Zhang nnz_in_row = a->rlen[row]; 6157285fed1SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 6167285fed1SHong Zhang z[row] = y[row] + yval; 6177285fed1SHong Zhang } 6187285fed1SHong Zhang break; 6197285fed1SHong Zhang } 6207285fed1SHong Zhang 6217285fed1SHong Zhang vec_y = _mm256_loadu_pd(y + 8 * i); 6227285fed1SHong Zhang vec_y2 = _mm256_loadu_pd(y + 8 * i + 4); 6237285fed1SHong Zhang 6247285fed1SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 6257285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 6267285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 627165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 6287285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6297285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 630165f9cc3SJed Brown vec_x = _mm256_setzero_pd(); 6317285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6327285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6337285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6347285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6357285fed1SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 6367285fed1SHong Zhang aval += 4; 6377285fed1SHong Zhang 6387285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 6397285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6407285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6417285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6427285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6437285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6447285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6457285fed1SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 6467285fed1SHong Zhang aval += 4; 6477285fed1SHong Zhang } 6487285fed1SHong Zhang 6497285fed1SHong Zhang _mm256_storeu_pd(z + i * 8, vec_y); 6507285fed1SHong Zhang _mm256_storeu_pd(z + i * 8 + 4, vec_y2); 6517285fed1SHong Zhang } 652d4002b98SHong Zhang #else 6537285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 654*2d1451d4SHong Zhang for (j = 0; j < SLICE_HEIGHT; j++) { 655*2d1451d4SHong Zhang sum[j] = 0.0; 656*2d1451d4SHong Zhang for (k = a->sliidx[i] + j; k < a->sliidx[i + 1]; k += SLICE_HEIGHT) sum[j] += aval[k] * x[acolidx[k]]; 657d4002b98SHong Zhang } 658*2d1451d4SHong Zhang if (i == totalslices - 1 && (A->rmap->n % SLICE_HEIGHT)) { 659*2d1451d4SHong Zhang for (j = 0; j < (A->rmap->n % SLICE_HEIGHT); j++) z[SLICE_HEIGHT * i + j] = y[SLICE_HEIGHT * i + j] + sum[j]; 660d4002b98SHong Zhang } else { 661*2d1451d4SHong Zhang for (j = 0; j < SLICE_HEIGHT; j++) z[SLICE_HEIGHT * i + j] = y[SLICE_HEIGHT * i + j] + sum[j]; 6627285fed1SHong Zhang } 663d4002b98SHong Zhang } 664d4002b98SHong Zhang #endif 665d4002b98SHong Zhang 6669566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 6679566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 6689566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayPair(yy, zz, &y, &z)); 6693ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 670d4002b98SHong Zhang } 671d4002b98SHong Zhang 672d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat A, Vec xx, Vec zz, Vec yy) 673d71ae5a4SJacob Faibussowitsch { 674d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 675d4002b98SHong Zhang PetscScalar *y; 676d4002b98SHong Zhang const PetscScalar *x; 677d4002b98SHong Zhang const MatScalar *aval = a->val; 678d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 6797285fed1SHong Zhang PetscInt i, j, r, row, nnz_in_row, totalslices = a->totalslices; 680d4002b98SHong Zhang 681d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 682d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 683d4002b98SHong Zhang #endif 684d4002b98SHong Zhang 685d4002b98SHong Zhang PetscFunctionBegin; 686b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 6879566063dSJacob Faibussowitsch PetscCall(MatMultAdd_SeqSELL(A, xx, zz, yy)); 6883ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 6899fc32365SStefano Zampini } 6909566063dSJacob Faibussowitsch if (zz != yy) PetscCall(VecCopy(zz, yy)); 691*2d1451d4SHong Zhang 692*2d1451d4SHong Zhang if (a->nz) { 6939566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 6949566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 695d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 696*2d1451d4SHong Zhang if (i == totalslices - 1 && (A->rmap->n % SLICE_HEIGHT)) { 697*2d1451d4SHong Zhang for (r = 0; r < (A->rmap->n % SLICE_HEIGHT); ++r) { 698*2d1451d4SHong Zhang row = SLICE_HEIGHT * i + r; 6997285fed1SHong Zhang nnz_in_row = a->rlen[row]; 700*2d1451d4SHong Zhang for (j = 0; j < nnz_in_row; ++j) y[acolidx[SLICE_HEIGHT * j + r]] += aval[SLICE_HEIGHT * j + r] * x[row]; 7017285fed1SHong Zhang } 7027285fed1SHong Zhang break; 7037285fed1SHong Zhang } 704*2d1451d4SHong Zhang for (r = 0; r < SLICE_HEIGHT; ++r) 705*2d1451d4SHong Zhang for (j = a->sliidx[i] + r; j < a->sliidx[i + 1]; j += SLICE_HEIGHT) y[acolidx[j]] += aval[j] * x[SLICE_HEIGHT * i + r]; 706d4002b98SHong Zhang } 707*2d1451d4SHong Zhang PetscCall(PetscLogFlops(2.0 * a->nz)); 7089566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 7099566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 710*2d1451d4SHong Zhang } 7113ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 712d4002b98SHong Zhang } 713d4002b98SHong Zhang 714d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTranspose_SeqSELL(Mat A, Vec xx, Vec yy) 715d71ae5a4SJacob Faibussowitsch { 716d4002b98SHong Zhang PetscFunctionBegin; 717b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 7189566063dSJacob Faibussowitsch PetscCall(MatMult_SeqSELL(A, xx, yy)); 7199fc32365SStefano Zampini } else { 7209566063dSJacob Faibussowitsch PetscCall(VecSet(yy, 0.0)); 7219566063dSJacob Faibussowitsch PetscCall(MatMultTransposeAdd_SeqSELL(A, xx, yy, yy)); 7229fc32365SStefano Zampini } 7233ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 724d4002b98SHong Zhang } 725d4002b98SHong Zhang 726d4002b98SHong Zhang /* 727d4002b98SHong Zhang Checks for missing diagonals 728d4002b98SHong Zhang */ 729d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMissingDiagonal_SeqSELL(Mat A, PetscBool *missing, PetscInt *d) 730d71ae5a4SJacob Faibussowitsch { 731d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 732d4002b98SHong Zhang PetscInt *diag, i; 733d4002b98SHong Zhang 734d4002b98SHong Zhang PetscFunctionBegin; 735d4002b98SHong Zhang *missing = PETSC_FALSE; 736d4002b98SHong Zhang if (A->rmap->n > 0 && !(a->colidx)) { 737d4002b98SHong Zhang *missing = PETSC_TRUE; 738d4002b98SHong Zhang if (d) *d = 0; 7399566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix has no entries therefore is missing diagonal\n")); 740d4002b98SHong Zhang } else { 741d4002b98SHong Zhang diag = a->diag; 742d4002b98SHong Zhang for (i = 0; i < A->rmap->n; i++) { 743d4002b98SHong Zhang if (diag[i] == -1) { 744d4002b98SHong Zhang *missing = PETSC_TRUE; 745d4002b98SHong Zhang if (d) *d = i; 7469566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix is missing diagonal number %" PetscInt_FMT "\n", i)); 747d4002b98SHong Zhang break; 748d4002b98SHong Zhang } 749d4002b98SHong Zhang } 750d4002b98SHong Zhang } 7513ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 752d4002b98SHong Zhang } 753d4002b98SHong Zhang 754d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMarkDiagonal_SeqSELL(Mat A) 755d71ae5a4SJacob Faibussowitsch { 756d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 757d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 758d4002b98SHong Zhang 759d4002b98SHong Zhang PetscFunctionBegin; 760d4002b98SHong Zhang if (!a->diag) { 7619566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &a->diag)); 762d4002b98SHong Zhang a->free_diag = PETSC_TRUE; 763d4002b98SHong Zhang } 764d4002b98SHong Zhang for (i = 0; i < m; i++) { /* loop over rows */ 765*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; /* starting index of the row i */ 766d4002b98SHong Zhang a->diag[i] = -1; 767d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 768*2d1451d4SHong Zhang if (a->colidx[shift + SLICE_HEIGHT * j] == i) { 769*2d1451d4SHong Zhang a->diag[i] = shift + SLICE_HEIGHT * j; 770d4002b98SHong Zhang break; 771d4002b98SHong Zhang } 772d4002b98SHong Zhang } 773d4002b98SHong Zhang } 7743ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 775d4002b98SHong Zhang } 776d4002b98SHong Zhang 777d4002b98SHong Zhang /* 778d4002b98SHong Zhang Negative shift indicates do not generate an error if there is a zero diagonal, just invert it anyways 779d4002b98SHong Zhang */ 780d71ae5a4SJacob Faibussowitsch PetscErrorCode MatInvertDiagonal_SeqSELL(Mat A, PetscScalar omega, PetscScalar fshift) 781d71ae5a4SJacob Faibussowitsch { 782d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 783d4002b98SHong Zhang PetscInt i, *diag, m = A->rmap->n; 784d4002b98SHong Zhang MatScalar *val = a->val; 785d4002b98SHong Zhang PetscScalar *idiag, *mdiag; 786d4002b98SHong Zhang 787d4002b98SHong Zhang PetscFunctionBegin; 7883ba16761SJacob Faibussowitsch if (a->idiagvalid) PetscFunctionReturn(PETSC_SUCCESS); 7899566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 790d4002b98SHong Zhang diag = a->diag; 791d4002b98SHong Zhang if (!a->idiag) { 7929566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(m, &a->idiag, m, &a->mdiag, m, &a->ssor_work)); 793d4002b98SHong Zhang val = a->val; 794d4002b98SHong Zhang } 795d4002b98SHong Zhang mdiag = a->mdiag; 796d4002b98SHong Zhang idiag = a->idiag; 797d4002b98SHong Zhang 798d4002b98SHong Zhang if (omega == 1.0 && PetscRealPart(fshift) <= 0.0) { 799d4002b98SHong Zhang for (i = 0; i < m; i++) { 800d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 801d4002b98SHong Zhang if (!PetscAbsScalar(mdiag[i])) { /* zero diagonal */ 8020fdf79fbSJacob Faibussowitsch PetscCheck(PetscRealPart(fshift), PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Zero diagonal on row %" PetscInt_FMT, i); 8039566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Zero diagonal on row %" PetscInt_FMT "\n", i)); 804d4002b98SHong Zhang A->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 805d4002b98SHong Zhang A->factorerror_zeropivot_value = 0.0; 806d4002b98SHong Zhang A->factorerror_zeropivot_row = i; 807d4002b98SHong Zhang } 808d4002b98SHong Zhang idiag[i] = 1.0 / val[diag[i]]; 809d4002b98SHong Zhang } 8109566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(m)); 811d4002b98SHong Zhang } else { 812d4002b98SHong Zhang for (i = 0; i < m; i++) { 813d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 814d4002b98SHong Zhang idiag[i] = omega / (fshift + val[diag[i]]); 815d4002b98SHong Zhang } 8169566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * m)); 817d4002b98SHong Zhang } 818d4002b98SHong Zhang a->idiagvalid = PETSC_TRUE; 8193ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 820d4002b98SHong Zhang } 821d4002b98SHong Zhang 822d71ae5a4SJacob Faibussowitsch PetscErrorCode MatZeroEntries_SeqSELL(Mat A) 823d71ae5a4SJacob Faibussowitsch { 824d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 825d4002b98SHong Zhang 826d4002b98SHong Zhang PetscFunctionBegin; 8279566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(a->val, a->sliidx[a->totalslices])); 8289566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 8293ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 830d4002b98SHong Zhang } 831d4002b98SHong Zhang 832d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDestroy_SeqSELL(Mat A) 833d71ae5a4SJacob Faibussowitsch { 834d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 835d4002b98SHong Zhang 836d4002b98SHong Zhang PetscFunctionBegin; 837d4002b98SHong Zhang #if defined(PETSC_USE_LOG) 8383ba16761SJacob Faibussowitsch PetscCall(PetscLogObjectState((PetscObject)A, "Rows=%" PetscInt_FMT ", Cols=%" PetscInt_FMT ", NZ=%" PetscInt_FMT, A->rmap->n, A->cmap->n, a->nz)); 839d4002b98SHong Zhang #endif 8409566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(A, &a->val, &a->colidx)); 8419566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->row)); 8429566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->col)); 8439566063dSJacob Faibussowitsch PetscCall(PetscFree(a->diag)); 8449566063dSJacob Faibussowitsch PetscCall(PetscFree(a->rlen)); 8459566063dSJacob Faibussowitsch PetscCall(PetscFree(a->sliidx)); 8469566063dSJacob Faibussowitsch PetscCall(PetscFree3(a->idiag, a->mdiag, a->ssor_work)); 8479566063dSJacob Faibussowitsch PetscCall(PetscFree(a->solve_work)); 8489566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->icol)); 8499566063dSJacob Faibussowitsch PetscCall(PetscFree(a->saved_values)); 8509566063dSJacob Faibussowitsch PetscCall(PetscFree2(a->getrowcols, a->getrowvals)); 851d4002b98SHong Zhang 8529566063dSJacob Faibussowitsch PetscCall(PetscFree(A->data)); 853d4002b98SHong Zhang 8549566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)A, NULL)); 8559566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatStoreValues_C", NULL)); 8569566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatRetrieveValues_C", NULL)); 8579566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetPreallocation_C", NULL)); 8582e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetArray_C", NULL)); 8592e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLRestoreArray_C", NULL)); 860*2d1451d4SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_SeqSELL_SeqAIJ_C", NULL)); 861*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 862*2d1451d4SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_SeqSELL_SeqSELLCUDA_C", NULL)); 863*2d1451d4SHong Zhang #endif 8643ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 865d4002b98SHong Zhang } 866d4002b98SHong Zhang 867d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetOption_SeqSELL(Mat A, MatOption op, PetscBool flg) 868d71ae5a4SJacob Faibussowitsch { 869d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 870d4002b98SHong Zhang 871d4002b98SHong Zhang PetscFunctionBegin; 872d4002b98SHong Zhang switch (op) { 873d71ae5a4SJacob Faibussowitsch case MAT_ROW_ORIENTED: 874d71ae5a4SJacob Faibussowitsch a->roworiented = flg; 875d71ae5a4SJacob Faibussowitsch break; 876d71ae5a4SJacob Faibussowitsch case MAT_KEEP_NONZERO_PATTERN: 877d71ae5a4SJacob Faibussowitsch a->keepnonzeropattern = flg; 878d71ae5a4SJacob Faibussowitsch break; 879d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATIONS: 880d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? 0 : 1); 881d71ae5a4SJacob Faibussowitsch break; 882d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATION_ERR: 883d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -1 : 0); 884d71ae5a4SJacob Faibussowitsch break; 885d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_ALLOCATION_ERR: 886d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -2 : 0); 887d71ae5a4SJacob Faibussowitsch break; 888d71ae5a4SJacob Faibussowitsch case MAT_UNUSED_NONZERO_LOCATION_ERR: 889d71ae5a4SJacob Faibussowitsch a->nounused = (flg ? -1 : 0); 890d71ae5a4SJacob Faibussowitsch break; 8918c78258cSHong Zhang case MAT_FORCE_DIAGONAL_ENTRIES: 892d4002b98SHong Zhang case MAT_IGNORE_OFF_PROC_ENTRIES: 893d4002b98SHong Zhang case MAT_USE_HASH_TABLE: 894d71ae5a4SJacob Faibussowitsch case MAT_SORTED_FULL: 895d71ae5a4SJacob Faibussowitsch PetscCall(PetscInfo(A, "Option %s ignored\n", MatOptions[op])); 896d71ae5a4SJacob Faibussowitsch break; 897d4002b98SHong Zhang case MAT_SPD: 898d4002b98SHong Zhang case MAT_SYMMETRIC: 899d4002b98SHong Zhang case MAT_STRUCTURALLY_SYMMETRIC: 900d4002b98SHong Zhang case MAT_HERMITIAN: 901d4002b98SHong Zhang case MAT_SYMMETRY_ETERNAL: 902b94d7dedSBarry Smith case MAT_STRUCTURAL_SYMMETRY_ETERNAL: 903b94d7dedSBarry Smith case MAT_SPD_ETERNAL: 904d4002b98SHong Zhang /* These options are handled directly by MatSetOption() */ 905d4002b98SHong Zhang break; 906d71ae5a4SJacob Faibussowitsch default: 907d71ae5a4SJacob Faibussowitsch SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "unknown option %d", op); 908d4002b98SHong Zhang } 9093ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 910d4002b98SHong Zhang } 911d4002b98SHong Zhang 912d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetDiagonal_SeqSELL(Mat A, Vec v) 913d71ae5a4SJacob Faibussowitsch { 914d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 915d4002b98SHong Zhang PetscInt i, j, n, shift; 916d4002b98SHong Zhang PetscScalar *x, zero = 0.0; 917d4002b98SHong Zhang 918d4002b98SHong Zhang PetscFunctionBegin; 9199566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(v, &n)); 92008401ef6SPierre Jolivet PetscCheck(n == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Nonconforming matrix and vector"); 921d4002b98SHong Zhang 922d4002b98SHong Zhang if (A->factortype == MAT_FACTOR_ILU || A->factortype == MAT_FACTOR_LU) { 923d4002b98SHong Zhang PetscInt *diag = a->diag; 9249566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &x)); 925d4002b98SHong Zhang for (i = 0; i < n; i++) x[i] = 1.0 / a->val[diag[i]]; 9269566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &x)); 9273ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 928d4002b98SHong Zhang } 929d4002b98SHong Zhang 9309566063dSJacob Faibussowitsch PetscCall(VecSet(v, zero)); 9319566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &x)); 932d4002b98SHong Zhang for (i = 0; i < n; i++) { /* loop over rows */ 933*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; /* starting index of the row i */ 934d4002b98SHong Zhang x[i] = 0; 935d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 936*2d1451d4SHong Zhang if (a->colidx[shift + SLICE_HEIGHT * j] == i) { 937*2d1451d4SHong Zhang x[i] = a->val[shift + SLICE_HEIGHT * j]; 938d4002b98SHong Zhang break; 939d4002b98SHong Zhang } 940d4002b98SHong Zhang } 941d4002b98SHong Zhang } 9429566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &x)); 9433ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 944d4002b98SHong Zhang } 945d4002b98SHong Zhang 946d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDiagonalScale_SeqSELL(Mat A, Vec ll, Vec rr) 947d71ae5a4SJacob Faibussowitsch { 948d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 949d4002b98SHong Zhang const PetscScalar *l, *r; 950d4002b98SHong Zhang PetscInt i, j, m, n, row; 951d4002b98SHong Zhang 952d4002b98SHong Zhang PetscFunctionBegin; 953d4002b98SHong Zhang if (ll) { 954d4002b98SHong Zhang /* The local size is used so that VecMPI can be passed to this routine 955d4002b98SHong Zhang by MatDiagonalScale_MPISELL */ 9569566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(ll, &m)); 95708401ef6SPierre Jolivet PetscCheck(m == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Left scaling vector wrong length"); 9589566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(ll, &l)); 959d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 960*2d1451d4SHong Zhang if (i == a->totalslices - 1 && (A->rmap->n % SLICE_HEIGHT)) { /* if last slice has padding rows */ 961*2d1451d4SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % SLICE_HEIGHT) { 962*2d1451d4SHong Zhang if (row < (A->rmap->n % SLICE_HEIGHT)) a->val[j] *= l[SLICE_HEIGHT * i + row]; 963dab86139SHong Zhang } 964dab86139SHong Zhang } else { 965*2d1451d4SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % SLICE_HEIGHT) { a->val[j] *= l[SLICE_HEIGHT * i + row]; } 966d4002b98SHong Zhang } 967dab86139SHong Zhang } 9689566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(ll, &l)); 9699566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 970d4002b98SHong Zhang } 971d4002b98SHong Zhang if (rr) { 9729566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(rr, &n)); 97308401ef6SPierre Jolivet PetscCheck(n == A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Right scaling vector wrong length"); 9749566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(rr, &r)); 975d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 976*2d1451d4SHong Zhang if (i == a->totalslices - 1 && (A->rmap->n % SLICE_HEIGHT)) { /* if last slice has padding rows */ 977*2d1451d4SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) % SLICE_HEIGHT)) { 978*2d1451d4SHong Zhang if (row < (A->rmap->n % SLICE_HEIGHT)) a->val[j] *= r[a->colidx[j]]; 979dab86139SHong Zhang } 980dab86139SHong Zhang } else { 981ad540459SPierre Jolivet for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j++) a->val[j] *= r[a->colidx[j]]; 982d4002b98SHong Zhang } 983dab86139SHong Zhang } 9849566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(rr, &r)); 9859566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 986d4002b98SHong Zhang } 9879566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 988*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 989*2d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 990*2d1451d4SHong Zhang #endif 9913ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 992d4002b98SHong Zhang } 993d4002b98SHong Zhang 994d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], PetscScalar v[]) 995d71ae5a4SJacob Faibussowitsch { 996d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 997d4002b98SHong Zhang PetscInt *cp, i, k, low, high, t, row, col, l; 998d4002b98SHong Zhang PetscInt shift; 999d4002b98SHong Zhang MatScalar *vp; 1000d4002b98SHong Zhang 1001d4002b98SHong Zhang PetscFunctionBegin; 100268aafef3SStefano Zampini for (k = 0; k < m; k++) { /* loop over requested rows */ 1003d4002b98SHong Zhang row = im[k]; 1004d4002b98SHong Zhang if (row < 0) continue; 10056bdcaf15SBarry Smith PetscCheck(row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row too large: row %" PetscInt_FMT " max %" PetscInt_FMT, row, A->rmap->n - 1); 1006*2d1451d4SHong Zhang shift = a->sliidx[row / SLICE_HEIGHT] + (row % SLICE_HEIGHT); /* starting index of the row */ 1007d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1008d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 100968aafef3SStefano Zampini for (l = 0; l < n; l++) { /* loop over requested columns */ 1010d4002b98SHong Zhang col = in[l]; 1011d4002b98SHong Zhang if (col < 0) continue; 10126bdcaf15SBarry Smith PetscCheck(col < A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Column too large: row %" PetscInt_FMT " max %" PetscInt_FMT, col, A->cmap->n - 1); 10139371c9d4SSatish Balay high = a->rlen[row]; 10149371c9d4SSatish Balay low = 0; /* assume unsorted */ 1015d4002b98SHong Zhang while (high - low > 5) { 1016d4002b98SHong Zhang t = (low + high) / 2; 1017*2d1451d4SHong Zhang if (*(cp + SLICE_HEIGHT * t) > col) high = t; 1018d4002b98SHong Zhang else low = t; 1019d4002b98SHong Zhang } 1020d4002b98SHong Zhang for (i = low; i < high; i++) { 1021*2d1451d4SHong Zhang if (*(cp + SLICE_HEIGHT * i) > col) break; 1022*2d1451d4SHong Zhang if (*(cp + SLICE_HEIGHT * i) == col) { 1023*2d1451d4SHong Zhang *v++ = *(vp + SLICE_HEIGHT * i); 1024d4002b98SHong Zhang goto finished; 1025d4002b98SHong Zhang } 1026d4002b98SHong Zhang } 1027d4002b98SHong Zhang *v++ = 0.0; 1028d4002b98SHong Zhang finished:; 1029d4002b98SHong Zhang } 1030d4002b98SHong Zhang } 10313ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1032d4002b98SHong Zhang } 1033d4002b98SHong Zhang 1034d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL_ASCII(Mat A, PetscViewer viewer) 1035d71ae5a4SJacob Faibussowitsch { 1036d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1037d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1038d4002b98SHong Zhang const char *name; 1039d4002b98SHong Zhang PetscViewerFormat format; 1040d4002b98SHong Zhang 1041d4002b98SHong Zhang PetscFunctionBegin; 10429566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 1043d4002b98SHong Zhang if (format == PETSC_VIEWER_ASCII_MATLAB) { 1044d4002b98SHong Zhang PetscInt nofinalvalue = 0; 1045d4002b98SHong Zhang /* 1046d4002b98SHong Zhang if (m && ((a->i[m] == a->i[m-1]) || (a->j[a->nz-1] != A->cmap->n-1))) { 1047d4002b98SHong Zhang nofinalvalue = 1; 1048d4002b98SHong Zhang } 1049d4002b98SHong Zhang */ 10509566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 10519566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Size = %" PetscInt_FMT " %" PetscInt_FMT " \n", m, A->cmap->n)); 10529566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Nonzeros = %" PetscInt_FMT " \n", a->nz)); 1053d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10549566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",4);\n", a->nz + nofinalvalue)); 1055d4002b98SHong Zhang #else 10569566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",3);\n", a->nz + nofinalvalue)); 1057d4002b98SHong Zhang #endif 10589566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = [\n")); 1059d4002b98SHong Zhang 1060d4002b98SHong Zhang for (i = 0; i < m; i++) { 1061*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; 1062d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1063d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1064*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %18.16e %18.16e\n", i + 1, a->colidx[shift + SLICE_HEIGHT * j] + 1, (double)PetscRealPart(a->val[shift + SLICE_HEIGHT * j]), (double)PetscImaginaryPart(a->val[shift + SLICE_HEIGHT * j]))); 1065d4002b98SHong Zhang #else 1066*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %18.16e\n", i + 1, a->colidx[shift + SLICE_HEIGHT * j] + 1, (double)a->val[shift + SLICE_HEIGHT * j])); 1067d4002b98SHong Zhang #endif 1068d4002b98SHong Zhang } 1069d4002b98SHong Zhang } 1070d4002b98SHong Zhang /* 1071d4002b98SHong Zhang if (nofinalvalue) { 1072d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10739566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e %18.16e\n",m,A->cmap->n,0.,0.)); 1074d4002b98SHong Zhang #else 10759566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e\n",m,A->cmap->n,0.0)); 1076d4002b98SHong Zhang #endif 1077d4002b98SHong Zhang } 1078d4002b98SHong Zhang */ 10799566063dSJacob Faibussowitsch PetscCall(PetscObjectGetName((PetscObject)A, &name)); 10809566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "];\n %s = spconvert(zzz);\n", name)); 10819566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1082d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_FACTOR_INFO || format == PETSC_VIEWER_ASCII_INFO) { 10833ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1084d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_COMMON) { 10859566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1086d4002b98SHong Zhang for (i = 0; i < m; i++) { 10879566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1088*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; 1089d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1090d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1091*2d1451d4SHong Zhang if (PetscImaginaryPart(a->val[shift + SLICE_HEIGHT * j]) > 0.0 && PetscRealPart(a->val[shift + SLICE_HEIGHT * j]) != 0.0) { 1092*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[shift + SLICE_HEIGHT * j], (double)PetscRealPart(a->val[shift + SLICE_HEIGHT * j]), (double)PetscImaginaryPart(a->val[shift + SLICE_HEIGHT * j]))); 1093*2d1451d4SHong Zhang } else if (PetscImaginaryPart(a->val[shift + SLICE_HEIGHT * j]) < 0.0 && PetscRealPart(a->val[shift + SLICE_HEIGHT * j]) != 0.0) { 1094*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[shift + SLICE_HEIGHT * j], (double)PetscRealPart(a->val[shift + SLICE_HEIGHT * j]), (double)-PetscImaginaryPart(a->val[shift + SLICE_HEIGHT * j]))); 1095*2d1451d4SHong Zhang } else if (PetscRealPart(a->val[shift + SLICE_HEIGHT * j]) != 0.0) { 1096*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + SLICE_HEIGHT * j], (double)PetscRealPart(a->val[shift + SLICE_HEIGHT * j]))); 1097d4002b98SHong Zhang } 1098d4002b98SHong Zhang #else 1099*2d1451d4SHong Zhang if (a->val[shift + SLICE_HEIGHT * j] != 0.0) PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + SLICE_HEIGHT * j], (double)a->val[shift + SLICE_HEIGHT * j])); 1100d4002b98SHong Zhang #endif 1101d4002b98SHong Zhang } 11029566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1103d4002b98SHong Zhang } 11049566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1105d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_DENSE) { 1106d4002b98SHong Zhang PetscInt cnt = 0, jcnt; 1107d4002b98SHong Zhang PetscScalar value; 1108d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1109d4002b98SHong Zhang PetscBool realonly = PETSC_TRUE; 1110d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1111d4002b98SHong Zhang if (PetscImaginaryPart(a->val[i]) != 0.0) { 1112d4002b98SHong Zhang realonly = PETSC_FALSE; 1113d4002b98SHong Zhang break; 1114d4002b98SHong Zhang } 1115d4002b98SHong Zhang } 1116d4002b98SHong Zhang #endif 1117d4002b98SHong Zhang 11189566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1119d4002b98SHong Zhang for (i = 0; i < m; i++) { 1120d4002b98SHong Zhang jcnt = 0; 1121*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; 1122d4002b98SHong Zhang for (j = 0; j < A->cmap->n; j++) { 1123*2d1451d4SHong Zhang if (jcnt < a->rlen[i] && j == a->colidx[shift + SLICE_HEIGHT * j]) { 1124d4002b98SHong Zhang value = a->val[cnt++]; 1125d4002b98SHong Zhang jcnt++; 1126d4002b98SHong Zhang } else { 1127d4002b98SHong Zhang value = 0.0; 1128d4002b98SHong Zhang } 1129d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1130d4002b98SHong Zhang if (realonly) { 11319566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)PetscRealPart(value))); 1132d4002b98SHong Zhang } else { 11339566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e+%7.5e i ", (double)PetscRealPart(value), (double)PetscImaginaryPart(value))); 1134d4002b98SHong Zhang } 1135d4002b98SHong Zhang #else 11369566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)value)); 1137d4002b98SHong Zhang #endif 1138d4002b98SHong Zhang } 11399566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1140d4002b98SHong Zhang } 11419566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1142d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_MATRIXMARKET) { 1143d4002b98SHong Zhang PetscInt fshift = 1; 11449566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1145d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11469566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate complex general\n")); 1147d4002b98SHong Zhang #else 11489566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate real general\n")); 1149d4002b98SHong Zhang #endif 11509566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", m, A->cmap->n, a->nz)); 1151d4002b98SHong Zhang for (i = 0; i < m; i++) { 1152*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; 1153d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1154d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1155*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %g %g\n", i + fshift, a->colidx[shift + SLICE_HEIGHT * j] + fshift, (double)PetscRealPart(a->val[shift + SLICE_HEIGHT * j]), (double)PetscImaginaryPart(a->val[shift + SLICE_HEIGHT * j]))); 1156d4002b98SHong Zhang #else 1157*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %g\n", i + fshift, a->colidx[shift + SLICE_HEIGHT * j] + fshift, (double)a->val[shift + SLICE_HEIGHT * j])); 1158d4002b98SHong Zhang #endif 1159d4002b98SHong Zhang } 1160d4002b98SHong Zhang } 11619566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 116268aafef3SStefano Zampini } else if (format == PETSC_VIEWER_NATIVE) { 116368aafef3SStefano Zampini for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 116468aafef3SStefano Zampini PetscInt row; 11659566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "slice %" PetscInt_FMT ": %" PetscInt_FMT " %" PetscInt_FMT "\n", i, a->sliidx[i], a->sliidx[i + 1])); 1166*2d1451d4SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % SLICE_HEIGHT) { 116768aafef3SStefano Zampini #if defined(PETSC_USE_COMPLEX) 116868aafef3SStefano Zampini if (PetscImaginaryPart(a->val[j]) > 0.0) { 1169*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g + %g i\n", SLICE_HEIGHT * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 117068aafef3SStefano Zampini } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 1171*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g - %g i\n", SLICE_HEIGHT * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]), -(double)PetscImaginaryPart(a->val[j]))); 117268aafef3SStefano Zampini } else { 1173*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", SLICE_HEIGHT * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]))); 117468aafef3SStefano Zampini } 117568aafef3SStefano Zampini #else 1176*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", SLICE_HEIGHT * i + row, a->colidx[j], (double)a->val[j])); 117768aafef3SStefano Zampini #endif 117868aafef3SStefano Zampini } 117968aafef3SStefano Zampini } 1180d4002b98SHong Zhang } else { 11819566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1182d4002b98SHong Zhang if (A->factortype) { 1183d4002b98SHong Zhang for (i = 0; i < m; i++) { 1184*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; 11859566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1186d4002b98SHong Zhang /* L part */ 1187*2d1451d4SHong Zhang for (j = shift; j < a->diag[i]; j += SLICE_HEIGHT) { 1188d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1189*2d1451d4SHong Zhang if (PetscImaginaryPart(a->val[shift + SLICE_HEIGHT * j]) > 0.0) { 11909566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 1191*2d1451d4SHong Zhang } else if (PetscImaginaryPart(a->val[shift + SLICE_HEIGHT * j]) < 0.0) { 11929566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1193d4002b98SHong Zhang } else { 11949566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1195d4002b98SHong Zhang } 1196d4002b98SHong Zhang #else 11979566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1198d4002b98SHong Zhang #endif 1199d4002b98SHong Zhang } 1200d4002b98SHong Zhang /* diagonal */ 1201d4002b98SHong Zhang j = a->diag[i]; 1202d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1203d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12049566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j]), (double)PetscImaginaryPart(1.0 / a->val[j]))); 1205d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12069566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j]), (double)(-PetscImaginaryPart(1.0 / a->val[j])))); 1207d4002b98SHong Zhang } else { 12089566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j]))); 1209d4002b98SHong Zhang } 1210d4002b98SHong Zhang #else 12119566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)(1.0 / a->val[j]))); 1212d4002b98SHong Zhang #endif 1213d4002b98SHong Zhang 1214d4002b98SHong Zhang /* U part */ 1215*2d1451d4SHong Zhang for (j = a->diag[i] + 1; j < shift + SLICE_HEIGHT * a->rlen[i]; j += SLICE_HEIGHT) { 1216d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1217d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12189566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 1219d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12209566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1221d4002b98SHong Zhang } else { 12229566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1223d4002b98SHong Zhang } 1224d4002b98SHong Zhang #else 12259566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1226d4002b98SHong Zhang #endif 1227d4002b98SHong Zhang } 12289566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1229d4002b98SHong Zhang } 1230d4002b98SHong Zhang } else { 1231d4002b98SHong Zhang for (i = 0; i < m; i++) { 1232*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; 12339566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1234d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1235d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1236d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 1237*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[shift + SLICE_HEIGHT * j], (double)PetscRealPart(a->val[shift + SLICE_HEIGHT * j]), (double)PetscImaginaryPart(a->val[shift + SLICE_HEIGHT * j]))); 1238d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 1239*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[shift + SLICE_HEIGHT * j], (double)PetscRealPart(a->val[shift + SLICE_HEIGHT * j]), (double)-PetscImaginaryPart(a->val[shift + SLICE_HEIGHT * j]))); 1240d4002b98SHong Zhang } else { 1241*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + SLICE_HEIGHT * j], (double)PetscRealPart(a->val[shift + SLICE_HEIGHT * j]))); 1242d4002b98SHong Zhang } 1243d4002b98SHong Zhang #else 1244*2d1451d4SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + SLICE_HEIGHT * j], (double)a->val[shift + SLICE_HEIGHT * j])); 1245d4002b98SHong Zhang #endif 1246d4002b98SHong Zhang } 12479566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1248d4002b98SHong Zhang } 1249d4002b98SHong Zhang } 12509566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1251d4002b98SHong Zhang } 12529566063dSJacob Faibussowitsch PetscCall(PetscViewerFlush(viewer)); 12533ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1254d4002b98SHong Zhang } 1255d4002b98SHong Zhang 1256d4002b98SHong Zhang #include <petscdraw.h> 1257d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL_Draw_Zoom(PetscDraw draw, void *Aa) 1258d71ae5a4SJacob Faibussowitsch { 1259d4002b98SHong Zhang Mat A = (Mat)Aa; 1260d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1261d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1262d4002b98SHong Zhang int color; 1263d4002b98SHong Zhang PetscReal xl, yl, xr, yr, x_l, x_r, y_l, y_r; 1264d4002b98SHong Zhang PetscViewer viewer; 1265d4002b98SHong Zhang PetscViewerFormat format; 1266d4002b98SHong Zhang 1267d4002b98SHong Zhang PetscFunctionBegin; 12689566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject)A, "Zoomviewer", (PetscObject *)&viewer)); 12699566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 12709566063dSJacob Faibussowitsch PetscCall(PetscDrawGetCoordinates(draw, &xl, &yl, &xr, &yr)); 1271d4002b98SHong Zhang 1272d4002b98SHong Zhang /* loop over matrix elements drawing boxes */ 1273d4002b98SHong Zhang 1274d4002b98SHong Zhang if (format != PETSC_VIEWER_DRAW_CONTOUR) { 1275d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1276d4002b98SHong Zhang /* Blue for negative, Cyan for zero and Red for positive */ 1277d4002b98SHong Zhang color = PETSC_DRAW_BLUE; 1278d4002b98SHong Zhang for (i = 0; i < m; i++) { 1279*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; /* starting index of the row i */ 12809371c9d4SSatish Balay y_l = m - i - 1.0; 12819371c9d4SSatish Balay y_r = y_l + 1.0; 1282d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1283*2d1451d4SHong Zhang x_l = a->colidx[shift + SLICE_HEIGHT * j]; 12849371c9d4SSatish Balay x_r = x_l + 1.0; 1285*2d1451d4SHong Zhang if (PetscRealPart(a->val[shift + SLICE_HEIGHT * j]) >= 0.) continue; 12869566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1287d4002b98SHong Zhang } 1288d4002b98SHong Zhang } 1289d4002b98SHong Zhang color = PETSC_DRAW_CYAN; 1290d4002b98SHong Zhang for (i = 0; i < m; i++) { 1291*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; 12929371c9d4SSatish Balay y_l = m - i - 1.0; 12939371c9d4SSatish Balay y_r = y_l + 1.0; 1294d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1295*2d1451d4SHong Zhang x_l = a->colidx[shift + SLICE_HEIGHT * j]; 12969371c9d4SSatish Balay x_r = x_l + 1.0; 1297*2d1451d4SHong Zhang if (a->val[shift + SLICE_HEIGHT * j] != 0.) continue; 12989566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1299d4002b98SHong Zhang } 1300d4002b98SHong Zhang } 1301d4002b98SHong Zhang color = PETSC_DRAW_RED; 1302d4002b98SHong Zhang for (i = 0; i < m; i++) { 1303*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; 13049371c9d4SSatish Balay y_l = m - i - 1.0; 13059371c9d4SSatish Balay y_r = y_l + 1.0; 1306d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1307*2d1451d4SHong Zhang x_l = a->colidx[shift + SLICE_HEIGHT * j]; 13089371c9d4SSatish Balay x_r = x_l + 1.0; 1309*2d1451d4SHong Zhang if (PetscRealPart(a->val[shift + SLICE_HEIGHT * j]) <= 0.) continue; 13109566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1311d4002b98SHong Zhang } 1312d4002b98SHong Zhang } 1313d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1314d4002b98SHong Zhang } else { 1315d4002b98SHong Zhang /* use contour shading to indicate magnitude of values */ 1316d4002b98SHong Zhang /* first determine max of all nonzero values */ 1317d4002b98SHong Zhang PetscReal minv = 0.0, maxv = 0.0; 1318d4002b98SHong Zhang PetscInt count = 0; 1319d4002b98SHong Zhang PetscDraw popup; 1320d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1321d4002b98SHong Zhang if (PetscAbsScalar(a->val[i]) > maxv) maxv = PetscAbsScalar(a->val[i]); 1322d4002b98SHong Zhang } 1323d4002b98SHong Zhang if (minv >= maxv) maxv = minv + PETSC_SMALL; 13249566063dSJacob Faibussowitsch PetscCall(PetscDrawGetPopup(draw, &popup)); 13259566063dSJacob Faibussowitsch PetscCall(PetscDrawScalePopup(popup, minv, maxv)); 1326d4002b98SHong Zhang 1327d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1328d4002b98SHong Zhang for (i = 0; i < m; i++) { 1329*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; 1330d4002b98SHong Zhang y_l = m - i - 1.0; 1331d4002b98SHong Zhang y_r = y_l + 1.0; 1332d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1333*2d1451d4SHong Zhang x_l = a->colidx[shift + SLICE_HEIGHT * j]; 1334d4002b98SHong Zhang x_r = x_l + 1.0; 1335d4002b98SHong Zhang color = PetscDrawRealToColor(PetscAbsScalar(a->val[count]), minv, maxv); 13369566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1337d4002b98SHong Zhang count++; 1338d4002b98SHong Zhang } 1339d4002b98SHong Zhang } 1340d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1341d4002b98SHong Zhang } 13423ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1343d4002b98SHong Zhang } 1344d4002b98SHong Zhang 1345d4002b98SHong Zhang #include <petscdraw.h> 1346d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL_Draw(Mat A, PetscViewer viewer) 1347d71ae5a4SJacob Faibussowitsch { 1348d4002b98SHong Zhang PetscDraw draw; 1349d4002b98SHong Zhang PetscReal xr, yr, xl, yl, h, w; 1350d4002b98SHong Zhang PetscBool isnull; 1351d4002b98SHong Zhang 1352d4002b98SHong Zhang PetscFunctionBegin; 13539566063dSJacob Faibussowitsch PetscCall(PetscViewerDrawGetDraw(viewer, 0, &draw)); 13549566063dSJacob Faibussowitsch PetscCall(PetscDrawIsNull(draw, &isnull)); 13553ba16761SJacob Faibussowitsch if (isnull) PetscFunctionReturn(PETSC_SUCCESS); 1356d4002b98SHong Zhang 13579371c9d4SSatish Balay xr = A->cmap->n; 13589371c9d4SSatish Balay yr = A->rmap->n; 13599371c9d4SSatish Balay h = yr / 10.0; 13609371c9d4SSatish Balay w = xr / 10.0; 13619371c9d4SSatish Balay xr += w; 13629371c9d4SSatish Balay yr += h; 13639371c9d4SSatish Balay xl = -w; 13649371c9d4SSatish Balay yl = -h; 13659566063dSJacob Faibussowitsch PetscCall(PetscDrawSetCoordinates(draw, xl, yl, xr, yr)); 13669566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", (PetscObject)viewer)); 13679566063dSJacob Faibussowitsch PetscCall(PetscDrawZoom(draw, MatView_SeqSELL_Draw_Zoom, A)); 13689566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", NULL)); 13699566063dSJacob Faibussowitsch PetscCall(PetscDrawSave(draw)); 13703ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1371d4002b98SHong Zhang } 1372d4002b98SHong Zhang 1373d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL(Mat A, PetscViewer viewer) 1374d71ae5a4SJacob Faibussowitsch { 1375d4002b98SHong Zhang PetscBool iascii, isbinary, isdraw; 1376d4002b98SHong Zhang 1377d4002b98SHong Zhang PetscFunctionBegin; 13789566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii)); 13799566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary)); 13809566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERDRAW, &isdraw)); 1381d4002b98SHong Zhang if (iascii) { 13829566063dSJacob Faibussowitsch PetscCall(MatView_SeqSELL_ASCII(A, viewer)); 1383d4002b98SHong Zhang } else if (isbinary) { 13849566063dSJacob Faibussowitsch /* PetscCall(MatView_SeqSELL_Binary(A,viewer)); */ 13851baa6e33SBarry Smith } else if (isdraw) PetscCall(MatView_SeqSELL_Draw(A, viewer)); 13863ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1387d4002b98SHong Zhang } 1388d4002b98SHong Zhang 1389d71ae5a4SJacob Faibussowitsch PetscErrorCode MatAssemblyEnd_SeqSELL(Mat A, MatAssemblyType mode) 1390d71ae5a4SJacob Faibussowitsch { 1391d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1392d4002b98SHong Zhang PetscInt i, shift, row_in_slice, row, nrow, *cp, lastcol, j, k; 1393d4002b98SHong Zhang MatScalar *vp; 1394d4002b98SHong Zhang 1395d4002b98SHong Zhang PetscFunctionBegin; 13963ba16761SJacob Faibussowitsch if (mode == MAT_FLUSH_ASSEMBLY) PetscFunctionReturn(PETSC_SUCCESS); 1397d4002b98SHong Zhang /* To do: compress out the unused elements */ 13989566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 13999566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix size: %" PetscInt_FMT " X %" PetscInt_FMT "; storage space: %" PetscInt_FMT " allocated %" PetscInt_FMT " used (%" PetscInt_FMT " nonzeros+%" PetscInt_FMT " paddedzeros)\n", A->rmap->n, A->cmap->n, a->maxallocmat, a->sliidx[a->totalslices], a->nz, a->sliidx[a->totalslices] - a->nz)); 14009566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Number of mallocs during MatSetValues() is %" PetscInt_FMT "\n", a->reallocs)); 14019566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Maximum nonzeros in any row is %" PetscInt_FMT "\n", a->rlenmax)); 1402*2d1451d4SHong Zhang a->nonzerorowcnt = 0; 1403d4002b98SHong Zhang /* Set unused slots for column indices to last valid column index. Set unused slots for values to zero. This allows for a use of unmasked intrinsics -> higher performance */ 1404d4002b98SHong Zhang for (i = 0; i < a->totalslices; ++i) { 1405d4002b98SHong Zhang shift = a->sliidx[i]; /* starting index of the slice */ 1406d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the column indices of the slice */ 1407d4002b98SHong Zhang vp = a->val + shift; /* pointer to the nonzero values of the slice */ 1408*2d1451d4SHong Zhang for (row_in_slice = 0; row_in_slice < SLICE_HEIGHT; ++row_in_slice) { /* loop over rows in the slice */ 1409*2d1451d4SHong Zhang row = SLICE_HEIGHT * i + row_in_slice; 1410d4002b98SHong Zhang nrow = a->rlen[row]; /* number of nonzeros in row */ 1411d4002b98SHong Zhang /* 1412d4002b98SHong Zhang Search for the nearest nonzero. Normally setting the index to zero may cause extra communication. 1413d4002b98SHong Zhang But if the entire slice are empty, it is fine to use 0 since the index will not be loaded. 1414d4002b98SHong Zhang */ 1415d4002b98SHong Zhang lastcol = 0; 1416d4002b98SHong Zhang if (nrow > 0) { /* nonempty row */ 1417*2d1451d4SHong Zhang a->nonzerorowcnt++; 1418*2d1451d4SHong Zhang lastcol = cp[SLICE_HEIGHT * (nrow - 1) + row_in_slice]; /* use the index from the last nonzero at current row */ 1419aaa8cc7dSPierre Jolivet } else if (!row_in_slice) { /* first row of the correct slice is empty */ 1420*2d1451d4SHong Zhang for (j = 1; j < SLICE_HEIGHT; j++) { 1421*2d1451d4SHong Zhang if (a->rlen[SLICE_HEIGHT * i + j]) { 1422d4002b98SHong Zhang lastcol = cp[j]; 1423d4002b98SHong Zhang break; 1424d4002b98SHong Zhang } 1425d4002b98SHong Zhang } 1426d4002b98SHong Zhang } else { 1427d4002b98SHong Zhang if (a->sliidx[i + 1] != shift) lastcol = cp[row_in_slice - 1]; /* use the index from the previous row */ 1428d4002b98SHong Zhang } 1429d4002b98SHong Zhang 1430*2d1451d4SHong Zhang for (k = nrow; k < (a->sliidx[i + 1] - shift) / SLICE_HEIGHT; ++k) { 1431*2d1451d4SHong Zhang cp[SLICE_HEIGHT * k + row_in_slice] = lastcol; 1432*2d1451d4SHong Zhang vp[SLICE_HEIGHT * k + row_in_slice] = (MatScalar)0; 1433d4002b98SHong Zhang } 1434d4002b98SHong Zhang } 1435d4002b98SHong Zhang } 1436d4002b98SHong Zhang 1437d4002b98SHong Zhang A->info.mallocs += a->reallocs; 1438d4002b98SHong Zhang a->reallocs = 0; 1439d4002b98SHong Zhang 14409566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 14413ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1442d4002b98SHong Zhang } 1443d4002b98SHong Zhang 1444d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetInfo_SeqSELL(Mat A, MatInfoType flag, MatInfo *info) 1445d71ae5a4SJacob Faibussowitsch { 1446d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1447d4002b98SHong Zhang 1448d4002b98SHong Zhang PetscFunctionBegin; 1449d4002b98SHong Zhang info->block_size = 1.0; 14503966268fSBarry Smith info->nz_allocated = a->maxallocmat; 14513966268fSBarry Smith info->nz_used = a->sliidx[a->totalslices]; /* include padding zeros */ 14523966268fSBarry Smith info->nz_unneeded = (a->maxallocmat - a->sliidx[a->totalslices]); 14533966268fSBarry Smith info->assemblies = A->num_ass; 14543966268fSBarry Smith info->mallocs = A->info.mallocs; 14554dfa11a4SJacob Faibussowitsch info->memory = 0; /* REVIEW ME */ 1456d4002b98SHong Zhang if (A->factortype) { 1457d4002b98SHong Zhang info->fill_ratio_given = A->info.fill_ratio_given; 1458d4002b98SHong Zhang info->fill_ratio_needed = A->info.fill_ratio_needed; 1459d4002b98SHong Zhang info->factor_mallocs = A->info.factor_mallocs; 1460d4002b98SHong Zhang } else { 1461d4002b98SHong Zhang info->fill_ratio_given = 0; 1462d4002b98SHong Zhang info->fill_ratio_needed = 0; 1463d4002b98SHong Zhang info->factor_mallocs = 0; 1464d4002b98SHong Zhang } 14653ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1466d4002b98SHong Zhang } 1467d4002b98SHong Zhang 1468d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is) 1469d71ae5a4SJacob Faibussowitsch { 1470d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1471d4002b98SHong Zhang PetscInt shift, i, k, l, low, high, t, ii, row, col, nrow; 1472d4002b98SHong Zhang PetscInt *cp, nonew = a->nonew, lastcol = -1; 1473d4002b98SHong Zhang MatScalar *vp, value; 1474*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 1475*2d1451d4SHong Zhang PetscBool inserted = PETSC_FALSE; 1476*2d1451d4SHong Zhang #endif 1477d4002b98SHong Zhang 1478d4002b98SHong Zhang PetscFunctionBegin; 1479d4002b98SHong Zhang for (k = 0; k < m; k++) { /* loop over added rows */ 1480d4002b98SHong Zhang row = im[k]; 1481d4002b98SHong Zhang if (row < 0) continue; 14826bdcaf15SBarry Smith PetscCheck(row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row too large: row %" PetscInt_FMT " max %" PetscInt_FMT, row, A->rmap->n - 1); 1483*2d1451d4SHong Zhang shift = a->sliidx[row / SLICE_HEIGHT] + row % SLICE_HEIGHT; /* starting index of the row */ 1484d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1485d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 1486d4002b98SHong Zhang nrow = a->rlen[row]; 1487d4002b98SHong Zhang low = 0; 1488d4002b98SHong Zhang high = nrow; 1489d4002b98SHong Zhang 1490d4002b98SHong Zhang for (l = 0; l < n; l++) { /* loop over added columns */ 1491d4002b98SHong Zhang col = in[l]; 1492d4002b98SHong Zhang if (col < 0) continue; 14936bdcaf15SBarry Smith PetscCheck(col < A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Col too large: row %" PetscInt_FMT " max %" PetscInt_FMT, col, A->cmap->n - 1); 1494d4002b98SHong Zhang if (a->roworiented) { 1495d4002b98SHong Zhang value = v[l + k * n]; 1496d4002b98SHong Zhang } else { 1497d4002b98SHong Zhang value = v[k + l * m]; 1498d4002b98SHong Zhang } 1499d4002b98SHong Zhang if ((value == 0.0 && a->ignorezeroentries) && (is == ADD_VALUES)) continue; 1500d4002b98SHong Zhang 1501ed73aabaSBarry Smith /* search in this row for the specified column, i indicates the column to be set */ 1502d4002b98SHong Zhang if (col <= lastcol) low = 0; 1503d4002b98SHong Zhang else high = nrow; 1504d4002b98SHong Zhang lastcol = col; 1505d4002b98SHong Zhang while (high - low > 5) { 1506d4002b98SHong Zhang t = (low + high) / 2; 1507*2d1451d4SHong Zhang if (*(cp + SLICE_HEIGHT * t) > col) high = t; 1508d4002b98SHong Zhang else low = t; 1509d4002b98SHong Zhang } 1510d4002b98SHong Zhang for (i = low; i < high; i++) { 1511*2d1451d4SHong Zhang if (*(cp + SLICE_HEIGHT * i) > col) break; 1512*2d1451d4SHong Zhang if (*(cp + SLICE_HEIGHT * i) == col) { 1513*2d1451d4SHong Zhang if (is == ADD_VALUES) *(vp + SLICE_HEIGHT * i) += value; 1514*2d1451d4SHong Zhang else *(vp + SLICE_HEIGHT * i) = value; 1515*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 1516*2d1451d4SHong Zhang inserted = PETSC_TRUE; 1517*2d1451d4SHong Zhang #endif 1518d4002b98SHong Zhang low = i + 1; 1519d4002b98SHong Zhang goto noinsert; 1520d4002b98SHong Zhang } 1521d4002b98SHong Zhang } 1522d4002b98SHong Zhang if (value == 0.0 && a->ignorezeroentries) goto noinsert; 1523d4002b98SHong Zhang if (nonew == 1) goto noinsert; 152408401ef6SPierre Jolivet PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new nonzero (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col); 1525d4002b98SHong Zhang /* If the current row length exceeds the slice width (e.g. nrow==slice_width), allocate a new space, otherwise do nothing */ 1526*2d1451d4SHong Zhang MatSeqXSELLReallocateSELL(A, A->rmap->n, 1, nrow, a->sliidx, row / SLICE_HEIGHT, row, col, a->colidx, a->val, cp, vp, nonew, MatScalar); 1527d4002b98SHong Zhang /* add the new nonzero to the high position, shift the remaining elements in current row to the right by one slot */ 1528d4002b98SHong Zhang for (ii = nrow - 1; ii >= i; ii--) { 1529*2d1451d4SHong Zhang *(cp + SLICE_HEIGHT * (ii + 1)) = *(cp + SLICE_HEIGHT * ii); 1530*2d1451d4SHong Zhang *(vp + SLICE_HEIGHT * (ii + 1)) = *(vp + SLICE_HEIGHT * ii); 1531d4002b98SHong Zhang } 1532d4002b98SHong Zhang a->rlen[row]++; 1533*2d1451d4SHong Zhang *(cp + SLICE_HEIGHT * i) = col; 1534*2d1451d4SHong Zhang *(vp + SLICE_HEIGHT * i) = value; 1535d4002b98SHong Zhang a->nz++; 1536d4002b98SHong Zhang A->nonzerostate++; 1537*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 1538*2d1451d4SHong Zhang inserted = PETSC_TRUE; 1539*2d1451d4SHong Zhang #endif 15409371c9d4SSatish Balay low = i + 1; 15419371c9d4SSatish Balay high++; 15429371c9d4SSatish Balay nrow++; 1543d4002b98SHong Zhang noinsert:; 1544d4002b98SHong Zhang } 1545d4002b98SHong Zhang a->rlen[row] = nrow; 1546d4002b98SHong Zhang } 1547*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 1548*2d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED && inserted) A->offloadmask = PETSC_OFFLOAD_CPU; 1549*2d1451d4SHong Zhang #endif 15503ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1551d4002b98SHong Zhang } 1552d4002b98SHong Zhang 1553d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCopy_SeqSELL(Mat A, Mat B, MatStructure str) 1554d71ae5a4SJacob Faibussowitsch { 1555d4002b98SHong Zhang PetscFunctionBegin; 1556d4002b98SHong Zhang /* If the two matrices have the same copy implementation, use fast copy. */ 1557d4002b98SHong Zhang if (str == SAME_NONZERO_PATTERN && (A->ops->copy == B->ops->copy)) { 1558d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1559d4002b98SHong Zhang Mat_SeqSELL *b = (Mat_SeqSELL *)B->data; 1560d4002b98SHong Zhang 156108401ef6SPierre Jolivet PetscCheck(a->sliidx[a->totalslices] == b->sliidx[b->totalslices], PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Number of nonzeros in two matrices are different"); 15629566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(b->val, a->val, a->sliidx[a->totalslices])); 1563d4002b98SHong Zhang } else { 15649566063dSJacob Faibussowitsch PetscCall(MatCopy_Basic(A, B, str)); 1565d4002b98SHong Zhang } 15663ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1567d4002b98SHong Zhang } 1568d4002b98SHong Zhang 1569d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetUp_SeqSELL(Mat A) 1570d71ae5a4SJacob Faibussowitsch { 1571d4002b98SHong Zhang PetscFunctionBegin; 15729566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(A, PETSC_DEFAULT, NULL)); 15733ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1574d4002b98SHong Zhang } 1575d4002b98SHong Zhang 1576d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat A, PetscScalar *array[]) 1577d71ae5a4SJacob Faibussowitsch { 1578d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1579d4002b98SHong Zhang 1580d4002b98SHong Zhang PetscFunctionBegin; 1581d4002b98SHong Zhang *array = a->val; 15823ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1583d4002b98SHong Zhang } 1584d4002b98SHong Zhang 1585d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat A, PetscScalar *array[]) 1586d71ae5a4SJacob Faibussowitsch { 1587d4002b98SHong Zhang PetscFunctionBegin; 15883ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1589d4002b98SHong Zhang } 1590d4002b98SHong Zhang 1591d71ae5a4SJacob Faibussowitsch PetscErrorCode MatRealPart_SeqSELL(Mat A) 1592d71ae5a4SJacob Faibussowitsch { 1593d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1594d4002b98SHong Zhang PetscInt i; 1595d4002b98SHong Zhang MatScalar *aval = a->val; 1596d4002b98SHong Zhang 1597d4002b98SHong Zhang PetscFunctionBegin; 1598d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) aval[i] = PetscRealPart(aval[i]); 1599*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 1600*2d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 1601*2d1451d4SHong Zhang #endif 16023ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1603d4002b98SHong Zhang } 1604d4002b98SHong Zhang 1605d71ae5a4SJacob Faibussowitsch PetscErrorCode MatImaginaryPart_SeqSELL(Mat A) 1606d71ae5a4SJacob Faibussowitsch { 1607d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1608d4002b98SHong Zhang PetscInt i; 1609d4002b98SHong Zhang MatScalar *aval = a->val; 1610d4002b98SHong Zhang 1611d4002b98SHong Zhang PetscFunctionBegin; 1612d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) aval[i] = PetscImaginaryPart(aval[i]); 16139566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 1614*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 1615*2d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 1616*2d1451d4SHong Zhang #endif 16173ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1618d4002b98SHong Zhang } 1619d4002b98SHong Zhang 1620d71ae5a4SJacob Faibussowitsch PetscErrorCode MatScale_SeqSELL(Mat inA, PetscScalar alpha) 1621d71ae5a4SJacob Faibussowitsch { 1622d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)inA->data; 1623d4002b98SHong Zhang MatScalar *aval = a->val; 1624d4002b98SHong Zhang PetscScalar oalpha = alpha; 1625d4002b98SHong Zhang PetscBLASInt one = 1, size; 1626d4002b98SHong Zhang 1627d4002b98SHong Zhang PetscFunctionBegin; 16289566063dSJacob Faibussowitsch PetscCall(PetscBLASIntCast(a->sliidx[a->totalslices], &size)); 1629792fecdfSBarry Smith PetscCallBLAS("BLASscal", BLASscal_(&size, &oalpha, aval, &one)); 16309566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 16319566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(inA)); 1632*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 1633*2d1451d4SHong Zhang if (inA->offloadmask != PETSC_OFFLOAD_UNALLOCATED) inA->offloadmask = PETSC_OFFLOAD_CPU; 1634*2d1451d4SHong Zhang #endif 16353ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1636d4002b98SHong Zhang } 1637d4002b98SHong Zhang 1638d71ae5a4SJacob Faibussowitsch PetscErrorCode MatShift_SeqSELL(Mat Y, PetscScalar a) 1639d71ae5a4SJacob Faibussowitsch { 1640d4002b98SHong Zhang Mat_SeqSELL *y = (Mat_SeqSELL *)Y->data; 1641d4002b98SHong Zhang 1642d4002b98SHong Zhang PetscFunctionBegin; 164348a46eb9SPierre Jolivet if (!Y->preallocated || !y->nz) PetscCall(MatSeqSELLSetPreallocation(Y, 1, NULL)); 16449566063dSJacob Faibussowitsch PetscCall(MatShift_Basic(Y, a)); 16453ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1646d4002b98SHong Zhang } 1647d4002b98SHong Zhang 1648d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSOR_SeqSELL(Mat A, Vec bb, PetscReal omega, MatSORType flag, PetscReal fshift, PetscInt its, PetscInt lits, Vec xx) 1649d71ae5a4SJacob Faibussowitsch { 1650d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1651d4002b98SHong Zhang PetscScalar *x, sum, *t; 1652f4259b30SLisandro Dalcin const MatScalar *idiag = NULL, *mdiag; 1653d4002b98SHong Zhang const PetscScalar *b, *xb; 1654d4002b98SHong Zhang PetscInt n, m = A->rmap->n, i, j, shift; 1655d4002b98SHong Zhang const PetscInt *diag; 1656d4002b98SHong Zhang 1657d4002b98SHong Zhang PetscFunctionBegin; 1658d4002b98SHong Zhang its = its * lits; 1659d4002b98SHong Zhang 1660d4002b98SHong Zhang if (fshift != a->fshift || omega != a->omega) a->idiagvalid = PETSC_FALSE; /* must recompute idiag[] */ 16619566063dSJacob Faibussowitsch if (!a->idiagvalid) PetscCall(MatInvertDiagonal_SeqSELL(A, omega, fshift)); 1662d4002b98SHong Zhang a->fshift = fshift; 1663d4002b98SHong Zhang a->omega = omega; 1664d4002b98SHong Zhang 1665d4002b98SHong Zhang diag = a->diag; 1666d4002b98SHong Zhang t = a->ssor_work; 1667d4002b98SHong Zhang idiag = a->idiag; 1668d4002b98SHong Zhang mdiag = a->mdiag; 1669d4002b98SHong Zhang 16709566063dSJacob Faibussowitsch PetscCall(VecGetArray(xx, &x)); 16719566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(bb, &b)); 1672d4002b98SHong Zhang /* We count flops by assuming the upper triangular and lower triangular parts have the same number of nonzeros */ 167308401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_UPPER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_UPPER is not implemented"); 167408401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_LOWER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_LOWER is not implemented"); 1675aed4548fSBarry Smith PetscCheck(!(flag & SOR_EISENSTAT), PETSC_COMM_SELF, PETSC_ERR_SUP, "No support yet for Eisenstat"); 1676d4002b98SHong Zhang 1677d4002b98SHong Zhang if (flag & SOR_ZERO_INITIAL_GUESS) { 1678d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1679d4002b98SHong Zhang for (i = 0; i < m; i++) { 1680*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; /* starting index of the row i */ 1681d4002b98SHong Zhang sum = b[i]; 1682*2d1451d4SHong Zhang n = (diag[i] - shift) / SLICE_HEIGHT; 1683*2d1451d4SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + SLICE_HEIGHT * j] * x[a->colidx[shift + SLICE_HEIGHT * j]]; 1684d4002b98SHong Zhang t[i] = sum; 1685d4002b98SHong Zhang x[i] = sum * idiag[i]; 1686d4002b98SHong Zhang } 1687d4002b98SHong Zhang xb = t; 16889566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1689d4002b98SHong Zhang } else xb = b; 1690d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1691d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 1692*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; /* starting index of the row i */ 1693d4002b98SHong Zhang sum = xb[i]; 1694*2d1451d4SHong Zhang n = a->rlen[i] - (diag[i] - shift) / SLICE_HEIGHT - 1; 1695*2d1451d4SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + SLICE_HEIGHT * j] * x[a->colidx[diag[i] + SLICE_HEIGHT * j]]; 1696d4002b98SHong Zhang if (xb == b) { 1697d4002b98SHong Zhang x[i] = sum * idiag[i]; 1698d4002b98SHong Zhang } else { 1699d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1700d4002b98SHong Zhang } 1701d4002b98SHong Zhang } 17029566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1703d4002b98SHong Zhang } 1704d4002b98SHong Zhang its--; 1705d4002b98SHong Zhang } 1706d4002b98SHong Zhang while (its--) { 1707d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1708d4002b98SHong Zhang for (i = 0; i < m; i++) { 1709d4002b98SHong Zhang /* lower */ 1710*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; /* starting index of the row i */ 1711d4002b98SHong Zhang sum = b[i]; 1712*2d1451d4SHong Zhang n = (diag[i] - shift) / SLICE_HEIGHT; 1713*2d1451d4SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + SLICE_HEIGHT * j] * x[a->colidx[shift + SLICE_HEIGHT * j]]; 1714d4002b98SHong Zhang t[i] = sum; /* save application of the lower-triangular part */ 1715d4002b98SHong Zhang /* upper */ 1716*2d1451d4SHong Zhang n = a->rlen[i] - (diag[i] - shift) / SLICE_HEIGHT - 1; 1717*2d1451d4SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + SLICE_HEIGHT * j] * x[a->colidx[diag[i] + SLICE_HEIGHT * j]]; 1718d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1719d4002b98SHong Zhang } 1720d4002b98SHong Zhang xb = t; 17219566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1722d4002b98SHong Zhang } else xb = b; 1723d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1724d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 1725*2d1451d4SHong Zhang shift = a->sliidx[i / SLICE_HEIGHT] + i % SLICE_HEIGHT; /* starting index of the row i */ 1726d4002b98SHong Zhang sum = xb[i]; 1727d4002b98SHong Zhang if (xb == b) { 1728d4002b98SHong Zhang /* whole matrix (no checkpointing available) */ 1729d4002b98SHong Zhang n = a->rlen[i]; 1730*2d1451d4SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + SLICE_HEIGHT * j] * x[a->colidx[shift + SLICE_HEIGHT * j]]; 1731d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + (sum + mdiag[i] * x[i]) * idiag[i]; 1732d4002b98SHong Zhang } else { /* lower-triangular part has been saved, so only apply upper-triangular */ 1733*2d1451d4SHong Zhang n = a->rlen[i] - (diag[i] - shift) / SLICE_HEIGHT - 1; 1734*2d1451d4SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + SLICE_HEIGHT * j] * x[a->colidx[diag[i] + SLICE_HEIGHT * j]]; 1735d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1736d4002b98SHong Zhang } 1737d4002b98SHong Zhang } 1738d4002b98SHong Zhang if (xb == b) { 17399566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1740d4002b98SHong Zhang } else { 17419566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1742d4002b98SHong Zhang } 1743d4002b98SHong Zhang } 1744d4002b98SHong Zhang } 17459566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(xx, &x)); 17469566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(bb, &b)); 17473ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1748d4002b98SHong Zhang } 1749d4002b98SHong Zhang 1750d4002b98SHong Zhang static struct _MatOps MatOps_Values = {MatSetValues_SeqSELL, 17516108893eSStefano Zampini MatGetRow_SeqSELL, 17526108893eSStefano Zampini MatRestoreRow_SeqSELL, 1753d4002b98SHong Zhang MatMult_SeqSELL, 1754d4002b98SHong Zhang /* 4*/ MatMultAdd_SeqSELL, 1755d4002b98SHong Zhang MatMultTranspose_SeqSELL, 1756d4002b98SHong Zhang MatMultTransposeAdd_SeqSELL, 1757f4259b30SLisandro Dalcin NULL, 1758f4259b30SLisandro Dalcin NULL, 1759f4259b30SLisandro Dalcin NULL, 1760f4259b30SLisandro Dalcin /* 10*/ NULL, 1761f4259b30SLisandro Dalcin NULL, 1762f4259b30SLisandro Dalcin NULL, 1763d4002b98SHong Zhang MatSOR_SeqSELL, 1764f4259b30SLisandro Dalcin NULL, 1765d4002b98SHong Zhang /* 15*/ MatGetInfo_SeqSELL, 1766d4002b98SHong Zhang MatEqual_SeqSELL, 1767d4002b98SHong Zhang MatGetDiagonal_SeqSELL, 1768d4002b98SHong Zhang MatDiagonalScale_SeqSELL, 1769f4259b30SLisandro Dalcin NULL, 1770f4259b30SLisandro Dalcin /* 20*/ NULL, 1771d4002b98SHong Zhang MatAssemblyEnd_SeqSELL, 1772d4002b98SHong Zhang MatSetOption_SeqSELL, 1773d4002b98SHong Zhang MatZeroEntries_SeqSELL, 1774f4259b30SLisandro Dalcin /* 24*/ NULL, 1775f4259b30SLisandro Dalcin NULL, 1776f4259b30SLisandro Dalcin NULL, 1777f4259b30SLisandro Dalcin NULL, 1778f4259b30SLisandro Dalcin NULL, 1779d4002b98SHong Zhang /* 29*/ MatSetUp_SeqSELL, 1780f4259b30SLisandro Dalcin NULL, 1781f4259b30SLisandro Dalcin NULL, 1782f4259b30SLisandro Dalcin NULL, 1783f4259b30SLisandro Dalcin NULL, 1784d4002b98SHong Zhang /* 34*/ MatDuplicate_SeqSELL, 1785f4259b30SLisandro Dalcin NULL, 1786f4259b30SLisandro Dalcin NULL, 1787f4259b30SLisandro Dalcin NULL, 1788f4259b30SLisandro Dalcin NULL, 1789f4259b30SLisandro Dalcin /* 39*/ NULL, 1790f4259b30SLisandro Dalcin NULL, 1791f4259b30SLisandro Dalcin NULL, 1792d4002b98SHong Zhang MatGetValues_SeqSELL, 1793d4002b98SHong Zhang MatCopy_SeqSELL, 1794f4259b30SLisandro Dalcin /* 44*/ NULL, 1795d4002b98SHong Zhang MatScale_SeqSELL, 1796d4002b98SHong Zhang MatShift_SeqSELL, 1797f4259b30SLisandro Dalcin NULL, 1798f4259b30SLisandro Dalcin NULL, 1799f4259b30SLisandro Dalcin /* 49*/ NULL, 1800f4259b30SLisandro Dalcin NULL, 1801f4259b30SLisandro Dalcin NULL, 1802f4259b30SLisandro Dalcin NULL, 1803f4259b30SLisandro Dalcin NULL, 1804d4002b98SHong Zhang /* 54*/ MatFDColoringCreate_SeqXAIJ, 1805f4259b30SLisandro Dalcin NULL, 1806f4259b30SLisandro Dalcin NULL, 1807f4259b30SLisandro Dalcin NULL, 1808f4259b30SLisandro Dalcin NULL, 1809f4259b30SLisandro Dalcin /* 59*/ NULL, 1810d4002b98SHong Zhang MatDestroy_SeqSELL, 1811d4002b98SHong Zhang MatView_SeqSELL, 1812f4259b30SLisandro Dalcin NULL, 1813f4259b30SLisandro Dalcin NULL, 1814f4259b30SLisandro Dalcin /* 64*/ NULL, 1815f4259b30SLisandro Dalcin NULL, 1816f4259b30SLisandro Dalcin NULL, 1817f4259b30SLisandro Dalcin NULL, 1818f4259b30SLisandro Dalcin NULL, 1819f4259b30SLisandro Dalcin /* 69*/ NULL, 1820f4259b30SLisandro Dalcin NULL, 1821f4259b30SLisandro Dalcin NULL, 1822f4259b30SLisandro Dalcin NULL, 1823f4259b30SLisandro Dalcin NULL, 1824f4259b30SLisandro Dalcin /* 74*/ NULL, 1825d4002b98SHong Zhang MatFDColoringApply_AIJ, /* reuse the FDColoring function for AIJ */ 1826f4259b30SLisandro Dalcin NULL, 1827f4259b30SLisandro Dalcin NULL, 1828f4259b30SLisandro Dalcin NULL, 1829f4259b30SLisandro Dalcin /* 79*/ NULL, 1830f4259b30SLisandro Dalcin NULL, 1831f4259b30SLisandro Dalcin NULL, 1832f4259b30SLisandro Dalcin NULL, 1833f4259b30SLisandro Dalcin NULL, 1834f4259b30SLisandro Dalcin /* 84*/ NULL, 1835f4259b30SLisandro Dalcin NULL, 1836f4259b30SLisandro Dalcin NULL, 1837f4259b30SLisandro Dalcin NULL, 1838f4259b30SLisandro Dalcin NULL, 1839f4259b30SLisandro Dalcin /* 89*/ NULL, 1840f4259b30SLisandro Dalcin NULL, 1841f4259b30SLisandro Dalcin NULL, 1842f4259b30SLisandro Dalcin NULL, 1843f4259b30SLisandro Dalcin NULL, 1844f4259b30SLisandro Dalcin /* 94*/ NULL, 1845f4259b30SLisandro Dalcin NULL, 1846f4259b30SLisandro Dalcin NULL, 1847f4259b30SLisandro Dalcin NULL, 1848f4259b30SLisandro Dalcin NULL, 1849f4259b30SLisandro Dalcin /* 99*/ NULL, 1850f4259b30SLisandro Dalcin NULL, 1851f4259b30SLisandro Dalcin NULL, 1852d4002b98SHong Zhang MatConjugate_SeqSELL, 1853f4259b30SLisandro Dalcin NULL, 1854f4259b30SLisandro Dalcin /*104*/ NULL, 1855f4259b30SLisandro Dalcin NULL, 1856f4259b30SLisandro Dalcin NULL, 1857f4259b30SLisandro Dalcin NULL, 1858f4259b30SLisandro Dalcin NULL, 1859f4259b30SLisandro Dalcin /*109*/ NULL, 1860f4259b30SLisandro Dalcin NULL, 1861f4259b30SLisandro Dalcin NULL, 1862f4259b30SLisandro Dalcin NULL, 1863d4002b98SHong Zhang MatMissingDiagonal_SeqSELL, 1864f4259b30SLisandro Dalcin /*114*/ NULL, 1865f4259b30SLisandro Dalcin NULL, 1866f4259b30SLisandro Dalcin NULL, 1867f4259b30SLisandro Dalcin NULL, 1868f4259b30SLisandro Dalcin NULL, 1869f4259b30SLisandro Dalcin /*119*/ NULL, 1870f4259b30SLisandro Dalcin NULL, 1871f4259b30SLisandro Dalcin NULL, 1872f4259b30SLisandro Dalcin NULL, 1873f4259b30SLisandro Dalcin NULL, 1874f4259b30SLisandro Dalcin /*124*/ NULL, 1875f4259b30SLisandro Dalcin NULL, 1876f4259b30SLisandro Dalcin NULL, 1877f4259b30SLisandro Dalcin NULL, 1878f4259b30SLisandro Dalcin NULL, 1879f4259b30SLisandro Dalcin /*129*/ NULL, 1880f4259b30SLisandro Dalcin NULL, 1881f4259b30SLisandro Dalcin NULL, 1882f4259b30SLisandro Dalcin NULL, 1883f4259b30SLisandro Dalcin NULL, 1884f4259b30SLisandro Dalcin /*134*/ NULL, 1885f4259b30SLisandro Dalcin NULL, 1886f4259b30SLisandro Dalcin NULL, 1887f4259b30SLisandro Dalcin NULL, 1888f4259b30SLisandro Dalcin NULL, 1889f4259b30SLisandro Dalcin /*139*/ NULL, 1890f4259b30SLisandro Dalcin NULL, 1891f4259b30SLisandro Dalcin NULL, 1892d4002b98SHong Zhang MatFDColoringSetUp_SeqXAIJ, 1893f4259b30SLisandro Dalcin NULL, 1894d70f29a3SPierre Jolivet /*144*/ NULL, 1895d70f29a3SPierre Jolivet NULL, 1896d70f29a3SPierre Jolivet NULL, 189799a7f59eSMark Adams NULL, 189899a7f59eSMark Adams NULL, 18997fb60732SBarry Smith NULL, 1900dec0b466SHong Zhang /*150*/ NULL, 1901dec0b466SHong Zhang NULL}; 1902d4002b98SHong Zhang 1903d71ae5a4SJacob Faibussowitsch PetscErrorCode MatStoreValues_SeqSELL(Mat mat) 1904d71ae5a4SJacob Faibussowitsch { 1905d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1906d4002b98SHong Zhang 1907d4002b98SHong Zhang PetscFunctionBegin; 190828b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 1909d4002b98SHong Zhang 1910d4002b98SHong Zhang /* allocate space for values if not already there */ 1911aa624791SPierre Jolivet if (!a->saved_values) PetscCall(PetscMalloc1(a->sliidx[a->totalslices] + 1, &a->saved_values)); 1912d4002b98SHong Zhang 1913d4002b98SHong Zhang /* copy values over */ 19149566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->saved_values, a->val, a->sliidx[a->totalslices])); 19153ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1916d4002b98SHong Zhang } 1917d4002b98SHong Zhang 1918d71ae5a4SJacob Faibussowitsch PetscErrorCode MatRetrieveValues_SeqSELL(Mat mat) 1919d71ae5a4SJacob Faibussowitsch { 1920d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1921d4002b98SHong Zhang 1922d4002b98SHong Zhang PetscFunctionBegin; 192328b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 192428b400f6SJacob Faibussowitsch PetscCheck(a->saved_values, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatStoreValues(A);first"); 19259566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->val, a->saved_values, a->sliidx[a->totalslices])); 19263ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1927d4002b98SHong Zhang } 1928d4002b98SHong Zhang 1929d4002b98SHong Zhang /*@C 193011a5261eSBarry Smith MatSeqSELLRestoreArray - returns access to the array where the data for a `MATSEQSELL` matrix is stored obtained by `MatSeqSELLGetArray()` 1931d4002b98SHong Zhang 1932d4002b98SHong Zhang Not Collective 1933d4002b98SHong Zhang 1934d4002b98SHong Zhang Input Parameters: 193520f4b53cSBarry Smith + mat - a `MATSEQSELL` matrix 193620f4b53cSBarry Smith - array - pointer to the data 1937d4002b98SHong Zhang 1938d4002b98SHong Zhang Level: intermediate 1939d4002b98SHong Zhang 194067be906fSBarry Smith .seealso: `Mat`, `MATSEQSELL`, `MatSeqSELLGetArray()`, `MatSeqSELLRestoreArrayF90()` 1941d4002b98SHong Zhang @*/ 1942d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLRestoreArray(Mat A, PetscScalar **array) 1943d71ae5a4SJacob Faibussowitsch { 1944d4002b98SHong Zhang PetscFunctionBegin; 1945cac4c232SBarry Smith PetscUseMethod(A, "MatSeqSELLRestoreArray_C", (Mat, PetscScalar **), (A, array)); 19463ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1947d4002b98SHong Zhang } 1948d4002b98SHong Zhang 1949*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 1950*2d1451d4SHong Zhang PETSC_EXTERN PetscErrorCode MatConvert_SeqSELL_SeqSELLCUDA(Mat); 1951*2d1451d4SHong Zhang #endif 1952*2d1451d4SHong Zhang 1953d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat B) 1954d71ae5a4SJacob Faibussowitsch { 1955d4002b98SHong Zhang Mat_SeqSELL *b; 1956d4002b98SHong Zhang PetscMPIInt size; 1957d4002b98SHong Zhang 1958d4002b98SHong Zhang PetscFunctionBegin; 19599566063dSJacob Faibussowitsch PetscCall(PetscCitationsRegister(citation, &cited)); 19609566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)B), &size)); 196108401ef6SPierre Jolivet PetscCheck(size <= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Comm must be of size 1"); 1962d4002b98SHong Zhang 19634dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&b)); 1964d4002b98SHong Zhang 1965d4002b98SHong Zhang B->data = (void *)b; 1966d4002b98SHong Zhang 19679566063dSJacob Faibussowitsch PetscCall(PetscMemcpy(B->ops, &MatOps_Values, sizeof(struct _MatOps))); 1968d4002b98SHong Zhang 1969f4259b30SLisandro Dalcin b->row = NULL; 1970f4259b30SLisandro Dalcin b->col = NULL; 1971f4259b30SLisandro Dalcin b->icol = NULL; 1972d4002b98SHong Zhang b->reallocs = 0; 1973d4002b98SHong Zhang b->ignorezeroentries = PETSC_FALSE; 1974d4002b98SHong Zhang b->roworiented = PETSC_TRUE; 1975d4002b98SHong Zhang b->nonew = 0; 1976f4259b30SLisandro Dalcin b->diag = NULL; 1977f4259b30SLisandro Dalcin b->solve_work = NULL; 1978f4259b30SLisandro Dalcin B->spptr = NULL; 1979f4259b30SLisandro Dalcin b->saved_values = NULL; 1980f4259b30SLisandro Dalcin b->idiag = NULL; 1981f4259b30SLisandro Dalcin b->mdiag = NULL; 1982f4259b30SLisandro Dalcin b->ssor_work = NULL; 1983d4002b98SHong Zhang b->omega = 1.0; 1984d4002b98SHong Zhang b->fshift = 0.0; 1985d4002b98SHong Zhang b->idiagvalid = PETSC_FALSE; 1986d4002b98SHong Zhang b->keepnonzeropattern = PETSC_FALSE; 1987d4002b98SHong Zhang 19889566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQSELL)); 19899566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetArray_C", MatSeqSELLGetArray_SeqSELL)); 19909566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLRestoreArray_C", MatSeqSELLRestoreArray_SeqSELL)); 19919566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatStoreValues_C", MatStoreValues_SeqSELL)); 19929566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatRetrieveValues_C", MatRetrieveValues_SeqSELL)); 19939566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetPreallocation_C", MatSeqSELLSetPreallocation_SeqSELL)); 1994*2d1451d4SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_SeqSELL_SeqAIJ_C", MatConvert_SeqSELL_SeqAIJ)); 1995*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 1996*2d1451d4SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_SeqSELL_SeqSELLCUDA_C", MatConvert_SeqSELL_SeqSELLCUDA)); 1997*2d1451d4SHong Zhang #endif 19983ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1999d4002b98SHong Zhang } 2000d4002b98SHong Zhang 2001d4002b98SHong Zhang /* 2002d4002b98SHong Zhang Given a matrix generated with MatGetFactor() duplicates all the information in A into B 2003d4002b98SHong Zhang */ 2004d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDuplicateNoCreate_SeqSELL(Mat C, Mat A, MatDuplicateOption cpvalues, PetscBool mallocmatspace) 2005d71ae5a4SJacob Faibussowitsch { 2006ed73aabaSBarry Smith Mat_SeqSELL *c = (Mat_SeqSELL *)C->data, *a = (Mat_SeqSELL *)A->data; 2007d4002b98SHong Zhang PetscInt i, m = A->rmap->n; 2008d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2009d4002b98SHong Zhang 2010d4002b98SHong Zhang PetscFunctionBegin; 2011d4002b98SHong Zhang C->factortype = A->factortype; 2012f4259b30SLisandro Dalcin c->row = NULL; 2013f4259b30SLisandro Dalcin c->col = NULL; 2014f4259b30SLisandro Dalcin c->icol = NULL; 2015d4002b98SHong Zhang c->reallocs = 0; 2016d4002b98SHong Zhang C->assembled = PETSC_TRUE; 2017d4002b98SHong Zhang 20189566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->rmap, &C->rmap)); 20199566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->cmap, &C->cmap)); 2020d4002b98SHong Zhang 2021*2d1451d4SHong Zhang PetscCall(PetscMalloc1(SLICE_HEIGHT * totalslices, &c->rlen)); 20229566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &c->sliidx)); 2023d4002b98SHong Zhang 2024d4002b98SHong Zhang for (i = 0; i < m; i++) c->rlen[i] = a->rlen[i]; 2025d4002b98SHong Zhang for (i = 0; i < totalslices + 1; i++) c->sliidx[i] = a->sliidx[i]; 2026d4002b98SHong Zhang 2027d4002b98SHong Zhang /* allocate the matrix space */ 2028d4002b98SHong Zhang if (mallocmatspace) { 20299566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(a->maxallocmat, &c->val, a->maxallocmat, &c->colidx)); 2030d4002b98SHong Zhang 2031d4002b98SHong Zhang c->singlemalloc = PETSC_TRUE; 2032d4002b98SHong Zhang 2033d4002b98SHong Zhang if (m > 0) { 20349566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->colidx, a->colidx, a->maxallocmat)); 2035d4002b98SHong Zhang if (cpvalues == MAT_COPY_VALUES) { 20369566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->val, a->val, a->maxallocmat)); 2037d4002b98SHong Zhang } else { 20389566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(c->val, a->maxallocmat)); 2039d4002b98SHong Zhang } 2040d4002b98SHong Zhang } 2041d4002b98SHong Zhang } 2042d4002b98SHong Zhang 2043d4002b98SHong Zhang c->ignorezeroentries = a->ignorezeroentries; 2044d4002b98SHong Zhang c->roworiented = a->roworiented; 2045d4002b98SHong Zhang c->nonew = a->nonew; 2046d4002b98SHong Zhang if (a->diag) { 20479566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &c->diag)); 2048ad540459SPierre Jolivet for (i = 0; i < m; i++) c->diag[i] = a->diag[i]; 2049f4259b30SLisandro Dalcin } else c->diag = NULL; 2050d4002b98SHong Zhang 2051f4259b30SLisandro Dalcin c->solve_work = NULL; 2052f4259b30SLisandro Dalcin c->saved_values = NULL; 2053f4259b30SLisandro Dalcin c->idiag = NULL; 2054f4259b30SLisandro Dalcin c->ssor_work = NULL; 2055d4002b98SHong Zhang c->keepnonzeropattern = a->keepnonzeropattern; 2056d4002b98SHong Zhang c->free_val = PETSC_TRUE; 2057d4002b98SHong Zhang c->free_colidx = PETSC_TRUE; 2058d4002b98SHong Zhang 2059d4002b98SHong Zhang c->maxallocmat = a->maxallocmat; 2060d4002b98SHong Zhang c->maxallocrow = a->maxallocrow; 2061d4002b98SHong Zhang c->rlenmax = a->rlenmax; 2062d4002b98SHong Zhang c->nz = a->nz; 2063d4002b98SHong Zhang C->preallocated = PETSC_TRUE; 2064d4002b98SHong Zhang 2065d4002b98SHong Zhang c->nonzerorowcnt = a->nonzerorowcnt; 2066d4002b98SHong Zhang C->nonzerostate = A->nonzerostate; 2067d4002b98SHong Zhang 20689566063dSJacob Faibussowitsch PetscCall(PetscFunctionListDuplicate(((PetscObject)A)->qlist, &((PetscObject)C)->qlist)); 20693ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2070d4002b98SHong Zhang } 2071d4002b98SHong Zhang 2072d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDuplicate_SeqSELL(Mat A, MatDuplicateOption cpvalues, Mat *B) 2073d71ae5a4SJacob Faibussowitsch { 2074d4002b98SHong Zhang PetscFunctionBegin; 20759566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), B)); 20769566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*B, A->rmap->n, A->cmap->n, A->rmap->n, A->cmap->n)); 207748a46eb9SPierre Jolivet if (!(A->rmap->n % A->rmap->bs) && !(A->cmap->n % A->cmap->bs)) PetscCall(MatSetBlockSizesFromMats(*B, A, A)); 20789566063dSJacob Faibussowitsch PetscCall(MatSetType(*B, ((PetscObject)A)->type_name)); 20799566063dSJacob Faibussowitsch PetscCall(MatDuplicateNoCreate_SeqSELL(*B, A, cpvalues, PETSC_TRUE)); 20803ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2081d4002b98SHong Zhang } 2082d4002b98SHong Zhang 2083ed73aabaSBarry Smith /*MC 2084ed73aabaSBarry Smith MATSEQSELL - MATSEQSELL = "seqsell" - A matrix type to be used for sequential sparse matrices, 2085ed73aabaSBarry Smith based on the sliced Ellpack format 2086ed73aabaSBarry Smith 208720f4b53cSBarry Smith Options Database Key: 208811a5261eSBarry Smith . -mat_type seqsell - sets the matrix type to "`MATSEQELL` during a call to `MatSetFromOptions()` 2089ed73aabaSBarry Smith 2090ed73aabaSBarry Smith Level: beginner 2091ed73aabaSBarry Smith 209267be906fSBarry Smith .seealso: `Mat`, `MatCreateSeqSell()`, `MATSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATAIJ`, `MATMPIAIJ` 2093ed73aabaSBarry Smith M*/ 2094ed73aabaSBarry Smith 2095ed73aabaSBarry Smith /*MC 2096ed73aabaSBarry Smith MATSELL - MATSELL = "sell" - A matrix type to be used for sparse matrices. 2097ed73aabaSBarry Smith 209811a5261eSBarry Smith This matrix type is identical to `MATSEQSELL` when constructed with a single process communicator, 209911a5261eSBarry Smith and `MATMPISELL` otherwise. As a result, for single process communicators, 210011a5261eSBarry Smith `MatSeqSELLSetPreallocation()` is supported, and similarly `MatMPISELLSetPreallocation()` is supported 2101ed73aabaSBarry Smith for communicators controlling multiple processes. It is recommended that you call both of 2102ed73aabaSBarry Smith the above preallocation routines for simplicity. 2103ed73aabaSBarry Smith 210420f4b53cSBarry Smith Options Database Key: 2105ed73aabaSBarry Smith . -mat_type sell - sets the matrix type to "sell" during a call to MatSetFromOptions() 2106ed73aabaSBarry Smith 2107ed73aabaSBarry Smith Level: beginner 2108ed73aabaSBarry Smith 2109ed73aabaSBarry Smith Notes: 2110ed73aabaSBarry Smith This format is only supported for real scalars, double precision, and 32 bit indices (the defaults). 2111ed73aabaSBarry Smith 2112ed73aabaSBarry Smith It can provide better performance on Intel and AMD processes with AVX2 or AVX512 support for matrices that have a similar number of 2113ed73aabaSBarry Smith non-zeros in contiguous groups of rows. However if the computation is memory bandwidth limited it may not provide much improvement. 2114ed73aabaSBarry Smith 2115ed73aabaSBarry Smith Developer Notes: 2116ed73aabaSBarry Smith On Intel (and AMD) systems some of the matrix operations use SIMD (AVX) instructions to achieve higher performance. 2117ed73aabaSBarry Smith 2118ed73aabaSBarry Smith The sparse matrix format is as follows. For simplicity we assume a slice size of 2, it is actually 8 2119ed73aabaSBarry Smith .vb 2120ed73aabaSBarry Smith (2 0 3 4) 2121ed73aabaSBarry Smith Consider the matrix A = (5 0 6 0) 2122ed73aabaSBarry Smith (0 0 7 8) 2123ed73aabaSBarry Smith (0 0 9 9) 2124ed73aabaSBarry Smith 2125ed73aabaSBarry Smith symbolically the Ellpack format can be written as 2126ed73aabaSBarry Smith 2127ed73aabaSBarry Smith (2 3 4 |) (0 2 3 |) 2128ed73aabaSBarry Smith v = (5 6 0 |) colidx = (0 2 2 |) 2129ed73aabaSBarry Smith -------- --------- 2130ed73aabaSBarry Smith (7 8 |) (2 3 |) 2131ed73aabaSBarry Smith (9 9 |) (2 3 |) 2132ed73aabaSBarry Smith 2133ed73aabaSBarry Smith The data for 2 contiguous rows of the matrix are stored together (in column-major format) (with any left-over rows handled as a special case). 2134ed73aabaSBarry Smith Any of the rows in a slice fewer columns than the rest of the slice (row 1 above) are padded with a previous valid column in their "extra" colidx[] locations and 2135ed73aabaSBarry Smith zeros in their "extra" v locations so that the matrix operations do not need special code to handle different length rows within the 2 rows in a slice. 2136ed73aabaSBarry Smith 2137ed73aabaSBarry Smith The one-dimensional representation of v used in the code is (2 5 3 6 4 0 7 9 8 9) and for colidx is (0 0 2 2 3 2 2 2 3 3) 2138ed73aabaSBarry Smith 2139ed73aabaSBarry Smith .ve 2140ed73aabaSBarry Smith 2141ed73aabaSBarry Smith See MatMult_SeqSELL() for how this format is used with the SIMD operations to achieve high performance. 2142ed73aabaSBarry Smith 2143ed73aabaSBarry Smith References: 2144606c0280SSatish Balay . * - Hong Zhang, Richard T. Mills, Karl Rupp, and Barry F. Smith, Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512}, 2145ed73aabaSBarry Smith Proceedings of the 47th International Conference on Parallel Processing, 2018. 2146ed73aabaSBarry Smith 214767be906fSBarry Smith .seealso: `Mat`, `MatCreateSeqSELL()`, `MatCreateSeqAIJ()`, `MatCreateSell()`, `MATSEQSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATMPIAIJ`, `MATAIJ` 2148ed73aabaSBarry Smith M*/ 2149ed73aabaSBarry Smith 2150d4002b98SHong Zhang /*@C 215111a5261eSBarry Smith MatCreateSeqSELL - Creates a sparse matrix in `MATSEQSELL` format. 2152d4002b98SHong Zhang 21532ef1f0ffSBarry Smith Collective 2154d4002b98SHong Zhang 2155d4002b98SHong Zhang Input Parameters: 215611a5261eSBarry Smith + comm - MPI communicator, set to `PETSC_COMM_SELF` 2157d4002b98SHong Zhang . m - number of rows 2158d4002b98SHong Zhang . n - number of columns 215920f4b53cSBarry Smith . rlenmax - maximum number of nonzeros in a row, ignored if `rlen` is provided 216020f4b53cSBarry Smith - rlen - array containing the number of nonzeros in the various rows (possibly different for each row) or NULL 2161d4002b98SHong Zhang 2162d4002b98SHong Zhang Output Parameter: 2163d4002b98SHong Zhang . A - the matrix 2164d4002b98SHong Zhang 216520f4b53cSBarry Smith Level: intermediate 216620f4b53cSBarry Smith 216720f4b53cSBarry Smith Notes: 216811a5261eSBarry Smith It is recommended that one use the `MatCreate()`, `MatSetType()` and/or `MatSetFromOptions()`, 2169f6f02116SRichard Tran Mills MatXXXXSetPreallocation() paradigm instead of this routine directly. 217011a5261eSBarry Smith [MatXXXXSetPreallocation() is, for example, `MatSeqSELLSetPreallocation()`] 2171d4002b98SHong Zhang 217220f4b53cSBarry Smith Specify the preallocated storage with either `rlenmax` or `rlen` (not both). 217320f4b53cSBarry Smith Set `rlenmax` = `PETSC_DEFAULT` and `rlen` = `NULL` for PETSc to control dynamic memory 217420f4b53cSBarry Smith allocation. 2175d4002b98SHong Zhang 217667be906fSBarry Smith .seealso: `Mat`, `MATSEQSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatSeqSELLSetPreallocation()`, `MATSELL`, `MATSEQSELL`, `MATMPISELL` 2177d4002b98SHong Zhang @*/ 217820f4b53cSBarry Smith PetscErrorCode MatCreateSeqSELL(MPI_Comm comm, PetscInt m, PetscInt n, PetscInt rlenmax, const PetscInt rlen[], Mat *A) 2179d71ae5a4SJacob Faibussowitsch { 2180d4002b98SHong Zhang PetscFunctionBegin; 21819566063dSJacob Faibussowitsch PetscCall(MatCreate(comm, A)); 21829566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*A, m, n, m, n)); 21839566063dSJacob Faibussowitsch PetscCall(MatSetType(*A, MATSEQSELL)); 218420f4b53cSBarry Smith PetscCall(MatSeqSELLSetPreallocation_SeqSELL(*A, rlenmax, rlen)); 21853ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2186d4002b98SHong Zhang } 2187d4002b98SHong Zhang 2188d71ae5a4SJacob Faibussowitsch PetscErrorCode MatEqual_SeqSELL(Mat A, Mat B, PetscBool *flg) 2189d71ae5a4SJacob Faibussowitsch { 2190d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data, *b = (Mat_SeqSELL *)B->data; 2191d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2192d4002b98SHong Zhang 2193d4002b98SHong Zhang PetscFunctionBegin; 2194d4002b98SHong Zhang /* If the matrix dimensions are not equal,or no of nonzeros */ 2195d4002b98SHong Zhang if ((A->rmap->n != B->rmap->n) || (A->cmap->n != B->cmap->n) || (a->nz != b->nz) || (a->rlenmax != b->rlenmax)) { 2196d4002b98SHong Zhang *flg = PETSC_FALSE; 21973ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2198d4002b98SHong Zhang } 2199d4002b98SHong Zhang /* if the a->colidx are the same */ 22009566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->colidx, b->colidx, a->sliidx[totalslices], flg)); 22013ba16761SJacob Faibussowitsch if (!*flg) PetscFunctionReturn(PETSC_SUCCESS); 2202d4002b98SHong Zhang /* if a->val are the same */ 22039566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->val, b->val, a->sliidx[totalslices], flg)); 22043ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2205d4002b98SHong Zhang } 2206d4002b98SHong Zhang 2207d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat A) 2208d71ae5a4SJacob Faibussowitsch { 2209d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2210d4002b98SHong Zhang 2211d4002b98SHong Zhang PetscFunctionBegin; 2212d4002b98SHong Zhang a->idiagvalid = PETSC_FALSE; 22133ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2214d4002b98SHong Zhang } 2215d4002b98SHong Zhang 2216d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConjugate_SeqSELL(Mat A) 2217d71ae5a4SJacob Faibussowitsch { 2218d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 2219d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2220d4002b98SHong Zhang PetscInt i; 2221d4002b98SHong Zhang PetscScalar *val = a->val; 2222d4002b98SHong Zhang 2223d4002b98SHong Zhang PetscFunctionBegin; 2224*2d1451d4SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { val[i] = PetscConj(val[i]); } 2225*2d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 2226*2d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 2227*2d1451d4SHong Zhang #endif 2228d4002b98SHong Zhang #else 2229d4002b98SHong Zhang PetscFunctionBegin; 2230d4002b98SHong Zhang #endif 22313ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2232d4002b98SHong Zhang } 2233