1d4002b98SHong Zhang /* 2d4002b98SHong Zhang Defines the basic matrix operations for the SELL matrix storage format. 3d4002b98SHong Zhang */ 4d4002b98SHong Zhang #include <../src/mat/impls/sell/seq/sell.h> /*I "petscmat.h" I*/ 5d4002b98SHong Zhang #include <petscblaslapack.h> 6d4002b98SHong Zhang #include <petsc/private/kernels/blocktranspose.h> 7ed73aabaSBarry Smith 8ed73aabaSBarry Smith static PetscBool cited = PETSC_FALSE; 99371c9d4SSatish Balay static const char citation[] = "@inproceedings{ZhangELLPACK2018,\n" 10ed73aabaSBarry Smith " author = {Hong Zhang and Richard T. Mills and Karl Rupp and Barry F. Smith},\n" 11ed73aabaSBarry Smith " title = {Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512}},\n" 12ed73aabaSBarry Smith " booktitle = {Proceedings of the 47th International Conference on Parallel Processing},\n" 13ed73aabaSBarry Smith " year = 2018\n" 14ed73aabaSBarry Smith "}\n"; 15ed73aabaSBarry Smith 165f70456aSHong 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) 174243e2ceSHong Zhang 18d4002b98SHong Zhang #include <immintrin.h> 19d4002b98SHong Zhang 20d4002b98SHong Zhang #if !defined(_MM_SCALE_8) 21d4002b98SHong Zhang #define _MM_SCALE_8 8 22d4002b98SHong Zhang #endif 23d4002b98SHong Zhang 24d4002b98SHong Zhang #if defined(__AVX512F__) 25d4002b98SHong Zhang /* these do not work 26d4002b98SHong Zhang vec_idx = _mm512_loadunpackhi_epi32(vec_idx,acolidx); 27d4002b98SHong Zhang vec_vals = _mm512_loadunpackhi_pd(vec_vals,aval); 28d4002b98SHong Zhang */ 29d4002b98SHong Zhang #define AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y) \ 30d4002b98SHong Zhang /* if the mask bit is set, copy from acolidx, otherwise from vec_idx */ \ 31ef588d5cSRichard Tran Mills vec_idx = _mm256_loadu_si256((__m256i const *)acolidx); \ 32ef588d5cSRichard Tran Mills vec_vals = _mm512_loadu_pd(aval); \ 33d4002b98SHong Zhang vec_x = _mm512_i32gather_pd(vec_idx, x, _MM_SCALE_8); \ 34a48a6482SHong Zhang vec_y = _mm512_fmadd_pd(vec_x, vec_vals, vec_y) 355f70456aSHong Zhang #elif defined(__AVX2__) && defined(__FMA__) 36a48a6482SHong Zhang #define AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y) \ 37ef588d5cSRichard Tran Mills vec_vals = _mm256_loadu_pd(aval); \ 38ef588d5cSRichard Tran Mills vec_idx = _mm_loadu_si128((__m128i const *)acolidx); /* SSE2 */ \ 39a48a6482SHong Zhang vec_x = _mm256_i32gather_pd(x, vec_idx, _MM_SCALE_8); \ 40a48a6482SHong Zhang vec_y = _mm256_fmadd_pd(vec_x, vec_vals, vec_y) 41d4002b98SHong Zhang #endif 42d4002b98SHong Zhang #endif /* PETSC_HAVE_IMMINTRIN_H */ 43d4002b98SHong Zhang 445d83a8b1SBarry Smith /*@ 45d4002b98SHong Zhang MatSeqSELLSetPreallocation - For good matrix assembly performance 4620f4b53cSBarry Smith the user should preallocate the matrix storage by setting the parameter `nz` 4720f4b53cSBarry Smith (or the array `nnz`). 48d4002b98SHong Zhang 49d083f849SBarry Smith Collective 50d4002b98SHong Zhang 51d4002b98SHong Zhang Input Parameters: 5211a5261eSBarry Smith + B - The `MATSEQSELL` matrix 5320f4b53cSBarry Smith . rlenmax - number of nonzeros per row (same for all rows), ignored if `rlen` is provided 5420f4b53cSBarry Smith - rlen - array containing the number of nonzeros in the various rows (possibly different for each row) or `NULL` 5567be906fSBarry Smith 5667be906fSBarry Smith Level: intermediate 57d4002b98SHong Zhang 58d4002b98SHong Zhang Notes: 5967be906fSBarry Smith Specify the preallocated storage with either `rlenmax` or `rlen` (not both). 6067be906fSBarry Smith Set `rlenmax` = `PETSC_DEFAULT` and `rlen` = `NULL` for PETSc to control dynamic memory 6120f4b53cSBarry Smith allocation. 62d4002b98SHong Zhang 6311a5261eSBarry Smith You can call `MatGetInfo()` to get information on how effective the preallocation was; 64d4002b98SHong Zhang for example the fields mallocs,nz_allocated,nz_used,nz_unneeded; 6567be906fSBarry Smith You can also run with the option `-info` and look for messages with the string 66d4002b98SHong Zhang malloc in them to see if additional memory allocation was needed. 67d4002b98SHong Zhang 68fe59aa6dSJacob Faibussowitsch Developer Notes: 6967be906fSBarry Smith Use `rlenmax` of `MAT_SKIP_ALLOCATION` to not allocate any space for the matrix 70d4002b98SHong Zhang entries or columns indices. 71d4002b98SHong Zhang 72c7ee91abSRichard Tran Mills The maximum number of nonzeos in any row should be as accurate as possible. 73c7ee91abSRichard Tran Mills If it is underestimated, you will get bad performance due to reallocation 7467be906fSBarry Smith (`MatSeqXSELLReallocateSELL()`). 75d4002b98SHong Zhang 7667be906fSBarry Smith .seealso: `Mat`, `MATSEQSELL`, `MATSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatGetInfo()` 77d4002b98SHong Zhang @*/ 78d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLSetPreallocation(Mat B, PetscInt rlenmax, const PetscInt rlen[]) 79d71ae5a4SJacob Faibussowitsch { 80d4002b98SHong Zhang PetscFunctionBegin; 81d4002b98SHong Zhang PetscValidHeaderSpecific(B, MAT_CLASSID, 1); 82d4002b98SHong Zhang PetscValidType(B, 1); 83cac4c232SBarry Smith PetscTryMethod(B, "MatSeqSELLSetPreallocation_C", (Mat, PetscInt, const PetscInt[]), (B, rlenmax, rlen)); 843ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 85d4002b98SHong Zhang } 86d4002b98SHong Zhang 87d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat B, PetscInt maxallocrow, const PetscInt rlen[]) 88d71ae5a4SJacob Faibussowitsch { 89d4002b98SHong Zhang Mat_SeqSELL *b; 90d4002b98SHong Zhang PetscInt i, j, totalslices; 91773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 924e58db63SHong Zhang PetscInt rlenmax = 0; 934e58db63SHong Zhang #endif 94d4002b98SHong Zhang PetscBool skipallocation = PETSC_FALSE, realalloc = PETSC_FALSE; 95d4002b98SHong Zhang 96d4002b98SHong Zhang PetscFunctionBegin; 97d4002b98SHong Zhang if (maxallocrow >= 0 || rlen) realalloc = PETSC_TRUE; 98d4002b98SHong Zhang if (maxallocrow == MAT_SKIP_ALLOCATION) { 99d4002b98SHong Zhang skipallocation = PETSC_TRUE; 100d4002b98SHong Zhang maxallocrow = 0; 101d4002b98SHong Zhang } 102d4002b98SHong Zhang 1039566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->rmap)); 1049566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->cmap)); 105d4002b98SHong Zhang 106d4002b98SHong Zhang /* FIXME: if one preallocates more space than needed, the matrix does not shrink automatically, but for best performance it should */ 107d4002b98SHong Zhang if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 5; 10808401ef6SPierre Jolivet PetscCheck(maxallocrow >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "maxallocrow cannot be less than 0: value %" PetscInt_FMT, maxallocrow); 109d4002b98SHong Zhang if (rlen) { 110d4002b98SHong Zhang for (i = 0; i < B->rmap->n; i++) { 11108401ef6SPierre 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]); 11208401ef6SPierre 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); 113d4002b98SHong Zhang } 114d4002b98SHong Zhang } 115d4002b98SHong Zhang 116d4002b98SHong Zhang B->preallocated = PETSC_TRUE; 117d4002b98SHong Zhang 118d4002b98SHong Zhang b = (Mat_SeqSELL *)B->data; 119d4002b98SHong Zhang 12007e43b41SHong Zhang if (!b->sliceheight) { /* not set yet */ 121773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 12207e43b41SHong Zhang b->sliceheight = 16; 12307e43b41SHong Zhang #else 12407e43b41SHong Zhang b->sliceheight = 8; 12507e43b41SHong Zhang #endif 12607e43b41SHong Zhang } 12707e43b41SHong Zhang totalslices = PetscCeilInt(B->rmap->n, b->sliceheight); 128d4002b98SHong Zhang b->totalslices = totalslices; 129d4002b98SHong Zhang if (!skipallocation) { 13007e43b41SHong Zhang if (B->rmap->n % b->sliceheight) PetscCall(PetscInfo(B, "Padding rows to the SEQSELL matrix because the number of rows is not the multiple of the slice height (value %" PetscInt_FMT ")\n", B->rmap->n)); 131d4002b98SHong Zhang 132d4002b98SHong Zhang if (!b->sliidx) { /* sliidx gives the starting index of each slice, the last element is the total space allocated */ 1339566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &b->sliidx)); 134d4002b98SHong Zhang } 135d4002b98SHong Zhang if (!rlen) { /* if rlen is not provided, allocate same space for all the slices */ 136d4002b98SHong Zhang if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 10; 137d4002b98SHong Zhang else if (maxallocrow < 0) maxallocrow = 1; 138773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 1394e58db63SHong Zhang rlenmax = maxallocrow; 1404e58db63SHong Zhang /* Pad the slice to DEVICE_MEM_ALIGN */ 1414e58db63SHong Zhang while (b->sliceheight * maxallocrow % DEVICE_MEM_ALIGN) maxallocrow++; 1424e58db63SHong Zhang #endif 14307e43b41SHong Zhang for (i = 0; i <= totalslices; i++) b->sliidx[i] = b->sliceheight * i * maxallocrow; 144d4002b98SHong Zhang } else { 145773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 1464e58db63SHong Zhang PetscInt mul = DEVICE_MEM_ALIGN / b->sliceheight; 1474e58db63SHong Zhang #endif 148d4002b98SHong Zhang maxallocrow = 0; 149d4002b98SHong Zhang b->sliidx[0] = 0; 150d4002b98SHong Zhang for (i = 1; i < totalslices; i++) { 151d4002b98SHong Zhang b->sliidx[i] = 0; 152ac530a7eSPierre Jolivet for (j = 0; j < b->sliceheight; j++) b->sliidx[i] = PetscMax(b->sliidx[i], rlen[b->sliceheight * (i - 1) + j]); 153773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 154773bf0f6SHong Zhang if (mul != 0) { /* Pad the slice to DEVICE_MEM_ALIGN if sliceheight < DEVICE_MEM_ALIGN */ 1554e58db63SHong Zhang rlenmax = PetscMax(b->sliidx[i], rlenmax); 1564e58db63SHong Zhang b->sliidx[i] = ((b->sliidx[i] - 1) / mul + 1) * mul; 157773bf0f6SHong Zhang } 1584e58db63SHong Zhang #endif 159d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[i], maxallocrow); 16007e43b41SHong Zhang PetscCall(PetscIntSumError(b->sliidx[i - 1], b->sliceheight * b->sliidx[i], &b->sliidx[i])); 161d4002b98SHong Zhang } 162d4002b98SHong Zhang /* last slice */ 163d4002b98SHong Zhang b->sliidx[totalslices] = 0; 16407e43b41SHong Zhang for (j = b->sliceheight * (totalslices - 1); j < B->rmap->n; j++) b->sliidx[totalslices] = PetscMax(b->sliidx[totalslices], rlen[j]); 165773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 166773bf0f6SHong Zhang if (mul != 0) { 1674e58db63SHong Zhang rlenmax = PetscMax(b->sliidx[i], rlenmax); 1684e58db63SHong Zhang b->sliidx[totalslices] = ((b->sliidx[totalslices] - 1) / mul + 1) * mul; 169773bf0f6SHong Zhang } 1704e58db63SHong Zhang #endif 171d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[totalslices], maxallocrow); 17207e43b41SHong Zhang b->sliidx[totalslices] = b->sliidx[totalslices - 1] + b->sliceheight * b->sliidx[totalslices]; 173d4002b98SHong Zhang } 174d4002b98SHong Zhang 175d4002b98SHong Zhang /* allocate space for val, colidx, rlen */ 176d4002b98SHong Zhang /* FIXME: should B's old memory be unlogged? */ 1779566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(B, &b->val, &b->colidx)); 178d4002b98SHong Zhang /* FIXME: assuming an element of the bit array takes 8 bits */ 1799566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(b->sliidx[totalslices], &b->val, b->sliidx[totalslices], &b->colidx)); 180d4002b98SHong 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. */ 18107e43b41SHong Zhang PetscCall(PetscCalloc1(b->sliceheight * totalslices, &b->rlen)); 182d4002b98SHong Zhang 183d4002b98SHong Zhang b->singlemalloc = PETSC_TRUE; 184d4002b98SHong Zhang b->free_val = PETSC_TRUE; 185d4002b98SHong Zhang b->free_colidx = PETSC_TRUE; 186d4002b98SHong Zhang } else { 187d4002b98SHong Zhang b->free_val = PETSC_FALSE; 188d4002b98SHong Zhang b->free_colidx = PETSC_FALSE; 189d4002b98SHong Zhang } 190d4002b98SHong Zhang 191d4002b98SHong Zhang b->nz = 0; 192d4002b98SHong Zhang b->maxallocrow = maxallocrow; 193773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 1944e58db63SHong Zhang b->rlenmax = rlenmax; 1954e58db63SHong Zhang #else 196d4002b98SHong Zhang b->rlenmax = maxallocrow; 1974e58db63SHong Zhang #endif 198d4002b98SHong Zhang b->maxallocmat = b->sliidx[totalslices]; 199d4002b98SHong Zhang B->info.nz_unneeded = (double)b->maxallocmat; 2001baa6e33SBarry Smith if (realalloc) PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE)); 2013ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 202d4002b98SHong Zhang } 203d4002b98SHong Zhang 204ba38deedSJacob Faibussowitsch static PetscErrorCode MatGetRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 205d71ae5a4SJacob Faibussowitsch { 2066108893eSStefano Zampini Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2076108893eSStefano Zampini PetscInt shift; 2086108893eSStefano Zampini 2096108893eSStefano Zampini PetscFunctionBegin; 210aed4548fSBarry Smith PetscCheck(row >= 0 && row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row %" PetscInt_FMT " out of range", row); 2116108893eSStefano Zampini if (nz) *nz = a->rlen[row]; 21207e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + (row % a->sliceheight); 2133a7d0413SPierre Jolivet if (!a->getrowcols) PetscCall(PetscMalloc2(a->rlenmax, &a->getrowcols, a->rlenmax, &a->getrowvals)); 2146108893eSStefano Zampini if (idx) { 2156108893eSStefano Zampini PetscInt j; 21607e43b41SHong Zhang for (j = 0; j < a->rlen[row]; j++) a->getrowcols[j] = a->colidx[shift + a->sliceheight * j]; 2176108893eSStefano Zampini *idx = a->getrowcols; 2186108893eSStefano Zampini } 2196108893eSStefano Zampini if (v) { 2206108893eSStefano Zampini PetscInt j; 22107e43b41SHong Zhang for (j = 0; j < a->rlen[row]; j++) a->getrowvals[j] = a->val[shift + a->sliceheight * j]; 2226108893eSStefano Zampini *v = a->getrowvals; 2236108893eSStefano Zampini } 2243ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2256108893eSStefano Zampini } 2266108893eSStefano Zampini 227ba38deedSJacob Faibussowitsch static PetscErrorCode MatRestoreRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 228d71ae5a4SJacob Faibussowitsch { 2296108893eSStefano Zampini PetscFunctionBegin; 2303ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2316108893eSStefano Zampini } 2326108893eSStefano Zampini 233d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) 234d71ae5a4SJacob Faibussowitsch { 235d4002b98SHong Zhang Mat B; 236d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 237e3f1f374SStefano Zampini PetscInt i; 238d4002b98SHong Zhang 239d4002b98SHong Zhang PetscFunctionBegin; 240ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 241ad013a7bSRichard Tran Mills B = *newmat; 2429566063dSJacob Faibussowitsch PetscCall(MatZeroEntries(B)); 243ad013a7bSRichard Tran Mills } else { 2449566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2459566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, A->rmap->n, A->cmap->n, A->rmap->N, A->cmap->N)); 2469566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQAIJ)); 2479566063dSJacob Faibussowitsch PetscCall(MatSeqAIJSetPreallocation(B, 0, a->rlen)); 248ad013a7bSRichard Tran Mills } 249d4002b98SHong Zhang 250e3f1f374SStefano Zampini for (i = 0; i < A->rmap->n; i++) { 251e108cb99SStefano Zampini PetscInt nz = 0, *cols = NULL; 252e108cb99SStefano Zampini PetscScalar *vals = NULL; 253e3f1f374SStefano Zampini 2549566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqSELL(A, i, &nz, &cols, &vals)); 2559566063dSJacob Faibussowitsch PetscCall(MatSetValues(B, 1, &i, nz, cols, vals, INSERT_VALUES)); 2569566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqSELL(A, i, &nz, &cols, &vals)); 257d4002b98SHong Zhang } 258e3f1f374SStefano Zampini 2599566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 2609566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 261d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 262d4002b98SHong Zhang 263d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 2649566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 265d4002b98SHong Zhang } else { 266d4002b98SHong Zhang *newmat = B; 267d4002b98SHong Zhang } 2683ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 269d4002b98SHong Zhang } 270d4002b98SHong Zhang 271d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/aij.h> 272d4002b98SHong Zhang 273d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) 274d71ae5a4SJacob Faibussowitsch { 275d4002b98SHong Zhang Mat B; 276d4002b98SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ *)A->data; 277d4002b98SHong Zhang PetscInt *ai = a->i, m = A->rmap->N, n = A->cmap->N, i, *rowlengths, row, ncols; 278d4002b98SHong Zhang const PetscInt *cols; 279d4002b98SHong Zhang const PetscScalar *vals; 280d4002b98SHong Zhang 281d4002b98SHong Zhang PetscFunctionBegin; 282ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 283ad013a7bSRichard Tran Mills B = *newmat; 284ad013a7bSRichard Tran Mills } else { 285d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) || !a->ilen) { 2869566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &rowlengths)); 287ad540459SPierre Jolivet for (i = 0; i < m; i++) rowlengths[i] = ai[i + 1] - ai[i]; 288d5e5b2e5SBarry Smith } 289d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) && a->ilen) { 290d5e5b2e5SBarry Smith PetscBool eq; 2919566063dSJacob Faibussowitsch PetscCall(PetscMemcmp(rowlengths, a->ilen, m * sizeof(PetscInt), &eq)); 29228b400f6SJacob Faibussowitsch PetscCheck(eq, PETSC_COMM_SELF, PETSC_ERR_PLIB, "SeqAIJ ilen array incorrect"); 2939566063dSJacob Faibussowitsch PetscCall(PetscFree(rowlengths)); 294d5e5b2e5SBarry Smith rowlengths = a->ilen; 295d5e5b2e5SBarry Smith } else if (a->ilen) rowlengths = a->ilen; 2969566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2979566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, m, n, m, n)); 2989566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQSELL)); 2999566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(B, 0, rowlengths)); 3009566063dSJacob Faibussowitsch if (rowlengths != a->ilen) PetscCall(PetscFree(rowlengths)); 301ad013a7bSRichard Tran Mills } 302d4002b98SHong Zhang 303d4002b98SHong Zhang for (row = 0; row < m; row++) { 3049566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 3059566063dSJacob Faibussowitsch PetscCall(MatSetValues_SeqSELL(B, 1, &row, ncols, cols, vals, INSERT_VALUES)); 3069566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 307d4002b98SHong Zhang } 3089566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 3099566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 310d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 311d4002b98SHong Zhang 312d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 3139566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 314d4002b98SHong Zhang } else { 315d4002b98SHong Zhang *newmat = B; 316d4002b98SHong Zhang } 3173ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 318d4002b98SHong Zhang } 319d4002b98SHong Zhang 320d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMult_SeqSELL(Mat A, Vec xx, Vec yy) 321d71ae5a4SJacob Faibussowitsch { 322d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 323d4002b98SHong Zhang PetscScalar *y; 324d4002b98SHong Zhang const PetscScalar *x; 325d4002b98SHong Zhang const MatScalar *aval = a->val; 326d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 327d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 3287285fed1SHong Zhang PetscInt i, j; 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 __m512d vec_x, vec_y, vec_vals; 331d4002b98SHong Zhang __m256i vec_idx; 332d4002b98SHong Zhang __mmask8 mask; 333d4002b98SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 334d4002b98SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 3355f70456aSHong 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) 336a48a6482SHong Zhang __m128i vec_idx; 337a48a6482SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 338a48a6482SHong Zhang MatScalar yval; 339a48a6482SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 34021cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 341d4002b98SHong Zhang __m128d vec_x_tmp; 342d4002b98SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 343d4002b98SHong Zhang MatScalar yval; 344d4002b98SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 345d4002b98SHong Zhang #else 34607e43b41SHong Zhang PetscInt k, sliceheight = a->sliceheight; 34707e43b41SHong Zhang PetscScalar *sum; 348d4002b98SHong Zhang #endif 349d4002b98SHong Zhang 350d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 351d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 352d4002b98SHong Zhang #endif 353d4002b98SHong Zhang 354d4002b98SHong Zhang PetscFunctionBegin; 3559566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 3569566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 357d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 35807e43b41SHong Zhang PetscCheck(a->sliceheight == 8, PETSC_COMM_SELF, PETSC_ERR_SUP, "The kernel requires a slice height of 8, but the input matrix has a slice height of %" PetscInt_FMT, a->sliceheight); 359d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 360d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 361d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 362d4002b98SHong Zhang 363d4002b98SHong Zhang vec_y = _mm512_setzero_pd(); 364d4002b98SHong Zhang vec_y2 = _mm512_setzero_pd(); 365d4002b98SHong Zhang vec_y3 = _mm512_setzero_pd(); 366d4002b98SHong Zhang vec_y4 = _mm512_setzero_pd(); 367d4002b98SHong Zhang 368da81f932SPierre Jolivet j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice column */ 369d4002b98SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 370d4002b98SHong Zhang case 3: 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 j += 3; 381d4002b98SHong Zhang break; 382d4002b98SHong Zhang case 2: 383d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3849371c9d4SSatish Balay acolidx += 8; 3859371c9d4SSatish Balay aval += 8; 386d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3879371c9d4SSatish Balay acolidx += 8; 3889371c9d4SSatish Balay aval += 8; 389d4002b98SHong Zhang j += 2; 390d4002b98SHong Zhang break; 391d4002b98SHong Zhang case 1: 392d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3939371c9d4SSatish Balay acolidx += 8; 3949371c9d4SSatish Balay aval += 8; 395d4002b98SHong Zhang j += 1; 396d4002b98SHong Zhang break; 397d4002b98SHong Zhang } 398d4002b98SHong Zhang #pragma novector 399d4002b98SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 400d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 4019371c9d4SSatish Balay acolidx += 8; 4029371c9d4SSatish Balay aval += 8; 403d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 4049371c9d4SSatish Balay acolidx += 8; 4059371c9d4SSatish Balay aval += 8; 406d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 4079371c9d4SSatish Balay acolidx += 8; 4089371c9d4SSatish Balay aval += 8; 409d4002b98SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 4109371c9d4SSatish Balay acolidx += 8; 4119371c9d4SSatish Balay aval += 8; 412d4002b98SHong Zhang } 413d4002b98SHong Zhang 414d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 415d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 416d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 417d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 418d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 419ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&y[8 * i], mask, vec_y); 420d4002b98SHong Zhang } else { 421ef588d5cSRichard Tran Mills _mm512_storeu_pd(&y[8 * i], vec_y); 422d4002b98SHong Zhang } 423d4002b98SHong Zhang } 4245f70456aSHong 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) 42507e43b41SHong Zhang PetscCheck(a->sliceheight == 8, PETSC_COMM_SELF, PETSC_ERR_SUP, "The kernel requires a slice height of 8, but the input matrix has a slice height of %" PetscInt_FMT, a->sliceheight); 426a48a6482SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 427a48a6482SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 428a48a6482SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 429a48a6482SHong Zhang 430a48a6482SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 431a48a6482SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 432a48a6482SHong Zhang rows_left = A->rmap->n - 8 * i; 433a48a6482SHong Zhang for (r = 0; r < rows_left; ++r) { 434a48a6482SHong Zhang yval = (MatScalar)0; 435a48a6482SHong Zhang row = 8 * i + r; 436a48a6482SHong Zhang nnz_in_row = a->rlen[row]; 437a48a6482SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 438a48a6482SHong Zhang y[row] = yval; 439a48a6482SHong Zhang } 440a48a6482SHong Zhang break; 441a48a6482SHong Zhang } 442a48a6482SHong Zhang 443a48a6482SHong Zhang vec_y = _mm256_setzero_pd(); 444a48a6482SHong Zhang vec_y2 = _mm256_setzero_pd(); 445a48a6482SHong Zhang 446a48a6482SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 447a48a6482SHong Zhang #pragma novector 448a48a6482SHong Zhang #pragma unroll(2) 449a48a6482SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 450a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 4519371c9d4SSatish Balay aval += 4; 4529371c9d4SSatish Balay acolidx += 4; 453a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y2); 4549371c9d4SSatish Balay aval += 4; 4559371c9d4SSatish Balay acolidx += 4; 456a48a6482SHong Zhang } 457a48a6482SHong Zhang 458ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8, vec_y); 459ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 460a48a6482SHong Zhang } 46121cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 46207e43b41SHong Zhang PetscCheck(a->sliceheight == 8, PETSC_COMM_SELF, PETSC_ERR_SUP, "The kernel requires a slice height of 8, but the input matrix has a slice height of %" PetscInt_FMT, a->sliceheight); 463d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 464d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 465d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 466d4002b98SHong Zhang 467d4002b98SHong Zhang vec_y = _mm256_setzero_pd(); 468d4002b98SHong Zhang vec_y2 = _mm256_setzero_pd(); 469d4002b98SHong Zhang 470d4002b98SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 471d4002b98SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 472d4002b98SHong Zhang rows_left = A->rmap->n - 8 * i; 473d4002b98SHong Zhang for (r = 0; r < rows_left; ++r) { 474d4002b98SHong Zhang yval = (MatScalar)0; 475d4002b98SHong Zhang row = 8 * i + r; 476d4002b98SHong Zhang nnz_in_row = a->rlen[row]; 477d4002b98SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 478d4002b98SHong Zhang y[row] = yval; 479d4002b98SHong Zhang } 480d4002b98SHong Zhang break; 481d4002b98SHong Zhang } 482d4002b98SHong Zhang 483d4002b98SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 484a48a6482SHong Zhang #pragma novector 485a48a6482SHong Zhang #pragma unroll(2) 4867285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 487d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 488165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 489d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 490d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 491d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 492d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 493d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 494d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 495d4002b98SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 496d4002b98SHong Zhang aval += 4; 497d4002b98SHong Zhang 498d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 499d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 500d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 501d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 502d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 503d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 504d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 505d4002b98SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 506d4002b98SHong Zhang aval += 4; 507d4002b98SHong Zhang } 508d4002b98SHong Zhang 509d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8, vec_y); 510d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 511d4002b98SHong Zhang } 512d4002b98SHong Zhang #else 51307e43b41SHong Zhang PetscCall(PetscMalloc1(sliceheight, &sum)); 514d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 51507e43b41SHong Zhang for (j = 0; j < sliceheight; j++) { 5162d1451d4SHong Zhang sum[j] = 0.0; 51707e43b41SHong Zhang for (k = a->sliidx[i] + j; k < a->sliidx[i + 1]; k += sliceheight) sum[j] += aval[k] * x[acolidx[k]]; 518d4002b98SHong Zhang } 51907e43b41SHong Zhang if (i == totalslices - 1 && (A->rmap->n % sliceheight)) { /* if last slice has padding rows */ 52007e43b41SHong Zhang for (j = 0; j < (A->rmap->n % sliceheight); j++) y[sliceheight * i + j] = sum[j]; 521d4002b98SHong Zhang } else { 52207e43b41SHong Zhang for (j = 0; j < sliceheight; j++) y[sliceheight * i + j] = sum[j]; 523d4002b98SHong Zhang } 524d4002b98SHong Zhang } 52507e43b41SHong Zhang PetscCall(PetscFree(sum)); 526d4002b98SHong Zhang #endif 527d4002b98SHong Zhang 5289566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz - a->nonzerorowcnt)); /* theoretical minimal FLOPs */ 5299566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 5309566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 5313ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 532d4002b98SHong Zhang } 533d4002b98SHong Zhang 534d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/ftn-kernels/fmultadd.h> 535d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultAdd_SeqSELL(Mat A, Vec xx, Vec yy, Vec zz) 536d71ae5a4SJacob Faibussowitsch { 537d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 538d4002b98SHong Zhang PetscScalar *y, *z; 539d4002b98SHong Zhang const PetscScalar *x; 540d4002b98SHong Zhang const MatScalar *aval = a->val; 541d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 542d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 543d4002b98SHong Zhang PetscInt i, j; 544d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5457285fed1SHong Zhang __m512d vec_x, vec_y, vec_vals; 546d4002b98SHong Zhang __m256i vec_idx; 5475ea36cfaSSatish Balay __mmask8 mask = 0; 5487285fed1SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 5497285fed1SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 55021cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5517285fed1SHong Zhang __m128d vec_x_tmp; 5527285fed1SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 5537285fed1SHong Zhang MatScalar yval; 5547285fed1SHong Zhang PetscInt r, row, nnz_in_row; 555d4002b98SHong Zhang #else 55607e43b41SHong Zhang PetscInt k, sliceheight = a->sliceheight; 55707e43b41SHong Zhang PetscScalar *sum; 558d4002b98SHong Zhang #endif 559d4002b98SHong Zhang 560d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 561d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 562d4002b98SHong Zhang #endif 563d4002b98SHong Zhang 564d4002b98SHong Zhang PetscFunctionBegin; 5652d1451d4SHong Zhang if (!a->nz) { 5662d1451d4SHong Zhang PetscCall(VecCopy(yy, zz)); 5672d1451d4SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 5682d1451d4SHong Zhang } 5699566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 5709566063dSJacob Faibussowitsch PetscCall(VecGetArrayPair(yy, zz, &y, &z)); 571d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 57207e43b41SHong Zhang PetscCheck(a->sliceheight == 8, PETSC_COMM_SELF, PETSC_ERR_SUP, "The kernel requires a slice height of 8, but the input matrix has a slice height of %" PetscInt_FMT, a->sliceheight); 5737285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 5747285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5757285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5767285fed1SHong Zhang 577d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 578d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 579ef588d5cSRichard Tran Mills vec_y = _mm512_mask_loadu_pd(vec_y, mask, &y[8 * i]); 5807285fed1SHong Zhang } else { 581ef588d5cSRichard Tran Mills vec_y = _mm512_loadu_pd(&y[8 * i]); 5827285fed1SHong Zhang } 5837285fed1SHong Zhang vec_y2 = _mm512_setzero_pd(); 5847285fed1SHong Zhang vec_y3 = _mm512_setzero_pd(); 5857285fed1SHong Zhang vec_y4 = _mm512_setzero_pd(); 5867285fed1SHong Zhang 587da81f932SPierre Jolivet j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice column */ 5887285fed1SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 5897285fed1SHong Zhang case 3: 5907285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5919371c9d4SSatish Balay acolidx += 8; 5929371c9d4SSatish Balay aval += 8; 5937285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5949371c9d4SSatish Balay acolidx += 8; 5959371c9d4SSatish Balay aval += 8; 5967285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 5979371c9d4SSatish Balay acolidx += 8; 5989371c9d4SSatish Balay aval += 8; 5997285fed1SHong Zhang j += 3; 6007285fed1SHong Zhang break; 6017285fed1SHong Zhang case 2: 6027285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 6039371c9d4SSatish Balay acolidx += 8; 6049371c9d4SSatish Balay aval += 8; 6057285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 6069371c9d4SSatish Balay acolidx += 8; 6079371c9d4SSatish Balay aval += 8; 6087285fed1SHong Zhang j += 2; 6097285fed1SHong Zhang break; 6107285fed1SHong Zhang case 1: 6117285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 6129371c9d4SSatish Balay acolidx += 8; 6139371c9d4SSatish Balay aval += 8; 6147285fed1SHong Zhang j += 1; 6157285fed1SHong Zhang break; 6167285fed1SHong Zhang } 6177285fed1SHong Zhang #pragma novector 6187285fed1SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 6197285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 6209371c9d4SSatish Balay acolidx += 8; 6219371c9d4SSatish Balay aval += 8; 6227285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 6239371c9d4SSatish Balay acolidx += 8; 6249371c9d4SSatish Balay aval += 8; 6257285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 6269371c9d4SSatish Balay acolidx += 8; 6279371c9d4SSatish Balay aval += 8; 6287285fed1SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 6299371c9d4SSatish Balay acolidx += 8; 6309371c9d4SSatish Balay aval += 8; 6317285fed1SHong Zhang } 6327285fed1SHong Zhang 6337285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 6347285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 6357285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 6367285fed1SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 637ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&z[8 * i], mask, vec_y); 638d4002b98SHong Zhang } else { 639ef588d5cSRichard Tran Mills _mm512_storeu_pd(&z[8 * i], vec_y); 640d4002b98SHong Zhang } 6417285fed1SHong Zhang } 64221cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 64307e43b41SHong Zhang PetscCheck(a->sliceheight == 8, PETSC_COMM_SELF, PETSC_ERR_SUP, "The kernel requires a slice height of 8, but the input matrix has a slice height of %" PetscInt_FMT, a->sliceheight); 6447285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 6457285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6467285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6477285fed1SHong Zhang 6487285fed1SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 6497285fed1SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 6507285fed1SHong Zhang for (r = 0; r < (A->rmap->n & 0x07); ++r) { 6517285fed1SHong Zhang row = 8 * i + r; 6527285fed1SHong Zhang yval = (MatScalar)0.0; 6537285fed1SHong Zhang nnz_in_row = a->rlen[row]; 6547285fed1SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 6557285fed1SHong Zhang z[row] = y[row] + yval; 6567285fed1SHong Zhang } 6577285fed1SHong Zhang break; 6587285fed1SHong Zhang } 6597285fed1SHong Zhang 6607285fed1SHong Zhang vec_y = _mm256_loadu_pd(y + 8 * i); 6617285fed1SHong Zhang vec_y2 = _mm256_loadu_pd(y + 8 * i + 4); 6627285fed1SHong Zhang 6637285fed1SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 6647285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 6657285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 666165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 6677285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6687285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 669165f9cc3SJed Brown vec_x = _mm256_setzero_pd(); 6707285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6717285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6727285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6737285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6747285fed1SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 6757285fed1SHong Zhang aval += 4; 6767285fed1SHong Zhang 6777285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 6787285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6797285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6807285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6817285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6827285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6837285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6847285fed1SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 6857285fed1SHong Zhang aval += 4; 6867285fed1SHong Zhang } 6877285fed1SHong Zhang 6887285fed1SHong Zhang _mm256_storeu_pd(z + i * 8, vec_y); 6897285fed1SHong Zhang _mm256_storeu_pd(z + i * 8 + 4, vec_y2); 6907285fed1SHong Zhang } 691d4002b98SHong Zhang #else 69207e43b41SHong Zhang PetscCall(PetscMalloc1(sliceheight, &sum)); 6937285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 69407e43b41SHong Zhang for (j = 0; j < sliceheight; j++) { 6952d1451d4SHong Zhang sum[j] = 0.0; 69607e43b41SHong Zhang for (k = a->sliidx[i] + j; k < a->sliidx[i + 1]; k += sliceheight) sum[j] += aval[k] * x[acolidx[k]]; 697d4002b98SHong Zhang } 69807e43b41SHong Zhang if (i == totalslices - 1 && (A->rmap->n % sliceheight)) { 69907e43b41SHong Zhang for (j = 0; j < (A->rmap->n % sliceheight); j++) z[sliceheight * i + j] = y[sliceheight * i + j] + sum[j]; 700d4002b98SHong Zhang } else { 70107e43b41SHong Zhang for (j = 0; j < sliceheight; j++) z[sliceheight * i + j] = y[sliceheight * i + j] + sum[j]; 7027285fed1SHong Zhang } 703d4002b98SHong Zhang } 70407e43b41SHong Zhang PetscCall(PetscFree(sum)); 705d4002b98SHong Zhang #endif 706d4002b98SHong Zhang 7079566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 7089566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 7099566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayPair(yy, zz, &y, &z)); 7103ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 711d4002b98SHong Zhang } 712d4002b98SHong Zhang 713d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat A, Vec xx, Vec zz, Vec yy) 714d71ae5a4SJacob Faibussowitsch { 715d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 716d4002b98SHong Zhang PetscScalar *y; 717d4002b98SHong Zhang const PetscScalar *x; 718d4002b98SHong Zhang const MatScalar *aval = a->val; 719d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 72007e43b41SHong Zhang PetscInt i, j, r, row, nnz_in_row, totalslices = a->totalslices, sliceheight = a->sliceheight; 721d4002b98SHong Zhang 722d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 723d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 724d4002b98SHong Zhang #endif 725d4002b98SHong Zhang 726d4002b98SHong Zhang PetscFunctionBegin; 727b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 7289566063dSJacob Faibussowitsch PetscCall(MatMultAdd_SeqSELL(A, xx, zz, yy)); 7293ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 7309fc32365SStefano Zampini } 7319566063dSJacob Faibussowitsch if (zz != yy) PetscCall(VecCopy(zz, yy)); 7322d1451d4SHong Zhang 7332d1451d4SHong Zhang if (a->nz) { 7349566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 7359566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 736d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 73707e43b41SHong Zhang if (i == totalslices - 1 && (A->rmap->n % sliceheight)) { 73807e43b41SHong Zhang for (r = 0; r < (A->rmap->n % sliceheight); ++r) { 73907e43b41SHong Zhang row = sliceheight * i + r; 7407285fed1SHong Zhang nnz_in_row = a->rlen[row]; 74107e43b41SHong Zhang for (j = 0; j < nnz_in_row; ++j) y[acolidx[sliceheight * j + r]] += aval[sliceheight * j + r] * x[row]; 7427285fed1SHong Zhang } 7437285fed1SHong Zhang break; 7447285fed1SHong Zhang } 74507e43b41SHong Zhang for (r = 0; r < sliceheight; ++r) 74607e43b41SHong Zhang for (j = a->sliidx[i] + r; j < a->sliidx[i + 1]; j += sliceheight) y[acolidx[j]] += aval[j] * x[sliceheight * i + r]; 747d4002b98SHong Zhang } 7482d1451d4SHong Zhang PetscCall(PetscLogFlops(2.0 * a->nz)); 7499566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 7509566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 7512d1451d4SHong Zhang } 7523ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 753d4002b98SHong Zhang } 754d4002b98SHong Zhang 755d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTranspose_SeqSELL(Mat A, Vec xx, Vec yy) 756d71ae5a4SJacob Faibussowitsch { 757d4002b98SHong Zhang PetscFunctionBegin; 758b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 7599566063dSJacob Faibussowitsch PetscCall(MatMult_SeqSELL(A, xx, yy)); 7609fc32365SStefano Zampini } else { 7619566063dSJacob Faibussowitsch PetscCall(VecSet(yy, 0.0)); 7629566063dSJacob Faibussowitsch PetscCall(MatMultTransposeAdd_SeqSELL(A, xx, yy, yy)); 7639fc32365SStefano Zampini } 7643ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 765d4002b98SHong Zhang } 766d4002b98SHong Zhang 767d4002b98SHong Zhang /* 768d4002b98SHong Zhang Checks for missing diagonals 769d4002b98SHong Zhang */ 770d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMissingDiagonal_SeqSELL(Mat A, PetscBool *missing, PetscInt *d) 771d71ae5a4SJacob Faibussowitsch { 772d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 773d4002b98SHong Zhang PetscInt *diag, i; 774d4002b98SHong Zhang 775d4002b98SHong Zhang PetscFunctionBegin; 776d4002b98SHong Zhang *missing = PETSC_FALSE; 777f4f49eeaSPierre Jolivet if (A->rmap->n > 0 && !a->colidx) { 778d4002b98SHong Zhang *missing = PETSC_TRUE; 779d4002b98SHong Zhang if (d) *d = 0; 7809566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix has no entries therefore is missing diagonal\n")); 781d4002b98SHong Zhang } else { 782d4002b98SHong Zhang diag = a->diag; 783d4002b98SHong Zhang for (i = 0; i < A->rmap->n; i++) { 784d4002b98SHong Zhang if (diag[i] == -1) { 785d4002b98SHong Zhang *missing = PETSC_TRUE; 786d4002b98SHong Zhang if (d) *d = i; 7879566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix is missing diagonal number %" PetscInt_FMT "\n", i)); 788d4002b98SHong Zhang break; 789d4002b98SHong Zhang } 790d4002b98SHong Zhang } 791d4002b98SHong Zhang } 7923ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 793d4002b98SHong Zhang } 794d4002b98SHong Zhang 795d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMarkDiagonal_SeqSELL(Mat A) 796d71ae5a4SJacob Faibussowitsch { 797d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 798d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 799d4002b98SHong Zhang 800d4002b98SHong Zhang PetscFunctionBegin; 801d4002b98SHong Zhang if (!a->diag) { 8029566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &a->diag)); 803d4002b98SHong Zhang a->free_diag = PETSC_TRUE; 804d4002b98SHong Zhang } 805d4002b98SHong Zhang for (i = 0; i < m; i++) { /* loop over rows */ 80607e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 807d4002b98SHong Zhang a->diag[i] = -1; 808d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 80907e43b41SHong Zhang if (a->colidx[shift + a->sliceheight * j] == i) { 81007e43b41SHong Zhang a->diag[i] = shift + a->sliceheight * j; 811d4002b98SHong Zhang break; 812d4002b98SHong Zhang } 813d4002b98SHong Zhang } 814d4002b98SHong Zhang } 8153ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 816d4002b98SHong Zhang } 817d4002b98SHong Zhang 818d4002b98SHong Zhang /* 819d4002b98SHong Zhang Negative shift indicates do not generate an error if there is a zero diagonal, just invert it anyways 820d4002b98SHong Zhang */ 821d71ae5a4SJacob Faibussowitsch PetscErrorCode MatInvertDiagonal_SeqSELL(Mat A, PetscScalar omega, PetscScalar fshift) 822d71ae5a4SJacob Faibussowitsch { 823d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 824d4002b98SHong Zhang PetscInt i, *diag, m = A->rmap->n; 825d4002b98SHong Zhang MatScalar *val = a->val; 826d4002b98SHong Zhang PetscScalar *idiag, *mdiag; 827d4002b98SHong Zhang 828d4002b98SHong Zhang PetscFunctionBegin; 8293ba16761SJacob Faibussowitsch if (a->idiagvalid) PetscFunctionReturn(PETSC_SUCCESS); 8309566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 831d4002b98SHong Zhang diag = a->diag; 832d4002b98SHong Zhang if (!a->idiag) { 8339566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(m, &a->idiag, m, &a->mdiag, m, &a->ssor_work)); 834d4002b98SHong Zhang val = a->val; 835d4002b98SHong Zhang } 836d4002b98SHong Zhang mdiag = a->mdiag; 837d4002b98SHong Zhang idiag = a->idiag; 838d4002b98SHong Zhang 839d4002b98SHong Zhang if (omega == 1.0 && PetscRealPart(fshift) <= 0.0) { 840d4002b98SHong Zhang for (i = 0; i < m; i++) { 841d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 842d4002b98SHong Zhang if (!PetscAbsScalar(mdiag[i])) { /* zero diagonal */ 8430fdf79fbSJacob Faibussowitsch PetscCheck(PetscRealPart(fshift), PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Zero diagonal on row %" PetscInt_FMT, i); 8449566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Zero diagonal on row %" PetscInt_FMT "\n", i)); 845d4002b98SHong Zhang A->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 846d4002b98SHong Zhang A->factorerror_zeropivot_value = 0.0; 847d4002b98SHong Zhang A->factorerror_zeropivot_row = i; 848d4002b98SHong Zhang } 849d4002b98SHong Zhang idiag[i] = 1.0 / val[diag[i]]; 850d4002b98SHong Zhang } 8519566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(m)); 852d4002b98SHong Zhang } else { 853d4002b98SHong Zhang for (i = 0; i < m; i++) { 854d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 855d4002b98SHong Zhang idiag[i] = omega / (fshift + val[diag[i]]); 856d4002b98SHong Zhang } 8579566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * m)); 858d4002b98SHong Zhang } 859d4002b98SHong Zhang a->idiagvalid = PETSC_TRUE; 8603ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 861d4002b98SHong Zhang } 862d4002b98SHong Zhang 863d71ae5a4SJacob Faibussowitsch PetscErrorCode MatZeroEntries_SeqSELL(Mat A) 864d71ae5a4SJacob Faibussowitsch { 865d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 866d4002b98SHong Zhang 867d4002b98SHong Zhang PetscFunctionBegin; 8689566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(a->val, a->sliidx[a->totalslices])); 8699566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 8703ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 871d4002b98SHong Zhang } 872d4002b98SHong Zhang 873d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDestroy_SeqSELL(Mat A) 874d71ae5a4SJacob Faibussowitsch { 875d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 876d4002b98SHong Zhang 877d4002b98SHong Zhang PetscFunctionBegin; 8783ba16761SJacob Faibussowitsch PetscCall(PetscLogObjectState((PetscObject)A, "Rows=%" PetscInt_FMT ", Cols=%" PetscInt_FMT ", NZ=%" PetscInt_FMT, A->rmap->n, A->cmap->n, a->nz)); 8799566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(A, &a->val, &a->colidx)); 8809566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->row)); 8819566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->col)); 8829566063dSJacob Faibussowitsch PetscCall(PetscFree(a->diag)); 8839566063dSJacob Faibussowitsch PetscCall(PetscFree(a->rlen)); 8849566063dSJacob Faibussowitsch PetscCall(PetscFree(a->sliidx)); 8859566063dSJacob Faibussowitsch PetscCall(PetscFree3(a->idiag, a->mdiag, a->ssor_work)); 8869566063dSJacob Faibussowitsch PetscCall(PetscFree(a->solve_work)); 8879566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->icol)); 8889566063dSJacob Faibussowitsch PetscCall(PetscFree(a->saved_values)); 8899566063dSJacob Faibussowitsch PetscCall(PetscFree2(a->getrowcols, a->getrowvals)); 8909566063dSJacob Faibussowitsch PetscCall(PetscFree(A->data)); 891773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 89290d2215bSHong Zhang PetscCall(PetscFree(a->chunk_slice_map)); 89390d2215bSHong Zhang #endif 894d4002b98SHong Zhang 8959566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)A, NULL)); 8969566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatStoreValues_C", NULL)); 8979566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatRetrieveValues_C", NULL)); 8989566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetPreallocation_C", NULL)); 8992e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetArray_C", NULL)); 9002e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLRestoreArray_C", NULL)); 901b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqaij_C", NULL)); 9022d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 903b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqsellcuda_C", NULL)); 9042d1451d4SHong Zhang #endif 905773bf0f6SHong Zhang #if defined(PETSC_HAVE_HIP) 906773bf0f6SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqsellhip_C", NULL)); 907773bf0f6SHong Zhang #endif 90807e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetFillRatio_C", NULL)); 90907e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetMaxSliceWidth_C", NULL)); 91007e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetAvgSliceWidth_C", NULL)); 911b921024eSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetVarSliceSize_C", NULL)); 91207e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetSliceHeight_C", NULL)); 9133ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 914d4002b98SHong Zhang } 915d4002b98SHong Zhang 916d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetOption_SeqSELL(Mat A, MatOption op, PetscBool flg) 917d71ae5a4SJacob Faibussowitsch { 918d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 919d4002b98SHong Zhang 920d4002b98SHong Zhang PetscFunctionBegin; 921d4002b98SHong Zhang switch (op) { 922d71ae5a4SJacob Faibussowitsch case MAT_ROW_ORIENTED: 923d71ae5a4SJacob Faibussowitsch a->roworiented = flg; 924d71ae5a4SJacob Faibussowitsch break; 925d71ae5a4SJacob Faibussowitsch case MAT_KEEP_NONZERO_PATTERN: 926d71ae5a4SJacob Faibussowitsch a->keepnonzeropattern = flg; 927d71ae5a4SJacob Faibussowitsch break; 928d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATIONS: 929d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? 0 : 1); 930d71ae5a4SJacob Faibussowitsch break; 931d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATION_ERR: 932d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -1 : 0); 933d71ae5a4SJacob Faibussowitsch break; 934d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_ALLOCATION_ERR: 935d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -2 : 0); 936d71ae5a4SJacob Faibussowitsch break; 937d71ae5a4SJacob Faibussowitsch case MAT_UNUSED_NONZERO_LOCATION_ERR: 938d71ae5a4SJacob Faibussowitsch a->nounused = (flg ? -1 : 0); 939d71ae5a4SJacob Faibussowitsch break; 940d71ae5a4SJacob Faibussowitsch default: 941888c827cSStefano Zampini break; 942d4002b98SHong Zhang } 9433ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 944d4002b98SHong Zhang } 945d4002b98SHong Zhang 946d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetDiagonal_SeqSELL(Mat A, Vec v) 947d71ae5a4SJacob Faibussowitsch { 948d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 949d4002b98SHong Zhang PetscInt i, j, n, shift; 950d4002b98SHong Zhang PetscScalar *x, zero = 0.0; 951d4002b98SHong Zhang 952d4002b98SHong Zhang PetscFunctionBegin; 9539566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(v, &n)); 95408401ef6SPierre Jolivet PetscCheck(n == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Nonconforming matrix and vector"); 955d4002b98SHong Zhang 956d4002b98SHong Zhang if (A->factortype == MAT_FACTOR_ILU || A->factortype == MAT_FACTOR_LU) { 957d4002b98SHong Zhang PetscInt *diag = a->diag; 9589566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &x)); 959d4002b98SHong Zhang for (i = 0; i < n; i++) x[i] = 1.0 / a->val[diag[i]]; 9609566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &x)); 9613ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 962d4002b98SHong Zhang } 963d4002b98SHong Zhang 9649566063dSJacob Faibussowitsch PetscCall(VecSet(v, zero)); 9659566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &x)); 966d4002b98SHong Zhang for (i = 0; i < n; i++) { /* loop over rows */ 96707e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 968d4002b98SHong Zhang x[i] = 0; 969d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 97007e43b41SHong Zhang if (a->colidx[shift + a->sliceheight * j] == i) { 97107e43b41SHong Zhang x[i] = a->val[shift + a->sliceheight * j]; 972d4002b98SHong Zhang break; 973d4002b98SHong Zhang } 974d4002b98SHong Zhang } 975d4002b98SHong Zhang } 9769566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &x)); 9773ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 978d4002b98SHong Zhang } 979d4002b98SHong Zhang 980d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDiagonalScale_SeqSELL(Mat A, Vec ll, Vec rr) 981d71ae5a4SJacob Faibussowitsch { 982d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 983d4002b98SHong Zhang const PetscScalar *l, *r; 984d4002b98SHong Zhang PetscInt i, j, m, n, row; 985d4002b98SHong Zhang 986d4002b98SHong Zhang PetscFunctionBegin; 987d4002b98SHong Zhang if (ll) { 988d4002b98SHong Zhang /* The local size is used so that VecMPI can be passed to this routine 989d4002b98SHong Zhang by MatDiagonalScale_MPISELL */ 9909566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(ll, &m)); 99108401ef6SPierre Jolivet PetscCheck(m == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Left scaling vector wrong length"); 9929566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(ll, &l)); 993d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 99407e43b41SHong Zhang if (i == a->totalslices - 1 && (A->rmap->n % a->sliceheight)) { /* if last slice has padding rows */ 99507e43b41SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % a->sliceheight) { 99607e43b41SHong Zhang if (row < (A->rmap->n % a->sliceheight)) a->val[j] *= l[a->sliceheight * i + row]; 997dab86139SHong Zhang } 998dab86139SHong Zhang } else { 999ac530a7eSPierre Jolivet for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % a->sliceheight) a->val[j] *= l[a->sliceheight * i + row]; 1000d4002b98SHong Zhang } 1001dab86139SHong Zhang } 10029566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(ll, &l)); 10039566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1004d4002b98SHong Zhang } 1005d4002b98SHong Zhang if (rr) { 10069566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(rr, &n)); 100708401ef6SPierre Jolivet PetscCheck(n == A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Right scaling vector wrong length"); 10089566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(rr, &r)); 1009d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 101007e43b41SHong Zhang if (i == a->totalslices - 1 && (A->rmap->n % a->sliceheight)) { /* if last slice has padding rows */ 101107e43b41SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) % a->sliceheight)) { 101207e43b41SHong Zhang if (row < (A->rmap->n % a->sliceheight)) a->val[j] *= r[a->colidx[j]]; 1013dab86139SHong Zhang } 1014dab86139SHong Zhang } else { 1015ad540459SPierre Jolivet for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j++) a->val[j] *= r[a->colidx[j]]; 1016d4002b98SHong Zhang } 1017dab86139SHong Zhang } 10189566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(rr, &r)); 10199566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1020d4002b98SHong Zhang } 10219566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 1022773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 10232d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 10242d1451d4SHong Zhang #endif 10253ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1026d4002b98SHong Zhang } 1027d4002b98SHong Zhang 1028d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], PetscScalar v[]) 1029d71ae5a4SJacob Faibussowitsch { 1030d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1031d4002b98SHong Zhang PetscInt *cp, i, k, low, high, t, row, col, l; 1032d4002b98SHong Zhang PetscInt shift; 1033d4002b98SHong Zhang MatScalar *vp; 1034d4002b98SHong Zhang 1035d4002b98SHong Zhang PetscFunctionBegin; 103668aafef3SStefano Zampini for (k = 0; k < m; k++) { /* loop over requested rows */ 1037d4002b98SHong Zhang row = im[k]; 1038d4002b98SHong Zhang if (row < 0) continue; 10396bdcaf15SBarry 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); 104007e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + (row % a->sliceheight); /* starting index of the row */ 1041d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1042d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 104368aafef3SStefano Zampini for (l = 0; l < n; l++) { /* loop over requested columns */ 1044d4002b98SHong Zhang col = in[l]; 1045d4002b98SHong Zhang if (col < 0) continue; 10466bdcaf15SBarry 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); 10479371c9d4SSatish Balay high = a->rlen[row]; 10489371c9d4SSatish Balay low = 0; /* assume unsorted */ 1049d4002b98SHong Zhang while (high - low > 5) { 1050d4002b98SHong Zhang t = (low + high) / 2; 105107e43b41SHong Zhang if (*(cp + a->sliceheight * t) > col) high = t; 1052d4002b98SHong Zhang else low = t; 1053d4002b98SHong Zhang } 1054d4002b98SHong Zhang for (i = low; i < high; i++) { 105507e43b41SHong Zhang if (*(cp + a->sliceheight * i) > col) break; 105607e43b41SHong Zhang if (*(cp + a->sliceheight * i) == col) { 105707e43b41SHong Zhang *v++ = *(vp + a->sliceheight * i); 1058d4002b98SHong Zhang goto finished; 1059d4002b98SHong Zhang } 1060d4002b98SHong Zhang } 1061d4002b98SHong Zhang *v++ = 0.0; 1062d4002b98SHong Zhang finished:; 1063d4002b98SHong Zhang } 1064d4002b98SHong Zhang } 10653ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1066d4002b98SHong Zhang } 1067d4002b98SHong Zhang 1068ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_ASCII(Mat A, PetscViewer viewer) 1069d71ae5a4SJacob Faibussowitsch { 1070d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1071d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1072d4002b98SHong Zhang const char *name; 1073d4002b98SHong Zhang PetscViewerFormat format; 1074d4002b98SHong Zhang 1075d4002b98SHong Zhang PetscFunctionBegin; 10769566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 1077d4002b98SHong Zhang if (format == PETSC_VIEWER_ASCII_MATLAB) { 1078d4002b98SHong Zhang PetscInt nofinalvalue = 0; 1079d4002b98SHong Zhang /* 10803a7d0413SPierre Jolivet if (m && ((a->i[m] == a->i[m-1]) || (a->j[a->nz-1] != A->cmap->n-1))) nofinalvalue = 1; 1081d4002b98SHong Zhang */ 10829566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 10839566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Size = %" PetscInt_FMT " %" PetscInt_FMT " \n", m, A->cmap->n)); 10849566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Nonzeros = %" PetscInt_FMT " \n", a->nz)); 1085d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10869566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",4);\n", a->nz + nofinalvalue)); 1087d4002b98SHong Zhang #else 10889566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",3);\n", a->nz + nofinalvalue)); 1089d4002b98SHong Zhang #endif 10909566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = [\n")); 1091d4002b98SHong Zhang 1092d4002b98SHong Zhang for (i = 0; i < m; i++) { 109307e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1094d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1095d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 109607e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %18.16e %18.16e\n", i + 1, a->colidx[shift + a->sliceheight * j] + 1, (double)PetscRealPart(a->val[shift + a->sliceheight * j]), (double)PetscImaginaryPart(a->val[shift + a->sliceheight * j]))); 1097d4002b98SHong Zhang #else 109807e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %18.16e\n", i + 1, a->colidx[shift + a->sliceheight * j] + 1, (double)a->val[shift + a->sliceheight * j])); 1099d4002b98SHong Zhang #endif 1100d4002b98SHong Zhang } 1101d4002b98SHong Zhang } 1102d4002b98SHong Zhang /* 1103d4002b98SHong Zhang if (nofinalvalue) { 1104d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11059566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e %18.16e\n",m,A->cmap->n,0.,0.)); 1106d4002b98SHong Zhang #else 11079566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e\n",m,A->cmap->n,0.0)); 1108d4002b98SHong Zhang #endif 1109d4002b98SHong Zhang } 1110d4002b98SHong Zhang */ 11119566063dSJacob Faibussowitsch PetscCall(PetscObjectGetName((PetscObject)A, &name)); 11129566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "];\n %s = spconvert(zzz);\n", name)); 11139566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1114d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_FACTOR_INFO || format == PETSC_VIEWER_ASCII_INFO) { 11153ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1116d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_COMMON) { 11179566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1118d4002b98SHong Zhang for (i = 0; i < m; i++) { 11199566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 112007e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1121d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1122d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 112307e43b41SHong Zhang if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) > 0.0 && PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 112407e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]), (double)PetscImaginaryPart(a->val[shift + a->sliceheight * j]))); 112507e43b41SHong Zhang } else if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) < 0.0 && PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 112607e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]), (double)-PetscImaginaryPart(a->val[shift + a->sliceheight * j]))); 112707e43b41SHong Zhang } else if (PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 112807e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]))); 1129d4002b98SHong Zhang } 1130d4002b98SHong Zhang #else 113107e43b41SHong Zhang if (a->val[shift + a->sliceheight * j] != 0.0) PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)a->val[shift + a->sliceheight * j])); 1132d4002b98SHong Zhang #endif 1133d4002b98SHong Zhang } 11349566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1135d4002b98SHong Zhang } 11369566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1137d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_DENSE) { 1138d4002b98SHong Zhang PetscInt cnt = 0, jcnt; 1139d4002b98SHong Zhang PetscScalar value; 1140d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1141d4002b98SHong Zhang PetscBool realonly = PETSC_TRUE; 1142d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1143d4002b98SHong Zhang if (PetscImaginaryPart(a->val[i]) != 0.0) { 1144d4002b98SHong Zhang realonly = PETSC_FALSE; 1145d4002b98SHong Zhang break; 1146d4002b98SHong Zhang } 1147d4002b98SHong Zhang } 1148d4002b98SHong Zhang #endif 1149d4002b98SHong Zhang 11509566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1151d4002b98SHong Zhang for (i = 0; i < m; i++) { 1152d4002b98SHong Zhang jcnt = 0; 115307e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1154d4002b98SHong Zhang for (j = 0; j < A->cmap->n; j++) { 115507e43b41SHong Zhang if (jcnt < a->rlen[i] && j == a->colidx[shift + a->sliceheight * j]) { 1156d4002b98SHong Zhang value = a->val[cnt++]; 1157d4002b98SHong Zhang jcnt++; 1158d4002b98SHong Zhang } else { 1159d4002b98SHong Zhang value = 0.0; 1160d4002b98SHong Zhang } 1161d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1162d4002b98SHong Zhang if (realonly) { 11639566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)PetscRealPart(value))); 1164d4002b98SHong Zhang } else { 11659566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e+%7.5e i ", (double)PetscRealPart(value), (double)PetscImaginaryPart(value))); 1166d4002b98SHong Zhang } 1167d4002b98SHong Zhang #else 11689566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)value)); 1169d4002b98SHong Zhang #endif 1170d4002b98SHong Zhang } 11719566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1172d4002b98SHong Zhang } 11739566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1174d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_MATRIXMARKET) { 1175d4002b98SHong Zhang PetscInt fshift = 1; 11769566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1177d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11789566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate complex general\n")); 1179d4002b98SHong Zhang #else 11809566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate real general\n")); 1181d4002b98SHong Zhang #endif 11829566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", m, A->cmap->n, a->nz)); 1183d4002b98SHong Zhang for (i = 0; i < m; i++) { 118407e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1185d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1186d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 118707e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %g %g\n", i + fshift, a->colidx[shift + a->sliceheight * j] + fshift, (double)PetscRealPart(a->val[shift + a->sliceheight * j]), (double)PetscImaginaryPart(a->val[shift + a->sliceheight * j]))); 1188d4002b98SHong Zhang #else 118907e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %g\n", i + fshift, a->colidx[shift + a->sliceheight * j] + fshift, (double)a->val[shift + a->sliceheight * j])); 1190d4002b98SHong Zhang #endif 1191d4002b98SHong Zhang } 1192d4002b98SHong Zhang } 11939566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 119468aafef3SStefano Zampini } else if (format == PETSC_VIEWER_NATIVE) { 119568aafef3SStefano Zampini for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 119668aafef3SStefano Zampini PetscInt row; 11979566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "slice %" PetscInt_FMT ": %" PetscInt_FMT " %" PetscInt_FMT "\n", i, a->sliidx[i], a->sliidx[i + 1])); 119807e43b41SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % a->sliceheight) { 119968aafef3SStefano Zampini #if defined(PETSC_USE_COMPLEX) 120068aafef3SStefano Zampini if (PetscImaginaryPart(a->val[j]) > 0.0) { 120107e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g + %g i\n", a->sliceheight * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 120268aafef3SStefano Zampini } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 120307e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g - %g i\n", a->sliceheight * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]), -(double)PetscImaginaryPart(a->val[j]))); 120468aafef3SStefano Zampini } else { 120507e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", a->sliceheight * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]))); 120668aafef3SStefano Zampini } 120768aafef3SStefano Zampini #else 120807e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", a->sliceheight * i + row, a->colidx[j], (double)a->val[j])); 120968aafef3SStefano Zampini #endif 121068aafef3SStefano Zampini } 121168aafef3SStefano Zampini } 1212d4002b98SHong Zhang } else { 12139566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1214d4002b98SHong Zhang if (A->factortype) { 1215d4002b98SHong Zhang for (i = 0; i < m; i++) { 121607e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 12179566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1218d4002b98SHong Zhang /* L part */ 121907e43b41SHong Zhang for (j = shift; j < a->diag[i]; j += a->sliceheight) { 1220d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 122107e43b41SHong Zhang if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) > 0.0) { 12229566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 122307e43b41SHong Zhang } else if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) < 0.0) { 12249566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1225d4002b98SHong Zhang } else { 12269566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1227d4002b98SHong Zhang } 1228d4002b98SHong Zhang #else 12299566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1230d4002b98SHong Zhang #endif 1231d4002b98SHong Zhang } 1232d4002b98SHong Zhang /* diagonal */ 1233d4002b98SHong Zhang j = a->diag[i]; 1234d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1235d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12369566063dSJacob 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]))); 1237d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12389566063dSJacob 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])))); 1239d4002b98SHong Zhang } else { 12409566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j]))); 1241d4002b98SHong Zhang } 1242d4002b98SHong Zhang #else 1243835f2295SStefano Zampini PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)(1 / a->val[j]))); 1244d4002b98SHong Zhang #endif 1245d4002b98SHong Zhang 1246d4002b98SHong Zhang /* U part */ 124707e43b41SHong Zhang for (j = a->diag[i] + 1; j < shift + a->sliceheight * a->rlen[i]; j += a->sliceheight) { 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[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 1251d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12529566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1253d4002b98SHong Zhang } else { 12549566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1255d4002b98SHong Zhang } 1256d4002b98SHong Zhang #else 12579566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1258d4002b98SHong Zhang #endif 1259d4002b98SHong Zhang } 12609566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1261d4002b98SHong Zhang } 1262d4002b98SHong Zhang } else { 1263d4002b98SHong Zhang for (i = 0; i < m; i++) { 126407e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 12659566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1266d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1267d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1268d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 126907e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]), (double)PetscImaginaryPart(a->val[shift + a->sliceheight * j]))); 1270d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 127107e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]), (double)-PetscImaginaryPart(a->val[shift + a->sliceheight * j]))); 1272d4002b98SHong Zhang } else { 127307e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]))); 1274d4002b98SHong Zhang } 1275d4002b98SHong Zhang #else 127607e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)a->val[shift + a->sliceheight * j])); 1277d4002b98SHong Zhang #endif 1278d4002b98SHong Zhang } 12799566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1280d4002b98SHong Zhang } 1281d4002b98SHong Zhang } 12829566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1283d4002b98SHong Zhang } 12849566063dSJacob Faibussowitsch PetscCall(PetscViewerFlush(viewer)); 12853ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1286d4002b98SHong Zhang } 1287d4002b98SHong Zhang 1288d4002b98SHong Zhang #include <petscdraw.h> 1289ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_Draw_Zoom(PetscDraw draw, void *Aa) 1290d71ae5a4SJacob Faibussowitsch { 1291d4002b98SHong Zhang Mat A = (Mat)Aa; 1292d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1293d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1294d4002b98SHong Zhang int color; 1295d4002b98SHong Zhang PetscReal xl, yl, xr, yr, x_l, x_r, y_l, y_r; 1296d4002b98SHong Zhang PetscViewer viewer; 1297d4002b98SHong Zhang PetscViewerFormat format; 1298d4002b98SHong Zhang 1299d4002b98SHong Zhang PetscFunctionBegin; 13009566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject)A, "Zoomviewer", (PetscObject *)&viewer)); 13019566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 13029566063dSJacob Faibussowitsch PetscCall(PetscDrawGetCoordinates(draw, &xl, &yl, &xr, &yr)); 1303d4002b98SHong Zhang 1304d4002b98SHong Zhang /* loop over matrix elements drawing boxes */ 1305d4002b98SHong Zhang 1306d4002b98SHong Zhang if (format != PETSC_VIEWER_DRAW_CONTOUR) { 1307d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1308d4002b98SHong Zhang /* Blue for negative, Cyan for zero and Red for positive */ 1309d4002b98SHong Zhang color = PETSC_DRAW_BLUE; 1310d4002b98SHong Zhang for (i = 0; i < m; i++) { 131107e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 13129371c9d4SSatish Balay y_l = m - i - 1.0; 13139371c9d4SSatish Balay y_r = y_l + 1.0; 1314d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 131507e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13169371c9d4SSatish Balay x_r = x_l + 1.0; 131707e43b41SHong Zhang if (PetscRealPart(a->val[shift + a->sliceheight * j]) >= 0.) continue; 13189566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1319d4002b98SHong Zhang } 1320d4002b98SHong Zhang } 1321d4002b98SHong Zhang color = PETSC_DRAW_CYAN; 1322d4002b98SHong Zhang for (i = 0; i < m; i++) { 132307e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 13249371c9d4SSatish Balay y_l = m - i - 1.0; 13259371c9d4SSatish Balay y_r = y_l + 1.0; 1326d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 132707e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13289371c9d4SSatish Balay x_r = x_l + 1.0; 132907e43b41SHong Zhang if (a->val[shift + a->sliceheight * j] != 0.) continue; 13309566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1331d4002b98SHong Zhang } 1332d4002b98SHong Zhang } 1333d4002b98SHong Zhang color = PETSC_DRAW_RED; 1334d4002b98SHong Zhang for (i = 0; i < m; i++) { 133507e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 13369371c9d4SSatish Balay y_l = m - i - 1.0; 13379371c9d4SSatish Balay y_r = y_l + 1.0; 1338d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 133907e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13409371c9d4SSatish Balay x_r = x_l + 1.0; 134107e43b41SHong Zhang if (PetscRealPart(a->val[shift + a->sliceheight * j]) <= 0.) continue; 13429566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1343d4002b98SHong Zhang } 1344d4002b98SHong Zhang } 1345d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1346d4002b98SHong Zhang } else { 1347d4002b98SHong Zhang /* use contour shading to indicate magnitude of values */ 1348d4002b98SHong Zhang /* first determine max of all nonzero values */ 1349d4002b98SHong Zhang PetscReal minv = 0.0, maxv = 0.0; 1350d4002b98SHong Zhang PetscInt count = 0; 1351d4002b98SHong Zhang PetscDraw popup; 1352d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1353d4002b98SHong Zhang if (PetscAbsScalar(a->val[i]) > maxv) maxv = PetscAbsScalar(a->val[i]); 1354d4002b98SHong Zhang } 1355d4002b98SHong Zhang if (minv >= maxv) maxv = minv + PETSC_SMALL; 13569566063dSJacob Faibussowitsch PetscCall(PetscDrawGetPopup(draw, &popup)); 13579566063dSJacob Faibussowitsch PetscCall(PetscDrawScalePopup(popup, minv, maxv)); 1358d4002b98SHong Zhang 1359d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1360d4002b98SHong Zhang for (i = 0; i < m; i++) { 136107e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1362d4002b98SHong Zhang y_l = m - i - 1.0; 1363d4002b98SHong Zhang y_r = y_l + 1.0; 1364d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 136507e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 1366d4002b98SHong Zhang x_r = x_l + 1.0; 1367d4002b98SHong Zhang color = PetscDrawRealToColor(PetscAbsScalar(a->val[count]), minv, maxv); 13689566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1369d4002b98SHong Zhang count++; 1370d4002b98SHong Zhang } 1371d4002b98SHong Zhang } 1372d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1373d4002b98SHong Zhang } 13743ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1375d4002b98SHong Zhang } 1376d4002b98SHong Zhang 1377d4002b98SHong Zhang #include <petscdraw.h> 1378ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_Draw(Mat A, PetscViewer viewer) 1379d71ae5a4SJacob Faibussowitsch { 1380d4002b98SHong Zhang PetscDraw draw; 1381d4002b98SHong Zhang PetscReal xr, yr, xl, yl, h, w; 1382d4002b98SHong Zhang PetscBool isnull; 1383d4002b98SHong Zhang 1384d4002b98SHong Zhang PetscFunctionBegin; 13859566063dSJacob Faibussowitsch PetscCall(PetscViewerDrawGetDraw(viewer, 0, &draw)); 13869566063dSJacob Faibussowitsch PetscCall(PetscDrawIsNull(draw, &isnull)); 13873ba16761SJacob Faibussowitsch if (isnull) PetscFunctionReturn(PETSC_SUCCESS); 1388d4002b98SHong Zhang 13899371c9d4SSatish Balay xr = A->cmap->n; 13909371c9d4SSatish Balay yr = A->rmap->n; 13919371c9d4SSatish Balay h = yr / 10.0; 13929371c9d4SSatish Balay w = xr / 10.0; 13939371c9d4SSatish Balay xr += w; 13949371c9d4SSatish Balay yr += h; 13959371c9d4SSatish Balay xl = -w; 13969371c9d4SSatish Balay yl = -h; 13979566063dSJacob Faibussowitsch PetscCall(PetscDrawSetCoordinates(draw, xl, yl, xr, yr)); 13989566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", (PetscObject)viewer)); 13999566063dSJacob Faibussowitsch PetscCall(PetscDrawZoom(draw, MatView_SeqSELL_Draw_Zoom, A)); 14009566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", NULL)); 14019566063dSJacob Faibussowitsch PetscCall(PetscDrawSave(draw)); 14023ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1403d4002b98SHong Zhang } 1404d4002b98SHong Zhang 1405d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL(Mat A, PetscViewer viewer) 1406d71ae5a4SJacob Faibussowitsch { 14079f196a02SMartin Diehl PetscBool isascii, isbinary, isdraw; 1408d4002b98SHong Zhang 1409d4002b98SHong Zhang PetscFunctionBegin; 14109f196a02SMartin Diehl PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &isascii)); 14119566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary)); 14129566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERDRAW, &isdraw)); 14139f196a02SMartin Diehl if (isascii) { 14149566063dSJacob Faibussowitsch PetscCall(MatView_SeqSELL_ASCII(A, viewer)); 1415d4002b98SHong Zhang } else if (isbinary) { 14169566063dSJacob Faibussowitsch /* PetscCall(MatView_SeqSELL_Binary(A,viewer)); */ 14171baa6e33SBarry Smith } else if (isdraw) PetscCall(MatView_SeqSELL_Draw(A, viewer)); 14183ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1419d4002b98SHong Zhang } 1420d4002b98SHong Zhang 1421d71ae5a4SJacob Faibussowitsch PetscErrorCode MatAssemblyEnd_SeqSELL(Mat A, MatAssemblyType mode) 1422d71ae5a4SJacob Faibussowitsch { 1423d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1424d4002b98SHong Zhang PetscInt i, shift, row_in_slice, row, nrow, *cp, lastcol, j, k; 1425d4002b98SHong Zhang MatScalar *vp; 1426773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 142790d2215bSHong Zhang PetscInt totalchunks = 0; 142890d2215bSHong Zhang #endif 1429d4002b98SHong Zhang 1430d4002b98SHong Zhang PetscFunctionBegin; 14313ba16761SJacob Faibussowitsch if (mode == MAT_FLUSH_ASSEMBLY) PetscFunctionReturn(PETSC_SUCCESS); 1432d4002b98SHong Zhang /* To do: compress out the unused elements */ 14339566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 14349566063dSJacob 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)); 14359566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Number of mallocs during MatSetValues() is %" PetscInt_FMT "\n", a->reallocs)); 14369566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Maximum nonzeros in any row is %" PetscInt_FMT "\n", a->rlenmax)); 14372d1451d4SHong Zhang a->nonzerorowcnt = 0; 1438d4002b98SHong 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 */ 1439d4002b98SHong Zhang for (i = 0; i < a->totalslices; ++i) { 1440d4002b98SHong Zhang shift = a->sliidx[i]; /* starting index of the slice */ 14418e3a54c0SPierre Jolivet cp = PetscSafePointerPlusOffset(a->colidx, shift); /* pointer to the column indices of the slice */ 14428e3a54c0SPierre Jolivet vp = PetscSafePointerPlusOffset(a->val, shift); /* pointer to the nonzero values of the slice */ 144307e43b41SHong Zhang for (row_in_slice = 0; row_in_slice < a->sliceheight; ++row_in_slice) { /* loop over rows in the slice */ 144407e43b41SHong Zhang row = a->sliceheight * i + row_in_slice; 1445d4002b98SHong Zhang nrow = a->rlen[row]; /* number of nonzeros in row */ 1446d4002b98SHong Zhang /* 1447d4002b98SHong Zhang Search for the nearest nonzero. Normally setting the index to zero may cause extra communication. 1448d4002b98SHong Zhang But if the entire slice are empty, it is fine to use 0 since the index will not be loaded. 1449d4002b98SHong Zhang */ 1450d4002b98SHong Zhang lastcol = 0; 1451d4002b98SHong Zhang if (nrow > 0) { /* nonempty row */ 14522d1451d4SHong Zhang a->nonzerorowcnt++; 145307e43b41SHong Zhang lastcol = cp[a->sliceheight * (nrow - 1) + row_in_slice]; /* use the index from the last nonzero at current row */ 1454aaa8cc7dSPierre Jolivet } else if (!row_in_slice) { /* first row of the correct slice is empty */ 145507e43b41SHong Zhang for (j = 1; j < a->sliceheight; j++) { 145607e43b41SHong Zhang if (a->rlen[a->sliceheight * i + j]) { 1457d4002b98SHong Zhang lastcol = cp[j]; 1458d4002b98SHong Zhang break; 1459d4002b98SHong Zhang } 1460d4002b98SHong Zhang } 1461d4002b98SHong Zhang } else { 1462d4002b98SHong Zhang if (a->sliidx[i + 1] != shift) lastcol = cp[row_in_slice - 1]; /* use the index from the previous row */ 1463d4002b98SHong Zhang } 1464d4002b98SHong Zhang 146507e43b41SHong Zhang for (k = nrow; k < (a->sliidx[i + 1] - shift) / a->sliceheight; ++k) { 146607e43b41SHong Zhang cp[a->sliceheight * k + row_in_slice] = lastcol; 146707e43b41SHong Zhang vp[a->sliceheight * k + row_in_slice] = (MatScalar)0; 1468d4002b98SHong Zhang } 1469d4002b98SHong Zhang } 1470d4002b98SHong Zhang } 1471d4002b98SHong Zhang 1472d4002b98SHong Zhang A->info.mallocs += a->reallocs; 1473d4002b98SHong Zhang a->reallocs = 0; 1474d4002b98SHong Zhang 14759566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 1476773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 147790d2215bSHong Zhang if (!a->chunksize && a->totalslices) { 147890d2215bSHong Zhang a->chunksize = 64; 147990d2215bSHong Zhang while (a->chunksize < 1024 && 2 * a->chunksize <= a->sliidx[a->totalslices] / a->totalslices) a->chunksize *= 2; 148090d2215bSHong Zhang totalchunks = 1 + (a->sliidx[a->totalslices] - 1) / a->chunksize; 148190d2215bSHong Zhang } 148290d2215bSHong Zhang if (totalchunks != a->totalchunks) { 148390d2215bSHong Zhang PetscCall(PetscFree(a->chunk_slice_map)); 148490d2215bSHong Zhang PetscCall(PetscMalloc1(totalchunks, &a->chunk_slice_map)); 148590d2215bSHong Zhang a->totalchunks = totalchunks; 148690d2215bSHong Zhang } 148790d2215bSHong Zhang j = 0; 148890d2215bSHong Zhang for (i = 0; i < totalchunks; i++) { 148990d2215bSHong Zhang while (a->sliidx[j + 1] <= i * a->chunksize && j < a->totalslices) j++; 149090d2215bSHong Zhang a->chunk_slice_map[i] = j; 149190d2215bSHong Zhang } 149290d2215bSHong Zhang #endif 14933ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1494d4002b98SHong Zhang } 1495d4002b98SHong Zhang 1496d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetInfo_SeqSELL(Mat A, MatInfoType flag, MatInfo *info) 1497d71ae5a4SJacob Faibussowitsch { 1498d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1499d4002b98SHong Zhang 1500d4002b98SHong Zhang PetscFunctionBegin; 1501d4002b98SHong Zhang info->block_size = 1.0; 15023966268fSBarry Smith info->nz_allocated = a->maxallocmat; 15033966268fSBarry Smith info->nz_used = a->sliidx[a->totalslices]; /* include padding zeros */ 15043966268fSBarry Smith info->nz_unneeded = (a->maxallocmat - a->sliidx[a->totalslices]); 15053966268fSBarry Smith info->assemblies = A->num_ass; 15063966268fSBarry Smith info->mallocs = A->info.mallocs; 15074dfa11a4SJacob Faibussowitsch info->memory = 0; /* REVIEW ME */ 1508d4002b98SHong Zhang if (A->factortype) { 1509d4002b98SHong Zhang info->fill_ratio_given = A->info.fill_ratio_given; 1510d4002b98SHong Zhang info->fill_ratio_needed = A->info.fill_ratio_needed; 1511d4002b98SHong Zhang info->factor_mallocs = A->info.factor_mallocs; 1512d4002b98SHong Zhang } else { 1513d4002b98SHong Zhang info->fill_ratio_given = 0; 1514d4002b98SHong Zhang info->fill_ratio_needed = 0; 1515d4002b98SHong Zhang info->factor_mallocs = 0; 1516d4002b98SHong Zhang } 15173ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1518d4002b98SHong Zhang } 1519d4002b98SHong Zhang 1520d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is) 1521d71ae5a4SJacob Faibussowitsch { 1522d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1523d4002b98SHong Zhang PetscInt shift, i, k, l, low, high, t, ii, row, col, nrow; 1524d4002b98SHong Zhang PetscInt *cp, nonew = a->nonew, lastcol = -1; 1525d4002b98SHong Zhang MatScalar *vp, value; 1526773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 15272d1451d4SHong Zhang PetscBool inserted = PETSC_FALSE; 15284e58db63SHong Zhang PetscInt mul = DEVICE_MEM_ALIGN / a->sliceheight; 15292d1451d4SHong Zhang #endif 1530d4002b98SHong Zhang 1531d4002b98SHong Zhang PetscFunctionBegin; 1532d4002b98SHong Zhang for (k = 0; k < m; k++) { /* loop over added rows */ 1533d4002b98SHong Zhang row = im[k]; 1534d4002b98SHong Zhang if (row < 0) continue; 15356bdcaf15SBarry 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); 153607e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + row % a->sliceheight; /* starting index of the row */ 1537d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1538d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 1539d4002b98SHong Zhang nrow = a->rlen[row]; 1540d4002b98SHong Zhang low = 0; 1541d4002b98SHong Zhang high = nrow; 1542d4002b98SHong Zhang 1543d4002b98SHong Zhang for (l = 0; l < n; l++) { /* loop over added columns */ 1544d4002b98SHong Zhang col = in[l]; 1545d4002b98SHong Zhang if (col < 0) continue; 15466bdcaf15SBarry 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); 1547d4002b98SHong Zhang if (a->roworiented) { 1548d4002b98SHong Zhang value = v[l + k * n]; 1549d4002b98SHong Zhang } else { 1550d4002b98SHong Zhang value = v[k + l * m]; 1551d4002b98SHong Zhang } 1552d4002b98SHong Zhang if ((value == 0.0 && a->ignorezeroentries) && (is == ADD_VALUES)) continue; 1553d4002b98SHong Zhang 1554ed73aabaSBarry Smith /* search in this row for the specified column, i indicates the column to be set */ 1555d4002b98SHong Zhang if (col <= lastcol) low = 0; 1556d4002b98SHong Zhang else high = nrow; 1557d4002b98SHong Zhang lastcol = col; 1558d4002b98SHong Zhang while (high - low > 5) { 1559d4002b98SHong Zhang t = (low + high) / 2; 156007e43b41SHong Zhang if (*(cp + a->sliceheight * t) > col) high = t; 1561d4002b98SHong Zhang else low = t; 1562d4002b98SHong Zhang } 1563d4002b98SHong Zhang for (i = low; i < high; i++) { 156407e43b41SHong Zhang if (*(cp + a->sliceheight * i) > col) break; 156507e43b41SHong Zhang if (*(cp + a->sliceheight * i) == col) { 156607e43b41SHong Zhang if (is == ADD_VALUES) *(vp + a->sliceheight * i) += value; 156707e43b41SHong Zhang else *(vp + a->sliceheight * i) = value; 1568773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 15692d1451d4SHong Zhang inserted = PETSC_TRUE; 15702d1451d4SHong Zhang #endif 1571d4002b98SHong Zhang low = i + 1; 1572d4002b98SHong Zhang goto noinsert; 1573d4002b98SHong Zhang } 1574d4002b98SHong Zhang } 1575d4002b98SHong Zhang if (value == 0.0 && a->ignorezeroentries) goto noinsert; 1576d4002b98SHong Zhang if (nonew == 1) goto noinsert; 157708401ef6SPierre Jolivet PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new nonzero (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col); 1578773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 15794e58db63SHong Zhang MatSeqXSELLReallocateSELL(A, A->rmap->n, 1, nrow, a->sliidx, a->sliceheight, row / a->sliceheight, row, col, a->colidx, a->val, cp, vp, nonew, MatScalar, mul); 15804e58db63SHong Zhang #else 1581d4002b98SHong Zhang /* If the current row length exceeds the slice width (e.g. nrow==slice_width), allocate a new space, otherwise do nothing */ 15824e58db63SHong Zhang MatSeqXSELLReallocateSELL(A, A->rmap->n, 1, nrow, a->sliidx, a->sliceheight, row / a->sliceheight, row, col, a->colidx, a->val, cp, vp, nonew, MatScalar, 1); 15834e58db63SHong Zhang #endif 1584d4002b98SHong Zhang /* add the new nonzero to the high position, shift the remaining elements in current row to the right by one slot */ 1585d4002b98SHong Zhang for (ii = nrow - 1; ii >= i; ii--) { 158607e43b41SHong Zhang *(cp + a->sliceheight * (ii + 1)) = *(cp + a->sliceheight * ii); 158707e43b41SHong Zhang *(vp + a->sliceheight * (ii + 1)) = *(vp + a->sliceheight * ii); 1588d4002b98SHong Zhang } 1589d4002b98SHong Zhang a->rlen[row]++; 159007e43b41SHong Zhang *(cp + a->sliceheight * i) = col; 159107e43b41SHong Zhang *(vp + a->sliceheight * i) = value; 1592d4002b98SHong Zhang a->nz++; 1593773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 15942d1451d4SHong Zhang inserted = PETSC_TRUE; 15952d1451d4SHong Zhang #endif 15969371c9d4SSatish Balay low = i + 1; 15979371c9d4SSatish Balay high++; 15989371c9d4SSatish Balay nrow++; 1599d4002b98SHong Zhang noinsert:; 1600d4002b98SHong Zhang } 1601d4002b98SHong Zhang a->rlen[row] = nrow; 1602d4002b98SHong Zhang } 1603773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 16042d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED && inserted) A->offloadmask = PETSC_OFFLOAD_CPU; 16052d1451d4SHong Zhang #endif 16063ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1607d4002b98SHong Zhang } 1608d4002b98SHong Zhang 1609d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCopy_SeqSELL(Mat A, Mat B, MatStructure str) 1610d71ae5a4SJacob Faibussowitsch { 1611d4002b98SHong Zhang PetscFunctionBegin; 1612d4002b98SHong Zhang /* If the two matrices have the same copy implementation, use fast copy. */ 1613d4002b98SHong Zhang if (str == SAME_NONZERO_PATTERN && (A->ops->copy == B->ops->copy)) { 1614d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1615d4002b98SHong Zhang Mat_SeqSELL *b = (Mat_SeqSELL *)B->data; 1616d4002b98SHong Zhang 161708401ef6SPierre 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"); 16189566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(b->val, a->val, a->sliidx[a->totalslices])); 1619d4002b98SHong Zhang } else { 16209566063dSJacob Faibussowitsch PetscCall(MatCopy_Basic(A, B, str)); 1621d4002b98SHong Zhang } 16223ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1623d4002b98SHong Zhang } 1624d4002b98SHong Zhang 1625d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetUp_SeqSELL(Mat A) 1626d71ae5a4SJacob Faibussowitsch { 1627d4002b98SHong Zhang PetscFunctionBegin; 16289566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(A, PETSC_DEFAULT, NULL)); 16293ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1630d4002b98SHong Zhang } 1631d4002b98SHong Zhang 1632d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat A, PetscScalar *array[]) 1633d71ae5a4SJacob Faibussowitsch { 1634d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1635d4002b98SHong Zhang 1636d4002b98SHong Zhang PetscFunctionBegin; 1637d4002b98SHong Zhang *array = a->val; 16383ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1639d4002b98SHong Zhang } 1640d4002b98SHong Zhang 1641d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat A, PetscScalar *array[]) 1642d71ae5a4SJacob Faibussowitsch { 1643d4002b98SHong Zhang PetscFunctionBegin; 16443ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1645d4002b98SHong Zhang } 1646d4002b98SHong Zhang 1647d71ae5a4SJacob Faibussowitsch PetscErrorCode MatScale_SeqSELL(Mat inA, PetscScalar alpha) 1648d71ae5a4SJacob Faibussowitsch { 1649d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)inA->data; 1650d4002b98SHong Zhang MatScalar *aval = a->val; 1651d4002b98SHong Zhang PetscScalar oalpha = alpha; 1652d4002b98SHong Zhang PetscBLASInt one = 1, size; 1653d4002b98SHong Zhang 1654d4002b98SHong Zhang PetscFunctionBegin; 16559566063dSJacob Faibussowitsch PetscCall(PetscBLASIntCast(a->sliidx[a->totalslices], &size)); 1656792fecdfSBarry Smith PetscCallBLAS("BLASscal", BLASscal_(&size, &oalpha, aval, &one)); 16579566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 16589566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(inA)); 1659773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 16602d1451d4SHong Zhang if (inA->offloadmask != PETSC_OFFLOAD_UNALLOCATED) inA->offloadmask = PETSC_OFFLOAD_CPU; 16612d1451d4SHong Zhang #endif 16623ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1663d4002b98SHong Zhang } 1664d4002b98SHong Zhang 1665d71ae5a4SJacob Faibussowitsch PetscErrorCode MatShift_SeqSELL(Mat Y, PetscScalar a) 1666d71ae5a4SJacob Faibussowitsch { 1667d4002b98SHong Zhang Mat_SeqSELL *y = (Mat_SeqSELL *)Y->data; 1668d4002b98SHong Zhang 1669d4002b98SHong Zhang PetscFunctionBegin; 167048a46eb9SPierre Jolivet if (!Y->preallocated || !y->nz) PetscCall(MatSeqSELLSetPreallocation(Y, 1, NULL)); 16719566063dSJacob Faibussowitsch PetscCall(MatShift_Basic(Y, a)); 16723ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1673d4002b98SHong Zhang } 1674d4002b98SHong Zhang 1675d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSOR_SeqSELL(Mat A, Vec bb, PetscReal omega, MatSORType flag, PetscReal fshift, PetscInt its, PetscInt lits, Vec xx) 1676d71ae5a4SJacob Faibussowitsch { 1677d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1678d4002b98SHong Zhang PetscScalar *x, sum, *t; 1679f4259b30SLisandro Dalcin const MatScalar *idiag = NULL, *mdiag; 1680d4002b98SHong Zhang const PetscScalar *b, *xb; 1681d4002b98SHong Zhang PetscInt n, m = A->rmap->n, i, j, shift; 1682d4002b98SHong Zhang const PetscInt *diag; 1683d4002b98SHong Zhang 1684d4002b98SHong Zhang PetscFunctionBegin; 1685d4002b98SHong Zhang its = its * lits; 1686d4002b98SHong Zhang 1687d4002b98SHong Zhang if (fshift != a->fshift || omega != a->omega) a->idiagvalid = PETSC_FALSE; /* must recompute idiag[] */ 16889566063dSJacob Faibussowitsch if (!a->idiagvalid) PetscCall(MatInvertDiagonal_SeqSELL(A, omega, fshift)); 1689d4002b98SHong Zhang a->fshift = fshift; 1690d4002b98SHong Zhang a->omega = omega; 1691d4002b98SHong Zhang 1692d4002b98SHong Zhang diag = a->diag; 1693d4002b98SHong Zhang t = a->ssor_work; 1694d4002b98SHong Zhang idiag = a->idiag; 1695d4002b98SHong Zhang mdiag = a->mdiag; 1696d4002b98SHong Zhang 16979566063dSJacob Faibussowitsch PetscCall(VecGetArray(xx, &x)); 16989566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(bb, &b)); 1699d4002b98SHong Zhang /* We count flops by assuming the upper triangular and lower triangular parts have the same number of nonzeros */ 170008401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_UPPER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_UPPER is not implemented"); 170108401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_LOWER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_LOWER is not implemented"); 1702aed4548fSBarry Smith PetscCheck(!(flag & SOR_EISENSTAT), PETSC_COMM_SELF, PETSC_ERR_SUP, "No support yet for Eisenstat"); 1703d4002b98SHong Zhang 1704d4002b98SHong Zhang if (flag & SOR_ZERO_INITIAL_GUESS) { 1705d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1706d4002b98SHong Zhang for (i = 0; i < m; i++) { 170707e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1708d4002b98SHong Zhang sum = b[i]; 170907e43b41SHong Zhang n = (diag[i] - shift) / a->sliceheight; 171007e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1711d4002b98SHong Zhang t[i] = sum; 1712d4002b98SHong Zhang x[i] = sum * idiag[i]; 1713d4002b98SHong Zhang } 1714d4002b98SHong Zhang xb = t; 17159566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1716d4002b98SHong Zhang } else xb = b; 1717d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1718d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 171907e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1720d4002b98SHong Zhang sum = xb[i]; 172107e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 172207e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1723d4002b98SHong Zhang if (xb == b) { 1724d4002b98SHong Zhang x[i] = sum * idiag[i]; 1725d4002b98SHong Zhang } else { 1726d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1727d4002b98SHong Zhang } 1728d4002b98SHong Zhang } 17299566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1730d4002b98SHong Zhang } 1731d4002b98SHong Zhang its--; 1732d4002b98SHong Zhang } 1733d4002b98SHong Zhang while (its--) { 1734d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1735d4002b98SHong Zhang for (i = 0; i < m; i++) { 1736d4002b98SHong Zhang /* lower */ 173707e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1738d4002b98SHong Zhang sum = b[i]; 173907e43b41SHong Zhang n = (diag[i] - shift) / a->sliceheight; 174007e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1741d4002b98SHong Zhang t[i] = sum; /* save application of the lower-triangular part */ 1742d4002b98SHong Zhang /* upper */ 174307e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 174407e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1745d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1746d4002b98SHong Zhang } 1747d4002b98SHong Zhang xb = t; 17489566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1749d4002b98SHong Zhang } else xb = b; 1750d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1751d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 175207e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1753d4002b98SHong Zhang sum = xb[i]; 1754d4002b98SHong Zhang if (xb == b) { 1755d4002b98SHong Zhang /* whole matrix (no checkpointing available) */ 1756d4002b98SHong Zhang n = a->rlen[i]; 175707e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1758d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + (sum + mdiag[i] * x[i]) * idiag[i]; 1759d4002b98SHong Zhang } else { /* lower-triangular part has been saved, so only apply upper-triangular */ 176007e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 176107e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1762d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1763d4002b98SHong Zhang } 1764d4002b98SHong Zhang } 1765d4002b98SHong Zhang if (xb == b) { 17669566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1767d4002b98SHong Zhang } else { 17689566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1769d4002b98SHong Zhang } 1770d4002b98SHong Zhang } 1771d4002b98SHong Zhang } 17729566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(xx, &x)); 17739566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(bb, &b)); 17743ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1775d4002b98SHong Zhang } 1776d4002b98SHong Zhang 1777d4002b98SHong Zhang static struct _MatOps MatOps_Values = {MatSetValues_SeqSELL, 17786108893eSStefano Zampini MatGetRow_SeqSELL, 17796108893eSStefano Zampini MatRestoreRow_SeqSELL, 1780d4002b98SHong Zhang MatMult_SeqSELL, 1781d4002b98SHong Zhang /* 4*/ MatMultAdd_SeqSELL, 1782d4002b98SHong Zhang MatMultTranspose_SeqSELL, 1783d4002b98SHong Zhang MatMultTransposeAdd_SeqSELL, 1784f4259b30SLisandro Dalcin NULL, 1785f4259b30SLisandro Dalcin NULL, 1786f4259b30SLisandro Dalcin NULL, 1787f4259b30SLisandro Dalcin /* 10*/ NULL, 1788f4259b30SLisandro Dalcin NULL, 1789f4259b30SLisandro Dalcin NULL, 1790d4002b98SHong Zhang MatSOR_SeqSELL, 1791f4259b30SLisandro Dalcin NULL, 1792d4002b98SHong Zhang /* 15*/ MatGetInfo_SeqSELL, 1793d4002b98SHong Zhang MatEqual_SeqSELL, 1794d4002b98SHong Zhang MatGetDiagonal_SeqSELL, 1795d4002b98SHong Zhang MatDiagonalScale_SeqSELL, 1796f4259b30SLisandro Dalcin NULL, 1797f4259b30SLisandro Dalcin /* 20*/ NULL, 1798d4002b98SHong Zhang MatAssemblyEnd_SeqSELL, 1799d4002b98SHong Zhang MatSetOption_SeqSELL, 1800d4002b98SHong Zhang MatZeroEntries_SeqSELL, 1801f4259b30SLisandro Dalcin /* 24*/ NULL, 1802f4259b30SLisandro Dalcin NULL, 1803f4259b30SLisandro Dalcin NULL, 1804f4259b30SLisandro Dalcin NULL, 1805f4259b30SLisandro Dalcin NULL, 1806d4002b98SHong Zhang /* 29*/ MatSetUp_SeqSELL, 1807f4259b30SLisandro Dalcin NULL, 1808f4259b30SLisandro Dalcin NULL, 1809f4259b30SLisandro Dalcin NULL, 1810f4259b30SLisandro Dalcin NULL, 1811d4002b98SHong Zhang /* 34*/ MatDuplicate_SeqSELL, 1812f4259b30SLisandro Dalcin NULL, 1813f4259b30SLisandro Dalcin NULL, 1814f4259b30SLisandro Dalcin NULL, 1815f4259b30SLisandro Dalcin NULL, 1816f4259b30SLisandro Dalcin /* 39*/ NULL, 1817f4259b30SLisandro Dalcin NULL, 1818f4259b30SLisandro Dalcin NULL, 1819d4002b98SHong Zhang MatGetValues_SeqSELL, 1820d4002b98SHong Zhang MatCopy_SeqSELL, 1821f4259b30SLisandro Dalcin /* 44*/ NULL, 1822d4002b98SHong Zhang MatScale_SeqSELL, 1823d4002b98SHong Zhang MatShift_SeqSELL, 1824f4259b30SLisandro Dalcin NULL, 1825f4259b30SLisandro Dalcin NULL, 1826f4259b30SLisandro Dalcin /* 49*/ NULL, 1827f4259b30SLisandro Dalcin NULL, 1828f4259b30SLisandro Dalcin NULL, 1829f4259b30SLisandro Dalcin NULL, 1830f4259b30SLisandro Dalcin NULL, 1831d4002b98SHong Zhang /* 54*/ MatFDColoringCreate_SeqXAIJ, 1832f4259b30SLisandro Dalcin NULL, 1833f4259b30SLisandro Dalcin NULL, 1834f4259b30SLisandro Dalcin NULL, 1835f4259b30SLisandro Dalcin NULL, 1836f4259b30SLisandro Dalcin /* 59*/ NULL, 1837d4002b98SHong Zhang MatDestroy_SeqSELL, 1838d4002b98SHong Zhang MatView_SeqSELL, 1839f4259b30SLisandro Dalcin NULL, 1840f4259b30SLisandro Dalcin NULL, 1841f4259b30SLisandro Dalcin /* 64*/ NULL, 1842f4259b30SLisandro Dalcin NULL, 1843f4259b30SLisandro Dalcin NULL, 1844f4259b30SLisandro Dalcin NULL, 1845f4259b30SLisandro Dalcin NULL, 1846f4259b30SLisandro Dalcin /* 69*/ NULL, 1847f4259b30SLisandro Dalcin NULL, 1848f4259b30SLisandro Dalcin NULL, 18498bb0f5c6SPierre Jolivet MatFDColoringApply_AIJ, /* reuse the FDColoring function for AIJ */ 1850f4259b30SLisandro Dalcin NULL, 1851f4259b30SLisandro Dalcin /* 74*/ NULL, 18528bb0f5c6SPierre Jolivet NULL, 1853f4259b30SLisandro Dalcin NULL, 1854f4259b30SLisandro Dalcin NULL, 1855f4259b30SLisandro Dalcin NULL, 1856f4259b30SLisandro Dalcin /* 79*/ NULL, 1857f4259b30SLisandro Dalcin NULL, 1858f4259b30SLisandro Dalcin NULL, 1859f4259b30SLisandro Dalcin NULL, 1860f4259b30SLisandro Dalcin NULL, 1861f4259b30SLisandro Dalcin /* 84*/ NULL, 1862f4259b30SLisandro Dalcin NULL, 1863f4259b30SLisandro Dalcin NULL, 1864f4259b30SLisandro Dalcin NULL, 1865f4259b30SLisandro Dalcin NULL, 1866f4259b30SLisandro Dalcin /* 89*/ NULL, 1867f4259b30SLisandro Dalcin NULL, 1868f4259b30SLisandro Dalcin NULL, 1869f4259b30SLisandro Dalcin NULL, 18708bb0f5c6SPierre Jolivet MatConjugate_SeqSELL, 1871f4259b30SLisandro Dalcin /* 94*/ NULL, 1872f4259b30SLisandro Dalcin NULL, 1873f4259b30SLisandro Dalcin NULL, 1874f4259b30SLisandro Dalcin NULL, 1875f4259b30SLisandro Dalcin NULL, 1876f4259b30SLisandro Dalcin /* 99*/ NULL, 1877f4259b30SLisandro Dalcin NULL, 1878f4259b30SLisandro Dalcin NULL, 1879f4259b30SLisandro Dalcin NULL, 18808bb0f5c6SPierre Jolivet NULL, 18818bb0f5c6SPierre Jolivet /*104*/ MatMissingDiagonal_SeqSELL, 1882f4259b30SLisandro Dalcin NULL, 1883f4259b30SLisandro Dalcin NULL, 1884f4259b30SLisandro Dalcin NULL, 1885f4259b30SLisandro Dalcin NULL, 1886f4259b30SLisandro Dalcin /*109*/ NULL, 1887f4259b30SLisandro Dalcin NULL, 1888f4259b30SLisandro Dalcin NULL, 1889f4259b30SLisandro Dalcin NULL, 18908bb0f5c6SPierre Jolivet NULL, 1891f4259b30SLisandro Dalcin /*114*/ NULL, 1892f4259b30SLisandro Dalcin NULL, 1893f4259b30SLisandro Dalcin NULL, 1894f4259b30SLisandro Dalcin NULL, 1895f4259b30SLisandro Dalcin NULL, 1896f4259b30SLisandro Dalcin /*119*/ NULL, 1897f4259b30SLisandro Dalcin NULL, 1898f4259b30SLisandro Dalcin NULL, 1899f4259b30SLisandro Dalcin NULL, 1900f4259b30SLisandro Dalcin NULL, 1901f4259b30SLisandro Dalcin /*124*/ NULL, 1902f4259b30SLisandro Dalcin NULL, 1903f4259b30SLisandro Dalcin NULL, 1904f4259b30SLisandro Dalcin NULL, 1905f4259b30SLisandro Dalcin NULL, 19068bb0f5c6SPierre Jolivet /*129*/ MatFDColoringSetUp_SeqXAIJ, 1907f4259b30SLisandro Dalcin NULL, 1908f4259b30SLisandro Dalcin NULL, 1909f4259b30SLisandro Dalcin NULL, 1910f4259b30SLisandro Dalcin NULL, 1911f4259b30SLisandro Dalcin /*134*/ NULL, 1912f4259b30SLisandro Dalcin NULL, 1913f4259b30SLisandro Dalcin NULL, 1914f4259b30SLisandro Dalcin NULL, 1915f4259b30SLisandro Dalcin NULL, 1916f4259b30SLisandro Dalcin /*139*/ NULL, 1917f4259b30SLisandro Dalcin NULL, 1918f4259b30SLisandro Dalcin NULL, 191903db1824SAlex Lindsay NULL, 1920*c2be7ffeSStefano Zampini NULL, 1921dec0b466SHong Zhang NULL}; 1922d4002b98SHong Zhang 1923ba38deedSJacob Faibussowitsch static PetscErrorCode MatStoreValues_SeqSELL(Mat mat) 1924d71ae5a4SJacob Faibussowitsch { 1925d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1926d4002b98SHong Zhang 1927d4002b98SHong Zhang PetscFunctionBegin; 192828b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 1929d4002b98SHong Zhang 1930d4002b98SHong Zhang /* allocate space for values if not already there */ 1931aa624791SPierre Jolivet if (!a->saved_values) PetscCall(PetscMalloc1(a->sliidx[a->totalslices] + 1, &a->saved_values)); 1932d4002b98SHong Zhang 1933d4002b98SHong Zhang /* copy values over */ 19349566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->saved_values, a->val, a->sliidx[a->totalslices])); 19353ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1936d4002b98SHong Zhang } 1937d4002b98SHong Zhang 1938ba38deedSJacob Faibussowitsch static PetscErrorCode MatRetrieveValues_SeqSELL(Mat mat) 1939d71ae5a4SJacob Faibussowitsch { 1940d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1941d4002b98SHong Zhang 1942d4002b98SHong Zhang PetscFunctionBegin; 194328b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 194428b400f6SJacob Faibussowitsch PetscCheck(a->saved_values, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatStoreValues(A);first"); 19459566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->val, a->saved_values, a->sliidx[a->totalslices])); 19463ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1947d4002b98SHong Zhang } 1948d4002b98SHong Zhang 1949ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetFillRatio_SeqSELL(Mat mat, PetscReal *ratio) 195007e43b41SHong Zhang { 195107e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 195207e43b41SHong Zhang 195307e43b41SHong Zhang PetscFunctionBegin; 195407e43b41SHong Zhang if (a->totalslices && a->sliidx[a->totalslices]) { 195507e43b41SHong Zhang *ratio = (PetscReal)(a->sliidx[a->totalslices] - a->nz) / a->sliidx[a->totalslices]; 195607e43b41SHong Zhang } else { 195707e43b41SHong Zhang *ratio = 0.0; 195807e43b41SHong Zhang } 195907e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 196007e43b41SHong Zhang } 196107e43b41SHong Zhang 1962ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetMaxSliceWidth_SeqSELL(Mat mat, PetscInt *slicewidth) 196307e43b41SHong Zhang { 196407e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 196507e43b41SHong Zhang PetscInt i, current_slicewidth; 196607e43b41SHong Zhang 196707e43b41SHong Zhang PetscFunctionBegin; 196807e43b41SHong Zhang *slicewidth = 0; 196907e43b41SHong Zhang for (i = 0; i < a->totalslices; i++) { 197007e43b41SHong Zhang current_slicewidth = (a->sliidx[i + 1] - a->sliidx[i]) / a->sliceheight; 197107e43b41SHong Zhang if (current_slicewidth > *slicewidth) *slicewidth = current_slicewidth; 197207e43b41SHong Zhang } 197307e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 197407e43b41SHong Zhang } 197507e43b41SHong Zhang 1976ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetAvgSliceWidth_SeqSELL(Mat mat, PetscReal *slicewidth) 197707e43b41SHong Zhang { 197807e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 197907e43b41SHong Zhang 198007e43b41SHong Zhang PetscFunctionBegin; 198107e43b41SHong Zhang *slicewidth = 0; 1982ac530a7eSPierre Jolivet if (a->totalslices) *slicewidth = (PetscReal)a->sliidx[a->totalslices] / a->sliceheight / a->totalslices; 198307e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 198407e43b41SHong Zhang } 198507e43b41SHong Zhang 1986ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetVarSliceSize_SeqSELL(Mat mat, PetscReal *variance) 1987b921024eSHong Zhang { 1988b921024eSHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1989b921024eSHong Zhang PetscReal mean; 1990b921024eSHong Zhang PetscInt i, totalslices = a->totalslices, *sliidx = a->sliidx; 1991b921024eSHong Zhang 1992b921024eSHong Zhang PetscFunctionBegin; 1993b921024eSHong Zhang *variance = 0; 1994b921024eSHong Zhang if (totalslices) { 1995b921024eSHong Zhang mean = (PetscReal)sliidx[totalslices] / totalslices; 1996ac530a7eSPierre Jolivet for (i = 1; i <= totalslices; i++) *variance += ((PetscReal)(sliidx[i] - sliidx[i - 1]) - mean) * ((PetscReal)(sliidx[i] - sliidx[i - 1]) - mean) / totalslices; 1997b921024eSHong Zhang } 1998b921024eSHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 1999b921024eSHong Zhang } 2000b921024eSHong Zhang 2001ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLSetSliceHeight_SeqSELL(Mat A, PetscInt sliceheight) 200207e43b41SHong Zhang { 200307e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 200407e43b41SHong Zhang 200507e43b41SHong Zhang PetscFunctionBegin; 200607e43b41SHong Zhang if (A->preallocated) PetscFunctionReturn(PETSC_SUCCESS); 200707e43b41SHong Zhang PetscCheck(a->sliceheight <= 0 || a->sliceheight == sliceheight, PETSC_COMM_SELF, PETSC_ERR_SUP, "Cannot change slice height %" PetscInt_FMT " to %" PetscInt_FMT, a->sliceheight, sliceheight); 200807e43b41SHong Zhang a->sliceheight = sliceheight; 2009773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 2010773bf0f6SHong Zhang PetscCheck(PetscMax(DEVICE_MEM_ALIGN, sliceheight) % PetscMin(DEVICE_MEM_ALIGN, sliceheight) == 0, PETSC_COMM_SELF, PETSC_ERR_SUP, "The slice height is not compatible with DEVICE_MEM_ALIGN (one must be divisible by the other) %" PetscInt_FMT, sliceheight); 20114e58db63SHong Zhang #endif 201207e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 201307e43b41SHong Zhang } 201407e43b41SHong Zhang 2015cc4c1da9SBarry Smith /*@ 201607e43b41SHong Zhang MatSeqSELLGetFillRatio - returns a ratio that indicates the irregularity of the matrix. 201707e43b41SHong Zhang 201807e43b41SHong Zhang Not Collective 201907e43b41SHong Zhang 202007e43b41SHong Zhang Input Parameter: 202107e43b41SHong Zhang . A - a MATSEQSELL matrix 202207e43b41SHong Zhang 202307e43b41SHong Zhang Output Parameter: 202407e43b41SHong Zhang . ratio - ratio of number of padded zeros to number of allocated elements 202507e43b41SHong Zhang 202607e43b41SHong Zhang Level: intermediate 20272920cce0SJacob Faibussowitsch 20282920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetAvgSliceWidth()` 202907e43b41SHong Zhang @*/ 203007e43b41SHong Zhang PetscErrorCode MatSeqSELLGetFillRatio(Mat A, PetscReal *ratio) 203107e43b41SHong Zhang { 203207e43b41SHong Zhang PetscFunctionBegin; 203307e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetFillRatio_C", (Mat, PetscReal *), (A, ratio)); 203407e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 203507e43b41SHong Zhang } 203607e43b41SHong Zhang 2037cc4c1da9SBarry Smith /*@ 203807e43b41SHong Zhang MatSeqSELLGetMaxSliceWidth - returns the maximum slice width. 203907e43b41SHong Zhang 204007e43b41SHong Zhang Not Collective 204107e43b41SHong Zhang 204207e43b41SHong Zhang Input Parameter: 204307e43b41SHong Zhang . A - a MATSEQSELL matrix 204407e43b41SHong Zhang 204507e43b41SHong Zhang Output Parameter: 204607e43b41SHong Zhang . slicewidth - maximum slice width 204707e43b41SHong Zhang 204807e43b41SHong Zhang Level: intermediate 20492920cce0SJacob Faibussowitsch 20502920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetAvgSliceWidth()` 205107e43b41SHong Zhang @*/ 205207e43b41SHong Zhang PetscErrorCode MatSeqSELLGetMaxSliceWidth(Mat A, PetscInt *slicewidth) 205307e43b41SHong Zhang { 205407e43b41SHong Zhang PetscFunctionBegin; 205507e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetMaxSliceWidth_C", (Mat, PetscInt *), (A, slicewidth)); 205607e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 205707e43b41SHong Zhang } 205807e43b41SHong Zhang 2059cc4c1da9SBarry Smith /*@ 206007e43b41SHong Zhang MatSeqSELLGetAvgSliceWidth - returns the average slice width. 206107e43b41SHong Zhang 206207e43b41SHong Zhang Not Collective 206307e43b41SHong Zhang 206407e43b41SHong Zhang Input Parameter: 206507e43b41SHong Zhang . A - a MATSEQSELL matrix 206607e43b41SHong Zhang 206707e43b41SHong Zhang Output Parameter: 206807e43b41SHong Zhang . slicewidth - average slice width 206907e43b41SHong Zhang 207007e43b41SHong Zhang Level: intermediate 20712920cce0SJacob Faibussowitsch 20722920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetMaxSliceWidth()` 207307e43b41SHong Zhang @*/ 207407e43b41SHong Zhang PetscErrorCode MatSeqSELLGetAvgSliceWidth(Mat A, PetscReal *slicewidth) 207507e43b41SHong Zhang { 207607e43b41SHong Zhang PetscFunctionBegin; 207707e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetAvgSliceWidth_C", (Mat, PetscReal *), (A, slicewidth)); 207807e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 207907e43b41SHong Zhang } 208007e43b41SHong Zhang 2081cc4c1da9SBarry Smith /*@ 208207e43b41SHong Zhang MatSeqSELLSetSliceHeight - sets the slice height. 208307e43b41SHong Zhang 208407e43b41SHong Zhang Not Collective 208507e43b41SHong Zhang 208607e43b41SHong Zhang Input Parameters: 208707e43b41SHong Zhang + A - a MATSEQSELL matrix 208807e43b41SHong Zhang - sliceheight - slice height 208907e43b41SHong Zhang 209007e43b41SHong Zhang Notes: 209107e43b41SHong Zhang You cannot change the slice height once it have been set. 209207e43b41SHong Zhang 209307e43b41SHong Zhang The slice height must be set before MatSetUp() or MatXXXSetPreallocation() is called. 209407e43b41SHong Zhang 209507e43b41SHong Zhang Level: intermediate 20962920cce0SJacob Faibussowitsch 20972920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetVarSliceSize()` 209807e43b41SHong Zhang @*/ 209907e43b41SHong Zhang PetscErrorCode MatSeqSELLSetSliceHeight(Mat A, PetscInt sliceheight) 210007e43b41SHong Zhang { 210107e43b41SHong Zhang PetscFunctionBegin; 210207e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLSetSliceHeight_C", (Mat, PetscInt), (A, sliceheight)); 210307e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 210407e43b41SHong Zhang } 210507e43b41SHong Zhang 2106cc4c1da9SBarry Smith /*@ 210707e43b41SHong Zhang MatSeqSELLGetVarSliceSize - returns the variance of the slice size. 210807e43b41SHong Zhang 210907e43b41SHong Zhang Not Collective 211007e43b41SHong Zhang 211107e43b41SHong Zhang Input Parameter: 211207e43b41SHong Zhang . A - a MATSEQSELL matrix 211307e43b41SHong Zhang 211407e43b41SHong Zhang Output Parameter: 211507e43b41SHong Zhang . variance - variance of the slice size 211607e43b41SHong Zhang 211707e43b41SHong Zhang Level: intermediate 21182920cce0SJacob Faibussowitsch 21192920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLSetSliceHeight()` 212007e43b41SHong Zhang @*/ 212107e43b41SHong Zhang PetscErrorCode MatSeqSELLGetVarSliceSize(Mat A, PetscReal *variance) 212207e43b41SHong Zhang { 212307e43b41SHong Zhang PetscFunctionBegin; 212407e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetVarSliceSize_C", (Mat, PetscReal *), (A, variance)); 212507e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 212607e43b41SHong Zhang } 212707e43b41SHong Zhang 21282d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 21292d1451d4SHong Zhang PETSC_EXTERN PetscErrorCode MatConvert_SeqSELL_SeqSELLCUDA(Mat); 21302d1451d4SHong Zhang #endif 2131773bf0f6SHong Zhang #if defined(PETSC_HAVE_HIP) 2132773bf0f6SHong Zhang PETSC_EXTERN PetscErrorCode MatConvert_SeqSELL_SeqSELLHIP(Mat); 2133773bf0f6SHong Zhang #endif 21342d1451d4SHong Zhang 2135d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat B) 2136d71ae5a4SJacob Faibussowitsch { 2137d4002b98SHong Zhang Mat_SeqSELL *b; 2138d4002b98SHong Zhang PetscMPIInt size; 2139d4002b98SHong Zhang 2140d4002b98SHong Zhang PetscFunctionBegin; 21419566063dSJacob Faibussowitsch PetscCall(PetscCitationsRegister(citation, &cited)); 21429566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)B), &size)); 214308401ef6SPierre Jolivet PetscCheck(size <= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Comm must be of size 1"); 2144d4002b98SHong Zhang 21454dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&b)); 2146d4002b98SHong Zhang 2147d4002b98SHong Zhang B->data = (void *)b; 2148aea10558SJacob Faibussowitsch B->ops[0] = MatOps_Values; 2149d4002b98SHong Zhang 2150f4259b30SLisandro Dalcin b->row = NULL; 2151f4259b30SLisandro Dalcin b->col = NULL; 2152f4259b30SLisandro Dalcin b->icol = NULL; 2153d4002b98SHong Zhang b->reallocs = 0; 2154d4002b98SHong Zhang b->ignorezeroentries = PETSC_FALSE; 2155d4002b98SHong Zhang b->roworiented = PETSC_TRUE; 2156d4002b98SHong Zhang b->nonew = 0; 2157f4259b30SLisandro Dalcin b->diag = NULL; 2158f4259b30SLisandro Dalcin b->solve_work = NULL; 2159f4259b30SLisandro Dalcin B->spptr = NULL; 2160f4259b30SLisandro Dalcin b->saved_values = NULL; 2161f4259b30SLisandro Dalcin b->idiag = NULL; 2162f4259b30SLisandro Dalcin b->mdiag = NULL; 2163f4259b30SLisandro Dalcin b->ssor_work = NULL; 2164d4002b98SHong Zhang b->omega = 1.0; 2165d4002b98SHong Zhang b->fshift = 0.0; 2166d4002b98SHong Zhang b->idiagvalid = PETSC_FALSE; 2167d4002b98SHong Zhang b->keepnonzeropattern = PETSC_FALSE; 216807e43b41SHong Zhang b->sliceheight = 0; 2169d4002b98SHong Zhang 21709566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQSELL)); 21719566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetArray_C", MatSeqSELLGetArray_SeqSELL)); 21729566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLRestoreArray_C", MatSeqSELLRestoreArray_SeqSELL)); 21739566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatStoreValues_C", MatStoreValues_SeqSELL)); 21749566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatRetrieveValues_C", MatRetrieveValues_SeqSELL)); 21759566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetPreallocation_C", MatSeqSELLSetPreallocation_SeqSELL)); 2176b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqaij_C", MatConvert_SeqSELL_SeqAIJ)); 21772d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 2178b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqsellcuda_C", MatConvert_SeqSELL_SeqSELLCUDA)); 21792d1451d4SHong Zhang #endif 2180773bf0f6SHong Zhang #if defined(PETSC_HAVE_HIP) 2181773bf0f6SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqsellhip_C", MatConvert_SeqSELL_SeqSELLHIP)); 2182773bf0f6SHong Zhang #endif 218307e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetFillRatio_C", MatSeqSELLGetFillRatio_SeqSELL)); 218407e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetMaxSliceWidth_C", MatSeqSELLGetMaxSliceWidth_SeqSELL)); 218507e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetAvgSliceWidth_C", MatSeqSELLGetAvgSliceWidth_SeqSELL)); 2186b921024eSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetVarSliceSize_C", MatSeqSELLGetVarSliceSize_SeqSELL)); 218707e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetSliceHeight_C", MatSeqSELLSetSliceHeight_SeqSELL)); 218807e43b41SHong Zhang 218907e43b41SHong Zhang PetscObjectOptionsBegin((PetscObject)B); 219007e43b41SHong Zhang { 219107e43b41SHong Zhang PetscInt newsh = -1; 219207e43b41SHong Zhang PetscBool flg; 2193773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 219490d2215bSHong Zhang PetscInt chunksize = 0; 219590d2215bSHong Zhang #endif 219607e43b41SHong Zhang 219707e43b41SHong Zhang PetscCall(PetscOptionsInt("-mat_sell_slice_height", "Set the slice height used to store SELL matrix", "MatSELLSetSliceHeight", newsh, &newsh, &flg)); 21983a7d0413SPierre Jolivet if (flg) PetscCall(MatSeqSELLSetSliceHeight(B, newsh)); 2199773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 2200773bf0f6SHong Zhang PetscCall(PetscOptionsInt("-mat_sell_chunk_size", "Set the chunksize for load-balanced CUDA/HIP kernels. Choices include 64,128,256,512,1024", NULL, chunksize, &chunksize, &flg)); 220190d2215bSHong Zhang if (flg) { 220290d2215bSHong Zhang PetscCheck(chunksize >= 64 && chunksize <= 1024 && chunksize % 64 == 0, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "chunksize must be a number in {64,128,256,512,1024}: value %" PetscInt_FMT, chunksize); 220390d2215bSHong Zhang b->chunksize = chunksize; 220490d2215bSHong Zhang } 220590d2215bSHong Zhang #endif 220607e43b41SHong Zhang } 220707e43b41SHong Zhang PetscOptionsEnd(); 22083ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2209d4002b98SHong Zhang } 2210d4002b98SHong Zhang 2211d4002b98SHong Zhang /* 2212d4002b98SHong Zhang Given a matrix generated with MatGetFactor() duplicates all the information in A into B 2213d4002b98SHong Zhang */ 2214ba38deedSJacob Faibussowitsch static PetscErrorCode MatDuplicateNoCreate_SeqSELL(Mat C, Mat A, MatDuplicateOption cpvalues, PetscBool mallocmatspace) 2215d71ae5a4SJacob Faibussowitsch { 2216ed73aabaSBarry Smith Mat_SeqSELL *c = (Mat_SeqSELL *)C->data, *a = (Mat_SeqSELL *)A->data; 2217d4002b98SHong Zhang PetscInt i, m = A->rmap->n; 2218d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2219d4002b98SHong Zhang 2220d4002b98SHong Zhang PetscFunctionBegin; 2221d4002b98SHong Zhang C->factortype = A->factortype; 2222f4259b30SLisandro Dalcin c->row = NULL; 2223f4259b30SLisandro Dalcin c->col = NULL; 2224f4259b30SLisandro Dalcin c->icol = NULL; 2225d4002b98SHong Zhang c->reallocs = 0; 2226d4002b98SHong Zhang C->assembled = PETSC_TRUE; 2227d4002b98SHong Zhang 22289566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->rmap, &C->rmap)); 22299566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->cmap, &C->cmap)); 2230d4002b98SHong Zhang 2231773bf0f6SHong Zhang c->sliceheight = a->sliceheight; 2232773bf0f6SHong Zhang PetscCall(PetscMalloc1(c->sliceheight * totalslices, &c->rlen)); 22339566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &c->sliidx)); 2234d4002b98SHong Zhang 2235d4002b98SHong Zhang for (i = 0; i < m; i++) c->rlen[i] = a->rlen[i]; 2236d4002b98SHong Zhang for (i = 0; i < totalslices + 1; i++) c->sliidx[i] = a->sliidx[i]; 2237d4002b98SHong Zhang 2238d4002b98SHong Zhang /* allocate the matrix space */ 2239d4002b98SHong Zhang if (mallocmatspace) { 22409566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(a->maxallocmat, &c->val, a->maxallocmat, &c->colidx)); 2241d4002b98SHong Zhang 2242d4002b98SHong Zhang c->singlemalloc = PETSC_TRUE; 2243d4002b98SHong Zhang 2244d4002b98SHong Zhang if (m > 0) { 22459566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->colidx, a->colidx, a->maxallocmat)); 2246d4002b98SHong Zhang if (cpvalues == MAT_COPY_VALUES) { 22479566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->val, a->val, a->maxallocmat)); 2248d4002b98SHong Zhang } else { 22499566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(c->val, a->maxallocmat)); 2250d4002b98SHong Zhang } 2251d4002b98SHong Zhang } 2252d4002b98SHong Zhang } 2253d4002b98SHong Zhang 2254d4002b98SHong Zhang c->ignorezeroentries = a->ignorezeroentries; 2255d4002b98SHong Zhang c->roworiented = a->roworiented; 2256d4002b98SHong Zhang c->nonew = a->nonew; 2257d4002b98SHong Zhang if (a->diag) { 22589566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &c->diag)); 2259ad540459SPierre Jolivet for (i = 0; i < m; i++) c->diag[i] = a->diag[i]; 2260f4259b30SLisandro Dalcin } else c->diag = NULL; 2261d4002b98SHong Zhang 2262f4259b30SLisandro Dalcin c->solve_work = NULL; 2263f4259b30SLisandro Dalcin c->saved_values = NULL; 2264f4259b30SLisandro Dalcin c->idiag = NULL; 2265f4259b30SLisandro Dalcin c->ssor_work = NULL; 2266d4002b98SHong Zhang c->keepnonzeropattern = a->keepnonzeropattern; 2267d4002b98SHong Zhang c->free_val = PETSC_TRUE; 2268d4002b98SHong Zhang c->free_colidx = PETSC_TRUE; 2269d4002b98SHong Zhang 2270d4002b98SHong Zhang c->maxallocmat = a->maxallocmat; 2271d4002b98SHong Zhang c->maxallocrow = a->maxallocrow; 2272d4002b98SHong Zhang c->rlenmax = a->rlenmax; 2273d4002b98SHong Zhang c->nz = a->nz; 2274d4002b98SHong Zhang C->preallocated = PETSC_TRUE; 2275d4002b98SHong Zhang 2276d4002b98SHong Zhang c->nonzerorowcnt = a->nonzerorowcnt; 2277d4002b98SHong Zhang C->nonzerostate = A->nonzerostate; 2278d4002b98SHong Zhang 22799566063dSJacob Faibussowitsch PetscCall(PetscFunctionListDuplicate(((PetscObject)A)->qlist, &((PetscObject)C)->qlist)); 22803ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2281d4002b98SHong Zhang } 2282d4002b98SHong Zhang 2283d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDuplicate_SeqSELL(Mat A, MatDuplicateOption cpvalues, Mat *B) 2284d71ae5a4SJacob Faibussowitsch { 2285d4002b98SHong Zhang PetscFunctionBegin; 22869566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), B)); 22879566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*B, A->rmap->n, A->cmap->n, A->rmap->n, A->cmap->n)); 228848a46eb9SPierre Jolivet if (!(A->rmap->n % A->rmap->bs) && !(A->cmap->n % A->cmap->bs)) PetscCall(MatSetBlockSizesFromMats(*B, A, A)); 22899566063dSJacob Faibussowitsch PetscCall(MatSetType(*B, ((PetscObject)A)->type_name)); 22909566063dSJacob Faibussowitsch PetscCall(MatDuplicateNoCreate_SeqSELL(*B, A, cpvalues, PETSC_TRUE)); 22913ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2292d4002b98SHong Zhang } 2293d4002b98SHong Zhang 2294ed73aabaSBarry Smith /*MC 2295ed73aabaSBarry Smith MATSEQSELL - MATSEQSELL = "seqsell" - A matrix type to be used for sequential sparse matrices, 22961d27aa22SBarry Smith based on the sliced Ellpack format, {cite}`zhangellpack2018` 2297ed73aabaSBarry Smith 229820f4b53cSBarry Smith Options Database Key: 229911a5261eSBarry Smith . -mat_type seqsell - sets the matrix type to "`MATSEQELL` during a call to `MatSetFromOptions()` 2300ed73aabaSBarry Smith 2301ed73aabaSBarry Smith Level: beginner 2302ed73aabaSBarry Smith 230394764886SPierre Jolivet .seealso: `Mat`, `MatCreateSeqSELL()`, `MATSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATAIJ`, `MATMPIAIJ` 2304ed73aabaSBarry Smith M*/ 2305ed73aabaSBarry Smith 2306ed73aabaSBarry Smith /*MC 23071d27aa22SBarry Smith MATSELL - MATSELL = "sell" - A matrix type to be used for sparse matrices, {cite}`zhangellpack2018` 2308ed73aabaSBarry Smith 230911a5261eSBarry Smith This matrix type is identical to `MATSEQSELL` when constructed with a single process communicator, 231011a5261eSBarry Smith and `MATMPISELL` otherwise. As a result, for single process communicators, 231111a5261eSBarry Smith `MatSeqSELLSetPreallocation()` is supported, and similarly `MatMPISELLSetPreallocation()` is supported 2312ed73aabaSBarry Smith for communicators controlling multiple processes. It is recommended that you call both of 2313ed73aabaSBarry Smith the above preallocation routines for simplicity. 2314ed73aabaSBarry Smith 231520f4b53cSBarry Smith Options Database Key: 2316ed73aabaSBarry Smith . -mat_type sell - sets the matrix type to "sell" during a call to MatSetFromOptions() 2317ed73aabaSBarry Smith 2318ed73aabaSBarry Smith Level: beginner 2319ed73aabaSBarry Smith 2320ed73aabaSBarry Smith Notes: 23217de69702SBarry Smith This format is only supported for real scalars, double precision, and 32-bit indices (the defaults). 2322ed73aabaSBarry Smith 2323ed73aabaSBarry Smith It can provide better performance on Intel and AMD processes with AVX2 or AVX512 support for matrices that have a similar number of 2324ed73aabaSBarry Smith non-zeros in contiguous groups of rows. However if the computation is memory bandwidth limited it may not provide much improvement. 2325ed73aabaSBarry Smith 2326ed73aabaSBarry Smith Developer Notes: 2327ed73aabaSBarry Smith On Intel (and AMD) systems some of the matrix operations use SIMD (AVX) instructions to achieve higher performance. 2328ed73aabaSBarry Smith 2329ed73aabaSBarry Smith The sparse matrix format is as follows. For simplicity we assume a slice size of 2, it is actually 8 2330ed73aabaSBarry Smith .vb 2331ed73aabaSBarry Smith (2 0 3 4) 2332ed73aabaSBarry Smith Consider the matrix A = (5 0 6 0) 2333ed73aabaSBarry Smith (0 0 7 8) 2334ed73aabaSBarry Smith (0 0 9 9) 2335ed73aabaSBarry Smith 2336ed73aabaSBarry Smith symbolically the Ellpack format can be written as 2337ed73aabaSBarry Smith 2338ed73aabaSBarry Smith (2 3 4 |) (0 2 3 |) 2339ed73aabaSBarry Smith v = (5 6 0 |) colidx = (0 2 2 |) 2340ed73aabaSBarry Smith -------- --------- 2341ed73aabaSBarry Smith (7 8 |) (2 3 |) 2342ed73aabaSBarry Smith (9 9 |) (2 3 |) 2343ed73aabaSBarry Smith 2344ed73aabaSBarry 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). 2345ed73aabaSBarry 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 2346ed73aabaSBarry 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. 2347ed73aabaSBarry Smith 2348ed73aabaSBarry 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) 2349ed73aabaSBarry Smith 2350ed73aabaSBarry Smith .ve 2351ed73aabaSBarry Smith 23521d27aa22SBarry Smith See `MatMult_SeqSELL()` for how this format is used with the SIMD operations to achieve high performance. 2353ed73aabaSBarry Smith 235494764886SPierre Jolivet .seealso: `Mat`, `MatCreateSeqSELL()`, `MatCreateSeqAIJ()`, `MatCreateSELL()`, `MATSEQSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATMPIAIJ`, `MATAIJ` 2355ed73aabaSBarry Smith M*/ 2356ed73aabaSBarry Smith 23575d83a8b1SBarry Smith /*@ 235811a5261eSBarry Smith MatCreateSeqSELL - Creates a sparse matrix in `MATSEQSELL` format. 2359d4002b98SHong Zhang 23602ef1f0ffSBarry Smith Collective 2361d4002b98SHong Zhang 2362d4002b98SHong Zhang Input Parameters: 236311a5261eSBarry Smith + comm - MPI communicator, set to `PETSC_COMM_SELF` 2364d4002b98SHong Zhang . m - number of rows 2365d4002b98SHong Zhang . n - number of columns 236620f4b53cSBarry Smith . rlenmax - maximum number of nonzeros in a row, ignored if `rlen` is provided 236720f4b53cSBarry Smith - rlen - array containing the number of nonzeros in the various rows (possibly different for each row) or NULL 2368d4002b98SHong Zhang 2369d4002b98SHong Zhang Output Parameter: 2370d4002b98SHong Zhang . A - the matrix 2371d4002b98SHong Zhang 237220f4b53cSBarry Smith Level: intermediate 237320f4b53cSBarry Smith 237420f4b53cSBarry Smith Notes: 237511a5261eSBarry Smith It is recommended that one use the `MatCreate()`, `MatSetType()` and/or `MatSetFromOptions()`, 2376f6f02116SRichard Tran Mills MatXXXXSetPreallocation() paradigm instead of this routine directly. 237711a5261eSBarry Smith [MatXXXXSetPreallocation() is, for example, `MatSeqSELLSetPreallocation()`] 2378d4002b98SHong Zhang 237920f4b53cSBarry Smith Specify the preallocated storage with either `rlenmax` or `rlen` (not both). 238020f4b53cSBarry Smith Set `rlenmax` = `PETSC_DEFAULT` and `rlen` = `NULL` for PETSc to control dynamic memory 238120f4b53cSBarry Smith allocation. 2382d4002b98SHong Zhang 2383fe59aa6dSJacob Faibussowitsch .seealso: `Mat`, `MATSEQSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatSeqSELLSetPreallocation()`, `MATSELL`, `MATMPISELL` 2384d4002b98SHong Zhang @*/ 238520f4b53cSBarry Smith PetscErrorCode MatCreateSeqSELL(MPI_Comm comm, PetscInt m, PetscInt n, PetscInt rlenmax, const PetscInt rlen[], Mat *A) 2386d71ae5a4SJacob Faibussowitsch { 2387d4002b98SHong Zhang PetscFunctionBegin; 23889566063dSJacob Faibussowitsch PetscCall(MatCreate(comm, A)); 23899566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*A, m, n, m, n)); 23909566063dSJacob Faibussowitsch PetscCall(MatSetType(*A, MATSEQSELL)); 239120f4b53cSBarry Smith PetscCall(MatSeqSELLSetPreallocation_SeqSELL(*A, rlenmax, rlen)); 23923ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2393d4002b98SHong Zhang } 2394d4002b98SHong Zhang 2395d71ae5a4SJacob Faibussowitsch PetscErrorCode MatEqual_SeqSELL(Mat A, Mat B, PetscBool *flg) 2396d71ae5a4SJacob Faibussowitsch { 2397d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data, *b = (Mat_SeqSELL *)B->data; 2398d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2399d4002b98SHong Zhang 2400d4002b98SHong Zhang PetscFunctionBegin; 2401d4002b98SHong Zhang /* If the matrix dimensions are not equal,or no of nonzeros */ 2402d4002b98SHong Zhang if ((A->rmap->n != B->rmap->n) || (A->cmap->n != B->cmap->n) || (a->nz != b->nz) || (a->rlenmax != b->rlenmax)) { 2403d4002b98SHong Zhang *flg = PETSC_FALSE; 24043ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2405d4002b98SHong Zhang } 2406d4002b98SHong Zhang /* if the a->colidx are the same */ 24079566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->colidx, b->colidx, a->sliidx[totalslices], flg)); 24083ba16761SJacob Faibussowitsch if (!*flg) PetscFunctionReturn(PETSC_SUCCESS); 2409d4002b98SHong Zhang /* if a->val are the same */ 24109566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->val, b->val, a->sliidx[totalslices], flg)); 24113ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2412d4002b98SHong Zhang } 2413d4002b98SHong Zhang 2414d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat A) 2415d71ae5a4SJacob Faibussowitsch { 2416d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2417d4002b98SHong Zhang 2418d4002b98SHong Zhang PetscFunctionBegin; 2419d4002b98SHong Zhang a->idiagvalid = PETSC_FALSE; 24203ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2421d4002b98SHong Zhang } 2422d4002b98SHong Zhang 2423d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConjugate_SeqSELL(Mat A) 2424d71ae5a4SJacob Faibussowitsch { 2425d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 2426d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2427d4002b98SHong Zhang PetscInt i; 2428d4002b98SHong Zhang PetscScalar *val = a->val; 2429d4002b98SHong Zhang 2430d4002b98SHong Zhang PetscFunctionBegin; 2431ac530a7eSPierre Jolivet for (i = 0; i < a->sliidx[a->totalslices]; i++) val[i] = PetscConj(val[i]); 2432773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 24332d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 24342d1451d4SHong Zhang #endif 2435d4002b98SHong Zhang #else 2436d4002b98SHong Zhang PetscFunctionBegin; 2437d4002b98SHong Zhang #endif 24383ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2439d4002b98SHong Zhang } 2440