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 44d4002b98SHong Zhang /*@C 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; 914e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 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 */ 12107e43b41SHong Zhang #if defined(PETSC_HAVE_CUDA) 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; 1384e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 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 { 1454e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 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]); } 1534e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 1544e58db63SHong Zhang rlenmax = PetscMax(b->sliidx[i], rlenmax); 1554e58db63SHong Zhang /* Pad the slice to DEVICE_MEM_ALIGN */ 1564e58db63SHong Zhang b->sliidx[i] = ((b->sliidx[i] - 1) / mul + 1) * mul; 1574e58db63SHong Zhang #endif 158d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[i], maxallocrow); 15907e43b41SHong Zhang PetscCall(PetscIntSumError(b->sliidx[i - 1], b->sliceheight * b->sliidx[i], &b->sliidx[i])); 160d4002b98SHong Zhang } 161d4002b98SHong Zhang /* last slice */ 162d4002b98SHong Zhang b->sliidx[totalslices] = 0; 16307e43b41SHong Zhang for (j = b->sliceheight * (totalslices - 1); j < B->rmap->n; j++) b->sliidx[totalslices] = PetscMax(b->sliidx[totalslices], rlen[j]); 1644e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 1654e58db63SHong Zhang rlenmax = PetscMax(b->sliidx[i], rlenmax); 1664e58db63SHong Zhang b->sliidx[totalslices] = ((b->sliidx[totalslices] - 1) / mul + 1) * mul; 1674e58db63SHong Zhang #endif 168d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[totalslices], maxallocrow); 16907e43b41SHong Zhang b->sliidx[totalslices] = b->sliidx[totalslices - 1] + b->sliceheight * b->sliidx[totalslices]; 170d4002b98SHong Zhang } 171d4002b98SHong Zhang 172d4002b98SHong Zhang /* allocate space for val, colidx, rlen */ 173d4002b98SHong Zhang /* FIXME: should B's old memory be unlogged? */ 1749566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(B, &b->val, &b->colidx)); 175d4002b98SHong Zhang /* FIXME: assuming an element of the bit array takes 8 bits */ 1769566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(b->sliidx[totalslices], &b->val, b->sliidx[totalslices], &b->colidx)); 177d4002b98SHong 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. */ 17807e43b41SHong Zhang PetscCall(PetscCalloc1(b->sliceheight * totalslices, &b->rlen)); 179d4002b98SHong Zhang 180d4002b98SHong Zhang b->singlemalloc = PETSC_TRUE; 181d4002b98SHong Zhang b->free_val = PETSC_TRUE; 182d4002b98SHong Zhang b->free_colidx = PETSC_TRUE; 183d4002b98SHong Zhang } else { 184d4002b98SHong Zhang b->free_val = PETSC_FALSE; 185d4002b98SHong Zhang b->free_colidx = PETSC_FALSE; 186d4002b98SHong Zhang } 187d4002b98SHong Zhang 188d4002b98SHong Zhang b->nz = 0; 189d4002b98SHong Zhang b->maxallocrow = maxallocrow; 1904e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 1914e58db63SHong Zhang b->rlenmax = rlenmax; 1924e58db63SHong Zhang #else 193d4002b98SHong Zhang b->rlenmax = maxallocrow; 1944e58db63SHong Zhang #endif 195d4002b98SHong Zhang b->maxallocmat = b->sliidx[totalslices]; 196d4002b98SHong Zhang B->info.nz_unneeded = (double)b->maxallocmat; 1971baa6e33SBarry Smith if (realalloc) PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE)); 1983ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 199d4002b98SHong Zhang } 200d4002b98SHong Zhang 201ba38deedSJacob Faibussowitsch static PetscErrorCode MatGetRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 202d71ae5a4SJacob Faibussowitsch { 2036108893eSStefano Zampini Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2046108893eSStefano Zampini PetscInt shift; 2056108893eSStefano Zampini 2066108893eSStefano Zampini PetscFunctionBegin; 207aed4548fSBarry Smith PetscCheck(row >= 0 && row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row %" PetscInt_FMT " out of range", row); 2086108893eSStefano Zampini if (nz) *nz = a->rlen[row]; 20907e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + (row % a->sliceheight); 2102d1451d4SHong Zhang if (!a->getrowcols) { PetscCall(PetscMalloc2(a->rlenmax, &a->getrowcols, a->rlenmax, &a->getrowvals)); } 2116108893eSStefano Zampini if (idx) { 2126108893eSStefano Zampini PetscInt j; 21307e43b41SHong Zhang for (j = 0; j < a->rlen[row]; j++) a->getrowcols[j] = a->colidx[shift + a->sliceheight * j]; 2146108893eSStefano Zampini *idx = a->getrowcols; 2156108893eSStefano Zampini } 2166108893eSStefano Zampini if (v) { 2176108893eSStefano Zampini PetscInt j; 21807e43b41SHong Zhang for (j = 0; j < a->rlen[row]; j++) a->getrowvals[j] = a->val[shift + a->sliceheight * j]; 2196108893eSStefano Zampini *v = a->getrowvals; 2206108893eSStefano Zampini } 2213ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2226108893eSStefano Zampini } 2236108893eSStefano Zampini 224ba38deedSJacob Faibussowitsch static PetscErrorCode MatRestoreRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 225d71ae5a4SJacob Faibussowitsch { 2266108893eSStefano Zampini PetscFunctionBegin; 2273ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2286108893eSStefano Zampini } 2296108893eSStefano Zampini 230d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) 231d71ae5a4SJacob Faibussowitsch { 232d4002b98SHong Zhang Mat B; 233d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 234e3f1f374SStefano Zampini PetscInt i; 235d4002b98SHong Zhang 236d4002b98SHong Zhang PetscFunctionBegin; 237ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 238ad013a7bSRichard Tran Mills B = *newmat; 2399566063dSJacob Faibussowitsch PetscCall(MatZeroEntries(B)); 240ad013a7bSRichard Tran Mills } else { 2419566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2429566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, A->rmap->n, A->cmap->n, A->rmap->N, A->cmap->N)); 2439566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQAIJ)); 2449566063dSJacob Faibussowitsch PetscCall(MatSeqAIJSetPreallocation(B, 0, a->rlen)); 245ad013a7bSRichard Tran Mills } 246d4002b98SHong Zhang 247e3f1f374SStefano Zampini for (i = 0; i < A->rmap->n; i++) { 248e108cb99SStefano Zampini PetscInt nz = 0, *cols = NULL; 249e108cb99SStefano Zampini PetscScalar *vals = NULL; 250e3f1f374SStefano Zampini 2519566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqSELL(A, i, &nz, &cols, &vals)); 2529566063dSJacob Faibussowitsch PetscCall(MatSetValues(B, 1, &i, nz, cols, vals, INSERT_VALUES)); 2539566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqSELL(A, i, &nz, &cols, &vals)); 254d4002b98SHong Zhang } 255e3f1f374SStefano Zampini 2569566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 2579566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 258d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 259d4002b98SHong Zhang 260d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 2619566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 262d4002b98SHong Zhang } else { 263d4002b98SHong Zhang *newmat = B; 264d4002b98SHong Zhang } 2653ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 266d4002b98SHong Zhang } 267d4002b98SHong Zhang 268d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/aij.h> 269d4002b98SHong Zhang 270d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) 271d71ae5a4SJacob Faibussowitsch { 272d4002b98SHong Zhang Mat B; 273d4002b98SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ *)A->data; 274d4002b98SHong Zhang PetscInt *ai = a->i, m = A->rmap->N, n = A->cmap->N, i, *rowlengths, row, ncols; 275d4002b98SHong Zhang const PetscInt *cols; 276d4002b98SHong Zhang const PetscScalar *vals; 277d4002b98SHong Zhang 278d4002b98SHong Zhang PetscFunctionBegin; 279ad013a7bSRichard Tran Mills 280ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 281ad013a7bSRichard Tran Mills B = *newmat; 282ad013a7bSRichard Tran Mills } else { 283d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) || !a->ilen) { 2849566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &rowlengths)); 285ad540459SPierre Jolivet for (i = 0; i < m; i++) rowlengths[i] = ai[i + 1] - ai[i]; 286d5e5b2e5SBarry Smith } 287d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) && a->ilen) { 288d5e5b2e5SBarry Smith PetscBool eq; 2899566063dSJacob Faibussowitsch PetscCall(PetscMemcmp(rowlengths, a->ilen, m * sizeof(PetscInt), &eq)); 29028b400f6SJacob Faibussowitsch PetscCheck(eq, PETSC_COMM_SELF, PETSC_ERR_PLIB, "SeqAIJ ilen array incorrect"); 2919566063dSJacob Faibussowitsch PetscCall(PetscFree(rowlengths)); 292d5e5b2e5SBarry Smith rowlengths = a->ilen; 293d5e5b2e5SBarry Smith } else if (a->ilen) rowlengths = a->ilen; 2949566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2959566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, m, n, m, n)); 2969566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQSELL)); 2979566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(B, 0, rowlengths)); 2989566063dSJacob Faibussowitsch if (rowlengths != a->ilen) PetscCall(PetscFree(rowlengths)); 299ad013a7bSRichard Tran Mills } 300d4002b98SHong Zhang 301d4002b98SHong Zhang for (row = 0; row < m; row++) { 3029566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 3039566063dSJacob Faibussowitsch PetscCall(MatSetValues_SeqSELL(B, 1, &row, ncols, cols, vals, INSERT_VALUES)); 3049566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 305d4002b98SHong Zhang } 3069566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 3079566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 308d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 309d4002b98SHong Zhang 310d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 3119566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 312d4002b98SHong Zhang } else { 313d4002b98SHong Zhang *newmat = B; 314d4002b98SHong Zhang } 3153ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 316d4002b98SHong Zhang } 317d4002b98SHong Zhang 318d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMult_SeqSELL(Mat A, Vec xx, Vec yy) 319d71ae5a4SJacob Faibussowitsch { 320d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 321d4002b98SHong Zhang PetscScalar *y; 322d4002b98SHong Zhang const PetscScalar *x; 323d4002b98SHong Zhang const MatScalar *aval = a->val; 324d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 325d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 3267285fed1SHong Zhang PetscInt i, j; 327d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 328d4002b98SHong Zhang __m512d vec_x, vec_y, vec_vals; 329d4002b98SHong Zhang __m256i vec_idx; 330d4002b98SHong Zhang __mmask8 mask; 331d4002b98SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 332d4002b98SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 3335f70456aSHong 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) 334a48a6482SHong Zhang __m128i vec_idx; 335a48a6482SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 336a48a6482SHong Zhang MatScalar yval; 337a48a6482SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 33821cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 339d4002b98SHong Zhang __m128d vec_x_tmp; 340d4002b98SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 341d4002b98SHong Zhang MatScalar yval; 342d4002b98SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 343d4002b98SHong Zhang #else 34407e43b41SHong Zhang PetscInt k, sliceheight = a->sliceheight; 34507e43b41SHong Zhang PetscScalar *sum; 346d4002b98SHong Zhang #endif 347d4002b98SHong Zhang 348d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 349d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 350d4002b98SHong Zhang #endif 351d4002b98SHong Zhang 352d4002b98SHong Zhang PetscFunctionBegin; 3539566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 3549566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 355d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 35607e43b41SHong 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); 357d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 358d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 359d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 360d4002b98SHong Zhang 361d4002b98SHong Zhang vec_y = _mm512_setzero_pd(); 362d4002b98SHong Zhang vec_y2 = _mm512_setzero_pd(); 363d4002b98SHong Zhang vec_y3 = _mm512_setzero_pd(); 364d4002b98SHong Zhang vec_y4 = _mm512_setzero_pd(); 365d4002b98SHong Zhang 366da81f932SPierre Jolivet j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice column */ 367d4002b98SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 368d4002b98SHong Zhang case 3: 369d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3709371c9d4SSatish Balay acolidx += 8; 3719371c9d4SSatish Balay aval += 8; 372d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3739371c9d4SSatish Balay acolidx += 8; 3749371c9d4SSatish Balay aval += 8; 375d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 3769371c9d4SSatish Balay acolidx += 8; 3779371c9d4SSatish Balay aval += 8; 378d4002b98SHong Zhang j += 3; 379d4002b98SHong Zhang break; 380d4002b98SHong Zhang case 2: 381d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3829371c9d4SSatish Balay acolidx += 8; 3839371c9d4SSatish Balay aval += 8; 384d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3859371c9d4SSatish Balay acolidx += 8; 3869371c9d4SSatish Balay aval += 8; 387d4002b98SHong Zhang j += 2; 388d4002b98SHong Zhang break; 389d4002b98SHong Zhang case 1: 390d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3919371c9d4SSatish Balay acolidx += 8; 3929371c9d4SSatish Balay aval += 8; 393d4002b98SHong Zhang j += 1; 394d4002b98SHong Zhang break; 395d4002b98SHong Zhang } 396d4002b98SHong Zhang #pragma novector 397d4002b98SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 398d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3999371c9d4SSatish Balay acolidx += 8; 4009371c9d4SSatish Balay aval += 8; 401d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 4029371c9d4SSatish Balay acolidx += 8; 4039371c9d4SSatish Balay aval += 8; 404d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 4059371c9d4SSatish Balay acolidx += 8; 4069371c9d4SSatish Balay aval += 8; 407d4002b98SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 4089371c9d4SSatish Balay acolidx += 8; 4099371c9d4SSatish Balay aval += 8; 410d4002b98SHong Zhang } 411d4002b98SHong Zhang 412d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 413d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 414d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 415d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 416d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 417ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&y[8 * i], mask, vec_y); 418d4002b98SHong Zhang } else { 419ef588d5cSRichard Tran Mills _mm512_storeu_pd(&y[8 * i], vec_y); 420d4002b98SHong Zhang } 421d4002b98SHong Zhang } 4225f70456aSHong 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) 42307e43b41SHong 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); 424a48a6482SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 425a48a6482SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 426a48a6482SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 427a48a6482SHong Zhang 428a48a6482SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 429a48a6482SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 430a48a6482SHong Zhang rows_left = A->rmap->n - 8 * i; 431a48a6482SHong Zhang for (r = 0; r < rows_left; ++r) { 432a48a6482SHong Zhang yval = (MatScalar)0; 433a48a6482SHong Zhang row = 8 * i + r; 434a48a6482SHong Zhang nnz_in_row = a->rlen[row]; 435a48a6482SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 436a48a6482SHong Zhang y[row] = yval; 437a48a6482SHong Zhang } 438a48a6482SHong Zhang break; 439a48a6482SHong Zhang } 440a48a6482SHong Zhang 441a48a6482SHong Zhang vec_y = _mm256_setzero_pd(); 442a48a6482SHong Zhang vec_y2 = _mm256_setzero_pd(); 443a48a6482SHong Zhang 444a48a6482SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 445a48a6482SHong Zhang #pragma novector 446a48a6482SHong Zhang #pragma unroll(2) 447a48a6482SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 448a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 4499371c9d4SSatish Balay aval += 4; 4509371c9d4SSatish Balay acolidx += 4; 451a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y2); 4529371c9d4SSatish Balay aval += 4; 4539371c9d4SSatish Balay acolidx += 4; 454a48a6482SHong Zhang } 455a48a6482SHong Zhang 456ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8, vec_y); 457ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 458a48a6482SHong Zhang } 45921cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 46007e43b41SHong 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); 461d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 462d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 463d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 464d4002b98SHong Zhang 465d4002b98SHong Zhang vec_y = _mm256_setzero_pd(); 466d4002b98SHong Zhang vec_y2 = _mm256_setzero_pd(); 467d4002b98SHong Zhang 468d4002b98SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 469d4002b98SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 470d4002b98SHong Zhang rows_left = A->rmap->n - 8 * i; 471d4002b98SHong Zhang for (r = 0; r < rows_left; ++r) { 472d4002b98SHong Zhang yval = (MatScalar)0; 473d4002b98SHong Zhang row = 8 * i + r; 474d4002b98SHong Zhang nnz_in_row = a->rlen[row]; 475d4002b98SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 476d4002b98SHong Zhang y[row] = yval; 477d4002b98SHong Zhang } 478d4002b98SHong Zhang break; 479d4002b98SHong Zhang } 480d4002b98SHong Zhang 481d4002b98SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 482a48a6482SHong Zhang #pragma novector 483a48a6482SHong Zhang #pragma unroll(2) 4847285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 485d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 486165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 487d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 488d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 489d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 490d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 491d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 492d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 493d4002b98SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 494d4002b98SHong Zhang aval += 4; 495d4002b98SHong Zhang 496d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 497d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 498d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 499d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 500d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 501d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 502d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 503d4002b98SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 504d4002b98SHong Zhang aval += 4; 505d4002b98SHong Zhang } 506d4002b98SHong Zhang 507d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8, vec_y); 508d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 509d4002b98SHong Zhang } 510d4002b98SHong Zhang #else 51107e43b41SHong Zhang PetscCall(PetscMalloc1(sliceheight, &sum)); 512d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 51307e43b41SHong Zhang for (j = 0; j < sliceheight; j++) { 5142d1451d4SHong Zhang sum[j] = 0.0; 51507e43b41SHong Zhang for (k = a->sliidx[i] + j; k < a->sliidx[i + 1]; k += sliceheight) sum[j] += aval[k] * x[acolidx[k]]; 516d4002b98SHong Zhang } 51707e43b41SHong Zhang if (i == totalslices - 1 && (A->rmap->n % sliceheight)) { /* if last slice has padding rows */ 51807e43b41SHong Zhang for (j = 0; j < (A->rmap->n % sliceheight); j++) y[sliceheight * i + j] = sum[j]; 519d4002b98SHong Zhang } else { 52007e43b41SHong Zhang for (j = 0; j < sliceheight; j++) y[sliceheight * i + j] = sum[j]; 521d4002b98SHong Zhang } 522d4002b98SHong Zhang } 52307e43b41SHong Zhang PetscCall(PetscFree(sum)); 524d4002b98SHong Zhang #endif 525d4002b98SHong Zhang 5269566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz - a->nonzerorowcnt)); /* theoretical minimal FLOPs */ 5279566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 5289566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 5293ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 530d4002b98SHong Zhang } 531d4002b98SHong Zhang 532d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/ftn-kernels/fmultadd.h> 533d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultAdd_SeqSELL(Mat A, Vec xx, Vec yy, Vec zz) 534d71ae5a4SJacob Faibussowitsch { 535d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 536d4002b98SHong Zhang PetscScalar *y, *z; 537d4002b98SHong Zhang const PetscScalar *x; 538d4002b98SHong Zhang const MatScalar *aval = a->val; 539d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 540d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 541d4002b98SHong Zhang PetscInt i, j; 542d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5437285fed1SHong Zhang __m512d vec_x, vec_y, vec_vals; 544d4002b98SHong Zhang __m256i vec_idx; 5455ea36cfaSSatish Balay __mmask8 mask = 0; 5467285fed1SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 5477285fed1SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 54821cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5497285fed1SHong Zhang __m128d vec_x_tmp; 5507285fed1SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 5517285fed1SHong Zhang MatScalar yval; 5527285fed1SHong Zhang PetscInt r, row, nnz_in_row; 553d4002b98SHong Zhang #else 55407e43b41SHong Zhang PetscInt k, sliceheight = a->sliceheight; 55507e43b41SHong Zhang PetscScalar *sum; 556d4002b98SHong Zhang #endif 557d4002b98SHong Zhang 558d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 559d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 560d4002b98SHong Zhang #endif 561d4002b98SHong Zhang 562d4002b98SHong Zhang PetscFunctionBegin; 5632d1451d4SHong Zhang if (!a->nz) { 5642d1451d4SHong Zhang PetscCall(VecCopy(yy, zz)); 5652d1451d4SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 5662d1451d4SHong Zhang } 5679566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 5689566063dSJacob Faibussowitsch PetscCall(VecGetArrayPair(yy, zz, &y, &z)); 569d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 57007e43b41SHong 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); 5717285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 5727285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5737285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5747285fed1SHong Zhang 575d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 576d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 577ef588d5cSRichard Tran Mills vec_y = _mm512_mask_loadu_pd(vec_y, mask, &y[8 * i]); 5787285fed1SHong Zhang } else { 579ef588d5cSRichard Tran Mills vec_y = _mm512_loadu_pd(&y[8 * i]); 5807285fed1SHong Zhang } 5817285fed1SHong Zhang vec_y2 = _mm512_setzero_pd(); 5827285fed1SHong Zhang vec_y3 = _mm512_setzero_pd(); 5837285fed1SHong Zhang vec_y4 = _mm512_setzero_pd(); 5847285fed1SHong Zhang 585da81f932SPierre Jolivet j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice column */ 5867285fed1SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 5877285fed1SHong Zhang case 3: 5887285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5899371c9d4SSatish Balay acolidx += 8; 5909371c9d4SSatish Balay aval += 8; 5917285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5929371c9d4SSatish Balay acolidx += 8; 5939371c9d4SSatish Balay aval += 8; 5947285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 5959371c9d4SSatish Balay acolidx += 8; 5969371c9d4SSatish Balay aval += 8; 5977285fed1SHong Zhang j += 3; 5987285fed1SHong Zhang break; 5997285fed1SHong Zhang case 2: 6007285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 6019371c9d4SSatish Balay acolidx += 8; 6029371c9d4SSatish Balay aval += 8; 6037285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 6049371c9d4SSatish Balay acolidx += 8; 6059371c9d4SSatish Balay aval += 8; 6067285fed1SHong Zhang j += 2; 6077285fed1SHong Zhang break; 6087285fed1SHong Zhang case 1: 6097285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 6109371c9d4SSatish Balay acolidx += 8; 6119371c9d4SSatish Balay aval += 8; 6127285fed1SHong Zhang j += 1; 6137285fed1SHong Zhang break; 6147285fed1SHong Zhang } 6157285fed1SHong Zhang #pragma novector 6167285fed1SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 6177285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 6189371c9d4SSatish Balay acolidx += 8; 6199371c9d4SSatish Balay aval += 8; 6207285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 6219371c9d4SSatish Balay acolidx += 8; 6229371c9d4SSatish Balay aval += 8; 6237285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 6249371c9d4SSatish Balay acolidx += 8; 6259371c9d4SSatish Balay aval += 8; 6267285fed1SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 6279371c9d4SSatish Balay acolidx += 8; 6289371c9d4SSatish Balay aval += 8; 6297285fed1SHong Zhang } 6307285fed1SHong Zhang 6317285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 6327285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 6337285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 6347285fed1SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 635ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&z[8 * i], mask, vec_y); 636d4002b98SHong Zhang } else { 637ef588d5cSRichard Tran Mills _mm512_storeu_pd(&z[8 * i], vec_y); 638d4002b98SHong Zhang } 6397285fed1SHong Zhang } 64021cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 64107e43b41SHong 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); 6427285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 6437285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6447285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6457285fed1SHong Zhang 6467285fed1SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 6477285fed1SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 6487285fed1SHong Zhang for (r = 0; r < (A->rmap->n & 0x07); ++r) { 6497285fed1SHong Zhang row = 8 * i + r; 6507285fed1SHong Zhang yval = (MatScalar)0.0; 6517285fed1SHong Zhang nnz_in_row = a->rlen[row]; 6527285fed1SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 6537285fed1SHong Zhang z[row] = y[row] + yval; 6547285fed1SHong Zhang } 6557285fed1SHong Zhang break; 6567285fed1SHong Zhang } 6577285fed1SHong Zhang 6587285fed1SHong Zhang vec_y = _mm256_loadu_pd(y + 8 * i); 6597285fed1SHong Zhang vec_y2 = _mm256_loadu_pd(y + 8 * i + 4); 6607285fed1SHong Zhang 6617285fed1SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 6627285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 6637285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 664165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 6657285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6667285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 667165f9cc3SJed Brown vec_x = _mm256_setzero_pd(); 6687285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6697285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6707285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6717285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6727285fed1SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 6737285fed1SHong Zhang aval += 4; 6747285fed1SHong Zhang 6757285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 6767285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6777285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6787285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6797285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6807285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6817285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6827285fed1SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 6837285fed1SHong Zhang aval += 4; 6847285fed1SHong Zhang } 6857285fed1SHong Zhang 6867285fed1SHong Zhang _mm256_storeu_pd(z + i * 8, vec_y); 6877285fed1SHong Zhang _mm256_storeu_pd(z + i * 8 + 4, vec_y2); 6887285fed1SHong Zhang } 689d4002b98SHong Zhang #else 69007e43b41SHong Zhang PetscCall(PetscMalloc1(sliceheight, &sum)); 6917285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 69207e43b41SHong Zhang for (j = 0; j < sliceheight; j++) { 6932d1451d4SHong Zhang sum[j] = 0.0; 69407e43b41SHong Zhang for (k = a->sliidx[i] + j; k < a->sliidx[i + 1]; k += sliceheight) sum[j] += aval[k] * x[acolidx[k]]; 695d4002b98SHong Zhang } 69607e43b41SHong Zhang if (i == totalslices - 1 && (A->rmap->n % sliceheight)) { 69707e43b41SHong Zhang for (j = 0; j < (A->rmap->n % sliceheight); j++) z[sliceheight * i + j] = y[sliceheight * i + j] + sum[j]; 698d4002b98SHong Zhang } else { 69907e43b41SHong Zhang for (j = 0; j < sliceheight; j++) z[sliceheight * i + j] = y[sliceheight * i + j] + sum[j]; 7007285fed1SHong Zhang } 701d4002b98SHong Zhang } 70207e43b41SHong Zhang PetscCall(PetscFree(sum)); 703d4002b98SHong Zhang #endif 704d4002b98SHong Zhang 7059566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 7069566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 7079566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayPair(yy, zz, &y, &z)); 7083ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 709d4002b98SHong Zhang } 710d4002b98SHong Zhang 711d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat A, Vec xx, Vec zz, Vec yy) 712d71ae5a4SJacob Faibussowitsch { 713d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 714d4002b98SHong Zhang PetscScalar *y; 715d4002b98SHong Zhang const PetscScalar *x; 716d4002b98SHong Zhang const MatScalar *aval = a->val; 717d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 71807e43b41SHong Zhang PetscInt i, j, r, row, nnz_in_row, totalslices = a->totalslices, sliceheight = a->sliceheight; 719d4002b98SHong Zhang 720d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 721d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 722d4002b98SHong Zhang #endif 723d4002b98SHong Zhang 724d4002b98SHong Zhang PetscFunctionBegin; 725b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 7269566063dSJacob Faibussowitsch PetscCall(MatMultAdd_SeqSELL(A, xx, zz, yy)); 7273ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 7289fc32365SStefano Zampini } 7299566063dSJacob Faibussowitsch if (zz != yy) PetscCall(VecCopy(zz, yy)); 7302d1451d4SHong Zhang 7312d1451d4SHong Zhang if (a->nz) { 7329566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 7339566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 734d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 73507e43b41SHong Zhang if (i == totalslices - 1 && (A->rmap->n % sliceheight)) { 73607e43b41SHong Zhang for (r = 0; r < (A->rmap->n % sliceheight); ++r) { 73707e43b41SHong Zhang row = sliceheight * i + r; 7387285fed1SHong Zhang nnz_in_row = a->rlen[row]; 73907e43b41SHong Zhang for (j = 0; j < nnz_in_row; ++j) y[acolidx[sliceheight * j + r]] += aval[sliceheight * j + r] * x[row]; 7407285fed1SHong Zhang } 7417285fed1SHong Zhang break; 7427285fed1SHong Zhang } 74307e43b41SHong Zhang for (r = 0; r < sliceheight; ++r) 74407e43b41SHong Zhang for (j = a->sliidx[i] + r; j < a->sliidx[i + 1]; j += sliceheight) y[acolidx[j]] += aval[j] * x[sliceheight * i + r]; 745d4002b98SHong Zhang } 7462d1451d4SHong Zhang PetscCall(PetscLogFlops(2.0 * a->nz)); 7479566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 7489566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 7492d1451d4SHong Zhang } 7503ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 751d4002b98SHong Zhang } 752d4002b98SHong Zhang 753d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTranspose_SeqSELL(Mat A, Vec xx, Vec yy) 754d71ae5a4SJacob Faibussowitsch { 755d4002b98SHong Zhang PetscFunctionBegin; 756b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 7579566063dSJacob Faibussowitsch PetscCall(MatMult_SeqSELL(A, xx, yy)); 7589fc32365SStefano Zampini } else { 7599566063dSJacob Faibussowitsch PetscCall(VecSet(yy, 0.0)); 7609566063dSJacob Faibussowitsch PetscCall(MatMultTransposeAdd_SeqSELL(A, xx, yy, yy)); 7619fc32365SStefano Zampini } 7623ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 763d4002b98SHong Zhang } 764d4002b98SHong Zhang 765d4002b98SHong Zhang /* 766d4002b98SHong Zhang Checks for missing diagonals 767d4002b98SHong Zhang */ 768d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMissingDiagonal_SeqSELL(Mat A, PetscBool *missing, PetscInt *d) 769d71ae5a4SJacob Faibussowitsch { 770d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 771d4002b98SHong Zhang PetscInt *diag, i; 772d4002b98SHong Zhang 773d4002b98SHong Zhang PetscFunctionBegin; 774d4002b98SHong Zhang *missing = PETSC_FALSE; 775d4002b98SHong Zhang if (A->rmap->n > 0 && !(a->colidx)) { 776d4002b98SHong Zhang *missing = PETSC_TRUE; 777d4002b98SHong Zhang if (d) *d = 0; 7789566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix has no entries therefore is missing diagonal\n")); 779d4002b98SHong Zhang } else { 780d4002b98SHong Zhang diag = a->diag; 781d4002b98SHong Zhang for (i = 0; i < A->rmap->n; i++) { 782d4002b98SHong Zhang if (diag[i] == -1) { 783d4002b98SHong Zhang *missing = PETSC_TRUE; 784d4002b98SHong Zhang if (d) *d = i; 7859566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix is missing diagonal number %" PetscInt_FMT "\n", i)); 786d4002b98SHong Zhang break; 787d4002b98SHong Zhang } 788d4002b98SHong Zhang } 789d4002b98SHong Zhang } 7903ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 791d4002b98SHong Zhang } 792d4002b98SHong Zhang 793d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMarkDiagonal_SeqSELL(Mat A) 794d71ae5a4SJacob Faibussowitsch { 795d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 796d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 797d4002b98SHong Zhang 798d4002b98SHong Zhang PetscFunctionBegin; 799d4002b98SHong Zhang if (!a->diag) { 8009566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &a->diag)); 801d4002b98SHong Zhang a->free_diag = PETSC_TRUE; 802d4002b98SHong Zhang } 803d4002b98SHong Zhang for (i = 0; i < m; i++) { /* loop over rows */ 80407e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 805d4002b98SHong Zhang a->diag[i] = -1; 806d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 80707e43b41SHong Zhang if (a->colidx[shift + a->sliceheight * j] == i) { 80807e43b41SHong Zhang a->diag[i] = shift + a->sliceheight * j; 809d4002b98SHong Zhang break; 810d4002b98SHong Zhang } 811d4002b98SHong Zhang } 812d4002b98SHong Zhang } 8133ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 814d4002b98SHong Zhang } 815d4002b98SHong Zhang 816d4002b98SHong Zhang /* 817d4002b98SHong Zhang Negative shift indicates do not generate an error if there is a zero diagonal, just invert it anyways 818d4002b98SHong Zhang */ 819d71ae5a4SJacob Faibussowitsch PetscErrorCode MatInvertDiagonal_SeqSELL(Mat A, PetscScalar omega, PetscScalar fshift) 820d71ae5a4SJacob Faibussowitsch { 821d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 822d4002b98SHong Zhang PetscInt i, *diag, m = A->rmap->n; 823d4002b98SHong Zhang MatScalar *val = a->val; 824d4002b98SHong Zhang PetscScalar *idiag, *mdiag; 825d4002b98SHong Zhang 826d4002b98SHong Zhang PetscFunctionBegin; 8273ba16761SJacob Faibussowitsch if (a->idiagvalid) PetscFunctionReturn(PETSC_SUCCESS); 8289566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 829d4002b98SHong Zhang diag = a->diag; 830d4002b98SHong Zhang if (!a->idiag) { 8319566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(m, &a->idiag, m, &a->mdiag, m, &a->ssor_work)); 832d4002b98SHong Zhang val = a->val; 833d4002b98SHong Zhang } 834d4002b98SHong Zhang mdiag = a->mdiag; 835d4002b98SHong Zhang idiag = a->idiag; 836d4002b98SHong Zhang 837d4002b98SHong Zhang if (omega == 1.0 && PetscRealPart(fshift) <= 0.0) { 838d4002b98SHong Zhang for (i = 0; i < m; i++) { 839d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 840d4002b98SHong Zhang if (!PetscAbsScalar(mdiag[i])) { /* zero diagonal */ 8410fdf79fbSJacob Faibussowitsch PetscCheck(PetscRealPart(fshift), PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Zero diagonal on row %" PetscInt_FMT, i); 8429566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Zero diagonal on row %" PetscInt_FMT "\n", i)); 843d4002b98SHong Zhang A->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 844d4002b98SHong Zhang A->factorerror_zeropivot_value = 0.0; 845d4002b98SHong Zhang A->factorerror_zeropivot_row = i; 846d4002b98SHong Zhang } 847d4002b98SHong Zhang idiag[i] = 1.0 / val[diag[i]]; 848d4002b98SHong Zhang } 8499566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(m)); 850d4002b98SHong Zhang } else { 851d4002b98SHong Zhang for (i = 0; i < m; i++) { 852d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 853d4002b98SHong Zhang idiag[i] = omega / (fshift + val[diag[i]]); 854d4002b98SHong Zhang } 8559566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * m)); 856d4002b98SHong Zhang } 857d4002b98SHong Zhang a->idiagvalid = PETSC_TRUE; 8583ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 859d4002b98SHong Zhang } 860d4002b98SHong Zhang 861d71ae5a4SJacob Faibussowitsch PetscErrorCode MatZeroEntries_SeqSELL(Mat A) 862d71ae5a4SJacob Faibussowitsch { 863d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 864d4002b98SHong Zhang 865d4002b98SHong Zhang PetscFunctionBegin; 8669566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(a->val, a->sliidx[a->totalslices])); 8679566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 8683ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 869d4002b98SHong Zhang } 870d4002b98SHong Zhang 871d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDestroy_SeqSELL(Mat A) 872d71ae5a4SJacob Faibussowitsch { 873d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 874d4002b98SHong Zhang 875d4002b98SHong Zhang PetscFunctionBegin; 8763ba16761SJacob Faibussowitsch PetscCall(PetscLogObjectState((PetscObject)A, "Rows=%" PetscInt_FMT ", Cols=%" PetscInt_FMT ", NZ=%" PetscInt_FMT, A->rmap->n, A->cmap->n, a->nz)); 8779566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(A, &a->val, &a->colidx)); 8789566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->row)); 8799566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->col)); 8809566063dSJacob Faibussowitsch PetscCall(PetscFree(a->diag)); 8819566063dSJacob Faibussowitsch PetscCall(PetscFree(a->rlen)); 8829566063dSJacob Faibussowitsch PetscCall(PetscFree(a->sliidx)); 8839566063dSJacob Faibussowitsch PetscCall(PetscFree3(a->idiag, a->mdiag, a->ssor_work)); 8849566063dSJacob Faibussowitsch PetscCall(PetscFree(a->solve_work)); 8859566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->icol)); 8869566063dSJacob Faibussowitsch PetscCall(PetscFree(a->saved_values)); 8879566063dSJacob Faibussowitsch PetscCall(PetscFree2(a->getrowcols, a->getrowvals)); 8889566063dSJacob Faibussowitsch PetscCall(PetscFree(A->data)); 88990d2215bSHong Zhang #if defined(PETSC_HAVE_CUDA) 89090d2215bSHong Zhang PetscCall(PetscFree(a->chunk_slice_map)); 89190d2215bSHong Zhang #endif 892d4002b98SHong Zhang 8939566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)A, NULL)); 8949566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatStoreValues_C", NULL)); 8959566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatRetrieveValues_C", NULL)); 8969566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetPreallocation_C", NULL)); 8972e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetArray_C", NULL)); 8982e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLRestoreArray_C", NULL)); 899b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqaij_C", NULL)); 9002d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 901b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqsellcuda_C", NULL)); 9022d1451d4SHong Zhang #endif 90307e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetFillRatio_C", NULL)); 90407e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetMaxSliceWidth_C", NULL)); 90507e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetAvgSliceWidth_C", NULL)); 906b921024eSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetVarSliceSize_C", NULL)); 90707e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetSliceHeight_C", NULL)); 9083ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 909d4002b98SHong Zhang } 910d4002b98SHong Zhang 911d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetOption_SeqSELL(Mat A, MatOption op, PetscBool flg) 912d71ae5a4SJacob Faibussowitsch { 913d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 914d4002b98SHong Zhang 915d4002b98SHong Zhang PetscFunctionBegin; 916d4002b98SHong Zhang switch (op) { 917d71ae5a4SJacob Faibussowitsch case MAT_ROW_ORIENTED: 918d71ae5a4SJacob Faibussowitsch a->roworiented = flg; 919d71ae5a4SJacob Faibussowitsch break; 920d71ae5a4SJacob Faibussowitsch case MAT_KEEP_NONZERO_PATTERN: 921d71ae5a4SJacob Faibussowitsch a->keepnonzeropattern = flg; 922d71ae5a4SJacob Faibussowitsch break; 923d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATIONS: 924d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? 0 : 1); 925d71ae5a4SJacob Faibussowitsch break; 926d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATION_ERR: 927d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -1 : 0); 928d71ae5a4SJacob Faibussowitsch break; 929d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_ALLOCATION_ERR: 930d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -2 : 0); 931d71ae5a4SJacob Faibussowitsch break; 932d71ae5a4SJacob Faibussowitsch case MAT_UNUSED_NONZERO_LOCATION_ERR: 933d71ae5a4SJacob Faibussowitsch a->nounused = (flg ? -1 : 0); 934d71ae5a4SJacob Faibussowitsch break; 9358c78258cSHong Zhang case MAT_FORCE_DIAGONAL_ENTRIES: 936d4002b98SHong Zhang case MAT_IGNORE_OFF_PROC_ENTRIES: 937d4002b98SHong Zhang case MAT_USE_HASH_TABLE: 938d71ae5a4SJacob Faibussowitsch case MAT_SORTED_FULL: 939d71ae5a4SJacob Faibussowitsch PetscCall(PetscInfo(A, "Option %s ignored\n", MatOptions[op])); 940d71ae5a4SJacob Faibussowitsch break; 941d4002b98SHong Zhang case MAT_SPD: 942d4002b98SHong Zhang case MAT_SYMMETRIC: 943d4002b98SHong Zhang case MAT_STRUCTURALLY_SYMMETRIC: 944d4002b98SHong Zhang case MAT_HERMITIAN: 945d4002b98SHong Zhang case MAT_SYMMETRY_ETERNAL: 946b94d7dedSBarry Smith case MAT_STRUCTURAL_SYMMETRY_ETERNAL: 947b94d7dedSBarry Smith case MAT_SPD_ETERNAL: 948d4002b98SHong Zhang /* These options are handled directly by MatSetOption() */ 949d4002b98SHong Zhang break; 950d71ae5a4SJacob Faibussowitsch default: 951d71ae5a4SJacob Faibussowitsch SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "unknown option %d", op); 952d4002b98SHong Zhang } 9533ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 954d4002b98SHong Zhang } 955d4002b98SHong Zhang 956d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetDiagonal_SeqSELL(Mat A, Vec v) 957d71ae5a4SJacob Faibussowitsch { 958d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 959d4002b98SHong Zhang PetscInt i, j, n, shift; 960d4002b98SHong Zhang PetscScalar *x, zero = 0.0; 961d4002b98SHong Zhang 962d4002b98SHong Zhang PetscFunctionBegin; 9639566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(v, &n)); 96408401ef6SPierre Jolivet PetscCheck(n == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Nonconforming matrix and vector"); 965d4002b98SHong Zhang 966d4002b98SHong Zhang if (A->factortype == MAT_FACTOR_ILU || A->factortype == MAT_FACTOR_LU) { 967d4002b98SHong Zhang PetscInt *diag = a->diag; 9689566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &x)); 969d4002b98SHong Zhang for (i = 0; i < n; i++) x[i] = 1.0 / a->val[diag[i]]; 9709566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &x)); 9713ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 972d4002b98SHong Zhang } 973d4002b98SHong Zhang 9749566063dSJacob Faibussowitsch PetscCall(VecSet(v, zero)); 9759566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &x)); 976d4002b98SHong Zhang for (i = 0; i < n; i++) { /* loop over rows */ 97707e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 978d4002b98SHong Zhang x[i] = 0; 979d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 98007e43b41SHong Zhang if (a->colidx[shift + a->sliceheight * j] == i) { 98107e43b41SHong Zhang x[i] = a->val[shift + a->sliceheight * j]; 982d4002b98SHong Zhang break; 983d4002b98SHong Zhang } 984d4002b98SHong Zhang } 985d4002b98SHong Zhang } 9869566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &x)); 9873ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 988d4002b98SHong Zhang } 989d4002b98SHong Zhang 990d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDiagonalScale_SeqSELL(Mat A, Vec ll, Vec rr) 991d71ae5a4SJacob Faibussowitsch { 992d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 993d4002b98SHong Zhang const PetscScalar *l, *r; 994d4002b98SHong Zhang PetscInt i, j, m, n, row; 995d4002b98SHong Zhang 996d4002b98SHong Zhang PetscFunctionBegin; 997d4002b98SHong Zhang if (ll) { 998d4002b98SHong Zhang /* The local size is used so that VecMPI can be passed to this routine 999d4002b98SHong Zhang by MatDiagonalScale_MPISELL */ 10009566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(ll, &m)); 100108401ef6SPierre Jolivet PetscCheck(m == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Left scaling vector wrong length"); 10029566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(ll, &l)); 1003d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 100407e43b41SHong Zhang if (i == a->totalslices - 1 && (A->rmap->n % a->sliceheight)) { /* if last slice has padding rows */ 100507e43b41SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % a->sliceheight) { 100607e43b41SHong Zhang if (row < (A->rmap->n % a->sliceheight)) a->val[j] *= l[a->sliceheight * i + row]; 1007dab86139SHong Zhang } 1008dab86139SHong Zhang } else { 100907e43b41SHong 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]; } 1010d4002b98SHong Zhang } 1011dab86139SHong Zhang } 10129566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(ll, &l)); 10139566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1014d4002b98SHong Zhang } 1015d4002b98SHong Zhang if (rr) { 10169566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(rr, &n)); 101708401ef6SPierre Jolivet PetscCheck(n == A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Right scaling vector wrong length"); 10189566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(rr, &r)); 1019d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 102007e43b41SHong Zhang if (i == a->totalslices - 1 && (A->rmap->n % a->sliceheight)) { /* if last slice has padding rows */ 102107e43b41SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) % a->sliceheight)) { 102207e43b41SHong Zhang if (row < (A->rmap->n % a->sliceheight)) a->val[j] *= r[a->colidx[j]]; 1023dab86139SHong Zhang } 1024dab86139SHong Zhang } else { 1025ad540459SPierre Jolivet for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j++) a->val[j] *= r[a->colidx[j]]; 1026d4002b98SHong Zhang } 1027dab86139SHong Zhang } 10289566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(rr, &r)); 10299566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1030d4002b98SHong Zhang } 10319566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 10322d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 10332d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 10342d1451d4SHong Zhang #endif 10353ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1036d4002b98SHong Zhang } 1037d4002b98SHong Zhang 1038d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], PetscScalar v[]) 1039d71ae5a4SJacob Faibussowitsch { 1040d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1041d4002b98SHong Zhang PetscInt *cp, i, k, low, high, t, row, col, l; 1042d4002b98SHong Zhang PetscInt shift; 1043d4002b98SHong Zhang MatScalar *vp; 1044d4002b98SHong Zhang 1045d4002b98SHong Zhang PetscFunctionBegin; 104668aafef3SStefano Zampini for (k = 0; k < m; k++) { /* loop over requested rows */ 1047d4002b98SHong Zhang row = im[k]; 1048d4002b98SHong Zhang if (row < 0) continue; 10496bdcaf15SBarry 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); 105007e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + (row % a->sliceheight); /* starting index of the row */ 1051d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1052d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 105368aafef3SStefano Zampini for (l = 0; l < n; l++) { /* loop over requested columns */ 1054d4002b98SHong Zhang col = in[l]; 1055d4002b98SHong Zhang if (col < 0) continue; 10566bdcaf15SBarry 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); 10579371c9d4SSatish Balay high = a->rlen[row]; 10589371c9d4SSatish Balay low = 0; /* assume unsorted */ 1059d4002b98SHong Zhang while (high - low > 5) { 1060d4002b98SHong Zhang t = (low + high) / 2; 106107e43b41SHong Zhang if (*(cp + a->sliceheight * t) > col) high = t; 1062d4002b98SHong Zhang else low = t; 1063d4002b98SHong Zhang } 1064d4002b98SHong Zhang for (i = low; i < high; i++) { 106507e43b41SHong Zhang if (*(cp + a->sliceheight * i) > col) break; 106607e43b41SHong Zhang if (*(cp + a->sliceheight * i) == col) { 106707e43b41SHong Zhang *v++ = *(vp + a->sliceheight * i); 1068d4002b98SHong Zhang goto finished; 1069d4002b98SHong Zhang } 1070d4002b98SHong Zhang } 1071d4002b98SHong Zhang *v++ = 0.0; 1072d4002b98SHong Zhang finished:; 1073d4002b98SHong Zhang } 1074d4002b98SHong Zhang } 10753ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1076d4002b98SHong Zhang } 1077d4002b98SHong Zhang 1078ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_ASCII(Mat A, PetscViewer viewer) 1079d71ae5a4SJacob Faibussowitsch { 1080d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1081d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1082d4002b98SHong Zhang const char *name; 1083d4002b98SHong Zhang PetscViewerFormat format; 1084d4002b98SHong Zhang 1085d4002b98SHong Zhang PetscFunctionBegin; 10869566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 1087d4002b98SHong Zhang if (format == PETSC_VIEWER_ASCII_MATLAB) { 1088d4002b98SHong Zhang PetscInt nofinalvalue = 0; 1089d4002b98SHong Zhang /* 1090d4002b98SHong Zhang if (m && ((a->i[m] == a->i[m-1]) || (a->j[a->nz-1] != A->cmap->n-1))) { 1091d4002b98SHong Zhang nofinalvalue = 1; 1092d4002b98SHong Zhang } 1093d4002b98SHong Zhang */ 10949566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 10959566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Size = %" PetscInt_FMT " %" PetscInt_FMT " \n", m, A->cmap->n)); 10969566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Nonzeros = %" PetscInt_FMT " \n", a->nz)); 1097d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10989566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",4);\n", a->nz + nofinalvalue)); 1099d4002b98SHong Zhang #else 11009566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",3);\n", a->nz + nofinalvalue)); 1101d4002b98SHong Zhang #endif 11029566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = [\n")); 1103d4002b98SHong Zhang 1104d4002b98SHong Zhang for (i = 0; i < m; i++) { 110507e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1106d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1107d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 110807e43b41SHong 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]))); 1109d4002b98SHong Zhang #else 111007e43b41SHong 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])); 1111d4002b98SHong Zhang #endif 1112d4002b98SHong Zhang } 1113d4002b98SHong Zhang } 1114d4002b98SHong Zhang /* 1115d4002b98SHong Zhang if (nofinalvalue) { 1116d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11179566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e %18.16e\n",m,A->cmap->n,0.,0.)); 1118d4002b98SHong Zhang #else 11199566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e\n",m,A->cmap->n,0.0)); 1120d4002b98SHong Zhang #endif 1121d4002b98SHong Zhang } 1122d4002b98SHong Zhang */ 11239566063dSJacob Faibussowitsch PetscCall(PetscObjectGetName((PetscObject)A, &name)); 11249566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "];\n %s = spconvert(zzz);\n", name)); 11259566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1126d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_FACTOR_INFO || format == PETSC_VIEWER_ASCII_INFO) { 11273ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1128d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_COMMON) { 11299566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1130d4002b98SHong Zhang for (i = 0; i < m; i++) { 11319566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 113207e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1133d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1134d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 113507e43b41SHong Zhang if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) > 0.0 && PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 113607e43b41SHong 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]))); 113707e43b41SHong Zhang } else if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) < 0.0 && PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 113807e43b41SHong 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]))); 113907e43b41SHong Zhang } else if (PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 114007e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]))); 1141d4002b98SHong Zhang } 1142d4002b98SHong Zhang #else 114307e43b41SHong 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])); 1144d4002b98SHong Zhang #endif 1145d4002b98SHong Zhang } 11469566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1147d4002b98SHong Zhang } 11489566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1149d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_DENSE) { 1150d4002b98SHong Zhang PetscInt cnt = 0, jcnt; 1151d4002b98SHong Zhang PetscScalar value; 1152d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1153d4002b98SHong Zhang PetscBool realonly = PETSC_TRUE; 1154d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1155d4002b98SHong Zhang if (PetscImaginaryPart(a->val[i]) != 0.0) { 1156d4002b98SHong Zhang realonly = PETSC_FALSE; 1157d4002b98SHong Zhang break; 1158d4002b98SHong Zhang } 1159d4002b98SHong Zhang } 1160d4002b98SHong Zhang #endif 1161d4002b98SHong Zhang 11629566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1163d4002b98SHong Zhang for (i = 0; i < m; i++) { 1164d4002b98SHong Zhang jcnt = 0; 116507e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1166d4002b98SHong Zhang for (j = 0; j < A->cmap->n; j++) { 116707e43b41SHong Zhang if (jcnt < a->rlen[i] && j == a->colidx[shift + a->sliceheight * j]) { 1168d4002b98SHong Zhang value = a->val[cnt++]; 1169d4002b98SHong Zhang jcnt++; 1170d4002b98SHong Zhang } else { 1171d4002b98SHong Zhang value = 0.0; 1172d4002b98SHong Zhang } 1173d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1174d4002b98SHong Zhang if (realonly) { 11759566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)PetscRealPart(value))); 1176d4002b98SHong Zhang } else { 11779566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e+%7.5e i ", (double)PetscRealPart(value), (double)PetscImaginaryPart(value))); 1178d4002b98SHong Zhang } 1179d4002b98SHong Zhang #else 11809566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)value)); 1181d4002b98SHong Zhang #endif 1182d4002b98SHong Zhang } 11839566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1184d4002b98SHong Zhang } 11859566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1186d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_MATRIXMARKET) { 1187d4002b98SHong Zhang PetscInt fshift = 1; 11889566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1189d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11909566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate complex general\n")); 1191d4002b98SHong Zhang #else 11929566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate real general\n")); 1193d4002b98SHong Zhang #endif 11949566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", m, A->cmap->n, a->nz)); 1195d4002b98SHong Zhang for (i = 0; i < m; i++) { 119607e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1197d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1198d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 119907e43b41SHong 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]))); 1200d4002b98SHong Zhang #else 120107e43b41SHong 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])); 1202d4002b98SHong Zhang #endif 1203d4002b98SHong Zhang } 1204d4002b98SHong Zhang } 12059566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 120668aafef3SStefano Zampini } else if (format == PETSC_VIEWER_NATIVE) { 120768aafef3SStefano Zampini for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 120868aafef3SStefano Zampini PetscInt row; 12099566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "slice %" PetscInt_FMT ": %" PetscInt_FMT " %" PetscInt_FMT "\n", i, a->sliidx[i], a->sliidx[i + 1])); 121007e43b41SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % a->sliceheight) { 121168aafef3SStefano Zampini #if defined(PETSC_USE_COMPLEX) 121268aafef3SStefano Zampini if (PetscImaginaryPart(a->val[j]) > 0.0) { 121307e43b41SHong 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]))); 121468aafef3SStefano Zampini } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 121507e43b41SHong 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]))); 121668aafef3SStefano Zampini } else { 121707e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", a->sliceheight * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]))); 121868aafef3SStefano Zampini } 121968aafef3SStefano Zampini #else 122007e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", a->sliceheight * i + row, a->colidx[j], (double)a->val[j])); 122168aafef3SStefano Zampini #endif 122268aafef3SStefano Zampini } 122368aafef3SStefano Zampini } 1224d4002b98SHong Zhang } else { 12259566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1226d4002b98SHong Zhang if (A->factortype) { 1227d4002b98SHong Zhang for (i = 0; i < m; i++) { 122807e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 12299566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1230d4002b98SHong Zhang /* L part */ 123107e43b41SHong Zhang for (j = shift; j < a->diag[i]; j += a->sliceheight) { 1232d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 123307e43b41SHong Zhang if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) > 0.0) { 12349566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 123507e43b41SHong Zhang } else if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) < 0.0) { 12369566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1237d4002b98SHong Zhang } else { 12389566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1239d4002b98SHong Zhang } 1240d4002b98SHong Zhang #else 12419566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1242d4002b98SHong Zhang #endif 1243d4002b98SHong Zhang } 1244d4002b98SHong Zhang /* diagonal */ 1245d4002b98SHong Zhang j = a->diag[i]; 1246d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1247d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12489566063dSJacob 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]))); 1249d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12509566063dSJacob 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])))); 1251d4002b98SHong Zhang } else { 12529566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j]))); 1253d4002b98SHong Zhang } 1254d4002b98SHong Zhang #else 12559566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)(1.0 / a->val[j]))); 1256d4002b98SHong Zhang #endif 1257d4002b98SHong Zhang 1258d4002b98SHong Zhang /* U part */ 125907e43b41SHong Zhang for (j = a->diag[i] + 1; j < shift + a->sliceheight * a->rlen[i]; j += a->sliceheight) { 1260d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1261d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12629566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 1263d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12649566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1265d4002b98SHong Zhang } else { 12669566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1267d4002b98SHong Zhang } 1268d4002b98SHong Zhang #else 12699566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1270d4002b98SHong Zhang #endif 1271d4002b98SHong Zhang } 12729566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1273d4002b98SHong Zhang } 1274d4002b98SHong Zhang } else { 1275d4002b98SHong Zhang for (i = 0; i < m; i++) { 127607e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 12779566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1278d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1279d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1280d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 128107e43b41SHong 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]))); 1282d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 128307e43b41SHong 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]))); 1284d4002b98SHong Zhang } else { 128507e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]))); 1286d4002b98SHong Zhang } 1287d4002b98SHong Zhang #else 128807e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)a->val[shift + a->sliceheight * j])); 1289d4002b98SHong Zhang #endif 1290d4002b98SHong Zhang } 12919566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1292d4002b98SHong Zhang } 1293d4002b98SHong Zhang } 12949566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1295d4002b98SHong Zhang } 12969566063dSJacob Faibussowitsch PetscCall(PetscViewerFlush(viewer)); 12973ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1298d4002b98SHong Zhang } 1299d4002b98SHong Zhang 1300d4002b98SHong Zhang #include <petscdraw.h> 1301ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_Draw_Zoom(PetscDraw draw, void *Aa) 1302d71ae5a4SJacob Faibussowitsch { 1303d4002b98SHong Zhang Mat A = (Mat)Aa; 1304d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1305d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1306d4002b98SHong Zhang int color; 1307d4002b98SHong Zhang PetscReal xl, yl, xr, yr, x_l, x_r, y_l, y_r; 1308d4002b98SHong Zhang PetscViewer viewer; 1309d4002b98SHong Zhang PetscViewerFormat format; 1310d4002b98SHong Zhang 1311d4002b98SHong Zhang PetscFunctionBegin; 13129566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject)A, "Zoomviewer", (PetscObject *)&viewer)); 13139566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 13149566063dSJacob Faibussowitsch PetscCall(PetscDrawGetCoordinates(draw, &xl, &yl, &xr, &yr)); 1315d4002b98SHong Zhang 1316d4002b98SHong Zhang /* loop over matrix elements drawing boxes */ 1317d4002b98SHong Zhang 1318d4002b98SHong Zhang if (format != PETSC_VIEWER_DRAW_CONTOUR) { 1319d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1320d4002b98SHong Zhang /* Blue for negative, Cyan for zero and Red for positive */ 1321d4002b98SHong Zhang color = PETSC_DRAW_BLUE; 1322d4002b98SHong Zhang for (i = 0; i < m; i++) { 132307e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 13249371c9d4SSatish Balay y_l = m - i - 1.0; 13259371c9d4SSatish Balay y_r = y_l + 1.0; 1326d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 132707e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13289371c9d4SSatish Balay x_r = x_l + 1.0; 132907e43b41SHong Zhang if (PetscRealPart(a->val[shift + a->sliceheight * j]) >= 0.) continue; 13309566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1331d4002b98SHong Zhang } 1332d4002b98SHong Zhang } 1333d4002b98SHong Zhang color = PETSC_DRAW_CYAN; 1334d4002b98SHong Zhang for (i = 0; i < m; i++) { 133507e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 13369371c9d4SSatish Balay y_l = m - i - 1.0; 13379371c9d4SSatish Balay y_r = y_l + 1.0; 1338d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 133907e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13409371c9d4SSatish Balay x_r = x_l + 1.0; 134107e43b41SHong Zhang if (a->val[shift + a->sliceheight * j] != 0.) continue; 13429566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1343d4002b98SHong Zhang } 1344d4002b98SHong Zhang } 1345d4002b98SHong Zhang color = PETSC_DRAW_RED; 1346d4002b98SHong Zhang for (i = 0; i < m; i++) { 134707e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 13489371c9d4SSatish Balay y_l = m - i - 1.0; 13499371c9d4SSatish Balay y_r = y_l + 1.0; 1350d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 135107e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13529371c9d4SSatish Balay x_r = x_l + 1.0; 135307e43b41SHong Zhang if (PetscRealPart(a->val[shift + a->sliceheight * j]) <= 0.) continue; 13549566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1355d4002b98SHong Zhang } 1356d4002b98SHong Zhang } 1357d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1358d4002b98SHong Zhang } else { 1359d4002b98SHong Zhang /* use contour shading to indicate magnitude of values */ 1360d4002b98SHong Zhang /* first determine max of all nonzero values */ 1361d4002b98SHong Zhang PetscReal minv = 0.0, maxv = 0.0; 1362d4002b98SHong Zhang PetscInt count = 0; 1363d4002b98SHong Zhang PetscDraw popup; 1364d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1365d4002b98SHong Zhang if (PetscAbsScalar(a->val[i]) > maxv) maxv = PetscAbsScalar(a->val[i]); 1366d4002b98SHong Zhang } 1367d4002b98SHong Zhang if (minv >= maxv) maxv = minv + PETSC_SMALL; 13689566063dSJacob Faibussowitsch PetscCall(PetscDrawGetPopup(draw, &popup)); 13699566063dSJacob Faibussowitsch PetscCall(PetscDrawScalePopup(popup, minv, maxv)); 1370d4002b98SHong Zhang 1371d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1372d4002b98SHong Zhang for (i = 0; i < m; i++) { 137307e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1374d4002b98SHong Zhang y_l = m - i - 1.0; 1375d4002b98SHong Zhang y_r = y_l + 1.0; 1376d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 137707e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 1378d4002b98SHong Zhang x_r = x_l + 1.0; 1379d4002b98SHong Zhang color = PetscDrawRealToColor(PetscAbsScalar(a->val[count]), minv, maxv); 13809566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1381d4002b98SHong Zhang count++; 1382d4002b98SHong Zhang } 1383d4002b98SHong Zhang } 1384d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1385d4002b98SHong Zhang } 13863ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1387d4002b98SHong Zhang } 1388d4002b98SHong Zhang 1389d4002b98SHong Zhang #include <petscdraw.h> 1390ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_Draw(Mat A, PetscViewer viewer) 1391d71ae5a4SJacob Faibussowitsch { 1392d4002b98SHong Zhang PetscDraw draw; 1393d4002b98SHong Zhang PetscReal xr, yr, xl, yl, h, w; 1394d4002b98SHong Zhang PetscBool isnull; 1395d4002b98SHong Zhang 1396d4002b98SHong Zhang PetscFunctionBegin; 13979566063dSJacob Faibussowitsch PetscCall(PetscViewerDrawGetDraw(viewer, 0, &draw)); 13989566063dSJacob Faibussowitsch PetscCall(PetscDrawIsNull(draw, &isnull)); 13993ba16761SJacob Faibussowitsch if (isnull) PetscFunctionReturn(PETSC_SUCCESS); 1400d4002b98SHong Zhang 14019371c9d4SSatish Balay xr = A->cmap->n; 14029371c9d4SSatish Balay yr = A->rmap->n; 14039371c9d4SSatish Balay h = yr / 10.0; 14049371c9d4SSatish Balay w = xr / 10.0; 14059371c9d4SSatish Balay xr += w; 14069371c9d4SSatish Balay yr += h; 14079371c9d4SSatish Balay xl = -w; 14089371c9d4SSatish Balay yl = -h; 14099566063dSJacob Faibussowitsch PetscCall(PetscDrawSetCoordinates(draw, xl, yl, xr, yr)); 14109566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", (PetscObject)viewer)); 14119566063dSJacob Faibussowitsch PetscCall(PetscDrawZoom(draw, MatView_SeqSELL_Draw_Zoom, A)); 14129566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", NULL)); 14139566063dSJacob Faibussowitsch PetscCall(PetscDrawSave(draw)); 14143ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1415d4002b98SHong Zhang } 1416d4002b98SHong Zhang 1417d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL(Mat A, PetscViewer viewer) 1418d71ae5a4SJacob Faibussowitsch { 1419d4002b98SHong Zhang PetscBool iascii, isbinary, isdraw; 1420d4002b98SHong Zhang 1421d4002b98SHong Zhang PetscFunctionBegin; 14229566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii)); 14239566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary)); 14249566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERDRAW, &isdraw)); 1425d4002b98SHong Zhang if (iascii) { 14269566063dSJacob Faibussowitsch PetscCall(MatView_SeqSELL_ASCII(A, viewer)); 1427d4002b98SHong Zhang } else if (isbinary) { 14289566063dSJacob Faibussowitsch /* PetscCall(MatView_SeqSELL_Binary(A,viewer)); */ 14291baa6e33SBarry Smith } else if (isdraw) PetscCall(MatView_SeqSELL_Draw(A, viewer)); 14303ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1431d4002b98SHong Zhang } 1432d4002b98SHong Zhang 1433d71ae5a4SJacob Faibussowitsch PetscErrorCode MatAssemblyEnd_SeqSELL(Mat A, MatAssemblyType mode) 1434d71ae5a4SJacob Faibussowitsch { 1435d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1436d4002b98SHong Zhang PetscInt i, shift, row_in_slice, row, nrow, *cp, lastcol, j, k; 1437d4002b98SHong Zhang MatScalar *vp; 143890d2215bSHong Zhang #if defined(PETSC_HAVE_CUDA) 143990d2215bSHong Zhang PetscInt totalchunks = 0; 144090d2215bSHong Zhang #endif 1441d4002b98SHong Zhang 1442d4002b98SHong Zhang PetscFunctionBegin; 14433ba16761SJacob Faibussowitsch if (mode == MAT_FLUSH_ASSEMBLY) PetscFunctionReturn(PETSC_SUCCESS); 1444d4002b98SHong Zhang /* To do: compress out the unused elements */ 14459566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 14469566063dSJacob 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)); 14479566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Number of mallocs during MatSetValues() is %" PetscInt_FMT "\n", a->reallocs)); 14489566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Maximum nonzeros in any row is %" PetscInt_FMT "\n", a->rlenmax)); 14492d1451d4SHong Zhang a->nonzerorowcnt = 0; 1450d4002b98SHong 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 */ 1451d4002b98SHong Zhang for (i = 0; i < a->totalslices; ++i) { 1452d4002b98SHong Zhang shift = a->sliidx[i]; /* starting index of the slice */ 1453d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the column indices of the slice */ 1454d4002b98SHong Zhang vp = a->val + shift; /* pointer to the nonzero values of the slice */ 145507e43b41SHong Zhang for (row_in_slice = 0; row_in_slice < a->sliceheight; ++row_in_slice) { /* loop over rows in the slice */ 145607e43b41SHong Zhang row = a->sliceheight * i + row_in_slice; 1457d4002b98SHong Zhang nrow = a->rlen[row]; /* number of nonzeros in row */ 1458d4002b98SHong Zhang /* 1459d4002b98SHong Zhang Search for the nearest nonzero. Normally setting the index to zero may cause extra communication. 1460d4002b98SHong Zhang But if the entire slice are empty, it is fine to use 0 since the index will not be loaded. 1461d4002b98SHong Zhang */ 1462d4002b98SHong Zhang lastcol = 0; 1463d4002b98SHong Zhang if (nrow > 0) { /* nonempty row */ 14642d1451d4SHong Zhang a->nonzerorowcnt++; 146507e43b41SHong Zhang lastcol = cp[a->sliceheight * (nrow - 1) + row_in_slice]; /* use the index from the last nonzero at current row */ 1466aaa8cc7dSPierre Jolivet } else if (!row_in_slice) { /* first row of the correct slice is empty */ 146707e43b41SHong Zhang for (j = 1; j < a->sliceheight; j++) { 146807e43b41SHong Zhang if (a->rlen[a->sliceheight * i + j]) { 1469d4002b98SHong Zhang lastcol = cp[j]; 1470d4002b98SHong Zhang break; 1471d4002b98SHong Zhang } 1472d4002b98SHong Zhang } 1473d4002b98SHong Zhang } else { 1474d4002b98SHong Zhang if (a->sliidx[i + 1] != shift) lastcol = cp[row_in_slice - 1]; /* use the index from the previous row */ 1475d4002b98SHong Zhang } 1476d4002b98SHong Zhang 147707e43b41SHong Zhang for (k = nrow; k < (a->sliidx[i + 1] - shift) / a->sliceheight; ++k) { 147807e43b41SHong Zhang cp[a->sliceheight * k + row_in_slice] = lastcol; 147907e43b41SHong Zhang vp[a->sliceheight * k + row_in_slice] = (MatScalar)0; 1480d4002b98SHong Zhang } 1481d4002b98SHong Zhang } 1482d4002b98SHong Zhang } 1483d4002b98SHong Zhang 1484d4002b98SHong Zhang A->info.mallocs += a->reallocs; 1485d4002b98SHong Zhang a->reallocs = 0; 1486d4002b98SHong Zhang 14879566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 148890d2215bSHong Zhang #if defined(PETSC_HAVE_CUDA) 148990d2215bSHong Zhang if (!a->chunksize && a->totalslices) { 149090d2215bSHong Zhang a->chunksize = 64; 149190d2215bSHong Zhang while (a->chunksize < 1024 && 2 * a->chunksize <= a->sliidx[a->totalslices] / a->totalslices) a->chunksize *= 2; 149290d2215bSHong Zhang totalchunks = 1 + (a->sliidx[a->totalslices] - 1) / a->chunksize; 149390d2215bSHong Zhang } 149490d2215bSHong Zhang if (totalchunks != a->totalchunks) { 149590d2215bSHong Zhang PetscCall(PetscFree(a->chunk_slice_map)); 149690d2215bSHong Zhang PetscCall(PetscMalloc1(totalchunks, &a->chunk_slice_map)); 149790d2215bSHong Zhang a->totalchunks = totalchunks; 149890d2215bSHong Zhang } 149990d2215bSHong Zhang j = 0; 150090d2215bSHong Zhang for (i = 0; i < totalchunks; i++) { 150190d2215bSHong Zhang while (a->sliidx[j + 1] <= i * a->chunksize && j < a->totalslices) j++; 150290d2215bSHong Zhang a->chunk_slice_map[i] = j; 150390d2215bSHong Zhang } 150490d2215bSHong Zhang #endif 15053ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1506d4002b98SHong Zhang } 1507d4002b98SHong Zhang 1508d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetInfo_SeqSELL(Mat A, MatInfoType flag, MatInfo *info) 1509d71ae5a4SJacob Faibussowitsch { 1510d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1511d4002b98SHong Zhang 1512d4002b98SHong Zhang PetscFunctionBegin; 1513d4002b98SHong Zhang info->block_size = 1.0; 15143966268fSBarry Smith info->nz_allocated = a->maxallocmat; 15153966268fSBarry Smith info->nz_used = a->sliidx[a->totalslices]; /* include padding zeros */ 15163966268fSBarry Smith info->nz_unneeded = (a->maxallocmat - a->sliidx[a->totalslices]); 15173966268fSBarry Smith info->assemblies = A->num_ass; 15183966268fSBarry Smith info->mallocs = A->info.mallocs; 15194dfa11a4SJacob Faibussowitsch info->memory = 0; /* REVIEW ME */ 1520d4002b98SHong Zhang if (A->factortype) { 1521d4002b98SHong Zhang info->fill_ratio_given = A->info.fill_ratio_given; 1522d4002b98SHong Zhang info->fill_ratio_needed = A->info.fill_ratio_needed; 1523d4002b98SHong Zhang info->factor_mallocs = A->info.factor_mallocs; 1524d4002b98SHong Zhang } else { 1525d4002b98SHong Zhang info->fill_ratio_given = 0; 1526d4002b98SHong Zhang info->fill_ratio_needed = 0; 1527d4002b98SHong Zhang info->factor_mallocs = 0; 1528d4002b98SHong Zhang } 15293ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1530d4002b98SHong Zhang } 1531d4002b98SHong Zhang 1532d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is) 1533d71ae5a4SJacob Faibussowitsch { 1534d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1535d4002b98SHong Zhang PetscInt shift, i, k, l, low, high, t, ii, row, col, nrow; 1536d4002b98SHong Zhang PetscInt *cp, nonew = a->nonew, lastcol = -1; 1537d4002b98SHong Zhang MatScalar *vp, value; 15382d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 15392d1451d4SHong Zhang PetscBool inserted = PETSC_FALSE; 15404e58db63SHong Zhang PetscInt mul = DEVICE_MEM_ALIGN / a->sliceheight; 15412d1451d4SHong Zhang #endif 1542d4002b98SHong Zhang 1543d4002b98SHong Zhang PetscFunctionBegin; 1544d4002b98SHong Zhang for (k = 0; k < m; k++) { /* loop over added rows */ 1545d4002b98SHong Zhang row = im[k]; 1546d4002b98SHong Zhang if (row < 0) continue; 15476bdcaf15SBarry 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); 154807e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + row % a->sliceheight; /* starting index of the row */ 1549d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1550d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 1551d4002b98SHong Zhang nrow = a->rlen[row]; 1552d4002b98SHong Zhang low = 0; 1553d4002b98SHong Zhang high = nrow; 1554d4002b98SHong Zhang 1555d4002b98SHong Zhang for (l = 0; l < n; l++) { /* loop over added columns */ 1556d4002b98SHong Zhang col = in[l]; 1557d4002b98SHong Zhang if (col < 0) continue; 15586bdcaf15SBarry 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); 1559d4002b98SHong Zhang if (a->roworiented) { 1560d4002b98SHong Zhang value = v[l + k * n]; 1561d4002b98SHong Zhang } else { 1562d4002b98SHong Zhang value = v[k + l * m]; 1563d4002b98SHong Zhang } 1564d4002b98SHong Zhang if ((value == 0.0 && a->ignorezeroentries) && (is == ADD_VALUES)) continue; 1565d4002b98SHong Zhang 1566ed73aabaSBarry Smith /* search in this row for the specified column, i indicates the column to be set */ 1567d4002b98SHong Zhang if (col <= lastcol) low = 0; 1568d4002b98SHong Zhang else high = nrow; 1569d4002b98SHong Zhang lastcol = col; 1570d4002b98SHong Zhang while (high - low > 5) { 1571d4002b98SHong Zhang t = (low + high) / 2; 157207e43b41SHong Zhang if (*(cp + a->sliceheight * t) > col) high = t; 1573d4002b98SHong Zhang else low = t; 1574d4002b98SHong Zhang } 1575d4002b98SHong Zhang for (i = low; i < high; i++) { 157607e43b41SHong Zhang if (*(cp + a->sliceheight * i) > col) break; 157707e43b41SHong Zhang if (*(cp + a->sliceheight * i) == col) { 157807e43b41SHong Zhang if (is == ADD_VALUES) *(vp + a->sliceheight * i) += value; 157907e43b41SHong Zhang else *(vp + a->sliceheight * i) = value; 15802d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 15812d1451d4SHong Zhang inserted = PETSC_TRUE; 15822d1451d4SHong Zhang #endif 1583d4002b98SHong Zhang low = i + 1; 1584d4002b98SHong Zhang goto noinsert; 1585d4002b98SHong Zhang } 1586d4002b98SHong Zhang } 1587d4002b98SHong Zhang if (value == 0.0 && a->ignorezeroentries) goto noinsert; 1588d4002b98SHong Zhang if (nonew == 1) goto noinsert; 158908401ef6SPierre Jolivet PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new nonzero (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col); 15904e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 15914e58db63SHong 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); 15924e58db63SHong Zhang #else 1593d4002b98SHong Zhang /* If the current row length exceeds the slice width (e.g. nrow==slice_width), allocate a new space, otherwise do nothing */ 15944e58db63SHong 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); 15954e58db63SHong Zhang #endif 1596d4002b98SHong Zhang /* add the new nonzero to the high position, shift the remaining elements in current row to the right by one slot */ 1597d4002b98SHong Zhang for (ii = nrow - 1; ii >= i; ii--) { 159807e43b41SHong Zhang *(cp + a->sliceheight * (ii + 1)) = *(cp + a->sliceheight * ii); 159907e43b41SHong Zhang *(vp + a->sliceheight * (ii + 1)) = *(vp + a->sliceheight * ii); 1600d4002b98SHong Zhang } 1601d4002b98SHong Zhang a->rlen[row]++; 160207e43b41SHong Zhang *(cp + a->sliceheight * i) = col; 160307e43b41SHong Zhang *(vp + a->sliceheight * i) = value; 1604d4002b98SHong Zhang a->nz++; 1605d4002b98SHong Zhang A->nonzerostate++; 16062d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 16072d1451d4SHong Zhang inserted = PETSC_TRUE; 16082d1451d4SHong Zhang #endif 16099371c9d4SSatish Balay low = i + 1; 16109371c9d4SSatish Balay high++; 16119371c9d4SSatish Balay nrow++; 1612d4002b98SHong Zhang noinsert:; 1613d4002b98SHong Zhang } 1614d4002b98SHong Zhang a->rlen[row] = nrow; 1615d4002b98SHong Zhang } 16162d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 16172d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED && inserted) A->offloadmask = PETSC_OFFLOAD_CPU; 16182d1451d4SHong Zhang #endif 16193ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1620d4002b98SHong Zhang } 1621d4002b98SHong Zhang 1622d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCopy_SeqSELL(Mat A, Mat B, MatStructure str) 1623d71ae5a4SJacob Faibussowitsch { 1624d4002b98SHong Zhang PetscFunctionBegin; 1625d4002b98SHong Zhang /* If the two matrices have the same copy implementation, use fast copy. */ 1626d4002b98SHong Zhang if (str == SAME_NONZERO_PATTERN && (A->ops->copy == B->ops->copy)) { 1627d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1628d4002b98SHong Zhang Mat_SeqSELL *b = (Mat_SeqSELL *)B->data; 1629d4002b98SHong Zhang 163008401ef6SPierre 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"); 16319566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(b->val, a->val, a->sliidx[a->totalslices])); 1632d4002b98SHong Zhang } else { 16339566063dSJacob Faibussowitsch PetscCall(MatCopy_Basic(A, B, str)); 1634d4002b98SHong Zhang } 16353ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1636d4002b98SHong Zhang } 1637d4002b98SHong Zhang 1638d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetUp_SeqSELL(Mat A) 1639d71ae5a4SJacob Faibussowitsch { 1640d4002b98SHong Zhang PetscFunctionBegin; 16419566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(A, PETSC_DEFAULT, NULL)); 16423ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1643d4002b98SHong Zhang } 1644d4002b98SHong Zhang 1645d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat A, PetscScalar *array[]) 1646d71ae5a4SJacob Faibussowitsch { 1647d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1648d4002b98SHong Zhang 1649d4002b98SHong Zhang PetscFunctionBegin; 1650d4002b98SHong Zhang *array = a->val; 16513ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1652d4002b98SHong Zhang } 1653d4002b98SHong Zhang 1654d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat A, PetscScalar *array[]) 1655d71ae5a4SJacob Faibussowitsch { 1656d4002b98SHong Zhang PetscFunctionBegin; 16573ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1658d4002b98SHong Zhang } 1659d4002b98SHong Zhang 1660d71ae5a4SJacob Faibussowitsch PetscErrorCode MatScale_SeqSELL(Mat inA, PetscScalar alpha) 1661d71ae5a4SJacob Faibussowitsch { 1662d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)inA->data; 1663d4002b98SHong Zhang MatScalar *aval = a->val; 1664d4002b98SHong Zhang PetscScalar oalpha = alpha; 1665d4002b98SHong Zhang PetscBLASInt one = 1, size; 1666d4002b98SHong Zhang 1667d4002b98SHong Zhang PetscFunctionBegin; 16689566063dSJacob Faibussowitsch PetscCall(PetscBLASIntCast(a->sliidx[a->totalslices], &size)); 1669792fecdfSBarry Smith PetscCallBLAS("BLASscal", BLASscal_(&size, &oalpha, aval, &one)); 16709566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 16719566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(inA)); 16722d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 16732d1451d4SHong Zhang if (inA->offloadmask != PETSC_OFFLOAD_UNALLOCATED) inA->offloadmask = PETSC_OFFLOAD_CPU; 16742d1451d4SHong Zhang #endif 16753ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1676d4002b98SHong Zhang } 1677d4002b98SHong Zhang 1678d71ae5a4SJacob Faibussowitsch PetscErrorCode MatShift_SeqSELL(Mat Y, PetscScalar a) 1679d71ae5a4SJacob Faibussowitsch { 1680d4002b98SHong Zhang Mat_SeqSELL *y = (Mat_SeqSELL *)Y->data; 1681d4002b98SHong Zhang 1682d4002b98SHong Zhang PetscFunctionBegin; 168348a46eb9SPierre Jolivet if (!Y->preallocated || !y->nz) PetscCall(MatSeqSELLSetPreallocation(Y, 1, NULL)); 16849566063dSJacob Faibussowitsch PetscCall(MatShift_Basic(Y, a)); 16853ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1686d4002b98SHong Zhang } 1687d4002b98SHong Zhang 1688d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSOR_SeqSELL(Mat A, Vec bb, PetscReal omega, MatSORType flag, PetscReal fshift, PetscInt its, PetscInt lits, Vec xx) 1689d71ae5a4SJacob Faibussowitsch { 1690d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1691d4002b98SHong Zhang PetscScalar *x, sum, *t; 1692f4259b30SLisandro Dalcin const MatScalar *idiag = NULL, *mdiag; 1693d4002b98SHong Zhang const PetscScalar *b, *xb; 1694d4002b98SHong Zhang PetscInt n, m = A->rmap->n, i, j, shift; 1695d4002b98SHong Zhang const PetscInt *diag; 1696d4002b98SHong Zhang 1697d4002b98SHong Zhang PetscFunctionBegin; 1698d4002b98SHong Zhang its = its * lits; 1699d4002b98SHong Zhang 1700d4002b98SHong Zhang if (fshift != a->fshift || omega != a->omega) a->idiagvalid = PETSC_FALSE; /* must recompute idiag[] */ 17019566063dSJacob Faibussowitsch if (!a->idiagvalid) PetscCall(MatInvertDiagonal_SeqSELL(A, omega, fshift)); 1702d4002b98SHong Zhang a->fshift = fshift; 1703d4002b98SHong Zhang a->omega = omega; 1704d4002b98SHong Zhang 1705d4002b98SHong Zhang diag = a->diag; 1706d4002b98SHong Zhang t = a->ssor_work; 1707d4002b98SHong Zhang idiag = a->idiag; 1708d4002b98SHong Zhang mdiag = a->mdiag; 1709d4002b98SHong Zhang 17109566063dSJacob Faibussowitsch PetscCall(VecGetArray(xx, &x)); 17119566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(bb, &b)); 1712d4002b98SHong Zhang /* We count flops by assuming the upper triangular and lower triangular parts have the same number of nonzeros */ 171308401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_UPPER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_UPPER is not implemented"); 171408401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_LOWER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_LOWER is not implemented"); 1715aed4548fSBarry Smith PetscCheck(!(flag & SOR_EISENSTAT), PETSC_COMM_SELF, PETSC_ERR_SUP, "No support yet for Eisenstat"); 1716d4002b98SHong Zhang 1717d4002b98SHong Zhang if (flag & SOR_ZERO_INITIAL_GUESS) { 1718d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1719d4002b98SHong Zhang for (i = 0; i < m; i++) { 172007e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1721d4002b98SHong Zhang sum = b[i]; 172207e43b41SHong Zhang n = (diag[i] - shift) / a->sliceheight; 172307e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1724d4002b98SHong Zhang t[i] = sum; 1725d4002b98SHong Zhang x[i] = sum * idiag[i]; 1726d4002b98SHong Zhang } 1727d4002b98SHong Zhang xb = t; 17289566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1729d4002b98SHong Zhang } else xb = b; 1730d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1731d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 173207e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1733d4002b98SHong Zhang sum = xb[i]; 173407e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 173507e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1736d4002b98SHong Zhang if (xb == b) { 1737d4002b98SHong Zhang x[i] = sum * idiag[i]; 1738d4002b98SHong Zhang } else { 1739d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1740d4002b98SHong Zhang } 1741d4002b98SHong Zhang } 17429566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1743d4002b98SHong Zhang } 1744d4002b98SHong Zhang its--; 1745d4002b98SHong Zhang } 1746d4002b98SHong Zhang while (its--) { 1747d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1748d4002b98SHong Zhang for (i = 0; i < m; i++) { 1749d4002b98SHong Zhang /* lower */ 175007e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1751d4002b98SHong Zhang sum = b[i]; 175207e43b41SHong Zhang n = (diag[i] - shift) / a->sliceheight; 175307e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1754d4002b98SHong Zhang t[i] = sum; /* save application of the lower-triangular part */ 1755d4002b98SHong Zhang /* upper */ 175607e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 175707e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1758d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1759d4002b98SHong Zhang } 1760d4002b98SHong Zhang xb = t; 17619566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1762d4002b98SHong Zhang } else xb = b; 1763d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1764d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 176507e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1766d4002b98SHong Zhang sum = xb[i]; 1767d4002b98SHong Zhang if (xb == b) { 1768d4002b98SHong Zhang /* whole matrix (no checkpointing available) */ 1769d4002b98SHong Zhang n = a->rlen[i]; 177007e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1771d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + (sum + mdiag[i] * x[i]) * idiag[i]; 1772d4002b98SHong Zhang } else { /* lower-triangular part has been saved, so only apply upper-triangular */ 177307e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 177407e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1775d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1776d4002b98SHong Zhang } 1777d4002b98SHong Zhang } 1778d4002b98SHong Zhang if (xb == b) { 17799566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1780d4002b98SHong Zhang } else { 17819566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1782d4002b98SHong Zhang } 1783d4002b98SHong Zhang } 1784d4002b98SHong Zhang } 17859566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(xx, &x)); 17869566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(bb, &b)); 17873ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1788d4002b98SHong Zhang } 1789d4002b98SHong Zhang 1790d4002b98SHong Zhang static struct _MatOps MatOps_Values = {MatSetValues_SeqSELL, 17916108893eSStefano Zampini MatGetRow_SeqSELL, 17926108893eSStefano Zampini MatRestoreRow_SeqSELL, 1793d4002b98SHong Zhang MatMult_SeqSELL, 1794d4002b98SHong Zhang /* 4*/ MatMultAdd_SeqSELL, 1795d4002b98SHong Zhang MatMultTranspose_SeqSELL, 1796d4002b98SHong Zhang MatMultTransposeAdd_SeqSELL, 1797f4259b30SLisandro Dalcin NULL, 1798f4259b30SLisandro Dalcin NULL, 1799f4259b30SLisandro Dalcin NULL, 1800f4259b30SLisandro Dalcin /* 10*/ NULL, 1801f4259b30SLisandro Dalcin NULL, 1802f4259b30SLisandro Dalcin NULL, 1803d4002b98SHong Zhang MatSOR_SeqSELL, 1804f4259b30SLisandro Dalcin NULL, 1805d4002b98SHong Zhang /* 15*/ MatGetInfo_SeqSELL, 1806d4002b98SHong Zhang MatEqual_SeqSELL, 1807d4002b98SHong Zhang MatGetDiagonal_SeqSELL, 1808d4002b98SHong Zhang MatDiagonalScale_SeqSELL, 1809f4259b30SLisandro Dalcin NULL, 1810f4259b30SLisandro Dalcin /* 20*/ NULL, 1811d4002b98SHong Zhang MatAssemblyEnd_SeqSELL, 1812d4002b98SHong Zhang MatSetOption_SeqSELL, 1813d4002b98SHong Zhang MatZeroEntries_SeqSELL, 1814f4259b30SLisandro Dalcin /* 24*/ NULL, 1815f4259b30SLisandro Dalcin NULL, 1816f4259b30SLisandro Dalcin NULL, 1817f4259b30SLisandro Dalcin NULL, 1818f4259b30SLisandro Dalcin NULL, 1819d4002b98SHong Zhang /* 29*/ MatSetUp_SeqSELL, 1820f4259b30SLisandro Dalcin NULL, 1821f4259b30SLisandro Dalcin NULL, 1822f4259b30SLisandro Dalcin NULL, 1823f4259b30SLisandro Dalcin NULL, 1824d4002b98SHong Zhang /* 34*/ MatDuplicate_SeqSELL, 1825f4259b30SLisandro Dalcin NULL, 1826f4259b30SLisandro Dalcin NULL, 1827f4259b30SLisandro Dalcin NULL, 1828f4259b30SLisandro Dalcin NULL, 1829f4259b30SLisandro Dalcin /* 39*/ NULL, 1830f4259b30SLisandro Dalcin NULL, 1831f4259b30SLisandro Dalcin NULL, 1832d4002b98SHong Zhang MatGetValues_SeqSELL, 1833d4002b98SHong Zhang MatCopy_SeqSELL, 1834f4259b30SLisandro Dalcin /* 44*/ NULL, 1835d4002b98SHong Zhang MatScale_SeqSELL, 1836d4002b98SHong Zhang MatShift_SeqSELL, 1837f4259b30SLisandro Dalcin NULL, 1838f4259b30SLisandro Dalcin NULL, 1839f4259b30SLisandro Dalcin /* 49*/ NULL, 1840f4259b30SLisandro Dalcin NULL, 1841f4259b30SLisandro Dalcin NULL, 1842f4259b30SLisandro Dalcin NULL, 1843f4259b30SLisandro Dalcin NULL, 1844d4002b98SHong Zhang /* 54*/ MatFDColoringCreate_SeqXAIJ, 1845f4259b30SLisandro Dalcin NULL, 1846f4259b30SLisandro Dalcin NULL, 1847f4259b30SLisandro Dalcin NULL, 1848f4259b30SLisandro Dalcin NULL, 1849f4259b30SLisandro Dalcin /* 59*/ NULL, 1850d4002b98SHong Zhang MatDestroy_SeqSELL, 1851d4002b98SHong Zhang MatView_SeqSELL, 1852f4259b30SLisandro Dalcin NULL, 1853f4259b30SLisandro Dalcin NULL, 1854f4259b30SLisandro Dalcin /* 64*/ NULL, 1855f4259b30SLisandro Dalcin NULL, 1856f4259b30SLisandro Dalcin NULL, 1857f4259b30SLisandro Dalcin NULL, 1858f4259b30SLisandro Dalcin NULL, 1859f4259b30SLisandro Dalcin /* 69*/ NULL, 1860f4259b30SLisandro Dalcin NULL, 1861f4259b30SLisandro Dalcin NULL, 1862f4259b30SLisandro Dalcin NULL, 1863f4259b30SLisandro Dalcin NULL, 1864f4259b30SLisandro Dalcin /* 74*/ NULL, 1865d4002b98SHong Zhang MatFDColoringApply_AIJ, /* reuse the FDColoring function for AIJ */ 1866f4259b30SLisandro Dalcin NULL, 1867f4259b30SLisandro Dalcin NULL, 1868f4259b30SLisandro Dalcin NULL, 1869f4259b30SLisandro Dalcin /* 79*/ NULL, 1870f4259b30SLisandro Dalcin NULL, 1871f4259b30SLisandro Dalcin NULL, 1872f4259b30SLisandro Dalcin NULL, 1873f4259b30SLisandro Dalcin NULL, 1874f4259b30SLisandro Dalcin /* 84*/ NULL, 1875f4259b30SLisandro Dalcin NULL, 1876f4259b30SLisandro Dalcin NULL, 1877f4259b30SLisandro Dalcin NULL, 1878f4259b30SLisandro Dalcin NULL, 1879f4259b30SLisandro Dalcin /* 89*/ NULL, 1880f4259b30SLisandro Dalcin NULL, 1881f4259b30SLisandro Dalcin NULL, 1882f4259b30SLisandro Dalcin NULL, 1883f4259b30SLisandro Dalcin NULL, 1884f4259b30SLisandro Dalcin /* 94*/ NULL, 1885f4259b30SLisandro Dalcin NULL, 1886f4259b30SLisandro Dalcin NULL, 1887f4259b30SLisandro Dalcin NULL, 1888f4259b30SLisandro Dalcin NULL, 1889f4259b30SLisandro Dalcin /* 99*/ NULL, 1890f4259b30SLisandro Dalcin NULL, 1891f4259b30SLisandro Dalcin NULL, 1892d4002b98SHong Zhang MatConjugate_SeqSELL, 1893f4259b30SLisandro Dalcin NULL, 1894f4259b30SLisandro Dalcin /*104*/ NULL, 1895f4259b30SLisandro Dalcin NULL, 1896f4259b30SLisandro Dalcin NULL, 1897f4259b30SLisandro Dalcin NULL, 1898f4259b30SLisandro Dalcin NULL, 1899f4259b30SLisandro Dalcin /*109*/ NULL, 1900f4259b30SLisandro Dalcin NULL, 1901f4259b30SLisandro Dalcin NULL, 1902f4259b30SLisandro Dalcin NULL, 1903d4002b98SHong Zhang MatMissingDiagonal_SeqSELL, 1904f4259b30SLisandro Dalcin /*114*/ NULL, 1905f4259b30SLisandro Dalcin NULL, 1906f4259b30SLisandro Dalcin NULL, 1907f4259b30SLisandro Dalcin NULL, 1908f4259b30SLisandro Dalcin NULL, 1909f4259b30SLisandro Dalcin /*119*/ NULL, 1910f4259b30SLisandro Dalcin NULL, 1911f4259b30SLisandro Dalcin NULL, 1912f4259b30SLisandro Dalcin NULL, 1913f4259b30SLisandro Dalcin NULL, 1914f4259b30SLisandro Dalcin /*124*/ NULL, 1915f4259b30SLisandro Dalcin NULL, 1916f4259b30SLisandro Dalcin NULL, 1917f4259b30SLisandro Dalcin NULL, 1918f4259b30SLisandro Dalcin NULL, 1919f4259b30SLisandro Dalcin /*129*/ NULL, 1920f4259b30SLisandro Dalcin NULL, 1921f4259b30SLisandro Dalcin NULL, 1922f4259b30SLisandro Dalcin NULL, 1923f4259b30SLisandro Dalcin NULL, 1924f4259b30SLisandro Dalcin /*134*/ NULL, 1925f4259b30SLisandro Dalcin NULL, 1926f4259b30SLisandro Dalcin NULL, 1927f4259b30SLisandro Dalcin NULL, 1928f4259b30SLisandro Dalcin NULL, 1929f4259b30SLisandro Dalcin /*139*/ NULL, 1930f4259b30SLisandro Dalcin NULL, 1931f4259b30SLisandro Dalcin NULL, 1932d4002b98SHong Zhang MatFDColoringSetUp_SeqXAIJ, 1933f4259b30SLisandro Dalcin NULL, 1934d70f29a3SPierre Jolivet /*144*/ NULL, 1935d70f29a3SPierre Jolivet NULL, 1936d70f29a3SPierre Jolivet NULL, 193799a7f59eSMark Adams NULL, 193899a7f59eSMark Adams NULL, 19397fb60732SBarry Smith NULL, 1940dec0b466SHong Zhang /*150*/ NULL, 1941dec0b466SHong Zhang NULL}; 1942d4002b98SHong Zhang 1943ba38deedSJacob Faibussowitsch static PetscErrorCode MatStoreValues_SeqSELL(Mat mat) 1944d71ae5a4SJacob Faibussowitsch { 1945d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1946d4002b98SHong Zhang 1947d4002b98SHong Zhang PetscFunctionBegin; 194828b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 1949d4002b98SHong Zhang 1950d4002b98SHong Zhang /* allocate space for values if not already there */ 1951aa624791SPierre Jolivet if (!a->saved_values) PetscCall(PetscMalloc1(a->sliidx[a->totalslices] + 1, &a->saved_values)); 1952d4002b98SHong Zhang 1953d4002b98SHong Zhang /* copy values over */ 19549566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->saved_values, a->val, a->sliidx[a->totalslices])); 19553ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1956d4002b98SHong Zhang } 1957d4002b98SHong Zhang 1958ba38deedSJacob Faibussowitsch static PetscErrorCode MatRetrieveValues_SeqSELL(Mat mat) 1959d71ae5a4SJacob Faibussowitsch { 1960d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1961d4002b98SHong Zhang 1962d4002b98SHong Zhang PetscFunctionBegin; 196328b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 196428b400f6SJacob Faibussowitsch PetscCheck(a->saved_values, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatStoreValues(A);first"); 19659566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->val, a->saved_values, a->sliidx[a->totalslices])); 19663ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1967d4002b98SHong Zhang } 1968d4002b98SHong Zhang 1969ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetFillRatio_SeqSELL(Mat mat, PetscReal *ratio) 197007e43b41SHong Zhang { 197107e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 197207e43b41SHong Zhang 197307e43b41SHong Zhang PetscFunctionBegin; 197407e43b41SHong Zhang if (a->totalslices && a->sliidx[a->totalslices]) { 197507e43b41SHong Zhang *ratio = (PetscReal)(a->sliidx[a->totalslices] - a->nz) / a->sliidx[a->totalslices]; 197607e43b41SHong Zhang } else { 197707e43b41SHong Zhang *ratio = 0.0; 197807e43b41SHong Zhang } 197907e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 198007e43b41SHong Zhang } 198107e43b41SHong Zhang 1982ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetMaxSliceWidth_SeqSELL(Mat mat, PetscInt *slicewidth) 198307e43b41SHong Zhang { 198407e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 198507e43b41SHong Zhang PetscInt i, current_slicewidth; 198607e43b41SHong Zhang 198707e43b41SHong Zhang PetscFunctionBegin; 198807e43b41SHong Zhang *slicewidth = 0; 198907e43b41SHong Zhang for (i = 0; i < a->totalslices; i++) { 199007e43b41SHong Zhang current_slicewidth = (a->sliidx[i + 1] - a->sliidx[i]) / a->sliceheight; 199107e43b41SHong Zhang if (current_slicewidth > *slicewidth) *slicewidth = current_slicewidth; 199207e43b41SHong Zhang } 199307e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 199407e43b41SHong Zhang } 199507e43b41SHong Zhang 1996ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetAvgSliceWidth_SeqSELL(Mat mat, PetscReal *slicewidth) 199707e43b41SHong Zhang { 199807e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 199907e43b41SHong Zhang 200007e43b41SHong Zhang PetscFunctionBegin; 200107e43b41SHong Zhang *slicewidth = 0; 200207e43b41SHong Zhang if (a->totalslices) { *slicewidth = (PetscReal)a->sliidx[a->totalslices] / a->sliceheight / a->totalslices; } 200307e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 200407e43b41SHong Zhang } 200507e43b41SHong Zhang 2006ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetVarSliceSize_SeqSELL(Mat mat, PetscReal *variance) 2007b921024eSHong Zhang { 2008b921024eSHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 2009b921024eSHong Zhang PetscReal mean; 2010b921024eSHong Zhang PetscInt i, totalslices = a->totalslices, *sliidx = a->sliidx; 2011b921024eSHong Zhang 2012b921024eSHong Zhang PetscFunctionBegin; 2013b921024eSHong Zhang *variance = 0; 2014b921024eSHong Zhang if (totalslices) { 2015b921024eSHong Zhang mean = (PetscReal)sliidx[totalslices] / totalslices; 2016b921024eSHong Zhang for (i = 1; i <= totalslices; i++) { *variance += ((PetscReal)(sliidx[i] - sliidx[i - 1]) - mean) * ((PetscReal)(sliidx[i] - sliidx[i - 1]) - mean) / totalslices; } 2017b921024eSHong Zhang } 2018b921024eSHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 2019b921024eSHong Zhang } 2020b921024eSHong Zhang 2021ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLSetSliceHeight_SeqSELL(Mat A, PetscInt sliceheight) 202207e43b41SHong Zhang { 202307e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 202407e43b41SHong Zhang 202507e43b41SHong Zhang PetscFunctionBegin; 202607e43b41SHong Zhang if (A->preallocated) PetscFunctionReturn(PETSC_SUCCESS); 202707e43b41SHong 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); 202807e43b41SHong Zhang a->sliceheight = sliceheight; 20294e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 20304e58db63SHong Zhang PetscCheck(DEVICE_MEM_ALIGN % sliceheight == 0, PETSC_COMM_SELF, PETSC_ERR_SUP, "DEVICE_MEM_ALIGN is not divisible by the slice height %" PetscInt_FMT, sliceheight); 20314e58db63SHong Zhang #endif 203207e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 203307e43b41SHong Zhang } 203407e43b41SHong Zhang 2035d4002b98SHong Zhang /*@C 203607e43b41SHong Zhang MatSeqSELLGetFillRatio - returns a ratio that indicates the irregularity of the matrix. 203707e43b41SHong Zhang 203807e43b41SHong Zhang Not Collective 203907e43b41SHong Zhang 204007e43b41SHong Zhang Input Parameter: 204107e43b41SHong Zhang . A - a MATSEQSELL matrix 204207e43b41SHong Zhang 204307e43b41SHong Zhang Output Parameter: 204407e43b41SHong Zhang . ratio - ratio of number of padded zeros to number of allocated elements 204507e43b41SHong Zhang 204607e43b41SHong Zhang Level: intermediate 20472920cce0SJacob Faibussowitsch 20482920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetAvgSliceWidth()` 204907e43b41SHong Zhang @*/ 205007e43b41SHong Zhang PetscErrorCode MatSeqSELLGetFillRatio(Mat A, PetscReal *ratio) 205107e43b41SHong Zhang { 205207e43b41SHong Zhang PetscFunctionBegin; 205307e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetFillRatio_C", (Mat, PetscReal *), (A, ratio)); 205407e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 205507e43b41SHong Zhang } 205607e43b41SHong Zhang 205707e43b41SHong Zhang /*@C 205807e43b41SHong Zhang MatSeqSELLGetMaxSliceWidth - returns the maximum slice width. 205907e43b41SHong Zhang 206007e43b41SHong Zhang Not Collective 206107e43b41SHong Zhang 206207e43b41SHong Zhang Input Parameter: 206307e43b41SHong Zhang . A - a MATSEQSELL matrix 206407e43b41SHong Zhang 206507e43b41SHong Zhang Output Parameter: 206607e43b41SHong Zhang . slicewidth - maximum slice width 206707e43b41SHong Zhang 206807e43b41SHong Zhang Level: intermediate 20692920cce0SJacob Faibussowitsch 20702920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetAvgSliceWidth()` 207107e43b41SHong Zhang @*/ 207207e43b41SHong Zhang PetscErrorCode MatSeqSELLGetMaxSliceWidth(Mat A, PetscInt *slicewidth) 207307e43b41SHong Zhang { 207407e43b41SHong Zhang PetscFunctionBegin; 207507e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetMaxSliceWidth_C", (Mat, PetscInt *), (A, slicewidth)); 207607e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 207707e43b41SHong Zhang } 207807e43b41SHong Zhang 207907e43b41SHong Zhang /*@C 208007e43b41SHong Zhang MatSeqSELLGetAvgSliceWidth - returns the average slice width. 208107e43b41SHong Zhang 208207e43b41SHong Zhang Not Collective 208307e43b41SHong Zhang 208407e43b41SHong Zhang Input Parameter: 208507e43b41SHong Zhang . A - a MATSEQSELL matrix 208607e43b41SHong Zhang 208707e43b41SHong Zhang Output Parameter: 208807e43b41SHong Zhang . slicewidth - average slice width 208907e43b41SHong Zhang 209007e43b41SHong Zhang Level: intermediate 20912920cce0SJacob Faibussowitsch 20922920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetMaxSliceWidth()` 209307e43b41SHong Zhang @*/ 209407e43b41SHong Zhang PetscErrorCode MatSeqSELLGetAvgSliceWidth(Mat A, PetscReal *slicewidth) 209507e43b41SHong Zhang { 209607e43b41SHong Zhang PetscFunctionBegin; 209707e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetAvgSliceWidth_C", (Mat, PetscReal *), (A, slicewidth)); 209807e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 209907e43b41SHong Zhang } 210007e43b41SHong Zhang 210107e43b41SHong Zhang /*@C 210207e43b41SHong Zhang MatSeqSELLSetSliceHeight - sets the slice height. 210307e43b41SHong Zhang 210407e43b41SHong Zhang Not Collective 210507e43b41SHong Zhang 210607e43b41SHong Zhang Input Parameters: 210707e43b41SHong Zhang + A - a MATSEQSELL matrix 210807e43b41SHong Zhang - sliceheight - slice height 210907e43b41SHong Zhang 211007e43b41SHong Zhang Notes: 211107e43b41SHong Zhang You cannot change the slice height once it have been set. 211207e43b41SHong Zhang 211307e43b41SHong Zhang The slice height must be set before MatSetUp() or MatXXXSetPreallocation() is called. 211407e43b41SHong Zhang 211507e43b41SHong Zhang Level: intermediate 21162920cce0SJacob Faibussowitsch 21172920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetVarSliceSize()` 211807e43b41SHong Zhang @*/ 211907e43b41SHong Zhang PetscErrorCode MatSeqSELLSetSliceHeight(Mat A, PetscInt sliceheight) 212007e43b41SHong Zhang { 212107e43b41SHong Zhang PetscFunctionBegin; 212207e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLSetSliceHeight_C", (Mat, PetscInt), (A, sliceheight)); 212307e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 212407e43b41SHong Zhang } 212507e43b41SHong Zhang 212607e43b41SHong Zhang /*@C 212707e43b41SHong Zhang MatSeqSELLGetVarSliceSize - returns the variance of the slice size. 212807e43b41SHong Zhang 212907e43b41SHong Zhang Not Collective 213007e43b41SHong Zhang 213107e43b41SHong Zhang Input Parameter: 213207e43b41SHong Zhang . A - a MATSEQSELL matrix 213307e43b41SHong Zhang 213407e43b41SHong Zhang Output Parameter: 213507e43b41SHong Zhang . variance - variance of the slice size 213607e43b41SHong Zhang 213707e43b41SHong Zhang Level: intermediate 21382920cce0SJacob Faibussowitsch 21392920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLSetSliceHeight()` 214007e43b41SHong Zhang @*/ 214107e43b41SHong Zhang PetscErrorCode MatSeqSELLGetVarSliceSize(Mat A, PetscReal *variance) 214207e43b41SHong Zhang { 214307e43b41SHong Zhang PetscFunctionBegin; 214407e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetVarSliceSize_C", (Mat, PetscReal *), (A, variance)); 214507e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 214607e43b41SHong Zhang } 214707e43b41SHong Zhang 21482d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 21492d1451d4SHong Zhang PETSC_EXTERN PetscErrorCode MatConvert_SeqSELL_SeqSELLCUDA(Mat); 21502d1451d4SHong Zhang #endif 21512d1451d4SHong Zhang 2152d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat B) 2153d71ae5a4SJacob Faibussowitsch { 2154d4002b98SHong Zhang Mat_SeqSELL *b; 2155d4002b98SHong Zhang PetscMPIInt size; 2156d4002b98SHong Zhang 2157d4002b98SHong Zhang PetscFunctionBegin; 21589566063dSJacob Faibussowitsch PetscCall(PetscCitationsRegister(citation, &cited)); 21599566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)B), &size)); 216008401ef6SPierre Jolivet PetscCheck(size <= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Comm must be of size 1"); 2161d4002b98SHong Zhang 21624dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&b)); 2163d4002b98SHong Zhang 2164d4002b98SHong Zhang B->data = (void *)b; 2165aea10558SJacob Faibussowitsch B->ops[0] = MatOps_Values; 2166d4002b98SHong Zhang 2167f4259b30SLisandro Dalcin b->row = NULL; 2168f4259b30SLisandro Dalcin b->col = NULL; 2169f4259b30SLisandro Dalcin b->icol = NULL; 2170d4002b98SHong Zhang b->reallocs = 0; 2171d4002b98SHong Zhang b->ignorezeroentries = PETSC_FALSE; 2172d4002b98SHong Zhang b->roworiented = PETSC_TRUE; 2173d4002b98SHong Zhang b->nonew = 0; 2174f4259b30SLisandro Dalcin b->diag = NULL; 2175f4259b30SLisandro Dalcin b->solve_work = NULL; 2176f4259b30SLisandro Dalcin B->spptr = NULL; 2177f4259b30SLisandro Dalcin b->saved_values = NULL; 2178f4259b30SLisandro Dalcin b->idiag = NULL; 2179f4259b30SLisandro Dalcin b->mdiag = NULL; 2180f4259b30SLisandro Dalcin b->ssor_work = NULL; 2181d4002b98SHong Zhang b->omega = 1.0; 2182d4002b98SHong Zhang b->fshift = 0.0; 2183d4002b98SHong Zhang b->idiagvalid = PETSC_FALSE; 2184d4002b98SHong Zhang b->keepnonzeropattern = PETSC_FALSE; 218507e43b41SHong Zhang b->sliceheight = 0; 2186d4002b98SHong Zhang 21879566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQSELL)); 21889566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetArray_C", MatSeqSELLGetArray_SeqSELL)); 21899566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLRestoreArray_C", MatSeqSELLRestoreArray_SeqSELL)); 21909566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatStoreValues_C", MatStoreValues_SeqSELL)); 21919566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatRetrieveValues_C", MatRetrieveValues_SeqSELL)); 21929566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetPreallocation_C", MatSeqSELLSetPreallocation_SeqSELL)); 2193b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqaij_C", MatConvert_SeqSELL_SeqAIJ)); 21942d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 2195b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqsellcuda_C", MatConvert_SeqSELL_SeqSELLCUDA)); 21962d1451d4SHong Zhang #endif 219707e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetFillRatio_C", MatSeqSELLGetFillRatio_SeqSELL)); 219807e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetMaxSliceWidth_C", MatSeqSELLGetMaxSliceWidth_SeqSELL)); 219907e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetAvgSliceWidth_C", MatSeqSELLGetAvgSliceWidth_SeqSELL)); 2200b921024eSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetVarSliceSize_C", MatSeqSELLGetVarSliceSize_SeqSELL)); 220107e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetSliceHeight_C", MatSeqSELLSetSliceHeight_SeqSELL)); 220207e43b41SHong Zhang 220307e43b41SHong Zhang PetscObjectOptionsBegin((PetscObject)B); 220407e43b41SHong Zhang { 220507e43b41SHong Zhang PetscInt newsh = -1; 220607e43b41SHong Zhang PetscBool flg; 220790d2215bSHong Zhang #if defined(PETSC_HAVE_CUDA) 220890d2215bSHong Zhang PetscInt chunksize = 0; 220990d2215bSHong Zhang #endif 221007e43b41SHong Zhang 221107e43b41SHong Zhang PetscCall(PetscOptionsInt("-mat_sell_slice_height", "Set the slice height used to store SELL matrix", "MatSELLSetSliceHeight", newsh, &newsh, &flg)); 221207e43b41SHong Zhang if (flg) { PetscCall(MatSeqSELLSetSliceHeight(B, newsh)); } 221390d2215bSHong Zhang #if defined(PETSC_HAVE_CUDA) 221490d2215bSHong Zhang PetscCall(PetscOptionsInt("-mat_sell_chunk_size", "Set the chunksize for load-balanced CUDA kernels. Choices include 64,128,256,512,1024", NULL, chunksize, &chunksize, &flg)); 221590d2215bSHong Zhang if (flg) { 221690d2215bSHong 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); 221790d2215bSHong Zhang b->chunksize = chunksize; 221890d2215bSHong Zhang } 221990d2215bSHong Zhang #endif 222007e43b41SHong Zhang } 222107e43b41SHong Zhang PetscOptionsEnd(); 22223ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2223d4002b98SHong Zhang } 2224d4002b98SHong Zhang 2225d4002b98SHong Zhang /* 2226d4002b98SHong Zhang Given a matrix generated with MatGetFactor() duplicates all the information in A into B 2227d4002b98SHong Zhang */ 2228ba38deedSJacob Faibussowitsch static PetscErrorCode MatDuplicateNoCreate_SeqSELL(Mat C, Mat A, MatDuplicateOption cpvalues, PetscBool mallocmatspace) 2229d71ae5a4SJacob Faibussowitsch { 2230ed73aabaSBarry Smith Mat_SeqSELL *c = (Mat_SeqSELL *)C->data, *a = (Mat_SeqSELL *)A->data; 2231d4002b98SHong Zhang PetscInt i, m = A->rmap->n; 2232d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2233d4002b98SHong Zhang 2234d4002b98SHong Zhang PetscFunctionBegin; 2235d4002b98SHong Zhang C->factortype = A->factortype; 2236f4259b30SLisandro Dalcin c->row = NULL; 2237f4259b30SLisandro Dalcin c->col = NULL; 2238f4259b30SLisandro Dalcin c->icol = NULL; 2239d4002b98SHong Zhang c->reallocs = 0; 2240d4002b98SHong Zhang C->assembled = PETSC_TRUE; 2241d4002b98SHong Zhang 22429566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->rmap, &C->rmap)); 22439566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->cmap, &C->cmap)); 2244d4002b98SHong Zhang 224507e43b41SHong Zhang PetscCall(PetscMalloc1(a->sliceheight * totalslices, &c->rlen)); 22469566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &c->sliidx)); 2247d4002b98SHong Zhang 2248d4002b98SHong Zhang for (i = 0; i < m; i++) c->rlen[i] = a->rlen[i]; 2249d4002b98SHong Zhang for (i = 0; i < totalslices + 1; i++) c->sliidx[i] = a->sliidx[i]; 2250d4002b98SHong Zhang 2251d4002b98SHong Zhang /* allocate the matrix space */ 2252d4002b98SHong Zhang if (mallocmatspace) { 22539566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(a->maxallocmat, &c->val, a->maxallocmat, &c->colidx)); 2254d4002b98SHong Zhang 2255d4002b98SHong Zhang c->singlemalloc = PETSC_TRUE; 2256d4002b98SHong Zhang 2257d4002b98SHong Zhang if (m > 0) { 22589566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->colidx, a->colidx, a->maxallocmat)); 2259d4002b98SHong Zhang if (cpvalues == MAT_COPY_VALUES) { 22609566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->val, a->val, a->maxallocmat)); 2261d4002b98SHong Zhang } else { 22629566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(c->val, a->maxallocmat)); 2263d4002b98SHong Zhang } 2264d4002b98SHong Zhang } 2265d4002b98SHong Zhang } 2266d4002b98SHong Zhang 2267d4002b98SHong Zhang c->ignorezeroentries = a->ignorezeroentries; 2268d4002b98SHong Zhang c->roworiented = a->roworiented; 2269d4002b98SHong Zhang c->nonew = a->nonew; 2270d4002b98SHong Zhang if (a->diag) { 22719566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &c->diag)); 2272ad540459SPierre Jolivet for (i = 0; i < m; i++) c->diag[i] = a->diag[i]; 2273f4259b30SLisandro Dalcin } else c->diag = NULL; 2274d4002b98SHong Zhang 2275f4259b30SLisandro Dalcin c->solve_work = NULL; 2276f4259b30SLisandro Dalcin c->saved_values = NULL; 2277f4259b30SLisandro Dalcin c->idiag = NULL; 2278f4259b30SLisandro Dalcin c->ssor_work = NULL; 2279d4002b98SHong Zhang c->keepnonzeropattern = a->keepnonzeropattern; 2280d4002b98SHong Zhang c->free_val = PETSC_TRUE; 2281d4002b98SHong Zhang c->free_colidx = PETSC_TRUE; 2282d4002b98SHong Zhang 2283d4002b98SHong Zhang c->maxallocmat = a->maxallocmat; 2284d4002b98SHong Zhang c->maxallocrow = a->maxallocrow; 2285d4002b98SHong Zhang c->rlenmax = a->rlenmax; 2286d4002b98SHong Zhang c->nz = a->nz; 2287d4002b98SHong Zhang C->preallocated = PETSC_TRUE; 2288d4002b98SHong Zhang 2289d4002b98SHong Zhang c->nonzerorowcnt = a->nonzerorowcnt; 2290d4002b98SHong Zhang C->nonzerostate = A->nonzerostate; 2291d4002b98SHong Zhang 22929566063dSJacob Faibussowitsch PetscCall(PetscFunctionListDuplicate(((PetscObject)A)->qlist, &((PetscObject)C)->qlist)); 22933ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2294d4002b98SHong Zhang } 2295d4002b98SHong Zhang 2296d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDuplicate_SeqSELL(Mat A, MatDuplicateOption cpvalues, Mat *B) 2297d71ae5a4SJacob Faibussowitsch { 2298d4002b98SHong Zhang PetscFunctionBegin; 22999566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), B)); 23009566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*B, A->rmap->n, A->cmap->n, A->rmap->n, A->cmap->n)); 230148a46eb9SPierre Jolivet if (!(A->rmap->n % A->rmap->bs) && !(A->cmap->n % A->cmap->bs)) PetscCall(MatSetBlockSizesFromMats(*B, A, A)); 23029566063dSJacob Faibussowitsch PetscCall(MatSetType(*B, ((PetscObject)A)->type_name)); 23039566063dSJacob Faibussowitsch PetscCall(MatDuplicateNoCreate_SeqSELL(*B, A, cpvalues, PETSC_TRUE)); 23043ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2305d4002b98SHong Zhang } 2306d4002b98SHong Zhang 2307ed73aabaSBarry Smith /*MC 2308ed73aabaSBarry Smith MATSEQSELL - MATSEQSELL = "seqsell" - A matrix type to be used for sequential sparse matrices, 2309*1d27aa22SBarry Smith based on the sliced Ellpack format, {cite}`zhangellpack2018` 2310ed73aabaSBarry Smith 231120f4b53cSBarry Smith Options Database Key: 231211a5261eSBarry Smith . -mat_type seqsell - sets the matrix type to "`MATSEQELL` during a call to `MatSetFromOptions()` 2313ed73aabaSBarry Smith 2314ed73aabaSBarry Smith Level: beginner 2315ed73aabaSBarry Smith 231667be906fSBarry Smith .seealso: `Mat`, `MatCreateSeqSell()`, `MATSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATAIJ`, `MATMPIAIJ` 2317ed73aabaSBarry Smith M*/ 2318ed73aabaSBarry Smith 2319ed73aabaSBarry Smith /*MC 2320*1d27aa22SBarry Smith MATSELL - MATSELL = "sell" - A matrix type to be used for sparse matrices, {cite}`zhangellpack2018` 2321ed73aabaSBarry Smith 232211a5261eSBarry Smith This matrix type is identical to `MATSEQSELL` when constructed with a single process communicator, 232311a5261eSBarry Smith and `MATMPISELL` otherwise. As a result, for single process communicators, 232411a5261eSBarry Smith `MatSeqSELLSetPreallocation()` is supported, and similarly `MatMPISELLSetPreallocation()` is supported 2325ed73aabaSBarry Smith for communicators controlling multiple processes. It is recommended that you call both of 2326ed73aabaSBarry Smith the above preallocation routines for simplicity. 2327ed73aabaSBarry Smith 232820f4b53cSBarry Smith Options Database Key: 2329ed73aabaSBarry Smith . -mat_type sell - sets the matrix type to "sell" during a call to MatSetFromOptions() 2330ed73aabaSBarry Smith 2331ed73aabaSBarry Smith Level: beginner 2332ed73aabaSBarry Smith 2333ed73aabaSBarry Smith Notes: 23347de69702SBarry Smith This format is only supported for real scalars, double precision, and 32-bit indices (the defaults). 2335ed73aabaSBarry Smith 2336ed73aabaSBarry Smith It can provide better performance on Intel and AMD processes with AVX2 or AVX512 support for matrices that have a similar number of 2337ed73aabaSBarry Smith non-zeros in contiguous groups of rows. However if the computation is memory bandwidth limited it may not provide much improvement. 2338ed73aabaSBarry Smith 2339ed73aabaSBarry Smith Developer Notes: 2340ed73aabaSBarry Smith On Intel (and AMD) systems some of the matrix operations use SIMD (AVX) instructions to achieve higher performance. 2341ed73aabaSBarry Smith 2342ed73aabaSBarry Smith The sparse matrix format is as follows. For simplicity we assume a slice size of 2, it is actually 8 2343ed73aabaSBarry Smith .vb 2344ed73aabaSBarry Smith (2 0 3 4) 2345ed73aabaSBarry Smith Consider the matrix A = (5 0 6 0) 2346ed73aabaSBarry Smith (0 0 7 8) 2347ed73aabaSBarry Smith (0 0 9 9) 2348ed73aabaSBarry Smith 2349ed73aabaSBarry Smith symbolically the Ellpack format can be written as 2350ed73aabaSBarry Smith 2351ed73aabaSBarry Smith (2 3 4 |) (0 2 3 |) 2352ed73aabaSBarry Smith v = (5 6 0 |) colidx = (0 2 2 |) 2353ed73aabaSBarry Smith -------- --------- 2354ed73aabaSBarry Smith (7 8 |) (2 3 |) 2355ed73aabaSBarry Smith (9 9 |) (2 3 |) 2356ed73aabaSBarry Smith 2357ed73aabaSBarry 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). 2358ed73aabaSBarry 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 2359ed73aabaSBarry 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. 2360ed73aabaSBarry Smith 2361ed73aabaSBarry 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) 2362ed73aabaSBarry Smith 2363ed73aabaSBarry Smith .ve 2364ed73aabaSBarry Smith 2365*1d27aa22SBarry Smith See `MatMult_SeqSELL()` for how this format is used with the SIMD operations to achieve high performance. 2366ed73aabaSBarry Smith 236767be906fSBarry Smith .seealso: `Mat`, `MatCreateSeqSELL()`, `MatCreateSeqAIJ()`, `MatCreateSell()`, `MATSEQSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATMPIAIJ`, `MATAIJ` 2368ed73aabaSBarry Smith M*/ 2369ed73aabaSBarry Smith 2370d4002b98SHong Zhang /*@C 237111a5261eSBarry Smith MatCreateSeqSELL - Creates a sparse matrix in `MATSEQSELL` format. 2372d4002b98SHong Zhang 23732ef1f0ffSBarry Smith Collective 2374d4002b98SHong Zhang 2375d4002b98SHong Zhang Input Parameters: 237611a5261eSBarry Smith + comm - MPI communicator, set to `PETSC_COMM_SELF` 2377d4002b98SHong Zhang . m - number of rows 2378d4002b98SHong Zhang . n - number of columns 237920f4b53cSBarry Smith . rlenmax - maximum number of nonzeros in a row, ignored if `rlen` is provided 238020f4b53cSBarry Smith - rlen - array containing the number of nonzeros in the various rows (possibly different for each row) or NULL 2381d4002b98SHong Zhang 2382d4002b98SHong Zhang Output Parameter: 2383d4002b98SHong Zhang . A - the matrix 2384d4002b98SHong Zhang 238520f4b53cSBarry Smith Level: intermediate 238620f4b53cSBarry Smith 238720f4b53cSBarry Smith Notes: 238811a5261eSBarry Smith It is recommended that one use the `MatCreate()`, `MatSetType()` and/or `MatSetFromOptions()`, 2389f6f02116SRichard Tran Mills MatXXXXSetPreallocation() paradigm instead of this routine directly. 239011a5261eSBarry Smith [MatXXXXSetPreallocation() is, for example, `MatSeqSELLSetPreallocation()`] 2391d4002b98SHong Zhang 239220f4b53cSBarry Smith Specify the preallocated storage with either `rlenmax` or `rlen` (not both). 239320f4b53cSBarry Smith Set `rlenmax` = `PETSC_DEFAULT` and `rlen` = `NULL` for PETSc to control dynamic memory 239420f4b53cSBarry Smith allocation. 2395d4002b98SHong Zhang 2396fe59aa6dSJacob Faibussowitsch .seealso: `Mat`, `MATSEQSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatSeqSELLSetPreallocation()`, `MATSELL`, `MATMPISELL` 2397d4002b98SHong Zhang @*/ 239820f4b53cSBarry Smith PetscErrorCode MatCreateSeqSELL(MPI_Comm comm, PetscInt m, PetscInt n, PetscInt rlenmax, const PetscInt rlen[], Mat *A) 2399d71ae5a4SJacob Faibussowitsch { 2400d4002b98SHong Zhang PetscFunctionBegin; 24019566063dSJacob Faibussowitsch PetscCall(MatCreate(comm, A)); 24029566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*A, m, n, m, n)); 24039566063dSJacob Faibussowitsch PetscCall(MatSetType(*A, MATSEQSELL)); 240420f4b53cSBarry Smith PetscCall(MatSeqSELLSetPreallocation_SeqSELL(*A, rlenmax, rlen)); 24053ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2406d4002b98SHong Zhang } 2407d4002b98SHong Zhang 2408d71ae5a4SJacob Faibussowitsch PetscErrorCode MatEqual_SeqSELL(Mat A, Mat B, PetscBool *flg) 2409d71ae5a4SJacob Faibussowitsch { 2410d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data, *b = (Mat_SeqSELL *)B->data; 2411d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2412d4002b98SHong Zhang 2413d4002b98SHong Zhang PetscFunctionBegin; 2414d4002b98SHong Zhang /* If the matrix dimensions are not equal,or no of nonzeros */ 2415d4002b98SHong Zhang if ((A->rmap->n != B->rmap->n) || (A->cmap->n != B->cmap->n) || (a->nz != b->nz) || (a->rlenmax != b->rlenmax)) { 2416d4002b98SHong Zhang *flg = PETSC_FALSE; 24173ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2418d4002b98SHong Zhang } 2419d4002b98SHong Zhang /* if the a->colidx are the same */ 24209566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->colidx, b->colidx, a->sliidx[totalslices], flg)); 24213ba16761SJacob Faibussowitsch if (!*flg) PetscFunctionReturn(PETSC_SUCCESS); 2422d4002b98SHong Zhang /* if a->val are the same */ 24239566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->val, b->val, a->sliidx[totalslices], flg)); 24243ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2425d4002b98SHong Zhang } 2426d4002b98SHong Zhang 2427d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat A) 2428d71ae5a4SJacob Faibussowitsch { 2429d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2430d4002b98SHong Zhang 2431d4002b98SHong Zhang PetscFunctionBegin; 2432d4002b98SHong Zhang a->idiagvalid = PETSC_FALSE; 24333ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2434d4002b98SHong Zhang } 2435d4002b98SHong Zhang 2436d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConjugate_SeqSELL(Mat A) 2437d71ae5a4SJacob Faibussowitsch { 2438d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 2439d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2440d4002b98SHong Zhang PetscInt i; 2441d4002b98SHong Zhang PetscScalar *val = a->val; 2442d4002b98SHong Zhang 2443d4002b98SHong Zhang PetscFunctionBegin; 24442d1451d4SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { val[i] = PetscConj(val[i]); } 24452d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 24462d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 24472d1451d4SHong Zhang #endif 2448d4002b98SHong Zhang #else 2449d4002b98SHong Zhang PetscFunctionBegin; 2450d4002b98SHong Zhang #endif 24513ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2452d4002b98SHong Zhang } 2453