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; 15207e43b41SHong Zhang 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); 2132d1451d4SHong Zhang 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 { 99907e43b41SHong Zhang 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 /* 1080d4002b98SHong Zhang if (m && ((a->i[m] == a->i[m-1]) || (a->j[a->nz-1] != A->cmap->n-1))) { 1081d4002b98SHong Zhang nofinalvalue = 1; 1082d4002b98SHong Zhang } 1083d4002b98SHong Zhang */ 10849566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 10859566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Size = %" PetscInt_FMT " %" PetscInt_FMT " \n", m, A->cmap->n)); 10869566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Nonzeros = %" PetscInt_FMT " \n", a->nz)); 1087d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10889566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",4);\n", a->nz + nofinalvalue)); 1089d4002b98SHong Zhang #else 10909566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",3);\n", a->nz + nofinalvalue)); 1091d4002b98SHong Zhang #endif 10929566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = [\n")); 1093d4002b98SHong Zhang 1094d4002b98SHong Zhang for (i = 0; i < m; i++) { 109507e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1096d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1097d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 109807e43b41SHong 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]))); 1099d4002b98SHong Zhang #else 110007e43b41SHong 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])); 1101d4002b98SHong Zhang #endif 1102d4002b98SHong Zhang } 1103d4002b98SHong Zhang } 1104d4002b98SHong Zhang /* 1105d4002b98SHong Zhang if (nofinalvalue) { 1106d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11079566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e %18.16e\n",m,A->cmap->n,0.,0.)); 1108d4002b98SHong Zhang #else 11099566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e\n",m,A->cmap->n,0.0)); 1110d4002b98SHong Zhang #endif 1111d4002b98SHong Zhang } 1112d4002b98SHong Zhang */ 11139566063dSJacob Faibussowitsch PetscCall(PetscObjectGetName((PetscObject)A, &name)); 11149566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "];\n %s = spconvert(zzz);\n", name)); 11159566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1116d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_FACTOR_INFO || format == PETSC_VIEWER_ASCII_INFO) { 11173ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1118d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_COMMON) { 11199566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1120d4002b98SHong Zhang for (i = 0; i < m; i++) { 11219566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 112207e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1123d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1124d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 112507e43b41SHong Zhang 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 (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) < 0.0 && PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 112807e43b41SHong 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]))); 112907e43b41SHong Zhang } else if (PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 113007e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]))); 1131d4002b98SHong Zhang } 1132d4002b98SHong Zhang #else 113307e43b41SHong 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])); 1134d4002b98SHong Zhang #endif 1135d4002b98SHong Zhang } 11369566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1137d4002b98SHong Zhang } 11389566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1139d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_DENSE) { 1140d4002b98SHong Zhang PetscInt cnt = 0, jcnt; 1141d4002b98SHong Zhang PetscScalar value; 1142d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1143d4002b98SHong Zhang PetscBool realonly = PETSC_TRUE; 1144d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1145d4002b98SHong Zhang if (PetscImaginaryPart(a->val[i]) != 0.0) { 1146d4002b98SHong Zhang realonly = PETSC_FALSE; 1147d4002b98SHong Zhang break; 1148d4002b98SHong Zhang } 1149d4002b98SHong Zhang } 1150d4002b98SHong Zhang #endif 1151d4002b98SHong Zhang 11529566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1153d4002b98SHong Zhang for (i = 0; i < m; i++) { 1154d4002b98SHong Zhang jcnt = 0; 115507e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1156d4002b98SHong Zhang for (j = 0; j < A->cmap->n; j++) { 115707e43b41SHong Zhang if (jcnt < a->rlen[i] && j == a->colidx[shift + a->sliceheight * j]) { 1158d4002b98SHong Zhang value = a->val[cnt++]; 1159d4002b98SHong Zhang jcnt++; 1160d4002b98SHong Zhang } else { 1161d4002b98SHong Zhang value = 0.0; 1162d4002b98SHong Zhang } 1163d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1164d4002b98SHong Zhang if (realonly) { 11659566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)PetscRealPart(value))); 1166d4002b98SHong Zhang } else { 11679566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e+%7.5e i ", (double)PetscRealPart(value), (double)PetscImaginaryPart(value))); 1168d4002b98SHong Zhang } 1169d4002b98SHong Zhang #else 11709566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)value)); 1171d4002b98SHong Zhang #endif 1172d4002b98SHong Zhang } 11739566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1174d4002b98SHong Zhang } 11759566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1176d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_MATRIXMARKET) { 1177d4002b98SHong Zhang PetscInt fshift = 1; 11789566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1179d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11809566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate complex general\n")); 1181d4002b98SHong Zhang #else 11829566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate real general\n")); 1183d4002b98SHong Zhang #endif 11849566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", m, A->cmap->n, a->nz)); 1185d4002b98SHong Zhang for (i = 0; i < m; i++) { 118607e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1187d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1188d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 118907e43b41SHong 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]))); 1190d4002b98SHong Zhang #else 119107e43b41SHong 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])); 1192d4002b98SHong Zhang #endif 1193d4002b98SHong Zhang } 1194d4002b98SHong Zhang } 11959566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 119668aafef3SStefano Zampini } else if (format == PETSC_VIEWER_NATIVE) { 119768aafef3SStefano Zampini for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 119868aafef3SStefano Zampini PetscInt row; 11999566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "slice %" PetscInt_FMT ": %" PetscInt_FMT " %" PetscInt_FMT "\n", i, a->sliidx[i], a->sliidx[i + 1])); 120007e43b41SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % a->sliceheight) { 120168aafef3SStefano Zampini #if defined(PETSC_USE_COMPLEX) 120268aafef3SStefano Zampini 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 if (PetscImaginaryPart(a->val[j]) < 0.0) { 120507e43b41SHong 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]))); 120668aafef3SStefano Zampini } else { 120707e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", a->sliceheight * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]))); 120868aafef3SStefano Zampini } 120968aafef3SStefano Zampini #else 121007e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", a->sliceheight * i + row, a->colidx[j], (double)a->val[j])); 121168aafef3SStefano Zampini #endif 121268aafef3SStefano Zampini } 121368aafef3SStefano Zampini } 1214d4002b98SHong Zhang } else { 12159566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1216d4002b98SHong Zhang if (A->factortype) { 1217d4002b98SHong Zhang for (i = 0; i < m; i++) { 121807e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 12199566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1220d4002b98SHong Zhang /* L part */ 122107e43b41SHong Zhang for (j = shift; j < a->diag[i]; j += a->sliceheight) { 1222d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 122307e43b41SHong Zhang 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]))); 122507e43b41SHong Zhang } else if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) < 0.0) { 12269566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1227d4002b98SHong Zhang } else { 12289566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1229d4002b98SHong Zhang } 1230d4002b98SHong Zhang #else 12319566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1232d4002b98SHong Zhang #endif 1233d4002b98SHong Zhang } 1234d4002b98SHong Zhang /* diagonal */ 1235d4002b98SHong Zhang j = a->diag[i]; 1236d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1237d4002b98SHong Zhang 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 if (PetscImaginaryPart(a->val[j]) < 0.0) { 12409566063dSJacob 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])))); 1241d4002b98SHong Zhang } else { 12429566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j]))); 1243d4002b98SHong Zhang } 1244d4002b98SHong Zhang #else 1245835f2295SStefano Zampini PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)(1 / a->val[j]))); 1246d4002b98SHong Zhang #endif 1247d4002b98SHong Zhang 1248d4002b98SHong Zhang /* U part */ 124907e43b41SHong Zhang for (j = a->diag[i] + 1; j < shift + a->sliceheight * a->rlen[i]; j += a->sliceheight) { 1250d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1251d4002b98SHong Zhang 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 if (PetscImaginaryPart(a->val[j]) < 0.0) { 12549566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1255d4002b98SHong Zhang } else { 12569566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1257d4002b98SHong Zhang } 1258d4002b98SHong Zhang #else 12599566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1260d4002b98SHong Zhang #endif 1261d4002b98SHong Zhang } 12629566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1263d4002b98SHong Zhang } 1264d4002b98SHong Zhang } else { 1265d4002b98SHong Zhang for (i = 0; i < m; i++) { 126607e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 12679566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1268d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1269d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1270d4002b98SHong Zhang 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 if (PetscImaginaryPart(a->val[j]) < 0.0) { 127307e43b41SHong 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]))); 1274d4002b98SHong Zhang } else { 127507e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]))); 1276d4002b98SHong Zhang } 1277d4002b98SHong Zhang #else 127807e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)a->val[shift + a->sliceheight * j])); 1279d4002b98SHong Zhang #endif 1280d4002b98SHong Zhang } 12819566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1282d4002b98SHong Zhang } 1283d4002b98SHong Zhang } 12849566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1285d4002b98SHong Zhang } 12869566063dSJacob Faibussowitsch PetscCall(PetscViewerFlush(viewer)); 12873ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1288d4002b98SHong Zhang } 1289d4002b98SHong Zhang 1290d4002b98SHong Zhang #include <petscdraw.h> 1291ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_Draw_Zoom(PetscDraw draw, void *Aa) 1292d71ae5a4SJacob Faibussowitsch { 1293d4002b98SHong Zhang Mat A = (Mat)Aa; 1294d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1295d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1296d4002b98SHong Zhang int color; 1297d4002b98SHong Zhang PetscReal xl, yl, xr, yr, x_l, x_r, y_l, y_r; 1298d4002b98SHong Zhang PetscViewer viewer; 1299d4002b98SHong Zhang PetscViewerFormat format; 1300d4002b98SHong Zhang 1301d4002b98SHong Zhang PetscFunctionBegin; 13029566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject)A, "Zoomviewer", (PetscObject *)&viewer)); 13039566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 13049566063dSJacob Faibussowitsch PetscCall(PetscDrawGetCoordinates(draw, &xl, &yl, &xr, &yr)); 1305d4002b98SHong Zhang 1306d4002b98SHong Zhang /* loop over matrix elements drawing boxes */ 1307d4002b98SHong Zhang 1308d4002b98SHong Zhang if (format != PETSC_VIEWER_DRAW_CONTOUR) { 1309d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1310d4002b98SHong Zhang /* Blue for negative, Cyan for zero and Red for positive */ 1311d4002b98SHong Zhang color = PETSC_DRAW_BLUE; 1312d4002b98SHong Zhang for (i = 0; i < m; i++) { 131307e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 13149371c9d4SSatish Balay y_l = m - i - 1.0; 13159371c9d4SSatish Balay y_r = y_l + 1.0; 1316d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 131707e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13189371c9d4SSatish Balay x_r = x_l + 1.0; 131907e43b41SHong Zhang if (PetscRealPart(a->val[shift + a->sliceheight * j]) >= 0.) continue; 13209566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1321d4002b98SHong Zhang } 1322d4002b98SHong Zhang } 1323d4002b98SHong Zhang color = PETSC_DRAW_CYAN; 1324d4002b98SHong Zhang for (i = 0; i < m; i++) { 132507e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 13269371c9d4SSatish Balay y_l = m - i - 1.0; 13279371c9d4SSatish Balay y_r = y_l + 1.0; 1328d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 132907e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13309371c9d4SSatish Balay x_r = x_l + 1.0; 133107e43b41SHong Zhang if (a->val[shift + a->sliceheight * j] != 0.) continue; 13329566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1333d4002b98SHong Zhang } 1334d4002b98SHong Zhang } 1335d4002b98SHong Zhang color = PETSC_DRAW_RED; 1336d4002b98SHong Zhang for (i = 0; i < m; i++) { 133707e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 13389371c9d4SSatish Balay y_l = m - i - 1.0; 13399371c9d4SSatish Balay y_r = y_l + 1.0; 1340d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 134107e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13429371c9d4SSatish Balay x_r = x_l + 1.0; 134307e43b41SHong Zhang if (PetscRealPart(a->val[shift + a->sliceheight * j]) <= 0.) continue; 13449566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1345d4002b98SHong Zhang } 1346d4002b98SHong Zhang } 1347d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1348d4002b98SHong Zhang } else { 1349d4002b98SHong Zhang /* use contour shading to indicate magnitude of values */ 1350d4002b98SHong Zhang /* first determine max of all nonzero values */ 1351d4002b98SHong Zhang PetscReal minv = 0.0, maxv = 0.0; 1352d4002b98SHong Zhang PetscInt count = 0; 1353d4002b98SHong Zhang PetscDraw popup; 1354d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1355d4002b98SHong Zhang if (PetscAbsScalar(a->val[i]) > maxv) maxv = PetscAbsScalar(a->val[i]); 1356d4002b98SHong Zhang } 1357d4002b98SHong Zhang if (minv >= maxv) maxv = minv + PETSC_SMALL; 13589566063dSJacob Faibussowitsch PetscCall(PetscDrawGetPopup(draw, &popup)); 13599566063dSJacob Faibussowitsch PetscCall(PetscDrawScalePopup(popup, minv, maxv)); 1360d4002b98SHong Zhang 1361d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1362d4002b98SHong Zhang for (i = 0; i < m; i++) { 136307e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1364d4002b98SHong Zhang y_l = m - i - 1.0; 1365d4002b98SHong Zhang y_r = y_l + 1.0; 1366d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 136707e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 1368d4002b98SHong Zhang x_r = x_l + 1.0; 1369d4002b98SHong Zhang color = PetscDrawRealToColor(PetscAbsScalar(a->val[count]), minv, maxv); 13709566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1371d4002b98SHong Zhang count++; 1372d4002b98SHong Zhang } 1373d4002b98SHong Zhang } 1374d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1375d4002b98SHong Zhang } 13763ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1377d4002b98SHong Zhang } 1378d4002b98SHong Zhang 1379d4002b98SHong Zhang #include <petscdraw.h> 1380ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_Draw(Mat A, PetscViewer viewer) 1381d71ae5a4SJacob Faibussowitsch { 1382d4002b98SHong Zhang PetscDraw draw; 1383d4002b98SHong Zhang PetscReal xr, yr, xl, yl, h, w; 1384d4002b98SHong Zhang PetscBool isnull; 1385d4002b98SHong Zhang 1386d4002b98SHong Zhang PetscFunctionBegin; 13879566063dSJacob Faibussowitsch PetscCall(PetscViewerDrawGetDraw(viewer, 0, &draw)); 13889566063dSJacob Faibussowitsch PetscCall(PetscDrawIsNull(draw, &isnull)); 13893ba16761SJacob Faibussowitsch if (isnull) PetscFunctionReturn(PETSC_SUCCESS); 1390d4002b98SHong Zhang 13919371c9d4SSatish Balay xr = A->cmap->n; 13929371c9d4SSatish Balay yr = A->rmap->n; 13939371c9d4SSatish Balay h = yr / 10.0; 13949371c9d4SSatish Balay w = xr / 10.0; 13959371c9d4SSatish Balay xr += w; 13969371c9d4SSatish Balay yr += h; 13979371c9d4SSatish Balay xl = -w; 13989371c9d4SSatish Balay yl = -h; 13999566063dSJacob Faibussowitsch PetscCall(PetscDrawSetCoordinates(draw, xl, yl, xr, yr)); 14009566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", (PetscObject)viewer)); 14019566063dSJacob Faibussowitsch PetscCall(PetscDrawZoom(draw, MatView_SeqSELL_Draw_Zoom, A)); 14029566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", NULL)); 14039566063dSJacob Faibussowitsch PetscCall(PetscDrawSave(draw)); 14043ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1405d4002b98SHong Zhang } 1406d4002b98SHong Zhang 1407d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL(Mat A, PetscViewer viewer) 1408d71ae5a4SJacob Faibussowitsch { 1409*9f196a02SMartin Diehl PetscBool isascii, isbinary, isdraw; 1410d4002b98SHong Zhang 1411d4002b98SHong Zhang PetscFunctionBegin; 1412*9f196a02SMartin Diehl PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &isascii)); 14139566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary)); 14149566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERDRAW, &isdraw)); 1415*9f196a02SMartin Diehl if (isascii) { 14169566063dSJacob Faibussowitsch PetscCall(MatView_SeqSELL_ASCII(A, viewer)); 1417d4002b98SHong Zhang } else if (isbinary) { 14189566063dSJacob Faibussowitsch /* PetscCall(MatView_SeqSELL_Binary(A,viewer)); */ 14191baa6e33SBarry Smith } else if (isdraw) PetscCall(MatView_SeqSELL_Draw(A, viewer)); 14203ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1421d4002b98SHong Zhang } 1422d4002b98SHong Zhang 1423d71ae5a4SJacob Faibussowitsch PetscErrorCode MatAssemblyEnd_SeqSELL(Mat A, MatAssemblyType mode) 1424d71ae5a4SJacob Faibussowitsch { 1425d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1426d4002b98SHong Zhang PetscInt i, shift, row_in_slice, row, nrow, *cp, lastcol, j, k; 1427d4002b98SHong Zhang MatScalar *vp; 1428773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 142990d2215bSHong Zhang PetscInt totalchunks = 0; 143090d2215bSHong Zhang #endif 1431d4002b98SHong Zhang 1432d4002b98SHong Zhang PetscFunctionBegin; 14333ba16761SJacob Faibussowitsch if (mode == MAT_FLUSH_ASSEMBLY) PetscFunctionReturn(PETSC_SUCCESS); 1434d4002b98SHong Zhang /* To do: compress out the unused elements */ 14359566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 14369566063dSJacob 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)); 14379566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Number of mallocs during MatSetValues() is %" PetscInt_FMT "\n", a->reallocs)); 14389566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Maximum nonzeros in any row is %" PetscInt_FMT "\n", a->rlenmax)); 14392d1451d4SHong Zhang a->nonzerorowcnt = 0; 1440d4002b98SHong 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 */ 1441d4002b98SHong Zhang for (i = 0; i < a->totalslices; ++i) { 1442d4002b98SHong Zhang shift = a->sliidx[i]; /* starting index of the slice */ 14438e3a54c0SPierre Jolivet cp = PetscSafePointerPlusOffset(a->colidx, shift); /* pointer to the column indices of the slice */ 14448e3a54c0SPierre Jolivet vp = PetscSafePointerPlusOffset(a->val, shift); /* pointer to the nonzero values of the slice */ 144507e43b41SHong Zhang for (row_in_slice = 0; row_in_slice < a->sliceheight; ++row_in_slice) { /* loop over rows in the slice */ 144607e43b41SHong Zhang row = a->sliceheight * i + row_in_slice; 1447d4002b98SHong Zhang nrow = a->rlen[row]; /* number of nonzeros in row */ 1448d4002b98SHong Zhang /* 1449d4002b98SHong Zhang Search for the nearest nonzero. Normally setting the index to zero may cause extra communication. 1450d4002b98SHong Zhang But if the entire slice are empty, it is fine to use 0 since the index will not be loaded. 1451d4002b98SHong Zhang */ 1452d4002b98SHong Zhang lastcol = 0; 1453d4002b98SHong Zhang if (nrow > 0) { /* nonempty row */ 14542d1451d4SHong Zhang a->nonzerorowcnt++; 145507e43b41SHong Zhang lastcol = cp[a->sliceheight * (nrow - 1) + row_in_slice]; /* use the index from the last nonzero at current row */ 1456aaa8cc7dSPierre Jolivet } else if (!row_in_slice) { /* first row of the correct slice is empty */ 145707e43b41SHong Zhang for (j = 1; j < a->sliceheight; j++) { 145807e43b41SHong Zhang if (a->rlen[a->sliceheight * i + j]) { 1459d4002b98SHong Zhang lastcol = cp[j]; 1460d4002b98SHong Zhang break; 1461d4002b98SHong Zhang } 1462d4002b98SHong Zhang } 1463d4002b98SHong Zhang } else { 1464d4002b98SHong Zhang if (a->sliidx[i + 1] != shift) lastcol = cp[row_in_slice - 1]; /* use the index from the previous row */ 1465d4002b98SHong Zhang } 1466d4002b98SHong Zhang 146707e43b41SHong Zhang for (k = nrow; k < (a->sliidx[i + 1] - shift) / a->sliceheight; ++k) { 146807e43b41SHong Zhang cp[a->sliceheight * k + row_in_slice] = lastcol; 146907e43b41SHong Zhang vp[a->sliceheight * k + row_in_slice] = (MatScalar)0; 1470d4002b98SHong Zhang } 1471d4002b98SHong Zhang } 1472d4002b98SHong Zhang } 1473d4002b98SHong Zhang 1474d4002b98SHong Zhang A->info.mallocs += a->reallocs; 1475d4002b98SHong Zhang a->reallocs = 0; 1476d4002b98SHong Zhang 14779566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 1478773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 147990d2215bSHong Zhang if (!a->chunksize && a->totalslices) { 148090d2215bSHong Zhang a->chunksize = 64; 148190d2215bSHong Zhang while (a->chunksize < 1024 && 2 * a->chunksize <= a->sliidx[a->totalslices] / a->totalslices) a->chunksize *= 2; 148290d2215bSHong Zhang totalchunks = 1 + (a->sliidx[a->totalslices] - 1) / a->chunksize; 148390d2215bSHong Zhang } 148490d2215bSHong Zhang if (totalchunks != a->totalchunks) { 148590d2215bSHong Zhang PetscCall(PetscFree(a->chunk_slice_map)); 148690d2215bSHong Zhang PetscCall(PetscMalloc1(totalchunks, &a->chunk_slice_map)); 148790d2215bSHong Zhang a->totalchunks = totalchunks; 148890d2215bSHong Zhang } 148990d2215bSHong Zhang j = 0; 149090d2215bSHong Zhang for (i = 0; i < totalchunks; i++) { 149190d2215bSHong Zhang while (a->sliidx[j + 1] <= i * a->chunksize && j < a->totalslices) j++; 149290d2215bSHong Zhang a->chunk_slice_map[i] = j; 149390d2215bSHong Zhang } 149490d2215bSHong Zhang #endif 14953ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1496d4002b98SHong Zhang } 1497d4002b98SHong Zhang 1498d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetInfo_SeqSELL(Mat A, MatInfoType flag, MatInfo *info) 1499d71ae5a4SJacob Faibussowitsch { 1500d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1501d4002b98SHong Zhang 1502d4002b98SHong Zhang PetscFunctionBegin; 1503d4002b98SHong Zhang info->block_size = 1.0; 15043966268fSBarry Smith info->nz_allocated = a->maxallocmat; 15053966268fSBarry Smith info->nz_used = a->sliidx[a->totalslices]; /* include padding zeros */ 15063966268fSBarry Smith info->nz_unneeded = (a->maxallocmat - a->sliidx[a->totalslices]); 15073966268fSBarry Smith info->assemblies = A->num_ass; 15083966268fSBarry Smith info->mallocs = A->info.mallocs; 15094dfa11a4SJacob Faibussowitsch info->memory = 0; /* REVIEW ME */ 1510d4002b98SHong Zhang if (A->factortype) { 1511d4002b98SHong Zhang info->fill_ratio_given = A->info.fill_ratio_given; 1512d4002b98SHong Zhang info->fill_ratio_needed = A->info.fill_ratio_needed; 1513d4002b98SHong Zhang info->factor_mallocs = A->info.factor_mallocs; 1514d4002b98SHong Zhang } else { 1515d4002b98SHong Zhang info->fill_ratio_given = 0; 1516d4002b98SHong Zhang info->fill_ratio_needed = 0; 1517d4002b98SHong Zhang info->factor_mallocs = 0; 1518d4002b98SHong Zhang } 15193ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1520d4002b98SHong Zhang } 1521d4002b98SHong Zhang 1522d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is) 1523d71ae5a4SJacob Faibussowitsch { 1524d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1525d4002b98SHong Zhang PetscInt shift, i, k, l, low, high, t, ii, row, col, nrow; 1526d4002b98SHong Zhang PetscInt *cp, nonew = a->nonew, lastcol = -1; 1527d4002b98SHong Zhang MatScalar *vp, value; 1528773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 15292d1451d4SHong Zhang PetscBool inserted = PETSC_FALSE; 15304e58db63SHong Zhang PetscInt mul = DEVICE_MEM_ALIGN / a->sliceheight; 15312d1451d4SHong Zhang #endif 1532d4002b98SHong Zhang 1533d4002b98SHong Zhang PetscFunctionBegin; 1534d4002b98SHong Zhang for (k = 0; k < m; k++) { /* loop over added rows */ 1535d4002b98SHong Zhang row = im[k]; 1536d4002b98SHong Zhang if (row < 0) continue; 15376bdcaf15SBarry 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); 153807e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + row % a->sliceheight; /* starting index of the row */ 1539d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1540d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 1541d4002b98SHong Zhang nrow = a->rlen[row]; 1542d4002b98SHong Zhang low = 0; 1543d4002b98SHong Zhang high = nrow; 1544d4002b98SHong Zhang 1545d4002b98SHong Zhang for (l = 0; l < n; l++) { /* loop over added columns */ 1546d4002b98SHong Zhang col = in[l]; 1547d4002b98SHong Zhang if (col < 0) continue; 15486bdcaf15SBarry 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); 1549d4002b98SHong Zhang if (a->roworiented) { 1550d4002b98SHong Zhang value = v[l + k * n]; 1551d4002b98SHong Zhang } else { 1552d4002b98SHong Zhang value = v[k + l * m]; 1553d4002b98SHong Zhang } 1554d4002b98SHong Zhang if ((value == 0.0 && a->ignorezeroentries) && (is == ADD_VALUES)) continue; 1555d4002b98SHong Zhang 1556ed73aabaSBarry Smith /* search in this row for the specified column, i indicates the column to be set */ 1557d4002b98SHong Zhang if (col <= lastcol) low = 0; 1558d4002b98SHong Zhang else high = nrow; 1559d4002b98SHong Zhang lastcol = col; 1560d4002b98SHong Zhang while (high - low > 5) { 1561d4002b98SHong Zhang t = (low + high) / 2; 156207e43b41SHong Zhang if (*(cp + a->sliceheight * t) > col) high = t; 1563d4002b98SHong Zhang else low = t; 1564d4002b98SHong Zhang } 1565d4002b98SHong Zhang for (i = low; i < high; i++) { 156607e43b41SHong Zhang if (*(cp + a->sliceheight * i) > col) break; 156707e43b41SHong Zhang if (*(cp + a->sliceheight * i) == col) { 156807e43b41SHong Zhang if (is == ADD_VALUES) *(vp + a->sliceheight * i) += value; 156907e43b41SHong Zhang else *(vp + a->sliceheight * i) = value; 1570773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 15712d1451d4SHong Zhang inserted = PETSC_TRUE; 15722d1451d4SHong Zhang #endif 1573d4002b98SHong Zhang low = i + 1; 1574d4002b98SHong Zhang goto noinsert; 1575d4002b98SHong Zhang } 1576d4002b98SHong Zhang } 1577d4002b98SHong Zhang if (value == 0.0 && a->ignorezeroentries) goto noinsert; 1578d4002b98SHong Zhang if (nonew == 1) goto noinsert; 157908401ef6SPierre Jolivet PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new nonzero (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col); 1580773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 15814e58db63SHong 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); 15824e58db63SHong Zhang #else 1583d4002b98SHong Zhang /* If the current row length exceeds the slice width (e.g. nrow==slice_width), allocate a new space, otherwise do nothing */ 15844e58db63SHong 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); 15854e58db63SHong Zhang #endif 1586d4002b98SHong Zhang /* add the new nonzero to the high position, shift the remaining elements in current row to the right by one slot */ 1587d4002b98SHong Zhang for (ii = nrow - 1; ii >= i; ii--) { 158807e43b41SHong Zhang *(cp + a->sliceheight * (ii + 1)) = *(cp + a->sliceheight * ii); 158907e43b41SHong Zhang *(vp + a->sliceheight * (ii + 1)) = *(vp + a->sliceheight * ii); 1590d4002b98SHong Zhang } 1591d4002b98SHong Zhang a->rlen[row]++; 159207e43b41SHong Zhang *(cp + a->sliceheight * i) = col; 159307e43b41SHong Zhang *(vp + a->sliceheight * i) = value; 1594d4002b98SHong Zhang a->nz++; 1595773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 15962d1451d4SHong Zhang inserted = PETSC_TRUE; 15972d1451d4SHong Zhang #endif 15989371c9d4SSatish Balay low = i + 1; 15999371c9d4SSatish Balay high++; 16009371c9d4SSatish Balay nrow++; 1601d4002b98SHong Zhang noinsert:; 1602d4002b98SHong Zhang } 1603d4002b98SHong Zhang a->rlen[row] = nrow; 1604d4002b98SHong Zhang } 1605773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 16062d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED && inserted) A->offloadmask = PETSC_OFFLOAD_CPU; 16072d1451d4SHong Zhang #endif 16083ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1609d4002b98SHong Zhang } 1610d4002b98SHong Zhang 1611d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCopy_SeqSELL(Mat A, Mat B, MatStructure str) 1612d71ae5a4SJacob Faibussowitsch { 1613d4002b98SHong Zhang PetscFunctionBegin; 1614d4002b98SHong Zhang /* If the two matrices have the same copy implementation, use fast copy. */ 1615d4002b98SHong Zhang if (str == SAME_NONZERO_PATTERN && (A->ops->copy == B->ops->copy)) { 1616d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1617d4002b98SHong Zhang Mat_SeqSELL *b = (Mat_SeqSELL *)B->data; 1618d4002b98SHong Zhang 161908401ef6SPierre 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"); 16209566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(b->val, a->val, a->sliidx[a->totalslices])); 1621d4002b98SHong Zhang } else { 16229566063dSJacob Faibussowitsch PetscCall(MatCopy_Basic(A, B, str)); 1623d4002b98SHong Zhang } 16243ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1625d4002b98SHong Zhang } 1626d4002b98SHong Zhang 1627d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetUp_SeqSELL(Mat A) 1628d71ae5a4SJacob Faibussowitsch { 1629d4002b98SHong Zhang PetscFunctionBegin; 16309566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(A, PETSC_DEFAULT, NULL)); 16313ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1632d4002b98SHong Zhang } 1633d4002b98SHong Zhang 1634d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat A, PetscScalar *array[]) 1635d71ae5a4SJacob Faibussowitsch { 1636d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1637d4002b98SHong Zhang 1638d4002b98SHong Zhang PetscFunctionBegin; 1639d4002b98SHong Zhang *array = a->val; 16403ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1641d4002b98SHong Zhang } 1642d4002b98SHong Zhang 1643d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat A, PetscScalar *array[]) 1644d71ae5a4SJacob Faibussowitsch { 1645d4002b98SHong Zhang PetscFunctionBegin; 16463ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1647d4002b98SHong Zhang } 1648d4002b98SHong Zhang 1649d71ae5a4SJacob Faibussowitsch PetscErrorCode MatScale_SeqSELL(Mat inA, PetscScalar alpha) 1650d71ae5a4SJacob Faibussowitsch { 1651d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)inA->data; 1652d4002b98SHong Zhang MatScalar *aval = a->val; 1653d4002b98SHong Zhang PetscScalar oalpha = alpha; 1654d4002b98SHong Zhang PetscBLASInt one = 1, size; 1655d4002b98SHong Zhang 1656d4002b98SHong Zhang PetscFunctionBegin; 16579566063dSJacob Faibussowitsch PetscCall(PetscBLASIntCast(a->sliidx[a->totalslices], &size)); 1658792fecdfSBarry Smith PetscCallBLAS("BLASscal", BLASscal_(&size, &oalpha, aval, &one)); 16599566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 16609566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(inA)); 1661773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 16622d1451d4SHong Zhang if (inA->offloadmask != PETSC_OFFLOAD_UNALLOCATED) inA->offloadmask = PETSC_OFFLOAD_CPU; 16632d1451d4SHong Zhang #endif 16643ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1665d4002b98SHong Zhang } 1666d4002b98SHong Zhang 1667d71ae5a4SJacob Faibussowitsch PetscErrorCode MatShift_SeqSELL(Mat Y, PetscScalar a) 1668d71ae5a4SJacob Faibussowitsch { 1669d4002b98SHong Zhang Mat_SeqSELL *y = (Mat_SeqSELL *)Y->data; 1670d4002b98SHong Zhang 1671d4002b98SHong Zhang PetscFunctionBegin; 167248a46eb9SPierre Jolivet if (!Y->preallocated || !y->nz) PetscCall(MatSeqSELLSetPreallocation(Y, 1, NULL)); 16739566063dSJacob Faibussowitsch PetscCall(MatShift_Basic(Y, a)); 16743ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1675d4002b98SHong Zhang } 1676d4002b98SHong Zhang 1677d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSOR_SeqSELL(Mat A, Vec bb, PetscReal omega, MatSORType flag, PetscReal fshift, PetscInt its, PetscInt lits, Vec xx) 1678d71ae5a4SJacob Faibussowitsch { 1679d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1680d4002b98SHong Zhang PetscScalar *x, sum, *t; 1681f4259b30SLisandro Dalcin const MatScalar *idiag = NULL, *mdiag; 1682d4002b98SHong Zhang const PetscScalar *b, *xb; 1683d4002b98SHong Zhang PetscInt n, m = A->rmap->n, i, j, shift; 1684d4002b98SHong Zhang const PetscInt *diag; 1685d4002b98SHong Zhang 1686d4002b98SHong Zhang PetscFunctionBegin; 1687d4002b98SHong Zhang its = its * lits; 1688d4002b98SHong Zhang 1689d4002b98SHong Zhang if (fshift != a->fshift || omega != a->omega) a->idiagvalid = PETSC_FALSE; /* must recompute idiag[] */ 16909566063dSJacob Faibussowitsch if (!a->idiagvalid) PetscCall(MatInvertDiagonal_SeqSELL(A, omega, fshift)); 1691d4002b98SHong Zhang a->fshift = fshift; 1692d4002b98SHong Zhang a->omega = omega; 1693d4002b98SHong Zhang 1694d4002b98SHong Zhang diag = a->diag; 1695d4002b98SHong Zhang t = a->ssor_work; 1696d4002b98SHong Zhang idiag = a->idiag; 1697d4002b98SHong Zhang mdiag = a->mdiag; 1698d4002b98SHong Zhang 16999566063dSJacob Faibussowitsch PetscCall(VecGetArray(xx, &x)); 17009566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(bb, &b)); 1701d4002b98SHong Zhang /* We count flops by assuming the upper triangular and lower triangular parts have the same number of nonzeros */ 170208401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_UPPER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_UPPER is not implemented"); 170308401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_LOWER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_LOWER is not implemented"); 1704aed4548fSBarry Smith PetscCheck(!(flag & SOR_EISENSTAT), PETSC_COMM_SELF, PETSC_ERR_SUP, "No support yet for Eisenstat"); 1705d4002b98SHong Zhang 1706d4002b98SHong Zhang if (flag & SOR_ZERO_INITIAL_GUESS) { 1707d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1708d4002b98SHong Zhang for (i = 0; i < m; i++) { 170907e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1710d4002b98SHong Zhang sum = b[i]; 171107e43b41SHong Zhang n = (diag[i] - shift) / a->sliceheight; 171207e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1713d4002b98SHong Zhang t[i] = sum; 1714d4002b98SHong Zhang x[i] = sum * idiag[i]; 1715d4002b98SHong Zhang } 1716d4002b98SHong Zhang xb = t; 17179566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1718d4002b98SHong Zhang } else xb = b; 1719d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1720d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 172107e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1722d4002b98SHong Zhang sum = xb[i]; 172307e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 172407e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1725d4002b98SHong Zhang if (xb == b) { 1726d4002b98SHong Zhang x[i] = sum * idiag[i]; 1727d4002b98SHong Zhang } else { 1728d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1729d4002b98SHong Zhang } 1730d4002b98SHong Zhang } 17319566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1732d4002b98SHong Zhang } 1733d4002b98SHong Zhang its--; 1734d4002b98SHong Zhang } 1735d4002b98SHong Zhang while (its--) { 1736d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1737d4002b98SHong Zhang for (i = 0; i < m; i++) { 1738d4002b98SHong Zhang /* lower */ 173907e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1740d4002b98SHong Zhang sum = b[i]; 174107e43b41SHong Zhang n = (diag[i] - shift) / a->sliceheight; 174207e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1743d4002b98SHong Zhang t[i] = sum; /* save application of the lower-triangular part */ 1744d4002b98SHong Zhang /* upper */ 174507e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 174607e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1747d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1748d4002b98SHong Zhang } 1749d4002b98SHong Zhang xb = t; 17509566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1751d4002b98SHong Zhang } else xb = b; 1752d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1753d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 175407e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1755d4002b98SHong Zhang sum = xb[i]; 1756d4002b98SHong Zhang if (xb == b) { 1757d4002b98SHong Zhang /* whole matrix (no checkpointing available) */ 1758d4002b98SHong Zhang n = a->rlen[i]; 175907e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1760d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + (sum + mdiag[i] * x[i]) * idiag[i]; 1761d4002b98SHong Zhang } else { /* lower-triangular part has been saved, so only apply upper-triangular */ 176207e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 176307e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1764d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1765d4002b98SHong Zhang } 1766d4002b98SHong Zhang } 1767d4002b98SHong Zhang if (xb == b) { 17689566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1769d4002b98SHong Zhang } else { 17709566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1771d4002b98SHong Zhang } 1772d4002b98SHong Zhang } 1773d4002b98SHong Zhang } 17749566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(xx, &x)); 17759566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(bb, &b)); 17763ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1777d4002b98SHong Zhang } 1778d4002b98SHong Zhang 1779d4002b98SHong Zhang static struct _MatOps MatOps_Values = {MatSetValues_SeqSELL, 17806108893eSStefano Zampini MatGetRow_SeqSELL, 17816108893eSStefano Zampini MatRestoreRow_SeqSELL, 1782d4002b98SHong Zhang MatMult_SeqSELL, 1783d4002b98SHong Zhang /* 4*/ MatMultAdd_SeqSELL, 1784d4002b98SHong Zhang MatMultTranspose_SeqSELL, 1785d4002b98SHong Zhang MatMultTransposeAdd_SeqSELL, 1786f4259b30SLisandro Dalcin NULL, 1787f4259b30SLisandro Dalcin NULL, 1788f4259b30SLisandro Dalcin NULL, 1789f4259b30SLisandro Dalcin /* 10*/ NULL, 1790f4259b30SLisandro Dalcin NULL, 1791f4259b30SLisandro Dalcin NULL, 1792d4002b98SHong Zhang MatSOR_SeqSELL, 1793f4259b30SLisandro Dalcin NULL, 1794d4002b98SHong Zhang /* 15*/ MatGetInfo_SeqSELL, 1795d4002b98SHong Zhang MatEqual_SeqSELL, 1796d4002b98SHong Zhang MatGetDiagonal_SeqSELL, 1797d4002b98SHong Zhang MatDiagonalScale_SeqSELL, 1798f4259b30SLisandro Dalcin NULL, 1799f4259b30SLisandro Dalcin /* 20*/ NULL, 1800d4002b98SHong Zhang MatAssemblyEnd_SeqSELL, 1801d4002b98SHong Zhang MatSetOption_SeqSELL, 1802d4002b98SHong Zhang MatZeroEntries_SeqSELL, 1803f4259b30SLisandro Dalcin /* 24*/ NULL, 1804f4259b30SLisandro Dalcin NULL, 1805f4259b30SLisandro Dalcin NULL, 1806f4259b30SLisandro Dalcin NULL, 1807f4259b30SLisandro Dalcin NULL, 1808d4002b98SHong Zhang /* 29*/ MatSetUp_SeqSELL, 1809f4259b30SLisandro Dalcin NULL, 1810f4259b30SLisandro Dalcin NULL, 1811f4259b30SLisandro Dalcin NULL, 1812f4259b30SLisandro Dalcin NULL, 1813d4002b98SHong Zhang /* 34*/ MatDuplicate_SeqSELL, 1814f4259b30SLisandro Dalcin NULL, 1815f4259b30SLisandro Dalcin NULL, 1816f4259b30SLisandro Dalcin NULL, 1817f4259b30SLisandro Dalcin NULL, 1818f4259b30SLisandro Dalcin /* 39*/ NULL, 1819f4259b30SLisandro Dalcin NULL, 1820f4259b30SLisandro Dalcin NULL, 1821d4002b98SHong Zhang MatGetValues_SeqSELL, 1822d4002b98SHong Zhang MatCopy_SeqSELL, 1823f4259b30SLisandro Dalcin /* 44*/ NULL, 1824d4002b98SHong Zhang MatScale_SeqSELL, 1825d4002b98SHong Zhang MatShift_SeqSELL, 1826f4259b30SLisandro Dalcin NULL, 1827f4259b30SLisandro Dalcin NULL, 1828f4259b30SLisandro Dalcin /* 49*/ NULL, 1829f4259b30SLisandro Dalcin NULL, 1830f4259b30SLisandro Dalcin NULL, 1831f4259b30SLisandro Dalcin NULL, 1832f4259b30SLisandro Dalcin NULL, 1833d4002b98SHong Zhang /* 54*/ MatFDColoringCreate_SeqXAIJ, 1834f4259b30SLisandro Dalcin NULL, 1835f4259b30SLisandro Dalcin NULL, 1836f4259b30SLisandro Dalcin NULL, 1837f4259b30SLisandro Dalcin NULL, 1838f4259b30SLisandro Dalcin /* 59*/ NULL, 1839d4002b98SHong Zhang MatDestroy_SeqSELL, 1840d4002b98SHong Zhang MatView_SeqSELL, 1841f4259b30SLisandro Dalcin NULL, 1842f4259b30SLisandro Dalcin NULL, 1843f4259b30SLisandro Dalcin /* 64*/ NULL, 1844f4259b30SLisandro Dalcin NULL, 1845f4259b30SLisandro Dalcin NULL, 1846f4259b30SLisandro Dalcin NULL, 1847f4259b30SLisandro Dalcin NULL, 1848f4259b30SLisandro Dalcin /* 69*/ NULL, 1849f4259b30SLisandro Dalcin NULL, 1850f4259b30SLisandro Dalcin NULL, 18518bb0f5c6SPierre Jolivet MatFDColoringApply_AIJ, /* reuse the FDColoring function for AIJ */ 1852f4259b30SLisandro Dalcin NULL, 1853f4259b30SLisandro Dalcin /* 74*/ NULL, 18548bb0f5c6SPierre Jolivet NULL, 1855f4259b30SLisandro Dalcin NULL, 1856f4259b30SLisandro Dalcin NULL, 1857f4259b30SLisandro Dalcin NULL, 1858f4259b30SLisandro Dalcin /* 79*/ NULL, 1859f4259b30SLisandro Dalcin NULL, 1860f4259b30SLisandro Dalcin NULL, 1861f4259b30SLisandro Dalcin NULL, 1862f4259b30SLisandro Dalcin NULL, 1863f4259b30SLisandro Dalcin /* 84*/ NULL, 1864f4259b30SLisandro Dalcin NULL, 1865f4259b30SLisandro Dalcin NULL, 1866f4259b30SLisandro Dalcin NULL, 1867f4259b30SLisandro Dalcin NULL, 1868f4259b30SLisandro Dalcin /* 89*/ NULL, 1869f4259b30SLisandro Dalcin NULL, 1870f4259b30SLisandro Dalcin NULL, 1871f4259b30SLisandro Dalcin NULL, 18728bb0f5c6SPierre Jolivet MatConjugate_SeqSELL, 1873f4259b30SLisandro Dalcin /* 94*/ NULL, 1874f4259b30SLisandro Dalcin NULL, 1875f4259b30SLisandro Dalcin NULL, 1876f4259b30SLisandro Dalcin NULL, 1877f4259b30SLisandro Dalcin NULL, 1878f4259b30SLisandro Dalcin /* 99*/ NULL, 1879f4259b30SLisandro Dalcin NULL, 1880f4259b30SLisandro Dalcin NULL, 1881f4259b30SLisandro Dalcin NULL, 18828bb0f5c6SPierre Jolivet NULL, 18838bb0f5c6SPierre Jolivet /*104*/ MatMissingDiagonal_SeqSELL, 1884f4259b30SLisandro Dalcin NULL, 1885f4259b30SLisandro Dalcin NULL, 1886f4259b30SLisandro Dalcin NULL, 1887f4259b30SLisandro Dalcin NULL, 1888f4259b30SLisandro Dalcin /*109*/ NULL, 1889f4259b30SLisandro Dalcin NULL, 1890f4259b30SLisandro Dalcin NULL, 1891f4259b30SLisandro Dalcin NULL, 18928bb0f5c6SPierre Jolivet NULL, 1893f4259b30SLisandro Dalcin /*114*/ NULL, 1894f4259b30SLisandro Dalcin NULL, 1895f4259b30SLisandro Dalcin NULL, 1896f4259b30SLisandro Dalcin NULL, 1897f4259b30SLisandro Dalcin NULL, 1898f4259b30SLisandro Dalcin /*119*/ NULL, 1899f4259b30SLisandro Dalcin NULL, 1900f4259b30SLisandro Dalcin NULL, 1901f4259b30SLisandro Dalcin NULL, 1902f4259b30SLisandro Dalcin NULL, 1903f4259b30SLisandro Dalcin /*124*/ NULL, 1904f4259b30SLisandro Dalcin NULL, 1905f4259b30SLisandro Dalcin NULL, 1906f4259b30SLisandro Dalcin NULL, 1907f4259b30SLisandro Dalcin NULL, 19088bb0f5c6SPierre Jolivet /*129*/ MatFDColoringSetUp_SeqXAIJ, 1909f4259b30SLisandro Dalcin NULL, 1910f4259b30SLisandro Dalcin NULL, 1911f4259b30SLisandro Dalcin NULL, 1912f4259b30SLisandro Dalcin NULL, 1913f4259b30SLisandro Dalcin /*134*/ NULL, 1914f4259b30SLisandro Dalcin NULL, 1915f4259b30SLisandro Dalcin NULL, 1916f4259b30SLisandro Dalcin NULL, 1917f4259b30SLisandro Dalcin NULL, 1918f4259b30SLisandro Dalcin /*139*/ NULL, 1919f4259b30SLisandro Dalcin NULL, 1920f4259b30SLisandro Dalcin NULL, 192103db1824SAlex Lindsay NULL, 1922dec0b466SHong Zhang NULL}; 1923d4002b98SHong Zhang 1924ba38deedSJacob Faibussowitsch static PetscErrorCode MatStoreValues_SeqSELL(Mat mat) 1925d71ae5a4SJacob Faibussowitsch { 1926d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1927d4002b98SHong Zhang 1928d4002b98SHong Zhang PetscFunctionBegin; 192928b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 1930d4002b98SHong Zhang 1931d4002b98SHong Zhang /* allocate space for values if not already there */ 1932aa624791SPierre Jolivet if (!a->saved_values) PetscCall(PetscMalloc1(a->sliidx[a->totalslices] + 1, &a->saved_values)); 1933d4002b98SHong Zhang 1934d4002b98SHong Zhang /* copy values over */ 19359566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->saved_values, a->val, a->sliidx[a->totalslices])); 19363ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1937d4002b98SHong Zhang } 1938d4002b98SHong Zhang 1939ba38deedSJacob Faibussowitsch static PetscErrorCode MatRetrieveValues_SeqSELL(Mat mat) 1940d71ae5a4SJacob Faibussowitsch { 1941d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1942d4002b98SHong Zhang 1943d4002b98SHong Zhang PetscFunctionBegin; 194428b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 194528b400f6SJacob Faibussowitsch PetscCheck(a->saved_values, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatStoreValues(A);first"); 19469566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->val, a->saved_values, a->sliidx[a->totalslices])); 19473ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1948d4002b98SHong Zhang } 1949d4002b98SHong Zhang 1950ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetFillRatio_SeqSELL(Mat mat, PetscReal *ratio) 195107e43b41SHong Zhang { 195207e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 195307e43b41SHong Zhang 195407e43b41SHong Zhang PetscFunctionBegin; 195507e43b41SHong Zhang if (a->totalslices && a->sliidx[a->totalslices]) { 195607e43b41SHong Zhang *ratio = (PetscReal)(a->sliidx[a->totalslices] - a->nz) / a->sliidx[a->totalslices]; 195707e43b41SHong Zhang } else { 195807e43b41SHong Zhang *ratio = 0.0; 195907e43b41SHong Zhang } 196007e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 196107e43b41SHong Zhang } 196207e43b41SHong Zhang 1963ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetMaxSliceWidth_SeqSELL(Mat mat, PetscInt *slicewidth) 196407e43b41SHong Zhang { 196507e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 196607e43b41SHong Zhang PetscInt i, current_slicewidth; 196707e43b41SHong Zhang 196807e43b41SHong Zhang PetscFunctionBegin; 196907e43b41SHong Zhang *slicewidth = 0; 197007e43b41SHong Zhang for (i = 0; i < a->totalslices; i++) { 197107e43b41SHong Zhang current_slicewidth = (a->sliidx[i + 1] - a->sliidx[i]) / a->sliceheight; 197207e43b41SHong Zhang if (current_slicewidth > *slicewidth) *slicewidth = current_slicewidth; 197307e43b41SHong Zhang } 197407e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 197507e43b41SHong Zhang } 197607e43b41SHong Zhang 1977ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetAvgSliceWidth_SeqSELL(Mat mat, PetscReal *slicewidth) 197807e43b41SHong Zhang { 197907e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 198007e43b41SHong Zhang 198107e43b41SHong Zhang PetscFunctionBegin; 198207e43b41SHong Zhang *slicewidth = 0; 198307e43b41SHong Zhang if (a->totalslices) { *slicewidth = (PetscReal)a->sliidx[a->totalslices] / a->sliceheight / a->totalslices; } 198407e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 198507e43b41SHong Zhang } 198607e43b41SHong Zhang 1987ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetVarSliceSize_SeqSELL(Mat mat, PetscReal *variance) 1988b921024eSHong Zhang { 1989b921024eSHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1990b921024eSHong Zhang PetscReal mean; 1991b921024eSHong Zhang PetscInt i, totalslices = a->totalslices, *sliidx = a->sliidx; 1992b921024eSHong Zhang 1993b921024eSHong Zhang PetscFunctionBegin; 1994b921024eSHong Zhang *variance = 0; 1995b921024eSHong Zhang if (totalslices) { 1996b921024eSHong Zhang mean = (PetscReal)sliidx[totalslices] / totalslices; 1997b921024eSHong Zhang for (i = 1; i <= totalslices; i++) { *variance += ((PetscReal)(sliidx[i] - sliidx[i - 1]) - mean) * ((PetscReal)(sliidx[i] - sliidx[i - 1]) - mean) / totalslices; } 1998b921024eSHong Zhang } 1999b921024eSHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 2000b921024eSHong Zhang } 2001b921024eSHong Zhang 2002ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLSetSliceHeight_SeqSELL(Mat A, PetscInt sliceheight) 200307e43b41SHong Zhang { 200407e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 200507e43b41SHong Zhang 200607e43b41SHong Zhang PetscFunctionBegin; 200707e43b41SHong Zhang if (A->preallocated) PetscFunctionReturn(PETSC_SUCCESS); 200807e43b41SHong 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); 200907e43b41SHong Zhang a->sliceheight = sliceheight; 2010773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 2011773bf0f6SHong 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); 20124e58db63SHong Zhang #endif 201307e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 201407e43b41SHong Zhang } 201507e43b41SHong Zhang 2016cc4c1da9SBarry Smith /*@ 201707e43b41SHong Zhang MatSeqSELLGetFillRatio - returns a ratio that indicates the irregularity of the matrix. 201807e43b41SHong Zhang 201907e43b41SHong Zhang Not Collective 202007e43b41SHong Zhang 202107e43b41SHong Zhang Input Parameter: 202207e43b41SHong Zhang . A - a MATSEQSELL matrix 202307e43b41SHong Zhang 202407e43b41SHong Zhang Output Parameter: 202507e43b41SHong Zhang . ratio - ratio of number of padded zeros to number of allocated elements 202607e43b41SHong Zhang 202707e43b41SHong Zhang Level: intermediate 20282920cce0SJacob Faibussowitsch 20292920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetAvgSliceWidth()` 203007e43b41SHong Zhang @*/ 203107e43b41SHong Zhang PetscErrorCode MatSeqSELLGetFillRatio(Mat A, PetscReal *ratio) 203207e43b41SHong Zhang { 203307e43b41SHong Zhang PetscFunctionBegin; 203407e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetFillRatio_C", (Mat, PetscReal *), (A, ratio)); 203507e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 203607e43b41SHong Zhang } 203707e43b41SHong Zhang 2038cc4c1da9SBarry Smith /*@ 203907e43b41SHong Zhang MatSeqSELLGetMaxSliceWidth - returns the maximum slice width. 204007e43b41SHong Zhang 204107e43b41SHong Zhang Not Collective 204207e43b41SHong Zhang 204307e43b41SHong Zhang Input Parameter: 204407e43b41SHong Zhang . A - a MATSEQSELL matrix 204507e43b41SHong Zhang 204607e43b41SHong Zhang Output Parameter: 204707e43b41SHong Zhang . slicewidth - maximum slice width 204807e43b41SHong Zhang 204907e43b41SHong Zhang Level: intermediate 20502920cce0SJacob Faibussowitsch 20512920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetAvgSliceWidth()` 205207e43b41SHong Zhang @*/ 205307e43b41SHong Zhang PetscErrorCode MatSeqSELLGetMaxSliceWidth(Mat A, PetscInt *slicewidth) 205407e43b41SHong Zhang { 205507e43b41SHong Zhang PetscFunctionBegin; 205607e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetMaxSliceWidth_C", (Mat, PetscInt *), (A, slicewidth)); 205707e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 205807e43b41SHong Zhang } 205907e43b41SHong Zhang 2060cc4c1da9SBarry Smith /*@ 206107e43b41SHong Zhang MatSeqSELLGetAvgSliceWidth - returns the average slice width. 206207e43b41SHong Zhang 206307e43b41SHong Zhang Not Collective 206407e43b41SHong Zhang 206507e43b41SHong Zhang Input Parameter: 206607e43b41SHong Zhang . A - a MATSEQSELL matrix 206707e43b41SHong Zhang 206807e43b41SHong Zhang Output Parameter: 206907e43b41SHong Zhang . slicewidth - average slice width 207007e43b41SHong Zhang 207107e43b41SHong Zhang Level: intermediate 20722920cce0SJacob Faibussowitsch 20732920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetMaxSliceWidth()` 207407e43b41SHong Zhang @*/ 207507e43b41SHong Zhang PetscErrorCode MatSeqSELLGetAvgSliceWidth(Mat A, PetscReal *slicewidth) 207607e43b41SHong Zhang { 207707e43b41SHong Zhang PetscFunctionBegin; 207807e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetAvgSliceWidth_C", (Mat, PetscReal *), (A, slicewidth)); 207907e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 208007e43b41SHong Zhang } 208107e43b41SHong Zhang 2082cc4c1da9SBarry Smith /*@ 208307e43b41SHong Zhang MatSeqSELLSetSliceHeight - sets the slice height. 208407e43b41SHong Zhang 208507e43b41SHong Zhang Not Collective 208607e43b41SHong Zhang 208707e43b41SHong Zhang Input Parameters: 208807e43b41SHong Zhang + A - a MATSEQSELL matrix 208907e43b41SHong Zhang - sliceheight - slice height 209007e43b41SHong Zhang 209107e43b41SHong Zhang Notes: 209207e43b41SHong Zhang You cannot change the slice height once it have been set. 209307e43b41SHong Zhang 209407e43b41SHong Zhang The slice height must be set before MatSetUp() or MatXXXSetPreallocation() is called. 209507e43b41SHong Zhang 209607e43b41SHong Zhang Level: intermediate 20972920cce0SJacob Faibussowitsch 20982920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetVarSliceSize()` 209907e43b41SHong Zhang @*/ 210007e43b41SHong Zhang PetscErrorCode MatSeqSELLSetSliceHeight(Mat A, PetscInt sliceheight) 210107e43b41SHong Zhang { 210207e43b41SHong Zhang PetscFunctionBegin; 210307e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLSetSliceHeight_C", (Mat, PetscInt), (A, sliceheight)); 210407e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 210507e43b41SHong Zhang } 210607e43b41SHong Zhang 2107cc4c1da9SBarry Smith /*@ 210807e43b41SHong Zhang MatSeqSELLGetVarSliceSize - returns the variance of the slice size. 210907e43b41SHong Zhang 211007e43b41SHong Zhang Not Collective 211107e43b41SHong Zhang 211207e43b41SHong Zhang Input Parameter: 211307e43b41SHong Zhang . A - a MATSEQSELL matrix 211407e43b41SHong Zhang 211507e43b41SHong Zhang Output Parameter: 211607e43b41SHong Zhang . variance - variance of the slice size 211707e43b41SHong Zhang 211807e43b41SHong Zhang Level: intermediate 21192920cce0SJacob Faibussowitsch 21202920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLSetSliceHeight()` 212107e43b41SHong Zhang @*/ 212207e43b41SHong Zhang PetscErrorCode MatSeqSELLGetVarSliceSize(Mat A, PetscReal *variance) 212307e43b41SHong Zhang { 212407e43b41SHong Zhang PetscFunctionBegin; 212507e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetVarSliceSize_C", (Mat, PetscReal *), (A, variance)); 212607e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 212707e43b41SHong Zhang } 212807e43b41SHong Zhang 21292d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 21302d1451d4SHong Zhang PETSC_EXTERN PetscErrorCode MatConvert_SeqSELL_SeqSELLCUDA(Mat); 21312d1451d4SHong Zhang #endif 2132773bf0f6SHong Zhang #if defined(PETSC_HAVE_HIP) 2133773bf0f6SHong Zhang PETSC_EXTERN PetscErrorCode MatConvert_SeqSELL_SeqSELLHIP(Mat); 2134773bf0f6SHong Zhang #endif 21352d1451d4SHong Zhang 2136d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat B) 2137d71ae5a4SJacob Faibussowitsch { 2138d4002b98SHong Zhang Mat_SeqSELL *b; 2139d4002b98SHong Zhang PetscMPIInt size; 2140d4002b98SHong Zhang 2141d4002b98SHong Zhang PetscFunctionBegin; 21429566063dSJacob Faibussowitsch PetscCall(PetscCitationsRegister(citation, &cited)); 21439566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)B), &size)); 214408401ef6SPierre Jolivet PetscCheck(size <= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Comm must be of size 1"); 2145d4002b98SHong Zhang 21464dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&b)); 2147d4002b98SHong Zhang 2148d4002b98SHong Zhang B->data = (void *)b; 2149aea10558SJacob Faibussowitsch B->ops[0] = MatOps_Values; 2150d4002b98SHong Zhang 2151f4259b30SLisandro Dalcin b->row = NULL; 2152f4259b30SLisandro Dalcin b->col = NULL; 2153f4259b30SLisandro Dalcin b->icol = NULL; 2154d4002b98SHong Zhang b->reallocs = 0; 2155d4002b98SHong Zhang b->ignorezeroentries = PETSC_FALSE; 2156d4002b98SHong Zhang b->roworiented = PETSC_TRUE; 2157d4002b98SHong Zhang b->nonew = 0; 2158f4259b30SLisandro Dalcin b->diag = NULL; 2159f4259b30SLisandro Dalcin b->solve_work = NULL; 2160f4259b30SLisandro Dalcin B->spptr = NULL; 2161f4259b30SLisandro Dalcin b->saved_values = NULL; 2162f4259b30SLisandro Dalcin b->idiag = NULL; 2163f4259b30SLisandro Dalcin b->mdiag = NULL; 2164f4259b30SLisandro Dalcin b->ssor_work = NULL; 2165d4002b98SHong Zhang b->omega = 1.0; 2166d4002b98SHong Zhang b->fshift = 0.0; 2167d4002b98SHong Zhang b->idiagvalid = PETSC_FALSE; 2168d4002b98SHong Zhang b->keepnonzeropattern = PETSC_FALSE; 216907e43b41SHong Zhang b->sliceheight = 0; 2170d4002b98SHong Zhang 21719566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQSELL)); 21729566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetArray_C", MatSeqSELLGetArray_SeqSELL)); 21739566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLRestoreArray_C", MatSeqSELLRestoreArray_SeqSELL)); 21749566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatStoreValues_C", MatStoreValues_SeqSELL)); 21759566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatRetrieveValues_C", MatRetrieveValues_SeqSELL)); 21769566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetPreallocation_C", MatSeqSELLSetPreallocation_SeqSELL)); 2177b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqaij_C", MatConvert_SeqSELL_SeqAIJ)); 21782d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 2179b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqsellcuda_C", MatConvert_SeqSELL_SeqSELLCUDA)); 21802d1451d4SHong Zhang #endif 2181773bf0f6SHong Zhang #if defined(PETSC_HAVE_HIP) 2182773bf0f6SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqsellhip_C", MatConvert_SeqSELL_SeqSELLHIP)); 2183773bf0f6SHong Zhang #endif 218407e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetFillRatio_C", MatSeqSELLGetFillRatio_SeqSELL)); 218507e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetMaxSliceWidth_C", MatSeqSELLGetMaxSliceWidth_SeqSELL)); 218607e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetAvgSliceWidth_C", MatSeqSELLGetAvgSliceWidth_SeqSELL)); 2187b921024eSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetVarSliceSize_C", MatSeqSELLGetVarSliceSize_SeqSELL)); 218807e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetSliceHeight_C", MatSeqSELLSetSliceHeight_SeqSELL)); 218907e43b41SHong Zhang 219007e43b41SHong Zhang PetscObjectOptionsBegin((PetscObject)B); 219107e43b41SHong Zhang { 219207e43b41SHong Zhang PetscInt newsh = -1; 219307e43b41SHong Zhang PetscBool flg; 2194773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 219590d2215bSHong Zhang PetscInt chunksize = 0; 219690d2215bSHong Zhang #endif 219707e43b41SHong Zhang 219807e43b41SHong Zhang PetscCall(PetscOptionsInt("-mat_sell_slice_height", "Set the slice height used to store SELL matrix", "MatSELLSetSliceHeight", newsh, &newsh, &flg)); 219907e43b41SHong Zhang if (flg) { PetscCall(MatSeqSELLSetSliceHeight(B, newsh)); } 2200773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 2201773bf0f6SHong 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)); 220290d2215bSHong Zhang if (flg) { 220390d2215bSHong 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); 220490d2215bSHong Zhang b->chunksize = chunksize; 220590d2215bSHong Zhang } 220690d2215bSHong Zhang #endif 220707e43b41SHong Zhang } 220807e43b41SHong Zhang PetscOptionsEnd(); 22093ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2210d4002b98SHong Zhang } 2211d4002b98SHong Zhang 2212d4002b98SHong Zhang /* 2213d4002b98SHong Zhang Given a matrix generated with MatGetFactor() duplicates all the information in A into B 2214d4002b98SHong Zhang */ 2215ba38deedSJacob Faibussowitsch static PetscErrorCode MatDuplicateNoCreate_SeqSELL(Mat C, Mat A, MatDuplicateOption cpvalues, PetscBool mallocmatspace) 2216d71ae5a4SJacob Faibussowitsch { 2217ed73aabaSBarry Smith Mat_SeqSELL *c = (Mat_SeqSELL *)C->data, *a = (Mat_SeqSELL *)A->data; 2218d4002b98SHong Zhang PetscInt i, m = A->rmap->n; 2219d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2220d4002b98SHong Zhang 2221d4002b98SHong Zhang PetscFunctionBegin; 2222d4002b98SHong Zhang C->factortype = A->factortype; 2223f4259b30SLisandro Dalcin c->row = NULL; 2224f4259b30SLisandro Dalcin c->col = NULL; 2225f4259b30SLisandro Dalcin c->icol = NULL; 2226d4002b98SHong Zhang c->reallocs = 0; 2227d4002b98SHong Zhang C->assembled = PETSC_TRUE; 2228d4002b98SHong Zhang 22299566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->rmap, &C->rmap)); 22309566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->cmap, &C->cmap)); 2231d4002b98SHong Zhang 2232773bf0f6SHong Zhang c->sliceheight = a->sliceheight; 2233773bf0f6SHong Zhang PetscCall(PetscMalloc1(c->sliceheight * totalslices, &c->rlen)); 22349566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &c->sliidx)); 2235d4002b98SHong Zhang 2236d4002b98SHong Zhang for (i = 0; i < m; i++) c->rlen[i] = a->rlen[i]; 2237d4002b98SHong Zhang for (i = 0; i < totalslices + 1; i++) c->sliidx[i] = a->sliidx[i]; 2238d4002b98SHong Zhang 2239d4002b98SHong Zhang /* allocate the matrix space */ 2240d4002b98SHong Zhang if (mallocmatspace) { 22419566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(a->maxallocmat, &c->val, a->maxallocmat, &c->colidx)); 2242d4002b98SHong Zhang 2243d4002b98SHong Zhang c->singlemalloc = PETSC_TRUE; 2244d4002b98SHong Zhang 2245d4002b98SHong Zhang if (m > 0) { 22469566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->colidx, a->colidx, a->maxallocmat)); 2247d4002b98SHong Zhang if (cpvalues == MAT_COPY_VALUES) { 22489566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->val, a->val, a->maxallocmat)); 2249d4002b98SHong Zhang } else { 22509566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(c->val, a->maxallocmat)); 2251d4002b98SHong Zhang } 2252d4002b98SHong Zhang } 2253d4002b98SHong Zhang } 2254d4002b98SHong Zhang 2255d4002b98SHong Zhang c->ignorezeroentries = a->ignorezeroentries; 2256d4002b98SHong Zhang c->roworiented = a->roworiented; 2257d4002b98SHong Zhang c->nonew = a->nonew; 2258d4002b98SHong Zhang if (a->diag) { 22599566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &c->diag)); 2260ad540459SPierre Jolivet for (i = 0; i < m; i++) c->diag[i] = a->diag[i]; 2261f4259b30SLisandro Dalcin } else c->diag = NULL; 2262d4002b98SHong Zhang 2263f4259b30SLisandro Dalcin c->solve_work = NULL; 2264f4259b30SLisandro Dalcin c->saved_values = NULL; 2265f4259b30SLisandro Dalcin c->idiag = NULL; 2266f4259b30SLisandro Dalcin c->ssor_work = NULL; 2267d4002b98SHong Zhang c->keepnonzeropattern = a->keepnonzeropattern; 2268d4002b98SHong Zhang c->free_val = PETSC_TRUE; 2269d4002b98SHong Zhang c->free_colidx = PETSC_TRUE; 2270d4002b98SHong Zhang 2271d4002b98SHong Zhang c->maxallocmat = a->maxallocmat; 2272d4002b98SHong Zhang c->maxallocrow = a->maxallocrow; 2273d4002b98SHong Zhang c->rlenmax = a->rlenmax; 2274d4002b98SHong Zhang c->nz = a->nz; 2275d4002b98SHong Zhang C->preallocated = PETSC_TRUE; 2276d4002b98SHong Zhang 2277d4002b98SHong Zhang c->nonzerorowcnt = a->nonzerorowcnt; 2278d4002b98SHong Zhang C->nonzerostate = A->nonzerostate; 2279d4002b98SHong Zhang 22809566063dSJacob Faibussowitsch PetscCall(PetscFunctionListDuplicate(((PetscObject)A)->qlist, &((PetscObject)C)->qlist)); 22813ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2282d4002b98SHong Zhang } 2283d4002b98SHong Zhang 2284d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDuplicate_SeqSELL(Mat A, MatDuplicateOption cpvalues, Mat *B) 2285d71ae5a4SJacob Faibussowitsch { 2286d4002b98SHong Zhang PetscFunctionBegin; 22879566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), B)); 22889566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*B, A->rmap->n, A->cmap->n, A->rmap->n, A->cmap->n)); 228948a46eb9SPierre Jolivet if (!(A->rmap->n % A->rmap->bs) && !(A->cmap->n % A->cmap->bs)) PetscCall(MatSetBlockSizesFromMats(*B, A, A)); 22909566063dSJacob Faibussowitsch PetscCall(MatSetType(*B, ((PetscObject)A)->type_name)); 22919566063dSJacob Faibussowitsch PetscCall(MatDuplicateNoCreate_SeqSELL(*B, A, cpvalues, PETSC_TRUE)); 22923ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2293d4002b98SHong Zhang } 2294d4002b98SHong Zhang 2295ed73aabaSBarry Smith /*MC 2296ed73aabaSBarry Smith MATSEQSELL - MATSEQSELL = "seqsell" - A matrix type to be used for sequential sparse matrices, 22971d27aa22SBarry Smith based on the sliced Ellpack format, {cite}`zhangellpack2018` 2298ed73aabaSBarry Smith 229920f4b53cSBarry Smith Options Database Key: 230011a5261eSBarry Smith . -mat_type seqsell - sets the matrix type to "`MATSEQELL` during a call to `MatSetFromOptions()` 2301ed73aabaSBarry Smith 2302ed73aabaSBarry Smith Level: beginner 2303ed73aabaSBarry Smith 230494764886SPierre Jolivet .seealso: `Mat`, `MatCreateSeqSELL()`, `MATSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATAIJ`, `MATMPIAIJ` 2305ed73aabaSBarry Smith M*/ 2306ed73aabaSBarry Smith 2307ed73aabaSBarry Smith /*MC 23081d27aa22SBarry Smith MATSELL - MATSELL = "sell" - A matrix type to be used for sparse matrices, {cite}`zhangellpack2018` 2309ed73aabaSBarry Smith 231011a5261eSBarry Smith This matrix type is identical to `MATSEQSELL` when constructed with a single process communicator, 231111a5261eSBarry Smith and `MATMPISELL` otherwise. As a result, for single process communicators, 231211a5261eSBarry Smith `MatSeqSELLSetPreallocation()` is supported, and similarly `MatMPISELLSetPreallocation()` is supported 2313ed73aabaSBarry Smith for communicators controlling multiple processes. It is recommended that you call both of 2314ed73aabaSBarry Smith the above preallocation routines for simplicity. 2315ed73aabaSBarry Smith 231620f4b53cSBarry Smith Options Database Key: 2317ed73aabaSBarry Smith . -mat_type sell - sets the matrix type to "sell" during a call to MatSetFromOptions() 2318ed73aabaSBarry Smith 2319ed73aabaSBarry Smith Level: beginner 2320ed73aabaSBarry Smith 2321ed73aabaSBarry Smith Notes: 23227de69702SBarry Smith This format is only supported for real scalars, double precision, and 32-bit indices (the defaults). 2323ed73aabaSBarry Smith 2324ed73aabaSBarry Smith It can provide better performance on Intel and AMD processes with AVX2 or AVX512 support for matrices that have a similar number of 2325ed73aabaSBarry Smith non-zeros in contiguous groups of rows. However if the computation is memory bandwidth limited it may not provide much improvement. 2326ed73aabaSBarry Smith 2327ed73aabaSBarry Smith Developer Notes: 2328ed73aabaSBarry Smith On Intel (and AMD) systems some of the matrix operations use SIMD (AVX) instructions to achieve higher performance. 2329ed73aabaSBarry Smith 2330ed73aabaSBarry Smith The sparse matrix format is as follows. For simplicity we assume a slice size of 2, it is actually 8 2331ed73aabaSBarry Smith .vb 2332ed73aabaSBarry Smith (2 0 3 4) 2333ed73aabaSBarry Smith Consider the matrix A = (5 0 6 0) 2334ed73aabaSBarry Smith (0 0 7 8) 2335ed73aabaSBarry Smith (0 0 9 9) 2336ed73aabaSBarry Smith 2337ed73aabaSBarry Smith symbolically the Ellpack format can be written as 2338ed73aabaSBarry Smith 2339ed73aabaSBarry Smith (2 3 4 |) (0 2 3 |) 2340ed73aabaSBarry Smith v = (5 6 0 |) colidx = (0 2 2 |) 2341ed73aabaSBarry Smith -------- --------- 2342ed73aabaSBarry Smith (7 8 |) (2 3 |) 2343ed73aabaSBarry Smith (9 9 |) (2 3 |) 2344ed73aabaSBarry Smith 2345ed73aabaSBarry 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). 2346ed73aabaSBarry 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 2347ed73aabaSBarry 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. 2348ed73aabaSBarry Smith 2349ed73aabaSBarry 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) 2350ed73aabaSBarry Smith 2351ed73aabaSBarry Smith .ve 2352ed73aabaSBarry Smith 23531d27aa22SBarry Smith See `MatMult_SeqSELL()` for how this format is used with the SIMD operations to achieve high performance. 2354ed73aabaSBarry Smith 235594764886SPierre Jolivet .seealso: `Mat`, `MatCreateSeqSELL()`, `MatCreateSeqAIJ()`, `MatCreateSELL()`, `MATSEQSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATMPIAIJ`, `MATAIJ` 2356ed73aabaSBarry Smith M*/ 2357ed73aabaSBarry Smith 23585d83a8b1SBarry Smith /*@ 235911a5261eSBarry Smith MatCreateSeqSELL - Creates a sparse matrix in `MATSEQSELL` format. 2360d4002b98SHong Zhang 23612ef1f0ffSBarry Smith Collective 2362d4002b98SHong Zhang 2363d4002b98SHong Zhang Input Parameters: 236411a5261eSBarry Smith + comm - MPI communicator, set to `PETSC_COMM_SELF` 2365d4002b98SHong Zhang . m - number of rows 2366d4002b98SHong Zhang . n - number of columns 236720f4b53cSBarry Smith . rlenmax - maximum number of nonzeros in a row, ignored if `rlen` is provided 236820f4b53cSBarry Smith - rlen - array containing the number of nonzeros in the various rows (possibly different for each row) or NULL 2369d4002b98SHong Zhang 2370d4002b98SHong Zhang Output Parameter: 2371d4002b98SHong Zhang . A - the matrix 2372d4002b98SHong Zhang 237320f4b53cSBarry Smith Level: intermediate 237420f4b53cSBarry Smith 237520f4b53cSBarry Smith Notes: 237611a5261eSBarry Smith It is recommended that one use the `MatCreate()`, `MatSetType()` and/or `MatSetFromOptions()`, 2377f6f02116SRichard Tran Mills MatXXXXSetPreallocation() paradigm instead of this routine directly. 237811a5261eSBarry Smith [MatXXXXSetPreallocation() is, for example, `MatSeqSELLSetPreallocation()`] 2379d4002b98SHong Zhang 238020f4b53cSBarry Smith Specify the preallocated storage with either `rlenmax` or `rlen` (not both). 238120f4b53cSBarry Smith Set `rlenmax` = `PETSC_DEFAULT` and `rlen` = `NULL` for PETSc to control dynamic memory 238220f4b53cSBarry Smith allocation. 2383d4002b98SHong Zhang 2384fe59aa6dSJacob Faibussowitsch .seealso: `Mat`, `MATSEQSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatSeqSELLSetPreallocation()`, `MATSELL`, `MATMPISELL` 2385d4002b98SHong Zhang @*/ 238620f4b53cSBarry Smith PetscErrorCode MatCreateSeqSELL(MPI_Comm comm, PetscInt m, PetscInt n, PetscInt rlenmax, const PetscInt rlen[], Mat *A) 2387d71ae5a4SJacob Faibussowitsch { 2388d4002b98SHong Zhang PetscFunctionBegin; 23899566063dSJacob Faibussowitsch PetscCall(MatCreate(comm, A)); 23909566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*A, m, n, m, n)); 23919566063dSJacob Faibussowitsch PetscCall(MatSetType(*A, MATSEQSELL)); 239220f4b53cSBarry Smith PetscCall(MatSeqSELLSetPreallocation_SeqSELL(*A, rlenmax, rlen)); 23933ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2394d4002b98SHong Zhang } 2395d4002b98SHong Zhang 2396d71ae5a4SJacob Faibussowitsch PetscErrorCode MatEqual_SeqSELL(Mat A, Mat B, PetscBool *flg) 2397d71ae5a4SJacob Faibussowitsch { 2398d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data, *b = (Mat_SeqSELL *)B->data; 2399d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2400d4002b98SHong Zhang 2401d4002b98SHong Zhang PetscFunctionBegin; 2402d4002b98SHong Zhang /* If the matrix dimensions are not equal,or no of nonzeros */ 2403d4002b98SHong Zhang if ((A->rmap->n != B->rmap->n) || (A->cmap->n != B->cmap->n) || (a->nz != b->nz) || (a->rlenmax != b->rlenmax)) { 2404d4002b98SHong Zhang *flg = PETSC_FALSE; 24053ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2406d4002b98SHong Zhang } 2407d4002b98SHong Zhang /* if the a->colidx are the same */ 24089566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->colidx, b->colidx, a->sliidx[totalslices], flg)); 24093ba16761SJacob Faibussowitsch if (!*flg) PetscFunctionReturn(PETSC_SUCCESS); 2410d4002b98SHong Zhang /* if a->val are the same */ 24119566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->val, b->val, a->sliidx[totalslices], flg)); 24123ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2413d4002b98SHong Zhang } 2414d4002b98SHong Zhang 2415d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat A) 2416d71ae5a4SJacob Faibussowitsch { 2417d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2418d4002b98SHong Zhang 2419d4002b98SHong Zhang PetscFunctionBegin; 2420d4002b98SHong Zhang a->idiagvalid = PETSC_FALSE; 24213ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2422d4002b98SHong Zhang } 2423d4002b98SHong Zhang 2424d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConjugate_SeqSELL(Mat A) 2425d71ae5a4SJacob Faibussowitsch { 2426d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 2427d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2428d4002b98SHong Zhang PetscInt i; 2429d4002b98SHong Zhang PetscScalar *val = a->val; 2430d4002b98SHong Zhang 2431d4002b98SHong Zhang PetscFunctionBegin; 24322d1451d4SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { val[i] = PetscConj(val[i]); } 2433773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 24342d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 24352d1451d4SHong Zhang #endif 2436d4002b98SHong Zhang #else 2437d4002b98SHong Zhang PetscFunctionBegin; 2438d4002b98SHong Zhang #endif 24393ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2440d4002b98SHong Zhang } 2441