1d4002b98SHong Zhang /* 2d4002b98SHong Zhang Defines the basic matrix operations for the SELL matrix storage format. 3d4002b98SHong Zhang */ 4d4002b98SHong Zhang #include <../src/mat/impls/sell/seq/sell.h> /*I "petscmat.h" I*/ 5d4002b98SHong Zhang #include <petscblaslapack.h> 6d4002b98SHong Zhang #include <petsc/private/kernels/blocktranspose.h> 7ed73aabaSBarry Smith 8ed73aabaSBarry Smith static PetscBool cited = PETSC_FALSE; 99371c9d4SSatish Balay static const char citation[] = "@inproceedings{ZhangELLPACK2018,\n" 10ed73aabaSBarry Smith " author = {Hong Zhang and Richard T. Mills and Karl Rupp and Barry F. Smith},\n" 11ed73aabaSBarry Smith " title = {Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512}},\n" 12ed73aabaSBarry Smith " booktitle = {Proceedings of the 47th International Conference on Parallel Processing},\n" 13ed73aabaSBarry Smith " year = 2018\n" 14ed73aabaSBarry Smith "}\n"; 15ed73aabaSBarry Smith 165f70456aSHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && (defined(__AVX512F__) || (defined(__AVX2__) && defined(__FMA__)) || defined(__AVX__)) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 174243e2ceSHong Zhang 18d4002b98SHong Zhang #include <immintrin.h> 19d4002b98SHong Zhang 20d4002b98SHong Zhang #if !defined(_MM_SCALE_8) 21d4002b98SHong Zhang #define _MM_SCALE_8 8 22d4002b98SHong Zhang #endif 23d4002b98SHong Zhang 24d4002b98SHong Zhang #if defined(__AVX512F__) 25d4002b98SHong Zhang /* these do not work 26d4002b98SHong Zhang vec_idx = _mm512_loadunpackhi_epi32(vec_idx,acolidx); 27d4002b98SHong Zhang vec_vals = _mm512_loadunpackhi_pd(vec_vals,aval); 28d4002b98SHong Zhang */ 29d4002b98SHong Zhang #define AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y) \ 30d4002b98SHong Zhang /* if the mask bit is set, copy from acolidx, otherwise from vec_idx */ \ 31ef588d5cSRichard Tran Mills vec_idx = _mm256_loadu_si256((__m256i const *)acolidx); \ 32ef588d5cSRichard Tran Mills vec_vals = _mm512_loadu_pd(aval); \ 33d4002b98SHong Zhang vec_x = _mm512_i32gather_pd(vec_idx, x, _MM_SCALE_8); \ 34a48a6482SHong Zhang vec_y = _mm512_fmadd_pd(vec_x, vec_vals, vec_y) 355f70456aSHong Zhang #elif defined(__AVX2__) && defined(__FMA__) 36a48a6482SHong Zhang #define AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y) \ 37ef588d5cSRichard Tran Mills vec_vals = _mm256_loadu_pd(aval); \ 38ef588d5cSRichard Tran Mills vec_idx = _mm_loadu_si128((__m128i const *)acolidx); /* SSE2 */ \ 39a48a6482SHong Zhang vec_x = _mm256_i32gather_pd(x, vec_idx, _MM_SCALE_8); \ 40a48a6482SHong Zhang vec_y = _mm256_fmadd_pd(vec_x, vec_vals, vec_y) 41d4002b98SHong Zhang #endif 42d4002b98SHong Zhang #endif /* PETSC_HAVE_IMMINTRIN_H */ 43d4002b98SHong Zhang 445d83a8b1SBarry Smith /*@ 45d4002b98SHong Zhang MatSeqSELLSetPreallocation - For good matrix assembly performance 4620f4b53cSBarry Smith the user should preallocate the matrix storage by setting the parameter `nz` 4720f4b53cSBarry Smith (or the array `nnz`). 48d4002b98SHong Zhang 49d083f849SBarry Smith Collective 50d4002b98SHong Zhang 51d4002b98SHong Zhang Input Parameters: 5211a5261eSBarry Smith + B - The `MATSEQSELL` matrix 5320f4b53cSBarry Smith . rlenmax - number of nonzeros per row (same for all rows), ignored if `rlen` is provided 5420f4b53cSBarry Smith - rlen - array containing the number of nonzeros in the various rows (possibly different for each row) or `NULL` 5567be906fSBarry Smith 5667be906fSBarry Smith Level: intermediate 57d4002b98SHong Zhang 58d4002b98SHong Zhang Notes: 5967be906fSBarry Smith Specify the preallocated storage with either `rlenmax` or `rlen` (not both). 6067be906fSBarry Smith Set `rlenmax` = `PETSC_DEFAULT` and `rlen` = `NULL` for PETSc to control dynamic memory 6120f4b53cSBarry Smith allocation. 62d4002b98SHong Zhang 6311a5261eSBarry Smith You can call `MatGetInfo()` to get information on how effective the preallocation was; 64d4002b98SHong Zhang for example the fields mallocs,nz_allocated,nz_used,nz_unneeded; 6567be906fSBarry Smith You can also run with the option `-info` and look for messages with the string 66d4002b98SHong Zhang malloc in them to see if additional memory allocation was needed. 67d4002b98SHong Zhang 68fe59aa6dSJacob Faibussowitsch Developer Notes: 6967be906fSBarry Smith Use `rlenmax` of `MAT_SKIP_ALLOCATION` to not allocate any space for the matrix 70d4002b98SHong Zhang entries or columns indices. 71d4002b98SHong Zhang 72c7ee91abSRichard Tran Mills The maximum number of nonzeos in any row should be as accurate as possible. 73c7ee91abSRichard Tran Mills If it is underestimated, you will get bad performance due to reallocation 7467be906fSBarry Smith (`MatSeqXSELLReallocateSELL()`). 75d4002b98SHong Zhang 7667be906fSBarry Smith .seealso: `Mat`, `MATSEQSELL`, `MATSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatGetInfo()` 77d4002b98SHong Zhang @*/ 78d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLSetPreallocation(Mat B, PetscInt rlenmax, const PetscInt rlen[]) 79d71ae5a4SJacob Faibussowitsch { 80d4002b98SHong Zhang PetscFunctionBegin; 81d4002b98SHong Zhang PetscValidHeaderSpecific(B, MAT_CLASSID, 1); 82d4002b98SHong Zhang PetscValidType(B, 1); 83cac4c232SBarry Smith PetscTryMethod(B, "MatSeqSELLSetPreallocation_C", (Mat, PetscInt, const PetscInt[]), (B, rlenmax, rlen)); 843ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 85d4002b98SHong Zhang } 86d4002b98SHong Zhang 87d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat B, PetscInt maxallocrow, const PetscInt rlen[]) 88d71ae5a4SJacob Faibussowitsch { 89d4002b98SHong Zhang Mat_SeqSELL *b; 90d4002b98SHong Zhang PetscInt i, j, totalslices; 91773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 924e58db63SHong Zhang PetscInt rlenmax = 0; 934e58db63SHong Zhang #endif 94d4002b98SHong Zhang PetscBool skipallocation = PETSC_FALSE, realalloc = PETSC_FALSE; 95d4002b98SHong Zhang 96d4002b98SHong Zhang PetscFunctionBegin; 97d4002b98SHong Zhang if (maxallocrow >= 0 || rlen) realalloc = PETSC_TRUE; 98d4002b98SHong Zhang if (maxallocrow == MAT_SKIP_ALLOCATION) { 99d4002b98SHong Zhang skipallocation = PETSC_TRUE; 100d4002b98SHong Zhang maxallocrow = 0; 101d4002b98SHong Zhang } 102d4002b98SHong Zhang 1039566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->rmap)); 1049566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->cmap)); 105d4002b98SHong Zhang 106d4002b98SHong Zhang /* FIXME: if one preallocates more space than needed, the matrix does not shrink automatically, but for best performance it should */ 107d4002b98SHong Zhang if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 5; 10808401ef6SPierre Jolivet PetscCheck(maxallocrow >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "maxallocrow cannot be less than 0: value %" PetscInt_FMT, maxallocrow); 109d4002b98SHong Zhang if (rlen) { 110d4002b98SHong Zhang for (i = 0; i < B->rmap->n; i++) { 11108401ef6SPierre Jolivet PetscCheck(rlen[i] >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "rlen cannot be less than 0: local row %" PetscInt_FMT " value %" PetscInt_FMT, i, rlen[i]); 11208401ef6SPierre Jolivet PetscCheck(rlen[i] <= B->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "rlen cannot be greater than row length: local row %" PetscInt_FMT " value %" PetscInt_FMT " rowlength %" PetscInt_FMT, i, rlen[i], B->cmap->n); 113d4002b98SHong Zhang } 114d4002b98SHong Zhang } 115d4002b98SHong Zhang 116d4002b98SHong Zhang B->preallocated = PETSC_TRUE; 117d4002b98SHong Zhang 118d4002b98SHong Zhang b = (Mat_SeqSELL *)B->data; 119d4002b98SHong Zhang 12007e43b41SHong Zhang if (!b->sliceheight) { /* not set yet */ 121773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 12207e43b41SHong Zhang b->sliceheight = 16; 12307e43b41SHong Zhang #else 12407e43b41SHong Zhang b->sliceheight = 8; 12507e43b41SHong Zhang #endif 12607e43b41SHong Zhang } 12707e43b41SHong Zhang totalslices = PetscCeilInt(B->rmap->n, b->sliceheight); 128d4002b98SHong Zhang b->totalslices = totalslices; 129d4002b98SHong Zhang if (!skipallocation) { 13007e43b41SHong Zhang if (B->rmap->n % b->sliceheight) PetscCall(PetscInfo(B, "Padding rows to the SEQSELL matrix because the number of rows is not the multiple of the slice height (value %" PetscInt_FMT ")\n", B->rmap->n)); 131d4002b98SHong Zhang 132d4002b98SHong Zhang if (!b->sliidx) { /* sliidx gives the starting index of each slice, the last element is the total space allocated */ 1339566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &b->sliidx)); 134d4002b98SHong Zhang } 135d4002b98SHong Zhang if (!rlen) { /* if rlen is not provided, allocate same space for all the slices */ 136d4002b98SHong Zhang if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 10; 137d4002b98SHong Zhang else if (maxallocrow < 0) maxallocrow = 1; 138773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 1394e58db63SHong Zhang rlenmax = maxallocrow; 1404e58db63SHong Zhang /* Pad the slice to DEVICE_MEM_ALIGN */ 1414e58db63SHong Zhang while (b->sliceheight * maxallocrow % DEVICE_MEM_ALIGN) maxallocrow++; 1424e58db63SHong Zhang #endif 14307e43b41SHong Zhang for (i = 0; i <= totalslices; i++) b->sliidx[i] = b->sliceheight * i * maxallocrow; 144d4002b98SHong Zhang } else { 145773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 1464e58db63SHong Zhang PetscInt mul = DEVICE_MEM_ALIGN / b->sliceheight; 1474e58db63SHong Zhang #endif 148d4002b98SHong Zhang maxallocrow = 0; 149d4002b98SHong Zhang b->sliidx[0] = 0; 150d4002b98SHong Zhang for (i = 1; i < totalslices; i++) { 151d4002b98SHong Zhang b->sliidx[i] = 0; 152ac530a7eSPierre Jolivet for (j = 0; j < b->sliceheight; j++) b->sliidx[i] = PetscMax(b->sliidx[i], rlen[b->sliceheight * (i - 1) + j]); 153773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 154773bf0f6SHong Zhang if (mul != 0) { /* Pad the slice to DEVICE_MEM_ALIGN if sliceheight < DEVICE_MEM_ALIGN */ 1554e58db63SHong Zhang rlenmax = PetscMax(b->sliidx[i], rlenmax); 1564e58db63SHong Zhang b->sliidx[i] = ((b->sliidx[i] - 1) / mul + 1) * mul; 157773bf0f6SHong Zhang } 1584e58db63SHong Zhang #endif 159d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[i], maxallocrow); 16007e43b41SHong Zhang PetscCall(PetscIntSumError(b->sliidx[i - 1], b->sliceheight * b->sliidx[i], &b->sliidx[i])); 161d4002b98SHong Zhang } 162d4002b98SHong Zhang /* last slice */ 163d4002b98SHong Zhang b->sliidx[totalslices] = 0; 16407e43b41SHong Zhang for (j = b->sliceheight * (totalslices - 1); j < B->rmap->n; j++) b->sliidx[totalslices] = PetscMax(b->sliidx[totalslices], rlen[j]); 165773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 166773bf0f6SHong Zhang if (mul != 0) { 1674e58db63SHong Zhang rlenmax = PetscMax(b->sliidx[i], rlenmax); 1684e58db63SHong Zhang b->sliidx[totalslices] = ((b->sliidx[totalslices] - 1) / mul + 1) * mul; 169773bf0f6SHong Zhang } 1704e58db63SHong Zhang #endif 171d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[totalslices], maxallocrow); 17207e43b41SHong Zhang b->sliidx[totalslices] = b->sliidx[totalslices - 1] + b->sliceheight * b->sliidx[totalslices]; 173d4002b98SHong Zhang } 174d4002b98SHong Zhang 175d4002b98SHong Zhang /* allocate space for val, colidx, rlen */ 176d4002b98SHong Zhang /* FIXME: should B's old memory be unlogged? */ 1779566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(B, &b->val, &b->colidx)); 178d4002b98SHong Zhang /* FIXME: assuming an element of the bit array takes 8 bits */ 1799566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(b->sliidx[totalslices], &b->val, b->sliidx[totalslices], &b->colidx)); 180d4002b98SHong Zhang /* b->rlen will count nonzeros in each row so far. We dont copy rlen to b->rlen because the matrix has not been set. */ 18107e43b41SHong Zhang PetscCall(PetscCalloc1(b->sliceheight * totalslices, &b->rlen)); 182d4002b98SHong Zhang 183d4002b98SHong Zhang b->singlemalloc = PETSC_TRUE; 184d4002b98SHong Zhang b->free_val = PETSC_TRUE; 185d4002b98SHong Zhang b->free_colidx = PETSC_TRUE; 186d4002b98SHong Zhang } else { 187d4002b98SHong Zhang b->free_val = PETSC_FALSE; 188d4002b98SHong Zhang b->free_colidx = PETSC_FALSE; 189d4002b98SHong Zhang } 190d4002b98SHong Zhang 191d4002b98SHong Zhang b->nz = 0; 192d4002b98SHong Zhang b->maxallocrow = maxallocrow; 193773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 1944e58db63SHong Zhang b->rlenmax = rlenmax; 1954e58db63SHong Zhang #else 196d4002b98SHong Zhang b->rlenmax = maxallocrow; 1974e58db63SHong Zhang #endif 198d4002b98SHong Zhang b->maxallocmat = b->sliidx[totalslices]; 199d4002b98SHong Zhang B->info.nz_unneeded = (double)b->maxallocmat; 2001baa6e33SBarry Smith if (realalloc) PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE)); 2013ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 202d4002b98SHong Zhang } 203d4002b98SHong Zhang 204ba38deedSJacob Faibussowitsch static PetscErrorCode MatGetRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 205d71ae5a4SJacob Faibussowitsch { 2066108893eSStefano Zampini Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2076108893eSStefano Zampini PetscInt shift; 2086108893eSStefano Zampini 2096108893eSStefano Zampini PetscFunctionBegin; 210aed4548fSBarry Smith PetscCheck(row >= 0 && row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row %" PetscInt_FMT " out of range", row); 2116108893eSStefano Zampini if (nz) *nz = a->rlen[row]; 21207e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + (row % a->sliceheight); 2133a7d0413SPierre Jolivet if (!a->getrowcols) PetscCall(PetscMalloc2(a->rlenmax, &a->getrowcols, a->rlenmax, &a->getrowvals)); 2146108893eSStefano Zampini if (idx) { 2156108893eSStefano Zampini PetscInt j; 21607e43b41SHong Zhang for (j = 0; j < a->rlen[row]; j++) a->getrowcols[j] = a->colidx[shift + a->sliceheight * j]; 2176108893eSStefano Zampini *idx = a->getrowcols; 2186108893eSStefano Zampini } 2196108893eSStefano Zampini if (v) { 2206108893eSStefano Zampini PetscInt j; 22107e43b41SHong Zhang for (j = 0; j < a->rlen[row]; j++) a->getrowvals[j] = a->val[shift + a->sliceheight * j]; 2226108893eSStefano Zampini *v = a->getrowvals; 2236108893eSStefano Zampini } 2243ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2256108893eSStefano Zampini } 2266108893eSStefano Zampini 227ba38deedSJacob Faibussowitsch static PetscErrorCode MatRestoreRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 228d71ae5a4SJacob Faibussowitsch { 2296108893eSStefano Zampini PetscFunctionBegin; 2303ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2316108893eSStefano Zampini } 2326108893eSStefano Zampini 233d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) 234d71ae5a4SJacob Faibussowitsch { 235d4002b98SHong Zhang Mat B; 236d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 237e3f1f374SStefano Zampini PetscInt i; 238d4002b98SHong Zhang 239d4002b98SHong Zhang PetscFunctionBegin; 240ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 241ad013a7bSRichard Tran Mills B = *newmat; 2429566063dSJacob Faibussowitsch PetscCall(MatZeroEntries(B)); 243ad013a7bSRichard Tran Mills } else { 2449566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2459566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, A->rmap->n, A->cmap->n, A->rmap->N, A->cmap->N)); 2469566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQAIJ)); 2479566063dSJacob Faibussowitsch PetscCall(MatSeqAIJSetPreallocation(B, 0, a->rlen)); 248ad013a7bSRichard Tran Mills } 249d4002b98SHong Zhang 250e3f1f374SStefano Zampini for (i = 0; i < A->rmap->n; i++) { 251e108cb99SStefano Zampini PetscInt nz = 0, *cols = NULL; 252e108cb99SStefano Zampini PetscScalar *vals = NULL; 253e3f1f374SStefano Zampini 2549566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqSELL(A, i, &nz, &cols, &vals)); 2559566063dSJacob Faibussowitsch PetscCall(MatSetValues(B, 1, &i, nz, cols, vals, INSERT_VALUES)); 2569566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqSELL(A, i, &nz, &cols, &vals)); 257d4002b98SHong Zhang } 258e3f1f374SStefano Zampini 2599566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 2609566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 261d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 262d4002b98SHong Zhang 263d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 2649566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 265d4002b98SHong Zhang } else { 266d4002b98SHong Zhang *newmat = B; 267d4002b98SHong Zhang } 2683ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 269d4002b98SHong Zhang } 270d4002b98SHong Zhang 271d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/aij.h> 272d4002b98SHong Zhang 273d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) 274d71ae5a4SJacob Faibussowitsch { 275d4002b98SHong Zhang Mat B; 276d4002b98SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ *)A->data; 277d4002b98SHong Zhang PetscInt *ai = a->i, m = A->rmap->N, n = A->cmap->N, i, *rowlengths, row, ncols; 278d4002b98SHong Zhang const PetscInt *cols; 279d4002b98SHong Zhang const PetscScalar *vals; 280d4002b98SHong Zhang 281d4002b98SHong Zhang PetscFunctionBegin; 282ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 283ad013a7bSRichard Tran Mills B = *newmat; 284ad013a7bSRichard Tran Mills } else { 285d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) || !a->ilen) { 2869566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &rowlengths)); 287ad540459SPierre Jolivet for (i = 0; i < m; i++) rowlengths[i] = ai[i + 1] - ai[i]; 288d5e5b2e5SBarry Smith } 289d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) && a->ilen) { 290d5e5b2e5SBarry Smith PetscBool eq; 2919566063dSJacob Faibussowitsch PetscCall(PetscMemcmp(rowlengths, a->ilen, m * sizeof(PetscInt), &eq)); 29228b400f6SJacob Faibussowitsch PetscCheck(eq, PETSC_COMM_SELF, PETSC_ERR_PLIB, "SeqAIJ ilen array incorrect"); 2939566063dSJacob Faibussowitsch PetscCall(PetscFree(rowlengths)); 294d5e5b2e5SBarry Smith rowlengths = a->ilen; 295d5e5b2e5SBarry Smith } else if (a->ilen) rowlengths = a->ilen; 2969566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2979566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, m, n, m, n)); 2989566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQSELL)); 2999566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(B, 0, rowlengths)); 3009566063dSJacob Faibussowitsch if (rowlengths != a->ilen) PetscCall(PetscFree(rowlengths)); 301ad013a7bSRichard Tran Mills } 302d4002b98SHong Zhang 303d4002b98SHong Zhang for (row = 0; row < m; row++) { 3049566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 3059566063dSJacob Faibussowitsch PetscCall(MatSetValues_SeqSELL(B, 1, &row, ncols, cols, vals, INSERT_VALUES)); 3069566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 307d4002b98SHong Zhang } 3089566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 3099566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 310d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 311d4002b98SHong Zhang 312d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 3139566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 314d4002b98SHong Zhang } else { 315d4002b98SHong Zhang *newmat = B; 316d4002b98SHong Zhang } 3173ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 318d4002b98SHong Zhang } 319d4002b98SHong Zhang 320d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMult_SeqSELL(Mat A, Vec xx, Vec yy) 321d71ae5a4SJacob Faibussowitsch { 322d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 323d4002b98SHong Zhang PetscScalar *y; 324d4002b98SHong Zhang const PetscScalar *x; 325d4002b98SHong Zhang const MatScalar *aval = a->val; 326d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 327d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 3287285fed1SHong Zhang PetscInt i, j; 329d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 330d4002b98SHong Zhang __m512d vec_x, vec_y, vec_vals; 331d4002b98SHong Zhang __m256i vec_idx; 332d4002b98SHong Zhang __mmask8 mask; 333d4002b98SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 334d4002b98SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 3355f70456aSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX2__) && defined(__FMA__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 336a48a6482SHong Zhang __m128i vec_idx; 337a48a6482SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 338a48a6482SHong Zhang MatScalar yval; 339a48a6482SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 34021cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 341d4002b98SHong Zhang __m128d vec_x_tmp; 342d4002b98SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 343d4002b98SHong Zhang MatScalar yval; 344d4002b98SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 345d4002b98SHong Zhang #else 34607e43b41SHong Zhang PetscInt k, sliceheight = a->sliceheight; 34707e43b41SHong Zhang PetscScalar *sum; 348d4002b98SHong Zhang #endif 349d4002b98SHong Zhang 350d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 351d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 352d4002b98SHong Zhang #endif 353d4002b98SHong Zhang 354d4002b98SHong Zhang PetscFunctionBegin; 3559566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 3569566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 357d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 35807e43b41SHong Zhang PetscCheck(a->sliceheight == 8, PETSC_COMM_SELF, PETSC_ERR_SUP, "The kernel requires a slice height of 8, but the input matrix has a slice height of %" PetscInt_FMT, a->sliceheight); 359d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 360d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 361d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 362d4002b98SHong Zhang 363d4002b98SHong Zhang vec_y = _mm512_setzero_pd(); 364d4002b98SHong Zhang vec_y2 = _mm512_setzero_pd(); 365d4002b98SHong Zhang vec_y3 = _mm512_setzero_pd(); 366d4002b98SHong Zhang vec_y4 = _mm512_setzero_pd(); 367d4002b98SHong Zhang 368da81f932SPierre Jolivet j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice column */ 369d4002b98SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 370d4002b98SHong Zhang case 3: 371d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3729371c9d4SSatish Balay acolidx += 8; 3739371c9d4SSatish Balay aval += 8; 374d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3759371c9d4SSatish Balay acolidx += 8; 3769371c9d4SSatish Balay aval += 8; 377d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 3789371c9d4SSatish Balay acolidx += 8; 3799371c9d4SSatish Balay aval += 8; 380d4002b98SHong Zhang j += 3; 381d4002b98SHong Zhang break; 382d4002b98SHong Zhang case 2: 383d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3849371c9d4SSatish Balay acolidx += 8; 3859371c9d4SSatish Balay aval += 8; 386d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3879371c9d4SSatish Balay acolidx += 8; 3889371c9d4SSatish Balay aval += 8; 389d4002b98SHong Zhang j += 2; 390d4002b98SHong Zhang break; 391d4002b98SHong Zhang case 1: 392d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3939371c9d4SSatish Balay acolidx += 8; 3949371c9d4SSatish Balay aval += 8; 395d4002b98SHong Zhang j += 1; 396d4002b98SHong Zhang break; 397d4002b98SHong Zhang } 398d4002b98SHong Zhang #pragma novector 399d4002b98SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 400d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 4019371c9d4SSatish Balay acolidx += 8; 4029371c9d4SSatish Balay aval += 8; 403d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 4049371c9d4SSatish Balay acolidx += 8; 4059371c9d4SSatish Balay aval += 8; 406d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 4079371c9d4SSatish Balay acolidx += 8; 4089371c9d4SSatish Balay aval += 8; 409d4002b98SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 4109371c9d4SSatish Balay acolidx += 8; 4119371c9d4SSatish Balay aval += 8; 412d4002b98SHong Zhang } 413d4002b98SHong Zhang 414d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 415d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 416d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 417d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 418d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 419ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&y[8 * i], mask, vec_y); 420d4002b98SHong Zhang } else { 421ef588d5cSRichard Tran Mills _mm512_storeu_pd(&y[8 * i], vec_y); 422d4002b98SHong Zhang } 423d4002b98SHong Zhang } 4245f70456aSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX2__) && defined(__FMA__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 42507e43b41SHong Zhang PetscCheck(a->sliceheight == 8, PETSC_COMM_SELF, PETSC_ERR_SUP, "The kernel requires a slice height of 8, but the input matrix has a slice height of %" PetscInt_FMT, a->sliceheight); 426a48a6482SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 427a48a6482SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 428a48a6482SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 429a48a6482SHong Zhang 430a48a6482SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 431a48a6482SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 432a48a6482SHong Zhang rows_left = A->rmap->n - 8 * i; 433a48a6482SHong Zhang for (r = 0; r < rows_left; ++r) { 434a48a6482SHong Zhang yval = (MatScalar)0; 435a48a6482SHong Zhang row = 8 * i + r; 436a48a6482SHong Zhang nnz_in_row = a->rlen[row]; 437a48a6482SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 438a48a6482SHong Zhang y[row] = yval; 439a48a6482SHong Zhang } 440a48a6482SHong Zhang break; 441a48a6482SHong Zhang } 442a48a6482SHong Zhang 443a48a6482SHong Zhang vec_y = _mm256_setzero_pd(); 444a48a6482SHong Zhang vec_y2 = _mm256_setzero_pd(); 445a48a6482SHong Zhang 446a48a6482SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 447a48a6482SHong Zhang #pragma novector 448a48a6482SHong Zhang #pragma unroll(2) 449a48a6482SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 450a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 4519371c9d4SSatish Balay aval += 4; 4529371c9d4SSatish Balay acolidx += 4; 453a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y2); 4549371c9d4SSatish Balay aval += 4; 4559371c9d4SSatish Balay acolidx += 4; 456a48a6482SHong Zhang } 457a48a6482SHong Zhang 458ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8, vec_y); 459ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 460a48a6482SHong Zhang } 46121cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 46207e43b41SHong Zhang PetscCheck(a->sliceheight == 8, PETSC_COMM_SELF, PETSC_ERR_SUP, "The kernel requires a slice height of 8, but the input matrix has a slice height of %" PetscInt_FMT, a->sliceheight); 463d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 464d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 465d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 466d4002b98SHong Zhang 467d4002b98SHong Zhang vec_y = _mm256_setzero_pd(); 468d4002b98SHong Zhang vec_y2 = _mm256_setzero_pd(); 469d4002b98SHong Zhang 470d4002b98SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 471d4002b98SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 472d4002b98SHong Zhang rows_left = A->rmap->n - 8 * i; 473d4002b98SHong Zhang for (r = 0; r < rows_left; ++r) { 474d4002b98SHong Zhang yval = (MatScalar)0; 475d4002b98SHong Zhang row = 8 * i + r; 476d4002b98SHong Zhang nnz_in_row = a->rlen[row]; 477d4002b98SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 478d4002b98SHong Zhang y[row] = yval; 479d4002b98SHong Zhang } 480d4002b98SHong Zhang break; 481d4002b98SHong Zhang } 482d4002b98SHong Zhang 483d4002b98SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 484a48a6482SHong Zhang #pragma novector 485a48a6482SHong Zhang #pragma unroll(2) 4867285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 487d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 488165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 489d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 490d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 491d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 492d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 493d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 494d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 495d4002b98SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 496d4002b98SHong Zhang aval += 4; 497d4002b98SHong Zhang 498d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 499d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 500d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 501d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 502d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 503d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 504d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 505d4002b98SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 506d4002b98SHong Zhang aval += 4; 507d4002b98SHong Zhang } 508d4002b98SHong Zhang 509d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8, vec_y); 510d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 511d4002b98SHong Zhang } 512d4002b98SHong Zhang #else 51307e43b41SHong Zhang PetscCall(PetscMalloc1(sliceheight, &sum)); 514d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 51507e43b41SHong Zhang for (j = 0; j < sliceheight; j++) { 5162d1451d4SHong Zhang sum[j] = 0.0; 51707e43b41SHong Zhang for (k = a->sliidx[i] + j; k < a->sliidx[i + 1]; k += sliceheight) sum[j] += aval[k] * x[acolidx[k]]; 518d4002b98SHong Zhang } 51907e43b41SHong Zhang if (i == totalslices - 1 && (A->rmap->n % sliceheight)) { /* if last slice has padding rows */ 52007e43b41SHong Zhang for (j = 0; j < (A->rmap->n % sliceheight); j++) y[sliceheight * i + j] = sum[j]; 521d4002b98SHong Zhang } else { 52207e43b41SHong Zhang for (j = 0; j < sliceheight; j++) y[sliceheight * i + j] = sum[j]; 523d4002b98SHong Zhang } 524d4002b98SHong Zhang } 52507e43b41SHong Zhang PetscCall(PetscFree(sum)); 526d4002b98SHong Zhang #endif 527d4002b98SHong Zhang 5289566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz - a->nonzerorowcnt)); /* theoretical minimal FLOPs */ 5299566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 5309566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 5313ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 532d4002b98SHong Zhang } 533d4002b98SHong Zhang 534d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/ftn-kernels/fmultadd.h> 535d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultAdd_SeqSELL(Mat A, Vec xx, Vec yy, Vec zz) 536d71ae5a4SJacob Faibussowitsch { 537d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 538d4002b98SHong Zhang PetscScalar *y, *z; 539d4002b98SHong Zhang const PetscScalar *x; 540d4002b98SHong Zhang const MatScalar *aval = a->val; 541d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 542d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 543d4002b98SHong Zhang PetscInt i, j; 544d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5457285fed1SHong Zhang __m512d vec_x, vec_y, vec_vals; 546d4002b98SHong Zhang __m256i vec_idx; 5475ea36cfaSSatish Balay __mmask8 mask = 0; 5487285fed1SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 5497285fed1SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 55021cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5517285fed1SHong Zhang __m128d vec_x_tmp; 5527285fed1SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 5537285fed1SHong Zhang MatScalar yval; 5547285fed1SHong Zhang PetscInt r, row, nnz_in_row; 555d4002b98SHong Zhang #else 55607e43b41SHong Zhang PetscInt k, sliceheight = a->sliceheight; 55707e43b41SHong Zhang PetscScalar *sum; 558d4002b98SHong Zhang #endif 559d4002b98SHong Zhang 560d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 561d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 562d4002b98SHong Zhang #endif 563d4002b98SHong Zhang 564d4002b98SHong Zhang PetscFunctionBegin; 5652d1451d4SHong Zhang if (!a->nz) { 5662d1451d4SHong Zhang PetscCall(VecCopy(yy, zz)); 5672d1451d4SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 5682d1451d4SHong Zhang } 5699566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 5709566063dSJacob Faibussowitsch PetscCall(VecGetArrayPair(yy, zz, &y, &z)); 571d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 57207e43b41SHong Zhang PetscCheck(a->sliceheight == 8, PETSC_COMM_SELF, PETSC_ERR_SUP, "The kernel requires a slice height of 8, but the input matrix has a slice height of %" PetscInt_FMT, a->sliceheight); 5737285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 5747285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5757285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5767285fed1SHong Zhang 577d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 578d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 579ef588d5cSRichard Tran Mills vec_y = _mm512_mask_loadu_pd(vec_y, mask, &y[8 * i]); 5807285fed1SHong Zhang } else { 581ef588d5cSRichard Tran Mills vec_y = _mm512_loadu_pd(&y[8 * i]); 5827285fed1SHong Zhang } 5837285fed1SHong Zhang vec_y2 = _mm512_setzero_pd(); 5847285fed1SHong Zhang vec_y3 = _mm512_setzero_pd(); 5857285fed1SHong Zhang vec_y4 = _mm512_setzero_pd(); 5867285fed1SHong Zhang 587da81f932SPierre Jolivet j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice column */ 5887285fed1SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 5897285fed1SHong Zhang case 3: 5907285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5919371c9d4SSatish Balay acolidx += 8; 5929371c9d4SSatish Balay aval += 8; 5937285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5949371c9d4SSatish Balay acolidx += 8; 5959371c9d4SSatish Balay aval += 8; 5967285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 5979371c9d4SSatish Balay acolidx += 8; 5989371c9d4SSatish Balay aval += 8; 5997285fed1SHong Zhang j += 3; 6007285fed1SHong Zhang break; 6017285fed1SHong Zhang case 2: 6027285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 6039371c9d4SSatish Balay acolidx += 8; 6049371c9d4SSatish Balay aval += 8; 6057285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 6069371c9d4SSatish Balay acolidx += 8; 6079371c9d4SSatish Balay aval += 8; 6087285fed1SHong Zhang j += 2; 6097285fed1SHong Zhang break; 6107285fed1SHong Zhang case 1: 6117285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 6129371c9d4SSatish Balay acolidx += 8; 6139371c9d4SSatish Balay aval += 8; 6147285fed1SHong Zhang j += 1; 6157285fed1SHong Zhang break; 6167285fed1SHong Zhang } 6177285fed1SHong Zhang #pragma novector 6187285fed1SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 6197285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 6209371c9d4SSatish Balay acolidx += 8; 6219371c9d4SSatish Balay aval += 8; 6227285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 6239371c9d4SSatish Balay acolidx += 8; 6249371c9d4SSatish Balay aval += 8; 6257285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 6269371c9d4SSatish Balay acolidx += 8; 6279371c9d4SSatish Balay aval += 8; 6287285fed1SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 6299371c9d4SSatish Balay acolidx += 8; 6309371c9d4SSatish Balay aval += 8; 6317285fed1SHong Zhang } 6327285fed1SHong Zhang 6337285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 6347285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 6357285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 6367285fed1SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 637ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&z[8 * i], mask, vec_y); 638d4002b98SHong Zhang } else { 639ef588d5cSRichard Tran Mills _mm512_storeu_pd(&z[8 * i], vec_y); 640d4002b98SHong Zhang } 6417285fed1SHong Zhang } 64221cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 64307e43b41SHong Zhang PetscCheck(a->sliceheight == 8, PETSC_COMM_SELF, PETSC_ERR_SUP, "The kernel requires a slice height of 8, but the input matrix has a slice height of %" PetscInt_FMT, a->sliceheight); 6447285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 6457285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6467285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6477285fed1SHong Zhang 6487285fed1SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 6497285fed1SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 6507285fed1SHong Zhang for (r = 0; r < (A->rmap->n & 0x07); ++r) { 6517285fed1SHong Zhang row = 8 * i + r; 6527285fed1SHong Zhang yval = (MatScalar)0.0; 6537285fed1SHong Zhang nnz_in_row = a->rlen[row]; 6547285fed1SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 6557285fed1SHong Zhang z[row] = y[row] + yval; 6567285fed1SHong Zhang } 6577285fed1SHong Zhang break; 6587285fed1SHong Zhang } 6597285fed1SHong Zhang 6607285fed1SHong Zhang vec_y = _mm256_loadu_pd(y + 8 * i); 6617285fed1SHong Zhang vec_y2 = _mm256_loadu_pd(y + 8 * i + 4); 6627285fed1SHong Zhang 6637285fed1SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 6647285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 6657285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 666165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 6677285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6687285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 669165f9cc3SJed Brown vec_x = _mm256_setzero_pd(); 6707285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6717285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6727285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6737285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6747285fed1SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 6757285fed1SHong Zhang aval += 4; 6767285fed1SHong Zhang 6777285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 6787285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6797285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6807285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6817285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6827285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6837285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6847285fed1SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 6857285fed1SHong Zhang aval += 4; 6867285fed1SHong Zhang } 6877285fed1SHong Zhang 6887285fed1SHong Zhang _mm256_storeu_pd(z + i * 8, vec_y); 6897285fed1SHong Zhang _mm256_storeu_pd(z + i * 8 + 4, vec_y2); 6907285fed1SHong Zhang } 691d4002b98SHong Zhang #else 69207e43b41SHong Zhang PetscCall(PetscMalloc1(sliceheight, &sum)); 6937285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 69407e43b41SHong Zhang for (j = 0; j < sliceheight; j++) { 6952d1451d4SHong Zhang sum[j] = 0.0; 69607e43b41SHong Zhang for (k = a->sliidx[i] + j; k < a->sliidx[i + 1]; k += sliceheight) sum[j] += aval[k] * x[acolidx[k]]; 697d4002b98SHong Zhang } 69807e43b41SHong Zhang if (i == totalslices - 1 && (A->rmap->n % sliceheight)) { 69907e43b41SHong Zhang for (j = 0; j < (A->rmap->n % sliceheight); j++) z[sliceheight * i + j] = y[sliceheight * i + j] + sum[j]; 700d4002b98SHong Zhang } else { 70107e43b41SHong Zhang for (j = 0; j < sliceheight; j++) z[sliceheight * i + j] = y[sliceheight * i + j] + sum[j]; 7027285fed1SHong Zhang } 703d4002b98SHong Zhang } 70407e43b41SHong Zhang PetscCall(PetscFree(sum)); 705d4002b98SHong Zhang #endif 706d4002b98SHong Zhang 7079566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 7089566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 7099566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayPair(yy, zz, &y, &z)); 7103ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 711d4002b98SHong Zhang } 712d4002b98SHong Zhang 713d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat A, Vec xx, Vec zz, Vec yy) 714d71ae5a4SJacob Faibussowitsch { 715d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 716d4002b98SHong Zhang PetscScalar *y; 717d4002b98SHong Zhang const PetscScalar *x; 718d4002b98SHong Zhang const MatScalar *aval = a->val; 719d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 72007e43b41SHong Zhang PetscInt i, j, r, row, nnz_in_row, totalslices = a->totalslices, sliceheight = a->sliceheight; 721d4002b98SHong Zhang 722d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 723d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 724d4002b98SHong Zhang #endif 725d4002b98SHong Zhang 726d4002b98SHong Zhang PetscFunctionBegin; 727b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 7289566063dSJacob Faibussowitsch PetscCall(MatMultAdd_SeqSELL(A, xx, zz, yy)); 7293ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 7309fc32365SStefano Zampini } 7319566063dSJacob Faibussowitsch if (zz != yy) PetscCall(VecCopy(zz, yy)); 7322d1451d4SHong Zhang 7332d1451d4SHong Zhang if (a->nz) { 7349566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 7359566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 736d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 73707e43b41SHong Zhang if (i == totalslices - 1 && (A->rmap->n % sliceheight)) { 73807e43b41SHong Zhang for (r = 0; r < (A->rmap->n % sliceheight); ++r) { 73907e43b41SHong Zhang row = sliceheight * i + r; 7407285fed1SHong Zhang nnz_in_row = a->rlen[row]; 74107e43b41SHong Zhang for (j = 0; j < nnz_in_row; ++j) y[acolidx[sliceheight * j + r]] += aval[sliceheight * j + r] * x[row]; 7427285fed1SHong Zhang } 7437285fed1SHong Zhang break; 7447285fed1SHong Zhang } 74507e43b41SHong Zhang for (r = 0; r < sliceheight; ++r) 74607e43b41SHong Zhang for (j = a->sliidx[i] + r; j < a->sliidx[i + 1]; j += sliceheight) y[acolidx[j]] += aval[j] * x[sliceheight * i + r]; 747d4002b98SHong Zhang } 7482d1451d4SHong Zhang PetscCall(PetscLogFlops(2.0 * a->nz)); 7499566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 7509566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 7512d1451d4SHong Zhang } 7523ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 753d4002b98SHong Zhang } 754d4002b98SHong Zhang 755d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTranspose_SeqSELL(Mat A, Vec xx, Vec yy) 756d71ae5a4SJacob Faibussowitsch { 757d4002b98SHong Zhang PetscFunctionBegin; 758b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 7599566063dSJacob Faibussowitsch PetscCall(MatMult_SeqSELL(A, xx, yy)); 7609fc32365SStefano Zampini } else { 7619566063dSJacob Faibussowitsch PetscCall(VecSet(yy, 0.0)); 7629566063dSJacob Faibussowitsch PetscCall(MatMultTransposeAdd_SeqSELL(A, xx, yy, yy)); 7639fc32365SStefano Zampini } 7643ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 765d4002b98SHong Zhang } 766d4002b98SHong Zhang 767d4002b98SHong Zhang /* 768d4002b98SHong Zhang Checks for missing diagonals 769d4002b98SHong Zhang */ 770d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMissingDiagonal_SeqSELL(Mat A, PetscBool *missing, PetscInt *d) 771d71ae5a4SJacob Faibussowitsch { 772d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 773d4002b98SHong Zhang PetscInt *diag, i; 774d4002b98SHong Zhang 775d4002b98SHong Zhang PetscFunctionBegin; 776d4002b98SHong Zhang *missing = PETSC_FALSE; 777f4f49eeaSPierre Jolivet if (A->rmap->n > 0 && !a->colidx) { 778d4002b98SHong Zhang *missing = PETSC_TRUE; 779d4002b98SHong Zhang if (d) *d = 0; 7809566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix has no entries therefore is missing diagonal\n")); 781d4002b98SHong Zhang } else { 782d4002b98SHong Zhang diag = a->diag; 783d4002b98SHong Zhang for (i = 0; i < A->rmap->n; i++) { 784d4002b98SHong Zhang if (diag[i] == -1) { 785d4002b98SHong Zhang *missing = PETSC_TRUE; 786d4002b98SHong Zhang if (d) *d = i; 7879566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix is missing diagonal number %" PetscInt_FMT "\n", i)); 788d4002b98SHong Zhang break; 789d4002b98SHong Zhang } 790d4002b98SHong Zhang } 791d4002b98SHong Zhang } 7923ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 793d4002b98SHong Zhang } 794d4002b98SHong Zhang 795d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMarkDiagonal_SeqSELL(Mat A) 796d71ae5a4SJacob Faibussowitsch { 797d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 798*07425a8dSBarry Smith const PetscInt m = A->rmap->n; 799*07425a8dSBarry Smith PetscInt shift; 800d4002b98SHong Zhang 801d4002b98SHong Zhang PetscFunctionBegin; 802*07425a8dSBarry Smith if (a->diag && a->diagNonzeroState == A->nonzerostate) PetscFunctionReturn(PETSC_SUCCESS); 803d4002b98SHong Zhang if (!a->diag) { 8049566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &a->diag)); 805d4002b98SHong Zhang a->free_diag = PETSC_TRUE; 806d4002b98SHong Zhang } 807*07425a8dSBarry Smith a->diagDense = PETSC_TRUE; 808*07425a8dSBarry Smith for (PetscInt i = 0; i < m; i++) { /* loop over rows */ 809*07425a8dSBarry Smith PetscBool found = PETSC_FALSE; 810*07425a8dSBarry Smith 81107e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 812d4002b98SHong Zhang a->diag[i] = -1; 813*07425a8dSBarry Smith for (PetscInt j = 0; j < a->rlen[i]; j++) { 81407e43b41SHong Zhang if (a->colidx[shift + a->sliceheight * j] == i) { 81507e43b41SHong Zhang a->diag[i] = shift + a->sliceheight * j; 816*07425a8dSBarry Smith found = PETSC_TRUE; 817d4002b98SHong Zhang break; 818d4002b98SHong Zhang } 819d4002b98SHong Zhang } 820*07425a8dSBarry Smith if (!found) a->diagDense = PETSC_FALSE; 821d4002b98SHong Zhang } 822*07425a8dSBarry Smith a->diagNonzeroState = A->nonzerostate; 8233ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 824d4002b98SHong Zhang } 825d4002b98SHong Zhang 826d4002b98SHong Zhang /* 827d4002b98SHong Zhang Negative shift indicates do not generate an error if there is a zero diagonal, just invert it anyways 828d4002b98SHong Zhang */ 829*07425a8dSBarry Smith static PetscErrorCode MatInvertDiagonalForSOR_SeqSELL(Mat A, PetscScalar omega, PetscScalar fshift) 830d71ae5a4SJacob Faibussowitsch { 831d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 832d4002b98SHong Zhang PetscInt i, *diag, m = A->rmap->n; 833d4002b98SHong Zhang MatScalar *val = a->val; 834d4002b98SHong Zhang PetscScalar *idiag, *mdiag; 835d4002b98SHong Zhang 836d4002b98SHong Zhang PetscFunctionBegin; 837*07425a8dSBarry Smith if (a->idiagState == ((PetscObject)A)->state && a->omega == omega && a->fshift == fshift) PetscFunctionReturn(PETSC_SUCCESS); 8389566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 839*07425a8dSBarry Smith PetscCheck(a->diagDense, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONGSTATE, "Matrix must have all diagonal location to invert them"); 840d4002b98SHong Zhang diag = a->diag; 841d4002b98SHong Zhang if (!a->idiag) { 8429566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(m, &a->idiag, m, &a->mdiag, m, &a->ssor_work)); 843d4002b98SHong Zhang val = a->val; 844d4002b98SHong Zhang } 845d4002b98SHong Zhang mdiag = a->mdiag; 846d4002b98SHong Zhang idiag = a->idiag; 847d4002b98SHong Zhang 848d4002b98SHong Zhang if (omega == 1.0 && PetscRealPart(fshift) <= 0.0) { 849d4002b98SHong Zhang for (i = 0; i < m; i++) { 850d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 851d4002b98SHong Zhang if (!PetscAbsScalar(mdiag[i])) { /* zero diagonal */ 8520fdf79fbSJacob Faibussowitsch PetscCheck(PetscRealPart(fshift), PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Zero diagonal on row %" PetscInt_FMT, i); 8539566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Zero diagonal on row %" PetscInt_FMT "\n", i)); 854d4002b98SHong Zhang A->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 855d4002b98SHong Zhang A->factorerror_zeropivot_value = 0.0; 856d4002b98SHong Zhang A->factorerror_zeropivot_row = i; 857d4002b98SHong Zhang } 858d4002b98SHong Zhang idiag[i] = 1.0 / val[diag[i]]; 859d4002b98SHong Zhang } 8609566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(m)); 861d4002b98SHong Zhang } else { 862d4002b98SHong Zhang for (i = 0; i < m; i++) { 863d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 864d4002b98SHong Zhang idiag[i] = omega / (fshift + val[diag[i]]); 865d4002b98SHong Zhang } 8669566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * m)); 867d4002b98SHong Zhang } 868*07425a8dSBarry Smith a->idiagState = ((PetscObject)A)->state; 869*07425a8dSBarry Smith a->omega = omega; 870*07425a8dSBarry Smith a->fshift = fshift; 8713ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 872d4002b98SHong Zhang } 873d4002b98SHong Zhang 874d71ae5a4SJacob Faibussowitsch PetscErrorCode MatZeroEntries_SeqSELL(Mat A) 875d71ae5a4SJacob Faibussowitsch { 876d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 877d4002b98SHong Zhang 878d4002b98SHong Zhang PetscFunctionBegin; 8799566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(a->val, a->sliidx[a->totalslices])); 8803ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 881d4002b98SHong Zhang } 882d4002b98SHong Zhang 883d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDestroy_SeqSELL(Mat A) 884d71ae5a4SJacob Faibussowitsch { 885d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 886d4002b98SHong Zhang 887d4002b98SHong Zhang PetscFunctionBegin; 8883ba16761SJacob Faibussowitsch PetscCall(PetscLogObjectState((PetscObject)A, "Rows=%" PetscInt_FMT ", Cols=%" PetscInt_FMT ", NZ=%" PetscInt_FMT, A->rmap->n, A->cmap->n, a->nz)); 8899566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(A, &a->val, &a->colidx)); 8909566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->row)); 8919566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->col)); 8929566063dSJacob Faibussowitsch PetscCall(PetscFree(a->diag)); 8939566063dSJacob Faibussowitsch PetscCall(PetscFree(a->rlen)); 8949566063dSJacob Faibussowitsch PetscCall(PetscFree(a->sliidx)); 8959566063dSJacob Faibussowitsch PetscCall(PetscFree3(a->idiag, a->mdiag, a->ssor_work)); 8969566063dSJacob Faibussowitsch PetscCall(PetscFree(a->solve_work)); 8979566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->icol)); 8989566063dSJacob Faibussowitsch PetscCall(PetscFree(a->saved_values)); 8999566063dSJacob Faibussowitsch PetscCall(PetscFree2(a->getrowcols, a->getrowvals)); 9009566063dSJacob Faibussowitsch PetscCall(PetscFree(A->data)); 901773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 90290d2215bSHong Zhang PetscCall(PetscFree(a->chunk_slice_map)); 90390d2215bSHong Zhang #endif 904d4002b98SHong Zhang 9059566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)A, NULL)); 9069566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatStoreValues_C", NULL)); 9079566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatRetrieveValues_C", NULL)); 9089566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetPreallocation_C", NULL)); 9092e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetArray_C", NULL)); 9102e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLRestoreArray_C", NULL)); 911b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqaij_C", NULL)); 9122d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 913b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqsellcuda_C", NULL)); 9142d1451d4SHong Zhang #endif 915773bf0f6SHong Zhang #if defined(PETSC_HAVE_HIP) 916773bf0f6SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqsellhip_C", NULL)); 917773bf0f6SHong Zhang #endif 91807e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetFillRatio_C", NULL)); 91907e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetMaxSliceWidth_C", NULL)); 92007e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetAvgSliceWidth_C", NULL)); 921b921024eSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetVarSliceSize_C", NULL)); 92207e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetSliceHeight_C", NULL)); 9233ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 924d4002b98SHong Zhang } 925d4002b98SHong Zhang 926d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetOption_SeqSELL(Mat A, MatOption op, PetscBool flg) 927d71ae5a4SJacob Faibussowitsch { 928d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 929d4002b98SHong Zhang 930d4002b98SHong Zhang PetscFunctionBegin; 931d4002b98SHong Zhang switch (op) { 932d71ae5a4SJacob Faibussowitsch case MAT_ROW_ORIENTED: 933d71ae5a4SJacob Faibussowitsch a->roworiented = flg; 934d71ae5a4SJacob Faibussowitsch break; 935d71ae5a4SJacob Faibussowitsch case MAT_KEEP_NONZERO_PATTERN: 936d71ae5a4SJacob Faibussowitsch a->keepnonzeropattern = flg; 937d71ae5a4SJacob Faibussowitsch break; 938d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATIONS: 939d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? 0 : 1); 940d71ae5a4SJacob Faibussowitsch break; 941d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATION_ERR: 942d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -1 : 0); 943d71ae5a4SJacob Faibussowitsch break; 944d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_ALLOCATION_ERR: 945d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -2 : 0); 946d71ae5a4SJacob Faibussowitsch break; 947d71ae5a4SJacob Faibussowitsch case MAT_UNUSED_NONZERO_LOCATION_ERR: 948d71ae5a4SJacob Faibussowitsch a->nounused = (flg ? -1 : 0); 949d71ae5a4SJacob Faibussowitsch break; 950d71ae5a4SJacob Faibussowitsch default: 951888c827cSStefano Zampini break; 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 { 1009ac530a7eSPierre Jolivet for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % a->sliceheight) a->val[j] *= l[a->sliceheight * i + row]; 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 } 1031773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 10322d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 10332d1451d4SHong Zhang #endif 10343ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1035d4002b98SHong Zhang } 1036d4002b98SHong Zhang 1037d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], PetscScalar v[]) 1038d71ae5a4SJacob Faibussowitsch { 1039d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1040d4002b98SHong Zhang PetscInt *cp, i, k, low, high, t, row, col, l; 1041d4002b98SHong Zhang PetscInt shift; 1042d4002b98SHong Zhang MatScalar *vp; 1043d4002b98SHong Zhang 1044d4002b98SHong Zhang PetscFunctionBegin; 104568aafef3SStefano Zampini for (k = 0; k < m; k++) { /* loop over requested rows */ 1046d4002b98SHong Zhang row = im[k]; 1047d4002b98SHong Zhang if (row < 0) continue; 10486bdcaf15SBarry 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); 104907e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + (row % a->sliceheight); /* starting index of the row */ 1050d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1051d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 105268aafef3SStefano Zampini for (l = 0; l < n; l++) { /* loop over requested columns */ 1053d4002b98SHong Zhang col = in[l]; 1054d4002b98SHong Zhang if (col < 0) continue; 10556bdcaf15SBarry 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); 10569371c9d4SSatish Balay high = a->rlen[row]; 10579371c9d4SSatish Balay low = 0; /* assume unsorted */ 1058d4002b98SHong Zhang while (high - low > 5) { 1059d4002b98SHong Zhang t = (low + high) / 2; 106007e43b41SHong Zhang if (*(cp + a->sliceheight * t) > col) high = t; 1061d4002b98SHong Zhang else low = t; 1062d4002b98SHong Zhang } 1063d4002b98SHong Zhang for (i = low; i < high; i++) { 106407e43b41SHong Zhang if (*(cp + a->sliceheight * i) > col) break; 106507e43b41SHong Zhang if (*(cp + a->sliceheight * i) == col) { 106607e43b41SHong Zhang *v++ = *(vp + a->sliceheight * i); 1067d4002b98SHong Zhang goto finished; 1068d4002b98SHong Zhang } 1069d4002b98SHong Zhang } 1070d4002b98SHong Zhang *v++ = 0.0; 1071d4002b98SHong Zhang finished:; 1072d4002b98SHong Zhang } 1073d4002b98SHong Zhang } 10743ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1075d4002b98SHong Zhang } 1076d4002b98SHong Zhang 1077ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_ASCII(Mat A, PetscViewer viewer) 1078d71ae5a4SJacob Faibussowitsch { 1079d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1080d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1081d4002b98SHong Zhang const char *name; 1082d4002b98SHong Zhang PetscViewerFormat format; 1083d4002b98SHong Zhang 1084d4002b98SHong Zhang PetscFunctionBegin; 10859566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 1086d4002b98SHong Zhang if (format == PETSC_VIEWER_ASCII_MATLAB) { 1087d4002b98SHong Zhang PetscInt nofinalvalue = 0; 1088d4002b98SHong Zhang /* 10893a7d0413SPierre Jolivet if (m && ((a->i[m] == a->i[m-1]) || (a->j[a->nz-1] != A->cmap->n-1))) nofinalvalue = 1; 1090d4002b98SHong Zhang */ 10919566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 10929566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Size = %" PetscInt_FMT " %" PetscInt_FMT " \n", m, A->cmap->n)); 10939566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Nonzeros = %" PetscInt_FMT " \n", a->nz)); 1094d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10959566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",4);\n", a->nz + nofinalvalue)); 1096d4002b98SHong Zhang #else 10979566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",3);\n", a->nz + nofinalvalue)); 1098d4002b98SHong Zhang #endif 10999566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = [\n")); 1100d4002b98SHong Zhang 1101d4002b98SHong Zhang for (i = 0; i < m; i++) { 110207e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1103d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1104d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 110507e43b41SHong 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]))); 1106d4002b98SHong Zhang #else 110707e43b41SHong 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])); 1108d4002b98SHong Zhang #endif 1109d4002b98SHong Zhang } 1110d4002b98SHong Zhang } 1111d4002b98SHong Zhang /* 1112d4002b98SHong Zhang if (nofinalvalue) { 1113d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11149566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e %18.16e\n",m,A->cmap->n,0.,0.)); 1115d4002b98SHong Zhang #else 11169566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e\n",m,A->cmap->n,0.0)); 1117d4002b98SHong Zhang #endif 1118d4002b98SHong Zhang } 1119d4002b98SHong Zhang */ 11209566063dSJacob Faibussowitsch PetscCall(PetscObjectGetName((PetscObject)A, &name)); 11219566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "];\n %s = spconvert(zzz);\n", name)); 11229566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1123d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_FACTOR_INFO || format == PETSC_VIEWER_ASCII_INFO) { 11243ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1125d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_COMMON) { 11269566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1127d4002b98SHong Zhang for (i = 0; i < m; i++) { 11289566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 112907e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1130d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1131d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 113207e43b41SHong Zhang if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) > 0.0 && PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 113307e43b41SHong 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]))); 113407e43b41SHong Zhang } else if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) < 0.0 && PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 113507e43b41SHong 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]))); 113607e43b41SHong Zhang } else if (PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 113707e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]))); 1138d4002b98SHong Zhang } 1139d4002b98SHong Zhang #else 114007e43b41SHong 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])); 1141d4002b98SHong Zhang #endif 1142d4002b98SHong Zhang } 11439566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1144d4002b98SHong Zhang } 11459566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1146d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_DENSE) { 1147d4002b98SHong Zhang PetscInt cnt = 0, jcnt; 1148d4002b98SHong Zhang PetscScalar value; 1149d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1150d4002b98SHong Zhang PetscBool realonly = PETSC_TRUE; 1151d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1152d4002b98SHong Zhang if (PetscImaginaryPart(a->val[i]) != 0.0) { 1153d4002b98SHong Zhang realonly = PETSC_FALSE; 1154d4002b98SHong Zhang break; 1155d4002b98SHong Zhang } 1156d4002b98SHong Zhang } 1157d4002b98SHong Zhang #endif 1158d4002b98SHong Zhang 11599566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1160d4002b98SHong Zhang for (i = 0; i < m; i++) { 1161d4002b98SHong Zhang jcnt = 0; 116207e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1163d4002b98SHong Zhang for (j = 0; j < A->cmap->n; j++) { 116407e43b41SHong Zhang if (jcnt < a->rlen[i] && j == a->colidx[shift + a->sliceheight * j]) { 1165d4002b98SHong Zhang value = a->val[cnt++]; 1166d4002b98SHong Zhang jcnt++; 1167d4002b98SHong Zhang } else { 1168d4002b98SHong Zhang value = 0.0; 1169d4002b98SHong Zhang } 1170d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1171d4002b98SHong Zhang if (realonly) { 11729566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)PetscRealPart(value))); 1173d4002b98SHong Zhang } else { 11749566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e+%7.5e i ", (double)PetscRealPart(value), (double)PetscImaginaryPart(value))); 1175d4002b98SHong Zhang } 1176d4002b98SHong Zhang #else 11779566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)value)); 1178d4002b98SHong Zhang #endif 1179d4002b98SHong Zhang } 11809566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1181d4002b98SHong Zhang } 11829566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1183d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_MATRIXMARKET) { 1184d4002b98SHong Zhang PetscInt fshift = 1; 11859566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1186d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11879566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate complex general\n")); 1188d4002b98SHong Zhang #else 11899566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate real general\n")); 1190d4002b98SHong Zhang #endif 11919566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", m, A->cmap->n, a->nz)); 1192d4002b98SHong Zhang for (i = 0; i < m; i++) { 119307e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1194d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1195d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 119607e43b41SHong 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]))); 1197d4002b98SHong Zhang #else 119807e43b41SHong 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])); 1199d4002b98SHong Zhang #endif 1200d4002b98SHong Zhang } 1201d4002b98SHong Zhang } 12029566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 120368aafef3SStefano Zampini } else if (format == PETSC_VIEWER_NATIVE) { 120468aafef3SStefano Zampini for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 120568aafef3SStefano Zampini PetscInt row; 12069566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "slice %" PetscInt_FMT ": %" PetscInt_FMT " %" PetscInt_FMT "\n", i, a->sliidx[i], a->sliidx[i + 1])); 120707e43b41SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % a->sliceheight) { 120868aafef3SStefano Zampini #if defined(PETSC_USE_COMPLEX) 120968aafef3SStefano Zampini if (PetscImaginaryPart(a->val[j]) > 0.0) { 121007e43b41SHong 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]))); 121168aafef3SStefano Zampini } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 121207e43b41SHong 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]))); 121368aafef3SStefano Zampini } else { 121407e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", a->sliceheight * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]))); 121568aafef3SStefano Zampini } 121668aafef3SStefano Zampini #else 121707e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", a->sliceheight * i + row, a->colidx[j], (double)a->val[j])); 121868aafef3SStefano Zampini #endif 121968aafef3SStefano Zampini } 122068aafef3SStefano Zampini } 1221d4002b98SHong Zhang } else { 12229566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1223d4002b98SHong Zhang if (A->factortype) { 1224d4002b98SHong Zhang for (i = 0; i < m; i++) { 122507e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 12269566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1227d4002b98SHong Zhang /* L part */ 122807e43b41SHong Zhang for (j = shift; j < a->diag[i]; j += a->sliceheight) { 1229d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 123007e43b41SHong Zhang if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) > 0.0) { 12319566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 123207e43b41SHong Zhang } else if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) < 0.0) { 12339566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1234d4002b98SHong Zhang } else { 12359566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1236d4002b98SHong Zhang } 1237d4002b98SHong Zhang #else 12389566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1239d4002b98SHong Zhang #endif 1240d4002b98SHong Zhang } 1241d4002b98SHong Zhang /* diagonal */ 1242d4002b98SHong Zhang j = a->diag[i]; 1243d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1244d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12459566063dSJacob 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]))); 1246d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12479566063dSJacob 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])))); 1248d4002b98SHong Zhang } else { 12499566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j]))); 1250d4002b98SHong Zhang } 1251d4002b98SHong Zhang #else 1252835f2295SStefano Zampini PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)(1 / a->val[j]))); 1253d4002b98SHong Zhang #endif 1254d4002b98SHong Zhang 1255d4002b98SHong Zhang /* U part */ 125607e43b41SHong Zhang for (j = a->diag[i] + 1; j < shift + a->sliceheight * a->rlen[i]; j += a->sliceheight) { 1257d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1258d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12599566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 1260d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12619566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1262d4002b98SHong Zhang } else { 12639566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1264d4002b98SHong Zhang } 1265d4002b98SHong Zhang #else 12669566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1267d4002b98SHong Zhang #endif 1268d4002b98SHong Zhang } 12699566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1270d4002b98SHong Zhang } 1271d4002b98SHong Zhang } else { 1272d4002b98SHong Zhang for (i = 0; i < m; i++) { 127307e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 12749566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1275d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1276d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1277d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 127807e43b41SHong 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]))); 1279d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 128007e43b41SHong 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]))); 1281d4002b98SHong Zhang } else { 128207e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]))); 1283d4002b98SHong Zhang } 1284d4002b98SHong Zhang #else 128507e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)a->val[shift + a->sliceheight * j])); 1286d4002b98SHong Zhang #endif 1287d4002b98SHong Zhang } 12889566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1289d4002b98SHong Zhang } 1290d4002b98SHong Zhang } 12919566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1292d4002b98SHong Zhang } 12939566063dSJacob Faibussowitsch PetscCall(PetscViewerFlush(viewer)); 12943ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1295d4002b98SHong Zhang } 1296d4002b98SHong Zhang 1297d4002b98SHong Zhang #include <petscdraw.h> 1298ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_Draw_Zoom(PetscDraw draw, void *Aa) 1299d71ae5a4SJacob Faibussowitsch { 1300d4002b98SHong Zhang Mat A = (Mat)Aa; 1301d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1302d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1303d4002b98SHong Zhang int color; 1304d4002b98SHong Zhang PetscReal xl, yl, xr, yr, x_l, x_r, y_l, y_r; 1305d4002b98SHong Zhang PetscViewer viewer; 1306d4002b98SHong Zhang PetscViewerFormat format; 1307d4002b98SHong Zhang 1308d4002b98SHong Zhang PetscFunctionBegin; 13099566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject)A, "Zoomviewer", (PetscObject *)&viewer)); 13109566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 13119566063dSJacob Faibussowitsch PetscCall(PetscDrawGetCoordinates(draw, &xl, &yl, &xr, &yr)); 1312d4002b98SHong Zhang 1313d4002b98SHong Zhang /* loop over matrix elements drawing boxes */ 1314d4002b98SHong Zhang 1315d4002b98SHong Zhang if (format != PETSC_VIEWER_DRAW_CONTOUR) { 1316d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1317d4002b98SHong Zhang /* Blue for negative, Cyan for zero and Red for positive */ 1318d4002b98SHong Zhang color = PETSC_DRAW_BLUE; 1319d4002b98SHong Zhang for (i = 0; i < m; i++) { 132007e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 13219371c9d4SSatish Balay y_l = m - i - 1.0; 13229371c9d4SSatish Balay y_r = y_l + 1.0; 1323d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 132407e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13259371c9d4SSatish Balay x_r = x_l + 1.0; 132607e43b41SHong Zhang if (PetscRealPart(a->val[shift + a->sliceheight * j]) >= 0.) continue; 13279566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1328d4002b98SHong Zhang } 1329d4002b98SHong Zhang } 1330d4002b98SHong Zhang color = PETSC_DRAW_CYAN; 1331d4002b98SHong Zhang for (i = 0; i < m; i++) { 133207e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 13339371c9d4SSatish Balay y_l = m - i - 1.0; 13349371c9d4SSatish Balay y_r = y_l + 1.0; 1335d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 133607e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13379371c9d4SSatish Balay x_r = x_l + 1.0; 133807e43b41SHong Zhang if (a->val[shift + a->sliceheight * j] != 0.) continue; 13399566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1340d4002b98SHong Zhang } 1341d4002b98SHong Zhang } 1342d4002b98SHong Zhang color = PETSC_DRAW_RED; 1343d4002b98SHong Zhang for (i = 0; i < m; i++) { 134407e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 13459371c9d4SSatish Balay y_l = m - i - 1.0; 13469371c9d4SSatish Balay y_r = y_l + 1.0; 1347d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 134807e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13499371c9d4SSatish Balay x_r = x_l + 1.0; 135007e43b41SHong Zhang if (PetscRealPart(a->val[shift + a->sliceheight * j]) <= 0.) continue; 13519566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1352d4002b98SHong Zhang } 1353d4002b98SHong Zhang } 1354d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1355d4002b98SHong Zhang } else { 1356d4002b98SHong Zhang /* use contour shading to indicate magnitude of values */ 1357d4002b98SHong Zhang /* first determine max of all nonzero values */ 1358d4002b98SHong Zhang PetscReal minv = 0.0, maxv = 0.0; 1359d4002b98SHong Zhang PetscInt count = 0; 1360d4002b98SHong Zhang PetscDraw popup; 1361d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1362d4002b98SHong Zhang if (PetscAbsScalar(a->val[i]) > maxv) maxv = PetscAbsScalar(a->val[i]); 1363d4002b98SHong Zhang } 1364d4002b98SHong Zhang if (minv >= maxv) maxv = minv + PETSC_SMALL; 13659566063dSJacob Faibussowitsch PetscCall(PetscDrawGetPopup(draw, &popup)); 13669566063dSJacob Faibussowitsch PetscCall(PetscDrawScalePopup(popup, minv, maxv)); 1367d4002b98SHong Zhang 1368d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1369d4002b98SHong Zhang for (i = 0; i < m; i++) { 137007e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1371d4002b98SHong Zhang y_l = m - i - 1.0; 1372d4002b98SHong Zhang y_r = y_l + 1.0; 1373d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 137407e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 1375d4002b98SHong Zhang x_r = x_l + 1.0; 1376d4002b98SHong Zhang color = PetscDrawRealToColor(PetscAbsScalar(a->val[count]), minv, maxv); 13779566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1378d4002b98SHong Zhang count++; 1379d4002b98SHong Zhang } 1380d4002b98SHong Zhang } 1381d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1382d4002b98SHong Zhang } 13833ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1384d4002b98SHong Zhang } 1385d4002b98SHong Zhang 1386d4002b98SHong Zhang #include <petscdraw.h> 1387ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_Draw(Mat A, PetscViewer viewer) 1388d71ae5a4SJacob Faibussowitsch { 1389d4002b98SHong Zhang PetscDraw draw; 1390d4002b98SHong Zhang PetscReal xr, yr, xl, yl, h, w; 1391d4002b98SHong Zhang PetscBool isnull; 1392d4002b98SHong Zhang 1393d4002b98SHong Zhang PetscFunctionBegin; 13949566063dSJacob Faibussowitsch PetscCall(PetscViewerDrawGetDraw(viewer, 0, &draw)); 13959566063dSJacob Faibussowitsch PetscCall(PetscDrawIsNull(draw, &isnull)); 13963ba16761SJacob Faibussowitsch if (isnull) PetscFunctionReturn(PETSC_SUCCESS); 1397d4002b98SHong Zhang 13989371c9d4SSatish Balay xr = A->cmap->n; 13999371c9d4SSatish Balay yr = A->rmap->n; 14009371c9d4SSatish Balay h = yr / 10.0; 14019371c9d4SSatish Balay w = xr / 10.0; 14029371c9d4SSatish Balay xr += w; 14039371c9d4SSatish Balay yr += h; 14049371c9d4SSatish Balay xl = -w; 14059371c9d4SSatish Balay yl = -h; 14069566063dSJacob Faibussowitsch PetscCall(PetscDrawSetCoordinates(draw, xl, yl, xr, yr)); 14079566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", (PetscObject)viewer)); 14089566063dSJacob Faibussowitsch PetscCall(PetscDrawZoom(draw, MatView_SeqSELL_Draw_Zoom, A)); 14099566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", NULL)); 14109566063dSJacob Faibussowitsch PetscCall(PetscDrawSave(draw)); 14113ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1412d4002b98SHong Zhang } 1413d4002b98SHong Zhang 1414d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL(Mat A, PetscViewer viewer) 1415d71ae5a4SJacob Faibussowitsch { 14169f196a02SMartin Diehl PetscBool isascii, isbinary, isdraw; 1417d4002b98SHong Zhang 1418d4002b98SHong Zhang PetscFunctionBegin; 14199f196a02SMartin Diehl PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &isascii)); 14209566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary)); 14219566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERDRAW, &isdraw)); 14229f196a02SMartin Diehl if (isascii) { 14239566063dSJacob Faibussowitsch PetscCall(MatView_SeqSELL_ASCII(A, viewer)); 1424d4002b98SHong Zhang } else if (isbinary) { 14259566063dSJacob Faibussowitsch /* PetscCall(MatView_SeqSELL_Binary(A,viewer)); */ 14261baa6e33SBarry Smith } else if (isdraw) PetscCall(MatView_SeqSELL_Draw(A, viewer)); 14273ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1428d4002b98SHong Zhang } 1429d4002b98SHong Zhang 1430d71ae5a4SJacob Faibussowitsch PetscErrorCode MatAssemblyEnd_SeqSELL(Mat A, MatAssemblyType mode) 1431d71ae5a4SJacob Faibussowitsch { 1432d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1433d4002b98SHong Zhang PetscInt i, shift, row_in_slice, row, nrow, *cp, lastcol, j, k; 1434d4002b98SHong Zhang MatScalar *vp; 1435773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 143690d2215bSHong Zhang PetscInt totalchunks = 0; 143790d2215bSHong Zhang #endif 1438d4002b98SHong Zhang 1439d4002b98SHong Zhang PetscFunctionBegin; 14403ba16761SJacob Faibussowitsch if (mode == MAT_FLUSH_ASSEMBLY) PetscFunctionReturn(PETSC_SUCCESS); 1441d4002b98SHong Zhang /* To do: compress out the unused elements */ 14429566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 14439566063dSJacob 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)); 14449566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Number of mallocs during MatSetValues() is %" PetscInt_FMT "\n", a->reallocs)); 14459566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Maximum nonzeros in any row is %" PetscInt_FMT "\n", a->rlenmax)); 14462d1451d4SHong Zhang a->nonzerorowcnt = 0; 1447d4002b98SHong 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 */ 1448d4002b98SHong Zhang for (i = 0; i < a->totalslices; ++i) { 1449d4002b98SHong Zhang shift = a->sliidx[i]; /* starting index of the slice */ 14508e3a54c0SPierre Jolivet cp = PetscSafePointerPlusOffset(a->colidx, shift); /* pointer to the column indices of the slice */ 14518e3a54c0SPierre Jolivet vp = PetscSafePointerPlusOffset(a->val, shift); /* pointer to the nonzero values of the slice */ 145207e43b41SHong Zhang for (row_in_slice = 0; row_in_slice < a->sliceheight; ++row_in_slice) { /* loop over rows in the slice */ 145307e43b41SHong Zhang row = a->sliceheight * i + row_in_slice; 1454d4002b98SHong Zhang nrow = a->rlen[row]; /* number of nonzeros in row */ 1455d4002b98SHong Zhang /* 1456d4002b98SHong Zhang Search for the nearest nonzero. Normally setting the index to zero may cause extra communication. 1457d4002b98SHong Zhang But if the entire slice are empty, it is fine to use 0 since the index will not be loaded. 1458d4002b98SHong Zhang */ 1459d4002b98SHong Zhang lastcol = 0; 1460d4002b98SHong Zhang if (nrow > 0) { /* nonempty row */ 14612d1451d4SHong Zhang a->nonzerorowcnt++; 146207e43b41SHong Zhang lastcol = cp[a->sliceheight * (nrow - 1) + row_in_slice]; /* use the index from the last nonzero at current row */ 1463aaa8cc7dSPierre Jolivet } else if (!row_in_slice) { /* first row of the correct slice is empty */ 146407e43b41SHong Zhang for (j = 1; j < a->sliceheight; j++) { 146507e43b41SHong Zhang if (a->rlen[a->sliceheight * i + j]) { 1466d4002b98SHong Zhang lastcol = cp[j]; 1467d4002b98SHong Zhang break; 1468d4002b98SHong Zhang } 1469d4002b98SHong Zhang } 1470d4002b98SHong Zhang } else { 1471d4002b98SHong Zhang if (a->sliidx[i + 1] != shift) lastcol = cp[row_in_slice - 1]; /* use the index from the previous row */ 1472d4002b98SHong Zhang } 1473d4002b98SHong Zhang 147407e43b41SHong Zhang for (k = nrow; k < (a->sliidx[i + 1] - shift) / a->sliceheight; ++k) { 147507e43b41SHong Zhang cp[a->sliceheight * k + row_in_slice] = lastcol; 147607e43b41SHong Zhang vp[a->sliceheight * k + row_in_slice] = (MatScalar)0; 1477d4002b98SHong Zhang } 1478d4002b98SHong Zhang } 1479d4002b98SHong Zhang } 1480d4002b98SHong Zhang 1481d4002b98SHong Zhang A->info.mallocs += a->reallocs; 1482d4002b98SHong Zhang a->reallocs = 0; 1483d4002b98SHong Zhang 1484773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 148590d2215bSHong Zhang if (!a->chunksize && a->totalslices) { 148690d2215bSHong Zhang a->chunksize = 64; 148790d2215bSHong Zhang while (a->chunksize < 1024 && 2 * a->chunksize <= a->sliidx[a->totalslices] / a->totalslices) a->chunksize *= 2; 148890d2215bSHong Zhang totalchunks = 1 + (a->sliidx[a->totalslices] - 1) / a->chunksize; 148990d2215bSHong Zhang } 149090d2215bSHong Zhang if (totalchunks != a->totalchunks) { 149190d2215bSHong Zhang PetscCall(PetscFree(a->chunk_slice_map)); 149290d2215bSHong Zhang PetscCall(PetscMalloc1(totalchunks, &a->chunk_slice_map)); 149390d2215bSHong Zhang a->totalchunks = totalchunks; 149490d2215bSHong Zhang } 149590d2215bSHong Zhang j = 0; 149690d2215bSHong Zhang for (i = 0; i < totalchunks; i++) { 149790d2215bSHong Zhang while (a->sliidx[j + 1] <= i * a->chunksize && j < a->totalslices) j++; 149890d2215bSHong Zhang a->chunk_slice_map[i] = j; 149990d2215bSHong Zhang } 150090d2215bSHong Zhang #endif 15013ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1502d4002b98SHong Zhang } 1503d4002b98SHong Zhang 1504d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetInfo_SeqSELL(Mat A, MatInfoType flag, MatInfo *info) 1505d71ae5a4SJacob Faibussowitsch { 1506d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1507d4002b98SHong Zhang 1508d4002b98SHong Zhang PetscFunctionBegin; 1509d4002b98SHong Zhang info->block_size = 1.0; 15103966268fSBarry Smith info->nz_allocated = a->maxallocmat; 15113966268fSBarry Smith info->nz_used = a->sliidx[a->totalslices]; /* include padding zeros */ 15123966268fSBarry Smith info->nz_unneeded = (a->maxallocmat - a->sliidx[a->totalslices]); 15133966268fSBarry Smith info->assemblies = A->num_ass; 15143966268fSBarry Smith info->mallocs = A->info.mallocs; 15154dfa11a4SJacob Faibussowitsch info->memory = 0; /* REVIEW ME */ 1516d4002b98SHong Zhang if (A->factortype) { 1517d4002b98SHong Zhang info->fill_ratio_given = A->info.fill_ratio_given; 1518d4002b98SHong Zhang info->fill_ratio_needed = A->info.fill_ratio_needed; 1519d4002b98SHong Zhang info->factor_mallocs = A->info.factor_mallocs; 1520d4002b98SHong Zhang } else { 1521d4002b98SHong Zhang info->fill_ratio_given = 0; 1522d4002b98SHong Zhang info->fill_ratio_needed = 0; 1523d4002b98SHong Zhang info->factor_mallocs = 0; 1524d4002b98SHong Zhang } 15253ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1526d4002b98SHong Zhang } 1527d4002b98SHong Zhang 1528d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is) 1529d71ae5a4SJacob Faibussowitsch { 1530d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1531d4002b98SHong Zhang PetscInt shift, i, k, l, low, high, t, ii, row, col, nrow; 1532d4002b98SHong Zhang PetscInt *cp, nonew = a->nonew, lastcol = -1; 1533d4002b98SHong Zhang MatScalar *vp, value; 1534773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 15352d1451d4SHong Zhang PetscBool inserted = PETSC_FALSE; 15364e58db63SHong Zhang PetscInt mul = DEVICE_MEM_ALIGN / a->sliceheight; 15372d1451d4SHong Zhang #endif 1538d4002b98SHong Zhang 1539d4002b98SHong Zhang PetscFunctionBegin; 1540d4002b98SHong Zhang for (k = 0; k < m; k++) { /* loop over added rows */ 1541d4002b98SHong Zhang row = im[k]; 1542d4002b98SHong Zhang if (row < 0) continue; 15436bdcaf15SBarry 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); 154407e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + row % a->sliceheight; /* starting index of the row */ 1545d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1546d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 1547d4002b98SHong Zhang nrow = a->rlen[row]; 1548d4002b98SHong Zhang low = 0; 1549d4002b98SHong Zhang high = nrow; 1550d4002b98SHong Zhang 1551d4002b98SHong Zhang for (l = 0; l < n; l++) { /* loop over added columns */ 1552d4002b98SHong Zhang col = in[l]; 1553d4002b98SHong Zhang if (col < 0) continue; 15546bdcaf15SBarry 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); 1555d4002b98SHong Zhang if (a->roworiented) { 1556d4002b98SHong Zhang value = v[l + k * n]; 1557d4002b98SHong Zhang } else { 1558d4002b98SHong Zhang value = v[k + l * m]; 1559d4002b98SHong Zhang } 1560d4002b98SHong Zhang if ((value == 0.0 && a->ignorezeroentries) && (is == ADD_VALUES)) continue; 1561d4002b98SHong Zhang 1562ed73aabaSBarry Smith /* search in this row for the specified column, i indicates the column to be set */ 1563d4002b98SHong Zhang if (col <= lastcol) low = 0; 1564d4002b98SHong Zhang else high = nrow; 1565d4002b98SHong Zhang lastcol = col; 1566d4002b98SHong Zhang while (high - low > 5) { 1567d4002b98SHong Zhang t = (low + high) / 2; 156807e43b41SHong Zhang if (*(cp + a->sliceheight * t) > col) high = t; 1569d4002b98SHong Zhang else low = t; 1570d4002b98SHong Zhang } 1571d4002b98SHong Zhang for (i = low; i < high; i++) { 157207e43b41SHong Zhang if (*(cp + a->sliceheight * i) > col) break; 157307e43b41SHong Zhang if (*(cp + a->sliceheight * i) == col) { 157407e43b41SHong Zhang if (is == ADD_VALUES) *(vp + a->sliceheight * i) += value; 157507e43b41SHong Zhang else *(vp + a->sliceheight * i) = value; 1576773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 15772d1451d4SHong Zhang inserted = PETSC_TRUE; 15782d1451d4SHong Zhang #endif 1579d4002b98SHong Zhang low = i + 1; 1580d4002b98SHong Zhang goto noinsert; 1581d4002b98SHong Zhang } 1582d4002b98SHong Zhang } 1583d4002b98SHong Zhang if (value == 0.0 && a->ignorezeroentries) goto noinsert; 1584d4002b98SHong Zhang if (nonew == 1) goto noinsert; 158508401ef6SPierre Jolivet PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new nonzero (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col); 1586773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 15874e58db63SHong 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); 15884e58db63SHong Zhang #else 1589d4002b98SHong Zhang /* If the current row length exceeds the slice width (e.g. nrow==slice_width), allocate a new space, otherwise do nothing */ 15904e58db63SHong 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); 15914e58db63SHong Zhang #endif 1592d4002b98SHong Zhang /* add the new nonzero to the high position, shift the remaining elements in current row to the right by one slot */ 1593d4002b98SHong Zhang for (ii = nrow - 1; ii >= i; ii--) { 159407e43b41SHong Zhang *(cp + a->sliceheight * (ii + 1)) = *(cp + a->sliceheight * ii); 159507e43b41SHong Zhang *(vp + a->sliceheight * (ii + 1)) = *(vp + a->sliceheight * ii); 1596d4002b98SHong Zhang } 1597d4002b98SHong Zhang a->rlen[row]++; 159807e43b41SHong Zhang *(cp + a->sliceheight * i) = col; 159907e43b41SHong Zhang *(vp + a->sliceheight * i) = value; 1600d4002b98SHong Zhang a->nz++; 1601773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 16022d1451d4SHong Zhang inserted = PETSC_TRUE; 16032d1451d4SHong Zhang #endif 16049371c9d4SSatish Balay low = i + 1; 16059371c9d4SSatish Balay high++; 16069371c9d4SSatish Balay nrow++; 1607d4002b98SHong Zhang noinsert:; 1608d4002b98SHong Zhang } 1609d4002b98SHong Zhang a->rlen[row] = nrow; 1610d4002b98SHong Zhang } 1611773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 16122d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED && inserted) A->offloadmask = PETSC_OFFLOAD_CPU; 16132d1451d4SHong Zhang #endif 16143ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1615d4002b98SHong Zhang } 1616d4002b98SHong Zhang 1617d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCopy_SeqSELL(Mat A, Mat B, MatStructure str) 1618d71ae5a4SJacob Faibussowitsch { 1619d4002b98SHong Zhang PetscFunctionBegin; 1620d4002b98SHong Zhang /* If the two matrices have the same copy implementation, use fast copy. */ 1621d4002b98SHong Zhang if (str == SAME_NONZERO_PATTERN && (A->ops->copy == B->ops->copy)) { 1622d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1623d4002b98SHong Zhang Mat_SeqSELL *b = (Mat_SeqSELL *)B->data; 1624d4002b98SHong Zhang 162508401ef6SPierre 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"); 16269566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(b->val, a->val, a->sliidx[a->totalslices])); 1627d4002b98SHong Zhang } else { 16289566063dSJacob Faibussowitsch PetscCall(MatCopy_Basic(A, B, str)); 1629d4002b98SHong Zhang } 16303ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1631d4002b98SHong Zhang } 1632d4002b98SHong Zhang 1633d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetUp_SeqSELL(Mat A) 1634d71ae5a4SJacob Faibussowitsch { 1635d4002b98SHong Zhang PetscFunctionBegin; 16369566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(A, PETSC_DEFAULT, NULL)); 16373ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1638d4002b98SHong Zhang } 1639d4002b98SHong Zhang 1640d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat A, PetscScalar *array[]) 1641d71ae5a4SJacob Faibussowitsch { 1642d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1643d4002b98SHong Zhang 1644d4002b98SHong Zhang PetscFunctionBegin; 1645d4002b98SHong Zhang *array = a->val; 16463ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1647d4002b98SHong Zhang } 1648d4002b98SHong Zhang 1649d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat A, PetscScalar *array[]) 1650d71ae5a4SJacob Faibussowitsch { 1651d4002b98SHong Zhang PetscFunctionBegin; 16523ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1653d4002b98SHong Zhang } 1654d4002b98SHong Zhang 1655d71ae5a4SJacob Faibussowitsch PetscErrorCode MatScale_SeqSELL(Mat inA, PetscScalar alpha) 1656d71ae5a4SJacob Faibussowitsch { 1657d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)inA->data; 1658d4002b98SHong Zhang MatScalar *aval = a->val; 1659d4002b98SHong Zhang PetscScalar oalpha = alpha; 1660d4002b98SHong Zhang PetscBLASInt one = 1, size; 1661d4002b98SHong Zhang 1662d4002b98SHong Zhang PetscFunctionBegin; 16639566063dSJacob Faibussowitsch PetscCall(PetscBLASIntCast(a->sliidx[a->totalslices], &size)); 1664792fecdfSBarry Smith PetscCallBLAS("BLASscal", BLASscal_(&size, &oalpha, aval, &one)); 16659566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1666773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 16672d1451d4SHong Zhang if (inA->offloadmask != PETSC_OFFLOAD_UNALLOCATED) inA->offloadmask = PETSC_OFFLOAD_CPU; 16682d1451d4SHong Zhang #endif 16693ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1670d4002b98SHong Zhang } 1671d4002b98SHong Zhang 1672d71ae5a4SJacob Faibussowitsch PetscErrorCode MatShift_SeqSELL(Mat Y, PetscScalar a) 1673d71ae5a4SJacob Faibussowitsch { 1674d4002b98SHong Zhang Mat_SeqSELL *y = (Mat_SeqSELL *)Y->data; 1675d4002b98SHong Zhang 1676d4002b98SHong Zhang PetscFunctionBegin; 167748a46eb9SPierre Jolivet if (!Y->preallocated || !y->nz) PetscCall(MatSeqSELLSetPreallocation(Y, 1, NULL)); 16789566063dSJacob Faibussowitsch PetscCall(MatShift_Basic(Y, a)); 16793ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1680d4002b98SHong Zhang } 1681d4002b98SHong Zhang 1682d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSOR_SeqSELL(Mat A, Vec bb, PetscReal omega, MatSORType flag, PetscReal fshift, PetscInt its, PetscInt lits, Vec xx) 1683d71ae5a4SJacob Faibussowitsch { 1684d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1685d4002b98SHong Zhang PetscScalar *x, sum, *t; 1686f4259b30SLisandro Dalcin const MatScalar *idiag = NULL, *mdiag; 1687d4002b98SHong Zhang const PetscScalar *b, *xb; 1688d4002b98SHong Zhang PetscInt n, m = A->rmap->n, i, j, shift; 1689d4002b98SHong Zhang const PetscInt *diag; 1690d4002b98SHong Zhang 1691d4002b98SHong Zhang PetscFunctionBegin; 1692d4002b98SHong Zhang its = its * lits; 1693d4002b98SHong Zhang 1694*07425a8dSBarry Smith PetscCall(MatInvertDiagonalForSOR_SeqSELL(A, omega, fshift)); 1695d4002b98SHong Zhang 1696d4002b98SHong Zhang diag = a->diag; 1697d4002b98SHong Zhang t = a->ssor_work; 1698d4002b98SHong Zhang idiag = a->idiag; 1699d4002b98SHong Zhang mdiag = a->mdiag; 1700d4002b98SHong Zhang 17019566063dSJacob Faibussowitsch PetscCall(VecGetArray(xx, &x)); 17029566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(bb, &b)); 1703d4002b98SHong Zhang /* We count flops by assuming the upper triangular and lower triangular parts have the same number of nonzeros */ 170408401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_UPPER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_UPPER is not implemented"); 170508401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_LOWER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_LOWER is not implemented"); 1706aed4548fSBarry Smith PetscCheck(!(flag & SOR_EISENSTAT), PETSC_COMM_SELF, PETSC_ERR_SUP, "No support yet for Eisenstat"); 1707d4002b98SHong Zhang 1708d4002b98SHong Zhang if (flag & SOR_ZERO_INITIAL_GUESS) { 1709d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1710d4002b98SHong Zhang for (i = 0; i < m; i++) { 171107e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1712d4002b98SHong Zhang sum = b[i]; 171307e43b41SHong Zhang n = (diag[i] - shift) / a->sliceheight; 171407e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1715d4002b98SHong Zhang t[i] = sum; 1716d4002b98SHong Zhang x[i] = sum * idiag[i]; 1717d4002b98SHong Zhang } 1718d4002b98SHong Zhang xb = t; 17199566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1720d4002b98SHong Zhang } else xb = b; 1721d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1722d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 172307e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1724d4002b98SHong Zhang sum = xb[i]; 172507e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 172607e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1727d4002b98SHong Zhang if (xb == b) { 1728d4002b98SHong Zhang x[i] = sum * idiag[i]; 1729d4002b98SHong Zhang } else { 1730d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1731d4002b98SHong Zhang } 1732d4002b98SHong Zhang } 17339566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1734d4002b98SHong Zhang } 1735d4002b98SHong Zhang its--; 1736d4002b98SHong Zhang } 1737d4002b98SHong Zhang while (its--) { 1738d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1739d4002b98SHong Zhang for (i = 0; i < m; i++) { 1740d4002b98SHong Zhang /* lower */ 174107e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1742d4002b98SHong Zhang sum = b[i]; 174307e43b41SHong Zhang n = (diag[i] - shift) / a->sliceheight; 174407e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1745d4002b98SHong Zhang t[i] = sum; /* save application of the lower-triangular part */ 1746d4002b98SHong Zhang /* upper */ 174707e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 174807e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1749d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1750d4002b98SHong Zhang } 1751d4002b98SHong Zhang xb = t; 17529566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1753d4002b98SHong Zhang } else xb = b; 1754d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1755d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 175607e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1757d4002b98SHong Zhang sum = xb[i]; 1758d4002b98SHong Zhang if (xb == b) { 1759d4002b98SHong Zhang /* whole matrix (no checkpointing available) */ 1760d4002b98SHong Zhang n = a->rlen[i]; 176107e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1762d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + (sum + mdiag[i] * x[i]) * idiag[i]; 1763d4002b98SHong Zhang } else { /* lower-triangular part has been saved, so only apply upper-triangular */ 176407e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 176507e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1766d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1767d4002b98SHong Zhang } 1768d4002b98SHong Zhang } 1769d4002b98SHong Zhang if (xb == b) { 17709566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1771d4002b98SHong Zhang } else { 17729566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1773d4002b98SHong Zhang } 1774d4002b98SHong Zhang } 1775d4002b98SHong Zhang } 17769566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(xx, &x)); 17779566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(bb, &b)); 17783ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1779d4002b98SHong Zhang } 1780d4002b98SHong Zhang 1781d4002b98SHong Zhang static struct _MatOps MatOps_Values = {MatSetValues_SeqSELL, 17826108893eSStefano Zampini MatGetRow_SeqSELL, 17836108893eSStefano Zampini MatRestoreRow_SeqSELL, 1784d4002b98SHong Zhang MatMult_SeqSELL, 1785d4002b98SHong Zhang /* 4*/ MatMultAdd_SeqSELL, 1786d4002b98SHong Zhang MatMultTranspose_SeqSELL, 1787d4002b98SHong Zhang MatMultTransposeAdd_SeqSELL, 1788f4259b30SLisandro Dalcin NULL, 1789f4259b30SLisandro Dalcin NULL, 1790f4259b30SLisandro Dalcin NULL, 1791f4259b30SLisandro Dalcin /* 10*/ NULL, 1792f4259b30SLisandro Dalcin NULL, 1793f4259b30SLisandro Dalcin NULL, 1794d4002b98SHong Zhang MatSOR_SeqSELL, 1795f4259b30SLisandro Dalcin NULL, 1796d4002b98SHong Zhang /* 15*/ MatGetInfo_SeqSELL, 1797d4002b98SHong Zhang MatEqual_SeqSELL, 1798d4002b98SHong Zhang MatGetDiagonal_SeqSELL, 1799d4002b98SHong Zhang MatDiagonalScale_SeqSELL, 1800f4259b30SLisandro Dalcin NULL, 1801f4259b30SLisandro Dalcin /* 20*/ NULL, 1802d4002b98SHong Zhang MatAssemblyEnd_SeqSELL, 1803d4002b98SHong Zhang MatSetOption_SeqSELL, 1804d4002b98SHong Zhang MatZeroEntries_SeqSELL, 1805f4259b30SLisandro Dalcin /* 24*/ NULL, 1806f4259b30SLisandro Dalcin NULL, 1807f4259b30SLisandro Dalcin NULL, 1808f4259b30SLisandro Dalcin NULL, 1809f4259b30SLisandro Dalcin NULL, 1810d4002b98SHong Zhang /* 29*/ MatSetUp_SeqSELL, 1811f4259b30SLisandro Dalcin NULL, 1812f4259b30SLisandro Dalcin NULL, 1813f4259b30SLisandro Dalcin NULL, 1814f4259b30SLisandro Dalcin NULL, 1815d4002b98SHong Zhang /* 34*/ MatDuplicate_SeqSELL, 1816f4259b30SLisandro Dalcin NULL, 1817f4259b30SLisandro Dalcin NULL, 1818f4259b30SLisandro Dalcin NULL, 1819f4259b30SLisandro Dalcin NULL, 1820f4259b30SLisandro Dalcin /* 39*/ NULL, 1821f4259b30SLisandro Dalcin NULL, 1822f4259b30SLisandro Dalcin NULL, 1823d4002b98SHong Zhang MatGetValues_SeqSELL, 1824d4002b98SHong Zhang MatCopy_SeqSELL, 1825f4259b30SLisandro Dalcin /* 44*/ NULL, 1826d4002b98SHong Zhang MatScale_SeqSELL, 1827d4002b98SHong Zhang MatShift_SeqSELL, 1828f4259b30SLisandro Dalcin NULL, 1829f4259b30SLisandro Dalcin NULL, 1830f4259b30SLisandro Dalcin /* 49*/ NULL, 1831f4259b30SLisandro Dalcin NULL, 1832f4259b30SLisandro Dalcin NULL, 1833f4259b30SLisandro Dalcin NULL, 1834f4259b30SLisandro Dalcin NULL, 1835d4002b98SHong Zhang /* 54*/ MatFDColoringCreate_SeqXAIJ, 1836f4259b30SLisandro Dalcin NULL, 1837f4259b30SLisandro Dalcin NULL, 1838f4259b30SLisandro Dalcin NULL, 1839f4259b30SLisandro Dalcin NULL, 1840f4259b30SLisandro Dalcin /* 59*/ NULL, 1841d4002b98SHong Zhang MatDestroy_SeqSELL, 1842d4002b98SHong Zhang MatView_SeqSELL, 1843f4259b30SLisandro Dalcin NULL, 1844f4259b30SLisandro Dalcin NULL, 1845f4259b30SLisandro Dalcin /* 64*/ NULL, 1846f4259b30SLisandro Dalcin NULL, 1847f4259b30SLisandro Dalcin NULL, 1848f4259b30SLisandro Dalcin NULL, 1849f4259b30SLisandro Dalcin NULL, 1850f4259b30SLisandro Dalcin /* 69*/ NULL, 1851f4259b30SLisandro Dalcin NULL, 1852f4259b30SLisandro Dalcin NULL, 18538bb0f5c6SPierre Jolivet MatFDColoringApply_AIJ, /* reuse the FDColoring function for AIJ */ 1854f4259b30SLisandro Dalcin NULL, 1855f4259b30SLisandro Dalcin /* 74*/ NULL, 18568bb0f5c6SPierre Jolivet NULL, 1857f4259b30SLisandro Dalcin NULL, 1858f4259b30SLisandro Dalcin NULL, 1859f4259b30SLisandro Dalcin NULL, 1860f4259b30SLisandro Dalcin /* 79*/ NULL, 1861f4259b30SLisandro Dalcin NULL, 1862f4259b30SLisandro Dalcin NULL, 1863f4259b30SLisandro Dalcin NULL, 1864f4259b30SLisandro Dalcin NULL, 1865f4259b30SLisandro Dalcin /* 84*/ NULL, 1866f4259b30SLisandro Dalcin NULL, 1867f4259b30SLisandro Dalcin NULL, 1868f4259b30SLisandro Dalcin NULL, 1869f4259b30SLisandro Dalcin NULL, 1870f4259b30SLisandro Dalcin /* 89*/ NULL, 1871f4259b30SLisandro Dalcin NULL, 1872f4259b30SLisandro Dalcin NULL, 1873f4259b30SLisandro Dalcin NULL, 18748bb0f5c6SPierre Jolivet MatConjugate_SeqSELL, 1875f4259b30SLisandro Dalcin /* 94*/ NULL, 1876f4259b30SLisandro Dalcin NULL, 1877f4259b30SLisandro Dalcin NULL, 1878f4259b30SLisandro Dalcin NULL, 1879f4259b30SLisandro Dalcin NULL, 1880f4259b30SLisandro Dalcin /* 99*/ NULL, 1881f4259b30SLisandro Dalcin NULL, 1882f4259b30SLisandro Dalcin NULL, 1883f4259b30SLisandro Dalcin NULL, 18848bb0f5c6SPierre Jolivet NULL, 18858bb0f5c6SPierre Jolivet /*104*/ MatMissingDiagonal_SeqSELL, 1886f4259b30SLisandro Dalcin NULL, 1887f4259b30SLisandro Dalcin NULL, 1888f4259b30SLisandro Dalcin NULL, 1889f4259b30SLisandro Dalcin NULL, 1890f4259b30SLisandro Dalcin /*109*/ NULL, 1891f4259b30SLisandro Dalcin NULL, 1892f4259b30SLisandro Dalcin NULL, 1893f4259b30SLisandro Dalcin NULL, 18948bb0f5c6SPierre Jolivet NULL, 1895f4259b30SLisandro Dalcin /*114*/ NULL, 1896f4259b30SLisandro Dalcin NULL, 1897f4259b30SLisandro Dalcin NULL, 1898f4259b30SLisandro Dalcin NULL, 1899f4259b30SLisandro Dalcin NULL, 1900f4259b30SLisandro Dalcin /*119*/ NULL, 1901f4259b30SLisandro Dalcin NULL, 1902f4259b30SLisandro Dalcin NULL, 1903f4259b30SLisandro Dalcin NULL, 1904f4259b30SLisandro Dalcin NULL, 1905f4259b30SLisandro Dalcin /*124*/ NULL, 1906f4259b30SLisandro Dalcin NULL, 1907f4259b30SLisandro Dalcin NULL, 1908f4259b30SLisandro Dalcin NULL, 1909f4259b30SLisandro Dalcin NULL, 19108bb0f5c6SPierre Jolivet /*129*/ MatFDColoringSetUp_SeqXAIJ, 1911f4259b30SLisandro Dalcin NULL, 1912f4259b30SLisandro Dalcin NULL, 1913f4259b30SLisandro Dalcin NULL, 1914f4259b30SLisandro Dalcin NULL, 1915f4259b30SLisandro Dalcin /*134*/ NULL, 1916f4259b30SLisandro Dalcin NULL, 1917f4259b30SLisandro Dalcin NULL, 1918f4259b30SLisandro Dalcin NULL, 1919f4259b30SLisandro Dalcin NULL, 1920f4259b30SLisandro Dalcin /*139*/ NULL, 1921f4259b30SLisandro Dalcin NULL, 1922f4259b30SLisandro Dalcin NULL, 192303db1824SAlex Lindsay NULL, 1924c2be7ffeSStefano Zampini NULL, 1925dec0b466SHong Zhang NULL}; 1926d4002b98SHong Zhang 1927ba38deedSJacob Faibussowitsch static PetscErrorCode MatStoreValues_SeqSELL(Mat mat) 1928d71ae5a4SJacob Faibussowitsch { 1929d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1930d4002b98SHong Zhang 1931d4002b98SHong Zhang PetscFunctionBegin; 193228b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 1933d4002b98SHong Zhang 1934d4002b98SHong Zhang /* allocate space for values if not already there */ 1935aa624791SPierre Jolivet if (!a->saved_values) PetscCall(PetscMalloc1(a->sliidx[a->totalslices] + 1, &a->saved_values)); 1936d4002b98SHong Zhang 1937d4002b98SHong Zhang /* copy values over */ 19389566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->saved_values, a->val, a->sliidx[a->totalslices])); 19393ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1940d4002b98SHong Zhang } 1941d4002b98SHong Zhang 1942ba38deedSJacob Faibussowitsch static PetscErrorCode MatRetrieveValues_SeqSELL(Mat mat) 1943d71ae5a4SJacob Faibussowitsch { 1944d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1945d4002b98SHong Zhang 1946d4002b98SHong Zhang PetscFunctionBegin; 194728b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 194828b400f6SJacob Faibussowitsch PetscCheck(a->saved_values, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatStoreValues(A);first"); 19499566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->val, a->saved_values, a->sliidx[a->totalslices])); 19503ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1951d4002b98SHong Zhang } 1952d4002b98SHong Zhang 1953ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetFillRatio_SeqSELL(Mat mat, PetscReal *ratio) 195407e43b41SHong Zhang { 195507e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 195607e43b41SHong Zhang 195707e43b41SHong Zhang PetscFunctionBegin; 195807e43b41SHong Zhang if (a->totalslices && a->sliidx[a->totalslices]) { 195907e43b41SHong Zhang *ratio = (PetscReal)(a->sliidx[a->totalslices] - a->nz) / a->sliidx[a->totalslices]; 196007e43b41SHong Zhang } else { 196107e43b41SHong Zhang *ratio = 0.0; 196207e43b41SHong Zhang } 196307e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 196407e43b41SHong Zhang } 196507e43b41SHong Zhang 1966ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetMaxSliceWidth_SeqSELL(Mat mat, PetscInt *slicewidth) 196707e43b41SHong Zhang { 196807e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 196907e43b41SHong Zhang PetscInt i, current_slicewidth; 197007e43b41SHong Zhang 197107e43b41SHong Zhang PetscFunctionBegin; 197207e43b41SHong Zhang *slicewidth = 0; 197307e43b41SHong Zhang for (i = 0; i < a->totalslices; i++) { 197407e43b41SHong Zhang current_slicewidth = (a->sliidx[i + 1] - a->sliidx[i]) / a->sliceheight; 197507e43b41SHong Zhang if (current_slicewidth > *slicewidth) *slicewidth = current_slicewidth; 197607e43b41SHong Zhang } 197707e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 197807e43b41SHong Zhang } 197907e43b41SHong Zhang 1980ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetAvgSliceWidth_SeqSELL(Mat mat, PetscReal *slicewidth) 198107e43b41SHong Zhang { 198207e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 198307e43b41SHong Zhang 198407e43b41SHong Zhang PetscFunctionBegin; 198507e43b41SHong Zhang *slicewidth = 0; 1986ac530a7eSPierre Jolivet if (a->totalslices) *slicewidth = (PetscReal)a->sliidx[a->totalslices] / a->sliceheight / a->totalslices; 198707e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 198807e43b41SHong Zhang } 198907e43b41SHong Zhang 1990ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetVarSliceSize_SeqSELL(Mat mat, PetscReal *variance) 1991b921024eSHong Zhang { 1992b921024eSHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1993b921024eSHong Zhang PetscReal mean; 1994b921024eSHong Zhang PetscInt i, totalslices = a->totalslices, *sliidx = a->sliidx; 1995b921024eSHong Zhang 1996b921024eSHong Zhang PetscFunctionBegin; 1997b921024eSHong Zhang *variance = 0; 1998b921024eSHong Zhang if (totalslices) { 1999b921024eSHong Zhang mean = (PetscReal)sliidx[totalslices] / totalslices; 2000ac530a7eSPierre Jolivet for (i = 1; i <= totalslices; i++) *variance += ((PetscReal)(sliidx[i] - sliidx[i - 1]) - mean) * ((PetscReal)(sliidx[i] - sliidx[i - 1]) - mean) / totalslices; 2001b921024eSHong Zhang } 2002b921024eSHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 2003b921024eSHong Zhang } 2004b921024eSHong Zhang 2005ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLSetSliceHeight_SeqSELL(Mat A, PetscInt sliceheight) 200607e43b41SHong Zhang { 200707e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 200807e43b41SHong Zhang 200907e43b41SHong Zhang PetscFunctionBegin; 201007e43b41SHong Zhang if (A->preallocated) PetscFunctionReturn(PETSC_SUCCESS); 201107e43b41SHong 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); 201207e43b41SHong Zhang a->sliceheight = sliceheight; 2013773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 2014773bf0f6SHong Zhang PetscCheck(PetscMax(DEVICE_MEM_ALIGN, sliceheight) % PetscMin(DEVICE_MEM_ALIGN, sliceheight) == 0, PETSC_COMM_SELF, PETSC_ERR_SUP, "The slice height is not compatible with DEVICE_MEM_ALIGN (one must be divisible by the other) %" PetscInt_FMT, sliceheight); 20154e58db63SHong Zhang #endif 201607e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 201707e43b41SHong Zhang } 201807e43b41SHong Zhang 2019cc4c1da9SBarry Smith /*@ 202007e43b41SHong Zhang MatSeqSELLGetFillRatio - returns a ratio that indicates the irregularity of the matrix. 202107e43b41SHong Zhang 202207e43b41SHong Zhang Not Collective 202307e43b41SHong Zhang 202407e43b41SHong Zhang Input Parameter: 202507e43b41SHong Zhang . A - a MATSEQSELL matrix 202607e43b41SHong Zhang 202707e43b41SHong Zhang Output Parameter: 202807e43b41SHong Zhang . ratio - ratio of number of padded zeros to number of allocated elements 202907e43b41SHong Zhang 203007e43b41SHong Zhang Level: intermediate 20312920cce0SJacob Faibussowitsch 20322920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetAvgSliceWidth()` 203307e43b41SHong Zhang @*/ 203407e43b41SHong Zhang PetscErrorCode MatSeqSELLGetFillRatio(Mat A, PetscReal *ratio) 203507e43b41SHong Zhang { 203607e43b41SHong Zhang PetscFunctionBegin; 203707e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetFillRatio_C", (Mat, PetscReal *), (A, ratio)); 203807e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 203907e43b41SHong Zhang } 204007e43b41SHong Zhang 2041cc4c1da9SBarry Smith /*@ 204207e43b41SHong Zhang MatSeqSELLGetMaxSliceWidth - returns the maximum slice width. 204307e43b41SHong Zhang 204407e43b41SHong Zhang Not Collective 204507e43b41SHong Zhang 204607e43b41SHong Zhang Input Parameter: 204707e43b41SHong Zhang . A - a MATSEQSELL matrix 204807e43b41SHong Zhang 204907e43b41SHong Zhang Output Parameter: 205007e43b41SHong Zhang . slicewidth - maximum slice width 205107e43b41SHong Zhang 205207e43b41SHong Zhang Level: intermediate 20532920cce0SJacob Faibussowitsch 20542920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetAvgSliceWidth()` 205507e43b41SHong Zhang @*/ 205607e43b41SHong Zhang PetscErrorCode MatSeqSELLGetMaxSliceWidth(Mat A, PetscInt *slicewidth) 205707e43b41SHong Zhang { 205807e43b41SHong Zhang PetscFunctionBegin; 205907e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetMaxSliceWidth_C", (Mat, PetscInt *), (A, slicewidth)); 206007e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 206107e43b41SHong Zhang } 206207e43b41SHong Zhang 2063cc4c1da9SBarry Smith /*@ 206407e43b41SHong Zhang MatSeqSELLGetAvgSliceWidth - returns the average slice width. 206507e43b41SHong Zhang 206607e43b41SHong Zhang Not Collective 206707e43b41SHong Zhang 206807e43b41SHong Zhang Input Parameter: 206907e43b41SHong Zhang . A - a MATSEQSELL matrix 207007e43b41SHong Zhang 207107e43b41SHong Zhang Output Parameter: 207207e43b41SHong Zhang . slicewidth - average slice width 207307e43b41SHong Zhang 207407e43b41SHong Zhang Level: intermediate 20752920cce0SJacob Faibussowitsch 20762920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetMaxSliceWidth()` 207707e43b41SHong Zhang @*/ 207807e43b41SHong Zhang PetscErrorCode MatSeqSELLGetAvgSliceWidth(Mat A, PetscReal *slicewidth) 207907e43b41SHong Zhang { 208007e43b41SHong Zhang PetscFunctionBegin; 208107e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetAvgSliceWidth_C", (Mat, PetscReal *), (A, slicewidth)); 208207e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 208307e43b41SHong Zhang } 208407e43b41SHong Zhang 2085cc4c1da9SBarry Smith /*@ 208607e43b41SHong Zhang MatSeqSELLSetSliceHeight - sets the slice height. 208707e43b41SHong Zhang 208807e43b41SHong Zhang Not Collective 208907e43b41SHong Zhang 209007e43b41SHong Zhang Input Parameters: 209107e43b41SHong Zhang + A - a MATSEQSELL matrix 209207e43b41SHong Zhang - sliceheight - slice height 209307e43b41SHong Zhang 209407e43b41SHong Zhang Notes: 209507e43b41SHong Zhang You cannot change the slice height once it have been set. 209607e43b41SHong Zhang 209707e43b41SHong Zhang The slice height must be set before MatSetUp() or MatXXXSetPreallocation() is called. 209807e43b41SHong Zhang 209907e43b41SHong Zhang Level: intermediate 21002920cce0SJacob Faibussowitsch 21012920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetVarSliceSize()` 210207e43b41SHong Zhang @*/ 210307e43b41SHong Zhang PetscErrorCode MatSeqSELLSetSliceHeight(Mat A, PetscInt sliceheight) 210407e43b41SHong Zhang { 210507e43b41SHong Zhang PetscFunctionBegin; 210607e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLSetSliceHeight_C", (Mat, PetscInt), (A, sliceheight)); 210707e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 210807e43b41SHong Zhang } 210907e43b41SHong Zhang 2110cc4c1da9SBarry Smith /*@ 211107e43b41SHong Zhang MatSeqSELLGetVarSliceSize - returns the variance of the slice size. 211207e43b41SHong Zhang 211307e43b41SHong Zhang Not Collective 211407e43b41SHong Zhang 211507e43b41SHong Zhang Input Parameter: 211607e43b41SHong Zhang . A - a MATSEQSELL matrix 211707e43b41SHong Zhang 211807e43b41SHong Zhang Output Parameter: 211907e43b41SHong Zhang . variance - variance of the slice size 212007e43b41SHong Zhang 212107e43b41SHong Zhang Level: intermediate 21222920cce0SJacob Faibussowitsch 21232920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLSetSliceHeight()` 212407e43b41SHong Zhang @*/ 212507e43b41SHong Zhang PetscErrorCode MatSeqSELLGetVarSliceSize(Mat A, PetscReal *variance) 212607e43b41SHong Zhang { 212707e43b41SHong Zhang PetscFunctionBegin; 212807e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetVarSliceSize_C", (Mat, PetscReal *), (A, variance)); 212907e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 213007e43b41SHong Zhang } 213107e43b41SHong Zhang 21322d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 21332d1451d4SHong Zhang PETSC_EXTERN PetscErrorCode MatConvert_SeqSELL_SeqSELLCUDA(Mat); 21342d1451d4SHong Zhang #endif 2135773bf0f6SHong Zhang #if defined(PETSC_HAVE_HIP) 2136773bf0f6SHong Zhang PETSC_EXTERN PetscErrorCode MatConvert_SeqSELL_SeqSELLHIP(Mat); 2137773bf0f6SHong Zhang #endif 21382d1451d4SHong Zhang 2139d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat B) 2140d71ae5a4SJacob Faibussowitsch { 2141d4002b98SHong Zhang Mat_SeqSELL *b; 2142d4002b98SHong Zhang PetscMPIInt size; 2143d4002b98SHong Zhang 2144d4002b98SHong Zhang PetscFunctionBegin; 21459566063dSJacob Faibussowitsch PetscCall(PetscCitationsRegister(citation, &cited)); 21469566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)B), &size)); 214708401ef6SPierre Jolivet PetscCheck(size <= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Comm must be of size 1"); 2148d4002b98SHong Zhang 21494dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&b)); 2150d4002b98SHong Zhang 2151d4002b98SHong Zhang B->data = (void *)b; 2152aea10558SJacob Faibussowitsch B->ops[0] = MatOps_Values; 2153d4002b98SHong Zhang 2154f4259b30SLisandro Dalcin b->row = NULL; 2155f4259b30SLisandro Dalcin b->col = NULL; 2156f4259b30SLisandro Dalcin b->icol = NULL; 2157d4002b98SHong Zhang b->reallocs = 0; 2158d4002b98SHong Zhang b->ignorezeroentries = PETSC_FALSE; 2159d4002b98SHong Zhang b->roworiented = PETSC_TRUE; 2160d4002b98SHong Zhang b->nonew = 0; 2161f4259b30SLisandro Dalcin b->diag = NULL; 2162f4259b30SLisandro Dalcin b->solve_work = NULL; 2163f4259b30SLisandro Dalcin B->spptr = NULL; 2164f4259b30SLisandro Dalcin b->saved_values = NULL; 2165f4259b30SLisandro Dalcin b->idiag = NULL; 2166f4259b30SLisandro Dalcin b->mdiag = NULL; 2167f4259b30SLisandro Dalcin b->ssor_work = NULL; 2168d4002b98SHong Zhang b->omega = 1.0; 2169d4002b98SHong Zhang b->fshift = 0.0; 2170d4002b98SHong Zhang b->keepnonzeropattern = PETSC_FALSE; 217107e43b41SHong Zhang b->sliceheight = 0; 2172d4002b98SHong Zhang 21739566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQSELL)); 21749566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetArray_C", MatSeqSELLGetArray_SeqSELL)); 21759566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLRestoreArray_C", MatSeqSELLRestoreArray_SeqSELL)); 21769566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatStoreValues_C", MatStoreValues_SeqSELL)); 21779566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatRetrieveValues_C", MatRetrieveValues_SeqSELL)); 21789566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetPreallocation_C", MatSeqSELLSetPreallocation_SeqSELL)); 2179b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqaij_C", MatConvert_SeqSELL_SeqAIJ)); 21802d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 2181b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqsellcuda_C", MatConvert_SeqSELL_SeqSELLCUDA)); 21822d1451d4SHong Zhang #endif 2183773bf0f6SHong Zhang #if defined(PETSC_HAVE_HIP) 2184773bf0f6SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqsellhip_C", MatConvert_SeqSELL_SeqSELLHIP)); 2185773bf0f6SHong Zhang #endif 218607e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetFillRatio_C", MatSeqSELLGetFillRatio_SeqSELL)); 218707e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetMaxSliceWidth_C", MatSeqSELLGetMaxSliceWidth_SeqSELL)); 218807e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetAvgSliceWidth_C", MatSeqSELLGetAvgSliceWidth_SeqSELL)); 2189b921024eSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetVarSliceSize_C", MatSeqSELLGetVarSliceSize_SeqSELL)); 219007e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetSliceHeight_C", MatSeqSELLSetSliceHeight_SeqSELL)); 219107e43b41SHong Zhang 219207e43b41SHong Zhang PetscObjectOptionsBegin((PetscObject)B); 219307e43b41SHong Zhang { 219407e43b41SHong Zhang PetscInt newsh = -1; 219507e43b41SHong Zhang PetscBool flg; 2196773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 219790d2215bSHong Zhang PetscInt chunksize = 0; 219890d2215bSHong Zhang #endif 219907e43b41SHong Zhang 220007e43b41SHong Zhang PetscCall(PetscOptionsInt("-mat_sell_slice_height", "Set the slice height used to store SELL matrix", "MatSELLSetSliceHeight", newsh, &newsh, &flg)); 22013a7d0413SPierre Jolivet if (flg) PetscCall(MatSeqSELLSetSliceHeight(B, newsh)); 2202773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 2203773bf0f6SHong Zhang PetscCall(PetscOptionsInt("-mat_sell_chunk_size", "Set the chunksize for load-balanced CUDA/HIP kernels. Choices include 64,128,256,512,1024", NULL, chunksize, &chunksize, &flg)); 220490d2215bSHong Zhang if (flg) { 220590d2215bSHong 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); 220690d2215bSHong Zhang b->chunksize = chunksize; 220790d2215bSHong Zhang } 220890d2215bSHong Zhang #endif 220907e43b41SHong Zhang } 221007e43b41SHong Zhang PetscOptionsEnd(); 22113ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2212d4002b98SHong Zhang } 2213d4002b98SHong Zhang 2214d4002b98SHong Zhang /* 2215d4002b98SHong Zhang Given a matrix generated with MatGetFactor() duplicates all the information in A into B 2216d4002b98SHong Zhang */ 2217ba38deedSJacob Faibussowitsch static PetscErrorCode MatDuplicateNoCreate_SeqSELL(Mat C, Mat A, MatDuplicateOption cpvalues, PetscBool mallocmatspace) 2218d71ae5a4SJacob Faibussowitsch { 2219ed73aabaSBarry Smith Mat_SeqSELL *c = (Mat_SeqSELL *)C->data, *a = (Mat_SeqSELL *)A->data; 2220d4002b98SHong Zhang PetscInt i, m = A->rmap->n; 2221d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2222d4002b98SHong Zhang 2223d4002b98SHong Zhang PetscFunctionBegin; 2224d4002b98SHong Zhang C->factortype = A->factortype; 2225f4259b30SLisandro Dalcin c->row = NULL; 2226f4259b30SLisandro Dalcin c->col = NULL; 2227f4259b30SLisandro Dalcin c->icol = NULL; 2228d4002b98SHong Zhang c->reallocs = 0; 2229d4002b98SHong Zhang C->assembled = PETSC_TRUE; 2230d4002b98SHong Zhang 22319566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->rmap, &C->rmap)); 22329566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->cmap, &C->cmap)); 2233d4002b98SHong Zhang 2234773bf0f6SHong Zhang c->sliceheight = a->sliceheight; 2235773bf0f6SHong Zhang PetscCall(PetscMalloc1(c->sliceheight * totalslices, &c->rlen)); 22369566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &c->sliidx)); 2237d4002b98SHong Zhang 2238d4002b98SHong Zhang for (i = 0; i < m; i++) c->rlen[i] = a->rlen[i]; 2239d4002b98SHong Zhang for (i = 0; i < totalslices + 1; i++) c->sliidx[i] = a->sliidx[i]; 2240d4002b98SHong Zhang 2241d4002b98SHong Zhang /* allocate the matrix space */ 2242d4002b98SHong Zhang if (mallocmatspace) { 22439566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(a->maxallocmat, &c->val, a->maxallocmat, &c->colidx)); 2244d4002b98SHong Zhang 2245d4002b98SHong Zhang c->singlemalloc = PETSC_TRUE; 2246d4002b98SHong Zhang 2247d4002b98SHong Zhang if (m > 0) { 22489566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->colidx, a->colidx, a->maxallocmat)); 2249d4002b98SHong Zhang if (cpvalues == MAT_COPY_VALUES) { 22509566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->val, a->val, a->maxallocmat)); 2251d4002b98SHong Zhang } else { 22529566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(c->val, a->maxallocmat)); 2253d4002b98SHong Zhang } 2254d4002b98SHong Zhang } 2255d4002b98SHong Zhang } 2256d4002b98SHong Zhang 2257d4002b98SHong Zhang c->ignorezeroentries = a->ignorezeroentries; 2258d4002b98SHong Zhang c->roworiented = a->roworiented; 2259d4002b98SHong Zhang c->nonew = a->nonew; 2260d4002b98SHong Zhang if (a->diag) { 22619566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &c->diag)); 2262ad540459SPierre Jolivet for (i = 0; i < m; i++) c->diag[i] = a->diag[i]; 2263f4259b30SLisandro Dalcin } else c->diag = NULL; 2264d4002b98SHong Zhang 2265f4259b30SLisandro Dalcin c->solve_work = NULL; 2266f4259b30SLisandro Dalcin c->saved_values = NULL; 2267f4259b30SLisandro Dalcin c->idiag = NULL; 2268f4259b30SLisandro Dalcin c->ssor_work = NULL; 2269d4002b98SHong Zhang c->keepnonzeropattern = a->keepnonzeropattern; 2270d4002b98SHong Zhang c->free_val = PETSC_TRUE; 2271d4002b98SHong Zhang c->free_colidx = PETSC_TRUE; 2272d4002b98SHong Zhang 2273d4002b98SHong Zhang c->maxallocmat = a->maxallocmat; 2274d4002b98SHong Zhang c->maxallocrow = a->maxallocrow; 2275d4002b98SHong Zhang c->rlenmax = a->rlenmax; 2276d4002b98SHong Zhang c->nz = a->nz; 2277d4002b98SHong Zhang C->preallocated = PETSC_TRUE; 2278d4002b98SHong Zhang 2279d4002b98SHong Zhang c->nonzerorowcnt = a->nonzerorowcnt; 2280d4002b98SHong Zhang C->nonzerostate = A->nonzerostate; 2281d4002b98SHong Zhang 22829566063dSJacob Faibussowitsch PetscCall(PetscFunctionListDuplicate(((PetscObject)A)->qlist, &((PetscObject)C)->qlist)); 22833ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2284d4002b98SHong Zhang } 2285d4002b98SHong Zhang 2286d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDuplicate_SeqSELL(Mat A, MatDuplicateOption cpvalues, Mat *B) 2287d71ae5a4SJacob Faibussowitsch { 2288d4002b98SHong Zhang PetscFunctionBegin; 22899566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), B)); 22909566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*B, A->rmap->n, A->cmap->n, A->rmap->n, A->cmap->n)); 229148a46eb9SPierre Jolivet if (!(A->rmap->n % A->rmap->bs) && !(A->cmap->n % A->cmap->bs)) PetscCall(MatSetBlockSizesFromMats(*B, A, A)); 22929566063dSJacob Faibussowitsch PetscCall(MatSetType(*B, ((PetscObject)A)->type_name)); 22939566063dSJacob Faibussowitsch PetscCall(MatDuplicateNoCreate_SeqSELL(*B, A, cpvalues, PETSC_TRUE)); 22943ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2295d4002b98SHong Zhang } 2296d4002b98SHong Zhang 2297ed73aabaSBarry Smith /*MC 2298ed73aabaSBarry Smith MATSEQSELL - MATSEQSELL = "seqsell" - A matrix type to be used for sequential sparse matrices, 22991d27aa22SBarry Smith based on the sliced Ellpack format, {cite}`zhangellpack2018` 2300ed73aabaSBarry Smith 230120f4b53cSBarry Smith Options Database Key: 230211a5261eSBarry Smith . -mat_type seqsell - sets the matrix type to "`MATSEQELL` during a call to `MatSetFromOptions()` 2303ed73aabaSBarry Smith 2304ed73aabaSBarry Smith Level: beginner 2305ed73aabaSBarry Smith 230694764886SPierre Jolivet .seealso: `Mat`, `MatCreateSeqSELL()`, `MATSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATAIJ`, `MATMPIAIJ` 2307ed73aabaSBarry Smith M*/ 2308ed73aabaSBarry Smith 2309ed73aabaSBarry Smith /*MC 23101d27aa22SBarry Smith MATSELL - MATSELL = "sell" - A matrix type to be used for sparse matrices, {cite}`zhangellpack2018` 2311ed73aabaSBarry Smith 231211a5261eSBarry Smith This matrix type is identical to `MATSEQSELL` when constructed with a single process communicator, 231311a5261eSBarry Smith and `MATMPISELL` otherwise. As a result, for single process communicators, 231411a5261eSBarry Smith `MatSeqSELLSetPreallocation()` is supported, and similarly `MatMPISELLSetPreallocation()` is supported 2315ed73aabaSBarry Smith for communicators controlling multiple processes. It is recommended that you call both of 2316ed73aabaSBarry Smith the above preallocation routines for simplicity. 2317ed73aabaSBarry Smith 231820f4b53cSBarry Smith Options Database Key: 2319ed73aabaSBarry Smith . -mat_type sell - sets the matrix type to "sell" during a call to MatSetFromOptions() 2320ed73aabaSBarry Smith 2321ed73aabaSBarry Smith Level: beginner 2322ed73aabaSBarry Smith 2323ed73aabaSBarry Smith Notes: 23247de69702SBarry Smith This format is only supported for real scalars, double precision, and 32-bit indices (the defaults). 2325ed73aabaSBarry Smith 2326ed73aabaSBarry Smith It can provide better performance on Intel and AMD processes with AVX2 or AVX512 support for matrices that have a similar number of 2327ed73aabaSBarry Smith non-zeros in contiguous groups of rows. However if the computation is memory bandwidth limited it may not provide much improvement. 2328ed73aabaSBarry Smith 2329ed73aabaSBarry Smith Developer Notes: 2330ed73aabaSBarry Smith On Intel (and AMD) systems some of the matrix operations use SIMD (AVX) instructions to achieve higher performance. 2331ed73aabaSBarry Smith 2332ed73aabaSBarry Smith The sparse matrix format is as follows. For simplicity we assume a slice size of 2, it is actually 8 2333ed73aabaSBarry Smith .vb 2334ed73aabaSBarry Smith (2 0 3 4) 2335ed73aabaSBarry Smith Consider the matrix A = (5 0 6 0) 2336ed73aabaSBarry Smith (0 0 7 8) 2337ed73aabaSBarry Smith (0 0 9 9) 2338ed73aabaSBarry Smith 2339ed73aabaSBarry Smith symbolically the Ellpack format can be written as 2340ed73aabaSBarry Smith 2341ed73aabaSBarry Smith (2 3 4 |) (0 2 3 |) 2342ed73aabaSBarry Smith v = (5 6 0 |) colidx = (0 2 2 |) 2343ed73aabaSBarry Smith -------- --------- 2344ed73aabaSBarry Smith (7 8 |) (2 3 |) 2345ed73aabaSBarry Smith (9 9 |) (2 3 |) 2346ed73aabaSBarry Smith 2347ed73aabaSBarry 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). 2348ed73aabaSBarry 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 2349ed73aabaSBarry 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. 2350ed73aabaSBarry Smith 2351ed73aabaSBarry 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) 2352ed73aabaSBarry Smith 2353ed73aabaSBarry Smith .ve 2354ed73aabaSBarry Smith 23551d27aa22SBarry Smith See `MatMult_SeqSELL()` for how this format is used with the SIMD operations to achieve high performance. 2356ed73aabaSBarry Smith 235794764886SPierre Jolivet .seealso: `Mat`, `MatCreateSeqSELL()`, `MatCreateSeqAIJ()`, `MatCreateSELL()`, `MATSEQSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATMPIAIJ`, `MATAIJ` 2358ed73aabaSBarry Smith M*/ 2359ed73aabaSBarry Smith 23605d83a8b1SBarry Smith /*@ 236111a5261eSBarry Smith MatCreateSeqSELL - Creates a sparse matrix in `MATSEQSELL` format. 2362d4002b98SHong Zhang 23632ef1f0ffSBarry Smith Collective 2364d4002b98SHong Zhang 2365d4002b98SHong Zhang Input Parameters: 236611a5261eSBarry Smith + comm - MPI communicator, set to `PETSC_COMM_SELF` 2367d4002b98SHong Zhang . m - number of rows 2368d4002b98SHong Zhang . n - number of columns 236920f4b53cSBarry Smith . rlenmax - maximum number of nonzeros in a row, ignored if `rlen` is provided 237020f4b53cSBarry Smith - rlen - array containing the number of nonzeros in the various rows (possibly different for each row) or NULL 2371d4002b98SHong Zhang 2372d4002b98SHong Zhang Output Parameter: 2373d4002b98SHong Zhang . A - the matrix 2374d4002b98SHong Zhang 237520f4b53cSBarry Smith Level: intermediate 237620f4b53cSBarry Smith 237720f4b53cSBarry Smith Notes: 237811a5261eSBarry Smith It is recommended that one use the `MatCreate()`, `MatSetType()` and/or `MatSetFromOptions()`, 2379f6f02116SRichard Tran Mills MatXXXXSetPreallocation() paradigm instead of this routine directly. 238011a5261eSBarry Smith [MatXXXXSetPreallocation() is, for example, `MatSeqSELLSetPreallocation()`] 2381d4002b98SHong Zhang 238220f4b53cSBarry Smith Specify the preallocated storage with either `rlenmax` or `rlen` (not both). 238320f4b53cSBarry Smith Set `rlenmax` = `PETSC_DEFAULT` and `rlen` = `NULL` for PETSc to control dynamic memory 238420f4b53cSBarry Smith allocation. 2385d4002b98SHong Zhang 2386fe59aa6dSJacob Faibussowitsch .seealso: `Mat`, `MATSEQSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatSeqSELLSetPreallocation()`, `MATSELL`, `MATMPISELL` 2387d4002b98SHong Zhang @*/ 238820f4b53cSBarry Smith PetscErrorCode MatCreateSeqSELL(MPI_Comm comm, PetscInt m, PetscInt n, PetscInt rlenmax, const PetscInt rlen[], Mat *A) 2389d71ae5a4SJacob Faibussowitsch { 2390d4002b98SHong Zhang PetscFunctionBegin; 23919566063dSJacob Faibussowitsch PetscCall(MatCreate(comm, A)); 23929566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*A, m, n, m, n)); 23939566063dSJacob Faibussowitsch PetscCall(MatSetType(*A, MATSEQSELL)); 239420f4b53cSBarry Smith PetscCall(MatSeqSELLSetPreallocation_SeqSELL(*A, rlenmax, rlen)); 23953ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2396d4002b98SHong Zhang } 2397d4002b98SHong Zhang 2398d71ae5a4SJacob Faibussowitsch PetscErrorCode MatEqual_SeqSELL(Mat A, Mat B, PetscBool *flg) 2399d71ae5a4SJacob Faibussowitsch { 2400d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data, *b = (Mat_SeqSELL *)B->data; 2401d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2402d4002b98SHong Zhang 2403d4002b98SHong Zhang PetscFunctionBegin; 2404d4002b98SHong Zhang /* If the matrix dimensions are not equal,or no of nonzeros */ 2405d4002b98SHong Zhang if ((A->rmap->n != B->rmap->n) || (A->cmap->n != B->cmap->n) || (a->nz != b->nz) || (a->rlenmax != b->rlenmax)) { 2406d4002b98SHong Zhang *flg = PETSC_FALSE; 24073ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2408d4002b98SHong Zhang } 2409d4002b98SHong Zhang /* if the a->colidx are the same */ 24109566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->colidx, b->colidx, a->sliidx[totalslices], flg)); 24113ba16761SJacob Faibussowitsch if (!*flg) PetscFunctionReturn(PETSC_SUCCESS); 2412d4002b98SHong Zhang /* if a->val are the same */ 24139566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->val, b->val, a->sliidx[totalslices], flg)); 24143ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2415d4002b98SHong Zhang } 2416d4002b98SHong Zhang 2417d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConjugate_SeqSELL(Mat A) 2418d71ae5a4SJacob Faibussowitsch { 2419d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 2420d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2421d4002b98SHong Zhang PetscInt i; 2422d4002b98SHong Zhang PetscScalar *val = a->val; 2423d4002b98SHong Zhang 2424d4002b98SHong Zhang PetscFunctionBegin; 2425ac530a7eSPierre Jolivet for (i = 0; i < a->sliidx[a->totalslices]; i++) val[i] = PetscConj(val[i]); 2426773bf0f6SHong Zhang #if defined(PETSC_HAVE_CUPM) 24272d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 24282d1451d4SHong Zhang #endif 2429d4002b98SHong Zhang #else 2430d4002b98SHong Zhang PetscFunctionBegin; 2431d4002b98SHong Zhang #endif 24323ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2433d4002b98SHong Zhang } 2434