1d4002b98SHong Zhang 2d4002b98SHong Zhang /* 3d4002b98SHong Zhang Defines the basic matrix operations for the SELL matrix storage format. 4d4002b98SHong Zhang */ 5d4002b98SHong Zhang #include <../src/mat/impls/sell/seq/sell.h> /*I "petscmat.h" I*/ 6d4002b98SHong Zhang #include <petscblaslapack.h> 7d4002b98SHong Zhang #include <petsc/private/kernels/blocktranspose.h> 8ed73aabaSBarry Smith 9ed73aabaSBarry Smith static PetscBool cited = PETSC_FALSE; 109371c9d4SSatish Balay static const char citation[] = "@inproceedings{ZhangELLPACK2018,\n" 11ed73aabaSBarry Smith " author = {Hong Zhang and Richard T. Mills and Karl Rupp and Barry F. Smith},\n" 12ed73aabaSBarry Smith " title = {Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512}},\n" 13ed73aabaSBarry Smith " booktitle = {Proceedings of the 47th International Conference on Parallel Processing},\n" 14ed73aabaSBarry Smith " year = 2018\n" 15ed73aabaSBarry Smith "}\n"; 16ed73aabaSBarry Smith 175f70456aSHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && (defined(__AVX512F__) || (defined(__AVX2__) && defined(__FMA__)) || defined(__AVX__)) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 184243e2ceSHong Zhang 19d4002b98SHong Zhang #include <immintrin.h> 20d4002b98SHong Zhang 21d4002b98SHong Zhang #if !defined(_MM_SCALE_8) 22d4002b98SHong Zhang #define _MM_SCALE_8 8 23d4002b98SHong Zhang #endif 24d4002b98SHong Zhang 25d4002b98SHong Zhang #if defined(__AVX512F__) 26d4002b98SHong Zhang /* these do not work 27d4002b98SHong Zhang vec_idx = _mm512_loadunpackhi_epi32(vec_idx,acolidx); 28d4002b98SHong Zhang vec_vals = _mm512_loadunpackhi_pd(vec_vals,aval); 29d4002b98SHong Zhang */ 30d4002b98SHong Zhang #define AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y) \ 31d4002b98SHong Zhang /* if the mask bit is set, copy from acolidx, otherwise from vec_idx */ \ 32ef588d5cSRichard Tran Mills vec_idx = _mm256_loadu_si256((__m256i const *)acolidx); \ 33ef588d5cSRichard Tran Mills vec_vals = _mm512_loadu_pd(aval); \ 34d4002b98SHong Zhang vec_x = _mm512_i32gather_pd(vec_idx, x, _MM_SCALE_8); \ 35a48a6482SHong Zhang vec_y = _mm512_fmadd_pd(vec_x, vec_vals, vec_y) 365f70456aSHong Zhang #elif defined(__AVX2__) && defined(__FMA__) 37a48a6482SHong Zhang #define AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y) \ 38ef588d5cSRichard Tran Mills vec_vals = _mm256_loadu_pd(aval); \ 39ef588d5cSRichard Tran Mills vec_idx = _mm_loadu_si128((__m128i const *)acolidx); /* SSE2 */ \ 40a48a6482SHong Zhang vec_x = _mm256_i32gather_pd(x, vec_idx, _MM_SCALE_8); \ 41a48a6482SHong Zhang vec_y = _mm256_fmadd_pd(vec_x, vec_vals, vec_y) 42d4002b98SHong Zhang #endif 43d4002b98SHong Zhang #endif /* PETSC_HAVE_IMMINTRIN_H */ 44d4002b98SHong Zhang 45d4002b98SHong Zhang /*@C 46d4002b98SHong Zhang MatSeqSELLSetPreallocation - For good matrix assembly performance 4720f4b53cSBarry Smith the user should preallocate the matrix storage by setting the parameter `nz` 4820f4b53cSBarry Smith (or the array `nnz`). 49d4002b98SHong Zhang 50d083f849SBarry Smith Collective 51d4002b98SHong Zhang 52d4002b98SHong Zhang Input Parameters: 5311a5261eSBarry Smith + B - The `MATSEQSELL` matrix 5420f4b53cSBarry Smith . rlenmax - number of nonzeros per row (same for all rows), ignored if `rlen` is provided 5520f4b53cSBarry Smith - rlen - array containing the number of nonzeros in the various rows (possibly different for each row) or `NULL` 5667be906fSBarry Smith 5767be906fSBarry Smith Level: intermediate 58d4002b98SHong Zhang 59d4002b98SHong Zhang Notes: 6067be906fSBarry Smith Specify the preallocated storage with either `rlenmax` or `rlen` (not both). 6167be906fSBarry Smith Set `rlenmax` = `PETSC_DEFAULT` and `rlen` = `NULL` for PETSc to control dynamic memory 6220f4b53cSBarry Smith allocation. 63d4002b98SHong Zhang 6411a5261eSBarry Smith You can call `MatGetInfo()` to get information on how effective the preallocation was; 65d4002b98SHong Zhang for example the fields mallocs,nz_allocated,nz_used,nz_unneeded; 6667be906fSBarry Smith You can also run with the option `-info` and look for messages with the string 67d4002b98SHong Zhang malloc in them to see if additional memory allocation was needed. 68d4002b98SHong Zhang 69fe59aa6dSJacob Faibussowitsch Developer Notes: 7067be906fSBarry Smith Use `rlenmax` of `MAT_SKIP_ALLOCATION` to not allocate any space for the matrix 71d4002b98SHong Zhang entries or columns indices. 72d4002b98SHong Zhang 73c7ee91abSRichard Tran Mills The maximum number of nonzeos in any row should be as accurate as possible. 74c7ee91abSRichard Tran Mills If it is underestimated, you will get bad performance due to reallocation 7567be906fSBarry Smith (`MatSeqXSELLReallocateSELL()`). 76d4002b98SHong Zhang 7767be906fSBarry Smith .seealso: `Mat`, `MATSEQSELL`, `MATSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatGetInfo()` 78d4002b98SHong Zhang @*/ 79d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLSetPreallocation(Mat B, PetscInt rlenmax, const PetscInt rlen[]) 80d71ae5a4SJacob Faibussowitsch { 81d4002b98SHong Zhang PetscFunctionBegin; 82d4002b98SHong Zhang PetscValidHeaderSpecific(B, MAT_CLASSID, 1); 83d4002b98SHong Zhang PetscValidType(B, 1); 84cac4c232SBarry Smith PetscTryMethod(B, "MatSeqSELLSetPreallocation_C", (Mat, PetscInt, const PetscInt[]), (B, rlenmax, rlen)); 853ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 86d4002b98SHong Zhang } 87d4002b98SHong Zhang 88d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat B, PetscInt maxallocrow, const PetscInt rlen[]) 89d71ae5a4SJacob Faibussowitsch { 90d4002b98SHong Zhang Mat_SeqSELL *b; 91d4002b98SHong Zhang PetscInt i, j, totalslices; 924e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 934e58db63SHong Zhang PetscInt rlenmax = 0; 944e58db63SHong Zhang #endif 95d4002b98SHong Zhang PetscBool skipallocation = PETSC_FALSE, realalloc = PETSC_FALSE; 96d4002b98SHong Zhang 97d4002b98SHong Zhang PetscFunctionBegin; 98d4002b98SHong Zhang if (maxallocrow >= 0 || rlen) realalloc = PETSC_TRUE; 99d4002b98SHong Zhang if (maxallocrow == MAT_SKIP_ALLOCATION) { 100d4002b98SHong Zhang skipallocation = PETSC_TRUE; 101d4002b98SHong Zhang maxallocrow = 0; 102d4002b98SHong Zhang } 103d4002b98SHong Zhang 1049566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->rmap)); 1059566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->cmap)); 106d4002b98SHong Zhang 107d4002b98SHong Zhang /* FIXME: if one preallocates more space than needed, the matrix does not shrink automatically, but for best performance it should */ 108d4002b98SHong Zhang if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 5; 10908401ef6SPierre Jolivet PetscCheck(maxallocrow >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "maxallocrow cannot be less than 0: value %" PetscInt_FMT, maxallocrow); 110d4002b98SHong Zhang if (rlen) { 111d4002b98SHong Zhang for (i = 0; i < B->rmap->n; i++) { 11208401ef6SPierre 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]); 11308401ef6SPierre 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); 114d4002b98SHong Zhang } 115d4002b98SHong Zhang } 116d4002b98SHong Zhang 117d4002b98SHong Zhang B->preallocated = PETSC_TRUE; 118d4002b98SHong Zhang 119d4002b98SHong Zhang b = (Mat_SeqSELL *)B->data; 120d4002b98SHong Zhang 12107e43b41SHong Zhang if (!b->sliceheight) { /* not set yet */ 12207e43b41SHong Zhang #if defined(PETSC_HAVE_CUDA) 12307e43b41SHong Zhang b->sliceheight = 16; 12407e43b41SHong Zhang #else 12507e43b41SHong Zhang b->sliceheight = 8; 12607e43b41SHong Zhang #endif 12707e43b41SHong Zhang } 12807e43b41SHong Zhang totalslices = PetscCeilInt(B->rmap->n, b->sliceheight); 129d4002b98SHong Zhang b->totalslices = totalslices; 130d4002b98SHong Zhang if (!skipallocation) { 13107e43b41SHong 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)); 132d4002b98SHong Zhang 133d4002b98SHong Zhang if (!b->sliidx) { /* sliidx gives the starting index of each slice, the last element is the total space allocated */ 1349566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &b->sliidx)); 135d4002b98SHong Zhang } 136d4002b98SHong Zhang if (!rlen) { /* if rlen is not provided, allocate same space for all the slices */ 137d4002b98SHong Zhang if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 10; 138d4002b98SHong Zhang else if (maxallocrow < 0) maxallocrow = 1; 1394e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 1404e58db63SHong Zhang rlenmax = maxallocrow; 1414e58db63SHong Zhang /* Pad the slice to DEVICE_MEM_ALIGN */ 1424e58db63SHong Zhang while (b->sliceheight * maxallocrow % DEVICE_MEM_ALIGN) maxallocrow++; 1434e58db63SHong Zhang #endif 14407e43b41SHong Zhang for (i = 0; i <= totalslices; i++) b->sliidx[i] = b->sliceheight * i * maxallocrow; 145d4002b98SHong Zhang } else { 1464e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 1474e58db63SHong Zhang PetscInt mul = DEVICE_MEM_ALIGN / b->sliceheight; 1484e58db63SHong Zhang #endif 149d4002b98SHong Zhang maxallocrow = 0; 150d4002b98SHong Zhang b->sliidx[0] = 0; 151d4002b98SHong Zhang for (i = 1; i < totalslices; i++) { 152d4002b98SHong Zhang b->sliidx[i] = 0; 15307e43b41SHong Zhang for (j = 0; j < b->sliceheight; j++) { b->sliidx[i] = PetscMax(b->sliidx[i], rlen[b->sliceheight * (i - 1) + j]); } 1544e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 1554e58db63SHong Zhang rlenmax = PetscMax(b->sliidx[i], rlenmax); 1564e58db63SHong Zhang /* Pad the slice to DEVICE_MEM_ALIGN */ 1574e58db63SHong Zhang b->sliidx[i] = ((b->sliidx[i] - 1) / mul + 1) * mul; 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]); 1654e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 1664e58db63SHong Zhang rlenmax = PetscMax(b->sliidx[i], rlenmax); 1674e58db63SHong Zhang b->sliidx[totalslices] = ((b->sliidx[totalslices] - 1) / mul + 1) * mul; 1684e58db63SHong Zhang #endif 169d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[totalslices], maxallocrow); 17007e43b41SHong Zhang b->sliidx[totalslices] = b->sliidx[totalslices - 1] + b->sliceheight * b->sliidx[totalslices]; 171d4002b98SHong Zhang } 172d4002b98SHong Zhang 173d4002b98SHong Zhang /* allocate space for val, colidx, rlen */ 174d4002b98SHong Zhang /* FIXME: should B's old memory be unlogged? */ 1759566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(B, &b->val, &b->colidx)); 176d4002b98SHong Zhang /* FIXME: assuming an element of the bit array takes 8 bits */ 1779566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(b->sliidx[totalslices], &b->val, b->sliidx[totalslices], &b->colidx)); 178d4002b98SHong 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. */ 17907e43b41SHong Zhang PetscCall(PetscCalloc1(b->sliceheight * totalslices, &b->rlen)); 180d4002b98SHong Zhang 181d4002b98SHong Zhang b->singlemalloc = PETSC_TRUE; 182d4002b98SHong Zhang b->free_val = PETSC_TRUE; 183d4002b98SHong Zhang b->free_colidx = PETSC_TRUE; 184d4002b98SHong Zhang } else { 185d4002b98SHong Zhang b->free_val = PETSC_FALSE; 186d4002b98SHong Zhang b->free_colidx = PETSC_FALSE; 187d4002b98SHong Zhang } 188d4002b98SHong Zhang 189d4002b98SHong Zhang b->nz = 0; 190d4002b98SHong Zhang b->maxallocrow = maxallocrow; 1914e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 1924e58db63SHong Zhang b->rlenmax = rlenmax; 1934e58db63SHong Zhang #else 194d4002b98SHong Zhang b->rlenmax = maxallocrow; 1954e58db63SHong Zhang #endif 196d4002b98SHong Zhang b->maxallocmat = b->sliidx[totalslices]; 197d4002b98SHong Zhang B->info.nz_unneeded = (double)b->maxallocmat; 1981baa6e33SBarry Smith if (realalloc) PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE)); 1993ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 200d4002b98SHong Zhang } 201d4002b98SHong Zhang 202*ba38deedSJacob Faibussowitsch static PetscErrorCode MatGetRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 203d71ae5a4SJacob Faibussowitsch { 2046108893eSStefano Zampini Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2056108893eSStefano Zampini PetscInt shift; 2066108893eSStefano Zampini 2076108893eSStefano Zampini PetscFunctionBegin; 208aed4548fSBarry Smith PetscCheck(row >= 0 && row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row %" PetscInt_FMT " out of range", row); 2096108893eSStefano Zampini if (nz) *nz = a->rlen[row]; 21007e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + (row % a->sliceheight); 2112d1451d4SHong Zhang if (!a->getrowcols) { PetscCall(PetscMalloc2(a->rlenmax, &a->getrowcols, a->rlenmax, &a->getrowvals)); } 2126108893eSStefano Zampini if (idx) { 2136108893eSStefano Zampini PetscInt j; 21407e43b41SHong Zhang for (j = 0; j < a->rlen[row]; j++) a->getrowcols[j] = a->colidx[shift + a->sliceheight * j]; 2156108893eSStefano Zampini *idx = a->getrowcols; 2166108893eSStefano Zampini } 2176108893eSStefano Zampini if (v) { 2186108893eSStefano Zampini PetscInt j; 21907e43b41SHong Zhang for (j = 0; j < a->rlen[row]; j++) a->getrowvals[j] = a->val[shift + a->sliceheight * j]; 2206108893eSStefano Zampini *v = a->getrowvals; 2216108893eSStefano Zampini } 2223ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2236108893eSStefano Zampini } 2246108893eSStefano Zampini 225*ba38deedSJacob Faibussowitsch static PetscErrorCode MatRestoreRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 226d71ae5a4SJacob Faibussowitsch { 2276108893eSStefano Zampini PetscFunctionBegin; 2283ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2296108893eSStefano Zampini } 2306108893eSStefano Zampini 231d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) 232d71ae5a4SJacob Faibussowitsch { 233d4002b98SHong Zhang Mat B; 234d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 235e3f1f374SStefano Zampini PetscInt i; 236d4002b98SHong Zhang 237d4002b98SHong Zhang PetscFunctionBegin; 238ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 239ad013a7bSRichard Tran Mills B = *newmat; 2409566063dSJacob Faibussowitsch PetscCall(MatZeroEntries(B)); 241ad013a7bSRichard Tran Mills } else { 2429566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2439566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, A->rmap->n, A->cmap->n, A->rmap->N, A->cmap->N)); 2449566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQAIJ)); 2459566063dSJacob Faibussowitsch PetscCall(MatSeqAIJSetPreallocation(B, 0, a->rlen)); 246ad013a7bSRichard Tran Mills } 247d4002b98SHong Zhang 248e3f1f374SStefano Zampini for (i = 0; i < A->rmap->n; i++) { 249e108cb99SStefano Zampini PetscInt nz = 0, *cols = NULL; 250e108cb99SStefano Zampini PetscScalar *vals = NULL; 251e3f1f374SStefano Zampini 2529566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqSELL(A, i, &nz, &cols, &vals)); 2539566063dSJacob Faibussowitsch PetscCall(MatSetValues(B, 1, &i, nz, cols, vals, INSERT_VALUES)); 2549566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqSELL(A, i, &nz, &cols, &vals)); 255d4002b98SHong Zhang } 256e3f1f374SStefano Zampini 2579566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 2589566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 259d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 260d4002b98SHong Zhang 261d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 2629566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 263d4002b98SHong Zhang } else { 264d4002b98SHong Zhang *newmat = B; 265d4002b98SHong Zhang } 2663ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 267d4002b98SHong Zhang } 268d4002b98SHong Zhang 269d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/aij.h> 270d4002b98SHong Zhang 271d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) 272d71ae5a4SJacob Faibussowitsch { 273d4002b98SHong Zhang Mat B; 274d4002b98SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ *)A->data; 275d4002b98SHong Zhang PetscInt *ai = a->i, m = A->rmap->N, n = A->cmap->N, i, *rowlengths, row, ncols; 276d4002b98SHong Zhang const PetscInt *cols; 277d4002b98SHong Zhang const PetscScalar *vals; 278d4002b98SHong Zhang 279d4002b98SHong Zhang PetscFunctionBegin; 280ad013a7bSRichard Tran Mills 281ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 282ad013a7bSRichard Tran Mills B = *newmat; 283ad013a7bSRichard Tran Mills } else { 284d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) || !a->ilen) { 2859566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &rowlengths)); 286ad540459SPierre Jolivet for (i = 0; i < m; i++) rowlengths[i] = ai[i + 1] - ai[i]; 287d5e5b2e5SBarry Smith } 288d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) && a->ilen) { 289d5e5b2e5SBarry Smith PetscBool eq; 2909566063dSJacob Faibussowitsch PetscCall(PetscMemcmp(rowlengths, a->ilen, m * sizeof(PetscInt), &eq)); 29128b400f6SJacob Faibussowitsch PetscCheck(eq, PETSC_COMM_SELF, PETSC_ERR_PLIB, "SeqAIJ ilen array incorrect"); 2929566063dSJacob Faibussowitsch PetscCall(PetscFree(rowlengths)); 293d5e5b2e5SBarry Smith rowlengths = a->ilen; 294d5e5b2e5SBarry Smith } else if (a->ilen) rowlengths = a->ilen; 2959566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2969566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, m, n, m, n)); 2979566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQSELL)); 2989566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(B, 0, rowlengths)); 2999566063dSJacob Faibussowitsch if (rowlengths != a->ilen) PetscCall(PetscFree(rowlengths)); 300ad013a7bSRichard Tran Mills } 301d4002b98SHong Zhang 302d4002b98SHong Zhang for (row = 0; row < m; row++) { 3039566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 3049566063dSJacob Faibussowitsch PetscCall(MatSetValues_SeqSELL(B, 1, &row, ncols, cols, vals, INSERT_VALUES)); 3059566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 306d4002b98SHong Zhang } 3079566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 3089566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 309d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 310d4002b98SHong Zhang 311d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 3129566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 313d4002b98SHong Zhang } else { 314d4002b98SHong Zhang *newmat = B; 315d4002b98SHong Zhang } 3163ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 317d4002b98SHong Zhang } 318d4002b98SHong Zhang 319d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMult_SeqSELL(Mat A, Vec xx, Vec yy) 320d71ae5a4SJacob Faibussowitsch { 321d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 322d4002b98SHong Zhang PetscScalar *y; 323d4002b98SHong Zhang const PetscScalar *x; 324d4002b98SHong Zhang const MatScalar *aval = a->val; 325d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 326d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 3277285fed1SHong Zhang PetscInt i, j; 328d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 329d4002b98SHong Zhang __m512d vec_x, vec_y, vec_vals; 330d4002b98SHong Zhang __m256i vec_idx; 331d4002b98SHong Zhang __mmask8 mask; 332d4002b98SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 333d4002b98SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 3345f70456aSHong 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) 335a48a6482SHong Zhang __m128i vec_idx; 336a48a6482SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 337a48a6482SHong Zhang MatScalar yval; 338a48a6482SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 33921cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 340d4002b98SHong Zhang __m128d vec_x_tmp; 341d4002b98SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 342d4002b98SHong Zhang MatScalar yval; 343d4002b98SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 344d4002b98SHong Zhang #else 34507e43b41SHong Zhang PetscInt k, sliceheight = a->sliceheight; 34607e43b41SHong Zhang PetscScalar *sum; 347d4002b98SHong Zhang #endif 348d4002b98SHong Zhang 349d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 350d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 351d4002b98SHong Zhang #endif 352d4002b98SHong Zhang 353d4002b98SHong Zhang PetscFunctionBegin; 3549566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 3559566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 356d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 35707e43b41SHong 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); 358d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 359d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 360d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 361d4002b98SHong Zhang 362d4002b98SHong Zhang vec_y = _mm512_setzero_pd(); 363d4002b98SHong Zhang vec_y2 = _mm512_setzero_pd(); 364d4002b98SHong Zhang vec_y3 = _mm512_setzero_pd(); 365d4002b98SHong Zhang vec_y4 = _mm512_setzero_pd(); 366d4002b98SHong Zhang 367da81f932SPierre Jolivet j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice column */ 368d4002b98SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 369d4002b98SHong Zhang case 3: 370d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3719371c9d4SSatish Balay acolidx += 8; 3729371c9d4SSatish Balay aval += 8; 373d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3749371c9d4SSatish Balay acolidx += 8; 3759371c9d4SSatish Balay aval += 8; 376d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 3779371c9d4SSatish Balay acolidx += 8; 3789371c9d4SSatish Balay aval += 8; 379d4002b98SHong Zhang j += 3; 380d4002b98SHong Zhang break; 381d4002b98SHong Zhang case 2: 382d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3839371c9d4SSatish Balay acolidx += 8; 3849371c9d4SSatish Balay aval += 8; 385d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3869371c9d4SSatish Balay acolidx += 8; 3879371c9d4SSatish Balay aval += 8; 388d4002b98SHong Zhang j += 2; 389d4002b98SHong Zhang break; 390d4002b98SHong Zhang case 1: 391d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3929371c9d4SSatish Balay acolidx += 8; 3939371c9d4SSatish Balay aval += 8; 394d4002b98SHong Zhang j += 1; 395d4002b98SHong Zhang break; 396d4002b98SHong Zhang } 397d4002b98SHong Zhang #pragma novector 398d4002b98SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 399d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 4009371c9d4SSatish Balay acolidx += 8; 4019371c9d4SSatish Balay aval += 8; 402d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 4039371c9d4SSatish Balay acolidx += 8; 4049371c9d4SSatish Balay aval += 8; 405d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 4069371c9d4SSatish Balay acolidx += 8; 4079371c9d4SSatish Balay aval += 8; 408d4002b98SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 4099371c9d4SSatish Balay acolidx += 8; 4109371c9d4SSatish Balay aval += 8; 411d4002b98SHong Zhang } 412d4002b98SHong Zhang 413d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 414d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 415d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 416d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 417d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 418ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&y[8 * i], mask, vec_y); 419d4002b98SHong Zhang } else { 420ef588d5cSRichard Tran Mills _mm512_storeu_pd(&y[8 * i], vec_y); 421d4002b98SHong Zhang } 422d4002b98SHong Zhang } 4235f70456aSHong 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) 42407e43b41SHong 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); 425a48a6482SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 426a48a6482SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 427a48a6482SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 428a48a6482SHong Zhang 429a48a6482SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 430a48a6482SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 431a48a6482SHong Zhang rows_left = A->rmap->n - 8 * i; 432a48a6482SHong Zhang for (r = 0; r < rows_left; ++r) { 433a48a6482SHong Zhang yval = (MatScalar)0; 434a48a6482SHong Zhang row = 8 * i + r; 435a48a6482SHong Zhang nnz_in_row = a->rlen[row]; 436a48a6482SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 437a48a6482SHong Zhang y[row] = yval; 438a48a6482SHong Zhang } 439a48a6482SHong Zhang break; 440a48a6482SHong Zhang } 441a48a6482SHong Zhang 442a48a6482SHong Zhang vec_y = _mm256_setzero_pd(); 443a48a6482SHong Zhang vec_y2 = _mm256_setzero_pd(); 444a48a6482SHong Zhang 445a48a6482SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 446a48a6482SHong Zhang #pragma novector 447a48a6482SHong Zhang #pragma unroll(2) 448a48a6482SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 449a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 4509371c9d4SSatish Balay aval += 4; 4519371c9d4SSatish Balay acolidx += 4; 452a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y2); 4539371c9d4SSatish Balay aval += 4; 4549371c9d4SSatish Balay acolidx += 4; 455a48a6482SHong Zhang } 456a48a6482SHong Zhang 457ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8, vec_y); 458ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 459a48a6482SHong Zhang } 46021cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 46107e43b41SHong 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); 462d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 463d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 464d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 465d4002b98SHong Zhang 466d4002b98SHong Zhang vec_y = _mm256_setzero_pd(); 467d4002b98SHong Zhang vec_y2 = _mm256_setzero_pd(); 468d4002b98SHong Zhang 469d4002b98SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 470d4002b98SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 471d4002b98SHong Zhang rows_left = A->rmap->n - 8 * i; 472d4002b98SHong Zhang for (r = 0; r < rows_left; ++r) { 473d4002b98SHong Zhang yval = (MatScalar)0; 474d4002b98SHong Zhang row = 8 * i + r; 475d4002b98SHong Zhang nnz_in_row = a->rlen[row]; 476d4002b98SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 477d4002b98SHong Zhang y[row] = yval; 478d4002b98SHong Zhang } 479d4002b98SHong Zhang break; 480d4002b98SHong Zhang } 481d4002b98SHong Zhang 482d4002b98SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 483a48a6482SHong Zhang #pragma novector 484a48a6482SHong Zhang #pragma unroll(2) 4857285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 486d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 487165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 488d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 489d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 490d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 491d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 492d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 493d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 494d4002b98SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 495d4002b98SHong Zhang aval += 4; 496d4002b98SHong Zhang 497d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 498d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 499d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 500d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 501d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 502d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 503d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 504d4002b98SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 505d4002b98SHong Zhang aval += 4; 506d4002b98SHong Zhang } 507d4002b98SHong Zhang 508d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8, vec_y); 509d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 510d4002b98SHong Zhang } 511d4002b98SHong Zhang #else 51207e43b41SHong Zhang PetscCall(PetscMalloc1(sliceheight, &sum)); 513d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 51407e43b41SHong Zhang for (j = 0; j < sliceheight; j++) { 5152d1451d4SHong Zhang sum[j] = 0.0; 51607e43b41SHong Zhang for (k = a->sliidx[i] + j; k < a->sliidx[i + 1]; k += sliceheight) sum[j] += aval[k] * x[acolidx[k]]; 517d4002b98SHong Zhang } 51807e43b41SHong Zhang if (i == totalslices - 1 && (A->rmap->n % sliceheight)) { /* if last slice has padding rows */ 51907e43b41SHong Zhang for (j = 0; j < (A->rmap->n % sliceheight); j++) y[sliceheight * i + j] = sum[j]; 520d4002b98SHong Zhang } else { 52107e43b41SHong Zhang for (j = 0; j < sliceheight; j++) y[sliceheight * i + j] = sum[j]; 522d4002b98SHong Zhang } 523d4002b98SHong Zhang } 52407e43b41SHong Zhang PetscCall(PetscFree(sum)); 525d4002b98SHong Zhang #endif 526d4002b98SHong Zhang 5279566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz - a->nonzerorowcnt)); /* theoretical minimal FLOPs */ 5289566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 5299566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 5303ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 531d4002b98SHong Zhang } 532d4002b98SHong Zhang 533d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/ftn-kernels/fmultadd.h> 534d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultAdd_SeqSELL(Mat A, Vec xx, Vec yy, Vec zz) 535d71ae5a4SJacob Faibussowitsch { 536d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 537d4002b98SHong Zhang PetscScalar *y, *z; 538d4002b98SHong Zhang const PetscScalar *x; 539d4002b98SHong Zhang const MatScalar *aval = a->val; 540d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 541d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 542d4002b98SHong Zhang PetscInt i, j; 543d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5447285fed1SHong Zhang __m512d vec_x, vec_y, vec_vals; 545d4002b98SHong Zhang __m256i vec_idx; 5465ea36cfaSSatish Balay __mmask8 mask = 0; 5477285fed1SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 5487285fed1SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 54921cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5507285fed1SHong Zhang __m128d vec_x_tmp; 5517285fed1SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 5527285fed1SHong Zhang MatScalar yval; 5537285fed1SHong Zhang PetscInt r, row, nnz_in_row; 554d4002b98SHong Zhang #else 55507e43b41SHong Zhang PetscInt k, sliceheight = a->sliceheight; 55607e43b41SHong Zhang PetscScalar *sum; 557d4002b98SHong Zhang #endif 558d4002b98SHong Zhang 559d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 560d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 561d4002b98SHong Zhang #endif 562d4002b98SHong Zhang 563d4002b98SHong Zhang PetscFunctionBegin; 5642d1451d4SHong Zhang if (!a->nz) { 5652d1451d4SHong Zhang PetscCall(VecCopy(yy, zz)); 5662d1451d4SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 5672d1451d4SHong Zhang } 5689566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 5699566063dSJacob Faibussowitsch PetscCall(VecGetArrayPair(yy, zz, &y, &z)); 570d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 57107e43b41SHong 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); 5727285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 5737285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5747285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5757285fed1SHong Zhang 576d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 577d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 578ef588d5cSRichard Tran Mills vec_y = _mm512_mask_loadu_pd(vec_y, mask, &y[8 * i]); 5797285fed1SHong Zhang } else { 580ef588d5cSRichard Tran Mills vec_y = _mm512_loadu_pd(&y[8 * i]); 5817285fed1SHong Zhang } 5827285fed1SHong Zhang vec_y2 = _mm512_setzero_pd(); 5837285fed1SHong Zhang vec_y3 = _mm512_setzero_pd(); 5847285fed1SHong Zhang vec_y4 = _mm512_setzero_pd(); 5857285fed1SHong Zhang 586da81f932SPierre Jolivet j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice column */ 5877285fed1SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 5887285fed1SHong Zhang case 3: 5897285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5909371c9d4SSatish Balay acolidx += 8; 5919371c9d4SSatish Balay aval += 8; 5927285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5939371c9d4SSatish Balay acolidx += 8; 5949371c9d4SSatish Balay aval += 8; 5957285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 5969371c9d4SSatish Balay acolidx += 8; 5979371c9d4SSatish Balay aval += 8; 5987285fed1SHong Zhang j += 3; 5997285fed1SHong Zhang break; 6007285fed1SHong Zhang case 2: 6017285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 6029371c9d4SSatish Balay acolidx += 8; 6039371c9d4SSatish Balay aval += 8; 6047285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 6059371c9d4SSatish Balay acolidx += 8; 6069371c9d4SSatish Balay aval += 8; 6077285fed1SHong Zhang j += 2; 6087285fed1SHong Zhang break; 6097285fed1SHong Zhang case 1: 6107285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 6119371c9d4SSatish Balay acolidx += 8; 6129371c9d4SSatish Balay aval += 8; 6137285fed1SHong Zhang j += 1; 6147285fed1SHong Zhang break; 6157285fed1SHong Zhang } 6167285fed1SHong Zhang #pragma novector 6177285fed1SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 6187285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 6199371c9d4SSatish Balay acolidx += 8; 6209371c9d4SSatish Balay aval += 8; 6217285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 6229371c9d4SSatish Balay acolidx += 8; 6239371c9d4SSatish Balay aval += 8; 6247285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 6259371c9d4SSatish Balay acolidx += 8; 6269371c9d4SSatish Balay aval += 8; 6277285fed1SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 6289371c9d4SSatish Balay acolidx += 8; 6299371c9d4SSatish Balay aval += 8; 6307285fed1SHong Zhang } 6317285fed1SHong Zhang 6327285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 6337285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 6347285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 6357285fed1SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 636ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&z[8 * i], mask, vec_y); 637d4002b98SHong Zhang } else { 638ef588d5cSRichard Tran Mills _mm512_storeu_pd(&z[8 * i], vec_y); 639d4002b98SHong Zhang } 6407285fed1SHong Zhang } 64121cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 64207e43b41SHong 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); 6437285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 6447285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6457285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6467285fed1SHong Zhang 6477285fed1SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 6487285fed1SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 6497285fed1SHong Zhang for (r = 0; r < (A->rmap->n & 0x07); ++r) { 6507285fed1SHong Zhang row = 8 * i + r; 6517285fed1SHong Zhang yval = (MatScalar)0.0; 6527285fed1SHong Zhang nnz_in_row = a->rlen[row]; 6537285fed1SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 6547285fed1SHong Zhang z[row] = y[row] + yval; 6557285fed1SHong Zhang } 6567285fed1SHong Zhang break; 6577285fed1SHong Zhang } 6587285fed1SHong Zhang 6597285fed1SHong Zhang vec_y = _mm256_loadu_pd(y + 8 * i); 6607285fed1SHong Zhang vec_y2 = _mm256_loadu_pd(y + 8 * i + 4); 6617285fed1SHong Zhang 6627285fed1SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 6637285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 6647285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 665165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 6667285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6677285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 668165f9cc3SJed Brown vec_x = _mm256_setzero_pd(); 6697285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6707285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6717285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6727285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6737285fed1SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 6747285fed1SHong Zhang aval += 4; 6757285fed1SHong Zhang 6767285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 6777285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6787285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6797285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6807285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6817285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6827285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6837285fed1SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 6847285fed1SHong Zhang aval += 4; 6857285fed1SHong Zhang } 6867285fed1SHong Zhang 6877285fed1SHong Zhang _mm256_storeu_pd(z + i * 8, vec_y); 6887285fed1SHong Zhang _mm256_storeu_pd(z + i * 8 + 4, vec_y2); 6897285fed1SHong Zhang } 690d4002b98SHong Zhang #else 69107e43b41SHong Zhang PetscCall(PetscMalloc1(sliceheight, &sum)); 6927285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 69307e43b41SHong Zhang for (j = 0; j < sliceheight; j++) { 6942d1451d4SHong Zhang sum[j] = 0.0; 69507e43b41SHong Zhang for (k = a->sliidx[i] + j; k < a->sliidx[i + 1]; k += sliceheight) sum[j] += aval[k] * x[acolidx[k]]; 696d4002b98SHong Zhang } 69707e43b41SHong Zhang if (i == totalslices - 1 && (A->rmap->n % sliceheight)) { 69807e43b41SHong Zhang for (j = 0; j < (A->rmap->n % sliceheight); j++) z[sliceheight * i + j] = y[sliceheight * i + j] + sum[j]; 699d4002b98SHong Zhang } else { 70007e43b41SHong Zhang for (j = 0; j < sliceheight; j++) z[sliceheight * i + j] = y[sliceheight * i + j] + sum[j]; 7017285fed1SHong Zhang } 702d4002b98SHong Zhang } 70307e43b41SHong Zhang PetscCall(PetscFree(sum)); 704d4002b98SHong Zhang #endif 705d4002b98SHong Zhang 7069566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 7079566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 7089566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayPair(yy, zz, &y, &z)); 7093ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 710d4002b98SHong Zhang } 711d4002b98SHong Zhang 712d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat A, Vec xx, Vec zz, Vec yy) 713d71ae5a4SJacob Faibussowitsch { 714d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 715d4002b98SHong Zhang PetscScalar *y; 716d4002b98SHong Zhang const PetscScalar *x; 717d4002b98SHong Zhang const MatScalar *aval = a->val; 718d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 71907e43b41SHong Zhang PetscInt i, j, r, row, nnz_in_row, totalslices = a->totalslices, sliceheight = a->sliceheight; 720d4002b98SHong Zhang 721d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 722d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 723d4002b98SHong Zhang #endif 724d4002b98SHong Zhang 725d4002b98SHong Zhang PetscFunctionBegin; 726b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 7279566063dSJacob Faibussowitsch PetscCall(MatMultAdd_SeqSELL(A, xx, zz, yy)); 7283ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 7299fc32365SStefano Zampini } 7309566063dSJacob Faibussowitsch if (zz != yy) PetscCall(VecCopy(zz, yy)); 7312d1451d4SHong Zhang 7322d1451d4SHong Zhang if (a->nz) { 7339566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 7349566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 735d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 73607e43b41SHong Zhang if (i == totalslices - 1 && (A->rmap->n % sliceheight)) { 73707e43b41SHong Zhang for (r = 0; r < (A->rmap->n % sliceheight); ++r) { 73807e43b41SHong Zhang row = sliceheight * i + r; 7397285fed1SHong Zhang nnz_in_row = a->rlen[row]; 74007e43b41SHong Zhang for (j = 0; j < nnz_in_row; ++j) y[acolidx[sliceheight * j + r]] += aval[sliceheight * j + r] * x[row]; 7417285fed1SHong Zhang } 7427285fed1SHong Zhang break; 7437285fed1SHong Zhang } 74407e43b41SHong Zhang for (r = 0; r < sliceheight; ++r) 74507e43b41SHong Zhang for (j = a->sliidx[i] + r; j < a->sliidx[i + 1]; j += sliceheight) y[acolidx[j]] += aval[j] * x[sliceheight * i + r]; 746d4002b98SHong Zhang } 7472d1451d4SHong Zhang PetscCall(PetscLogFlops(2.0 * a->nz)); 7489566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 7499566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 7502d1451d4SHong Zhang } 7513ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 752d4002b98SHong Zhang } 753d4002b98SHong Zhang 754d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTranspose_SeqSELL(Mat A, Vec xx, Vec yy) 755d71ae5a4SJacob Faibussowitsch { 756d4002b98SHong Zhang PetscFunctionBegin; 757b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 7589566063dSJacob Faibussowitsch PetscCall(MatMult_SeqSELL(A, xx, yy)); 7599fc32365SStefano Zampini } else { 7609566063dSJacob Faibussowitsch PetscCall(VecSet(yy, 0.0)); 7619566063dSJacob Faibussowitsch PetscCall(MatMultTransposeAdd_SeqSELL(A, xx, yy, yy)); 7629fc32365SStefano Zampini } 7633ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 764d4002b98SHong Zhang } 765d4002b98SHong Zhang 766d4002b98SHong Zhang /* 767d4002b98SHong Zhang Checks for missing diagonals 768d4002b98SHong Zhang */ 769d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMissingDiagonal_SeqSELL(Mat A, PetscBool *missing, PetscInt *d) 770d71ae5a4SJacob Faibussowitsch { 771d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 772d4002b98SHong Zhang PetscInt *diag, i; 773d4002b98SHong Zhang 774d4002b98SHong Zhang PetscFunctionBegin; 775d4002b98SHong Zhang *missing = PETSC_FALSE; 776d4002b98SHong Zhang if (A->rmap->n > 0 && !(a->colidx)) { 777d4002b98SHong Zhang *missing = PETSC_TRUE; 778d4002b98SHong Zhang if (d) *d = 0; 7799566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix has no entries therefore is missing diagonal\n")); 780d4002b98SHong Zhang } else { 781d4002b98SHong Zhang diag = a->diag; 782d4002b98SHong Zhang for (i = 0; i < A->rmap->n; i++) { 783d4002b98SHong Zhang if (diag[i] == -1) { 784d4002b98SHong Zhang *missing = PETSC_TRUE; 785d4002b98SHong Zhang if (d) *d = i; 7869566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix is missing diagonal number %" PetscInt_FMT "\n", i)); 787d4002b98SHong Zhang break; 788d4002b98SHong Zhang } 789d4002b98SHong Zhang } 790d4002b98SHong Zhang } 7913ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 792d4002b98SHong Zhang } 793d4002b98SHong Zhang 794d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMarkDiagonal_SeqSELL(Mat A) 795d71ae5a4SJacob Faibussowitsch { 796d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 797d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 798d4002b98SHong Zhang 799d4002b98SHong Zhang PetscFunctionBegin; 800d4002b98SHong Zhang if (!a->diag) { 8019566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &a->diag)); 802d4002b98SHong Zhang a->free_diag = PETSC_TRUE; 803d4002b98SHong Zhang } 804d4002b98SHong Zhang for (i = 0; i < m; i++) { /* loop over rows */ 80507e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 806d4002b98SHong Zhang a->diag[i] = -1; 807d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 80807e43b41SHong Zhang if (a->colidx[shift + a->sliceheight * j] == i) { 80907e43b41SHong Zhang a->diag[i] = shift + a->sliceheight * j; 810d4002b98SHong Zhang break; 811d4002b98SHong Zhang } 812d4002b98SHong Zhang } 813d4002b98SHong Zhang } 8143ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 815d4002b98SHong Zhang } 816d4002b98SHong Zhang 817d4002b98SHong Zhang /* 818d4002b98SHong Zhang Negative shift indicates do not generate an error if there is a zero diagonal, just invert it anyways 819d4002b98SHong Zhang */ 820d71ae5a4SJacob Faibussowitsch PetscErrorCode MatInvertDiagonal_SeqSELL(Mat A, PetscScalar omega, PetscScalar fshift) 821d71ae5a4SJacob Faibussowitsch { 822d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 823d4002b98SHong Zhang PetscInt i, *diag, m = A->rmap->n; 824d4002b98SHong Zhang MatScalar *val = a->val; 825d4002b98SHong Zhang PetscScalar *idiag, *mdiag; 826d4002b98SHong Zhang 827d4002b98SHong Zhang PetscFunctionBegin; 8283ba16761SJacob Faibussowitsch if (a->idiagvalid) PetscFunctionReturn(PETSC_SUCCESS); 8299566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 830d4002b98SHong Zhang diag = a->diag; 831d4002b98SHong Zhang if (!a->idiag) { 8329566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(m, &a->idiag, m, &a->mdiag, m, &a->ssor_work)); 833d4002b98SHong Zhang val = a->val; 834d4002b98SHong Zhang } 835d4002b98SHong Zhang mdiag = a->mdiag; 836d4002b98SHong Zhang idiag = a->idiag; 837d4002b98SHong Zhang 838d4002b98SHong Zhang if (omega == 1.0 && PetscRealPart(fshift) <= 0.0) { 839d4002b98SHong Zhang for (i = 0; i < m; i++) { 840d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 841d4002b98SHong Zhang if (!PetscAbsScalar(mdiag[i])) { /* zero diagonal */ 8420fdf79fbSJacob Faibussowitsch PetscCheck(PetscRealPart(fshift), PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Zero diagonal on row %" PetscInt_FMT, i); 8439566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Zero diagonal on row %" PetscInt_FMT "\n", i)); 844d4002b98SHong Zhang A->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 845d4002b98SHong Zhang A->factorerror_zeropivot_value = 0.0; 846d4002b98SHong Zhang A->factorerror_zeropivot_row = i; 847d4002b98SHong Zhang } 848d4002b98SHong Zhang idiag[i] = 1.0 / val[diag[i]]; 849d4002b98SHong Zhang } 8509566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(m)); 851d4002b98SHong Zhang } else { 852d4002b98SHong Zhang for (i = 0; i < m; i++) { 853d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 854d4002b98SHong Zhang idiag[i] = omega / (fshift + val[diag[i]]); 855d4002b98SHong Zhang } 8569566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * m)); 857d4002b98SHong Zhang } 858d4002b98SHong Zhang a->idiagvalid = PETSC_TRUE; 8593ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 860d4002b98SHong Zhang } 861d4002b98SHong Zhang 862d71ae5a4SJacob Faibussowitsch PetscErrorCode MatZeroEntries_SeqSELL(Mat A) 863d71ae5a4SJacob Faibussowitsch { 864d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 865d4002b98SHong Zhang 866d4002b98SHong Zhang PetscFunctionBegin; 8679566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(a->val, a->sliidx[a->totalslices])); 8689566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 8693ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 870d4002b98SHong Zhang } 871d4002b98SHong Zhang 872d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDestroy_SeqSELL(Mat A) 873d71ae5a4SJacob Faibussowitsch { 874d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 875d4002b98SHong Zhang 876d4002b98SHong Zhang PetscFunctionBegin; 8773ba16761SJacob Faibussowitsch PetscCall(PetscLogObjectState((PetscObject)A, "Rows=%" PetscInt_FMT ", Cols=%" PetscInt_FMT ", NZ=%" PetscInt_FMT, A->rmap->n, A->cmap->n, a->nz)); 8789566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(A, &a->val, &a->colidx)); 8799566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->row)); 8809566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->col)); 8819566063dSJacob Faibussowitsch PetscCall(PetscFree(a->diag)); 8829566063dSJacob Faibussowitsch PetscCall(PetscFree(a->rlen)); 8839566063dSJacob Faibussowitsch PetscCall(PetscFree(a->sliidx)); 8849566063dSJacob Faibussowitsch PetscCall(PetscFree3(a->idiag, a->mdiag, a->ssor_work)); 8859566063dSJacob Faibussowitsch PetscCall(PetscFree(a->solve_work)); 8869566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->icol)); 8879566063dSJacob Faibussowitsch PetscCall(PetscFree(a->saved_values)); 8889566063dSJacob Faibussowitsch PetscCall(PetscFree2(a->getrowcols, a->getrowvals)); 8899566063dSJacob Faibussowitsch PetscCall(PetscFree(A->data)); 89090d2215bSHong Zhang #if defined(PETSC_HAVE_CUDA) 89190d2215bSHong Zhang PetscCall(PetscFree(a->chunk_slice_map)); 89290d2215bSHong Zhang #endif 893d4002b98SHong Zhang 8949566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)A, NULL)); 8959566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatStoreValues_C", NULL)); 8969566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatRetrieveValues_C", NULL)); 8979566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetPreallocation_C", NULL)); 8982e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetArray_C", NULL)); 8992e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLRestoreArray_C", NULL)); 900b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqaij_C", NULL)); 9012d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 902b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqsellcuda_C", NULL)); 9032d1451d4SHong Zhang #endif 90407e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetFillRatio_C", NULL)); 90507e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetMaxSliceWidth_C", NULL)); 90607e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetAvgSliceWidth_C", NULL)); 907b921024eSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetVarSliceSize_C", NULL)); 90807e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetSliceHeight_C", NULL)); 9093ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 910d4002b98SHong Zhang } 911d4002b98SHong Zhang 912d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetOption_SeqSELL(Mat A, MatOption op, PetscBool flg) 913d71ae5a4SJacob Faibussowitsch { 914d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 915d4002b98SHong Zhang 916d4002b98SHong Zhang PetscFunctionBegin; 917d4002b98SHong Zhang switch (op) { 918d71ae5a4SJacob Faibussowitsch case MAT_ROW_ORIENTED: 919d71ae5a4SJacob Faibussowitsch a->roworiented = flg; 920d71ae5a4SJacob Faibussowitsch break; 921d71ae5a4SJacob Faibussowitsch case MAT_KEEP_NONZERO_PATTERN: 922d71ae5a4SJacob Faibussowitsch a->keepnonzeropattern = flg; 923d71ae5a4SJacob Faibussowitsch break; 924d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATIONS: 925d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? 0 : 1); 926d71ae5a4SJacob Faibussowitsch break; 927d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATION_ERR: 928d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -1 : 0); 929d71ae5a4SJacob Faibussowitsch break; 930d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_ALLOCATION_ERR: 931d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -2 : 0); 932d71ae5a4SJacob Faibussowitsch break; 933d71ae5a4SJacob Faibussowitsch case MAT_UNUSED_NONZERO_LOCATION_ERR: 934d71ae5a4SJacob Faibussowitsch a->nounused = (flg ? -1 : 0); 935d71ae5a4SJacob Faibussowitsch break; 9368c78258cSHong Zhang case MAT_FORCE_DIAGONAL_ENTRIES: 937d4002b98SHong Zhang case MAT_IGNORE_OFF_PROC_ENTRIES: 938d4002b98SHong Zhang case MAT_USE_HASH_TABLE: 939d71ae5a4SJacob Faibussowitsch case MAT_SORTED_FULL: 940d71ae5a4SJacob Faibussowitsch PetscCall(PetscInfo(A, "Option %s ignored\n", MatOptions[op])); 941d71ae5a4SJacob Faibussowitsch break; 942d4002b98SHong Zhang case MAT_SPD: 943d4002b98SHong Zhang case MAT_SYMMETRIC: 944d4002b98SHong Zhang case MAT_STRUCTURALLY_SYMMETRIC: 945d4002b98SHong Zhang case MAT_HERMITIAN: 946d4002b98SHong Zhang case MAT_SYMMETRY_ETERNAL: 947b94d7dedSBarry Smith case MAT_STRUCTURAL_SYMMETRY_ETERNAL: 948b94d7dedSBarry Smith case MAT_SPD_ETERNAL: 949d4002b98SHong Zhang /* These options are handled directly by MatSetOption() */ 950d4002b98SHong Zhang break; 951d71ae5a4SJacob Faibussowitsch default: 952d71ae5a4SJacob Faibussowitsch SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "unknown option %d", op); 953d4002b98SHong Zhang } 9543ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 955d4002b98SHong Zhang } 956d4002b98SHong Zhang 957d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetDiagonal_SeqSELL(Mat A, Vec v) 958d71ae5a4SJacob Faibussowitsch { 959d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 960d4002b98SHong Zhang PetscInt i, j, n, shift; 961d4002b98SHong Zhang PetscScalar *x, zero = 0.0; 962d4002b98SHong Zhang 963d4002b98SHong Zhang PetscFunctionBegin; 9649566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(v, &n)); 96508401ef6SPierre Jolivet PetscCheck(n == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Nonconforming matrix and vector"); 966d4002b98SHong Zhang 967d4002b98SHong Zhang if (A->factortype == MAT_FACTOR_ILU || A->factortype == MAT_FACTOR_LU) { 968d4002b98SHong Zhang PetscInt *diag = a->diag; 9699566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &x)); 970d4002b98SHong Zhang for (i = 0; i < n; i++) x[i] = 1.0 / a->val[diag[i]]; 9719566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &x)); 9723ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 973d4002b98SHong Zhang } 974d4002b98SHong Zhang 9759566063dSJacob Faibussowitsch PetscCall(VecSet(v, zero)); 9769566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &x)); 977d4002b98SHong Zhang for (i = 0; i < n; i++) { /* loop over rows */ 97807e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 979d4002b98SHong Zhang x[i] = 0; 980d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 98107e43b41SHong Zhang if (a->colidx[shift + a->sliceheight * j] == i) { 98207e43b41SHong Zhang x[i] = a->val[shift + a->sliceheight * j]; 983d4002b98SHong Zhang break; 984d4002b98SHong Zhang } 985d4002b98SHong Zhang } 986d4002b98SHong Zhang } 9879566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &x)); 9883ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 989d4002b98SHong Zhang } 990d4002b98SHong Zhang 991d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDiagonalScale_SeqSELL(Mat A, Vec ll, Vec rr) 992d71ae5a4SJacob Faibussowitsch { 993d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 994d4002b98SHong Zhang const PetscScalar *l, *r; 995d4002b98SHong Zhang PetscInt i, j, m, n, row; 996d4002b98SHong Zhang 997d4002b98SHong Zhang PetscFunctionBegin; 998d4002b98SHong Zhang if (ll) { 999d4002b98SHong Zhang /* The local size is used so that VecMPI can be passed to this routine 1000d4002b98SHong Zhang by MatDiagonalScale_MPISELL */ 10019566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(ll, &m)); 100208401ef6SPierre Jolivet PetscCheck(m == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Left scaling vector wrong length"); 10039566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(ll, &l)); 1004d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 100507e43b41SHong Zhang if (i == a->totalslices - 1 && (A->rmap->n % a->sliceheight)) { /* if last slice has padding rows */ 100607e43b41SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % a->sliceheight) { 100707e43b41SHong Zhang if (row < (A->rmap->n % a->sliceheight)) a->val[j] *= l[a->sliceheight * i + row]; 1008dab86139SHong Zhang } 1009dab86139SHong Zhang } else { 101007e43b41SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % a->sliceheight) { a->val[j] *= l[a->sliceheight * i + row]; } 1011d4002b98SHong Zhang } 1012dab86139SHong Zhang } 10139566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(ll, &l)); 10149566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1015d4002b98SHong Zhang } 1016d4002b98SHong Zhang if (rr) { 10179566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(rr, &n)); 101808401ef6SPierre Jolivet PetscCheck(n == A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Right scaling vector wrong length"); 10199566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(rr, &r)); 1020d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 102107e43b41SHong Zhang if (i == a->totalslices - 1 && (A->rmap->n % a->sliceheight)) { /* if last slice has padding rows */ 102207e43b41SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) % a->sliceheight)) { 102307e43b41SHong Zhang if (row < (A->rmap->n % a->sliceheight)) a->val[j] *= r[a->colidx[j]]; 1024dab86139SHong Zhang } 1025dab86139SHong Zhang } else { 1026ad540459SPierre Jolivet for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j++) a->val[j] *= r[a->colidx[j]]; 1027d4002b98SHong Zhang } 1028dab86139SHong Zhang } 10299566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(rr, &r)); 10309566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1031d4002b98SHong Zhang } 10329566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 10332d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 10342d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 10352d1451d4SHong Zhang #endif 10363ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1037d4002b98SHong Zhang } 1038d4002b98SHong Zhang 1039d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], PetscScalar v[]) 1040d71ae5a4SJacob Faibussowitsch { 1041d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1042d4002b98SHong Zhang PetscInt *cp, i, k, low, high, t, row, col, l; 1043d4002b98SHong Zhang PetscInt shift; 1044d4002b98SHong Zhang MatScalar *vp; 1045d4002b98SHong Zhang 1046d4002b98SHong Zhang PetscFunctionBegin; 104768aafef3SStefano Zampini for (k = 0; k < m; k++) { /* loop over requested rows */ 1048d4002b98SHong Zhang row = im[k]; 1049d4002b98SHong Zhang if (row < 0) continue; 10506bdcaf15SBarry 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); 105107e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + (row % a->sliceheight); /* starting index of the row */ 1052d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1053d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 105468aafef3SStefano Zampini for (l = 0; l < n; l++) { /* loop over requested columns */ 1055d4002b98SHong Zhang col = in[l]; 1056d4002b98SHong Zhang if (col < 0) continue; 10576bdcaf15SBarry 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); 10589371c9d4SSatish Balay high = a->rlen[row]; 10599371c9d4SSatish Balay low = 0; /* assume unsorted */ 1060d4002b98SHong Zhang while (high - low > 5) { 1061d4002b98SHong Zhang t = (low + high) / 2; 106207e43b41SHong Zhang if (*(cp + a->sliceheight * t) > col) high = t; 1063d4002b98SHong Zhang else low = t; 1064d4002b98SHong Zhang } 1065d4002b98SHong Zhang for (i = low; i < high; i++) { 106607e43b41SHong Zhang if (*(cp + a->sliceheight * i) > col) break; 106707e43b41SHong Zhang if (*(cp + a->sliceheight * i) == col) { 106807e43b41SHong Zhang *v++ = *(vp + a->sliceheight * i); 1069d4002b98SHong Zhang goto finished; 1070d4002b98SHong Zhang } 1071d4002b98SHong Zhang } 1072d4002b98SHong Zhang *v++ = 0.0; 1073d4002b98SHong Zhang finished:; 1074d4002b98SHong Zhang } 1075d4002b98SHong Zhang } 10763ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1077d4002b98SHong Zhang } 1078d4002b98SHong Zhang 1079*ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_ASCII(Mat A, PetscViewer viewer) 1080d71ae5a4SJacob Faibussowitsch { 1081d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1082d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1083d4002b98SHong Zhang const char *name; 1084d4002b98SHong Zhang PetscViewerFormat format; 1085d4002b98SHong Zhang 1086d4002b98SHong Zhang PetscFunctionBegin; 10879566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 1088d4002b98SHong Zhang if (format == PETSC_VIEWER_ASCII_MATLAB) { 1089d4002b98SHong Zhang PetscInt nofinalvalue = 0; 1090d4002b98SHong Zhang /* 1091d4002b98SHong Zhang if (m && ((a->i[m] == a->i[m-1]) || (a->j[a->nz-1] != A->cmap->n-1))) { 1092d4002b98SHong Zhang nofinalvalue = 1; 1093d4002b98SHong Zhang } 1094d4002b98SHong Zhang */ 10959566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 10969566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Size = %" PetscInt_FMT " %" PetscInt_FMT " \n", m, A->cmap->n)); 10979566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Nonzeros = %" PetscInt_FMT " \n", a->nz)); 1098d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10999566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",4);\n", a->nz + nofinalvalue)); 1100d4002b98SHong Zhang #else 11019566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",3);\n", a->nz + nofinalvalue)); 1102d4002b98SHong Zhang #endif 11039566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = [\n")); 1104d4002b98SHong Zhang 1105d4002b98SHong Zhang for (i = 0; i < m; i++) { 110607e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1107d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1108d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 110907e43b41SHong 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]))); 1110d4002b98SHong Zhang #else 111107e43b41SHong 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])); 1112d4002b98SHong Zhang #endif 1113d4002b98SHong Zhang } 1114d4002b98SHong Zhang } 1115d4002b98SHong Zhang /* 1116d4002b98SHong Zhang if (nofinalvalue) { 1117d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11189566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e %18.16e\n",m,A->cmap->n,0.,0.)); 1119d4002b98SHong Zhang #else 11209566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e\n",m,A->cmap->n,0.0)); 1121d4002b98SHong Zhang #endif 1122d4002b98SHong Zhang } 1123d4002b98SHong Zhang */ 11249566063dSJacob Faibussowitsch PetscCall(PetscObjectGetName((PetscObject)A, &name)); 11259566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "];\n %s = spconvert(zzz);\n", name)); 11269566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1127d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_FACTOR_INFO || format == PETSC_VIEWER_ASCII_INFO) { 11283ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1129d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_COMMON) { 11309566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1131d4002b98SHong Zhang for (i = 0; i < m; i++) { 11329566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 113307e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1134d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1135d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 113607e43b41SHong Zhang if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) > 0.0 && PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 113707e43b41SHong 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]))); 113807e43b41SHong Zhang } else if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) < 0.0 && PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 113907e43b41SHong 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]))); 114007e43b41SHong Zhang } else if (PetscRealPart(a->val[shift + a->sliceheight * j]) != 0.0) { 114107e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]))); 1142d4002b98SHong Zhang } 1143d4002b98SHong Zhang #else 114407e43b41SHong 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])); 1145d4002b98SHong Zhang #endif 1146d4002b98SHong Zhang } 11479566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1148d4002b98SHong Zhang } 11499566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1150d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_DENSE) { 1151d4002b98SHong Zhang PetscInt cnt = 0, jcnt; 1152d4002b98SHong Zhang PetscScalar value; 1153d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1154d4002b98SHong Zhang PetscBool realonly = PETSC_TRUE; 1155d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1156d4002b98SHong Zhang if (PetscImaginaryPart(a->val[i]) != 0.0) { 1157d4002b98SHong Zhang realonly = PETSC_FALSE; 1158d4002b98SHong Zhang break; 1159d4002b98SHong Zhang } 1160d4002b98SHong Zhang } 1161d4002b98SHong Zhang #endif 1162d4002b98SHong Zhang 11639566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1164d4002b98SHong Zhang for (i = 0; i < m; i++) { 1165d4002b98SHong Zhang jcnt = 0; 116607e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1167d4002b98SHong Zhang for (j = 0; j < A->cmap->n; j++) { 116807e43b41SHong Zhang if (jcnt < a->rlen[i] && j == a->colidx[shift + a->sliceheight * j]) { 1169d4002b98SHong Zhang value = a->val[cnt++]; 1170d4002b98SHong Zhang jcnt++; 1171d4002b98SHong Zhang } else { 1172d4002b98SHong Zhang value = 0.0; 1173d4002b98SHong Zhang } 1174d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1175d4002b98SHong Zhang if (realonly) { 11769566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)PetscRealPart(value))); 1177d4002b98SHong Zhang } else { 11789566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e+%7.5e i ", (double)PetscRealPart(value), (double)PetscImaginaryPart(value))); 1179d4002b98SHong Zhang } 1180d4002b98SHong Zhang #else 11819566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)value)); 1182d4002b98SHong Zhang #endif 1183d4002b98SHong Zhang } 11849566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1185d4002b98SHong Zhang } 11869566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1187d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_MATRIXMARKET) { 1188d4002b98SHong Zhang PetscInt fshift = 1; 11899566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1190d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11919566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate complex general\n")); 1192d4002b98SHong Zhang #else 11939566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate real general\n")); 1194d4002b98SHong Zhang #endif 11959566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", m, A->cmap->n, a->nz)); 1196d4002b98SHong Zhang for (i = 0; i < m; i++) { 119707e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1198d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1199d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 120007e43b41SHong 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]))); 1201d4002b98SHong Zhang #else 120207e43b41SHong 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])); 1203d4002b98SHong Zhang #endif 1204d4002b98SHong Zhang } 1205d4002b98SHong Zhang } 12069566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 120768aafef3SStefano Zampini } else if (format == PETSC_VIEWER_NATIVE) { 120868aafef3SStefano Zampini for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 120968aafef3SStefano Zampini PetscInt row; 12109566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "slice %" PetscInt_FMT ": %" PetscInt_FMT " %" PetscInt_FMT "\n", i, a->sliidx[i], a->sliidx[i + 1])); 121107e43b41SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = (row + 1) % a->sliceheight) { 121268aafef3SStefano Zampini #if defined(PETSC_USE_COMPLEX) 121368aafef3SStefano Zampini if (PetscImaginaryPart(a->val[j]) > 0.0) { 121407e43b41SHong 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]))); 121568aafef3SStefano Zampini } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 121607e43b41SHong 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]))); 121768aafef3SStefano Zampini } else { 121807e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", a->sliceheight * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]))); 121968aafef3SStefano Zampini } 122068aafef3SStefano Zampini #else 122107e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", a->sliceheight * i + row, a->colidx[j], (double)a->val[j])); 122268aafef3SStefano Zampini #endif 122368aafef3SStefano Zampini } 122468aafef3SStefano Zampini } 1225d4002b98SHong Zhang } else { 12269566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1227d4002b98SHong Zhang if (A->factortype) { 1228d4002b98SHong Zhang for (i = 0; i < m; i++) { 122907e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 12309566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1231d4002b98SHong Zhang /* L part */ 123207e43b41SHong Zhang for (j = shift; j < a->diag[i]; j += a->sliceheight) { 1233d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 123407e43b41SHong Zhang if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) > 0.0) { 12359566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 123607e43b41SHong Zhang } else if (PetscImaginaryPart(a->val[shift + a->sliceheight * j]) < 0.0) { 12379566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1238d4002b98SHong Zhang } else { 12399566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1240d4002b98SHong Zhang } 1241d4002b98SHong Zhang #else 12429566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1243d4002b98SHong Zhang #endif 1244d4002b98SHong Zhang } 1245d4002b98SHong Zhang /* diagonal */ 1246d4002b98SHong Zhang j = a->diag[i]; 1247d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1248d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12499566063dSJacob 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]))); 1250d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12519566063dSJacob 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])))); 1252d4002b98SHong Zhang } else { 12539566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j]))); 1254d4002b98SHong Zhang } 1255d4002b98SHong Zhang #else 12569566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)(1.0 / a->val[j]))); 1257d4002b98SHong Zhang #endif 1258d4002b98SHong Zhang 1259d4002b98SHong Zhang /* U part */ 126007e43b41SHong Zhang for (j = a->diag[i] + 1; j < shift + a->sliceheight * a->rlen[i]; j += a->sliceheight) { 1261d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1262d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12639566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 1264d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12659566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1266d4002b98SHong Zhang } else { 12679566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1268d4002b98SHong Zhang } 1269d4002b98SHong Zhang #else 12709566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1271d4002b98SHong Zhang #endif 1272d4002b98SHong Zhang } 12739566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1274d4002b98SHong Zhang } 1275d4002b98SHong Zhang } else { 1276d4002b98SHong Zhang for (i = 0; i < m; i++) { 127707e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 12789566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1279d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1280d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1281d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 128207e43b41SHong 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]))); 1283d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 128407e43b41SHong 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]))); 1285d4002b98SHong Zhang } else { 128607e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)PetscRealPart(a->val[shift + a->sliceheight * j]))); 1287d4002b98SHong Zhang } 1288d4002b98SHong Zhang #else 128907e43b41SHong Zhang PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + a->sliceheight * j], (double)a->val[shift + a->sliceheight * j])); 1290d4002b98SHong Zhang #endif 1291d4002b98SHong Zhang } 12929566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1293d4002b98SHong Zhang } 1294d4002b98SHong Zhang } 12959566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1296d4002b98SHong Zhang } 12979566063dSJacob Faibussowitsch PetscCall(PetscViewerFlush(viewer)); 12983ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1299d4002b98SHong Zhang } 1300d4002b98SHong Zhang 1301d4002b98SHong Zhang #include <petscdraw.h> 1302*ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_Draw_Zoom(PetscDraw draw, void *Aa) 1303d71ae5a4SJacob Faibussowitsch { 1304d4002b98SHong Zhang Mat A = (Mat)Aa; 1305d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1306d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1307d4002b98SHong Zhang int color; 1308d4002b98SHong Zhang PetscReal xl, yl, xr, yr, x_l, x_r, y_l, y_r; 1309d4002b98SHong Zhang PetscViewer viewer; 1310d4002b98SHong Zhang PetscViewerFormat format; 1311d4002b98SHong Zhang 1312d4002b98SHong Zhang PetscFunctionBegin; 13139566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject)A, "Zoomviewer", (PetscObject *)&viewer)); 13149566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 13159566063dSJacob Faibussowitsch PetscCall(PetscDrawGetCoordinates(draw, &xl, &yl, &xr, &yr)); 1316d4002b98SHong Zhang 1317d4002b98SHong Zhang /* loop over matrix elements drawing boxes */ 1318d4002b98SHong Zhang 1319d4002b98SHong Zhang if (format != PETSC_VIEWER_DRAW_CONTOUR) { 1320d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1321d4002b98SHong Zhang /* Blue for negative, Cyan for zero and Red for positive */ 1322d4002b98SHong Zhang color = PETSC_DRAW_BLUE; 1323d4002b98SHong Zhang for (i = 0; i < m; i++) { 132407e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 13259371c9d4SSatish Balay y_l = m - i - 1.0; 13269371c9d4SSatish Balay y_r = y_l + 1.0; 1327d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 132807e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13299371c9d4SSatish Balay x_r = x_l + 1.0; 133007e43b41SHong Zhang if (PetscRealPart(a->val[shift + a->sliceheight * j]) >= 0.) continue; 13319566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1332d4002b98SHong Zhang } 1333d4002b98SHong Zhang } 1334d4002b98SHong Zhang color = PETSC_DRAW_CYAN; 1335d4002b98SHong Zhang for (i = 0; i < m; i++) { 133607e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 13379371c9d4SSatish Balay y_l = m - i - 1.0; 13389371c9d4SSatish Balay y_r = y_l + 1.0; 1339d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 134007e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13419371c9d4SSatish Balay x_r = x_l + 1.0; 134207e43b41SHong Zhang if (a->val[shift + a->sliceheight * j] != 0.) continue; 13439566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1344d4002b98SHong Zhang } 1345d4002b98SHong Zhang } 1346d4002b98SHong Zhang color = PETSC_DRAW_RED; 1347d4002b98SHong Zhang for (i = 0; i < m; i++) { 134807e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 13499371c9d4SSatish Balay y_l = m - i - 1.0; 13509371c9d4SSatish Balay y_r = y_l + 1.0; 1351d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 135207e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 13539371c9d4SSatish Balay x_r = x_l + 1.0; 135407e43b41SHong Zhang if (PetscRealPart(a->val[shift + a->sliceheight * j]) <= 0.) continue; 13559566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1356d4002b98SHong Zhang } 1357d4002b98SHong Zhang } 1358d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1359d4002b98SHong Zhang } else { 1360d4002b98SHong Zhang /* use contour shading to indicate magnitude of values */ 1361d4002b98SHong Zhang /* first determine max of all nonzero values */ 1362d4002b98SHong Zhang PetscReal minv = 0.0, maxv = 0.0; 1363d4002b98SHong Zhang PetscInt count = 0; 1364d4002b98SHong Zhang PetscDraw popup; 1365d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1366d4002b98SHong Zhang if (PetscAbsScalar(a->val[i]) > maxv) maxv = PetscAbsScalar(a->val[i]); 1367d4002b98SHong Zhang } 1368d4002b98SHong Zhang if (minv >= maxv) maxv = minv + PETSC_SMALL; 13699566063dSJacob Faibussowitsch PetscCall(PetscDrawGetPopup(draw, &popup)); 13709566063dSJacob Faibussowitsch PetscCall(PetscDrawScalePopup(popup, minv, maxv)); 1371d4002b98SHong Zhang 1372d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1373d4002b98SHong Zhang for (i = 0; i < m; i++) { 137407e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; 1375d4002b98SHong Zhang y_l = m - i - 1.0; 1376d4002b98SHong Zhang y_r = y_l + 1.0; 1377d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 137807e43b41SHong Zhang x_l = a->colidx[shift + a->sliceheight * j]; 1379d4002b98SHong Zhang x_r = x_l + 1.0; 1380d4002b98SHong Zhang color = PetscDrawRealToColor(PetscAbsScalar(a->val[count]), minv, maxv); 13819566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1382d4002b98SHong Zhang count++; 1383d4002b98SHong Zhang } 1384d4002b98SHong Zhang } 1385d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1386d4002b98SHong Zhang } 13873ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1388d4002b98SHong Zhang } 1389d4002b98SHong Zhang 1390d4002b98SHong Zhang #include <petscdraw.h> 1391*ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSELL_Draw(Mat A, PetscViewer viewer) 1392d71ae5a4SJacob Faibussowitsch { 1393d4002b98SHong Zhang PetscDraw draw; 1394d4002b98SHong Zhang PetscReal xr, yr, xl, yl, h, w; 1395d4002b98SHong Zhang PetscBool isnull; 1396d4002b98SHong Zhang 1397d4002b98SHong Zhang PetscFunctionBegin; 13989566063dSJacob Faibussowitsch PetscCall(PetscViewerDrawGetDraw(viewer, 0, &draw)); 13999566063dSJacob Faibussowitsch PetscCall(PetscDrawIsNull(draw, &isnull)); 14003ba16761SJacob Faibussowitsch if (isnull) PetscFunctionReturn(PETSC_SUCCESS); 1401d4002b98SHong Zhang 14029371c9d4SSatish Balay xr = A->cmap->n; 14039371c9d4SSatish Balay yr = A->rmap->n; 14049371c9d4SSatish Balay h = yr / 10.0; 14059371c9d4SSatish Balay w = xr / 10.0; 14069371c9d4SSatish Balay xr += w; 14079371c9d4SSatish Balay yr += h; 14089371c9d4SSatish Balay xl = -w; 14099371c9d4SSatish Balay yl = -h; 14109566063dSJacob Faibussowitsch PetscCall(PetscDrawSetCoordinates(draw, xl, yl, xr, yr)); 14119566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", (PetscObject)viewer)); 14129566063dSJacob Faibussowitsch PetscCall(PetscDrawZoom(draw, MatView_SeqSELL_Draw_Zoom, A)); 14139566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", NULL)); 14149566063dSJacob Faibussowitsch PetscCall(PetscDrawSave(draw)); 14153ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1416d4002b98SHong Zhang } 1417d4002b98SHong Zhang 1418d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL(Mat A, PetscViewer viewer) 1419d71ae5a4SJacob Faibussowitsch { 1420d4002b98SHong Zhang PetscBool iascii, isbinary, isdraw; 1421d4002b98SHong Zhang 1422d4002b98SHong Zhang PetscFunctionBegin; 14239566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii)); 14249566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary)); 14259566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERDRAW, &isdraw)); 1426d4002b98SHong Zhang if (iascii) { 14279566063dSJacob Faibussowitsch PetscCall(MatView_SeqSELL_ASCII(A, viewer)); 1428d4002b98SHong Zhang } else if (isbinary) { 14299566063dSJacob Faibussowitsch /* PetscCall(MatView_SeqSELL_Binary(A,viewer)); */ 14301baa6e33SBarry Smith } else if (isdraw) PetscCall(MatView_SeqSELL_Draw(A, viewer)); 14313ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1432d4002b98SHong Zhang } 1433d4002b98SHong Zhang 1434d71ae5a4SJacob Faibussowitsch PetscErrorCode MatAssemblyEnd_SeqSELL(Mat A, MatAssemblyType mode) 1435d71ae5a4SJacob Faibussowitsch { 1436d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1437d4002b98SHong Zhang PetscInt i, shift, row_in_slice, row, nrow, *cp, lastcol, j, k; 1438d4002b98SHong Zhang MatScalar *vp; 143990d2215bSHong Zhang #if defined(PETSC_HAVE_CUDA) 144090d2215bSHong Zhang PetscInt totalchunks = 0; 144190d2215bSHong Zhang #endif 1442d4002b98SHong Zhang 1443d4002b98SHong Zhang PetscFunctionBegin; 14443ba16761SJacob Faibussowitsch if (mode == MAT_FLUSH_ASSEMBLY) PetscFunctionReturn(PETSC_SUCCESS); 1445d4002b98SHong Zhang /* To do: compress out the unused elements */ 14469566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 14479566063dSJacob 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)); 14489566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Number of mallocs during MatSetValues() is %" PetscInt_FMT "\n", a->reallocs)); 14499566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Maximum nonzeros in any row is %" PetscInt_FMT "\n", a->rlenmax)); 14502d1451d4SHong Zhang a->nonzerorowcnt = 0; 1451d4002b98SHong 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 */ 1452d4002b98SHong Zhang for (i = 0; i < a->totalslices; ++i) { 1453d4002b98SHong Zhang shift = a->sliidx[i]; /* starting index of the slice */ 1454d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the column indices of the slice */ 1455d4002b98SHong Zhang vp = a->val + shift; /* pointer to the nonzero values of the slice */ 145607e43b41SHong Zhang for (row_in_slice = 0; row_in_slice < a->sliceheight; ++row_in_slice) { /* loop over rows in the slice */ 145707e43b41SHong Zhang row = a->sliceheight * i + row_in_slice; 1458d4002b98SHong Zhang nrow = a->rlen[row]; /* number of nonzeros in row */ 1459d4002b98SHong Zhang /* 1460d4002b98SHong Zhang Search for the nearest nonzero. Normally setting the index to zero may cause extra communication. 1461d4002b98SHong Zhang But if the entire slice are empty, it is fine to use 0 since the index will not be loaded. 1462d4002b98SHong Zhang */ 1463d4002b98SHong Zhang lastcol = 0; 1464d4002b98SHong Zhang if (nrow > 0) { /* nonempty row */ 14652d1451d4SHong Zhang a->nonzerorowcnt++; 146607e43b41SHong Zhang lastcol = cp[a->sliceheight * (nrow - 1) + row_in_slice]; /* use the index from the last nonzero at current row */ 1467aaa8cc7dSPierre Jolivet } else if (!row_in_slice) { /* first row of the correct slice is empty */ 146807e43b41SHong Zhang for (j = 1; j < a->sliceheight; j++) { 146907e43b41SHong Zhang if (a->rlen[a->sliceheight * i + j]) { 1470d4002b98SHong Zhang lastcol = cp[j]; 1471d4002b98SHong Zhang break; 1472d4002b98SHong Zhang } 1473d4002b98SHong Zhang } 1474d4002b98SHong Zhang } else { 1475d4002b98SHong Zhang if (a->sliidx[i + 1] != shift) lastcol = cp[row_in_slice - 1]; /* use the index from the previous row */ 1476d4002b98SHong Zhang } 1477d4002b98SHong Zhang 147807e43b41SHong Zhang for (k = nrow; k < (a->sliidx[i + 1] - shift) / a->sliceheight; ++k) { 147907e43b41SHong Zhang cp[a->sliceheight * k + row_in_slice] = lastcol; 148007e43b41SHong Zhang vp[a->sliceheight * k + row_in_slice] = (MatScalar)0; 1481d4002b98SHong Zhang } 1482d4002b98SHong Zhang } 1483d4002b98SHong Zhang } 1484d4002b98SHong Zhang 1485d4002b98SHong Zhang A->info.mallocs += a->reallocs; 1486d4002b98SHong Zhang a->reallocs = 0; 1487d4002b98SHong Zhang 14889566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 148990d2215bSHong Zhang #if defined(PETSC_HAVE_CUDA) 149090d2215bSHong Zhang if (!a->chunksize && a->totalslices) { 149190d2215bSHong Zhang a->chunksize = 64; 149290d2215bSHong Zhang while (a->chunksize < 1024 && 2 * a->chunksize <= a->sliidx[a->totalslices] / a->totalslices) a->chunksize *= 2; 149390d2215bSHong Zhang totalchunks = 1 + (a->sliidx[a->totalslices] - 1) / a->chunksize; 149490d2215bSHong Zhang } 149590d2215bSHong Zhang if (totalchunks != a->totalchunks) { 149690d2215bSHong Zhang PetscCall(PetscFree(a->chunk_slice_map)); 149790d2215bSHong Zhang PetscCall(PetscMalloc1(totalchunks, &a->chunk_slice_map)); 149890d2215bSHong Zhang a->totalchunks = totalchunks; 149990d2215bSHong Zhang } 150090d2215bSHong Zhang j = 0; 150190d2215bSHong Zhang for (i = 0; i < totalchunks; i++) { 150290d2215bSHong Zhang while (a->sliidx[j + 1] <= i * a->chunksize && j < a->totalslices) j++; 150390d2215bSHong Zhang a->chunk_slice_map[i] = j; 150490d2215bSHong Zhang } 150590d2215bSHong Zhang #endif 15063ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1507d4002b98SHong Zhang } 1508d4002b98SHong Zhang 1509d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetInfo_SeqSELL(Mat A, MatInfoType flag, MatInfo *info) 1510d71ae5a4SJacob Faibussowitsch { 1511d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1512d4002b98SHong Zhang 1513d4002b98SHong Zhang PetscFunctionBegin; 1514d4002b98SHong Zhang info->block_size = 1.0; 15153966268fSBarry Smith info->nz_allocated = a->maxallocmat; 15163966268fSBarry Smith info->nz_used = a->sliidx[a->totalslices]; /* include padding zeros */ 15173966268fSBarry Smith info->nz_unneeded = (a->maxallocmat - a->sliidx[a->totalslices]); 15183966268fSBarry Smith info->assemblies = A->num_ass; 15193966268fSBarry Smith info->mallocs = A->info.mallocs; 15204dfa11a4SJacob Faibussowitsch info->memory = 0; /* REVIEW ME */ 1521d4002b98SHong Zhang if (A->factortype) { 1522d4002b98SHong Zhang info->fill_ratio_given = A->info.fill_ratio_given; 1523d4002b98SHong Zhang info->fill_ratio_needed = A->info.fill_ratio_needed; 1524d4002b98SHong Zhang info->factor_mallocs = A->info.factor_mallocs; 1525d4002b98SHong Zhang } else { 1526d4002b98SHong Zhang info->fill_ratio_given = 0; 1527d4002b98SHong Zhang info->fill_ratio_needed = 0; 1528d4002b98SHong Zhang info->factor_mallocs = 0; 1529d4002b98SHong Zhang } 15303ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1531d4002b98SHong Zhang } 1532d4002b98SHong Zhang 1533d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is) 1534d71ae5a4SJacob Faibussowitsch { 1535d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1536d4002b98SHong Zhang PetscInt shift, i, k, l, low, high, t, ii, row, col, nrow; 1537d4002b98SHong Zhang PetscInt *cp, nonew = a->nonew, lastcol = -1; 1538d4002b98SHong Zhang MatScalar *vp, value; 15392d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 15402d1451d4SHong Zhang PetscBool inserted = PETSC_FALSE; 15414e58db63SHong Zhang PetscInt mul = DEVICE_MEM_ALIGN / a->sliceheight; 15422d1451d4SHong Zhang #endif 1543d4002b98SHong Zhang 1544d4002b98SHong Zhang PetscFunctionBegin; 1545d4002b98SHong Zhang for (k = 0; k < m; k++) { /* loop over added rows */ 1546d4002b98SHong Zhang row = im[k]; 1547d4002b98SHong Zhang if (row < 0) continue; 15486bdcaf15SBarry 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); 154907e43b41SHong Zhang shift = a->sliidx[row / a->sliceheight] + row % a->sliceheight; /* starting index of the row */ 1550d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1551d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 1552d4002b98SHong Zhang nrow = a->rlen[row]; 1553d4002b98SHong Zhang low = 0; 1554d4002b98SHong Zhang high = nrow; 1555d4002b98SHong Zhang 1556d4002b98SHong Zhang for (l = 0; l < n; l++) { /* loop over added columns */ 1557d4002b98SHong Zhang col = in[l]; 1558d4002b98SHong Zhang if (col < 0) continue; 15596bdcaf15SBarry 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); 1560d4002b98SHong Zhang if (a->roworiented) { 1561d4002b98SHong Zhang value = v[l + k * n]; 1562d4002b98SHong Zhang } else { 1563d4002b98SHong Zhang value = v[k + l * m]; 1564d4002b98SHong Zhang } 1565d4002b98SHong Zhang if ((value == 0.0 && a->ignorezeroentries) && (is == ADD_VALUES)) continue; 1566d4002b98SHong Zhang 1567ed73aabaSBarry Smith /* search in this row for the specified column, i indicates the column to be set */ 1568d4002b98SHong Zhang if (col <= lastcol) low = 0; 1569d4002b98SHong Zhang else high = nrow; 1570d4002b98SHong Zhang lastcol = col; 1571d4002b98SHong Zhang while (high - low > 5) { 1572d4002b98SHong Zhang t = (low + high) / 2; 157307e43b41SHong Zhang if (*(cp + a->sliceheight * t) > col) high = t; 1574d4002b98SHong Zhang else low = t; 1575d4002b98SHong Zhang } 1576d4002b98SHong Zhang for (i = low; i < high; i++) { 157707e43b41SHong Zhang if (*(cp + a->sliceheight * i) > col) break; 157807e43b41SHong Zhang if (*(cp + a->sliceheight * i) == col) { 157907e43b41SHong Zhang if (is == ADD_VALUES) *(vp + a->sliceheight * i) += value; 158007e43b41SHong Zhang else *(vp + a->sliceheight * i) = value; 15812d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 15822d1451d4SHong Zhang inserted = PETSC_TRUE; 15832d1451d4SHong Zhang #endif 1584d4002b98SHong Zhang low = i + 1; 1585d4002b98SHong Zhang goto noinsert; 1586d4002b98SHong Zhang } 1587d4002b98SHong Zhang } 1588d4002b98SHong Zhang if (value == 0.0 && a->ignorezeroentries) goto noinsert; 1589d4002b98SHong Zhang if (nonew == 1) goto noinsert; 159008401ef6SPierre Jolivet PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new nonzero (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col); 15914e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 15924e58db63SHong 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); 15934e58db63SHong Zhang #else 1594d4002b98SHong Zhang /* If the current row length exceeds the slice width (e.g. nrow==slice_width), allocate a new space, otherwise do nothing */ 15954e58db63SHong 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); 15964e58db63SHong Zhang #endif 1597d4002b98SHong Zhang /* add the new nonzero to the high position, shift the remaining elements in current row to the right by one slot */ 1598d4002b98SHong Zhang for (ii = nrow - 1; ii >= i; ii--) { 159907e43b41SHong Zhang *(cp + a->sliceheight * (ii + 1)) = *(cp + a->sliceheight * ii); 160007e43b41SHong Zhang *(vp + a->sliceheight * (ii + 1)) = *(vp + a->sliceheight * ii); 1601d4002b98SHong Zhang } 1602d4002b98SHong Zhang a->rlen[row]++; 160307e43b41SHong Zhang *(cp + a->sliceheight * i) = col; 160407e43b41SHong Zhang *(vp + a->sliceheight * i) = value; 1605d4002b98SHong Zhang a->nz++; 1606d4002b98SHong Zhang A->nonzerostate++; 16072d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 16082d1451d4SHong Zhang inserted = PETSC_TRUE; 16092d1451d4SHong Zhang #endif 16109371c9d4SSatish Balay low = i + 1; 16119371c9d4SSatish Balay high++; 16129371c9d4SSatish Balay nrow++; 1613d4002b98SHong Zhang noinsert:; 1614d4002b98SHong Zhang } 1615d4002b98SHong Zhang a->rlen[row] = nrow; 1616d4002b98SHong Zhang } 16172d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 16182d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED && inserted) A->offloadmask = PETSC_OFFLOAD_CPU; 16192d1451d4SHong Zhang #endif 16203ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1621d4002b98SHong Zhang } 1622d4002b98SHong Zhang 1623d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCopy_SeqSELL(Mat A, Mat B, MatStructure str) 1624d71ae5a4SJacob Faibussowitsch { 1625d4002b98SHong Zhang PetscFunctionBegin; 1626d4002b98SHong Zhang /* If the two matrices have the same copy implementation, use fast copy. */ 1627d4002b98SHong Zhang if (str == SAME_NONZERO_PATTERN && (A->ops->copy == B->ops->copy)) { 1628d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1629d4002b98SHong Zhang Mat_SeqSELL *b = (Mat_SeqSELL *)B->data; 1630d4002b98SHong Zhang 163108401ef6SPierre 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"); 16329566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(b->val, a->val, a->sliidx[a->totalslices])); 1633d4002b98SHong Zhang } else { 16349566063dSJacob Faibussowitsch PetscCall(MatCopy_Basic(A, B, str)); 1635d4002b98SHong Zhang } 16363ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1637d4002b98SHong Zhang } 1638d4002b98SHong Zhang 1639d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetUp_SeqSELL(Mat A) 1640d71ae5a4SJacob Faibussowitsch { 1641d4002b98SHong Zhang PetscFunctionBegin; 16429566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(A, PETSC_DEFAULT, NULL)); 16433ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1644d4002b98SHong Zhang } 1645d4002b98SHong Zhang 1646d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat A, PetscScalar *array[]) 1647d71ae5a4SJacob Faibussowitsch { 1648d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1649d4002b98SHong Zhang 1650d4002b98SHong Zhang PetscFunctionBegin; 1651d4002b98SHong Zhang *array = a->val; 16523ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1653d4002b98SHong Zhang } 1654d4002b98SHong Zhang 1655d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat A, PetscScalar *array[]) 1656d71ae5a4SJacob Faibussowitsch { 1657d4002b98SHong Zhang PetscFunctionBegin; 16583ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1659d4002b98SHong Zhang } 1660d4002b98SHong Zhang 1661d71ae5a4SJacob Faibussowitsch PetscErrorCode MatScale_SeqSELL(Mat inA, PetscScalar alpha) 1662d71ae5a4SJacob Faibussowitsch { 1663d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)inA->data; 1664d4002b98SHong Zhang MatScalar *aval = a->val; 1665d4002b98SHong Zhang PetscScalar oalpha = alpha; 1666d4002b98SHong Zhang PetscBLASInt one = 1, size; 1667d4002b98SHong Zhang 1668d4002b98SHong Zhang PetscFunctionBegin; 16699566063dSJacob Faibussowitsch PetscCall(PetscBLASIntCast(a->sliidx[a->totalslices], &size)); 1670792fecdfSBarry Smith PetscCallBLAS("BLASscal", BLASscal_(&size, &oalpha, aval, &one)); 16719566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 16729566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(inA)); 16732d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 16742d1451d4SHong Zhang if (inA->offloadmask != PETSC_OFFLOAD_UNALLOCATED) inA->offloadmask = PETSC_OFFLOAD_CPU; 16752d1451d4SHong Zhang #endif 16763ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1677d4002b98SHong Zhang } 1678d4002b98SHong Zhang 1679d71ae5a4SJacob Faibussowitsch PetscErrorCode MatShift_SeqSELL(Mat Y, PetscScalar a) 1680d71ae5a4SJacob Faibussowitsch { 1681d4002b98SHong Zhang Mat_SeqSELL *y = (Mat_SeqSELL *)Y->data; 1682d4002b98SHong Zhang 1683d4002b98SHong Zhang PetscFunctionBegin; 168448a46eb9SPierre Jolivet if (!Y->preallocated || !y->nz) PetscCall(MatSeqSELLSetPreallocation(Y, 1, NULL)); 16859566063dSJacob Faibussowitsch PetscCall(MatShift_Basic(Y, a)); 16863ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1687d4002b98SHong Zhang } 1688d4002b98SHong Zhang 1689d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSOR_SeqSELL(Mat A, Vec bb, PetscReal omega, MatSORType flag, PetscReal fshift, PetscInt its, PetscInt lits, Vec xx) 1690d71ae5a4SJacob Faibussowitsch { 1691d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1692d4002b98SHong Zhang PetscScalar *x, sum, *t; 1693f4259b30SLisandro Dalcin const MatScalar *idiag = NULL, *mdiag; 1694d4002b98SHong Zhang const PetscScalar *b, *xb; 1695d4002b98SHong Zhang PetscInt n, m = A->rmap->n, i, j, shift; 1696d4002b98SHong Zhang const PetscInt *diag; 1697d4002b98SHong Zhang 1698d4002b98SHong Zhang PetscFunctionBegin; 1699d4002b98SHong Zhang its = its * lits; 1700d4002b98SHong Zhang 1701d4002b98SHong Zhang if (fshift != a->fshift || omega != a->omega) a->idiagvalid = PETSC_FALSE; /* must recompute idiag[] */ 17029566063dSJacob Faibussowitsch if (!a->idiagvalid) PetscCall(MatInvertDiagonal_SeqSELL(A, omega, fshift)); 1703d4002b98SHong Zhang a->fshift = fshift; 1704d4002b98SHong Zhang a->omega = omega; 1705d4002b98SHong Zhang 1706d4002b98SHong Zhang diag = a->diag; 1707d4002b98SHong Zhang t = a->ssor_work; 1708d4002b98SHong Zhang idiag = a->idiag; 1709d4002b98SHong Zhang mdiag = a->mdiag; 1710d4002b98SHong Zhang 17119566063dSJacob Faibussowitsch PetscCall(VecGetArray(xx, &x)); 17129566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(bb, &b)); 1713d4002b98SHong Zhang /* We count flops by assuming the upper triangular and lower triangular parts have the same number of nonzeros */ 171408401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_UPPER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_UPPER is not implemented"); 171508401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_LOWER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_LOWER is not implemented"); 1716aed4548fSBarry Smith PetscCheck(!(flag & SOR_EISENSTAT), PETSC_COMM_SELF, PETSC_ERR_SUP, "No support yet for Eisenstat"); 1717d4002b98SHong Zhang 1718d4002b98SHong Zhang if (flag & SOR_ZERO_INITIAL_GUESS) { 1719d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1720d4002b98SHong Zhang for (i = 0; i < m; i++) { 172107e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1722d4002b98SHong Zhang sum = b[i]; 172307e43b41SHong Zhang n = (diag[i] - shift) / a->sliceheight; 172407e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1725d4002b98SHong Zhang t[i] = sum; 1726d4002b98SHong Zhang x[i] = sum * idiag[i]; 1727d4002b98SHong Zhang } 1728d4002b98SHong Zhang xb = t; 17299566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1730d4002b98SHong Zhang } else xb = b; 1731d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1732d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 173307e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1734d4002b98SHong Zhang sum = xb[i]; 173507e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 173607e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1737d4002b98SHong Zhang if (xb == b) { 1738d4002b98SHong Zhang x[i] = sum * idiag[i]; 1739d4002b98SHong Zhang } else { 1740d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1741d4002b98SHong Zhang } 1742d4002b98SHong Zhang } 17439566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1744d4002b98SHong Zhang } 1745d4002b98SHong Zhang its--; 1746d4002b98SHong Zhang } 1747d4002b98SHong Zhang while (its--) { 1748d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1749d4002b98SHong Zhang for (i = 0; i < m; i++) { 1750d4002b98SHong Zhang /* lower */ 175107e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1752d4002b98SHong Zhang sum = b[i]; 175307e43b41SHong Zhang n = (diag[i] - shift) / a->sliceheight; 175407e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1755d4002b98SHong Zhang t[i] = sum; /* save application of the lower-triangular part */ 1756d4002b98SHong Zhang /* upper */ 175707e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 175807e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1759d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1760d4002b98SHong Zhang } 1761d4002b98SHong Zhang xb = t; 17629566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1763d4002b98SHong Zhang } else xb = b; 1764d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1765d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 176607e43b41SHong Zhang shift = a->sliidx[i / a->sliceheight] + i % a->sliceheight; /* starting index of the row i */ 1767d4002b98SHong Zhang sum = xb[i]; 1768d4002b98SHong Zhang if (xb == b) { 1769d4002b98SHong Zhang /* whole matrix (no checkpointing available) */ 1770d4002b98SHong Zhang n = a->rlen[i]; 177107e43b41SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + a->sliceheight * j] * x[a->colidx[shift + a->sliceheight * j]]; 1772d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + (sum + mdiag[i] * x[i]) * idiag[i]; 1773d4002b98SHong Zhang } else { /* lower-triangular part has been saved, so only apply upper-triangular */ 177407e43b41SHong Zhang n = a->rlen[i] - (diag[i] - shift) / a->sliceheight - 1; 177507e43b41SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + a->sliceheight * j] * x[a->colidx[diag[i] + a->sliceheight * j]]; 1776d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1777d4002b98SHong Zhang } 1778d4002b98SHong Zhang } 1779d4002b98SHong Zhang if (xb == b) { 17809566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1781d4002b98SHong Zhang } else { 17829566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1783d4002b98SHong Zhang } 1784d4002b98SHong Zhang } 1785d4002b98SHong Zhang } 17869566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(xx, &x)); 17879566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(bb, &b)); 17883ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1789d4002b98SHong Zhang } 1790d4002b98SHong Zhang 1791d4002b98SHong Zhang static struct _MatOps MatOps_Values = {MatSetValues_SeqSELL, 17926108893eSStefano Zampini MatGetRow_SeqSELL, 17936108893eSStefano Zampini MatRestoreRow_SeqSELL, 1794d4002b98SHong Zhang MatMult_SeqSELL, 1795d4002b98SHong Zhang /* 4*/ MatMultAdd_SeqSELL, 1796d4002b98SHong Zhang MatMultTranspose_SeqSELL, 1797d4002b98SHong Zhang MatMultTransposeAdd_SeqSELL, 1798f4259b30SLisandro Dalcin NULL, 1799f4259b30SLisandro Dalcin NULL, 1800f4259b30SLisandro Dalcin NULL, 1801f4259b30SLisandro Dalcin /* 10*/ NULL, 1802f4259b30SLisandro Dalcin NULL, 1803f4259b30SLisandro Dalcin NULL, 1804d4002b98SHong Zhang MatSOR_SeqSELL, 1805f4259b30SLisandro Dalcin NULL, 1806d4002b98SHong Zhang /* 15*/ MatGetInfo_SeqSELL, 1807d4002b98SHong Zhang MatEqual_SeqSELL, 1808d4002b98SHong Zhang MatGetDiagonal_SeqSELL, 1809d4002b98SHong Zhang MatDiagonalScale_SeqSELL, 1810f4259b30SLisandro Dalcin NULL, 1811f4259b30SLisandro Dalcin /* 20*/ NULL, 1812d4002b98SHong Zhang MatAssemblyEnd_SeqSELL, 1813d4002b98SHong Zhang MatSetOption_SeqSELL, 1814d4002b98SHong Zhang MatZeroEntries_SeqSELL, 1815f4259b30SLisandro Dalcin /* 24*/ NULL, 1816f4259b30SLisandro Dalcin NULL, 1817f4259b30SLisandro Dalcin NULL, 1818f4259b30SLisandro Dalcin NULL, 1819f4259b30SLisandro Dalcin NULL, 1820d4002b98SHong Zhang /* 29*/ MatSetUp_SeqSELL, 1821f4259b30SLisandro Dalcin NULL, 1822f4259b30SLisandro Dalcin NULL, 1823f4259b30SLisandro Dalcin NULL, 1824f4259b30SLisandro Dalcin NULL, 1825d4002b98SHong Zhang /* 34*/ MatDuplicate_SeqSELL, 1826f4259b30SLisandro Dalcin NULL, 1827f4259b30SLisandro Dalcin NULL, 1828f4259b30SLisandro Dalcin NULL, 1829f4259b30SLisandro Dalcin NULL, 1830f4259b30SLisandro Dalcin /* 39*/ NULL, 1831f4259b30SLisandro Dalcin NULL, 1832f4259b30SLisandro Dalcin NULL, 1833d4002b98SHong Zhang MatGetValues_SeqSELL, 1834d4002b98SHong Zhang MatCopy_SeqSELL, 1835f4259b30SLisandro Dalcin /* 44*/ NULL, 1836d4002b98SHong Zhang MatScale_SeqSELL, 1837d4002b98SHong Zhang MatShift_SeqSELL, 1838f4259b30SLisandro Dalcin NULL, 1839f4259b30SLisandro Dalcin NULL, 1840f4259b30SLisandro Dalcin /* 49*/ NULL, 1841f4259b30SLisandro Dalcin NULL, 1842f4259b30SLisandro Dalcin NULL, 1843f4259b30SLisandro Dalcin NULL, 1844f4259b30SLisandro Dalcin NULL, 1845d4002b98SHong Zhang /* 54*/ MatFDColoringCreate_SeqXAIJ, 1846f4259b30SLisandro Dalcin NULL, 1847f4259b30SLisandro Dalcin NULL, 1848f4259b30SLisandro Dalcin NULL, 1849f4259b30SLisandro Dalcin NULL, 1850f4259b30SLisandro Dalcin /* 59*/ NULL, 1851d4002b98SHong Zhang MatDestroy_SeqSELL, 1852d4002b98SHong Zhang MatView_SeqSELL, 1853f4259b30SLisandro Dalcin NULL, 1854f4259b30SLisandro Dalcin NULL, 1855f4259b30SLisandro Dalcin /* 64*/ NULL, 1856f4259b30SLisandro Dalcin NULL, 1857f4259b30SLisandro Dalcin NULL, 1858f4259b30SLisandro Dalcin NULL, 1859f4259b30SLisandro Dalcin NULL, 1860f4259b30SLisandro Dalcin /* 69*/ NULL, 1861f4259b30SLisandro Dalcin NULL, 1862f4259b30SLisandro Dalcin NULL, 1863f4259b30SLisandro Dalcin NULL, 1864f4259b30SLisandro Dalcin NULL, 1865f4259b30SLisandro Dalcin /* 74*/ NULL, 1866d4002b98SHong Zhang MatFDColoringApply_AIJ, /* reuse the FDColoring function for AIJ */ 1867f4259b30SLisandro Dalcin NULL, 1868f4259b30SLisandro Dalcin NULL, 1869f4259b30SLisandro Dalcin NULL, 1870f4259b30SLisandro Dalcin /* 79*/ NULL, 1871f4259b30SLisandro Dalcin NULL, 1872f4259b30SLisandro Dalcin NULL, 1873f4259b30SLisandro Dalcin NULL, 1874f4259b30SLisandro Dalcin NULL, 1875f4259b30SLisandro Dalcin /* 84*/ NULL, 1876f4259b30SLisandro Dalcin NULL, 1877f4259b30SLisandro Dalcin NULL, 1878f4259b30SLisandro Dalcin NULL, 1879f4259b30SLisandro Dalcin NULL, 1880f4259b30SLisandro Dalcin /* 89*/ NULL, 1881f4259b30SLisandro Dalcin NULL, 1882f4259b30SLisandro Dalcin NULL, 1883f4259b30SLisandro Dalcin NULL, 1884f4259b30SLisandro Dalcin NULL, 1885f4259b30SLisandro Dalcin /* 94*/ NULL, 1886f4259b30SLisandro Dalcin NULL, 1887f4259b30SLisandro Dalcin NULL, 1888f4259b30SLisandro Dalcin NULL, 1889f4259b30SLisandro Dalcin NULL, 1890f4259b30SLisandro Dalcin /* 99*/ NULL, 1891f4259b30SLisandro Dalcin NULL, 1892f4259b30SLisandro Dalcin NULL, 1893d4002b98SHong Zhang MatConjugate_SeqSELL, 1894f4259b30SLisandro Dalcin NULL, 1895f4259b30SLisandro Dalcin /*104*/ NULL, 1896f4259b30SLisandro Dalcin NULL, 1897f4259b30SLisandro Dalcin NULL, 1898f4259b30SLisandro Dalcin NULL, 1899f4259b30SLisandro Dalcin NULL, 1900f4259b30SLisandro Dalcin /*109*/ NULL, 1901f4259b30SLisandro Dalcin NULL, 1902f4259b30SLisandro Dalcin NULL, 1903f4259b30SLisandro Dalcin NULL, 1904d4002b98SHong Zhang MatMissingDiagonal_SeqSELL, 1905f4259b30SLisandro Dalcin /*114*/ NULL, 1906f4259b30SLisandro Dalcin NULL, 1907f4259b30SLisandro Dalcin NULL, 1908f4259b30SLisandro Dalcin NULL, 1909f4259b30SLisandro Dalcin NULL, 1910f4259b30SLisandro Dalcin /*119*/ NULL, 1911f4259b30SLisandro Dalcin NULL, 1912f4259b30SLisandro Dalcin NULL, 1913f4259b30SLisandro Dalcin NULL, 1914f4259b30SLisandro Dalcin NULL, 1915f4259b30SLisandro Dalcin /*124*/ NULL, 1916f4259b30SLisandro Dalcin NULL, 1917f4259b30SLisandro Dalcin NULL, 1918f4259b30SLisandro Dalcin NULL, 1919f4259b30SLisandro Dalcin NULL, 1920f4259b30SLisandro Dalcin /*129*/ NULL, 1921f4259b30SLisandro Dalcin NULL, 1922f4259b30SLisandro Dalcin NULL, 1923f4259b30SLisandro Dalcin NULL, 1924f4259b30SLisandro Dalcin NULL, 1925f4259b30SLisandro Dalcin /*134*/ NULL, 1926f4259b30SLisandro Dalcin NULL, 1927f4259b30SLisandro Dalcin NULL, 1928f4259b30SLisandro Dalcin NULL, 1929f4259b30SLisandro Dalcin NULL, 1930f4259b30SLisandro Dalcin /*139*/ NULL, 1931f4259b30SLisandro Dalcin NULL, 1932f4259b30SLisandro Dalcin NULL, 1933d4002b98SHong Zhang MatFDColoringSetUp_SeqXAIJ, 1934f4259b30SLisandro Dalcin NULL, 1935d70f29a3SPierre Jolivet /*144*/ NULL, 1936d70f29a3SPierre Jolivet NULL, 1937d70f29a3SPierre Jolivet NULL, 193899a7f59eSMark Adams NULL, 193999a7f59eSMark Adams NULL, 19407fb60732SBarry Smith NULL, 1941dec0b466SHong Zhang /*150*/ NULL, 1942dec0b466SHong Zhang NULL}; 1943d4002b98SHong Zhang 1944*ba38deedSJacob Faibussowitsch static PetscErrorCode MatStoreValues_SeqSELL(Mat mat) 1945d71ae5a4SJacob Faibussowitsch { 1946d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1947d4002b98SHong Zhang 1948d4002b98SHong Zhang PetscFunctionBegin; 194928b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 1950d4002b98SHong Zhang 1951d4002b98SHong Zhang /* allocate space for values if not already there */ 1952aa624791SPierre Jolivet if (!a->saved_values) PetscCall(PetscMalloc1(a->sliidx[a->totalslices] + 1, &a->saved_values)); 1953d4002b98SHong Zhang 1954d4002b98SHong Zhang /* copy values over */ 19559566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->saved_values, a->val, a->sliidx[a->totalslices])); 19563ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1957d4002b98SHong Zhang } 1958d4002b98SHong Zhang 1959*ba38deedSJacob Faibussowitsch static PetscErrorCode MatRetrieveValues_SeqSELL(Mat mat) 1960d71ae5a4SJacob Faibussowitsch { 1961d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1962d4002b98SHong Zhang 1963d4002b98SHong Zhang PetscFunctionBegin; 196428b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 196528b400f6SJacob Faibussowitsch PetscCheck(a->saved_values, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatStoreValues(A);first"); 19669566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->val, a->saved_values, a->sliidx[a->totalslices])); 19673ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1968d4002b98SHong Zhang } 1969d4002b98SHong Zhang 1970*ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetFillRatio_SeqSELL(Mat mat, PetscReal *ratio) 197107e43b41SHong Zhang { 197207e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 197307e43b41SHong Zhang 197407e43b41SHong Zhang PetscFunctionBegin; 197507e43b41SHong Zhang if (a->totalslices && a->sliidx[a->totalslices]) { 197607e43b41SHong Zhang *ratio = (PetscReal)(a->sliidx[a->totalslices] - a->nz) / a->sliidx[a->totalslices]; 197707e43b41SHong Zhang } else { 197807e43b41SHong Zhang *ratio = 0.0; 197907e43b41SHong Zhang } 198007e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 198107e43b41SHong Zhang } 198207e43b41SHong Zhang 1983*ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetMaxSliceWidth_SeqSELL(Mat mat, PetscInt *slicewidth) 198407e43b41SHong Zhang { 198507e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 198607e43b41SHong Zhang PetscInt i, current_slicewidth; 198707e43b41SHong Zhang 198807e43b41SHong Zhang PetscFunctionBegin; 198907e43b41SHong Zhang *slicewidth = 0; 199007e43b41SHong Zhang for (i = 0; i < a->totalslices; i++) { 199107e43b41SHong Zhang current_slicewidth = (a->sliidx[i + 1] - a->sliidx[i]) / a->sliceheight; 199207e43b41SHong Zhang if (current_slicewidth > *slicewidth) *slicewidth = current_slicewidth; 199307e43b41SHong Zhang } 199407e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 199507e43b41SHong Zhang } 199607e43b41SHong Zhang 1997*ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetAvgSliceWidth_SeqSELL(Mat mat, PetscReal *slicewidth) 199807e43b41SHong Zhang { 199907e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 200007e43b41SHong Zhang 200107e43b41SHong Zhang PetscFunctionBegin; 200207e43b41SHong Zhang *slicewidth = 0; 200307e43b41SHong Zhang if (a->totalslices) { *slicewidth = (PetscReal)a->sliidx[a->totalslices] / a->sliceheight / a->totalslices; } 200407e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 200507e43b41SHong Zhang } 200607e43b41SHong Zhang 2007*ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLGetVarSliceSize_SeqSELL(Mat mat, PetscReal *variance) 2008b921024eSHong Zhang { 2009b921024eSHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 2010b921024eSHong Zhang PetscReal mean; 2011b921024eSHong Zhang PetscInt i, totalslices = a->totalslices, *sliidx = a->sliidx; 2012b921024eSHong Zhang 2013b921024eSHong Zhang PetscFunctionBegin; 2014b921024eSHong Zhang *variance = 0; 2015b921024eSHong Zhang if (totalslices) { 2016b921024eSHong Zhang mean = (PetscReal)sliidx[totalslices] / totalslices; 2017b921024eSHong Zhang for (i = 1; i <= totalslices; i++) { *variance += ((PetscReal)(sliidx[i] - sliidx[i - 1]) - mean) * ((PetscReal)(sliidx[i] - sliidx[i - 1]) - mean) / totalslices; } 2018b921024eSHong Zhang } 2019b921024eSHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 2020b921024eSHong Zhang } 2021b921024eSHong Zhang 2022*ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSELLSetSliceHeight_SeqSELL(Mat A, PetscInt sliceheight) 202307e43b41SHong Zhang { 202407e43b41SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 202507e43b41SHong Zhang 202607e43b41SHong Zhang PetscFunctionBegin; 202707e43b41SHong Zhang if (A->preallocated) PetscFunctionReturn(PETSC_SUCCESS); 202807e43b41SHong 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); 202907e43b41SHong Zhang a->sliceheight = sliceheight; 20304e58db63SHong Zhang #if defined(PETSC_HAVE_CUDA) 20314e58db63SHong Zhang PetscCheck(DEVICE_MEM_ALIGN % sliceheight == 0, PETSC_COMM_SELF, PETSC_ERR_SUP, "DEVICE_MEM_ALIGN is not divisible by the slice height %" PetscInt_FMT, sliceheight); 20324e58db63SHong Zhang #endif 203307e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 203407e43b41SHong Zhang } 203507e43b41SHong Zhang 2036d4002b98SHong Zhang /*@C 203707e43b41SHong Zhang MatSeqSELLGetFillRatio - returns a ratio that indicates the irregularity of the matrix. 203807e43b41SHong Zhang 203907e43b41SHong Zhang Not Collective 204007e43b41SHong Zhang 204107e43b41SHong Zhang Input Parameter: 204207e43b41SHong Zhang . A - a MATSEQSELL matrix 204307e43b41SHong Zhang 204407e43b41SHong Zhang Output Parameter: 204507e43b41SHong Zhang . ratio - ratio of number of padded zeros to number of allocated elements 204607e43b41SHong Zhang 204707e43b41SHong Zhang Level: intermediate 20482920cce0SJacob Faibussowitsch 20492920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetAvgSliceWidth()` 205007e43b41SHong Zhang @*/ 205107e43b41SHong Zhang PetscErrorCode MatSeqSELLGetFillRatio(Mat A, PetscReal *ratio) 205207e43b41SHong Zhang { 205307e43b41SHong Zhang PetscFunctionBegin; 205407e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetFillRatio_C", (Mat, PetscReal *), (A, ratio)); 205507e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 205607e43b41SHong Zhang } 205707e43b41SHong Zhang 205807e43b41SHong Zhang /*@C 205907e43b41SHong Zhang MatSeqSELLGetMaxSliceWidth - returns the maximum slice width. 206007e43b41SHong Zhang 206107e43b41SHong Zhang Not Collective 206207e43b41SHong Zhang 206307e43b41SHong Zhang Input Parameter: 206407e43b41SHong Zhang . A - a MATSEQSELL matrix 206507e43b41SHong Zhang 206607e43b41SHong Zhang Output Parameter: 206707e43b41SHong Zhang . slicewidth - maximum slice width 206807e43b41SHong Zhang 206907e43b41SHong Zhang Level: intermediate 20702920cce0SJacob Faibussowitsch 20712920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetAvgSliceWidth()` 207207e43b41SHong Zhang @*/ 207307e43b41SHong Zhang PetscErrorCode MatSeqSELLGetMaxSliceWidth(Mat A, PetscInt *slicewidth) 207407e43b41SHong Zhang { 207507e43b41SHong Zhang PetscFunctionBegin; 207607e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetMaxSliceWidth_C", (Mat, PetscInt *), (A, slicewidth)); 207707e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 207807e43b41SHong Zhang } 207907e43b41SHong Zhang 208007e43b41SHong Zhang /*@C 208107e43b41SHong Zhang MatSeqSELLGetAvgSliceWidth - returns the average slice width. 208207e43b41SHong Zhang 208307e43b41SHong Zhang Not Collective 208407e43b41SHong Zhang 208507e43b41SHong Zhang Input Parameter: 208607e43b41SHong Zhang . A - a MATSEQSELL matrix 208707e43b41SHong Zhang 208807e43b41SHong Zhang Output Parameter: 208907e43b41SHong Zhang . slicewidth - average slice width 209007e43b41SHong Zhang 209107e43b41SHong Zhang Level: intermediate 20922920cce0SJacob Faibussowitsch 20932920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetMaxSliceWidth()` 209407e43b41SHong Zhang @*/ 209507e43b41SHong Zhang PetscErrorCode MatSeqSELLGetAvgSliceWidth(Mat A, PetscReal *slicewidth) 209607e43b41SHong Zhang { 209707e43b41SHong Zhang PetscFunctionBegin; 209807e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetAvgSliceWidth_C", (Mat, PetscReal *), (A, slicewidth)); 209907e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 210007e43b41SHong Zhang } 210107e43b41SHong Zhang 210207e43b41SHong Zhang /*@C 210307e43b41SHong Zhang MatSeqSELLSetSliceHeight - sets the slice height. 210407e43b41SHong Zhang 210507e43b41SHong Zhang Not Collective 210607e43b41SHong Zhang 210707e43b41SHong Zhang Input Parameters: 210807e43b41SHong Zhang + A - a MATSEQSELL matrix 210907e43b41SHong Zhang - sliceheight - slice height 211007e43b41SHong Zhang 211107e43b41SHong Zhang Notes: 211207e43b41SHong Zhang You cannot change the slice height once it have been set. 211307e43b41SHong Zhang 211407e43b41SHong Zhang The slice height must be set before MatSetUp() or MatXXXSetPreallocation() is called. 211507e43b41SHong Zhang 211607e43b41SHong Zhang Level: intermediate 21172920cce0SJacob Faibussowitsch 21182920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLGetVarSliceSize()` 211907e43b41SHong Zhang @*/ 212007e43b41SHong Zhang PetscErrorCode MatSeqSELLSetSliceHeight(Mat A, PetscInt sliceheight) 212107e43b41SHong Zhang { 212207e43b41SHong Zhang PetscFunctionBegin; 212307e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLSetSliceHeight_C", (Mat, PetscInt), (A, sliceheight)); 212407e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 212507e43b41SHong Zhang } 212607e43b41SHong Zhang 212707e43b41SHong Zhang /*@C 212807e43b41SHong Zhang MatSeqSELLGetVarSliceSize - returns the variance of the slice size. 212907e43b41SHong Zhang 213007e43b41SHong Zhang Not Collective 213107e43b41SHong Zhang 213207e43b41SHong Zhang Input Parameter: 213307e43b41SHong Zhang . A - a MATSEQSELL matrix 213407e43b41SHong Zhang 213507e43b41SHong Zhang Output Parameter: 213607e43b41SHong Zhang . variance - variance of the slice size 213707e43b41SHong Zhang 213807e43b41SHong Zhang Level: intermediate 21392920cce0SJacob Faibussowitsch 21402920cce0SJacob Faibussowitsch .seealso: `MATSEQSELL`, `MatSeqSELLSetSliceHeight()` 214107e43b41SHong Zhang @*/ 214207e43b41SHong Zhang PetscErrorCode MatSeqSELLGetVarSliceSize(Mat A, PetscReal *variance) 214307e43b41SHong Zhang { 214407e43b41SHong Zhang PetscFunctionBegin; 214507e43b41SHong Zhang PetscUseMethod(A, "MatSeqSELLGetVarSliceSize_C", (Mat, PetscReal *), (A, variance)); 214607e43b41SHong Zhang PetscFunctionReturn(PETSC_SUCCESS); 214707e43b41SHong Zhang } 214807e43b41SHong Zhang 21492d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 21502d1451d4SHong Zhang PETSC_EXTERN PetscErrorCode MatConvert_SeqSELL_SeqSELLCUDA(Mat); 21512d1451d4SHong Zhang #endif 21522d1451d4SHong Zhang 2153d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat B) 2154d71ae5a4SJacob Faibussowitsch { 2155d4002b98SHong Zhang Mat_SeqSELL *b; 2156d4002b98SHong Zhang PetscMPIInt size; 2157d4002b98SHong Zhang 2158d4002b98SHong Zhang PetscFunctionBegin; 21599566063dSJacob Faibussowitsch PetscCall(PetscCitationsRegister(citation, &cited)); 21609566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)B), &size)); 216108401ef6SPierre Jolivet PetscCheck(size <= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Comm must be of size 1"); 2162d4002b98SHong Zhang 21634dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&b)); 2164d4002b98SHong Zhang 2165d4002b98SHong Zhang B->data = (void *)b; 2166aea10558SJacob Faibussowitsch B->ops[0] = MatOps_Values; 2167d4002b98SHong Zhang 2168f4259b30SLisandro Dalcin b->row = NULL; 2169f4259b30SLisandro Dalcin b->col = NULL; 2170f4259b30SLisandro Dalcin b->icol = NULL; 2171d4002b98SHong Zhang b->reallocs = 0; 2172d4002b98SHong Zhang b->ignorezeroentries = PETSC_FALSE; 2173d4002b98SHong Zhang b->roworiented = PETSC_TRUE; 2174d4002b98SHong Zhang b->nonew = 0; 2175f4259b30SLisandro Dalcin b->diag = NULL; 2176f4259b30SLisandro Dalcin b->solve_work = NULL; 2177f4259b30SLisandro Dalcin B->spptr = NULL; 2178f4259b30SLisandro Dalcin b->saved_values = NULL; 2179f4259b30SLisandro Dalcin b->idiag = NULL; 2180f4259b30SLisandro Dalcin b->mdiag = NULL; 2181f4259b30SLisandro Dalcin b->ssor_work = NULL; 2182d4002b98SHong Zhang b->omega = 1.0; 2183d4002b98SHong Zhang b->fshift = 0.0; 2184d4002b98SHong Zhang b->idiagvalid = PETSC_FALSE; 2185d4002b98SHong Zhang b->keepnonzeropattern = PETSC_FALSE; 218607e43b41SHong Zhang b->sliceheight = 0; 2187d4002b98SHong Zhang 21889566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQSELL)); 21899566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetArray_C", MatSeqSELLGetArray_SeqSELL)); 21909566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLRestoreArray_C", MatSeqSELLRestoreArray_SeqSELL)); 21919566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatStoreValues_C", MatStoreValues_SeqSELL)); 21929566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatRetrieveValues_C", MatRetrieveValues_SeqSELL)); 21939566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetPreallocation_C", MatSeqSELLSetPreallocation_SeqSELL)); 2194b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqaij_C", MatConvert_SeqSELL_SeqAIJ)); 21952d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 2196b5917f1bSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqsellcuda_C", MatConvert_SeqSELL_SeqSELLCUDA)); 21972d1451d4SHong Zhang #endif 219807e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetFillRatio_C", MatSeqSELLGetFillRatio_SeqSELL)); 219907e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetMaxSliceWidth_C", MatSeqSELLGetMaxSliceWidth_SeqSELL)); 220007e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetAvgSliceWidth_C", MatSeqSELLGetAvgSliceWidth_SeqSELL)); 2201b921024eSHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetVarSliceSize_C", MatSeqSELLGetVarSliceSize_SeqSELL)); 220207e43b41SHong Zhang PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetSliceHeight_C", MatSeqSELLSetSliceHeight_SeqSELL)); 220307e43b41SHong Zhang 220407e43b41SHong Zhang PetscObjectOptionsBegin((PetscObject)B); 220507e43b41SHong Zhang { 220607e43b41SHong Zhang PetscInt newsh = -1; 220707e43b41SHong Zhang PetscBool flg; 220890d2215bSHong Zhang #if defined(PETSC_HAVE_CUDA) 220990d2215bSHong Zhang PetscInt chunksize = 0; 221090d2215bSHong Zhang #endif 221107e43b41SHong Zhang 221207e43b41SHong Zhang PetscCall(PetscOptionsInt("-mat_sell_slice_height", "Set the slice height used to store SELL matrix", "MatSELLSetSliceHeight", newsh, &newsh, &flg)); 221307e43b41SHong Zhang if (flg) { PetscCall(MatSeqSELLSetSliceHeight(B, newsh)); } 221490d2215bSHong Zhang #if defined(PETSC_HAVE_CUDA) 221590d2215bSHong Zhang PetscCall(PetscOptionsInt("-mat_sell_chunk_size", "Set the chunksize for load-balanced CUDA kernels. Choices include 64,128,256,512,1024", NULL, chunksize, &chunksize, &flg)); 221690d2215bSHong Zhang if (flg) { 221790d2215bSHong 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); 221890d2215bSHong Zhang b->chunksize = chunksize; 221990d2215bSHong Zhang } 222090d2215bSHong Zhang #endif 222107e43b41SHong Zhang } 222207e43b41SHong Zhang PetscOptionsEnd(); 22233ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2224d4002b98SHong Zhang } 2225d4002b98SHong Zhang 2226d4002b98SHong Zhang /* 2227d4002b98SHong Zhang Given a matrix generated with MatGetFactor() duplicates all the information in A into B 2228d4002b98SHong Zhang */ 2229*ba38deedSJacob Faibussowitsch static PetscErrorCode MatDuplicateNoCreate_SeqSELL(Mat C, Mat A, MatDuplicateOption cpvalues, PetscBool mallocmatspace) 2230d71ae5a4SJacob Faibussowitsch { 2231ed73aabaSBarry Smith Mat_SeqSELL *c = (Mat_SeqSELL *)C->data, *a = (Mat_SeqSELL *)A->data; 2232d4002b98SHong Zhang PetscInt i, m = A->rmap->n; 2233d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2234d4002b98SHong Zhang 2235d4002b98SHong Zhang PetscFunctionBegin; 2236d4002b98SHong Zhang C->factortype = A->factortype; 2237f4259b30SLisandro Dalcin c->row = NULL; 2238f4259b30SLisandro Dalcin c->col = NULL; 2239f4259b30SLisandro Dalcin c->icol = NULL; 2240d4002b98SHong Zhang c->reallocs = 0; 2241d4002b98SHong Zhang C->assembled = PETSC_TRUE; 2242d4002b98SHong Zhang 22439566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->rmap, &C->rmap)); 22449566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->cmap, &C->cmap)); 2245d4002b98SHong Zhang 224607e43b41SHong Zhang PetscCall(PetscMalloc1(a->sliceheight * totalslices, &c->rlen)); 22479566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &c->sliidx)); 2248d4002b98SHong Zhang 2249d4002b98SHong Zhang for (i = 0; i < m; i++) c->rlen[i] = a->rlen[i]; 2250d4002b98SHong Zhang for (i = 0; i < totalslices + 1; i++) c->sliidx[i] = a->sliidx[i]; 2251d4002b98SHong Zhang 2252d4002b98SHong Zhang /* allocate the matrix space */ 2253d4002b98SHong Zhang if (mallocmatspace) { 22549566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(a->maxallocmat, &c->val, a->maxallocmat, &c->colidx)); 2255d4002b98SHong Zhang 2256d4002b98SHong Zhang c->singlemalloc = PETSC_TRUE; 2257d4002b98SHong Zhang 2258d4002b98SHong Zhang if (m > 0) { 22599566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->colidx, a->colidx, a->maxallocmat)); 2260d4002b98SHong Zhang if (cpvalues == MAT_COPY_VALUES) { 22619566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->val, a->val, a->maxallocmat)); 2262d4002b98SHong Zhang } else { 22639566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(c->val, a->maxallocmat)); 2264d4002b98SHong Zhang } 2265d4002b98SHong Zhang } 2266d4002b98SHong Zhang } 2267d4002b98SHong Zhang 2268d4002b98SHong Zhang c->ignorezeroentries = a->ignorezeroentries; 2269d4002b98SHong Zhang c->roworiented = a->roworiented; 2270d4002b98SHong Zhang c->nonew = a->nonew; 2271d4002b98SHong Zhang if (a->diag) { 22729566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &c->diag)); 2273ad540459SPierre Jolivet for (i = 0; i < m; i++) c->diag[i] = a->diag[i]; 2274f4259b30SLisandro Dalcin } else c->diag = NULL; 2275d4002b98SHong Zhang 2276f4259b30SLisandro Dalcin c->solve_work = NULL; 2277f4259b30SLisandro Dalcin c->saved_values = NULL; 2278f4259b30SLisandro Dalcin c->idiag = NULL; 2279f4259b30SLisandro Dalcin c->ssor_work = NULL; 2280d4002b98SHong Zhang c->keepnonzeropattern = a->keepnonzeropattern; 2281d4002b98SHong Zhang c->free_val = PETSC_TRUE; 2282d4002b98SHong Zhang c->free_colidx = PETSC_TRUE; 2283d4002b98SHong Zhang 2284d4002b98SHong Zhang c->maxallocmat = a->maxallocmat; 2285d4002b98SHong Zhang c->maxallocrow = a->maxallocrow; 2286d4002b98SHong Zhang c->rlenmax = a->rlenmax; 2287d4002b98SHong Zhang c->nz = a->nz; 2288d4002b98SHong Zhang C->preallocated = PETSC_TRUE; 2289d4002b98SHong Zhang 2290d4002b98SHong Zhang c->nonzerorowcnt = a->nonzerorowcnt; 2291d4002b98SHong Zhang C->nonzerostate = A->nonzerostate; 2292d4002b98SHong Zhang 22939566063dSJacob Faibussowitsch PetscCall(PetscFunctionListDuplicate(((PetscObject)A)->qlist, &((PetscObject)C)->qlist)); 22943ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2295d4002b98SHong Zhang } 2296d4002b98SHong Zhang 2297d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDuplicate_SeqSELL(Mat A, MatDuplicateOption cpvalues, Mat *B) 2298d71ae5a4SJacob Faibussowitsch { 2299d4002b98SHong Zhang PetscFunctionBegin; 23009566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), B)); 23019566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*B, A->rmap->n, A->cmap->n, A->rmap->n, A->cmap->n)); 230248a46eb9SPierre Jolivet if (!(A->rmap->n % A->rmap->bs) && !(A->cmap->n % A->cmap->bs)) PetscCall(MatSetBlockSizesFromMats(*B, A, A)); 23039566063dSJacob Faibussowitsch PetscCall(MatSetType(*B, ((PetscObject)A)->type_name)); 23049566063dSJacob Faibussowitsch PetscCall(MatDuplicateNoCreate_SeqSELL(*B, A, cpvalues, PETSC_TRUE)); 23053ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2306d4002b98SHong Zhang } 2307d4002b98SHong Zhang 2308ed73aabaSBarry Smith /*MC 2309ed73aabaSBarry Smith MATSEQSELL - MATSEQSELL = "seqsell" - A matrix type to be used for sequential sparse matrices, 2310ed73aabaSBarry Smith based on the sliced Ellpack format 2311ed73aabaSBarry Smith 231220f4b53cSBarry Smith Options Database Key: 231311a5261eSBarry Smith . -mat_type seqsell - sets the matrix type to "`MATSEQELL` during a call to `MatSetFromOptions()` 2314ed73aabaSBarry Smith 2315ed73aabaSBarry Smith Level: beginner 2316ed73aabaSBarry Smith 231767be906fSBarry Smith .seealso: `Mat`, `MatCreateSeqSell()`, `MATSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATAIJ`, `MATMPIAIJ` 2318ed73aabaSBarry Smith M*/ 2319ed73aabaSBarry Smith 2320ed73aabaSBarry Smith /*MC 2321ed73aabaSBarry Smith MATSELL - MATSELL = "sell" - A matrix type to be used for sparse matrices. 2322ed73aabaSBarry Smith 232311a5261eSBarry Smith This matrix type is identical to `MATSEQSELL` when constructed with a single process communicator, 232411a5261eSBarry Smith and `MATMPISELL` otherwise. As a result, for single process communicators, 232511a5261eSBarry Smith `MatSeqSELLSetPreallocation()` is supported, and similarly `MatMPISELLSetPreallocation()` is supported 2326ed73aabaSBarry Smith for communicators controlling multiple processes. It is recommended that you call both of 2327ed73aabaSBarry Smith the above preallocation routines for simplicity. 2328ed73aabaSBarry Smith 232920f4b53cSBarry Smith Options Database Key: 2330ed73aabaSBarry Smith . -mat_type sell - sets the matrix type to "sell" during a call to MatSetFromOptions() 2331ed73aabaSBarry Smith 2332ed73aabaSBarry Smith Level: beginner 2333ed73aabaSBarry Smith 2334ed73aabaSBarry Smith Notes: 23357de69702SBarry Smith This format is only supported for real scalars, double precision, and 32-bit indices (the defaults). 2336ed73aabaSBarry Smith 2337ed73aabaSBarry Smith It can provide better performance on Intel and AMD processes with AVX2 or AVX512 support for matrices that have a similar number of 2338ed73aabaSBarry Smith non-zeros in contiguous groups of rows. However if the computation is memory bandwidth limited it may not provide much improvement. 2339ed73aabaSBarry Smith 2340ed73aabaSBarry Smith Developer Notes: 2341ed73aabaSBarry Smith On Intel (and AMD) systems some of the matrix operations use SIMD (AVX) instructions to achieve higher performance. 2342ed73aabaSBarry Smith 2343ed73aabaSBarry Smith The sparse matrix format is as follows. For simplicity we assume a slice size of 2, it is actually 8 2344ed73aabaSBarry Smith .vb 2345ed73aabaSBarry Smith (2 0 3 4) 2346ed73aabaSBarry Smith Consider the matrix A = (5 0 6 0) 2347ed73aabaSBarry Smith (0 0 7 8) 2348ed73aabaSBarry Smith (0 0 9 9) 2349ed73aabaSBarry Smith 2350ed73aabaSBarry Smith symbolically the Ellpack format can be written as 2351ed73aabaSBarry Smith 2352ed73aabaSBarry Smith (2 3 4 |) (0 2 3 |) 2353ed73aabaSBarry Smith v = (5 6 0 |) colidx = (0 2 2 |) 2354ed73aabaSBarry Smith -------- --------- 2355ed73aabaSBarry Smith (7 8 |) (2 3 |) 2356ed73aabaSBarry Smith (9 9 |) (2 3 |) 2357ed73aabaSBarry Smith 2358ed73aabaSBarry 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). 2359ed73aabaSBarry 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 2360ed73aabaSBarry 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. 2361ed73aabaSBarry Smith 2362ed73aabaSBarry 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) 2363ed73aabaSBarry Smith 2364ed73aabaSBarry Smith .ve 2365ed73aabaSBarry Smith 2366ed73aabaSBarry Smith See MatMult_SeqSELL() for how this format is used with the SIMD operations to achieve high performance. 2367ed73aabaSBarry Smith 2368ed73aabaSBarry Smith References: 2369606c0280SSatish Balay . * - Hong Zhang, Richard T. Mills, Karl Rupp, and Barry F. Smith, Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512}, 2370ed73aabaSBarry Smith Proceedings of the 47th International Conference on Parallel Processing, 2018. 2371ed73aabaSBarry Smith 237267be906fSBarry Smith .seealso: `Mat`, `MatCreateSeqSELL()`, `MatCreateSeqAIJ()`, `MatCreateSell()`, `MATSEQSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATMPIAIJ`, `MATAIJ` 2373ed73aabaSBarry Smith M*/ 2374ed73aabaSBarry Smith 2375d4002b98SHong Zhang /*@C 237611a5261eSBarry Smith MatCreateSeqSELL - Creates a sparse matrix in `MATSEQSELL` format. 2377d4002b98SHong Zhang 23782ef1f0ffSBarry Smith Collective 2379d4002b98SHong Zhang 2380d4002b98SHong Zhang Input Parameters: 238111a5261eSBarry Smith + comm - MPI communicator, set to `PETSC_COMM_SELF` 2382d4002b98SHong Zhang . m - number of rows 2383d4002b98SHong Zhang . n - number of columns 238420f4b53cSBarry Smith . rlenmax - maximum number of nonzeros in a row, ignored if `rlen` is provided 238520f4b53cSBarry Smith - rlen - array containing the number of nonzeros in the various rows (possibly different for each row) or NULL 2386d4002b98SHong Zhang 2387d4002b98SHong Zhang Output Parameter: 2388d4002b98SHong Zhang . A - the matrix 2389d4002b98SHong Zhang 239020f4b53cSBarry Smith Level: intermediate 239120f4b53cSBarry Smith 239220f4b53cSBarry Smith Notes: 239311a5261eSBarry Smith It is recommended that one use the `MatCreate()`, `MatSetType()` and/or `MatSetFromOptions()`, 2394f6f02116SRichard Tran Mills MatXXXXSetPreallocation() paradigm instead of this routine directly. 239511a5261eSBarry Smith [MatXXXXSetPreallocation() is, for example, `MatSeqSELLSetPreallocation()`] 2396d4002b98SHong Zhang 239720f4b53cSBarry Smith Specify the preallocated storage with either `rlenmax` or `rlen` (not both). 239820f4b53cSBarry Smith Set `rlenmax` = `PETSC_DEFAULT` and `rlen` = `NULL` for PETSc to control dynamic memory 239920f4b53cSBarry Smith allocation. 2400d4002b98SHong Zhang 2401fe59aa6dSJacob Faibussowitsch .seealso: `Mat`, `MATSEQSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatSeqSELLSetPreallocation()`, `MATSELL`, `MATMPISELL` 2402d4002b98SHong Zhang @*/ 240320f4b53cSBarry Smith PetscErrorCode MatCreateSeqSELL(MPI_Comm comm, PetscInt m, PetscInt n, PetscInt rlenmax, const PetscInt rlen[], Mat *A) 2404d71ae5a4SJacob Faibussowitsch { 2405d4002b98SHong Zhang PetscFunctionBegin; 24069566063dSJacob Faibussowitsch PetscCall(MatCreate(comm, A)); 24079566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*A, m, n, m, n)); 24089566063dSJacob Faibussowitsch PetscCall(MatSetType(*A, MATSEQSELL)); 240920f4b53cSBarry Smith PetscCall(MatSeqSELLSetPreallocation_SeqSELL(*A, rlenmax, rlen)); 24103ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2411d4002b98SHong Zhang } 2412d4002b98SHong Zhang 2413d71ae5a4SJacob Faibussowitsch PetscErrorCode MatEqual_SeqSELL(Mat A, Mat B, PetscBool *flg) 2414d71ae5a4SJacob Faibussowitsch { 2415d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data, *b = (Mat_SeqSELL *)B->data; 2416d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2417d4002b98SHong Zhang 2418d4002b98SHong Zhang PetscFunctionBegin; 2419d4002b98SHong Zhang /* If the matrix dimensions are not equal,or no of nonzeros */ 2420d4002b98SHong Zhang if ((A->rmap->n != B->rmap->n) || (A->cmap->n != B->cmap->n) || (a->nz != b->nz) || (a->rlenmax != b->rlenmax)) { 2421d4002b98SHong Zhang *flg = PETSC_FALSE; 24223ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2423d4002b98SHong Zhang } 2424d4002b98SHong Zhang /* if the a->colidx are the same */ 24259566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->colidx, b->colidx, a->sliidx[totalslices], flg)); 24263ba16761SJacob Faibussowitsch if (!*flg) PetscFunctionReturn(PETSC_SUCCESS); 2427d4002b98SHong Zhang /* if a->val are the same */ 24289566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->val, b->val, a->sliidx[totalslices], flg)); 24293ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2430d4002b98SHong Zhang } 2431d4002b98SHong Zhang 2432d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat A) 2433d71ae5a4SJacob Faibussowitsch { 2434d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2435d4002b98SHong Zhang 2436d4002b98SHong Zhang PetscFunctionBegin; 2437d4002b98SHong Zhang a->idiagvalid = PETSC_FALSE; 24383ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2439d4002b98SHong Zhang } 2440d4002b98SHong Zhang 2441d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConjugate_SeqSELL(Mat A) 2442d71ae5a4SJacob Faibussowitsch { 2443d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 2444d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2445d4002b98SHong Zhang PetscInt i; 2446d4002b98SHong Zhang PetscScalar *val = a->val; 2447d4002b98SHong Zhang 2448d4002b98SHong Zhang PetscFunctionBegin; 24492d1451d4SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { val[i] = PetscConj(val[i]); } 24502d1451d4SHong Zhang #if defined(PETSC_HAVE_CUDA) 24512d1451d4SHong Zhang if (A->offloadmask != PETSC_OFFLOAD_UNALLOCATED) A->offloadmask = PETSC_OFFLOAD_CPU; 24522d1451d4SHong Zhang #endif 2453d4002b98SHong Zhang #else 2454d4002b98SHong Zhang PetscFunctionBegin; 2455d4002b98SHong Zhang #endif 24563ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2457d4002b98SHong Zhang } 2458