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 47d4002b98SHong Zhang the user should preallocate the matrix storage by setting the parameter nz 48d4002b98SHong Zhang (or the array nnz). By setting these parameters accurately, performance 49d4002b98SHong Zhang during matrix assembly can be increased significantly. 50d4002b98SHong Zhang 51d083f849SBarry Smith Collective 52d4002b98SHong Zhang 53d4002b98SHong Zhang Input Parameters: 5411a5261eSBarry Smith + B - The `MATSEQSELL` matrix 55*67be906fSBarry Smith . rlenmax - number of nonzeros per row (same for all rows) 56*67be906fSBarry Smith - rlen - array containing the number of nonzeros in the various rows 57*67be906fSBarry Smith (possibly different for each row) or `NULL` 58*67be906fSBarry Smith 59*67be906fSBarry Smith Level: intermediate 60d4002b98SHong Zhang 61d4002b98SHong Zhang Notes: 62*67be906fSBarry Smith If `rlen` is given then `rlenmax` is ignored. 63d4002b98SHong Zhang 64*67be906fSBarry Smith Specify the preallocated storage with either `rlenmax` or `rlen` (not both). 65*67be906fSBarry Smith Set `rlenmax` = `PETSC_DEFAULT` and `rlen` = `NULL` for PETSc to control dynamic memory 66d4002b98SHong Zhang allocation. For large problems you MUST preallocate memory or you 67d4002b98SHong Zhang will get TERRIBLE performance, see the users' manual chapter on matrices. 68d4002b98SHong Zhang 6911a5261eSBarry Smith You can call `MatGetInfo()` to get information on how effective the preallocation was; 70d4002b98SHong Zhang for example the fields mallocs,nz_allocated,nz_used,nz_unneeded; 71*67be906fSBarry Smith You can also run with the option `-info` and look for messages with the string 72d4002b98SHong Zhang malloc in them to see if additional memory allocation was needed. 73d4002b98SHong Zhang 74*67be906fSBarry Smith Developers Note: 75*67be906fSBarry Smith Use `rlenmax` of `MAT_SKIP_ALLOCATION` to not allocate any space for the matrix 76d4002b98SHong Zhang entries or columns indices. 77d4002b98SHong Zhang 78c7ee91abSRichard Tran Mills The maximum number of nonzeos in any row should be as accurate as possible. 79c7ee91abSRichard Tran Mills If it is underestimated, you will get bad performance due to reallocation 80*67be906fSBarry Smith (`MatSeqXSELLReallocateSELL()`). 81d4002b98SHong Zhang 82*67be906fSBarry Smith .seealso: `Mat`, `MATSEQSELL`, `MATSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatGetInfo()` 83d4002b98SHong Zhang @*/ 84d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLSetPreallocation(Mat B, PetscInt rlenmax, const PetscInt rlen[]) 85d71ae5a4SJacob Faibussowitsch { 86d4002b98SHong Zhang PetscFunctionBegin; 87d4002b98SHong Zhang PetscValidHeaderSpecific(B, MAT_CLASSID, 1); 88d4002b98SHong Zhang PetscValidType(B, 1); 89cac4c232SBarry Smith PetscTryMethod(B, "MatSeqSELLSetPreallocation_C", (Mat, PetscInt, const PetscInt[]), (B, rlenmax, rlen)); 90d4002b98SHong Zhang PetscFunctionReturn(0); 91d4002b98SHong Zhang } 92d4002b98SHong Zhang 93d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat B, PetscInt maxallocrow, const PetscInt rlen[]) 94d71ae5a4SJacob Faibussowitsch { 95d4002b98SHong Zhang Mat_SeqSELL *b; 96d4002b98SHong Zhang PetscInt i, j, totalslices; 97d4002b98SHong Zhang PetscBool skipallocation = PETSC_FALSE, realalloc = PETSC_FALSE; 98d4002b98SHong Zhang 99d4002b98SHong Zhang PetscFunctionBegin; 100d4002b98SHong Zhang if (maxallocrow >= 0 || rlen) realalloc = PETSC_TRUE; 101d4002b98SHong Zhang if (maxallocrow == MAT_SKIP_ALLOCATION) { 102d4002b98SHong Zhang skipallocation = PETSC_TRUE; 103d4002b98SHong Zhang maxallocrow = 0; 104d4002b98SHong Zhang } 105d4002b98SHong Zhang 1069566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->rmap)); 1079566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->cmap)); 108d4002b98SHong Zhang 109d4002b98SHong Zhang /* FIXME: if one preallocates more space than needed, the matrix does not shrink automatically, but for best performance it should */ 110d4002b98SHong Zhang if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 5; 11108401ef6SPierre Jolivet PetscCheck(maxallocrow >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "maxallocrow cannot be less than 0: value %" PetscInt_FMT, maxallocrow); 112d4002b98SHong Zhang if (rlen) { 113d4002b98SHong Zhang for (i = 0; i < B->rmap->n; i++) { 11408401ef6SPierre 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]); 11508401ef6SPierre 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); 116d4002b98SHong Zhang } 117d4002b98SHong Zhang } 118d4002b98SHong Zhang 119d4002b98SHong Zhang B->preallocated = PETSC_TRUE; 120d4002b98SHong Zhang 121d4002b98SHong Zhang b = (Mat_SeqSELL *)B->data; 122d4002b98SHong Zhang 123faa75363SBarry Smith totalslices = PetscCeilInt(B->rmap->n, 8); 124d4002b98SHong Zhang b->totalslices = totalslices; 125d4002b98SHong Zhang if (!skipallocation) { 1269566063dSJacob Faibussowitsch if (B->rmap->n & 0x07) PetscCall(PetscInfo(B, "Padding rows to the SEQSELL matrix because the number of rows is not the multiple of 8 (value %" PetscInt_FMT ")\n", B->rmap->n)); 127d4002b98SHong Zhang 128d4002b98SHong Zhang if (!b->sliidx) { /* sliidx gives the starting index of each slice, the last element is the total space allocated */ 1299566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &b->sliidx)); 130d4002b98SHong Zhang } 131d4002b98SHong Zhang if (!rlen) { /* if rlen is not provided, allocate same space for all the slices */ 132d4002b98SHong Zhang if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 10; 133d4002b98SHong Zhang else if (maxallocrow < 0) maxallocrow = 1; 134d4002b98SHong Zhang for (i = 0; i <= totalslices; i++) b->sliidx[i] = i * 8 * maxallocrow; 135d4002b98SHong Zhang } else { 136d4002b98SHong Zhang maxallocrow = 0; 137d4002b98SHong Zhang b->sliidx[0] = 0; 138d4002b98SHong Zhang for (i = 1; i < totalslices; i++) { 139d4002b98SHong Zhang b->sliidx[i] = 0; 140ad540459SPierre Jolivet for (j = 0; j < 8; j++) b->sliidx[i] = PetscMax(b->sliidx[i], rlen[8 * (i - 1) + j]); 141d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[i], maxallocrow); 1429566063dSJacob Faibussowitsch PetscCall(PetscIntSumError(b->sliidx[i - 1], 8 * b->sliidx[i], &b->sliidx[i])); 143d4002b98SHong Zhang } 144d4002b98SHong Zhang /* last slice */ 145d4002b98SHong Zhang b->sliidx[totalslices] = 0; 146d4002b98SHong Zhang for (j = (totalslices - 1) * 8; j < B->rmap->n; j++) b->sliidx[totalslices] = PetscMax(b->sliidx[totalslices], rlen[j]); 147d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[totalslices], maxallocrow); 148d4002b98SHong Zhang b->sliidx[totalslices] = b->sliidx[totalslices - 1] + 8 * b->sliidx[totalslices]; 149d4002b98SHong Zhang } 150d4002b98SHong Zhang 151d4002b98SHong Zhang /* allocate space for val, colidx, rlen */ 152d4002b98SHong Zhang /* FIXME: should B's old memory be unlogged? */ 1539566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(B, &b->val, &b->colidx)); 154d4002b98SHong Zhang /* FIXME: assuming an element of the bit array takes 8 bits */ 1559566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(b->sliidx[totalslices], &b->val, b->sliidx[totalslices], &b->colidx)); 156d4002b98SHong 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. */ 1579566063dSJacob Faibussowitsch PetscCall(PetscCalloc1(8 * totalslices, &b->rlen)); 158d4002b98SHong Zhang 159d4002b98SHong Zhang b->singlemalloc = PETSC_TRUE; 160d4002b98SHong Zhang b->free_val = PETSC_TRUE; 161d4002b98SHong Zhang b->free_colidx = PETSC_TRUE; 162d4002b98SHong Zhang } else { 163d4002b98SHong Zhang b->free_val = PETSC_FALSE; 164d4002b98SHong Zhang b->free_colidx = PETSC_FALSE; 165d4002b98SHong Zhang } 166d4002b98SHong Zhang 167d4002b98SHong Zhang b->nz = 0; 168d4002b98SHong Zhang b->maxallocrow = maxallocrow; 169d4002b98SHong Zhang b->rlenmax = maxallocrow; 170d4002b98SHong Zhang b->maxallocmat = b->sliidx[totalslices]; 171d4002b98SHong Zhang B->info.nz_unneeded = (double)b->maxallocmat; 1721baa6e33SBarry Smith if (realalloc) PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE)); 173d4002b98SHong Zhang PetscFunctionReturn(0); 174d4002b98SHong Zhang } 175d4002b98SHong Zhang 176d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 177d71ae5a4SJacob Faibussowitsch { 1786108893eSStefano Zampini Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1796108893eSStefano Zampini PetscInt shift; 1806108893eSStefano Zampini 1816108893eSStefano Zampini PetscFunctionBegin; 182aed4548fSBarry Smith PetscCheck(row >= 0 && row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row %" PetscInt_FMT " out of range", row); 1836108893eSStefano Zampini if (nz) *nz = a->rlen[row]; 1846108893eSStefano Zampini shift = a->sliidx[row >> 3] + (row & 0x07); 18548a46eb9SPierre Jolivet if (!a->getrowcols) PetscCall(PetscMalloc2(a->rlenmax, &a->getrowcols, a->rlenmax, &a->getrowvals)); 1866108893eSStefano Zampini if (idx) { 1876108893eSStefano Zampini PetscInt j; 1886108893eSStefano Zampini for (j = 0; j < a->rlen[row]; j++) a->getrowcols[j] = a->colidx[shift + 8 * j]; 1896108893eSStefano Zampini *idx = a->getrowcols; 1906108893eSStefano Zampini } 1916108893eSStefano Zampini if (v) { 1926108893eSStefano Zampini PetscInt j; 1936108893eSStefano Zampini for (j = 0; j < a->rlen[row]; j++) a->getrowvals[j] = a->val[shift + 8 * j]; 1946108893eSStefano Zampini *v = a->getrowvals; 1956108893eSStefano Zampini } 1966108893eSStefano Zampini PetscFunctionReturn(0); 1976108893eSStefano Zampini } 1986108893eSStefano Zampini 199d71ae5a4SJacob Faibussowitsch PetscErrorCode MatRestoreRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 200d71ae5a4SJacob Faibussowitsch { 2016108893eSStefano Zampini PetscFunctionBegin; 2026108893eSStefano Zampini PetscFunctionReturn(0); 2036108893eSStefano Zampini } 2046108893eSStefano Zampini 205d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) 206d71ae5a4SJacob Faibussowitsch { 207d4002b98SHong Zhang Mat B; 208d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 209e3f1f374SStefano Zampini PetscInt i; 210d4002b98SHong Zhang 211d4002b98SHong Zhang PetscFunctionBegin; 212ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 213ad013a7bSRichard Tran Mills B = *newmat; 2149566063dSJacob Faibussowitsch PetscCall(MatZeroEntries(B)); 215ad013a7bSRichard Tran Mills } else { 2169566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2179566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, A->rmap->n, A->cmap->n, A->rmap->N, A->cmap->N)); 2189566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQAIJ)); 2199566063dSJacob Faibussowitsch PetscCall(MatSeqAIJSetPreallocation(B, 0, a->rlen)); 220ad013a7bSRichard Tran Mills } 221d4002b98SHong Zhang 222e3f1f374SStefano Zampini for (i = 0; i < A->rmap->n; i++) { 223e108cb99SStefano Zampini PetscInt nz = 0, *cols = NULL; 224e108cb99SStefano Zampini PetscScalar *vals = NULL; 225e3f1f374SStefano Zampini 2269566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqSELL(A, i, &nz, &cols, &vals)); 2279566063dSJacob Faibussowitsch PetscCall(MatSetValues(B, 1, &i, nz, cols, vals, INSERT_VALUES)); 2289566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqSELL(A, i, &nz, &cols, &vals)); 229d4002b98SHong Zhang } 230e3f1f374SStefano Zampini 2319566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 2329566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 233d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 234d4002b98SHong Zhang 235d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 2369566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 237d4002b98SHong Zhang } else { 238d4002b98SHong Zhang *newmat = B; 239d4002b98SHong Zhang } 240d4002b98SHong Zhang PetscFunctionReturn(0); 241d4002b98SHong Zhang } 242d4002b98SHong Zhang 243d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/aij.h> 244d4002b98SHong Zhang 245d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) 246d71ae5a4SJacob Faibussowitsch { 247d4002b98SHong Zhang Mat B; 248d4002b98SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ *)A->data; 249d4002b98SHong Zhang PetscInt *ai = a->i, m = A->rmap->N, n = A->cmap->N, i, *rowlengths, row, ncols; 250d4002b98SHong Zhang const PetscInt *cols; 251d4002b98SHong Zhang const PetscScalar *vals; 252d4002b98SHong Zhang 253d4002b98SHong Zhang PetscFunctionBegin; 254ad013a7bSRichard Tran Mills 255ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 256ad013a7bSRichard Tran Mills B = *newmat; 257ad013a7bSRichard Tran Mills } else { 258d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) || !a->ilen) { 2599566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &rowlengths)); 260ad540459SPierre Jolivet for (i = 0; i < m; i++) rowlengths[i] = ai[i + 1] - ai[i]; 261d5e5b2e5SBarry Smith } 262d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) && a->ilen) { 263d5e5b2e5SBarry Smith PetscBool eq; 2649566063dSJacob Faibussowitsch PetscCall(PetscMemcmp(rowlengths, a->ilen, m * sizeof(PetscInt), &eq)); 26528b400f6SJacob Faibussowitsch PetscCheck(eq, PETSC_COMM_SELF, PETSC_ERR_PLIB, "SeqAIJ ilen array incorrect"); 2669566063dSJacob Faibussowitsch PetscCall(PetscFree(rowlengths)); 267d5e5b2e5SBarry Smith rowlengths = a->ilen; 268d5e5b2e5SBarry Smith } else if (a->ilen) rowlengths = a->ilen; 2699566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2709566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, m, n, m, n)); 2719566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQSELL)); 2729566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(B, 0, rowlengths)); 2739566063dSJacob Faibussowitsch if (rowlengths != a->ilen) PetscCall(PetscFree(rowlengths)); 274ad013a7bSRichard Tran Mills } 275d4002b98SHong Zhang 276d4002b98SHong Zhang for (row = 0; row < m; row++) { 2779566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 2789566063dSJacob Faibussowitsch PetscCall(MatSetValues_SeqSELL(B, 1, &row, ncols, cols, vals, INSERT_VALUES)); 2799566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 280d4002b98SHong Zhang } 2819566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 2829566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 283d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 284d4002b98SHong Zhang 285d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 2869566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 287d4002b98SHong Zhang } else { 288d4002b98SHong Zhang *newmat = B; 289d4002b98SHong Zhang } 290d4002b98SHong Zhang PetscFunctionReturn(0); 291d4002b98SHong Zhang } 292d4002b98SHong Zhang 293d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMult_SeqSELL(Mat A, Vec xx, Vec yy) 294d71ae5a4SJacob Faibussowitsch { 295d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 296d4002b98SHong Zhang PetscScalar *y; 297d4002b98SHong Zhang const PetscScalar *x; 298d4002b98SHong Zhang const MatScalar *aval = a->val; 299d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 300d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 3017285fed1SHong Zhang PetscInt i, j; 302d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 303d4002b98SHong Zhang __m512d vec_x, vec_y, vec_vals; 304d4002b98SHong Zhang __m256i vec_idx; 305d4002b98SHong Zhang __mmask8 mask; 306d4002b98SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 307d4002b98SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 3085f70456aSHong 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) 309a48a6482SHong Zhang __m128i vec_idx; 310a48a6482SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 311a48a6482SHong Zhang MatScalar yval; 312a48a6482SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 31321cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 314d4002b98SHong Zhang __m128d vec_x_tmp; 315d4002b98SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 316d4002b98SHong Zhang MatScalar yval; 317d4002b98SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 318d4002b98SHong Zhang #else 319d4002b98SHong Zhang PetscScalar sum[8]; 320d4002b98SHong Zhang #endif 321d4002b98SHong Zhang 322d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 323d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 324d4002b98SHong Zhang #endif 325d4002b98SHong Zhang 326d4002b98SHong Zhang PetscFunctionBegin; 3279566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 3289566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 329d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 330d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 331d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 332d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 333d4002b98SHong Zhang 334d4002b98SHong Zhang vec_y = _mm512_setzero_pd(); 335d4002b98SHong Zhang vec_y2 = _mm512_setzero_pd(); 336d4002b98SHong Zhang vec_y3 = _mm512_setzero_pd(); 337d4002b98SHong Zhang vec_y4 = _mm512_setzero_pd(); 338d4002b98SHong Zhang 339da81f932SPierre Jolivet j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice column */ 340d4002b98SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 341d4002b98SHong Zhang case 3: 342d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3439371c9d4SSatish Balay acolidx += 8; 3449371c9d4SSatish Balay aval += 8; 345d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3469371c9d4SSatish Balay acolidx += 8; 3479371c9d4SSatish Balay aval += 8; 348d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 3499371c9d4SSatish Balay acolidx += 8; 3509371c9d4SSatish Balay aval += 8; 351d4002b98SHong Zhang j += 3; 352d4002b98SHong Zhang break; 353d4002b98SHong Zhang case 2: 354d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3559371c9d4SSatish Balay acolidx += 8; 3569371c9d4SSatish Balay aval += 8; 357d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3589371c9d4SSatish Balay acolidx += 8; 3599371c9d4SSatish Balay aval += 8; 360d4002b98SHong Zhang j += 2; 361d4002b98SHong Zhang break; 362d4002b98SHong Zhang case 1: 363d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3649371c9d4SSatish Balay acolidx += 8; 3659371c9d4SSatish Balay aval += 8; 366d4002b98SHong Zhang j += 1; 367d4002b98SHong Zhang break; 368d4002b98SHong Zhang } 369d4002b98SHong Zhang #pragma novector 370d4002b98SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 371d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3729371c9d4SSatish Balay acolidx += 8; 3739371c9d4SSatish Balay aval += 8; 374d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3759371c9d4SSatish Balay acolidx += 8; 3769371c9d4SSatish Balay aval += 8; 377d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 3789371c9d4SSatish Balay acolidx += 8; 3799371c9d4SSatish Balay aval += 8; 380d4002b98SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 3819371c9d4SSatish Balay acolidx += 8; 3829371c9d4SSatish Balay aval += 8; 383d4002b98SHong Zhang } 384d4002b98SHong Zhang 385d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 386d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 387d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 388d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 389d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 390ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&y[8 * i], mask, vec_y); 391d4002b98SHong Zhang } else { 392ef588d5cSRichard Tran Mills _mm512_storeu_pd(&y[8 * i], vec_y); 393d4002b98SHong Zhang } 394d4002b98SHong Zhang } 3955f70456aSHong 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) 396a48a6482SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 397a48a6482SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 398a48a6482SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 399a48a6482SHong Zhang 400a48a6482SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 401a48a6482SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 402a48a6482SHong Zhang rows_left = A->rmap->n - 8 * i; 403a48a6482SHong Zhang for (r = 0; r < rows_left; ++r) { 404a48a6482SHong Zhang yval = (MatScalar)0; 405a48a6482SHong Zhang row = 8 * i + r; 406a48a6482SHong Zhang nnz_in_row = a->rlen[row]; 407a48a6482SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 408a48a6482SHong Zhang y[row] = yval; 409a48a6482SHong Zhang } 410a48a6482SHong Zhang break; 411a48a6482SHong Zhang } 412a48a6482SHong Zhang 413a48a6482SHong Zhang vec_y = _mm256_setzero_pd(); 414a48a6482SHong Zhang vec_y2 = _mm256_setzero_pd(); 415a48a6482SHong Zhang 416a48a6482SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 417a48a6482SHong Zhang #pragma novector 418a48a6482SHong Zhang #pragma unroll(2) 419a48a6482SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 420a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 4219371c9d4SSatish Balay aval += 4; 4229371c9d4SSatish Balay acolidx += 4; 423a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y2); 4249371c9d4SSatish Balay aval += 4; 4259371c9d4SSatish Balay acolidx += 4; 426a48a6482SHong Zhang } 427a48a6482SHong Zhang 428ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8, vec_y); 429ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 430a48a6482SHong Zhang } 43121cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 432d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 433d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 434d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 435d4002b98SHong Zhang 436d4002b98SHong Zhang vec_y = _mm256_setzero_pd(); 437d4002b98SHong Zhang vec_y2 = _mm256_setzero_pd(); 438d4002b98SHong Zhang 439d4002b98SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 440d4002b98SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 441d4002b98SHong Zhang rows_left = A->rmap->n - 8 * i; 442d4002b98SHong Zhang for (r = 0; r < rows_left; ++r) { 443d4002b98SHong Zhang yval = (MatScalar)0; 444d4002b98SHong Zhang row = 8 * i + r; 445d4002b98SHong Zhang nnz_in_row = a->rlen[row]; 446d4002b98SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 447d4002b98SHong Zhang y[row] = yval; 448d4002b98SHong Zhang } 449d4002b98SHong Zhang break; 450d4002b98SHong Zhang } 451d4002b98SHong Zhang 452d4002b98SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 453a48a6482SHong Zhang #pragma novector 454a48a6482SHong Zhang #pragma unroll(2) 4557285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 456d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 457165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 458d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 459d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 460d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 461d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 462d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 463d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 464d4002b98SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 465d4002b98SHong Zhang aval += 4; 466d4002b98SHong Zhang 467d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 468d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 469d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 470d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 471d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 472d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 473d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 474d4002b98SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 475d4002b98SHong Zhang aval += 4; 476d4002b98SHong Zhang } 477d4002b98SHong Zhang 478d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8, vec_y); 479d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 480d4002b98SHong Zhang } 481d4002b98SHong Zhang #else 482d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 483d4002b98SHong Zhang for (j = 0; j < 8; j++) sum[j] = 0.0; 484d4002b98SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 485d4002b98SHong Zhang sum[0] += aval[j] * x[acolidx[j]]; 486d4002b98SHong Zhang sum[1] += aval[j + 1] * x[acolidx[j + 1]]; 487d4002b98SHong Zhang sum[2] += aval[j + 2] * x[acolidx[j + 2]]; 488d4002b98SHong Zhang sum[3] += aval[j + 3] * x[acolidx[j + 3]]; 489d4002b98SHong Zhang sum[4] += aval[j + 4] * x[acolidx[j + 4]]; 490d4002b98SHong Zhang sum[5] += aval[j + 5] * x[acolidx[j + 5]]; 491d4002b98SHong Zhang sum[6] += aval[j + 6] * x[acolidx[j + 6]]; 492d4002b98SHong Zhang sum[7] += aval[j + 7] * x[acolidx[j + 7]]; 493d4002b98SHong Zhang } 494d4002b98SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */ 495d4002b98SHong Zhang for (j = 0; j < (A->rmap->n & 0x07); j++) y[8 * i + j] = sum[j]; 496d4002b98SHong Zhang } else { 4977285fed1SHong Zhang for (j = 0; j < 8; j++) y[8 * i + j] = sum[j]; 498d4002b98SHong Zhang } 499d4002b98SHong Zhang } 500d4002b98SHong Zhang #endif 501d4002b98SHong Zhang 5029566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz - a->nonzerorowcnt)); /* theoretical minimal FLOPs */ 5039566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 5049566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 505d4002b98SHong Zhang PetscFunctionReturn(0); 506d4002b98SHong Zhang } 507d4002b98SHong Zhang 508d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/ftn-kernels/fmultadd.h> 509d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultAdd_SeqSELL(Mat A, Vec xx, Vec yy, Vec zz) 510d71ae5a4SJacob Faibussowitsch { 511d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 512d4002b98SHong Zhang PetscScalar *y, *z; 513d4002b98SHong Zhang const PetscScalar *x; 514d4002b98SHong Zhang const MatScalar *aval = a->val; 515d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 516d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 517d4002b98SHong Zhang PetscInt i, j; 518d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5197285fed1SHong Zhang __m512d vec_x, vec_y, vec_vals; 520d4002b98SHong Zhang __m256i vec_idx; 521d4002b98SHong Zhang __mmask8 mask; 5227285fed1SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 5237285fed1SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 52421cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5257285fed1SHong Zhang __m128d vec_x_tmp; 5267285fed1SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 5277285fed1SHong Zhang MatScalar yval; 5287285fed1SHong Zhang PetscInt r, row, nnz_in_row; 529d4002b98SHong Zhang #else 530d4002b98SHong Zhang PetscScalar sum[8]; 531d4002b98SHong Zhang #endif 532d4002b98SHong Zhang 533d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 534d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 535d4002b98SHong Zhang #endif 536d4002b98SHong Zhang 537d4002b98SHong Zhang PetscFunctionBegin; 5389566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 5399566063dSJacob Faibussowitsch PetscCall(VecGetArrayPair(yy, zz, &y, &z)); 540d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5417285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 5427285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5437285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5447285fed1SHong Zhang 545d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 546d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 547ef588d5cSRichard Tran Mills vec_y = _mm512_mask_loadu_pd(vec_y, mask, &y[8 * i]); 5487285fed1SHong Zhang } else { 549ef588d5cSRichard Tran Mills vec_y = _mm512_loadu_pd(&y[8 * i]); 5507285fed1SHong Zhang } 5517285fed1SHong Zhang vec_y2 = _mm512_setzero_pd(); 5527285fed1SHong Zhang vec_y3 = _mm512_setzero_pd(); 5537285fed1SHong Zhang vec_y4 = _mm512_setzero_pd(); 5547285fed1SHong Zhang 555da81f932SPierre Jolivet j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice column */ 5567285fed1SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 5577285fed1SHong Zhang case 3: 5587285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5599371c9d4SSatish Balay acolidx += 8; 5609371c9d4SSatish Balay aval += 8; 5617285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5629371c9d4SSatish Balay acolidx += 8; 5639371c9d4SSatish Balay aval += 8; 5647285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 5659371c9d4SSatish Balay acolidx += 8; 5669371c9d4SSatish Balay aval += 8; 5677285fed1SHong Zhang j += 3; 5687285fed1SHong Zhang break; 5697285fed1SHong Zhang case 2: 5707285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5719371c9d4SSatish Balay acolidx += 8; 5729371c9d4SSatish Balay aval += 8; 5737285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5749371c9d4SSatish Balay acolidx += 8; 5759371c9d4SSatish Balay aval += 8; 5767285fed1SHong Zhang j += 2; 5777285fed1SHong Zhang break; 5787285fed1SHong Zhang case 1: 5797285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5809371c9d4SSatish Balay acolidx += 8; 5819371c9d4SSatish Balay aval += 8; 5827285fed1SHong Zhang j += 1; 5837285fed1SHong Zhang break; 5847285fed1SHong Zhang } 5857285fed1SHong Zhang #pragma novector 5867285fed1SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 5877285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5889371c9d4SSatish Balay acolidx += 8; 5899371c9d4SSatish Balay aval += 8; 5907285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5919371c9d4SSatish Balay acolidx += 8; 5929371c9d4SSatish Balay aval += 8; 5937285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 5949371c9d4SSatish Balay acolidx += 8; 5959371c9d4SSatish Balay aval += 8; 5967285fed1SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 5979371c9d4SSatish Balay acolidx += 8; 5989371c9d4SSatish Balay aval += 8; 5997285fed1SHong Zhang } 6007285fed1SHong Zhang 6017285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 6027285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 6037285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 6047285fed1SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 605ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&z[8 * i], mask, vec_y); 606d4002b98SHong Zhang } else { 607ef588d5cSRichard Tran Mills _mm512_storeu_pd(&z[8 * i], vec_y); 608d4002b98SHong Zhang } 6097285fed1SHong Zhang } 61021cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 6117285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 6127285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6137285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6147285fed1SHong Zhang 6157285fed1SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 6167285fed1SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 6177285fed1SHong Zhang for (r = 0; r < (A->rmap->n & 0x07); ++r) { 6187285fed1SHong Zhang row = 8 * i + r; 6197285fed1SHong Zhang yval = (MatScalar)0.0; 6207285fed1SHong Zhang nnz_in_row = a->rlen[row]; 6217285fed1SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 6227285fed1SHong Zhang z[row] = y[row] + yval; 6237285fed1SHong Zhang } 6247285fed1SHong Zhang break; 6257285fed1SHong Zhang } 6267285fed1SHong Zhang 6277285fed1SHong Zhang vec_y = _mm256_loadu_pd(y + 8 * i); 6287285fed1SHong Zhang vec_y2 = _mm256_loadu_pd(y + 8 * i + 4); 6297285fed1SHong Zhang 6307285fed1SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 6317285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 6327285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 633165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 6347285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6357285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 636165f9cc3SJed Brown vec_x = _mm256_setzero_pd(); 6377285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6387285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6397285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6407285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6417285fed1SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 6427285fed1SHong Zhang aval += 4; 6437285fed1SHong Zhang 6447285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 6457285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6467285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6477285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6487285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6497285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6507285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6517285fed1SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 6527285fed1SHong Zhang aval += 4; 6537285fed1SHong Zhang } 6547285fed1SHong Zhang 6557285fed1SHong Zhang _mm256_storeu_pd(z + i * 8, vec_y); 6567285fed1SHong Zhang _mm256_storeu_pd(z + i * 8 + 4, vec_y2); 6577285fed1SHong Zhang } 658d4002b98SHong Zhang #else 6597285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 6607285fed1SHong Zhang for (j = 0; j < 8; j++) sum[j] = 0.0; 661d4002b98SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 662d4002b98SHong Zhang sum[0] += aval[j] * x[acolidx[j]]; 663d4002b98SHong Zhang sum[1] += aval[j + 1] * x[acolidx[j + 1]]; 664d4002b98SHong Zhang sum[2] += aval[j + 2] * x[acolidx[j + 2]]; 665d4002b98SHong Zhang sum[3] += aval[j + 3] * x[acolidx[j + 3]]; 666d4002b98SHong Zhang sum[4] += aval[j + 4] * x[acolidx[j + 4]]; 667d4002b98SHong Zhang sum[5] += aval[j + 5] * x[acolidx[j + 5]]; 668d4002b98SHong Zhang sum[6] += aval[j + 6] * x[acolidx[j + 6]]; 669d4002b98SHong Zhang sum[7] += aval[j + 7] * x[acolidx[j + 7]]; 670d4002b98SHong Zhang } 6717285fed1SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 6727285fed1SHong Zhang for (j = 0; j < (A->rmap->n & 0x07); j++) z[8 * i + j] = y[8 * i + j] + sum[j]; 673d4002b98SHong Zhang } else { 6747285fed1SHong Zhang for (j = 0; j < 8; j++) z[8 * i + j] = y[8 * i + j] + sum[j]; 6757285fed1SHong Zhang } 676d4002b98SHong Zhang } 677d4002b98SHong Zhang #endif 678d4002b98SHong Zhang 6799566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 6809566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 6819566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayPair(yy, zz, &y, &z)); 682d4002b98SHong Zhang PetscFunctionReturn(0); 683d4002b98SHong Zhang } 684d4002b98SHong Zhang 685d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat A, Vec xx, Vec zz, Vec yy) 686d71ae5a4SJacob Faibussowitsch { 687d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 688d4002b98SHong Zhang PetscScalar *y; 689d4002b98SHong Zhang const PetscScalar *x; 690d4002b98SHong Zhang const MatScalar *aval = a->val; 691d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 6927285fed1SHong Zhang PetscInt i, j, r, row, nnz_in_row, totalslices = a->totalslices; 693d4002b98SHong Zhang 694d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 695d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 696d4002b98SHong Zhang #endif 697d4002b98SHong Zhang 698d4002b98SHong Zhang PetscFunctionBegin; 699b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 7009566063dSJacob Faibussowitsch PetscCall(MatMultAdd_SeqSELL(A, xx, zz, yy)); 7019fc32365SStefano Zampini PetscFunctionReturn(0); 7029fc32365SStefano Zampini } 7039566063dSJacob Faibussowitsch if (zz != yy) PetscCall(VecCopy(zz, yy)); 7049566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 7059566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 706d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 7077285fed1SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 7087285fed1SHong Zhang for (r = 0; r < (A->rmap->n & 0x07); ++r) { 7097285fed1SHong Zhang row = 8 * i + r; 7107285fed1SHong Zhang nnz_in_row = a->rlen[row]; 7117285fed1SHong Zhang for (j = 0; j < nnz_in_row; ++j) y[acolidx[8 * j + r]] += aval[8 * j + r] * x[row]; 7127285fed1SHong Zhang } 7137285fed1SHong Zhang break; 7147285fed1SHong Zhang } 7157285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 7167285fed1SHong Zhang y[acolidx[j]] += aval[j] * x[8 * i]; 7177285fed1SHong Zhang y[acolidx[j + 1]] += aval[j + 1] * x[8 * i + 1]; 7187285fed1SHong Zhang y[acolidx[j + 2]] += aval[j + 2] * x[8 * i + 2]; 7197285fed1SHong Zhang y[acolidx[j + 3]] += aval[j + 3] * x[8 * i + 3]; 7207285fed1SHong Zhang y[acolidx[j + 4]] += aval[j + 4] * x[8 * i + 4]; 7217285fed1SHong Zhang y[acolidx[j + 5]] += aval[j + 5] * x[8 * i + 5]; 7227285fed1SHong Zhang y[acolidx[j + 6]] += aval[j + 6] * x[8 * i + 6]; 7237285fed1SHong Zhang y[acolidx[j + 7]] += aval[j + 7] * x[8 * i + 7]; 724d4002b98SHong Zhang } 725d4002b98SHong Zhang } 7269566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->sliidx[a->totalslices])); 7279566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 7289566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 729d4002b98SHong Zhang PetscFunctionReturn(0); 730d4002b98SHong Zhang } 731d4002b98SHong Zhang 732d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTranspose_SeqSELL(Mat A, Vec xx, Vec yy) 733d71ae5a4SJacob Faibussowitsch { 734d4002b98SHong Zhang PetscFunctionBegin; 735b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 7369566063dSJacob Faibussowitsch PetscCall(MatMult_SeqSELL(A, xx, yy)); 7379fc32365SStefano Zampini } else { 7389566063dSJacob Faibussowitsch PetscCall(VecSet(yy, 0.0)); 7399566063dSJacob Faibussowitsch PetscCall(MatMultTransposeAdd_SeqSELL(A, xx, yy, yy)); 7409fc32365SStefano Zampini } 741d4002b98SHong Zhang PetscFunctionReturn(0); 742d4002b98SHong Zhang } 743d4002b98SHong Zhang 744d4002b98SHong Zhang /* 745d4002b98SHong Zhang Checks for missing diagonals 746d4002b98SHong Zhang */ 747d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMissingDiagonal_SeqSELL(Mat A, PetscBool *missing, PetscInt *d) 748d71ae5a4SJacob Faibussowitsch { 749d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 750d4002b98SHong Zhang PetscInt *diag, i; 751d4002b98SHong Zhang 752d4002b98SHong Zhang PetscFunctionBegin; 753d4002b98SHong Zhang *missing = PETSC_FALSE; 754d4002b98SHong Zhang if (A->rmap->n > 0 && !(a->colidx)) { 755d4002b98SHong Zhang *missing = PETSC_TRUE; 756d4002b98SHong Zhang if (d) *d = 0; 7579566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix has no entries therefore is missing diagonal\n")); 758d4002b98SHong Zhang } else { 759d4002b98SHong Zhang diag = a->diag; 760d4002b98SHong Zhang for (i = 0; i < A->rmap->n; i++) { 761d4002b98SHong Zhang if (diag[i] == -1) { 762d4002b98SHong Zhang *missing = PETSC_TRUE; 763d4002b98SHong Zhang if (d) *d = i; 7649566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix is missing diagonal number %" PetscInt_FMT "\n", i)); 765d4002b98SHong Zhang break; 766d4002b98SHong Zhang } 767d4002b98SHong Zhang } 768d4002b98SHong Zhang } 769d4002b98SHong Zhang PetscFunctionReturn(0); 770d4002b98SHong Zhang } 771d4002b98SHong Zhang 772d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMarkDiagonal_SeqSELL(Mat A) 773d71ae5a4SJacob Faibussowitsch { 774d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 775d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 776d4002b98SHong Zhang 777d4002b98SHong Zhang PetscFunctionBegin; 778d4002b98SHong Zhang if (!a->diag) { 7799566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &a->diag)); 780d4002b98SHong Zhang a->free_diag = PETSC_TRUE; 781d4002b98SHong Zhang } 782d4002b98SHong Zhang for (i = 0; i < m; i++) { /* loop over rows */ 783d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 784d4002b98SHong Zhang a->diag[i] = -1; 785d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 786d4002b98SHong Zhang if (a->colidx[shift + j * 8] == i) { 787d4002b98SHong Zhang a->diag[i] = shift + j * 8; 788d4002b98SHong Zhang break; 789d4002b98SHong Zhang } 790d4002b98SHong Zhang } 791d4002b98SHong Zhang } 792d4002b98SHong Zhang PetscFunctionReturn(0); 793d4002b98SHong Zhang } 794d4002b98SHong Zhang 795d4002b98SHong Zhang /* 796d4002b98SHong Zhang Negative shift indicates do not generate an error if there is a zero diagonal, just invert it anyways 797d4002b98SHong Zhang */ 798d71ae5a4SJacob Faibussowitsch PetscErrorCode MatInvertDiagonal_SeqSELL(Mat A, PetscScalar omega, PetscScalar fshift) 799d71ae5a4SJacob Faibussowitsch { 800d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 801d4002b98SHong Zhang PetscInt i, *diag, m = A->rmap->n; 802d4002b98SHong Zhang MatScalar *val = a->val; 803d4002b98SHong Zhang PetscScalar *idiag, *mdiag; 804d4002b98SHong Zhang 805d4002b98SHong Zhang PetscFunctionBegin; 806d4002b98SHong Zhang if (a->idiagvalid) PetscFunctionReturn(0); 8079566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 808d4002b98SHong Zhang diag = a->diag; 809d4002b98SHong Zhang if (!a->idiag) { 8109566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(m, &a->idiag, m, &a->mdiag, m, &a->ssor_work)); 811d4002b98SHong Zhang val = a->val; 812d4002b98SHong Zhang } 813d4002b98SHong Zhang mdiag = a->mdiag; 814d4002b98SHong Zhang idiag = a->idiag; 815d4002b98SHong Zhang 816d4002b98SHong Zhang if (omega == 1.0 && PetscRealPart(fshift) <= 0.0) { 817d4002b98SHong Zhang for (i = 0; i < m; i++) { 818d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 819d4002b98SHong Zhang if (!PetscAbsScalar(mdiag[i])) { /* zero diagonal */ 820d4002b98SHong Zhang if (PetscRealPart(fshift)) { 8219566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Zero diagonal on row %" PetscInt_FMT "\n", i)); 822d4002b98SHong Zhang A->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 823d4002b98SHong Zhang A->factorerror_zeropivot_value = 0.0; 824d4002b98SHong Zhang A->factorerror_zeropivot_row = i; 82598921bdaSJacob Faibussowitsch } else SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Zero diagonal on row %" PetscInt_FMT, i); 826d4002b98SHong Zhang } 827d4002b98SHong Zhang idiag[i] = 1.0 / val[diag[i]]; 828d4002b98SHong Zhang } 8299566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(m)); 830d4002b98SHong Zhang } else { 831d4002b98SHong Zhang for (i = 0; i < m; i++) { 832d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 833d4002b98SHong Zhang idiag[i] = omega / (fshift + val[diag[i]]); 834d4002b98SHong Zhang } 8359566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * m)); 836d4002b98SHong Zhang } 837d4002b98SHong Zhang a->idiagvalid = PETSC_TRUE; 838d4002b98SHong Zhang PetscFunctionReturn(0); 839d4002b98SHong Zhang } 840d4002b98SHong Zhang 841d71ae5a4SJacob Faibussowitsch PetscErrorCode MatZeroEntries_SeqSELL(Mat A) 842d71ae5a4SJacob Faibussowitsch { 843d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 844d4002b98SHong Zhang 845d4002b98SHong Zhang PetscFunctionBegin; 8469566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(a->val, a->sliidx[a->totalslices])); 8479566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 848d4002b98SHong Zhang PetscFunctionReturn(0); 849d4002b98SHong Zhang } 850d4002b98SHong Zhang 851d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDestroy_SeqSELL(Mat A) 852d71ae5a4SJacob Faibussowitsch { 853d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 854d4002b98SHong Zhang 855d4002b98SHong Zhang PetscFunctionBegin; 856d4002b98SHong Zhang #if defined(PETSC_USE_LOG) 857c0aa6a63SJacob Faibussowitsch PetscLogObjectState((PetscObject)A, "Rows=%" PetscInt_FMT ", Cols=%" PetscInt_FMT ", NZ=%" PetscInt_FMT, A->rmap->n, A->cmap->n, a->nz); 858d4002b98SHong Zhang #endif 8599566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(A, &a->val, &a->colidx)); 8609566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->row)); 8619566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->col)); 8629566063dSJacob Faibussowitsch PetscCall(PetscFree(a->diag)); 8639566063dSJacob Faibussowitsch PetscCall(PetscFree(a->rlen)); 8649566063dSJacob Faibussowitsch PetscCall(PetscFree(a->sliidx)); 8659566063dSJacob Faibussowitsch PetscCall(PetscFree3(a->idiag, a->mdiag, a->ssor_work)); 8669566063dSJacob Faibussowitsch PetscCall(PetscFree(a->solve_work)); 8679566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->icol)); 8689566063dSJacob Faibussowitsch PetscCall(PetscFree(a->saved_values)); 8699566063dSJacob Faibussowitsch PetscCall(PetscFree2(a->getrowcols, a->getrowvals)); 870d4002b98SHong Zhang 8719566063dSJacob Faibussowitsch PetscCall(PetscFree(A->data)); 872d4002b98SHong Zhang 8739566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)A, NULL)); 8749566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatStoreValues_C", NULL)); 8759566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatRetrieveValues_C", NULL)); 8769566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetPreallocation_C", NULL)); 8772e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetArray_C", NULL)); 8782e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLRestoreArray_C", NULL)); 8792e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqaij_C", NULL)); 880d4002b98SHong Zhang PetscFunctionReturn(0); 881d4002b98SHong Zhang } 882d4002b98SHong Zhang 883d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetOption_SeqSELL(Mat A, MatOption op, PetscBool flg) 884d71ae5a4SJacob Faibussowitsch { 885d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 886d4002b98SHong Zhang 887d4002b98SHong Zhang PetscFunctionBegin; 888d4002b98SHong Zhang switch (op) { 889d71ae5a4SJacob Faibussowitsch case MAT_ROW_ORIENTED: 890d71ae5a4SJacob Faibussowitsch a->roworiented = flg; 891d71ae5a4SJacob Faibussowitsch break; 892d71ae5a4SJacob Faibussowitsch case MAT_KEEP_NONZERO_PATTERN: 893d71ae5a4SJacob Faibussowitsch a->keepnonzeropattern = flg; 894d71ae5a4SJacob Faibussowitsch break; 895d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATIONS: 896d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? 0 : 1); 897d71ae5a4SJacob Faibussowitsch break; 898d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATION_ERR: 899d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -1 : 0); 900d71ae5a4SJacob Faibussowitsch break; 901d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_ALLOCATION_ERR: 902d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -2 : 0); 903d71ae5a4SJacob Faibussowitsch break; 904d71ae5a4SJacob Faibussowitsch case MAT_UNUSED_NONZERO_LOCATION_ERR: 905d71ae5a4SJacob Faibussowitsch a->nounused = (flg ? -1 : 0); 906d71ae5a4SJacob Faibussowitsch break; 9078c78258cSHong Zhang case MAT_FORCE_DIAGONAL_ENTRIES: 908d4002b98SHong Zhang case MAT_IGNORE_OFF_PROC_ENTRIES: 909d4002b98SHong Zhang case MAT_USE_HASH_TABLE: 910d71ae5a4SJacob Faibussowitsch case MAT_SORTED_FULL: 911d71ae5a4SJacob Faibussowitsch PetscCall(PetscInfo(A, "Option %s ignored\n", MatOptions[op])); 912d71ae5a4SJacob Faibussowitsch break; 913d4002b98SHong Zhang case MAT_SPD: 914d4002b98SHong Zhang case MAT_SYMMETRIC: 915d4002b98SHong Zhang case MAT_STRUCTURALLY_SYMMETRIC: 916d4002b98SHong Zhang case MAT_HERMITIAN: 917d4002b98SHong Zhang case MAT_SYMMETRY_ETERNAL: 918b94d7dedSBarry Smith case MAT_STRUCTURAL_SYMMETRY_ETERNAL: 919b94d7dedSBarry Smith case MAT_SPD_ETERNAL: 920d4002b98SHong Zhang /* These options are handled directly by MatSetOption() */ 921d4002b98SHong Zhang break; 922d71ae5a4SJacob Faibussowitsch default: 923d71ae5a4SJacob Faibussowitsch SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "unknown option %d", op); 924d4002b98SHong Zhang } 925d4002b98SHong Zhang PetscFunctionReturn(0); 926d4002b98SHong Zhang } 927d4002b98SHong Zhang 928d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetDiagonal_SeqSELL(Mat A, Vec v) 929d71ae5a4SJacob Faibussowitsch { 930d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 931d4002b98SHong Zhang PetscInt i, j, n, shift; 932d4002b98SHong Zhang PetscScalar *x, zero = 0.0; 933d4002b98SHong Zhang 934d4002b98SHong Zhang PetscFunctionBegin; 9359566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(v, &n)); 93608401ef6SPierre Jolivet PetscCheck(n == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Nonconforming matrix and vector"); 937d4002b98SHong Zhang 938d4002b98SHong Zhang if (A->factortype == MAT_FACTOR_ILU || A->factortype == MAT_FACTOR_LU) { 939d4002b98SHong Zhang PetscInt *diag = a->diag; 9409566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &x)); 941d4002b98SHong Zhang for (i = 0; i < n; i++) x[i] = 1.0 / a->val[diag[i]]; 9429566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &x)); 943d4002b98SHong Zhang PetscFunctionReturn(0); 944d4002b98SHong Zhang } 945d4002b98SHong Zhang 9469566063dSJacob Faibussowitsch PetscCall(VecSet(v, zero)); 9479566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &x)); 948d4002b98SHong Zhang for (i = 0; i < n; i++) { /* loop over rows */ 949d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 950d4002b98SHong Zhang x[i] = 0; 951d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 952d4002b98SHong Zhang if (a->colidx[shift + j * 8] == i) { 953d4002b98SHong Zhang x[i] = a->val[shift + j * 8]; 954d4002b98SHong Zhang break; 955d4002b98SHong Zhang } 956d4002b98SHong Zhang } 957d4002b98SHong Zhang } 9589566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &x)); 959d4002b98SHong Zhang PetscFunctionReturn(0); 960d4002b98SHong Zhang } 961d4002b98SHong Zhang 962d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDiagonalScale_SeqSELL(Mat A, Vec ll, Vec rr) 963d71ae5a4SJacob Faibussowitsch { 964d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 965d4002b98SHong Zhang const PetscScalar *l, *r; 966d4002b98SHong Zhang PetscInt i, j, m, n, row; 967d4002b98SHong Zhang 968d4002b98SHong Zhang PetscFunctionBegin; 969d4002b98SHong Zhang if (ll) { 970d4002b98SHong Zhang /* The local size is used so that VecMPI can be passed to this routine 971d4002b98SHong Zhang by MatDiagonalScale_MPISELL */ 9729566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(ll, &m)); 97308401ef6SPierre Jolivet PetscCheck(m == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Left scaling vector wrong length"); 9749566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(ll, &l)); 975d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 976dab86139SHong Zhang if (i == a->totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */ 977dab86139SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) { 978dab86139SHong Zhang if (row < (A->rmap->n & 0x07)) a->val[j] *= l[8 * i + row]; 979dab86139SHong Zhang } 980dab86139SHong Zhang } else { 981ad540459SPierre Jolivet for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) a->val[j] *= l[8 * i + row]; 982d4002b98SHong Zhang } 983dab86139SHong Zhang } 9849566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(ll, &l)); 9859566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 986d4002b98SHong Zhang } 987d4002b98SHong Zhang if (rr) { 9889566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(rr, &n)); 98908401ef6SPierre Jolivet PetscCheck(n == A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Right scaling vector wrong length"); 9909566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(rr, &r)); 991d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 992dab86139SHong Zhang if (i == a->totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */ 993dab86139SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) { 994dab86139SHong Zhang if (row < (A->rmap->n & 0x07)) a->val[j] *= r[a->colidx[j]]; 995dab86139SHong Zhang } 996dab86139SHong Zhang } else { 997ad540459SPierre Jolivet for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j++) a->val[j] *= r[a->colidx[j]]; 998d4002b98SHong Zhang } 999dab86139SHong Zhang } 10009566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(rr, &r)); 10019566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1002d4002b98SHong Zhang } 10039566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 1004d4002b98SHong Zhang PetscFunctionReturn(0); 1005d4002b98SHong Zhang } 1006d4002b98SHong Zhang 1007d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], PetscScalar v[]) 1008d71ae5a4SJacob Faibussowitsch { 1009d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1010d4002b98SHong Zhang PetscInt *cp, i, k, low, high, t, row, col, l; 1011d4002b98SHong Zhang PetscInt shift; 1012d4002b98SHong Zhang MatScalar *vp; 1013d4002b98SHong Zhang 1014d4002b98SHong Zhang PetscFunctionBegin; 101568aafef3SStefano Zampini for (k = 0; k < m; k++) { /* loop over requested rows */ 1016d4002b98SHong Zhang row = im[k]; 1017d4002b98SHong Zhang if (row < 0) continue; 10186bdcaf15SBarry 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); 1019d4002b98SHong Zhang shift = a->sliidx[row >> 3] + (row & 0x07); /* starting index of the row */ 1020d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1021d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 102268aafef3SStefano Zampini for (l = 0; l < n; l++) { /* loop over requested columns */ 1023d4002b98SHong Zhang col = in[l]; 1024d4002b98SHong Zhang if (col < 0) continue; 10256bdcaf15SBarry 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); 10269371c9d4SSatish Balay high = a->rlen[row]; 10279371c9d4SSatish Balay low = 0; /* assume unsorted */ 1028d4002b98SHong Zhang while (high - low > 5) { 1029d4002b98SHong Zhang t = (low + high) / 2; 1030d4002b98SHong Zhang if (*(cp + t * 8) > col) high = t; 1031d4002b98SHong Zhang else low = t; 1032d4002b98SHong Zhang } 1033d4002b98SHong Zhang for (i = low; i < high; i++) { 1034d4002b98SHong Zhang if (*(cp + 8 * i) > col) break; 1035d4002b98SHong Zhang if (*(cp + 8 * i) == col) { 1036d4002b98SHong Zhang *v++ = *(vp + 8 * i); 1037d4002b98SHong Zhang goto finished; 1038d4002b98SHong Zhang } 1039d4002b98SHong Zhang } 1040d4002b98SHong Zhang *v++ = 0.0; 1041d4002b98SHong Zhang finished:; 1042d4002b98SHong Zhang } 1043d4002b98SHong Zhang } 1044d4002b98SHong Zhang PetscFunctionReturn(0); 1045d4002b98SHong Zhang } 1046d4002b98SHong Zhang 1047d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL_ASCII(Mat A, PetscViewer viewer) 1048d71ae5a4SJacob Faibussowitsch { 1049d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1050d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1051d4002b98SHong Zhang const char *name; 1052d4002b98SHong Zhang PetscViewerFormat format; 1053d4002b98SHong Zhang 1054d4002b98SHong Zhang PetscFunctionBegin; 10559566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 1056d4002b98SHong Zhang if (format == PETSC_VIEWER_ASCII_MATLAB) { 1057d4002b98SHong Zhang PetscInt nofinalvalue = 0; 1058d4002b98SHong Zhang /* 1059d4002b98SHong Zhang if (m && ((a->i[m] == a->i[m-1]) || (a->j[a->nz-1] != A->cmap->n-1))) { 1060d4002b98SHong Zhang nofinalvalue = 1; 1061d4002b98SHong Zhang } 1062d4002b98SHong Zhang */ 10639566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 10649566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Size = %" PetscInt_FMT " %" PetscInt_FMT " \n", m, A->cmap->n)); 10659566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Nonzeros = %" PetscInt_FMT " \n", a->nz)); 1066d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10679566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",4);\n", a->nz + nofinalvalue)); 1068d4002b98SHong Zhang #else 10699566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",3);\n", a->nz + nofinalvalue)); 1070d4002b98SHong Zhang #endif 10719566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = [\n")); 1072d4002b98SHong Zhang 1073d4002b98SHong Zhang for (i = 0; i < m; i++) { 1074d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 1075d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1076d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10779566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %18.16e %18.16e\n", i + 1, a->colidx[shift + 8 * j] + 1, (double)PetscRealPart(a->val[shift + 8 * j]), (double)PetscImaginaryPart(a->val[shift + 8 * j]))); 1078d4002b98SHong Zhang #else 10799566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %18.16e\n", i + 1, a->colidx[shift + 8 * j] + 1, (double)a->val[shift + 8 * j])); 1080d4002b98SHong Zhang #endif 1081d4002b98SHong Zhang } 1082d4002b98SHong Zhang } 1083d4002b98SHong Zhang /* 1084d4002b98SHong Zhang if (nofinalvalue) { 1085d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10869566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e %18.16e\n",m,A->cmap->n,0.,0.)); 1087d4002b98SHong Zhang #else 10889566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e\n",m,A->cmap->n,0.0)); 1089d4002b98SHong Zhang #endif 1090d4002b98SHong Zhang } 1091d4002b98SHong Zhang */ 10929566063dSJacob Faibussowitsch PetscCall(PetscObjectGetName((PetscObject)A, &name)); 10939566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "];\n %s = spconvert(zzz);\n", name)); 10949566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1095d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_FACTOR_INFO || format == PETSC_VIEWER_ASCII_INFO) { 1096d4002b98SHong Zhang PetscFunctionReturn(0); 1097d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_COMMON) { 10989566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1099d4002b98SHong Zhang for (i = 0; i < m; i++) { 11009566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1101d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 1102d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1103d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1104d4002b98SHong Zhang if (PetscImaginaryPart(a->val[shift + 8 * j]) > 0.0 && PetscRealPart(a->val[shift + 8 * j]) != 0.0) { 11059566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j]), (double)PetscImaginaryPart(a->val[shift + 8 * j]))); 1106d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[shift + 8 * j]) < 0.0 && PetscRealPart(a->val[shift + 8 * j]) != 0.0) { 11079566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j]), (double)-PetscImaginaryPart(a->val[shift + 8 * j]))); 1108d4002b98SHong Zhang } else if (PetscRealPart(a->val[shift + 8 * j]) != 0.0) { 11099566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j]))); 1110d4002b98SHong Zhang } 1111d4002b98SHong Zhang #else 11129566063dSJacob Faibussowitsch if (a->val[shift + 8 * j] != 0.0) PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)a->val[shift + 8 * j])); 1113d4002b98SHong Zhang #endif 1114d4002b98SHong Zhang } 11159566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1116d4002b98SHong Zhang } 11179566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1118d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_DENSE) { 1119d4002b98SHong Zhang PetscInt cnt = 0, jcnt; 1120d4002b98SHong Zhang PetscScalar value; 1121d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1122d4002b98SHong Zhang PetscBool realonly = PETSC_TRUE; 1123d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1124d4002b98SHong Zhang if (PetscImaginaryPart(a->val[i]) != 0.0) { 1125d4002b98SHong Zhang realonly = PETSC_FALSE; 1126d4002b98SHong Zhang break; 1127d4002b98SHong Zhang } 1128d4002b98SHong Zhang } 1129d4002b98SHong Zhang #endif 1130d4002b98SHong Zhang 11319566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1132d4002b98SHong Zhang for (i = 0; i < m; i++) { 1133d4002b98SHong Zhang jcnt = 0; 1134d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 1135d4002b98SHong Zhang for (j = 0; j < A->cmap->n; j++) { 1136d4002b98SHong Zhang if (jcnt < a->rlen[i] && j == a->colidx[shift + 8 * j]) { 1137d4002b98SHong Zhang value = a->val[cnt++]; 1138d4002b98SHong Zhang jcnt++; 1139d4002b98SHong Zhang } else { 1140d4002b98SHong Zhang value = 0.0; 1141d4002b98SHong Zhang } 1142d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1143d4002b98SHong Zhang if (realonly) { 11449566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)PetscRealPart(value))); 1145d4002b98SHong Zhang } else { 11469566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e+%7.5e i ", (double)PetscRealPart(value), (double)PetscImaginaryPart(value))); 1147d4002b98SHong Zhang } 1148d4002b98SHong Zhang #else 11499566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)value)); 1150d4002b98SHong Zhang #endif 1151d4002b98SHong Zhang } 11529566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1153d4002b98SHong Zhang } 11549566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1155d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_MATRIXMARKET) { 1156d4002b98SHong Zhang PetscInt fshift = 1; 11579566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1158d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11599566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate complex general\n")); 1160d4002b98SHong Zhang #else 11619566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate real general\n")); 1162d4002b98SHong Zhang #endif 11639566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", m, A->cmap->n, a->nz)); 1164d4002b98SHong Zhang for (i = 0; i < m; i++) { 1165d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 1166d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1167d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11689566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %g %g\n", i + fshift, a->colidx[shift + 8 * j] + fshift, (double)PetscRealPart(a->val[shift + 8 * j]), (double)PetscImaginaryPart(a->val[shift + 8 * j]))); 1169d4002b98SHong Zhang #else 11709566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %g\n", i + fshift, a->colidx[shift + 8 * j] + fshift, (double)a->val[shift + 8 * j])); 1171d4002b98SHong Zhang #endif 1172d4002b98SHong Zhang } 1173d4002b98SHong Zhang } 11749566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 117568aafef3SStefano Zampini } else if (format == PETSC_VIEWER_NATIVE) { 117668aafef3SStefano Zampini for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 117768aafef3SStefano Zampini PetscInt row; 11789566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "slice %" PetscInt_FMT ": %" PetscInt_FMT " %" PetscInt_FMT "\n", i, a->sliidx[i], a->sliidx[i + 1])); 117968aafef3SStefano Zampini for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) { 118068aafef3SStefano Zampini #if defined(PETSC_USE_COMPLEX) 118168aafef3SStefano Zampini if (PetscImaginaryPart(a->val[j]) > 0.0) { 11829566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g + %g i\n", 8 * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 118368aafef3SStefano Zampini } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 11849566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g - %g i\n", 8 * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]), -(double)PetscImaginaryPart(a->val[j]))); 118568aafef3SStefano Zampini } else { 11869566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", 8 * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]))); 118768aafef3SStefano Zampini } 118868aafef3SStefano Zampini #else 11899566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", 8 * i + row, a->colidx[j], (double)a->val[j])); 119068aafef3SStefano Zampini #endif 119168aafef3SStefano Zampini } 119268aafef3SStefano Zampini } 1193d4002b98SHong Zhang } else { 11949566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1195d4002b98SHong Zhang if (A->factortype) { 1196d4002b98SHong Zhang for (i = 0; i < m; i++) { 1197d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 11989566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1199d4002b98SHong Zhang /* L part */ 1200d4002b98SHong Zhang for (j = shift; j < a->diag[i]; j += 8) { 1201d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1202d4002b98SHong Zhang if (PetscImaginaryPart(a->val[shift + 8 * j]) > 0.0) { 12039566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 1204d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[shift + 8 * j]) < 0.0) { 12059566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1206d4002b98SHong Zhang } else { 12079566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1208d4002b98SHong Zhang } 1209d4002b98SHong Zhang #else 12109566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1211d4002b98SHong Zhang #endif 1212d4002b98SHong Zhang } 1213d4002b98SHong Zhang /* diagonal */ 1214d4002b98SHong Zhang j = a->diag[i]; 1215d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1216d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12179566063dSJacob 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]))); 1218d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12199566063dSJacob 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])))); 1220d4002b98SHong Zhang } else { 12219566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j]))); 1222d4002b98SHong Zhang } 1223d4002b98SHong Zhang #else 12249566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)(1.0 / a->val[j]))); 1225d4002b98SHong Zhang #endif 1226d4002b98SHong Zhang 1227d4002b98SHong Zhang /* U part */ 1228d4002b98SHong Zhang for (j = a->diag[i] + 1; j < shift + 8 * a->rlen[i]; j += 8) { 1229d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1230d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12319566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 1232d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12339566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1234d4002b98SHong Zhang } else { 12359566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1236d4002b98SHong Zhang } 1237d4002b98SHong Zhang #else 12389566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1239d4002b98SHong Zhang #endif 1240d4002b98SHong Zhang } 12419566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1242d4002b98SHong Zhang } 1243d4002b98SHong Zhang } else { 1244d4002b98SHong Zhang for (i = 0; i < m; i++) { 1245d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 12469566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1247d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1248d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1249d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12509566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j]), (double)PetscImaginaryPart(a->val[shift + 8 * j]))); 1251d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12529566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j]), (double)-PetscImaginaryPart(a->val[shift + 8 * j]))); 1253d4002b98SHong Zhang } else { 12549566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j]))); 1255d4002b98SHong Zhang } 1256d4002b98SHong Zhang #else 12579566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)a->val[shift + 8 * j])); 1258d4002b98SHong Zhang #endif 1259d4002b98SHong Zhang } 12609566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1261d4002b98SHong Zhang } 1262d4002b98SHong Zhang } 12639566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1264d4002b98SHong Zhang } 12659566063dSJacob Faibussowitsch PetscCall(PetscViewerFlush(viewer)); 1266d4002b98SHong Zhang PetscFunctionReturn(0); 1267d4002b98SHong Zhang } 1268d4002b98SHong Zhang 1269d4002b98SHong Zhang #include <petscdraw.h> 1270d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL_Draw_Zoom(PetscDraw draw, void *Aa) 1271d71ae5a4SJacob Faibussowitsch { 1272d4002b98SHong Zhang Mat A = (Mat)Aa; 1273d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1274d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1275d4002b98SHong Zhang int color; 1276d4002b98SHong Zhang PetscReal xl, yl, xr, yr, x_l, x_r, y_l, y_r; 1277d4002b98SHong Zhang PetscViewer viewer; 1278d4002b98SHong Zhang PetscViewerFormat format; 1279d4002b98SHong Zhang 1280d4002b98SHong Zhang PetscFunctionBegin; 12819566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject)A, "Zoomviewer", (PetscObject *)&viewer)); 12829566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 12839566063dSJacob Faibussowitsch PetscCall(PetscDrawGetCoordinates(draw, &xl, &yl, &xr, &yr)); 1284d4002b98SHong Zhang 1285d4002b98SHong Zhang /* loop over matrix elements drawing boxes */ 1286d4002b98SHong Zhang 1287d4002b98SHong Zhang if (format != PETSC_VIEWER_DRAW_CONTOUR) { 1288d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1289d4002b98SHong Zhang /* Blue for negative, Cyan for zero and Red for positive */ 1290d4002b98SHong Zhang color = PETSC_DRAW_BLUE; 1291d4002b98SHong Zhang for (i = 0; i < m; i++) { 1292d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 12939371c9d4SSatish Balay y_l = m - i - 1.0; 12949371c9d4SSatish Balay y_r = y_l + 1.0; 1295d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 12969371c9d4SSatish Balay x_l = a->colidx[shift + j * 8]; 12979371c9d4SSatish Balay x_r = x_l + 1.0; 1298d4002b98SHong Zhang if (PetscRealPart(a->val[shift + 8 * j]) >= 0.) continue; 12999566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1300d4002b98SHong Zhang } 1301d4002b98SHong Zhang } 1302d4002b98SHong Zhang color = PETSC_DRAW_CYAN; 1303d4002b98SHong Zhang for (i = 0; i < m; i++) { 1304d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 13059371c9d4SSatish Balay y_l = m - i - 1.0; 13069371c9d4SSatish Balay y_r = y_l + 1.0; 1307d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 13089371c9d4SSatish Balay x_l = a->colidx[shift + j * 8]; 13099371c9d4SSatish Balay x_r = x_l + 1.0; 1310d4002b98SHong Zhang if (a->val[shift + 8 * j] != 0.) continue; 13119566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1312d4002b98SHong Zhang } 1313d4002b98SHong Zhang } 1314d4002b98SHong Zhang color = PETSC_DRAW_RED; 1315d4002b98SHong Zhang for (i = 0; i < m; i++) { 1316d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 13179371c9d4SSatish Balay y_l = m - i - 1.0; 13189371c9d4SSatish Balay y_r = y_l + 1.0; 1319d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 13209371c9d4SSatish Balay x_l = a->colidx[shift + j * 8]; 13219371c9d4SSatish Balay x_r = x_l + 1.0; 1322d4002b98SHong Zhang if (PetscRealPart(a->val[shift + 8 * j]) <= 0.) continue; 13239566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1324d4002b98SHong Zhang } 1325d4002b98SHong Zhang } 1326d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1327d4002b98SHong Zhang } else { 1328d4002b98SHong Zhang /* use contour shading to indicate magnitude of values */ 1329d4002b98SHong Zhang /* first determine max of all nonzero values */ 1330d4002b98SHong Zhang PetscReal minv = 0.0, maxv = 0.0; 1331d4002b98SHong Zhang PetscInt count = 0; 1332d4002b98SHong Zhang PetscDraw popup; 1333d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1334d4002b98SHong Zhang if (PetscAbsScalar(a->val[i]) > maxv) maxv = PetscAbsScalar(a->val[i]); 1335d4002b98SHong Zhang } 1336d4002b98SHong Zhang if (minv >= maxv) maxv = minv + PETSC_SMALL; 13379566063dSJacob Faibussowitsch PetscCall(PetscDrawGetPopup(draw, &popup)); 13389566063dSJacob Faibussowitsch PetscCall(PetscDrawScalePopup(popup, minv, maxv)); 1339d4002b98SHong Zhang 1340d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1341d4002b98SHong Zhang for (i = 0; i < m; i++) { 1342d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 1343d4002b98SHong Zhang y_l = m - i - 1.0; 1344d4002b98SHong Zhang y_r = y_l + 1.0; 1345d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1346d4002b98SHong Zhang x_l = a->colidx[shift + j * 8]; 1347d4002b98SHong Zhang x_r = x_l + 1.0; 1348d4002b98SHong Zhang color = PetscDrawRealToColor(PetscAbsScalar(a->val[count]), minv, maxv); 13499566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1350d4002b98SHong Zhang count++; 1351d4002b98SHong Zhang } 1352d4002b98SHong Zhang } 1353d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1354d4002b98SHong Zhang } 1355d4002b98SHong Zhang PetscFunctionReturn(0); 1356d4002b98SHong Zhang } 1357d4002b98SHong Zhang 1358d4002b98SHong Zhang #include <petscdraw.h> 1359d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL_Draw(Mat A, PetscViewer viewer) 1360d71ae5a4SJacob Faibussowitsch { 1361d4002b98SHong Zhang PetscDraw draw; 1362d4002b98SHong Zhang PetscReal xr, yr, xl, yl, h, w; 1363d4002b98SHong Zhang PetscBool isnull; 1364d4002b98SHong Zhang 1365d4002b98SHong Zhang PetscFunctionBegin; 13669566063dSJacob Faibussowitsch PetscCall(PetscViewerDrawGetDraw(viewer, 0, &draw)); 13679566063dSJacob Faibussowitsch PetscCall(PetscDrawIsNull(draw, &isnull)); 1368d4002b98SHong Zhang if (isnull) PetscFunctionReturn(0); 1369d4002b98SHong Zhang 13709371c9d4SSatish Balay xr = A->cmap->n; 13719371c9d4SSatish Balay yr = A->rmap->n; 13729371c9d4SSatish Balay h = yr / 10.0; 13739371c9d4SSatish Balay w = xr / 10.0; 13749371c9d4SSatish Balay xr += w; 13759371c9d4SSatish Balay yr += h; 13769371c9d4SSatish Balay xl = -w; 13779371c9d4SSatish Balay yl = -h; 13789566063dSJacob Faibussowitsch PetscCall(PetscDrawSetCoordinates(draw, xl, yl, xr, yr)); 13799566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", (PetscObject)viewer)); 13809566063dSJacob Faibussowitsch PetscCall(PetscDrawZoom(draw, MatView_SeqSELL_Draw_Zoom, A)); 13819566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", NULL)); 13829566063dSJacob Faibussowitsch PetscCall(PetscDrawSave(draw)); 1383d4002b98SHong Zhang PetscFunctionReturn(0); 1384d4002b98SHong Zhang } 1385d4002b98SHong Zhang 1386d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL(Mat A, PetscViewer viewer) 1387d71ae5a4SJacob Faibussowitsch { 1388d4002b98SHong Zhang PetscBool iascii, isbinary, isdraw; 1389d4002b98SHong Zhang 1390d4002b98SHong Zhang PetscFunctionBegin; 13919566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii)); 13929566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary)); 13939566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERDRAW, &isdraw)); 1394d4002b98SHong Zhang if (iascii) { 13959566063dSJacob Faibussowitsch PetscCall(MatView_SeqSELL_ASCII(A, viewer)); 1396d4002b98SHong Zhang } else if (isbinary) { 13979566063dSJacob Faibussowitsch /* PetscCall(MatView_SeqSELL_Binary(A,viewer)); */ 13981baa6e33SBarry Smith } else if (isdraw) PetscCall(MatView_SeqSELL_Draw(A, viewer)); 1399d4002b98SHong Zhang PetscFunctionReturn(0); 1400d4002b98SHong Zhang } 1401d4002b98SHong Zhang 1402d71ae5a4SJacob Faibussowitsch PetscErrorCode MatAssemblyEnd_SeqSELL(Mat A, MatAssemblyType mode) 1403d71ae5a4SJacob Faibussowitsch { 1404d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1405d4002b98SHong Zhang PetscInt i, shift, row_in_slice, row, nrow, *cp, lastcol, j, k; 1406d4002b98SHong Zhang MatScalar *vp; 1407d4002b98SHong Zhang 1408d4002b98SHong Zhang PetscFunctionBegin; 1409d4002b98SHong Zhang if (mode == MAT_FLUSH_ASSEMBLY) PetscFunctionReturn(0); 1410d4002b98SHong Zhang /* To do: compress out the unused elements */ 14119566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 14129566063dSJacob 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)); 14139566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Number of mallocs during MatSetValues() is %" PetscInt_FMT "\n", a->reallocs)); 14149566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Maximum nonzeros in any row is %" PetscInt_FMT "\n", a->rlenmax)); 1415d4002b98SHong 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 */ 1416d4002b98SHong Zhang for (i = 0; i < a->totalslices; ++i) { 1417d4002b98SHong Zhang shift = a->sliidx[i]; /* starting index of the slice */ 1418d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the column indices of the slice */ 1419d4002b98SHong Zhang vp = a->val + shift; /* pointer to the nonzero values of the slice */ 1420d4002b98SHong Zhang for (row_in_slice = 0; row_in_slice < 8; ++row_in_slice) { /* loop over rows in the slice */ 1421d4002b98SHong Zhang row = 8 * i + row_in_slice; 1422d4002b98SHong Zhang nrow = a->rlen[row]; /* number of nonzeros in row */ 1423d4002b98SHong Zhang /* 1424d4002b98SHong Zhang Search for the nearest nonzero. Normally setting the index to zero may cause extra communication. 1425d4002b98SHong Zhang But if the entire slice are empty, it is fine to use 0 since the index will not be loaded. 1426d4002b98SHong Zhang */ 1427d4002b98SHong Zhang lastcol = 0; 1428d4002b98SHong Zhang if (nrow > 0) { /* nonempty row */ 1429d4002b98SHong Zhang lastcol = cp[8 * (nrow - 1) + row_in_slice]; /* use the index from the last nonzero at current row */ 1430d4002b98SHong Zhang } else if (!row_in_slice) { /* first row of the currect slice is empty */ 1431d4002b98SHong Zhang for (j = 1; j < 8; j++) { 1432d4002b98SHong Zhang if (a->rlen[8 * i + j]) { 1433d4002b98SHong Zhang lastcol = cp[j]; 1434d4002b98SHong Zhang break; 1435d4002b98SHong Zhang } 1436d4002b98SHong Zhang } 1437d4002b98SHong Zhang } else { 1438d4002b98SHong Zhang if (a->sliidx[i + 1] != shift) lastcol = cp[row_in_slice - 1]; /* use the index from the previous row */ 1439d4002b98SHong Zhang } 1440d4002b98SHong Zhang 1441d4002b98SHong Zhang for (k = nrow; k < (a->sliidx[i + 1] - shift) / 8; ++k) { 1442d4002b98SHong Zhang cp[8 * k + row_in_slice] = lastcol; 1443d4002b98SHong Zhang vp[8 * k + row_in_slice] = (MatScalar)0; 1444d4002b98SHong Zhang } 1445d4002b98SHong Zhang } 1446d4002b98SHong Zhang } 1447d4002b98SHong Zhang 1448d4002b98SHong Zhang A->info.mallocs += a->reallocs; 1449d4002b98SHong Zhang a->reallocs = 0; 1450d4002b98SHong Zhang 14519566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 1452d4002b98SHong Zhang PetscFunctionReturn(0); 1453d4002b98SHong Zhang } 1454d4002b98SHong Zhang 1455d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetInfo_SeqSELL(Mat A, MatInfoType flag, MatInfo *info) 1456d71ae5a4SJacob Faibussowitsch { 1457d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1458d4002b98SHong Zhang 1459d4002b98SHong Zhang PetscFunctionBegin; 1460d4002b98SHong Zhang info->block_size = 1.0; 14613966268fSBarry Smith info->nz_allocated = a->maxallocmat; 14623966268fSBarry Smith info->nz_used = a->sliidx[a->totalslices]; /* include padding zeros */ 14633966268fSBarry Smith info->nz_unneeded = (a->maxallocmat - a->sliidx[a->totalslices]); 14643966268fSBarry Smith info->assemblies = A->num_ass; 14653966268fSBarry Smith info->mallocs = A->info.mallocs; 14664dfa11a4SJacob Faibussowitsch info->memory = 0; /* REVIEW ME */ 1467d4002b98SHong Zhang if (A->factortype) { 1468d4002b98SHong Zhang info->fill_ratio_given = A->info.fill_ratio_given; 1469d4002b98SHong Zhang info->fill_ratio_needed = A->info.fill_ratio_needed; 1470d4002b98SHong Zhang info->factor_mallocs = A->info.factor_mallocs; 1471d4002b98SHong Zhang } else { 1472d4002b98SHong Zhang info->fill_ratio_given = 0; 1473d4002b98SHong Zhang info->fill_ratio_needed = 0; 1474d4002b98SHong Zhang info->factor_mallocs = 0; 1475d4002b98SHong Zhang } 1476d4002b98SHong Zhang PetscFunctionReturn(0); 1477d4002b98SHong Zhang } 1478d4002b98SHong Zhang 1479d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is) 1480d71ae5a4SJacob Faibussowitsch { 1481d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1482d4002b98SHong Zhang PetscInt shift, i, k, l, low, high, t, ii, row, col, nrow; 1483d4002b98SHong Zhang PetscInt *cp, nonew = a->nonew, lastcol = -1; 1484d4002b98SHong Zhang MatScalar *vp, value; 1485d4002b98SHong Zhang 1486d4002b98SHong Zhang PetscFunctionBegin; 1487d4002b98SHong Zhang for (k = 0; k < m; k++) { /* loop over added rows */ 1488d4002b98SHong Zhang row = im[k]; 1489d4002b98SHong Zhang if (row < 0) continue; 14906bdcaf15SBarry 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); 1491d4002b98SHong Zhang shift = a->sliidx[row >> 3] + (row & 0x07); /* starting index of the row */ 1492d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1493d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 1494d4002b98SHong Zhang nrow = a->rlen[row]; 1495d4002b98SHong Zhang low = 0; 1496d4002b98SHong Zhang high = nrow; 1497d4002b98SHong Zhang 1498d4002b98SHong Zhang for (l = 0; l < n; l++) { /* loop over added columns */ 1499d4002b98SHong Zhang col = in[l]; 1500d4002b98SHong Zhang if (col < 0) continue; 15016bdcaf15SBarry 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); 1502d4002b98SHong Zhang if (a->roworiented) { 1503d4002b98SHong Zhang value = v[l + k * n]; 1504d4002b98SHong Zhang } else { 1505d4002b98SHong Zhang value = v[k + l * m]; 1506d4002b98SHong Zhang } 1507d4002b98SHong Zhang if ((value == 0.0 && a->ignorezeroentries) && (is == ADD_VALUES)) continue; 1508d4002b98SHong Zhang 1509ed73aabaSBarry Smith /* search in this row for the specified column, i indicates the column to be set */ 1510d4002b98SHong Zhang if (col <= lastcol) low = 0; 1511d4002b98SHong Zhang else high = nrow; 1512d4002b98SHong Zhang lastcol = col; 1513d4002b98SHong Zhang while (high - low > 5) { 1514d4002b98SHong Zhang t = (low + high) / 2; 1515d4002b98SHong Zhang if (*(cp + t * 8) > col) high = t; 1516d4002b98SHong Zhang else low = t; 1517d4002b98SHong Zhang } 1518d4002b98SHong Zhang for (i = low; i < high; i++) { 1519d4002b98SHong Zhang if (*(cp + i * 8) > col) break; 1520d4002b98SHong Zhang if (*(cp + i * 8) == col) { 1521d4002b98SHong Zhang if (is == ADD_VALUES) *(vp + i * 8) += value; 1522d4002b98SHong Zhang else *(vp + i * 8) = value; 1523d4002b98SHong Zhang low = i + 1; 1524d4002b98SHong Zhang goto noinsert; 1525d4002b98SHong Zhang } 1526d4002b98SHong Zhang } 1527d4002b98SHong Zhang if (value == 0.0 && a->ignorezeroentries) goto noinsert; 1528d4002b98SHong Zhang if (nonew == 1) goto noinsert; 152908401ef6SPierre Jolivet PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new nonzero (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col); 1530d4002b98SHong Zhang /* If the current row length exceeds the slice width (e.g. nrow==slice_width), allocate a new space, otherwise do nothing */ 1531d4002b98SHong Zhang MatSeqXSELLReallocateSELL(A, A->rmap->n, 1, nrow, a->sliidx, row / 8, row, col, a->colidx, a->val, cp, vp, nonew, MatScalar); 1532d4002b98SHong Zhang /* add the new nonzero to the high position, shift the remaining elements in current row to the right by one slot */ 1533d4002b98SHong Zhang for (ii = nrow - 1; ii >= i; ii--) { 1534d4002b98SHong Zhang *(cp + (ii + 1) * 8) = *(cp + ii * 8); 1535d4002b98SHong Zhang *(vp + (ii + 1) * 8) = *(vp + ii * 8); 1536d4002b98SHong Zhang } 1537d4002b98SHong Zhang a->rlen[row]++; 1538d4002b98SHong Zhang *(cp + i * 8) = col; 1539d4002b98SHong Zhang *(vp + i * 8) = value; 1540d4002b98SHong Zhang a->nz++; 1541d4002b98SHong Zhang A->nonzerostate++; 15429371c9d4SSatish Balay low = i + 1; 15439371c9d4SSatish Balay high++; 15449371c9d4SSatish Balay nrow++; 1545d4002b98SHong Zhang noinsert:; 1546d4002b98SHong Zhang } 1547d4002b98SHong Zhang a->rlen[row] = nrow; 1548d4002b98SHong Zhang } 1549d4002b98SHong Zhang PetscFunctionReturn(0); 1550d4002b98SHong Zhang } 1551d4002b98SHong Zhang 1552d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCopy_SeqSELL(Mat A, Mat B, MatStructure str) 1553d71ae5a4SJacob Faibussowitsch { 1554d4002b98SHong Zhang PetscFunctionBegin; 1555d4002b98SHong Zhang /* If the two matrices have the same copy implementation, use fast copy. */ 1556d4002b98SHong Zhang if (str == SAME_NONZERO_PATTERN && (A->ops->copy == B->ops->copy)) { 1557d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1558d4002b98SHong Zhang Mat_SeqSELL *b = (Mat_SeqSELL *)B->data; 1559d4002b98SHong Zhang 156008401ef6SPierre 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"); 15619566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(b->val, a->val, a->sliidx[a->totalslices])); 1562d4002b98SHong Zhang } else { 15639566063dSJacob Faibussowitsch PetscCall(MatCopy_Basic(A, B, str)); 1564d4002b98SHong Zhang } 1565d4002b98SHong Zhang PetscFunctionReturn(0); 1566d4002b98SHong Zhang } 1567d4002b98SHong Zhang 1568d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetUp_SeqSELL(Mat A) 1569d71ae5a4SJacob Faibussowitsch { 1570d4002b98SHong Zhang PetscFunctionBegin; 15719566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(A, PETSC_DEFAULT, NULL)); 1572d4002b98SHong Zhang PetscFunctionReturn(0); 1573d4002b98SHong Zhang } 1574d4002b98SHong Zhang 1575d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat A, PetscScalar *array[]) 1576d71ae5a4SJacob Faibussowitsch { 1577d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1578d4002b98SHong Zhang 1579d4002b98SHong Zhang PetscFunctionBegin; 1580d4002b98SHong Zhang *array = a->val; 1581d4002b98SHong Zhang PetscFunctionReturn(0); 1582d4002b98SHong Zhang } 1583d4002b98SHong Zhang 1584d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat A, PetscScalar *array[]) 1585d71ae5a4SJacob Faibussowitsch { 1586d4002b98SHong Zhang PetscFunctionBegin; 1587d4002b98SHong Zhang PetscFunctionReturn(0); 1588d4002b98SHong Zhang } 1589d4002b98SHong Zhang 1590d71ae5a4SJacob Faibussowitsch PetscErrorCode MatRealPart_SeqSELL(Mat A) 1591d71ae5a4SJacob Faibussowitsch { 1592d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1593d4002b98SHong Zhang PetscInt i; 1594d4002b98SHong Zhang MatScalar *aval = a->val; 1595d4002b98SHong Zhang 1596d4002b98SHong Zhang PetscFunctionBegin; 1597d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) aval[i] = PetscRealPart(aval[i]); 1598d4002b98SHong Zhang PetscFunctionReturn(0); 1599d4002b98SHong Zhang } 1600d4002b98SHong Zhang 1601d71ae5a4SJacob Faibussowitsch PetscErrorCode MatImaginaryPart_SeqSELL(Mat A) 1602d71ae5a4SJacob Faibussowitsch { 1603d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1604d4002b98SHong Zhang PetscInt i; 1605d4002b98SHong Zhang MatScalar *aval = a->val; 1606d4002b98SHong Zhang 1607d4002b98SHong Zhang PetscFunctionBegin; 1608d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) aval[i] = PetscImaginaryPart(aval[i]); 16099566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 1610d4002b98SHong Zhang PetscFunctionReturn(0); 1611d4002b98SHong Zhang } 1612d4002b98SHong Zhang 1613d71ae5a4SJacob Faibussowitsch PetscErrorCode MatScale_SeqSELL(Mat inA, PetscScalar alpha) 1614d71ae5a4SJacob Faibussowitsch { 1615d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)inA->data; 1616d4002b98SHong Zhang MatScalar *aval = a->val; 1617d4002b98SHong Zhang PetscScalar oalpha = alpha; 1618d4002b98SHong Zhang PetscBLASInt one = 1, size; 1619d4002b98SHong Zhang 1620d4002b98SHong Zhang PetscFunctionBegin; 16219566063dSJacob Faibussowitsch PetscCall(PetscBLASIntCast(a->sliidx[a->totalslices], &size)); 1622792fecdfSBarry Smith PetscCallBLAS("BLASscal", BLASscal_(&size, &oalpha, aval, &one)); 16239566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 16249566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(inA)); 1625d4002b98SHong Zhang PetscFunctionReturn(0); 1626d4002b98SHong Zhang } 1627d4002b98SHong Zhang 1628d71ae5a4SJacob Faibussowitsch PetscErrorCode MatShift_SeqSELL(Mat Y, PetscScalar a) 1629d71ae5a4SJacob Faibussowitsch { 1630d4002b98SHong Zhang Mat_SeqSELL *y = (Mat_SeqSELL *)Y->data; 1631d4002b98SHong Zhang 1632d4002b98SHong Zhang PetscFunctionBegin; 163348a46eb9SPierre Jolivet if (!Y->preallocated || !y->nz) PetscCall(MatSeqSELLSetPreallocation(Y, 1, NULL)); 16349566063dSJacob Faibussowitsch PetscCall(MatShift_Basic(Y, a)); 1635d4002b98SHong Zhang PetscFunctionReturn(0); 1636d4002b98SHong Zhang } 1637d4002b98SHong Zhang 1638d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSOR_SeqSELL(Mat A, Vec bb, PetscReal omega, MatSORType flag, PetscReal fshift, PetscInt its, PetscInt lits, Vec xx) 1639d71ae5a4SJacob Faibussowitsch { 1640d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1641d4002b98SHong Zhang PetscScalar *x, sum, *t; 1642f4259b30SLisandro Dalcin const MatScalar *idiag = NULL, *mdiag; 1643d4002b98SHong Zhang const PetscScalar *b, *xb; 1644d4002b98SHong Zhang PetscInt n, m = A->rmap->n, i, j, shift; 1645d4002b98SHong Zhang const PetscInt *diag; 1646d4002b98SHong Zhang 1647d4002b98SHong Zhang PetscFunctionBegin; 1648d4002b98SHong Zhang its = its * lits; 1649d4002b98SHong Zhang 1650d4002b98SHong Zhang if (fshift != a->fshift || omega != a->omega) a->idiagvalid = PETSC_FALSE; /* must recompute idiag[] */ 16519566063dSJacob Faibussowitsch if (!a->idiagvalid) PetscCall(MatInvertDiagonal_SeqSELL(A, omega, fshift)); 1652d4002b98SHong Zhang a->fshift = fshift; 1653d4002b98SHong Zhang a->omega = omega; 1654d4002b98SHong Zhang 1655d4002b98SHong Zhang diag = a->diag; 1656d4002b98SHong Zhang t = a->ssor_work; 1657d4002b98SHong Zhang idiag = a->idiag; 1658d4002b98SHong Zhang mdiag = a->mdiag; 1659d4002b98SHong Zhang 16609566063dSJacob Faibussowitsch PetscCall(VecGetArray(xx, &x)); 16619566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(bb, &b)); 1662d4002b98SHong Zhang /* We count flops by assuming the upper triangular and lower triangular parts have the same number of nonzeros */ 166308401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_UPPER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_UPPER is not implemented"); 166408401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_LOWER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_LOWER is not implemented"); 1665aed4548fSBarry Smith PetscCheck(!(flag & SOR_EISENSTAT), PETSC_COMM_SELF, PETSC_ERR_SUP, "No support yet for Eisenstat"); 1666d4002b98SHong Zhang 1667d4002b98SHong Zhang if (flag & SOR_ZERO_INITIAL_GUESS) { 1668d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1669d4002b98SHong Zhang for (i = 0; i < m; i++) { 1670d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 1671d4002b98SHong Zhang sum = b[i]; 1672d4002b98SHong Zhang n = (diag[i] - shift) / 8; 1673d4002b98SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]]; 1674d4002b98SHong Zhang t[i] = sum; 1675d4002b98SHong Zhang x[i] = sum * idiag[i]; 1676d4002b98SHong Zhang } 1677d4002b98SHong Zhang xb = t; 16789566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1679d4002b98SHong Zhang } else xb = b; 1680d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1681d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 1682d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 1683d4002b98SHong Zhang sum = xb[i]; 1684d4002b98SHong Zhang n = a->rlen[i] - (diag[i] - shift) / 8 - 1; 1685d4002b98SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]]; 1686d4002b98SHong Zhang if (xb == b) { 1687d4002b98SHong Zhang x[i] = sum * idiag[i]; 1688d4002b98SHong Zhang } else { 1689d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1690d4002b98SHong Zhang } 1691d4002b98SHong Zhang } 16929566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1693d4002b98SHong Zhang } 1694d4002b98SHong Zhang its--; 1695d4002b98SHong Zhang } 1696d4002b98SHong Zhang while (its--) { 1697d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1698d4002b98SHong Zhang for (i = 0; i < m; i++) { 1699d4002b98SHong Zhang /* lower */ 1700d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 1701d4002b98SHong Zhang sum = b[i]; 1702d4002b98SHong Zhang n = (diag[i] - shift) / 8; 1703d4002b98SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]]; 1704d4002b98SHong Zhang t[i] = sum; /* save application of the lower-triangular part */ 1705d4002b98SHong Zhang /* upper */ 1706d4002b98SHong Zhang n = a->rlen[i] - (diag[i] - shift) / 8 - 1; 1707d4002b98SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]]; 1708d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1709d4002b98SHong Zhang } 1710d4002b98SHong Zhang xb = t; 17119566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1712d4002b98SHong Zhang } else xb = b; 1713d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1714d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 1715d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 1716d4002b98SHong Zhang sum = xb[i]; 1717d4002b98SHong Zhang if (xb == b) { 1718d4002b98SHong Zhang /* whole matrix (no checkpointing available) */ 1719d4002b98SHong Zhang n = a->rlen[i]; 1720d4002b98SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]]; 1721d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + (sum + mdiag[i] * x[i]) * idiag[i]; 1722d4002b98SHong Zhang } else { /* lower-triangular part has been saved, so only apply upper-triangular */ 1723d4002b98SHong Zhang n = a->rlen[i] - (diag[i] - shift) / 8 - 1; 1724d4002b98SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]]; 1725d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1726d4002b98SHong Zhang } 1727d4002b98SHong Zhang } 1728d4002b98SHong Zhang if (xb == b) { 17299566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1730d4002b98SHong Zhang } else { 17319566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1732d4002b98SHong Zhang } 1733d4002b98SHong Zhang } 1734d4002b98SHong Zhang } 17359566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(xx, &x)); 17369566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(bb, &b)); 1737d4002b98SHong Zhang PetscFunctionReturn(0); 1738d4002b98SHong Zhang } 1739d4002b98SHong Zhang 1740d4002b98SHong Zhang /* -------------------------------------------------------------------*/ 1741d4002b98SHong Zhang static struct _MatOps MatOps_Values = {MatSetValues_SeqSELL, 17426108893eSStefano Zampini MatGetRow_SeqSELL, 17436108893eSStefano Zampini MatRestoreRow_SeqSELL, 1744d4002b98SHong Zhang MatMult_SeqSELL, 1745d4002b98SHong Zhang /* 4*/ MatMultAdd_SeqSELL, 1746d4002b98SHong Zhang MatMultTranspose_SeqSELL, 1747d4002b98SHong Zhang MatMultTransposeAdd_SeqSELL, 1748f4259b30SLisandro Dalcin NULL, 1749f4259b30SLisandro Dalcin NULL, 1750f4259b30SLisandro Dalcin NULL, 1751f4259b30SLisandro Dalcin /* 10*/ NULL, 1752f4259b30SLisandro Dalcin NULL, 1753f4259b30SLisandro Dalcin NULL, 1754d4002b98SHong Zhang MatSOR_SeqSELL, 1755f4259b30SLisandro Dalcin NULL, 1756d4002b98SHong Zhang /* 15*/ MatGetInfo_SeqSELL, 1757d4002b98SHong Zhang MatEqual_SeqSELL, 1758d4002b98SHong Zhang MatGetDiagonal_SeqSELL, 1759d4002b98SHong Zhang MatDiagonalScale_SeqSELL, 1760f4259b30SLisandro Dalcin NULL, 1761f4259b30SLisandro Dalcin /* 20*/ NULL, 1762d4002b98SHong Zhang MatAssemblyEnd_SeqSELL, 1763d4002b98SHong Zhang MatSetOption_SeqSELL, 1764d4002b98SHong Zhang MatZeroEntries_SeqSELL, 1765f4259b30SLisandro Dalcin /* 24*/ NULL, 1766f4259b30SLisandro Dalcin NULL, 1767f4259b30SLisandro Dalcin NULL, 1768f4259b30SLisandro Dalcin NULL, 1769f4259b30SLisandro Dalcin NULL, 1770d4002b98SHong Zhang /* 29*/ MatSetUp_SeqSELL, 1771f4259b30SLisandro Dalcin NULL, 1772f4259b30SLisandro Dalcin NULL, 1773f4259b30SLisandro Dalcin NULL, 1774f4259b30SLisandro Dalcin NULL, 1775d4002b98SHong Zhang /* 34*/ MatDuplicate_SeqSELL, 1776f4259b30SLisandro Dalcin NULL, 1777f4259b30SLisandro Dalcin NULL, 1778f4259b30SLisandro Dalcin NULL, 1779f4259b30SLisandro Dalcin NULL, 1780f4259b30SLisandro Dalcin /* 39*/ NULL, 1781f4259b30SLisandro Dalcin NULL, 1782f4259b30SLisandro Dalcin NULL, 1783d4002b98SHong Zhang MatGetValues_SeqSELL, 1784d4002b98SHong Zhang MatCopy_SeqSELL, 1785f4259b30SLisandro Dalcin /* 44*/ NULL, 1786d4002b98SHong Zhang MatScale_SeqSELL, 1787d4002b98SHong Zhang MatShift_SeqSELL, 1788f4259b30SLisandro Dalcin NULL, 1789f4259b30SLisandro Dalcin NULL, 1790f4259b30SLisandro Dalcin /* 49*/ NULL, 1791f4259b30SLisandro Dalcin NULL, 1792f4259b30SLisandro Dalcin NULL, 1793f4259b30SLisandro Dalcin NULL, 1794f4259b30SLisandro Dalcin NULL, 1795d4002b98SHong Zhang /* 54*/ MatFDColoringCreate_SeqXAIJ, 1796f4259b30SLisandro Dalcin NULL, 1797f4259b30SLisandro Dalcin NULL, 1798f4259b30SLisandro Dalcin NULL, 1799f4259b30SLisandro Dalcin NULL, 1800f4259b30SLisandro Dalcin /* 59*/ NULL, 1801d4002b98SHong Zhang MatDestroy_SeqSELL, 1802d4002b98SHong Zhang MatView_SeqSELL, 1803f4259b30SLisandro Dalcin NULL, 1804f4259b30SLisandro Dalcin NULL, 1805f4259b30SLisandro Dalcin /* 64*/ NULL, 1806f4259b30SLisandro Dalcin NULL, 1807f4259b30SLisandro Dalcin NULL, 1808f4259b30SLisandro Dalcin NULL, 1809f4259b30SLisandro Dalcin NULL, 1810f4259b30SLisandro Dalcin /* 69*/ NULL, 1811f4259b30SLisandro Dalcin NULL, 1812f4259b30SLisandro Dalcin NULL, 1813f4259b30SLisandro Dalcin NULL, 1814f4259b30SLisandro Dalcin NULL, 1815f4259b30SLisandro Dalcin /* 74*/ NULL, 1816d4002b98SHong Zhang MatFDColoringApply_AIJ, /* reuse the FDColoring function for AIJ */ 1817f4259b30SLisandro Dalcin NULL, 1818f4259b30SLisandro Dalcin NULL, 1819f4259b30SLisandro Dalcin NULL, 1820f4259b30SLisandro Dalcin /* 79*/ NULL, 1821f4259b30SLisandro Dalcin NULL, 1822f4259b30SLisandro Dalcin NULL, 1823f4259b30SLisandro Dalcin NULL, 1824f4259b30SLisandro Dalcin NULL, 1825f4259b30SLisandro Dalcin /* 84*/ NULL, 1826f4259b30SLisandro Dalcin NULL, 1827f4259b30SLisandro Dalcin NULL, 1828f4259b30SLisandro Dalcin NULL, 1829f4259b30SLisandro Dalcin NULL, 1830f4259b30SLisandro Dalcin /* 89*/ NULL, 1831f4259b30SLisandro Dalcin NULL, 1832f4259b30SLisandro Dalcin NULL, 1833f4259b30SLisandro Dalcin NULL, 1834f4259b30SLisandro Dalcin NULL, 1835f4259b30SLisandro Dalcin /* 94*/ NULL, 1836f4259b30SLisandro Dalcin NULL, 1837f4259b30SLisandro Dalcin NULL, 1838f4259b30SLisandro Dalcin NULL, 1839f4259b30SLisandro Dalcin NULL, 1840f4259b30SLisandro Dalcin /* 99*/ NULL, 1841f4259b30SLisandro Dalcin NULL, 1842f4259b30SLisandro Dalcin NULL, 1843d4002b98SHong Zhang MatConjugate_SeqSELL, 1844f4259b30SLisandro Dalcin NULL, 1845f4259b30SLisandro Dalcin /*104*/ NULL, 1846f4259b30SLisandro Dalcin NULL, 1847f4259b30SLisandro Dalcin NULL, 1848f4259b30SLisandro Dalcin NULL, 1849f4259b30SLisandro Dalcin NULL, 1850f4259b30SLisandro Dalcin /*109*/ NULL, 1851f4259b30SLisandro Dalcin NULL, 1852f4259b30SLisandro Dalcin NULL, 1853f4259b30SLisandro Dalcin NULL, 1854d4002b98SHong Zhang MatMissingDiagonal_SeqSELL, 1855f4259b30SLisandro Dalcin /*114*/ NULL, 1856f4259b30SLisandro Dalcin NULL, 1857f4259b30SLisandro Dalcin NULL, 1858f4259b30SLisandro Dalcin NULL, 1859f4259b30SLisandro Dalcin NULL, 1860f4259b30SLisandro Dalcin /*119*/ NULL, 1861f4259b30SLisandro Dalcin NULL, 1862f4259b30SLisandro Dalcin NULL, 1863f4259b30SLisandro Dalcin NULL, 1864f4259b30SLisandro Dalcin NULL, 1865f4259b30SLisandro Dalcin /*124*/ NULL, 1866f4259b30SLisandro Dalcin NULL, 1867f4259b30SLisandro Dalcin NULL, 1868f4259b30SLisandro Dalcin NULL, 1869f4259b30SLisandro Dalcin NULL, 1870f4259b30SLisandro Dalcin /*129*/ NULL, 1871f4259b30SLisandro Dalcin NULL, 1872f4259b30SLisandro Dalcin NULL, 1873f4259b30SLisandro Dalcin NULL, 1874f4259b30SLisandro Dalcin NULL, 1875f4259b30SLisandro Dalcin /*134*/ NULL, 1876f4259b30SLisandro Dalcin NULL, 1877f4259b30SLisandro Dalcin NULL, 1878f4259b30SLisandro Dalcin NULL, 1879f4259b30SLisandro Dalcin NULL, 1880f4259b30SLisandro Dalcin /*139*/ NULL, 1881f4259b30SLisandro Dalcin NULL, 1882f4259b30SLisandro Dalcin NULL, 1883d4002b98SHong Zhang MatFDColoringSetUp_SeqXAIJ, 1884f4259b30SLisandro Dalcin NULL, 1885d70f29a3SPierre Jolivet /*144*/ NULL, 1886d70f29a3SPierre Jolivet NULL, 1887d70f29a3SPierre Jolivet NULL, 188899a7f59eSMark Adams NULL, 188999a7f59eSMark Adams NULL, 18907fb60732SBarry Smith NULL, 18919371c9d4SSatish Balay /*150*/ NULL}; 1892d4002b98SHong Zhang 1893d71ae5a4SJacob Faibussowitsch PetscErrorCode MatStoreValues_SeqSELL(Mat mat) 1894d71ae5a4SJacob Faibussowitsch { 1895d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1896d4002b98SHong Zhang 1897d4002b98SHong Zhang PetscFunctionBegin; 189828b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 1899d4002b98SHong Zhang 1900d4002b98SHong Zhang /* allocate space for values if not already there */ 19014dfa11a4SJacob Faibussowitsch if (!a->saved_values) { PetscCall(PetscMalloc1(a->sliidx[a->totalslices] + 1, &a->saved_values)); } 1902d4002b98SHong Zhang 1903d4002b98SHong Zhang /* copy values over */ 19049566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->saved_values, a->val, a->sliidx[a->totalslices])); 1905d4002b98SHong Zhang PetscFunctionReturn(0); 1906d4002b98SHong Zhang } 1907d4002b98SHong Zhang 1908d71ae5a4SJacob Faibussowitsch PetscErrorCode MatRetrieveValues_SeqSELL(Mat mat) 1909d71ae5a4SJacob Faibussowitsch { 1910d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1911d4002b98SHong Zhang 1912d4002b98SHong Zhang PetscFunctionBegin; 191328b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 191428b400f6SJacob Faibussowitsch PetscCheck(a->saved_values, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatStoreValues(A);first"); 19159566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->val, a->saved_values, a->sliidx[a->totalslices])); 1916d4002b98SHong Zhang PetscFunctionReturn(0); 1917d4002b98SHong Zhang } 1918d4002b98SHong Zhang 1919d4002b98SHong Zhang /*@C 192011a5261eSBarry Smith MatSeqSELLRestoreArray - returns access to the array where the data for a `MATSEQSELL` matrix is stored obtained by `MatSeqSELLGetArray()` 1921d4002b98SHong Zhang 1922d4002b98SHong Zhang Not Collective 1923d4002b98SHong Zhang 1924d4002b98SHong Zhang Input Parameters: 192511a5261eSBarry Smith . mat - a `MATSEQSELL` matrix 1926d4002b98SHong Zhang . array - pointer to the data 1927d4002b98SHong Zhang 1928d4002b98SHong Zhang Level: intermediate 1929d4002b98SHong Zhang 1930*67be906fSBarry Smith .seealso: `Mat`, `MATSEQSELL`, `MatSeqSELLGetArray()`, `MatSeqSELLRestoreArrayF90()` 1931d4002b98SHong Zhang @*/ 1932d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLRestoreArray(Mat A, PetscScalar **array) 1933d71ae5a4SJacob Faibussowitsch { 1934d4002b98SHong Zhang PetscFunctionBegin; 1935cac4c232SBarry Smith PetscUseMethod(A, "MatSeqSELLRestoreArray_C", (Mat, PetscScalar **), (A, array)); 1936d4002b98SHong Zhang PetscFunctionReturn(0); 1937d4002b98SHong Zhang } 1938d4002b98SHong Zhang 1939d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat B) 1940d71ae5a4SJacob Faibussowitsch { 1941d4002b98SHong Zhang Mat_SeqSELL *b; 1942d4002b98SHong Zhang PetscMPIInt size; 1943d4002b98SHong Zhang 1944d4002b98SHong Zhang PetscFunctionBegin; 19459566063dSJacob Faibussowitsch PetscCall(PetscCitationsRegister(citation, &cited)); 19469566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)B), &size)); 194708401ef6SPierre Jolivet PetscCheck(size <= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Comm must be of size 1"); 1948d4002b98SHong Zhang 19494dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&b)); 1950d4002b98SHong Zhang 1951d4002b98SHong Zhang B->data = (void *)b; 1952d4002b98SHong Zhang 19539566063dSJacob Faibussowitsch PetscCall(PetscMemcpy(B->ops, &MatOps_Values, sizeof(struct _MatOps))); 1954d4002b98SHong Zhang 1955f4259b30SLisandro Dalcin b->row = NULL; 1956f4259b30SLisandro Dalcin b->col = NULL; 1957f4259b30SLisandro Dalcin b->icol = NULL; 1958d4002b98SHong Zhang b->reallocs = 0; 1959d4002b98SHong Zhang b->ignorezeroentries = PETSC_FALSE; 1960d4002b98SHong Zhang b->roworiented = PETSC_TRUE; 1961d4002b98SHong Zhang b->nonew = 0; 1962f4259b30SLisandro Dalcin b->diag = NULL; 1963f4259b30SLisandro Dalcin b->solve_work = NULL; 1964f4259b30SLisandro Dalcin B->spptr = NULL; 1965f4259b30SLisandro Dalcin b->saved_values = NULL; 1966f4259b30SLisandro Dalcin b->idiag = NULL; 1967f4259b30SLisandro Dalcin b->mdiag = NULL; 1968f4259b30SLisandro Dalcin b->ssor_work = NULL; 1969d4002b98SHong Zhang b->omega = 1.0; 1970d4002b98SHong Zhang b->fshift = 0.0; 1971d4002b98SHong Zhang b->idiagvalid = PETSC_FALSE; 1972d4002b98SHong Zhang b->keepnonzeropattern = PETSC_FALSE; 1973d4002b98SHong Zhang 19749566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQSELL)); 19759566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetArray_C", MatSeqSELLGetArray_SeqSELL)); 19769566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLRestoreArray_C", MatSeqSELLRestoreArray_SeqSELL)); 19779566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatStoreValues_C", MatStoreValues_SeqSELL)); 19789566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatRetrieveValues_C", MatRetrieveValues_SeqSELL)); 19799566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetPreallocation_C", MatSeqSELLSetPreallocation_SeqSELL)); 19809566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqaij_C", MatConvert_SeqSELL_SeqAIJ)); 1981d4002b98SHong Zhang PetscFunctionReturn(0); 1982d4002b98SHong Zhang } 1983d4002b98SHong Zhang 1984d4002b98SHong Zhang /* 1985d4002b98SHong Zhang Given a matrix generated with MatGetFactor() duplicates all the information in A into B 1986d4002b98SHong Zhang */ 1987d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDuplicateNoCreate_SeqSELL(Mat C, Mat A, MatDuplicateOption cpvalues, PetscBool mallocmatspace) 1988d71ae5a4SJacob Faibussowitsch { 1989ed73aabaSBarry Smith Mat_SeqSELL *c = (Mat_SeqSELL *)C->data, *a = (Mat_SeqSELL *)A->data; 1990d4002b98SHong Zhang PetscInt i, m = A->rmap->n; 1991d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 1992d4002b98SHong Zhang 1993d4002b98SHong Zhang PetscFunctionBegin; 1994d4002b98SHong Zhang C->factortype = A->factortype; 1995f4259b30SLisandro Dalcin c->row = NULL; 1996f4259b30SLisandro Dalcin c->col = NULL; 1997f4259b30SLisandro Dalcin c->icol = NULL; 1998d4002b98SHong Zhang c->reallocs = 0; 1999d4002b98SHong Zhang C->assembled = PETSC_TRUE; 2000d4002b98SHong Zhang 20019566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->rmap, &C->rmap)); 20029566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->cmap, &C->cmap)); 2003d4002b98SHong Zhang 20049566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(8 * totalslices, &c->rlen)); 20059566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &c->sliidx)); 2006d4002b98SHong Zhang 2007d4002b98SHong Zhang for (i = 0; i < m; i++) c->rlen[i] = a->rlen[i]; 2008d4002b98SHong Zhang for (i = 0; i < totalslices + 1; i++) c->sliidx[i] = a->sliidx[i]; 2009d4002b98SHong Zhang 2010d4002b98SHong Zhang /* allocate the matrix space */ 2011d4002b98SHong Zhang if (mallocmatspace) { 20129566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(a->maxallocmat, &c->val, a->maxallocmat, &c->colidx)); 2013d4002b98SHong Zhang 2014d4002b98SHong Zhang c->singlemalloc = PETSC_TRUE; 2015d4002b98SHong Zhang 2016d4002b98SHong Zhang if (m > 0) { 20179566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->colidx, a->colidx, a->maxallocmat)); 2018d4002b98SHong Zhang if (cpvalues == MAT_COPY_VALUES) { 20199566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->val, a->val, a->maxallocmat)); 2020d4002b98SHong Zhang } else { 20219566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(c->val, a->maxallocmat)); 2022d4002b98SHong Zhang } 2023d4002b98SHong Zhang } 2024d4002b98SHong Zhang } 2025d4002b98SHong Zhang 2026d4002b98SHong Zhang c->ignorezeroentries = a->ignorezeroentries; 2027d4002b98SHong Zhang c->roworiented = a->roworiented; 2028d4002b98SHong Zhang c->nonew = a->nonew; 2029d4002b98SHong Zhang if (a->diag) { 20309566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &c->diag)); 2031ad540459SPierre Jolivet for (i = 0; i < m; i++) c->diag[i] = a->diag[i]; 2032f4259b30SLisandro Dalcin } else c->diag = NULL; 2033d4002b98SHong Zhang 2034f4259b30SLisandro Dalcin c->solve_work = NULL; 2035f4259b30SLisandro Dalcin c->saved_values = NULL; 2036f4259b30SLisandro Dalcin c->idiag = NULL; 2037f4259b30SLisandro Dalcin c->ssor_work = NULL; 2038d4002b98SHong Zhang c->keepnonzeropattern = a->keepnonzeropattern; 2039d4002b98SHong Zhang c->free_val = PETSC_TRUE; 2040d4002b98SHong Zhang c->free_colidx = PETSC_TRUE; 2041d4002b98SHong Zhang 2042d4002b98SHong Zhang c->maxallocmat = a->maxallocmat; 2043d4002b98SHong Zhang c->maxallocrow = a->maxallocrow; 2044d4002b98SHong Zhang c->rlenmax = a->rlenmax; 2045d4002b98SHong Zhang c->nz = a->nz; 2046d4002b98SHong Zhang C->preallocated = PETSC_TRUE; 2047d4002b98SHong Zhang 2048d4002b98SHong Zhang c->nonzerorowcnt = a->nonzerorowcnt; 2049d4002b98SHong Zhang C->nonzerostate = A->nonzerostate; 2050d4002b98SHong Zhang 20519566063dSJacob Faibussowitsch PetscCall(PetscFunctionListDuplicate(((PetscObject)A)->qlist, &((PetscObject)C)->qlist)); 2052d4002b98SHong Zhang PetscFunctionReturn(0); 2053d4002b98SHong Zhang } 2054d4002b98SHong Zhang 2055d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDuplicate_SeqSELL(Mat A, MatDuplicateOption cpvalues, Mat *B) 2056d71ae5a4SJacob Faibussowitsch { 2057d4002b98SHong Zhang PetscFunctionBegin; 20589566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), B)); 20599566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*B, A->rmap->n, A->cmap->n, A->rmap->n, A->cmap->n)); 206048a46eb9SPierre Jolivet if (!(A->rmap->n % A->rmap->bs) && !(A->cmap->n % A->cmap->bs)) PetscCall(MatSetBlockSizesFromMats(*B, A, A)); 20619566063dSJacob Faibussowitsch PetscCall(MatSetType(*B, ((PetscObject)A)->type_name)); 20629566063dSJacob Faibussowitsch PetscCall(MatDuplicateNoCreate_SeqSELL(*B, A, cpvalues, PETSC_TRUE)); 2063d4002b98SHong Zhang PetscFunctionReturn(0); 2064d4002b98SHong Zhang } 2065d4002b98SHong Zhang 2066ed73aabaSBarry Smith /*MC 2067ed73aabaSBarry Smith MATSEQSELL - MATSEQSELL = "seqsell" - A matrix type to be used for sequential sparse matrices, 2068ed73aabaSBarry Smith based on the sliced Ellpack format 2069ed73aabaSBarry Smith 2070ed73aabaSBarry Smith Options Database Keys: 207111a5261eSBarry Smith . -mat_type seqsell - sets the matrix type to "`MATSEQELL` during a call to `MatSetFromOptions()` 2072ed73aabaSBarry Smith 2073ed73aabaSBarry Smith Level: beginner 2074ed73aabaSBarry Smith 2075*67be906fSBarry Smith .seealso: `Mat`, `MatCreateSeqSell()`, `MATSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATAIJ`, `MATMPIAIJ` 2076ed73aabaSBarry Smith M*/ 2077ed73aabaSBarry Smith 2078ed73aabaSBarry Smith /*MC 2079ed73aabaSBarry Smith MATSELL - MATSELL = "sell" - A matrix type to be used for sparse matrices. 2080ed73aabaSBarry Smith 208111a5261eSBarry Smith This matrix type is identical to `MATSEQSELL` when constructed with a single process communicator, 208211a5261eSBarry Smith and `MATMPISELL` otherwise. As a result, for single process communicators, 208311a5261eSBarry Smith `MatSeqSELLSetPreallocation()` is supported, and similarly `MatMPISELLSetPreallocation()` is supported 2084ed73aabaSBarry Smith for communicators controlling multiple processes. It is recommended that you call both of 2085ed73aabaSBarry Smith the above preallocation routines for simplicity. 2086ed73aabaSBarry Smith 2087ed73aabaSBarry Smith Options Database Keys: 2088ed73aabaSBarry Smith . -mat_type sell - sets the matrix type to "sell" during a call to MatSetFromOptions() 2089ed73aabaSBarry Smith 2090ed73aabaSBarry Smith Level: beginner 2091ed73aabaSBarry Smith 2092ed73aabaSBarry Smith Notes: 2093ed73aabaSBarry Smith This format is only supported for real scalars, double precision, and 32 bit indices (the defaults). 2094ed73aabaSBarry Smith 2095ed73aabaSBarry Smith It can provide better performance on Intel and AMD processes with AVX2 or AVX512 support for matrices that have a similar number of 2096ed73aabaSBarry Smith non-zeros in contiguous groups of rows. However if the computation is memory bandwidth limited it may not provide much improvement. 2097ed73aabaSBarry Smith 2098ed73aabaSBarry Smith Developer Notes: 2099ed73aabaSBarry Smith On Intel (and AMD) systems some of the matrix operations use SIMD (AVX) instructions to achieve higher performance. 2100ed73aabaSBarry Smith 2101ed73aabaSBarry Smith The sparse matrix format is as follows. For simplicity we assume a slice size of 2, it is actually 8 2102ed73aabaSBarry Smith .vb 2103ed73aabaSBarry Smith (2 0 3 4) 2104ed73aabaSBarry Smith Consider the matrix A = (5 0 6 0) 2105ed73aabaSBarry Smith (0 0 7 8) 2106ed73aabaSBarry Smith (0 0 9 9) 2107ed73aabaSBarry Smith 2108ed73aabaSBarry Smith symbolically the Ellpack format can be written as 2109ed73aabaSBarry Smith 2110ed73aabaSBarry Smith (2 3 4 |) (0 2 3 |) 2111ed73aabaSBarry Smith v = (5 6 0 |) colidx = (0 2 2 |) 2112ed73aabaSBarry Smith -------- --------- 2113ed73aabaSBarry Smith (7 8 |) (2 3 |) 2114ed73aabaSBarry Smith (9 9 |) (2 3 |) 2115ed73aabaSBarry Smith 2116ed73aabaSBarry 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). 2117ed73aabaSBarry 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 2118ed73aabaSBarry 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. 2119ed73aabaSBarry Smith 2120ed73aabaSBarry 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) 2121ed73aabaSBarry Smith 2122ed73aabaSBarry Smith .ve 2123ed73aabaSBarry Smith 2124ed73aabaSBarry Smith See MatMult_SeqSELL() for how this format is used with the SIMD operations to achieve high performance. 2125ed73aabaSBarry Smith 2126ed73aabaSBarry Smith References: 2127606c0280SSatish Balay . * - Hong Zhang, Richard T. Mills, Karl Rupp, and Barry F. Smith, Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512}, 2128ed73aabaSBarry Smith Proceedings of the 47th International Conference on Parallel Processing, 2018. 2129ed73aabaSBarry Smith 2130*67be906fSBarry Smith .seealso: `Mat`, `MatCreateSeqSELL()`, `MatCreateSeqAIJ()`, `MatCreateSell()`, `MATSEQSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATMPIAIJ`, `MATAIJ` 2131ed73aabaSBarry Smith M*/ 2132ed73aabaSBarry Smith 2133d4002b98SHong Zhang /*@C 213411a5261eSBarry Smith MatCreateSeqSELL - Creates a sparse matrix in `MATSEQSELL` format. 2135d4002b98SHong Zhang 2136ed73aabaSBarry Smith Collective on comm 2137d4002b98SHong Zhang 2138d4002b98SHong Zhang Input Parameters: 213911a5261eSBarry Smith + comm - MPI communicator, set to `PETSC_COMM_SELF` 2140d4002b98SHong Zhang . m - number of rows 2141d4002b98SHong Zhang . n - number of columns 2142d4002b98SHong Zhang . rlenmax - maximum number of nonzeros in a row 2143d4002b98SHong Zhang - rlen - array containing the number of nonzeros in the various rows 2144d4002b98SHong Zhang (possibly different for each row) or NULL 2145d4002b98SHong Zhang 2146d4002b98SHong Zhang Output Parameter: 2147d4002b98SHong Zhang . A - the matrix 2148d4002b98SHong Zhang 214911a5261eSBarry Smith It is recommended that one use the `MatCreate()`, `MatSetType()` and/or `MatSetFromOptions()`, 2150f6f02116SRichard Tran Mills MatXXXXSetPreallocation() paradigm instead of this routine directly. 215111a5261eSBarry Smith [MatXXXXSetPreallocation() is, for example, `MatSeqSELLSetPreallocation()`] 2152d4002b98SHong Zhang 2153d4002b98SHong Zhang Notes: 2154d4002b98SHong Zhang If nnz is given then nz is ignored 2155d4002b98SHong Zhang 2156d4002b98SHong Zhang Specify the preallocated storage with either rlenmax or rlen (not both). 215711a5261eSBarry Smith Set rlenmax = `PETSC_DEFAULT` and rlen = NULL for PETSc to control dynamic memory 2158d4002b98SHong Zhang allocation. For large problems you MUST preallocate memory or you 2159d4002b98SHong Zhang will get TERRIBLE performance, see the users' manual chapter on matrices. 2160d4002b98SHong Zhang 2161d4002b98SHong Zhang Level: intermediate 2162d4002b98SHong Zhang 2163*67be906fSBarry Smith .seealso: `Mat`, `MATSEQSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatSeqSELLSetPreallocation()`, `MATSELL`, `MATSEQSELL`, `MATMPISELL` 2164d4002b98SHong Zhang @*/ 2165d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCreateSeqSELL(MPI_Comm comm, PetscInt m, PetscInt n, PetscInt maxallocrow, const PetscInt rlen[], Mat *A) 2166d71ae5a4SJacob Faibussowitsch { 2167d4002b98SHong Zhang PetscFunctionBegin; 21689566063dSJacob Faibussowitsch PetscCall(MatCreate(comm, A)); 21699566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*A, m, n, m, n)); 21709566063dSJacob Faibussowitsch PetscCall(MatSetType(*A, MATSEQSELL)); 21719566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation_SeqSELL(*A, maxallocrow, rlen)); 2172d4002b98SHong Zhang PetscFunctionReturn(0); 2173d4002b98SHong Zhang } 2174d4002b98SHong Zhang 2175d71ae5a4SJacob Faibussowitsch PetscErrorCode MatEqual_SeqSELL(Mat A, Mat B, PetscBool *flg) 2176d71ae5a4SJacob Faibussowitsch { 2177d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data, *b = (Mat_SeqSELL *)B->data; 2178d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2179d4002b98SHong Zhang 2180d4002b98SHong Zhang PetscFunctionBegin; 2181d4002b98SHong Zhang /* If the matrix dimensions are not equal,or no of nonzeros */ 2182d4002b98SHong Zhang if ((A->rmap->n != B->rmap->n) || (A->cmap->n != B->cmap->n) || (a->nz != b->nz) || (a->rlenmax != b->rlenmax)) { 2183d4002b98SHong Zhang *flg = PETSC_FALSE; 2184d4002b98SHong Zhang PetscFunctionReturn(0); 2185d4002b98SHong Zhang } 2186d4002b98SHong Zhang /* if the a->colidx are the same */ 21879566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->colidx, b->colidx, a->sliidx[totalslices], flg)); 2188d4002b98SHong Zhang if (!*flg) PetscFunctionReturn(0); 2189d4002b98SHong Zhang /* if a->val are the same */ 21909566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->val, b->val, a->sliidx[totalslices], flg)); 2191d4002b98SHong Zhang PetscFunctionReturn(0); 2192d4002b98SHong Zhang } 2193d4002b98SHong Zhang 2194d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat A) 2195d71ae5a4SJacob Faibussowitsch { 2196d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2197d4002b98SHong Zhang 2198d4002b98SHong Zhang PetscFunctionBegin; 2199d4002b98SHong Zhang a->idiagvalid = PETSC_FALSE; 2200d4002b98SHong Zhang PetscFunctionReturn(0); 2201d4002b98SHong Zhang } 2202d4002b98SHong Zhang 2203d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConjugate_SeqSELL(Mat A) 2204d71ae5a4SJacob Faibussowitsch { 2205d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 2206d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2207d4002b98SHong Zhang PetscInt i; 2208d4002b98SHong Zhang PetscScalar *val = a->val; 2209d4002b98SHong Zhang 2210d4002b98SHong Zhang PetscFunctionBegin; 2211ad540459SPierre Jolivet for (i = 0; i < a->sliidx[a->totalslices]; i++) val[i] = PetscConj(val[i]); 2212d4002b98SHong Zhang #else 2213d4002b98SHong Zhang PetscFunctionBegin; 2214d4002b98SHong Zhang #endif 2215d4002b98SHong Zhang PetscFunctionReturn(0); 2216d4002b98SHong Zhang } 2217