1be1d678aSKris Buschelman #define PETSCMAT_DLL 2289bc588SBarry Smith 37c4f633dSBarry Smith #include "../src/mat/impls/aij/seq/aij.h" 47c4f633dSBarry Smith #include "../src/inline/dot.h" 5e09e08ccSBarry Smith #define PETSC_USE_WHILE_KERNELS 67c4f633dSBarry Smith #include "../src/inline/spops.h" 71393bc97SHong Zhang #include "petscbt.h" 87c4f633dSBarry Smith #include "../src/mat/utils/freespace.h" 93b2fbd54SBarry Smith 10f6a26d55SMatthew Knepley EXTERN_C_BEGIN 114a2ae208SSatish Balay #undef __FUNCT__ 124a2ae208SSatish Balay #define __FUNCT__ "MatOrdering_Flow_SeqAIJ" 138fa24674SBarry Smith /* 148fa24674SBarry Smith Computes an ordering to get most of the large numerical values in the lower triangular part of the matrix 158fa24674SBarry Smith */ 16dfbe8321SBarry Smith PetscErrorCode MatOrdering_Flow_SeqAIJ(Mat mat,const MatOrderingType type,IS *irow,IS *icol) 173b2fbd54SBarry Smith { 188fa24674SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)mat->data; 198fa24674SBarry Smith PetscErrorCode ierr; 20889a8dedSBarry Smith PetscInt i,j,jj,k, kk,n = mat->rmap->n, current = 0, newcurrent = 0,*order; 218fa24674SBarry Smith const PetscInt *ai = a->i, *aj = a->j; 228fa24674SBarry Smith const PetscScalar *aa = a->a; 238fa24674SBarry Smith PetscTruth *done; 24889a8dedSBarry Smith PetscReal best,past = 0,future; 253a40ed3dSBarry Smith 268fa24674SBarry Smith PetscFunctionBegin; 278fa24674SBarry Smith /* pick initial row */ 288fa24674SBarry Smith best = -1; 298fa24674SBarry Smith for (i=0; i<n; i++) { 308fa24674SBarry Smith future = 0; 318fa24674SBarry Smith for (j=ai[i]; j<ai[i+1]; j++) { 328fa24674SBarry Smith if (aj[j] != i) future += PetscAbsScalar(aa[j]); else past = PetscAbsScalar(aa[j]); 338fa24674SBarry Smith } 348fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 358fa24674SBarry Smith if (past/future > best) { 368fa24674SBarry Smith best = past/future; 378fa24674SBarry Smith current = i; 388fa24674SBarry Smith } 398fa24674SBarry Smith } 408fa24674SBarry Smith 418fa24674SBarry Smith ierr = PetscMalloc(n*sizeof(PetscTruth),&done);CHKERRQ(ierr); 428fa24674SBarry Smith ierr = PetscMalloc(n*sizeof(PetscInt),&order);CHKERRQ(ierr); 438fa24674SBarry Smith ierr = PetscMemzero(done,n*sizeof(PetscTruth));CHKERRQ(ierr); 448fa24674SBarry Smith order[0] = current; 458fa24674SBarry Smith for (i=0; i<n-1; i++) { 468fa24674SBarry Smith done[current] = PETSC_TRUE; 478fa24674SBarry Smith best = -1; 488fa24674SBarry Smith /* loop over all neighbors of current pivot */ 498fa24674SBarry Smith for (j=ai[current]; j<ai[current+1]; j++) { 508fa24674SBarry Smith jj = aj[j]; 518fa24674SBarry Smith if (done[jj]) continue; 528fa24674SBarry Smith /* loop over columns of potential next row computing weights for below and above diagonal */ 538fa24674SBarry Smith past = future = 0.0; 548fa24674SBarry Smith for (k=ai[jj]; k<ai[jj+1]; k++) { 558fa24674SBarry Smith kk = aj[k]; 568fa24674SBarry Smith if (done[kk]) past += PetscAbsScalar(aa[k]); 578fa24674SBarry Smith else if (kk != jj) future += PetscAbsScalar(aa[k]); 588fa24674SBarry Smith } 598fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 608fa24674SBarry Smith if (past/future > best) { 618fa24674SBarry Smith best = past/future; 628fa24674SBarry Smith newcurrent = jj; 638fa24674SBarry Smith } 648fa24674SBarry Smith } 658fa24674SBarry Smith if (best == -1) { /* no neighbors to select from so select best of all that remain */ 668fa24674SBarry Smith best = -1; 678fa24674SBarry Smith for (k=0; k<n; k++) { 688fa24674SBarry Smith if (done[k]) continue; 698fa24674SBarry Smith future = 0; 708fa24674SBarry Smith past = 0; 718fa24674SBarry Smith for (j=ai[k]; j<ai[k+1]; j++) { 728fa24674SBarry Smith kk = aj[j]; 738fa24674SBarry Smith if (done[kk]) past += PetscAbsScalar(aa[j]); 748fa24674SBarry Smith else if (kk != k) future += PetscAbsScalar(aa[j]); 758fa24674SBarry Smith } 768fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 778fa24674SBarry Smith if (past/future > best) { 788fa24674SBarry Smith best = past/future; 798fa24674SBarry Smith newcurrent = k; 808fa24674SBarry Smith } 818fa24674SBarry Smith } 828fa24674SBarry Smith } 838fa24674SBarry Smith if (current == newcurrent) SETERRQ(PETSC_ERR_PLIB,"newcurrent cannot be current"); 848fa24674SBarry Smith current = newcurrent; 858fa24674SBarry Smith order[i+1] = current; 868fa24674SBarry Smith } 878fa24674SBarry Smith ierr = ISCreateGeneral(PETSC_COMM_SELF,n,order,irow);CHKERRQ(ierr); 888fa24674SBarry Smith *icol = *irow; 898fa24674SBarry Smith ierr = PetscObjectReference((PetscObject)*irow);CHKERRQ(ierr); 908fa24674SBarry Smith ierr = PetscFree(done);CHKERRQ(ierr); 918fa24674SBarry Smith ierr = PetscFree(order);CHKERRQ(ierr); 92d64ed03dSBarry Smith PetscFunctionReturn(0); 933b2fbd54SBarry Smith } 94f6a26d55SMatthew Knepley EXTERN_C_END 953b2fbd54SBarry Smith 96e631078cSBarry Smith EXTERN_C_BEGIN 974a2ae208SSatish Balay #undef __FUNCT__ 98db4efbfdSBarry Smith #define __FUNCT__ "MatGetFactorAvailable_seqaij_petsc" 99db4efbfdSBarry Smith PetscErrorCode MatGetFactorAvailable_seqaij_petsc(Mat A,MatFactorType ftype,PetscTruth *flg) 100db4efbfdSBarry Smith { 101db4efbfdSBarry Smith PetscFunctionBegin; 102db4efbfdSBarry Smith *flg = PETSC_TRUE; 103db4efbfdSBarry Smith PetscFunctionReturn(0); 104db4efbfdSBarry Smith } 105db4efbfdSBarry Smith EXTERN_C_END 106db4efbfdSBarry Smith 107db4efbfdSBarry Smith EXTERN_C_BEGIN 108db4efbfdSBarry Smith #undef __FUNCT__ 109b24902e0SBarry Smith #define __FUNCT__ "MatGetFactor_seqaij_petsc" 110b24902e0SBarry Smith PetscErrorCode MatGetFactor_seqaij_petsc(Mat A,MatFactorType ftype,Mat *B) 111b24902e0SBarry Smith { 112d0f46423SBarry Smith PetscInt n = A->rmap->n; 113b24902e0SBarry Smith PetscErrorCode ierr; 114b24902e0SBarry Smith 115b24902e0SBarry Smith PetscFunctionBegin; 116b24902e0SBarry Smith ierr = MatCreate(((PetscObject)A)->comm,B);CHKERRQ(ierr); 117b24902e0SBarry Smith ierr = MatSetSizes(*B,n,n,n,n);CHKERRQ(ierr); 118599ef60dSHong Zhang if (ftype == MAT_FACTOR_LU || ftype == MAT_FACTOR_ILU || ftype == MAT_FACTOR_ILUDT){ 119b24902e0SBarry Smith ierr = MatSetType(*B,MATSEQAIJ);CHKERRQ(ierr); 120db4efbfdSBarry Smith (*B)->ops->ilufactorsymbolic = MatILUFactorSymbolic_SeqAIJ; 12135bd34faSBarry Smith (*B)->ops->lufactorsymbolic = MatLUFactorSymbolic_SeqAIJ; 1221da05e5aSHong Zhang (*B)->ops->iludtfactor = MatILUDTFactor_SeqAIJ; 123b24902e0SBarry Smith } else if (ftype == MAT_FACTOR_CHOLESKY || ftype == MAT_FACTOR_ICC) { 124b24902e0SBarry Smith ierr = MatSetType(*B,MATSEQSBAIJ);CHKERRQ(ierr); 125b24902e0SBarry Smith ierr = MatSeqSBAIJSetPreallocation(*B,1,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 1265c9eb25fSBarry Smith (*B)->ops->iccfactorsymbolic = MatICCFactorSymbolic_SeqAIJ; 1275c9eb25fSBarry Smith (*B)->ops->choleskyfactorsymbolic = MatCholeskyFactorSymbolic_SeqAIJ; 128b24902e0SBarry Smith } else SETERRQ(PETSC_ERR_SUP,"Factor type not supported"); 129db4efbfdSBarry Smith (*B)->factor = ftype; 130b24902e0SBarry Smith PetscFunctionReturn(0); 131b24902e0SBarry Smith } 132e631078cSBarry Smith EXTERN_C_END 133b24902e0SBarry Smith 134b24902e0SBarry Smith #undef __FUNCT__ 135b9617806SBarry Smith #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ" 1360481f469SBarry Smith PetscErrorCode MatLUFactorSymbolic_SeqAIJ(Mat B,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 137289bc588SBarry Smith { 138416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 139289bc588SBarry Smith IS isicol; 1406849ba73SBarry Smith PetscErrorCode ierr; 1415d0c19d7SBarry Smith const PetscInt *r,*ic; 1425d0c19d7SBarry Smith PetscInt i,n=A->rmap->n,*ai=a->i,*aj=a->j; 1431393bc97SHong Zhang PetscInt *bi,*bj,*ajtmp; 1441393bc97SHong Zhang PetscInt *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im; 1459e046878SBarry Smith PetscReal f; 1464875ba38SHong Zhang PetscInt nlnk,*lnk,k,**bi_ptr; 147a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 1481393bc97SHong Zhang PetscBT lnkbt; 149289bc588SBarry Smith 1503a40ed3dSBarry Smith PetscFunctionBegin; 151d0f46423SBarry Smith if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square"); 1524c49b128SBarry Smith ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 153ac121b3dSBarry Smith ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 154ac121b3dSBarry Smith ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 155289bc588SBarry Smith 156289bc588SBarry Smith /* get new row pointers */ 1571393bc97SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 1581393bc97SHong Zhang bi[0] = 0; 1591393bc97SHong Zhang 1601393bc97SHong Zhang /* bdiag is location of diagonal in factor */ 1611393bc97SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 1621393bc97SHong Zhang bdiag[0] = 0; 1631393bc97SHong Zhang 1641393bc97SHong Zhang /* linked list for storing column indices of the active row */ 1651393bc97SHong Zhang nlnk = n + 1; 1661393bc97SHong Zhang ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 1671393bc97SHong Zhang 16835baf27eSSatish Balay ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr); 1691393bc97SHong Zhang 1701393bc97SHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 171d3d32019SBarry Smith f = info->fill; 172a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 1731393bc97SHong Zhang current_space = free_space; 174289bc588SBarry Smith 175289bc588SBarry Smith for (i=0; i<n; i++) { 1761393bc97SHong Zhang /* copy previous fill into linked list */ 177289bc588SBarry Smith nzi = 0; 1781393bc97SHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 1793b4a8b6dSBarry Smith if (!nnz) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i); 1801393bc97SHong Zhang ajtmp = aj + ai[r[i]]; 181afcc9904SHong Zhang ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 1821393bc97SHong Zhang nzi += nlnk; 1831393bc97SHong Zhang 1841393bc97SHong Zhang /* add pivot rows into linked list */ 1851393bc97SHong Zhang row = lnk[n]; 1861393bc97SHong Zhang while (row < i) { 187d1170560SHong Zhang nzbd = bdiag[row] - bi[row] + 1; /* num of entries in the row with column index <= row */ 188d1170560SHong Zhang ajtmp = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */ 189d1170560SHong Zhang ierr = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr); 1901393bc97SHong Zhang nzi += nlnk; 1911393bc97SHong Zhang row = lnk[row]; 192289bc588SBarry Smith } 1931393bc97SHong Zhang bi[i+1] = bi[i] + nzi; 1941393bc97SHong Zhang im[i] = nzi; 1951393bc97SHong Zhang 1961393bc97SHong Zhang /* mark bdiag */ 1971393bc97SHong Zhang nzbd = 0; 1981393bc97SHong Zhang nnz = nzi; 1991393bc97SHong Zhang k = lnk[n]; 2001393bc97SHong Zhang while (nnz-- && k < i){ 2011393bc97SHong Zhang nzbd++; 2021393bc97SHong Zhang k = lnk[k]; 2031393bc97SHong Zhang } 2041393bc97SHong Zhang bdiag[i] = bi[i] + nzbd; 2051393bc97SHong Zhang 2061393bc97SHong Zhang /* if free space is not available, make more free space */ 2071393bc97SHong Zhang if (current_space->local_remaining<nzi) { 2081393bc97SHong Zhang nnz = (n - i)*nzi; /* estimated and max additional space needed */ 209a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 2101393bc97SHong Zhang reallocs++; 2111393bc97SHong Zhang } 2121393bc97SHong Zhang 2131393bc97SHong Zhang /* copy data into free space, then initialize lnk */ 2141393bc97SHong Zhang ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 2151393bc97SHong Zhang bi_ptr[i] = current_space->array; 2161393bc97SHong Zhang current_space->array += nzi; 2171393bc97SHong Zhang current_space->local_used += nzi; 2181393bc97SHong Zhang current_space->local_remaining -= nzi; 219289bc588SBarry Smith } 2206cf91177SBarry Smith #if defined(PETSC_USE_INFO) 221464e8d44SSatish Balay if (ai[n] != 0) { 2221393bc97SHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 223ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 224ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 225ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr); 226ae15b995SBarry Smith ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 22705bf559cSSatish Balay } else { 228ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr); 22905bf559cSSatish Balay } 23063ba0a88SBarry Smith #endif 2312fb3ed76SBarry Smith 232898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 233898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 2341987afe7SBarry Smith 2351393bc97SHong Zhang /* destroy list of free space and other temporary array(s) */ 2361393bc97SHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 237a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); 2381393bc97SHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 23935baf27eSSatish Balay ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr); 240289bc588SBarry Smith 241289bc588SBarry Smith /* put together the new matrix */ 242719d5645SBarry Smith ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 243719d5645SBarry Smith ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr); 244719d5645SBarry Smith b = (Mat_SeqAIJ*)(B)->data; 245e6b907acSBarry Smith b->free_a = PETSC_TRUE; 246e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 2477c922b88SBarry Smith b->singlemalloc = PETSC_FALSE; 2481393bc97SHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 2491393bc97SHong Zhang b->j = bj; 2501393bc97SHong Zhang b->i = bi; 2511393bc97SHong Zhang b->diag = bdiag; 252416022c9SBarry Smith b->ilen = 0; 253416022c9SBarry Smith b->imax = 0; 254416022c9SBarry Smith b->row = isrow; 255416022c9SBarry Smith b->col = iscol; 256c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 257c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 25882bf6240SBarry Smith b->icol = isicol; 25987828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2601393bc97SHong Zhang 2611393bc97SHong Zhang /* In b structure: Free imax, ilen, old a, old j. Allocate solve_work, new a, new j */ 262719d5645SBarry Smith ierr = PetscLogObjectMemory(B,(bi[n]-n)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 2631393bc97SHong Zhang b->maxnz = b->nz = bi[n] ; 2647fd98bd6SLois Curfman McInnes 265719d5645SBarry Smith (B)->factor = MAT_FACTOR_LU; 266719d5645SBarry Smith (B)->info.factor_mallocs = reallocs; 267719d5645SBarry Smith (B)->info.fill_ratio_given = f; 268703deb49SSatish Balay 2699f7d0b68SHong Zhang if (ai[n]) { 270719d5645SBarry Smith (B)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]); 271eea2913aSSatish Balay } else { 272719d5645SBarry Smith (B)->info.fill_ratio_needed = 0.0; 273eea2913aSSatish Balay } 274719d5645SBarry Smith (B)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 275719d5645SBarry Smith (B)->ops->solve = MatSolve_SeqAIJ; 276719d5645SBarry Smith (B)->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 277db4efbfdSBarry Smith /* switch to inodes if appropriate */ 278719d5645SBarry Smith ierr = MatLUFactorSymbolic_Inode(B,A,isrow,iscol,info);CHKERRQ(ierr); 2793a40ed3dSBarry Smith PetscFunctionReturn(0); 280289bc588SBarry Smith } 2811393bc97SHong Zhang 2825b5bc046SBarry Smith /* 2835b5bc046SBarry Smith Trouble in factorization, should we dump the original matrix? 2845b5bc046SBarry Smith */ 2855b5bc046SBarry Smith #undef __FUNCT__ 2865b5bc046SBarry Smith #define __FUNCT__ "MatFactorDumpMatrix" 2875b5bc046SBarry Smith PetscErrorCode MatFactorDumpMatrix(Mat A) 2885b5bc046SBarry Smith { 2895b5bc046SBarry Smith PetscErrorCode ierr; 29090d69ab7SBarry Smith PetscTruth flg = PETSC_FALSE; 2915b5bc046SBarry Smith 2925b5bc046SBarry Smith PetscFunctionBegin; 29390d69ab7SBarry Smith ierr = PetscOptionsGetTruth(PETSC_NULL,"-mat_factor_dump_on_error",&flg,PETSC_NULL);CHKERRQ(ierr); 2945b5bc046SBarry Smith if (flg) { 2955b5bc046SBarry Smith PetscViewer viewer; 2965b5bc046SBarry Smith char filename[PETSC_MAX_PATH_LEN]; 2975b5bc046SBarry Smith 2985b5bc046SBarry Smith ierr = PetscSNPrintf(filename,PETSC_MAX_PATH_LEN,"matrix_factor_error.%d",PetscGlobalRank);CHKERRQ(ierr); 2997adad957SLisandro Dalcin ierr = PetscViewerBinaryOpen(((PetscObject)A)->comm,filename,FILE_MODE_WRITE,&viewer);CHKERRQ(ierr); 3005b5bc046SBarry Smith ierr = MatView(A,viewer);CHKERRQ(ierr); 3015b5bc046SBarry Smith ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr); 3025b5bc046SBarry Smith } 3035b5bc046SBarry Smith PetscFunctionReturn(0); 3045b5bc046SBarry Smith } 3055b5bc046SBarry Smith 306db4efbfdSBarry Smith extern PetscErrorCode MatSolve_Inode(Mat,Vec,Vec); 307db4efbfdSBarry Smith 3080a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 309c9c72f8fSHong Zhang extern PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_iludt(Mat,Vec,Vec); 310c9c72f8fSHong Zhang extern PetscErrorCode MatSolve_SeqAIJ_iludt(Mat,Vec,Vec); 311c9c72f8fSHong Zhang 312c9c72f8fSHong Zhang #undef __FUNCT__ 313c9c72f8fSHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_newdatastruct" 314c9c72f8fSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqAIJ_newdatastruct(Mat B,Mat A,const MatFactorInfo *info) 315c9c72f8fSHong Zhang { 316c9c72f8fSHong Zhang Mat C=B; 317c9c72f8fSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 318c9c72f8fSHong Zhang IS isrow = b->row,isicol = b->icol; 319c9c72f8fSHong Zhang PetscErrorCode ierr; 320c9c72f8fSHong Zhang const PetscInt *r,*ic,*ics; 321c9c72f8fSHong Zhang PetscInt i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 322c9c72f8fSHong Zhang PetscInt *ajtmp,*bjtmp,nz,nzL,row,*bdiag=b->diag,*pj; 323c9c72f8fSHong Zhang MatScalar *rtmp,*pc,multiplier,*v,*pv,*aa=a->a; 324c9c72f8fSHong Zhang PetscReal shift=info->shiftinblocks; 325c9c72f8fSHong Zhang PetscTruth row_identity, col_identity; 326c9c72f8fSHong Zhang 327c9c72f8fSHong Zhang PetscFunctionBegin; 328c9c72f8fSHong Zhang /* printf("MatLUFactorNumeric_SeqAIJ_newdatastruct is called ...\n"); */ 329c9c72f8fSHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 330c9c72f8fSHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 331c9c72f8fSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 332c9c72f8fSHong Zhang ics = ic; 333c9c72f8fSHong Zhang 334c9c72f8fSHong Zhang for (i=0; i<n; i++){ 335c9c72f8fSHong Zhang /* zero rtmp */ 336c9c72f8fSHong Zhang /* L part */ 337c9c72f8fSHong Zhang nz = bi[i+1] - bi[i]; 338c9c72f8fSHong Zhang bjtmp = bj + bi[i]; 339c9c72f8fSHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 340c9c72f8fSHong Zhang 341c9c72f8fSHong Zhang /* U part */ 342*8fc3a347SHong Zhang nz = bi[2*n-i+1] - bi[2*n-i]; 343*8fc3a347SHong Zhang bjtmp = bj + bi[2*n-i]; 344c9c72f8fSHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 345c9c72f8fSHong Zhang 346c9c72f8fSHong Zhang /* load in initial (unfactored row) */ 347c9c72f8fSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 348c9c72f8fSHong Zhang ajtmp = aj + ai[r[i]]; 349c9c72f8fSHong Zhang v = aa + ai[r[i]]; 350c9c72f8fSHong Zhang for (j=0; j<nz; j++) { 351c9c72f8fSHong Zhang rtmp[ics[ajtmp[j]]] = v[j]; 352c9c72f8fSHong Zhang } 353c9c72f8fSHong Zhang if (rtmp[ics[r[i]]] == 0.0){ 354c9c72f8fSHong Zhang rtmp[ics[r[i]]] += shift; /* shift the diagonal of the matrix */ 355c9c72f8fSHong Zhang /* printf("row %d, shift %g\n",i,shift); */ 356c9c72f8fSHong Zhang } 357c9c72f8fSHong Zhang 358c9c72f8fSHong Zhang /* elimination */ 359c9c72f8fSHong Zhang bjtmp = bj + bi[i]; 360c9c72f8fSHong Zhang row = *bjtmp++; 361c9c72f8fSHong Zhang nzL = bi[i+1] - bi[i]; 362c9c72f8fSHong Zhang k = 0; 363c9c72f8fSHong Zhang while (k < nzL) { 364c9c72f8fSHong Zhang pc = rtmp + row; 365c9c72f8fSHong Zhang if (*pc != 0.0) { 366c9c72f8fSHong Zhang pv = b->a + bdiag[row]; 367c9c72f8fSHong Zhang multiplier = *pc * (*pv); 368c9c72f8fSHong Zhang *pc = multiplier; 369*8fc3a347SHong Zhang pj = b->j + bi[2*n-row]; /* begining of U(row,:) */ 370*8fc3a347SHong Zhang pv = b->a + bi[2*n-row]; 371*8fc3a347SHong Zhang nz = bi[2*n-row+1] - bi[2*n-row] - 1; /* num of entries in U(row,:), excluding diag */ 372c9c72f8fSHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 373c9c72f8fSHong Zhang ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 374c9c72f8fSHong Zhang } 375c9c72f8fSHong Zhang row = *bjtmp++; k++; 376c9c72f8fSHong Zhang } 377c9c72f8fSHong Zhang 378c9c72f8fSHong Zhang /* finished row so stick it into b->a */ 379c9c72f8fSHong Zhang /* L part */ 380c9c72f8fSHong Zhang pv = b->a + bi[i] ; 381c9c72f8fSHong Zhang pj = b->j + bi[i] ; 382c9c72f8fSHong Zhang nz = bi[i+1] - bi[i]; 383c9c72f8fSHong Zhang for (j=0; j<nz; j++) { 384c9c72f8fSHong Zhang pv[j] = rtmp[pj[j]]; 385c9c72f8fSHong Zhang } 386c9c72f8fSHong Zhang 387c9c72f8fSHong Zhang /* Mark diagonal and invert diagonal for simplier triangular solves */ 388c9c72f8fSHong Zhang pv = b->a + bdiag[i]; 389c9c72f8fSHong Zhang pj = b->j + bdiag[i]; 390c9c72f8fSHong Zhang /* if (*pj != i)SETERRQ2(PETSC_ERR_SUP,"row %d != *pj %d",i,*pj) */ 391c9c72f8fSHong Zhang *pv = 1.0/rtmp[*pj]; 392c9c72f8fSHong Zhang 393c9c72f8fSHong Zhang /* U part */ 394*8fc3a347SHong Zhang pv = b->a + bi[2*n-i]; 395*8fc3a347SHong Zhang pj = b->j + bi[2*n-i]; 396*8fc3a347SHong Zhang nz = bi[2*n-i+1] - bi[2*n-i] - 1; 397*8fc3a347SHong Zhang for (j=0; j<nz; j++) pv[j] = rtmp[pj[j]]; 398c9c72f8fSHong Zhang } 399c9c72f8fSHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 400c9c72f8fSHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 401c9c72f8fSHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 402c9c72f8fSHong Zhang 403c9c72f8fSHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 404c9c72f8fSHong Zhang ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 405c9c72f8fSHong Zhang if (row_identity && col_identity) { 406c9c72f8fSHong Zhang C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_iludt; 407c9c72f8fSHong Zhang } else { 408c9c72f8fSHong Zhang C->ops->solve = MatSolve_SeqAIJ_iludt; 409c9c72f8fSHong Zhang } 410c9c72f8fSHong Zhang 411c9c72f8fSHong Zhang C->ops->solveadd = 0; 412c9c72f8fSHong Zhang C->ops->solvetranspose = 0; 413c9c72f8fSHong Zhang C->ops->solvetransposeadd = 0; 414c9c72f8fSHong Zhang C->ops->matsolve = 0; 415c9c72f8fSHong Zhang C->assembled = PETSC_TRUE; 416c9c72f8fSHong Zhang C->preallocated = PETSC_TRUE; 417c9c72f8fSHong Zhang ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 418c9c72f8fSHong Zhang PetscFunctionReturn(0); 419c9c72f8fSHong Zhang } 420c9c72f8fSHong Zhang 4214a2ae208SSatish Balay #undef __FUNCT__ 4224a2ae208SSatish Balay #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ" 4230481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info) 424289bc588SBarry Smith { 425719d5645SBarry Smith Mat C=B; 426416022c9SBarry Smith Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 42782bf6240SBarry Smith IS isrow = b->row,isicol = b->icol; 4286849ba73SBarry Smith PetscErrorCode ierr; 4295d0c19d7SBarry Smith const PetscInt *r,*ic,*ics; 4309f7d0b68SHong Zhang PetscInt i,j,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 4319f7d0b68SHong Zhang PetscInt *ajtmp,*bjtmp,nz,row,*diag_offset = b->diag,diag,*pj; 4329f7d0b68SHong Zhang MatScalar *rtmp,*pc,multiplier,*v,*pv,d,*aa=a->a; 43333f9893dSHong Zhang PetscReal rs=0.0; 434b3bf805bSHong Zhang LUShift_Ctx sctx; 43542898933SHong Zhang PetscInt newshift,*ddiag; 436289bc588SBarry Smith 4373a40ed3dSBarry Smith PetscFunctionBegin; 43878b31e54SBarry Smith ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 43978b31e54SBarry Smith ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 440b78a477dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 4419f7d0b68SHong Zhang ics = ic; 442289bc588SBarry Smith 443ada7143aSSatish Balay sctx.shift_top = 0; 444ada7143aSSatish Balay sctx.nshift_max = 0; 445ada7143aSSatish Balay sctx.shift_lo = 0; 446ada7143aSSatish Balay sctx.shift_hi = 0; 4470481f469SBarry Smith sctx.shift_fraction = 0; 448ada7143aSSatish Balay 449118f5789SBarry Smith /* if both shift schemes are chosen by user, only use info->shiftpd */ 4501a890ab1SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 45142898933SHong Zhang ddiag = a->diag; 4529f7d0b68SHong Zhang sctx.shift_top = info->zeropivot; 4536cc28720Svictorle for (i=0; i<n; i++) { 4549f95998fSHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 4559f7d0b68SHong Zhang d = (aa)[ddiag[i]]; 4561a890ab1SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 4579f7d0b68SHong Zhang v = aa+ai[i]; 4589f7d0b68SHong Zhang nz = ai[i+1] - ai[i]; 459e24cfe64SHong Zhang for (j=0; j<nz; j++) 4601a890ab1SHong Zhang rs += PetscAbsScalar(v[j]); 4611a890ab1SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 4626cc28720Svictorle } 463118f5789SBarry Smith sctx.shift_top *= 1.1; 464d2276718SHong Zhang sctx.nshift_max = 5; 465d2276718SHong Zhang sctx.shift_lo = 0.; 466d2276718SHong Zhang sctx.shift_hi = 1.; 467a0a356efSHong Zhang } 468a0a356efSHong Zhang 4699f7d0b68SHong Zhang sctx.shift_amount = 0.0; 470a0a356efSHong Zhang sctx.nshift = 0; 471085256b3SBarry Smith do { 472d2276718SHong Zhang sctx.lushift = PETSC_FALSE; 473289bc588SBarry Smith for (i=0; i<n; i++){ 474b3bf805bSHong Zhang nz = bi[i+1] - bi[i]; 475b3bf805bSHong Zhang bjtmp = bj + bi[i]; 4769f7d0b68SHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 477289bc588SBarry Smith 478289bc588SBarry Smith /* load in initial (unfactored row) */ 4799f7d0b68SHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 4809f7d0b68SHong Zhang ajtmp = aj + ai[r[i]]; 4819f7d0b68SHong Zhang v = aa + ai[r[i]]; 482085256b3SBarry Smith for (j=0; j<nz; j++) { 483b3bf805bSHong Zhang rtmp[ics[ajtmp[j]]] = v[j]; 484085256b3SBarry Smith } 485d2276718SHong Zhang rtmp[ics[r[i]]] += sctx.shift_amount; /* shift the diagonal of the matrix */ 486c9c72f8fSHong Zhang if (sctx.shift_amount > 0.0) printf("row %d, shift %g\n",i,sctx.shift_amount); 487289bc588SBarry Smith 488b3bf805bSHong Zhang row = *bjtmp++; 489f2582111SSatish Balay while (row < i) { 4908c37ef55SBarry Smith pc = rtmp + row; 4918c37ef55SBarry Smith if (*pc != 0.0) { 492010a20caSHong Zhang pv = b->a + diag_offset[row]; 493010a20caSHong Zhang pj = b->j + diag_offset[row] + 1; 49435aab85fSBarry Smith multiplier = *pc / *pv++; 4958c37ef55SBarry Smith *pc = multiplier; 496b3bf805bSHong Zhang nz = bi[row+1] - diag_offset[row] - 1; 4979f7d0b68SHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 498dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 499289bc588SBarry Smith } 500b3bf805bSHong Zhang row = *bjtmp++; 501289bc588SBarry Smith } 502416022c9SBarry Smith /* finished row so stick it into b->a */ 503b3bf805bSHong Zhang pv = b->a + bi[i] ; 504b3bf805bSHong Zhang pj = b->j + bi[i] ; 505b3bf805bSHong Zhang nz = bi[i+1] - bi[i]; 506b3bf805bSHong Zhang diag = diag_offset[i] - bi[i]; 5079f7d0b68SHong Zhang rs = -PetscAbsScalar(pv[diag]); 508d3d32019SBarry Smith for (j=0; j<nz; j++) { 5099f7d0b68SHong Zhang pv[j] = rtmp[pj[j]]; 5109f7d0b68SHong Zhang rs += PetscAbsScalar(pv[j]); 511d3d32019SBarry Smith } 512d2276718SHong Zhang 513b3bf805bSHong Zhang /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */ 514d2276718SHong Zhang sctx.rs = rs; 515d2276718SHong Zhang sctx.pv = pv[diag]; 516c6b1f410SHong Zhang ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr); 5175b5bc046SBarry Smith if (newshift == 1) break; 51835aab85fSBarry Smith } 519d2276718SHong Zhang 5200481f469SBarry Smith if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) { 5216cc28720Svictorle /* 5226c037d1bSvictorle * if no shift in this attempt & shifting & started shifting & can refine, 5236cc28720Svictorle * then try lower shift 5246cc28720Svictorle */ 5250481f469SBarry Smith sctx.shift_hi = sctx.shift_fraction; 5260481f469SBarry Smith sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 5270481f469SBarry Smith sctx.shift_amount = sctx.shift_fraction * sctx.shift_top; 528d2276718SHong Zhang sctx.lushift = PETSC_TRUE; 529d2276718SHong Zhang sctx.nshift++; 5306cc28720Svictorle } 531d2276718SHong Zhang } while (sctx.lushift); 5320f11f9aeSSatish Balay 53335aab85fSBarry Smith /* invert diagonal entries for simplier triangular solves */ 53435aab85fSBarry Smith for (i=0; i<n; i++) { 535010a20caSHong Zhang b->a[diag_offset[i]] = 1.0/b->a[diag_offset[i]]; 53635aab85fSBarry Smith } 537606d414cSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 53878b31e54SBarry Smith ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 53978b31e54SBarry Smith ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 540db4efbfdSBarry Smith if (b->inode.use) { 541db4efbfdSBarry Smith C->ops->solve = MatSolve_Inode; 542db4efbfdSBarry Smith } else { 5438d8c7c43SBarry Smith PetscTruth row_identity, col_identity; 5448d8c7c43SBarry Smith ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 5458d8c7c43SBarry Smith ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 5468d8c7c43SBarry Smith if (row_identity && col_identity) { 5478d8c7c43SBarry Smith C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering; 5488d8c7c43SBarry Smith } else { 549db4efbfdSBarry Smith C->ops->solve = MatSolve_SeqAIJ; 550db4efbfdSBarry Smith } 5518d8c7c43SBarry Smith } 552db4efbfdSBarry Smith C->ops->solveadd = MatSolveAdd_SeqAIJ; 553db4efbfdSBarry Smith C->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 554db4efbfdSBarry Smith C->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ; 555de26497bSBarry Smith C->ops->matsolve = MatMatSolve_SeqAIJ; 556c456f294SBarry Smith C->assembled = PETSC_TRUE; 5575c9eb25fSBarry Smith C->preallocated = PETSC_TRUE; 558d0f46423SBarry Smith ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 559d2276718SHong Zhang if (sctx.nshift){ 560e738e422SBarry Smith if (info->shiftpd) { 5610481f469SBarry Smith ierr = PetscInfo4(A,"number of shift_pd tries %D, shift_amount %G, diagonal shifted up by %e fraction top_value %e\n",sctx.nshift,sctx.shift_amount,sctx.shift_fraction,sctx.shift_top);CHKERRQ(ierr); 562e738e422SBarry Smith } else if (info->shiftnz) { 563e738e422SBarry Smith ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 5646cc28720Svictorle } 5650697b6caSHong Zhang } 5663a40ed3dSBarry Smith PetscFunctionReturn(0); 567289bc588SBarry Smith } 5680889b5dcSvictorle 569137fb511SHong Zhang /* 570137fb511SHong Zhang This routine implements inplace ILU(0) with row or/and column permutations. 571137fb511SHong Zhang Input: 572137fb511SHong Zhang A - original matrix 573137fb511SHong Zhang Output; 574137fb511SHong Zhang A - a->i (rowptr) is same as original rowptr, but factored i-the row is stored in rowperm[i] 575137fb511SHong Zhang a->j (col index) is permuted by the inverse of colperm, then sorted 576137fb511SHong Zhang a->a reordered accordingly with a->j 577137fb511SHong Zhang a->diag (ptr to diagonal elements) is updated. 578137fb511SHong Zhang */ 579137fb511SHong Zhang #undef __FUNCT__ 580137fb511SHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_InplaceWithPerm" 5810481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ_InplaceWithPerm(Mat B,Mat A,const MatFactorInfo *info) 582137fb511SHong Zhang { 583b051339dSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 584b051339dSHong Zhang IS isrow = a->row,isicol = a->icol; 585137fb511SHong Zhang PetscErrorCode ierr; 5865d0c19d7SBarry Smith const PetscInt *r,*ic,*ics; 5875d0c19d7SBarry Smith PetscInt i,j,n=A->rmap->n,*ai=a->i,*aj=a->j; 5885d0c19d7SBarry Smith PetscInt *ajtmp,nz,row; 589b051339dSHong Zhang PetscInt *diag = a->diag,nbdiag,*pj; 590a77337e4SBarry Smith PetscScalar *rtmp,*pc,multiplier,d; 591a77337e4SBarry Smith MatScalar *v,*pv; 592137fb511SHong Zhang PetscReal rs; 593137fb511SHong Zhang LUShift_Ctx sctx; 594b051339dSHong Zhang PetscInt newshift; 595137fb511SHong Zhang 596137fb511SHong Zhang PetscFunctionBegin; 597719d5645SBarry Smith if (A != B) SETERRQ(PETSC_ERR_ARG_INCOMP,"input and output matrix must have same address"); 598137fb511SHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 599137fb511SHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 600137fb511SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr); 601137fb511SHong Zhang ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr); 602b051339dSHong Zhang ics = ic; 603137fb511SHong Zhang 604137fb511SHong Zhang sctx.shift_top = 0; 605137fb511SHong Zhang sctx.nshift_max = 0; 606137fb511SHong Zhang sctx.shift_lo = 0; 607137fb511SHong Zhang sctx.shift_hi = 0; 6080481f469SBarry Smith sctx.shift_fraction = 0; 609137fb511SHong Zhang 610137fb511SHong Zhang /* if both shift schemes are chosen by user, only use info->shiftpd */ 611137fb511SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 612137fb511SHong Zhang sctx.shift_top = 0; 613137fb511SHong Zhang for (i=0; i<n; i++) { 614137fb511SHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 615b051339dSHong Zhang d = (a->a)[diag[i]]; 616137fb511SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 617b051339dSHong Zhang v = a->a+ai[i]; 618b051339dSHong Zhang nz = ai[i+1] - ai[i]; 619137fb511SHong Zhang for (j=0; j<nz; j++) 620137fb511SHong Zhang rs += PetscAbsScalar(v[j]); 621137fb511SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 622137fb511SHong Zhang } 623137fb511SHong Zhang if (sctx.shift_top < info->zeropivot) sctx.shift_top = info->zeropivot; 624137fb511SHong Zhang sctx.shift_top *= 1.1; 625137fb511SHong Zhang sctx.nshift_max = 5; 626137fb511SHong Zhang sctx.shift_lo = 0.; 627137fb511SHong Zhang sctx.shift_hi = 1.; 628137fb511SHong Zhang } 629137fb511SHong Zhang 630137fb511SHong Zhang sctx.shift_amount = 0; 631137fb511SHong Zhang sctx.nshift = 0; 632137fb511SHong Zhang do { 633137fb511SHong Zhang sctx.lushift = PETSC_FALSE; 634137fb511SHong Zhang for (i=0; i<n; i++){ 635b051339dSHong Zhang /* load in initial unfactored row */ 636b051339dSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 637b051339dSHong Zhang ajtmp = aj + ai[r[i]]; 638b051339dSHong Zhang v = a->a + ai[r[i]]; 639137fb511SHong Zhang /* sort permuted ajtmp and values v accordingly */ 640b051339dSHong Zhang for (j=0; j<nz; j++) ajtmp[j] = ics[ajtmp[j]]; 641137fb511SHong Zhang ierr = PetscSortIntWithScalarArray(nz,ajtmp,v);CHKERRQ(ierr); 642137fb511SHong Zhang 643b051339dSHong Zhang diag[r[i]] = ai[r[i]]; 644137fb511SHong Zhang for (j=0; j<nz; j++) { 645137fb511SHong Zhang rtmp[ajtmp[j]] = v[j]; 646b051339dSHong Zhang if (ajtmp[j] < i) diag[r[i]]++; /* update a->diag */ 647137fb511SHong Zhang } 648137fb511SHong Zhang rtmp[r[i]] += sctx.shift_amount; /* shift the diagonal of the matrix */ 649137fb511SHong Zhang 650b051339dSHong Zhang row = *ajtmp++; 651137fb511SHong Zhang while (row < i) { 652137fb511SHong Zhang pc = rtmp + row; 653137fb511SHong Zhang if (*pc != 0.0) { 654b051339dSHong Zhang pv = a->a + diag[r[row]]; 655b051339dSHong Zhang pj = aj + diag[r[row]] + 1; 656137fb511SHong Zhang 657137fb511SHong Zhang multiplier = *pc / *pv++; 658137fb511SHong Zhang *pc = multiplier; 659b051339dSHong Zhang nz = ai[r[row]+1] - diag[r[row]] - 1; 660b051339dSHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 661dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 662137fb511SHong Zhang } 663b051339dSHong Zhang row = *ajtmp++; 664137fb511SHong Zhang } 665b051339dSHong Zhang /* finished row so overwrite it onto a->a */ 666b051339dSHong Zhang pv = a->a + ai[r[i]] ; 667b051339dSHong Zhang pj = aj + ai[r[i]] ; 668b051339dSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 669b051339dSHong Zhang nbdiag = diag[r[i]] - ai[r[i]]; /* num of entries before the diagonal */ 670137fb511SHong Zhang 671137fb511SHong Zhang rs = 0.0; 672137fb511SHong Zhang for (j=0; j<nz; j++) { 673b051339dSHong Zhang pv[j] = rtmp[pj[j]]; 674b051339dSHong Zhang if (j != nbdiag) rs += PetscAbsScalar(pv[j]); 675137fb511SHong Zhang } 676137fb511SHong Zhang 677137fb511SHong Zhang /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */ 678137fb511SHong Zhang sctx.rs = rs; 679b051339dSHong Zhang sctx.pv = pv[nbdiag]; 680c6b1f410SHong Zhang ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr); 681137fb511SHong Zhang if (newshift == 1) break; 682137fb511SHong Zhang } 683137fb511SHong Zhang 6840481f469SBarry Smith if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) { 685137fb511SHong Zhang /* 686137fb511SHong Zhang * if no shift in this attempt & shifting & started shifting & can refine, 687137fb511SHong Zhang * then try lower shift 688137fb511SHong Zhang */ 6890481f469SBarry Smith sctx.shift_hi = sctx.shift_fraction; 6900481f469SBarry Smith sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 6910481f469SBarry Smith sctx.shift_amount = sctx.shift_fraction * sctx.shift_top; 692137fb511SHong Zhang sctx.lushift = PETSC_TRUE; 693137fb511SHong Zhang sctx.nshift++; 694137fb511SHong Zhang } 695137fb511SHong Zhang } while (sctx.lushift); 696137fb511SHong Zhang 697137fb511SHong Zhang /* invert diagonal entries for simplier triangular solves */ 698137fb511SHong Zhang for (i=0; i<n; i++) { 699b051339dSHong Zhang a->a[diag[r[i]]] = 1.0/a->a[diag[r[i]]]; 700137fb511SHong Zhang } 701137fb511SHong Zhang 702137fb511SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 703137fb511SHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 704137fb511SHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 705b051339dSHong Zhang A->ops->solve = MatSolve_SeqAIJ_InplaceWithPerm; 706db4efbfdSBarry Smith A->ops->solveadd = MatSolveAdd_SeqAIJ; 707db4efbfdSBarry Smith A->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 708db4efbfdSBarry Smith A->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ; 709b051339dSHong Zhang A->assembled = PETSC_TRUE; 7105c9eb25fSBarry Smith A->preallocated = PETSC_TRUE; 711d0f46423SBarry Smith ierr = PetscLogFlops(A->cmap->n);CHKERRQ(ierr); 712137fb511SHong Zhang if (sctx.nshift){ 713e738e422SBarry Smith if (info->shiftpd) { 7140481f469SBarry Smith ierr = PetscInfo4(A,"number of shift_pd tries %D, shift_amount %G, diagonal shifted up by %e fraction top_value %e\n",sctx.nshift,sctx.shift_amount,sctx.shift_fraction,sctx.shift_top);CHKERRQ(ierr); 715e738e422SBarry Smith } else if (info->shiftnz) { 716e738e422SBarry Smith ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 717137fb511SHong Zhang } 718137fb511SHong Zhang } 719137fb511SHong Zhang PetscFunctionReturn(0); 720137fb511SHong Zhang } 721137fb511SHong Zhang 7220a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 7234a2ae208SSatish Balay #undef __FUNCT__ 7244a2ae208SSatish Balay #define __FUNCT__ "MatLUFactor_SeqAIJ" 7250481f469SBarry Smith PetscErrorCode MatLUFactor_SeqAIJ(Mat A,IS row,IS col,const MatFactorInfo *info) 726da3a660dSBarry Smith { 727dfbe8321SBarry Smith PetscErrorCode ierr; 728416022c9SBarry Smith Mat C; 729416022c9SBarry Smith 7303a40ed3dSBarry Smith PetscFunctionBegin; 73143244d56SBarry Smith ierr = MatGetFactor(A,MAT_SOLVER_PETSC,MAT_FACTOR_LU,&C);CHKERRQ(ierr); 732719d5645SBarry Smith ierr = MatLUFactorSymbolic(C,A,row,col,info);CHKERRQ(ierr); 733719d5645SBarry Smith ierr = MatLUFactorNumeric(C,A,info);CHKERRQ(ierr); 734db4efbfdSBarry Smith A->ops->solve = C->ops->solve; 735db4efbfdSBarry Smith A->ops->solvetranspose = C->ops->solvetranspose; 736273d9f13SBarry Smith ierr = MatHeaderCopy(A,C);CHKERRQ(ierr); 73752e6d16bSBarry Smith ierr = PetscLogObjectParent(A,((Mat_SeqAIJ*)(A->data))->icol);CHKERRQ(ierr); 7383a40ed3dSBarry Smith PetscFunctionReturn(0); 739da3a660dSBarry Smith } 7400a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 7411d098868SHong Zhang 742889a8dedSBarry Smith 7434a2ae208SSatish Balay #undef __FUNCT__ 7444a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ" 745dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ(Mat A,Vec bb,Vec xx) 7468c37ef55SBarry Smith { 747416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 748416022c9SBarry Smith IS iscol = a->col,isrow = a->row; 7496849ba73SBarry Smith PetscErrorCode ierr; 7505d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 7515d0c19d7SBarry Smith PetscInt nz; 7525d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 753dd6ea824SBarry Smith PetscScalar *x,*tmp,*tmps,sum; 754d9fead3dSBarry Smith const PetscScalar *b; 755dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 7568c37ef55SBarry Smith 7573a40ed3dSBarry Smith PetscFunctionBegin; 7583a40ed3dSBarry Smith if (!n) PetscFunctionReturn(0); 75991bf9adeSBarry Smith 760d9fead3dSBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 7611ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 762416022c9SBarry Smith tmp = a->solve_work; 7638c37ef55SBarry Smith 7643b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 7653b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 7668c37ef55SBarry Smith 7678c37ef55SBarry Smith /* forward solve the lower triangular */ 7688c37ef55SBarry Smith tmp[0] = b[*r++]; 769010a20caSHong Zhang tmps = tmp; 7708c37ef55SBarry Smith for (i=1; i<n; i++) { 771010a20caSHong Zhang v = aa + ai[i] ; 772010a20caSHong Zhang vi = aj + ai[i] ; 77353e7425aSBarry Smith nz = a->diag[i] - ai[i]; 77453e7425aSBarry Smith sum = b[*r++]; 775003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 7768c37ef55SBarry Smith tmp[i] = sum; 7778c37ef55SBarry Smith } 7788c37ef55SBarry Smith 7798c37ef55SBarry Smith /* backward solve the upper triangular */ 7808c37ef55SBarry Smith for (i=n-1; i>=0; i--){ 781010a20caSHong Zhang v = aa + a->diag[i] + 1; 782010a20caSHong Zhang vi = aj + a->diag[i] + 1; 783416022c9SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 7848c37ef55SBarry Smith sum = tmp[i]; 785003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 786010a20caSHong Zhang x[*c--] = tmp[i] = sum*aa[a->diag[i]]; 7878c37ef55SBarry Smith } 7888c37ef55SBarry Smith 7893b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 7903b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 791d9fead3dSBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 7921ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 793dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 7943a40ed3dSBarry Smith PetscFunctionReturn(0); 7958c37ef55SBarry Smith } 796026e39d0SSatish Balay 7972bebee5dSHong Zhang #undef __FUNCT__ 7982bebee5dSHong Zhang #define __FUNCT__ "MatMatSolve_SeqAIJ" 7992bebee5dSHong Zhang PetscErrorCode MatMatSolve_SeqAIJ(Mat A,Mat B,Mat X) 8002bebee5dSHong Zhang { 8012bebee5dSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 8022bebee5dSHong Zhang IS iscol = a->col,isrow = a->row; 8032bebee5dSHong Zhang PetscErrorCode ierr; 8045d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 8055d0c19d7SBarry Smith PetscInt nz,neq; 8065d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 807dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,*tmps,sum; 808dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 809db4efbfdSBarry Smith PetscTruth bisdense,xisdense; 8102bebee5dSHong Zhang 8112bebee5dSHong Zhang PetscFunctionBegin; 8122bebee5dSHong Zhang if (!n) PetscFunctionReturn(0); 8132bebee5dSHong Zhang 814db4efbfdSBarry Smith ierr = PetscTypeCompare((PetscObject)B,MATSEQDENSE,&bisdense);CHKERRQ(ierr); 815db4efbfdSBarry Smith if (!bisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"B matrix must be a SeqDense matrix"); 816db4efbfdSBarry Smith ierr = PetscTypeCompare((PetscObject)X,MATSEQDENSE,&xisdense);CHKERRQ(ierr); 817db4efbfdSBarry Smith if (!xisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"X matrix must be a SeqDense matrix"); 818db4efbfdSBarry Smith 8192bebee5dSHong Zhang ierr = MatGetArray(B,&b);CHKERRQ(ierr); 8202bebee5dSHong Zhang ierr = MatGetArray(X,&x);CHKERRQ(ierr); 8212bebee5dSHong Zhang 8222bebee5dSHong Zhang tmp = a->solve_work; 8232bebee5dSHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 8242bebee5dSHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 8252bebee5dSHong Zhang 826a36b22ccSSatish Balay for (neq=0; neq<B->cmap->n; neq++){ 8272bebee5dSHong Zhang /* forward solve the lower triangular */ 8282bebee5dSHong Zhang tmp[0] = b[r[0]]; 8292bebee5dSHong Zhang tmps = tmp; 8302bebee5dSHong Zhang for (i=1; i<n; i++) { 8312bebee5dSHong Zhang v = aa + ai[i] ; 8322bebee5dSHong Zhang vi = aj + ai[i] ; 8332bebee5dSHong Zhang nz = a->diag[i] - ai[i]; 8342bebee5dSHong Zhang sum = b[r[i]]; 835003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 8362bebee5dSHong Zhang tmp[i] = sum; 8372bebee5dSHong Zhang } 8382bebee5dSHong Zhang /* backward solve the upper triangular */ 8392bebee5dSHong Zhang for (i=n-1; i>=0; i--){ 8402bebee5dSHong Zhang v = aa + a->diag[i] + 1; 8412bebee5dSHong Zhang vi = aj + a->diag[i] + 1; 8422bebee5dSHong Zhang nz = ai[i+1] - a->diag[i] - 1; 8432bebee5dSHong Zhang sum = tmp[i]; 844003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 8452bebee5dSHong Zhang x[c[i]] = tmp[i] = sum*aa[a->diag[i]]; 8462bebee5dSHong Zhang } 8472bebee5dSHong Zhang 8482bebee5dSHong Zhang b += n; 8492bebee5dSHong Zhang x += n; 8502bebee5dSHong Zhang } 8512bebee5dSHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 8522bebee5dSHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 8532bebee5dSHong Zhang ierr = MatRestoreArray(B,&b);CHKERRQ(ierr); 8542bebee5dSHong Zhang ierr = MatRestoreArray(X,&x);CHKERRQ(ierr); 855dc0b31edSSatish Balay ierr = PetscLogFlops(B->cmap->n*(2.0*a->nz - n));CHKERRQ(ierr); 8562bebee5dSHong Zhang PetscFunctionReturn(0); 8572bebee5dSHong Zhang } 8582bebee5dSHong Zhang 859137fb511SHong Zhang #undef __FUNCT__ 860137fb511SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_InplaceWithPerm" 861137fb511SHong Zhang PetscErrorCode MatSolve_SeqAIJ_InplaceWithPerm(Mat A,Vec bb,Vec xx) 862137fb511SHong Zhang { 863137fb511SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 864137fb511SHong Zhang IS iscol = a->col,isrow = a->row; 865137fb511SHong Zhang PetscErrorCode ierr; 8665d0c19d7SBarry Smith const PetscInt *r,*c,*rout,*cout; 8675d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 8685d0c19d7SBarry Smith PetscInt nz,row; 869dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,*tmps,sum; 870dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 871137fb511SHong Zhang 872137fb511SHong Zhang PetscFunctionBegin; 873137fb511SHong Zhang if (!n) PetscFunctionReturn(0); 874137fb511SHong Zhang 875137fb511SHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 876137fb511SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 877137fb511SHong Zhang tmp = a->solve_work; 878137fb511SHong Zhang 879137fb511SHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 880137fb511SHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 881137fb511SHong Zhang 882137fb511SHong Zhang /* forward solve the lower triangular */ 883137fb511SHong Zhang tmp[0] = b[*r++]; 884137fb511SHong Zhang tmps = tmp; 885137fb511SHong Zhang for (row=1; row<n; row++) { 886137fb511SHong Zhang i = rout[row]; /* permuted row */ 887137fb511SHong Zhang v = aa + ai[i] ; 888137fb511SHong Zhang vi = aj + ai[i] ; 889137fb511SHong Zhang nz = a->diag[i] - ai[i]; 890137fb511SHong Zhang sum = b[*r++]; 891003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 892137fb511SHong Zhang tmp[row] = sum; 893137fb511SHong Zhang } 894137fb511SHong Zhang 895137fb511SHong Zhang /* backward solve the upper triangular */ 896137fb511SHong Zhang for (row=n-1; row>=0; row--){ 897137fb511SHong Zhang i = rout[row]; /* permuted row */ 898137fb511SHong Zhang v = aa + a->diag[i] + 1; 899137fb511SHong Zhang vi = aj + a->diag[i] + 1; 900137fb511SHong Zhang nz = ai[i+1] - a->diag[i] - 1; 901137fb511SHong Zhang sum = tmp[row]; 902003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 903137fb511SHong Zhang x[*c--] = tmp[row] = sum*aa[a->diag[i]]; 904137fb511SHong Zhang } 905137fb511SHong Zhang 906137fb511SHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 907137fb511SHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 908137fb511SHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 909137fb511SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 910dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 911137fb511SHong Zhang PetscFunctionReturn(0); 912137fb511SHong Zhang } 913137fb511SHong Zhang 914930ae53cSBarry Smith /* ----------------------------------------------------------- */ 9154a2ae208SSatish Balay #undef __FUNCT__ 9164a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering" 917dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering(Mat A,Vec bb,Vec xx) 918930ae53cSBarry Smith { 919930ae53cSBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 9206849ba73SBarry Smith PetscErrorCode ierr; 921d0f46423SBarry Smith PetscInt n = A->rmap->n; 922356650c2SBarry Smith const PetscInt *ai = a->i,*aj = a->j,*adiag = a->diag,*vi; 923356650c2SBarry Smith PetscScalar *x; 924356650c2SBarry Smith const PetscScalar *b; 925dd6ea824SBarry Smith const MatScalar *aa = a->a; 926aa482453SBarry Smith #if !defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ) 927356650c2SBarry Smith PetscInt adiag_i,i,nz,ai_i; 928dd6ea824SBarry Smith const MatScalar *v; 929dd6ea824SBarry Smith PetscScalar sum; 930d85afc42SSatish Balay #endif 931930ae53cSBarry Smith 9323a40ed3dSBarry Smith PetscFunctionBegin; 9333a40ed3dSBarry Smith if (!n) PetscFunctionReturn(0); 934930ae53cSBarry Smith 935356650c2SBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 9361ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 937930ae53cSBarry Smith 938aa482453SBarry Smith #if defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ) 9391c4feecaSSatish Balay fortransolveaij_(&n,x,ai,aj,adiag,aa,b); 9401c4feecaSSatish Balay #else 941930ae53cSBarry Smith /* forward solve the lower triangular */ 942930ae53cSBarry Smith x[0] = b[0]; 943930ae53cSBarry Smith for (i=1; i<n; i++) { 944930ae53cSBarry Smith ai_i = ai[i]; 945930ae53cSBarry Smith v = aa + ai_i; 946930ae53cSBarry Smith vi = aj + ai_i; 947930ae53cSBarry Smith nz = adiag[i] - ai_i; 948930ae53cSBarry Smith sum = b[i]; 949003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 950930ae53cSBarry Smith x[i] = sum; 951930ae53cSBarry Smith } 952930ae53cSBarry Smith 953930ae53cSBarry Smith /* backward solve the upper triangular */ 954930ae53cSBarry Smith for (i=n-1; i>=0; i--){ 955930ae53cSBarry Smith adiag_i = adiag[i]; 956d708749eSBarry Smith v = aa + adiag_i + 1; 957d708749eSBarry Smith vi = aj + adiag_i + 1; 958930ae53cSBarry Smith nz = ai[i+1] - adiag_i - 1; 959930ae53cSBarry Smith sum = x[i]; 960003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 961930ae53cSBarry Smith x[i] = sum*aa[adiag_i]; 962930ae53cSBarry Smith } 9631c4feecaSSatish Balay #endif 964dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 965356650c2SBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 9661ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 9673a40ed3dSBarry Smith PetscFunctionReturn(0); 968930ae53cSBarry Smith } 969930ae53cSBarry Smith 9704a2ae208SSatish Balay #undef __FUNCT__ 9714a2ae208SSatish Balay #define __FUNCT__ "MatSolveAdd_SeqAIJ" 972dfbe8321SBarry Smith PetscErrorCode MatSolveAdd_SeqAIJ(Mat A,Vec bb,Vec yy,Vec xx) 973da3a660dSBarry Smith { 974416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 975416022c9SBarry Smith IS iscol = a->col,isrow = a->row; 9766849ba73SBarry Smith PetscErrorCode ierr; 9775d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 9785d0c19d7SBarry Smith PetscInt nz; 9795d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 980dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,sum; 981dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 982da3a660dSBarry Smith 9833a40ed3dSBarry Smith PetscFunctionBegin; 98478b31e54SBarry Smith if (yy != xx) {ierr = VecCopy(yy,xx);CHKERRQ(ierr);} 985da3a660dSBarry Smith 9861ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 9871ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 988416022c9SBarry Smith tmp = a->solve_work; 989da3a660dSBarry Smith 9903b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 9913b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 992da3a660dSBarry Smith 993da3a660dSBarry Smith /* forward solve the lower triangular */ 994da3a660dSBarry Smith tmp[0] = b[*r++]; 995da3a660dSBarry Smith for (i=1; i<n; i++) { 996010a20caSHong Zhang v = aa + ai[i] ; 997010a20caSHong Zhang vi = aj + ai[i] ; 998416022c9SBarry Smith nz = a->diag[i] - ai[i]; 999da3a660dSBarry Smith sum = b[*r++]; 1000010a20caSHong Zhang while (nz--) sum -= *v++ * tmp[*vi++ ]; 1001da3a660dSBarry Smith tmp[i] = sum; 1002da3a660dSBarry Smith } 1003da3a660dSBarry Smith 1004da3a660dSBarry Smith /* backward solve the upper triangular */ 1005da3a660dSBarry Smith for (i=n-1; i>=0; i--){ 1006010a20caSHong Zhang v = aa + a->diag[i] + 1; 1007010a20caSHong Zhang vi = aj + a->diag[i] + 1; 1008416022c9SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 1009da3a660dSBarry Smith sum = tmp[i]; 1010010a20caSHong Zhang while (nz--) sum -= *v++ * tmp[*vi++ ]; 1011010a20caSHong Zhang tmp[i] = sum*aa[a->diag[i]]; 1012da3a660dSBarry Smith x[*c--] += tmp[i]; 1013da3a660dSBarry Smith } 1014da3a660dSBarry Smith 10153b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 10163b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 10171ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 10181ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1019dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr); 1020898183ecSLois Curfman McInnes 10213a40ed3dSBarry Smith PetscFunctionReturn(0); 1022da3a660dSBarry Smith } 1023da3a660dSBarry Smith /* -------------------------------------------------------------------*/ 10244a2ae208SSatish Balay #undef __FUNCT__ 10254a2ae208SSatish Balay #define __FUNCT__ "MatSolveTranspose_SeqAIJ" 1026dfbe8321SBarry Smith PetscErrorCode MatSolveTranspose_SeqAIJ(Mat A,Vec bb,Vec xx) 1027da3a660dSBarry Smith { 1028416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 10292235e667SBarry Smith IS iscol = a->col,isrow = a->row; 10306849ba73SBarry Smith PetscErrorCode ierr; 10315d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 10325d0c19d7SBarry Smith PetscInt i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 10335d0c19d7SBarry Smith PetscInt nz,*diag = a->diag; 1034dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,s1; 1035dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 1036da3a660dSBarry Smith 10373a40ed3dSBarry Smith PetscFunctionBegin; 10381ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 10391ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1040416022c9SBarry Smith tmp = a->solve_work; 1041da3a660dSBarry Smith 10422235e667SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 10432235e667SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 1044da3a660dSBarry Smith 1045da3a660dSBarry Smith /* copy the b into temp work space according to permutation */ 10462235e667SBarry Smith for (i=0; i<n; i++) tmp[i] = b[c[i]]; 1047da3a660dSBarry Smith 1048da3a660dSBarry Smith /* forward solve the U^T */ 1049da3a660dSBarry Smith for (i=0; i<n; i++) { 1050010a20caSHong Zhang v = aa + diag[i] ; 1051010a20caSHong Zhang vi = aj + diag[i] + 1; 1052f1af5d2fSBarry Smith nz = ai[i+1] - diag[i] - 1; 1053c38d4ed2SBarry Smith s1 = tmp[i]; 1054ef66eb69SBarry Smith s1 *= (*v++); /* multiply by inverse of diagonal entry */ 1055da3a660dSBarry Smith while (nz--) { 1056010a20caSHong Zhang tmp[*vi++ ] -= (*v++)*s1; 1057da3a660dSBarry Smith } 1058c38d4ed2SBarry Smith tmp[i] = s1; 1059da3a660dSBarry Smith } 1060da3a660dSBarry Smith 1061da3a660dSBarry Smith /* backward solve the L^T */ 1062da3a660dSBarry Smith for (i=n-1; i>=0; i--){ 1063010a20caSHong Zhang v = aa + diag[i] - 1 ; 1064010a20caSHong Zhang vi = aj + diag[i] - 1 ; 1065f1af5d2fSBarry Smith nz = diag[i] - ai[i]; 1066f1af5d2fSBarry Smith s1 = tmp[i]; 1067da3a660dSBarry Smith while (nz--) { 1068010a20caSHong Zhang tmp[*vi-- ] -= (*v--)*s1; 1069da3a660dSBarry Smith } 1070da3a660dSBarry Smith } 1071da3a660dSBarry Smith 1072da3a660dSBarry Smith /* copy tmp into x according to permutation */ 1073da3a660dSBarry Smith for (i=0; i<n; i++) x[r[i]] = tmp[i]; 1074da3a660dSBarry Smith 10752235e667SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 10762235e667SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 10771ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 10781ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1079da3a660dSBarry Smith 1080dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr); 10813a40ed3dSBarry Smith PetscFunctionReturn(0); 1082da3a660dSBarry Smith } 1083da3a660dSBarry Smith 10844a2ae208SSatish Balay #undef __FUNCT__ 10854a2ae208SSatish Balay #define __FUNCT__ "MatSolveTransposeAdd_SeqAIJ" 1086dfbe8321SBarry Smith PetscErrorCode MatSolveTransposeAdd_SeqAIJ(Mat A,Vec bb,Vec zz,Vec xx) 1087da3a660dSBarry Smith { 1088416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 10892235e667SBarry Smith IS iscol = a->col,isrow = a->row; 10906849ba73SBarry Smith PetscErrorCode ierr; 10915d0c19d7SBarry Smith const PetscInt *r,*c,*rout,*cout; 10925d0c19d7SBarry Smith PetscInt i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 10935d0c19d7SBarry Smith PetscInt nz,*diag = a->diag; 1094dd6ea824SBarry Smith PetscScalar *x,*b,*tmp; 1095dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 10966abc6512SBarry Smith 10973a40ed3dSBarry Smith PetscFunctionBegin; 109823bc6035SMatthew Knepley if (zz != xx) {ierr = VecCopy(zz,xx);CHKERRQ(ierr);} 10996abc6512SBarry Smith 11001ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 11011ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1102416022c9SBarry Smith tmp = a->solve_work; 11036abc6512SBarry Smith 11042235e667SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 11052235e667SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 11066abc6512SBarry Smith 11076abc6512SBarry Smith /* copy the b into temp work space according to permutation */ 11082235e667SBarry Smith for (i=0; i<n; i++) tmp[i] = b[c[i]]; 11096abc6512SBarry Smith 11106abc6512SBarry Smith /* forward solve the U^T */ 11116abc6512SBarry Smith for (i=0; i<n; i++) { 1112010a20caSHong Zhang v = aa + diag[i] ; 1113010a20caSHong Zhang vi = aj + diag[i] + 1; 1114f1af5d2fSBarry Smith nz = ai[i+1] - diag[i] - 1; 11156abc6512SBarry Smith tmp[i] *= *v++; 11166abc6512SBarry Smith while (nz--) { 1117010a20caSHong Zhang tmp[*vi++ ] -= (*v++)*tmp[i]; 11186abc6512SBarry Smith } 11196abc6512SBarry Smith } 11206abc6512SBarry Smith 11216abc6512SBarry Smith /* backward solve the L^T */ 11226abc6512SBarry Smith for (i=n-1; i>=0; i--){ 1123010a20caSHong Zhang v = aa + diag[i] - 1 ; 1124010a20caSHong Zhang vi = aj + diag[i] - 1 ; 1125f1af5d2fSBarry Smith nz = diag[i] - ai[i]; 11266abc6512SBarry Smith while (nz--) { 1127010a20caSHong Zhang tmp[*vi-- ] -= (*v--)*tmp[i]; 11286abc6512SBarry Smith } 11296abc6512SBarry Smith } 11306abc6512SBarry Smith 11316abc6512SBarry Smith /* copy tmp into x according to permutation */ 11326abc6512SBarry Smith for (i=0; i<n; i++) x[r[i]] += tmp[i]; 11336abc6512SBarry Smith 11342235e667SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 11352235e667SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 11361ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 11371ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 11386abc6512SBarry Smith 1139dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr); 11403a40ed3dSBarry Smith PetscFunctionReturn(0); 1141da3a660dSBarry Smith } 11429e25ed09SBarry Smith /* ----------------------------------------------------------------*/ 11433c5fc038SBarry Smith EXTERN PetscErrorCode Mat_CheckInode(Mat,PetscTruth); 1144719d5645SBarry Smith EXTERN PetscErrorCode MatDuplicateNoCreate_SeqAIJ(Mat,Mat,MatDuplicateOption); 114508480c60SBarry Smith 1146*8fc3a347SHong Zhang /* 1147*8fc3a347SHong Zhang ilu(0) with natural ordering under new data structure. 1148*8fc3a347SHong Zhang Factored arrays bj and ba are stored as 1149*8fc3a347SHong Zhang L(0,:), L(1,:), ...,L(n-1,:), U(n-1,:),...,U(i,:),U(i-1,:),...,U(0,:) 1150*8fc3a347SHong Zhang 1151*8fc3a347SHong Zhang bi=fact->i is an array of size 2n+2, in which 1152*8fc3a347SHong Zhang bi+ 1153*8fc3a347SHong Zhang bi[i] -> 1st entry of L(i,:),i=0,...,i-1 1154*8fc3a347SHong Zhang bi[n] -> end of L(n-1,:)+1 1155*8fc3a347SHong Zhang bi[n+1] -> 1st entry of U(n-1,:) 1156*8fc3a347SHong Zhang bi[2n-i] -> 1st entry of U(i,:) 1157*8fc3a347SHong Zhang bi[2n-i+1] -> end of U(i,:)+1, the 1st entry of U(i-1,:) 1158*8fc3a347SHong Zhang bi[2n] -> end of U(0,:)+1 1159*8fc3a347SHong Zhang 1160*8fc3a347SHong Zhang U(i,:) contains diag[i] as its last entry, i.e., 1161*8fc3a347SHong Zhang U(i,:) = (u[i,i+1],...,u[i,n-1],diag[i]) 1162*8fc3a347SHong Zhang */ 1163c9c72f8fSHong Zhang #undef __FUNCT__ 1164*8fc3a347SHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct" 1165*8fc3a347SHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 1166c9c72f8fSHong Zhang { 1167c9c72f8fSHong Zhang 1168c9c72f8fSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 1169c9c72f8fSHong Zhang PetscErrorCode ierr; 1170c9c72f8fSHong Zhang PetscInt n=A->rmap->n,*ai=a->i,*aj,*adiag=a->diag; 1171*8fc3a347SHong Zhang PetscInt i,j,nz,*bi,*bj,*bdiag; 1172c9c72f8fSHong Zhang 1173c9c72f8fSHong Zhang PetscFunctionBegin; 1174*8fc3a347SHong Zhang /* printf("MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct ...\n"); */ 1175c9c72f8fSHong Zhang ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES);CHKERRQ(ierr); 1176c9c72f8fSHong Zhang b = (Mat_SeqAIJ*)(fact)->data; 1177c9c72f8fSHong Zhang 1178c9c72f8fSHong Zhang /* replace matrix arrays with single allocations, then reset values */ 1179c9c72f8fSHong Zhang ierr = PetscFree3(b->a,b->j,b->i);CHKERRQ(ierr); 1180c9c72f8fSHong Zhang ierr = PetscFree(b->diag);CHKERRQ(ierr); 1181c9c72f8fSHong Zhang 1182c9c72f8fSHong Zhang ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&b->i);CHKERRQ(ierr); 1183*8fc3a347SHong Zhang ierr = PetscMalloc((ai[n]+1)*sizeof(PetscInt),&b->j);CHKERRQ(ierr); 1184*8fc3a347SHong Zhang ierr = PetscMalloc((ai[n]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 1185c9c72f8fSHong Zhang b->singlemalloc = PETSC_FALSE; 1186*8fc3a347SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&b->diag);CHKERRQ(ierr); 1187c9c72f8fSHong Zhang bdiag = b->diag; 1188c9c72f8fSHong Zhang 1189c9c72f8fSHong Zhang if (n > 0) { 1190c9c72f8fSHong Zhang ierr = PetscMemzero(b->a,(ai[n])*sizeof(PetscScalar));CHKERRQ(ierr); 1191c9c72f8fSHong Zhang } 1192c9c72f8fSHong Zhang 1193c9c72f8fSHong Zhang /* set bi and bj with new data structure */ 1194c9c72f8fSHong Zhang bi = b->i; 1195c9c72f8fSHong Zhang bj = b->j; 1196c9c72f8fSHong Zhang 1197c9c72f8fSHong Zhang /* L part */ 1198c9c72f8fSHong Zhang bi[0] = 0; 1199c9c72f8fSHong Zhang for (i=0; i<n; i++){ 1200c9c72f8fSHong Zhang nz = adiag[i] - ai[i]; 1201c9c72f8fSHong Zhang bi[i+1] = bi[i] + nz; 1202c9c72f8fSHong Zhang aj = a->j + ai[i]; 1203c9c72f8fSHong Zhang for (j=0; j<nz; j++){ 1204c9c72f8fSHong Zhang *bj = aj[j]; bj++; 1205c9c72f8fSHong Zhang } 1206c9c72f8fSHong Zhang } 1207c9c72f8fSHong Zhang 1208c9c72f8fSHong Zhang /* U part */ 1209*8fc3a347SHong Zhang bi[n+1] = bi[n]; 1210c9c72f8fSHong Zhang for (i=n-1; i>=0; i--){ 1211c9c72f8fSHong Zhang nz = ai[i+1] - adiag[i] - 1; 1212*8fc3a347SHong Zhang bi[2*n-i+1] = bi[2*n-i] + nz + 1; 1213c9c72f8fSHong Zhang aj = a->j + adiag[i] + 1; 1214c9c72f8fSHong Zhang for (j=0; j<nz; j++){ 1215c9c72f8fSHong Zhang *bj = aj[j]; bj++; 1216c9c72f8fSHong Zhang } 1217c9c72f8fSHong Zhang /* diag[i] */ 1218c9c72f8fSHong Zhang *bj = i; bj++; 1219*8fc3a347SHong Zhang bdiag[i] = bi[2*n-i+1]-1; 1220c9c72f8fSHong Zhang } 1221c9c72f8fSHong Zhang PetscFunctionReturn(0); 1222c9c72f8fSHong Zhang } 1223c9c72f8fSHong Zhang 12244a2ae208SSatish Balay #undef __FUNCT__ 12254a2ae208SSatish Balay #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ" 12260481f469SBarry Smith PetscErrorCode MatILUFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 12279e25ed09SBarry Smith { 1228416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 12299e25ed09SBarry Smith IS isicol; 12306849ba73SBarry Smith PetscErrorCode ierr; 12315d0c19d7SBarry Smith const PetscInt *r,*ic; 12325d0c19d7SBarry Smith PetscInt n=A->rmap->n,*ai=a->i,*aj=a->j,d; 12335a8e39fbSHong Zhang PetscInt *bi,*cols,nnz,*cols_lvl; 1234052f0c41SBarry Smith PetscInt *bdiag,prow,fm,nzbd,reallocs=0,dcount=0; 12355a8e39fbSHong Zhang PetscInt i,levels,diagonal_fill; 123677c4ece6SBarry Smith PetscTruth col_identity,row_identity; 1237329f5518SBarry Smith PetscReal f; 12385a8e39fbSHong Zhang PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL; 12395a8e39fbSHong Zhang PetscBT lnkbt; 12405a8e39fbSHong Zhang PetscInt nzi,*bj,**bj_ptr,**bjlvl_ptr; 1241a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 1242a1a86e44SBarry Smith PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 124309f38230SBarry Smith PetscTruth missing; 12449e25ed09SBarry Smith 12453a40ed3dSBarry Smith PetscFunctionBegin; 1246d0f46423SBarry Smith if (A->rmap->n != A->cmap->n) SETERRQ2(PETSC_ERR_ARG_WRONG,"Must be square matrix, rows %D columns %D",A->rmap->n,A->cmap->n); 12476cf997b0SBarry Smith f = info->fill; 124838baddfdSBarry Smith levels = (PetscInt)info->levels; 124938baddfdSBarry Smith diagonal_fill = (PetscInt)info->diagonal_fill; 12504c49b128SBarry Smith ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 125182bf6240SBarry Smith 125208480c60SBarry Smith /* special case that simply copies fill pattern */ 1253be0abb6dSBarry Smith ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 1254be0abb6dSBarry Smith ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr); 125586bacbd2SBarry Smith if (!levels && row_identity && col_identity) { 1256c9c72f8fSHong Zhang 1257c9c72f8fSHong Zhang PetscTruth newdatastruct=PETSC_FALSE; 1258c9c72f8fSHong Zhang ierr = PetscOptionsGetTruth(PETSC_NULL,"-ilu_new",&newdatastruct,PETSC_NULL);CHKERRQ(ierr); 1259c9c72f8fSHong Zhang if (newdatastruct){ 1260*8fc3a347SHong Zhang ierr = MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct(fact,A,isrow,iscol,info);CHKERRQ(ierr); 1261c9c72f8fSHong Zhang (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ_newdatastruct; 1262c9c72f8fSHong Zhang } else { 1263719d5645SBarry Smith ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES);CHKERRQ(ierr); 1264c9c72f8fSHong Zhang (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 1265c9c72f8fSHong Zhang } 1266c9c72f8fSHong Zhang 1267719d5645SBarry Smith fact->factor = MAT_FACTOR_ILU; 1268719d5645SBarry Smith (fact)->info.factor_mallocs = 0; 1269719d5645SBarry Smith (fact)->info.fill_ratio_given = info->fill; 1270719d5645SBarry Smith (fact)->info.fill_ratio_needed = 1.0; 1271719d5645SBarry Smith b = (Mat_SeqAIJ*)(fact)->data; 12728ef3462fSBarry Smith ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 127309f38230SBarry Smith if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 127408480c60SBarry Smith b->row = isrow; 127508480c60SBarry Smith b->col = iscol; 127682bf6240SBarry Smith b->icol = isicol; 1277719d5645SBarry Smith ierr = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1278c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1279c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 1280719d5645SBarry Smith ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); 12813a40ed3dSBarry Smith PetscFunctionReturn(0); 128208480c60SBarry Smith } 128308480c60SBarry Smith 1284898183ecSLois Curfman McInnes ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 1285898183ecSLois Curfman McInnes ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 12869e25ed09SBarry Smith 12879e25ed09SBarry Smith /* get new row pointers */ 12885a8e39fbSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 12895a8e39fbSHong Zhang bi[0] = 0; 12905a8e39fbSHong Zhang /* bdiag is location of diagonal in factor */ 12915a8e39fbSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 12925a8e39fbSHong Zhang bdiag[0] = 0; 12936cf997b0SBarry Smith 12945a8e39fbSHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr); 12955a8e39fbSHong Zhang bjlvl_ptr = (PetscInt**)(bj_ptr + n); 12965a8e39fbSHong Zhang 12975a8e39fbSHong Zhang /* create a linked list for storing column indices of the active row */ 12985a8e39fbSHong Zhang nlnk = n + 1; 12995a8e39fbSHong Zhang ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 13005a8e39fbSHong Zhang 13015a8e39fbSHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 1302a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 13035a8e39fbSHong Zhang current_space = free_space; 1304a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr); 13055a8e39fbSHong Zhang current_space_lvl = free_space_lvl; 13065a8e39fbSHong Zhang 13075a8e39fbSHong Zhang for (i=0; i<n; i++) { 13085a8e39fbSHong Zhang nzi = 0; 13096cf997b0SBarry Smith /* copy current row into linked list */ 13105a8e39fbSHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 13113b4a8b6dSBarry Smith if (!nnz) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i); 13125a8e39fbSHong Zhang cols = aj + ai[r[i]]; 13135a8e39fbSHong Zhang lnk[i] = -1; /* marker to indicate if diagonal exists */ 13145a8e39fbSHong Zhang ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 13155a8e39fbSHong Zhang nzi += nlnk; 13166cf997b0SBarry Smith 13176cf997b0SBarry Smith /* make sure diagonal entry is included */ 13185a8e39fbSHong Zhang if (diagonal_fill && lnk[i] == -1) { 13196cf997b0SBarry Smith fm = n; 13205a8e39fbSHong Zhang while (lnk[fm] < i) fm = lnk[fm]; 13215a8e39fbSHong Zhang lnk[i] = lnk[fm]; /* insert diagonal into linked list */ 13225a8e39fbSHong Zhang lnk[fm] = i; 13235a8e39fbSHong Zhang lnk_lvl[i] = 0; 13245a8e39fbSHong Zhang nzi++; dcount++; 13256cf997b0SBarry Smith } 13266cf997b0SBarry Smith 13275a8e39fbSHong Zhang /* add pivot rows into the active row */ 13285a8e39fbSHong Zhang nzbd = 0; 13295a8e39fbSHong Zhang prow = lnk[n]; 13305a8e39fbSHong Zhang while (prow < i) { 13315a8e39fbSHong Zhang nnz = bdiag[prow]; 13325a8e39fbSHong Zhang cols = bj_ptr[prow] + nnz + 1; 13335a8e39fbSHong Zhang cols_lvl = bjlvl_ptr[prow] + nnz + 1; 13345a8e39fbSHong Zhang nnz = bi[prow+1] - bi[prow] - nnz - 1; 13355a8e39fbSHong Zhang ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr); 13365a8e39fbSHong Zhang nzi += nlnk; 13375a8e39fbSHong Zhang prow = lnk[prow]; 13385a8e39fbSHong Zhang nzbd++; 133956beaf04SBarry Smith } 13405a8e39fbSHong Zhang bdiag[i] = nzbd; 13415a8e39fbSHong Zhang bi[i+1] = bi[i] + nzi; 1342ecf371e4SBarry Smith 13435a8e39fbSHong Zhang /* if free space is not available, make more free space */ 13445a8e39fbSHong Zhang if (current_space->local_remaining<nzi) { 13455a8e39fbSHong Zhang nnz = nzi*(n - i); /* estimated and max additional space needed */ 1346a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 1347a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space_lvl);CHKERRQ(ierr); 13485a8e39fbSHong Zhang reallocs++; 13495a8e39fbSHong Zhang } 1350ecf371e4SBarry Smith 13515a8e39fbSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 13525a8e39fbSHong Zhang ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 13535a8e39fbSHong Zhang bj_ptr[i] = current_space->array; 13545a8e39fbSHong Zhang bjlvl_ptr[i] = current_space_lvl->array; 13555a8e39fbSHong Zhang 13565a8e39fbSHong Zhang /* make sure the active row i has diagonal entry */ 13575a8e39fbSHong Zhang if (*(bj_ptr[i]+bdiag[i]) != i) { 135877431f27SBarry Smith SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\ 1359d7ee0231SBarry Smith try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i); 13606cf997b0SBarry Smith } 13615a8e39fbSHong Zhang 13625a8e39fbSHong Zhang current_space->array += nzi; 13635a8e39fbSHong Zhang current_space->local_used += nzi; 13645a8e39fbSHong Zhang current_space->local_remaining -= nzi; 13655a8e39fbSHong Zhang current_space_lvl->array += nzi; 13665a8e39fbSHong Zhang current_space_lvl->local_used += nzi; 13675a8e39fbSHong Zhang current_space_lvl->local_remaining -= nzi; 13689e25ed09SBarry Smith } 13695a8e39fbSHong Zhang 1370898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 1371898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 13725a8e39fbSHong Zhang 13735a8e39fbSHong Zhang /* destroy list of free space and other temporary arrays */ 13745a8e39fbSHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 1375a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); 13765a8e39fbSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 1377a1a86e44SBarry Smith ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 13785a8e39fbSHong Zhang ierr = PetscFree(bj_ptr);CHKERRQ(ierr); 13799e25ed09SBarry Smith 13806cf91177SBarry Smith #if defined(PETSC_USE_INFO) 1381f64065bbSBarry Smith { 13825a8e39fbSHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 1383ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 1384ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 1385ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr); 1386ae15b995SBarry Smith ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 1387335d9088SBarry Smith if (diagonal_fill) { 1388ae15b995SBarry Smith ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr); 1389335d9088SBarry Smith } 1390f64065bbSBarry Smith } 139163ba0a88SBarry Smith #endif 1392bbb6d6a8SBarry Smith 13939e25ed09SBarry Smith /* put together the new matrix */ 139407dbf95fSBarry Smith ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 1395719d5645SBarry Smith ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr); 1396719d5645SBarry Smith b = (Mat_SeqAIJ*)(fact)->data; 1397e6b907acSBarry Smith b->free_a = PETSC_TRUE; 1398e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 13997c922b88SBarry Smith b->singlemalloc = PETSC_FALSE; 1400052f0c41SBarry Smith ierr = PetscMalloc( (bi[n] )*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 14015a8e39fbSHong Zhang b->j = bj; 14025a8e39fbSHong Zhang b->i = bi; 14035a8e39fbSHong Zhang for (i=0; i<n; i++) bdiag[i] += bi[i]; 14045a8e39fbSHong Zhang b->diag = bdiag; 1405416022c9SBarry Smith b->ilen = 0; 1406416022c9SBarry Smith b->imax = 0; 1407416022c9SBarry Smith b->row = isrow; 1408416022c9SBarry Smith b->col = iscol; 1409c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1410c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 141182bf6240SBarry Smith b->icol = isicol; 141287828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1413416022c9SBarry Smith /* In b structure: Free imax, ilen, old a, old j. 14145a8e39fbSHong Zhang Allocate bdiag, solve_work, new a, new j */ 1415719d5645SBarry Smith ierr = PetscLogObjectMemory(fact,(bi[n]-n) * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 14165a8e39fbSHong Zhang b->maxnz = b->nz = bi[n] ; 1417719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 1418719d5645SBarry Smith (fact)->info.fill_ratio_given = f; 1419719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]); 1420719d5645SBarry Smith (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 1421719d5645SBarry Smith ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); 14223a40ed3dSBarry Smith PetscFunctionReturn(0); 14239e25ed09SBarry Smith } 1424d5d45c9bSBarry Smith 14257c4f633dSBarry Smith #include "../src/mat/impls/sbaij/seq/sbaij.h" 1426a6175056SHong Zhang #undef __FUNCT__ 1427a6175056SHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ" 14280481f469SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info) 1429a6175056SHong Zhang { 1430719d5645SBarry Smith Mat C = B; 14310968510aSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 14322ed133dbSHong Zhang Mat_SeqSBAIJ *b=(Mat_SeqSBAIJ*)C->data; 14339bfd6278SHong Zhang IS ip=b->row,iip = b->icol; 14342ed133dbSHong Zhang PetscErrorCode ierr; 14355d0c19d7SBarry Smith const PetscInt *rip,*riip; 14365d0c19d7SBarry Smith PetscInt i,j,mbs=A->rmap->n,*bi=b->i,*bj=b->j,*bcol; 14372ed133dbSHong Zhang PetscInt *ai=a->i,*aj=a->j; 14382ed133dbSHong Zhang PetscInt k,jmin,jmax,*jl,*il,col,nexti,ili,nz; 1439622e2028SHong Zhang MatScalar *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi; 1440540703acSHong Zhang PetscReal zeropivot,rs,shiftnz; 1441fbf22428SSatish Balay PetscReal shiftpd; 1442540703acSHong Zhang ChShift_Ctx sctx; 1443540703acSHong Zhang PetscInt newshift; 1444db4efbfdSBarry Smith PetscTruth perm_identity; 1445d5d45c9bSBarry Smith 1446a6175056SHong Zhang PetscFunctionBegin; 1447117f1891Stmunson 1448540703acSHong Zhang shiftnz = info->shiftnz; 1449540703acSHong Zhang shiftpd = info->shiftpd; 1450ee45ca4aSHong Zhang zeropivot = info->zeropivot; 1451ee45ca4aSHong Zhang 14522ed133dbSHong Zhang ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 14539bfd6278SHong Zhang ierr = ISGetIndices(iip,&riip);CHKERRQ(ierr); 14542ed133dbSHong Zhang 14552ed133dbSHong Zhang /* initialization */ 14562ed133dbSHong Zhang nz = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar); 14572ed133dbSHong Zhang ierr = PetscMalloc(nz,&il);CHKERRQ(ierr); 14582ed133dbSHong Zhang jl = il + mbs; 14592ed133dbSHong Zhang rtmp = (MatScalar*)(jl + mbs); 14602ed133dbSHong Zhang 1461540703acSHong Zhang sctx.shift_amount = 0; 1462540703acSHong Zhang sctx.nshift = 0; 14632ed133dbSHong Zhang do { 1464540703acSHong Zhang sctx.chshift = PETSC_FALSE; 14652ed133dbSHong Zhang for (i=0; i<mbs; i++) { 14662ed133dbSHong Zhang rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 1467a6175056SHong Zhang } 14682ed133dbSHong Zhang 14692ed133dbSHong Zhang for (k = 0; k<mbs; k++){ 1470c05c3958SHong Zhang bval = ba + bi[k]; 14712ed133dbSHong Zhang /* initialize k-th row by the perm[k]-th row of A */ 14722ed133dbSHong Zhang jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 14732ed133dbSHong Zhang for (j = jmin; j < jmax; j++){ 14749bfd6278SHong Zhang col = riip[aj[j]]; 14752ed133dbSHong Zhang if (col >= k){ /* only take upper triangular entry */ 14762ed133dbSHong Zhang rtmp[col] = aa[j]; 1477c05c3958SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 14782ed133dbSHong Zhang } 14792ed133dbSHong Zhang } 148039e3d630SHong Zhang /* shift the diagonal of the matrix */ 1481540703acSHong Zhang if (sctx.nshift) rtmp[k] += sctx.shift_amount; 14822ed133dbSHong Zhang 14832ed133dbSHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 14842ed133dbSHong Zhang dk = rtmp[k]; 14852ed133dbSHong Zhang i = jl[k]; /* first row to be added to k_th row */ 14862ed133dbSHong Zhang 14872ed133dbSHong Zhang while (i < k){ 14882ed133dbSHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 14892ed133dbSHong Zhang 14902ed133dbSHong Zhang /* compute multiplier, update diag(k) and U(i,k) */ 14912ed133dbSHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 14922ed133dbSHong Zhang uikdi = - ba[ili]*ba[bi[i]]; /* diagonal(k) */ 14932ed133dbSHong Zhang dk += uikdi*ba[ili]; 14942ed133dbSHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 14952ed133dbSHong Zhang 14962ed133dbSHong Zhang /* add multiple of row i to k-th row */ 14972ed133dbSHong Zhang jmin = ili + 1; jmax = bi[i+1]; 14982ed133dbSHong Zhang if (jmin < jmax){ 14992ed133dbSHong Zhang for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 15002ed133dbSHong Zhang /* update il and jl for row i */ 15012ed133dbSHong Zhang il[i] = jmin; 15022ed133dbSHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 15032ed133dbSHong Zhang } 15042ed133dbSHong Zhang i = nexti; 15052ed133dbSHong Zhang } 15062ed133dbSHong Zhang 15070697b6caSHong Zhang /* shift the diagonals when zero pivot is detected */ 15080697b6caSHong Zhang /* compute rs=sum of abs(off-diagonal) */ 15090697b6caSHong Zhang rs = 0.0; 15103c9e8598SHong Zhang jmin = bi[k]+1; 15113c9e8598SHong Zhang nz = bi[k+1] - jmin; 15123c9e8598SHong Zhang bcol = bj + jmin; 15133c9e8598SHong Zhang while (nz--){ 151489f845c8SHong Zhang rs += PetscAbsScalar(rtmp[*bcol]); 151589f845c8SHong Zhang bcol++; 15163c9e8598SHong Zhang } 1517540703acSHong Zhang 1518540703acSHong Zhang sctx.rs = rs; 1519540703acSHong Zhang sctx.pv = dk; 15205b5bc046SBarry Smith ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr); 1521117f1891Stmunson 1522117f1891Stmunson if (newshift == 1) { 1523117f1891Stmunson if (!sctx.shift_amount) { 1524117f1891Stmunson sctx.shift_amount = 1e-5; 1525117f1891Stmunson } 1526117f1891Stmunson break; 1527117f1891Stmunson } 15283c9e8598SHong Zhang 15293c9e8598SHong Zhang /* copy data into U(k,:) */ 153039e3d630SHong Zhang ba[bi[k]] = 1.0/dk; /* U(k,k) */ 153139e3d630SHong Zhang jmin = bi[k]+1; jmax = bi[k+1]; 153239e3d630SHong Zhang if (jmin < jmax) { 153339e3d630SHong Zhang for (j=jmin; j<jmax; j++){ 153439e3d630SHong Zhang col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0; 15353c9e8598SHong Zhang } 153639e3d630SHong Zhang /* add the k-th row into il and jl */ 15373c9e8598SHong Zhang il[k] = jmin; 15383c9e8598SHong Zhang i = bj[jmin]; jl[k] = jl[i]; jl[i] = k; 15393c9e8598SHong Zhang } 15403c9e8598SHong Zhang } 1541540703acSHong Zhang } while (sctx.chshift); 15423c9e8598SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 15433c9e8598SHong Zhang 154439e3d630SHong Zhang ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 15459bfd6278SHong Zhang ierr = ISRestoreIndices(iip,&riip);CHKERRQ(ierr); 1546db4efbfdSBarry Smith 1547db4efbfdSBarry Smith ierr = ISIdentity(ip,&perm_identity);CHKERRQ(ierr); 1548db4efbfdSBarry Smith if (perm_identity){ 1549719d5645SBarry Smith (B)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 1550719d5645SBarry Smith (B)->ops->solvetranspose = MatSolve_SeqSBAIJ_1_NaturalOrdering; 1551719d5645SBarry Smith (B)->ops->forwardsolve = MatForwardSolve_SeqSBAIJ_1_NaturalOrdering; 1552719d5645SBarry Smith (B)->ops->backwardsolve = MatBackwardSolve_SeqSBAIJ_1_NaturalOrdering; 1553db4efbfdSBarry Smith } else { 1554719d5645SBarry Smith (B)->ops->solve = MatSolve_SeqSBAIJ_1; 1555719d5645SBarry Smith (B)->ops->solvetranspose = MatSolve_SeqSBAIJ_1; 1556719d5645SBarry Smith (B)->ops->forwardsolve = MatForwardSolve_SeqSBAIJ_1; 1557719d5645SBarry Smith (B)->ops->backwardsolve = MatBackwardSolve_SeqSBAIJ_1; 1558db4efbfdSBarry Smith } 1559db4efbfdSBarry Smith 15603c9e8598SHong Zhang C->assembled = PETSC_TRUE; 15613c9e8598SHong Zhang C->preallocated = PETSC_TRUE; 1562d0f46423SBarry Smith ierr = PetscLogFlops(C->rmap->n);CHKERRQ(ierr); 1563540703acSHong Zhang if (sctx.nshift){ 1564540703acSHong Zhang if (shiftnz) { 15651e2582c4SBarry Smith ierr = PetscInfo2(A,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 1566540703acSHong Zhang } else if (shiftpd) { 15671e2582c4SBarry Smith ierr = PetscInfo2(A,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 15680697b6caSHong Zhang } 15693c9e8598SHong Zhang } 15703c9e8598SHong Zhang PetscFunctionReturn(0); 15713c9e8598SHong Zhang } 1572a6175056SHong Zhang 1573a6175056SHong Zhang #undef __FUNCT__ 1574a6175056SHong Zhang #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ" 15750481f469SBarry Smith PetscErrorCode MatICCFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 1576a6175056SHong Zhang { 15770968510aSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 1578ed59401aSHong Zhang Mat_SeqSBAIJ *b; 1579dfbe8321SBarry Smith PetscErrorCode ierr; 158058ebbce7SBarry Smith PetscTruth perm_identity,missing; 15815d0c19d7SBarry Smith PetscInt reallocs=0,i,*ai=a->i,*aj=a->j,am=A->rmap->n,*ui; 15825d0c19d7SBarry Smith const PetscInt *rip,*riip; 1583ed59401aSHong Zhang PetscInt jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow; 158458ebbce7SBarry Smith PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL,d; 15855a8e39fbSHong Zhang PetscInt ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr; 1586ed59401aSHong Zhang PetscReal fill=info->fill,levels=info->levels; 1587a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 1588a1a86e44SBarry Smith PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 15897a48dd6fSHong Zhang PetscBT lnkbt; 1590b635d36bSHong Zhang IS iperm; 1591a6175056SHong Zhang 1592a6175056SHong Zhang PetscFunctionBegin; 1593d0f46423SBarry Smith if (A->rmap->n != A->cmap->n) SETERRQ2(PETSC_ERR_ARG_WRONG,"Must be square matrix, rows %D columns %D",A->rmap->n,A->cmap->n); 159458ebbce7SBarry Smith ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 159558ebbce7SBarry Smith if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 1596653a6975SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 1597b635d36bSHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 15987a48dd6fSHong Zhang 159939e3d630SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 160039e3d630SHong Zhang ui[0] = 0; 160139e3d630SHong Zhang 1602b635d36bSHong Zhang /* ICC(0) without matrix ordering: simply copies fill pattern */ 1603622e2028SHong Zhang if (!levels && perm_identity) { 160458ebbce7SBarry Smith 1605ed59401aSHong Zhang for (i=0; i<am; i++) { 160639e3d630SHong Zhang ui[i+1] = ui[i] + ai[i+1] - a->diag[i]; 1607ed59401aSHong Zhang } 160839e3d630SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 160939e3d630SHong Zhang cols = uj; 1610ed59401aSHong Zhang for (i=0; i<am; i++) { 1611ed59401aSHong Zhang aj = a->j + a->diag[i]; 161239e3d630SHong Zhang ncols = ui[i+1] - ui[i]; 161339e3d630SHong Zhang for (j=0; j<ncols; j++) *cols++ = *aj++; 1614ed59401aSHong Zhang } 161539e3d630SHong Zhang } else { /* case: levels>0 || (levels=0 && !perm_identity) */ 1616b635d36bSHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 1617b635d36bSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 1618b635d36bSHong Zhang 16197a48dd6fSHong Zhang /* initialization */ 16205a8e39fbSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr); 16217a48dd6fSHong Zhang 16227a48dd6fSHong Zhang /* jl: linked list for storing indices of the pivot rows 16237a48dd6fSHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 16241393bc97SHong Zhang ierr = PetscMalloc((2*am+1)*sizeof(PetscInt)+2*am*sizeof(PetscInt**),&jl);CHKERRQ(ierr); 16257a48dd6fSHong Zhang il = jl + am; 16267a48dd6fSHong Zhang uj_ptr = (PetscInt**)(il + am); 16277a48dd6fSHong Zhang uj_lvl_ptr = (PetscInt**)(uj_ptr + am); 16287a48dd6fSHong Zhang for (i=0; i<am; i++){ 16297a48dd6fSHong Zhang jl[i] = am; il[i] = 0; 16307a48dd6fSHong Zhang } 16317a48dd6fSHong Zhang 16327a48dd6fSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 16337a48dd6fSHong Zhang nlnk = am + 1; 16342ed133dbSHong Zhang ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 16357a48dd6fSHong Zhang 16367a48dd6fSHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 1637a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 16387a48dd6fSHong Zhang current_space = free_space; 1639a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr); 16407a48dd6fSHong Zhang current_space_lvl = free_space_lvl; 16417a48dd6fSHong Zhang 16427a48dd6fSHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 16437a48dd6fSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 16447a48dd6fSHong Zhang nzk = 0; 1645622e2028SHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 16463b4a8b6dSBarry Smith if (!ncols) SETERRQ2(PETSC_ERR_MAT_CH_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",rip[k],k); 1647622e2028SHong Zhang ncols_upper = 0; 1648622e2028SHong Zhang for (j=0; j<ncols; j++){ 1649b635d36bSHong Zhang i = *(aj + ai[rip[k]] + j); /* unpermuted column index */ 1650b635d36bSHong Zhang if (riip[i] >= k){ /* only take upper triangular entry */ 16515a8e39fbSHong Zhang ajtmp[ncols_upper] = i; 1652622e2028SHong Zhang ncols_upper++; 1653622e2028SHong Zhang } 1654622e2028SHong Zhang } 1655b635d36bSHong Zhang ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,riip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 16567a48dd6fSHong Zhang nzk += nlnk; 16577a48dd6fSHong Zhang 16587a48dd6fSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 16597a48dd6fSHong Zhang prow = jl[k]; /* 1st pivot row */ 16607a48dd6fSHong Zhang 16617a48dd6fSHong Zhang while (prow < k){ 16627a48dd6fSHong Zhang nextprow = jl[prow]; 16637a48dd6fSHong Zhang 16647a48dd6fSHong Zhang /* merge prow into k-th row */ 16657a48dd6fSHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 16667a48dd6fSHong Zhang jmax = ui[prow+1]; 16677a48dd6fSHong Zhang ncols = jmax-jmin; 1668ed59401aSHong Zhang i = jmin - ui[prow]; 1669ed59401aSHong Zhang cols = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 16705a8e39fbSHong Zhang uj = uj_lvl_ptr[prow] + i; /* levels of cols */ 16715a8e39fbSHong Zhang j = *(uj - 1); 16725a8e39fbSHong Zhang ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr); 16737a48dd6fSHong Zhang nzk += nlnk; 16747a48dd6fSHong Zhang 16757a48dd6fSHong Zhang /* update il and jl for prow */ 16767a48dd6fSHong Zhang if (jmin < jmax){ 16777a48dd6fSHong Zhang il[prow] = jmin; 16787a48dd6fSHong Zhang j = *cols; jl[prow] = jl[j]; jl[j] = prow; 16797a48dd6fSHong Zhang } 16807a48dd6fSHong Zhang prow = nextprow; 16817a48dd6fSHong Zhang } 16827a48dd6fSHong Zhang 16837a48dd6fSHong Zhang /* if free space is not available, make more free space */ 16847a48dd6fSHong Zhang if (current_space->local_remaining<nzk) { 16857a48dd6fSHong Zhang i = am - k + 1; /* num of unfactored rows */ 16867a48dd6fSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 1687a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 1688a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space_lvl);CHKERRQ(ierr); 16897a48dd6fSHong Zhang reallocs++; 16907a48dd6fSHong Zhang } 16917a48dd6fSHong Zhang 16927a48dd6fSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 1693b635d36bSHong Zhang if (nzk == 0) SETERRQ1(PETSC_ERR_ARG_WRONG,"Empty row %D in ICC matrix factor",k); 16942ed133dbSHong Zhang ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 16957a48dd6fSHong Zhang 16967a48dd6fSHong Zhang /* add the k-th row into il and jl */ 169739e3d630SHong Zhang if (nzk > 1){ 16987a48dd6fSHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 16997a48dd6fSHong Zhang jl[k] = jl[i]; jl[i] = k; 17007a48dd6fSHong Zhang il[k] = ui[k] + 1; 17017a48dd6fSHong Zhang } 17027a48dd6fSHong Zhang uj_ptr[k] = current_space->array; 17037a48dd6fSHong Zhang uj_lvl_ptr[k] = current_space_lvl->array; 17047a48dd6fSHong Zhang 17057a48dd6fSHong Zhang current_space->array += nzk; 17067a48dd6fSHong Zhang current_space->local_used += nzk; 17077a48dd6fSHong Zhang current_space->local_remaining -= nzk; 17087a48dd6fSHong Zhang 17097a48dd6fSHong Zhang current_space_lvl->array += nzk; 17107a48dd6fSHong Zhang current_space_lvl->local_used += nzk; 17117a48dd6fSHong Zhang current_space_lvl->local_remaining -= nzk; 17127a48dd6fSHong Zhang 17137a48dd6fSHong Zhang ui[k+1] = ui[k] + nzk; 17147a48dd6fSHong Zhang } 17157a48dd6fSHong Zhang 17166cf91177SBarry Smith #if defined(PETSC_USE_INFO) 17177a48dd6fSHong Zhang if (ai[am] != 0) { 171839e3d630SHong Zhang PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]); 1719ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 1720ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 1721ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 17227a48dd6fSHong Zhang } else { 1723ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 17247a48dd6fSHong Zhang } 172563ba0a88SBarry Smith #endif 17267a48dd6fSHong Zhang 17277a48dd6fSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 1728b635d36bSHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 17297a48dd6fSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 17305a8e39fbSHong Zhang ierr = PetscFree(ajtmp);CHKERRQ(ierr); 17317a48dd6fSHong Zhang 17327a48dd6fSHong Zhang /* destroy list of free space and other temporary array(s) */ 17337a48dd6fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 1734a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 17352ed133dbSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 1736a1a86e44SBarry Smith ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 17377a48dd6fSHong Zhang 173839e3d630SHong Zhang } /* end of case: levels>0 || (levels=0 && !perm_identity) */ 173939e3d630SHong Zhang 17407a48dd6fSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 17417a48dd6fSHong Zhang 1742719d5645SBarry Smith b = (Mat_SeqSBAIJ*)(fact)->data; 17437a48dd6fSHong Zhang b->singlemalloc = PETSC_FALSE; 17447a48dd6fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 17457a48dd6fSHong Zhang b->j = uj; 17467a48dd6fSHong Zhang b->i = ui; 17477a48dd6fSHong Zhang b->diag = 0; 17487a48dd6fSHong Zhang b->ilen = 0; 17497a48dd6fSHong Zhang b->imax = 0; 17507a48dd6fSHong Zhang b->row = perm; 1751b635d36bSHong Zhang b->col = perm; 1752b635d36bSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 1753b635d36bSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 1754b635d36bSHong Zhang b->icol = iperm; 17557a48dd6fSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 17567a48dd6fSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1757719d5645SBarry Smith ierr = PetscLogObjectMemory((fact),(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 17587a48dd6fSHong Zhang b->maxnz = b->nz = ui[am]; 1759e6b907acSBarry Smith b->free_a = PETSC_TRUE; 1760e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 17617a48dd6fSHong Zhang 1762719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 1763719d5645SBarry Smith (fact)->info.fill_ratio_given = fill; 17647a48dd6fSHong Zhang if (ai[am] != 0) { 1765719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 17667a48dd6fSHong Zhang } else { 1767719d5645SBarry Smith (fact)->info.fill_ratio_needed = 0.0; 17687a48dd6fSHong Zhang } 1769719d5645SBarry Smith (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ; 1770a6175056SHong Zhang PetscFunctionReturn(0); 1771a6175056SHong Zhang } 1772d5d45c9bSBarry Smith 1773f76d2b81SHong Zhang #undef __FUNCT__ 1774f76d2b81SHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqAIJ" 17750481f469SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 1776f76d2b81SHong Zhang { 1777f76d2b81SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 177810c27e3dSHong Zhang Mat_SeqSBAIJ *b; 1779dfbe8321SBarry Smith PetscErrorCode ierr; 1780f76d2b81SHong Zhang PetscTruth perm_identity; 178110c27e3dSHong Zhang PetscReal fill = info->fill; 17825d0c19d7SBarry Smith const PetscInt *rip,*riip; 17835d0c19d7SBarry Smith PetscInt i,am=A->rmap->n,*ai=a->i,*aj=a->j,reallocs=0,prow; 178410c27e3dSHong Zhang PetscInt *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow; 17852ed133dbSHong Zhang PetscInt nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr; 1786a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 178710c27e3dSHong Zhang PetscBT lnkbt; 17882ed133dbSHong Zhang IS iperm; 1789f76d2b81SHong Zhang 1790f76d2b81SHong Zhang PetscFunctionBegin; 1791d0f46423SBarry Smith if (A->rmap->n != A->cmap->n) SETERRQ2(PETSC_ERR_ARG_WRONG,"Must be square matrix, rows %D columns %D",A->rmap->n,A->cmap->n); 17922ed133dbSHong Zhang /* check whether perm is the identity mapping */ 1793f76d2b81SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 17942ed133dbSHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 17952ed133dbSHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 17969bfd6278SHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 179710c27e3dSHong Zhang 179810c27e3dSHong Zhang /* initialization */ 17991393bc97SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 180010c27e3dSHong Zhang ui[0] = 0; 180110c27e3dSHong Zhang 180210c27e3dSHong Zhang /* jl: linked list for storing indices of the pivot rows 18031393bc97SHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 18041393bc97SHong Zhang ierr = PetscMalloc((3*am+1)*sizeof(PetscInt)+am*sizeof(PetscInt**),&jl);CHKERRQ(ierr); 18051393bc97SHong Zhang il = jl + am; 18061393bc97SHong Zhang cols = il + am; 18071393bc97SHong Zhang ui_ptr = (PetscInt**)(cols + am); 18081393bc97SHong Zhang for (i=0; i<am; i++){ 18091393bc97SHong Zhang jl[i] = am; il[i] = 0; 1810f76d2b81SHong Zhang } 181110c27e3dSHong Zhang 181210c27e3dSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 18131393bc97SHong Zhang nlnk = am + 1; 18141393bc97SHong Zhang ierr = PetscLLCreate(am,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 181510c27e3dSHong Zhang 18161393bc97SHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 1817a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 181810c27e3dSHong Zhang current_space = free_space; 181910c27e3dSHong Zhang 18201393bc97SHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 182110c27e3dSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 182210c27e3dSHong Zhang nzk = 0; 18232ed133dbSHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 18243b4a8b6dSBarry Smith if (!ncols) SETERRQ2(PETSC_ERR_MAT_CH_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",rip[k],k); 18252ed133dbSHong Zhang ncols_upper = 0; 18262ed133dbSHong Zhang for (j=0; j<ncols; j++){ 18279bfd6278SHong Zhang i = riip[*(aj + ai[rip[k]] + j)]; 18282ed133dbSHong Zhang if (i >= k){ /* only take upper triangular entry */ 18292ed133dbSHong Zhang cols[ncols_upper] = i; 18302ed133dbSHong Zhang ncols_upper++; 18312ed133dbSHong Zhang } 18322ed133dbSHong Zhang } 18331393bc97SHong Zhang ierr = PetscLLAdd(ncols_upper,cols,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 183410c27e3dSHong Zhang nzk += nlnk; 183510c27e3dSHong Zhang 183610c27e3dSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 183710c27e3dSHong Zhang prow = jl[k]; /* 1st pivot row */ 183810c27e3dSHong Zhang 183910c27e3dSHong Zhang while (prow < k){ 184010c27e3dSHong Zhang nextprow = jl[prow]; 184110c27e3dSHong Zhang /* merge prow into k-th row */ 18421393bc97SHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 184310c27e3dSHong Zhang jmax = ui[prow+1]; 184410c27e3dSHong Zhang ncols = jmax-jmin; 18451393bc97SHong Zhang uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 18465a8e39fbSHong Zhang ierr = PetscLLAddSorted(ncols,uj_ptr,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 184710c27e3dSHong Zhang nzk += nlnk; 184810c27e3dSHong Zhang 184910c27e3dSHong Zhang /* update il and jl for prow */ 185010c27e3dSHong Zhang if (jmin < jmax){ 185110c27e3dSHong Zhang il[prow] = jmin; 18522ed133dbSHong Zhang j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow; 185310c27e3dSHong Zhang } 185410c27e3dSHong Zhang prow = nextprow; 185510c27e3dSHong Zhang } 185610c27e3dSHong Zhang 185710c27e3dSHong Zhang /* if free space is not available, make more free space */ 185810c27e3dSHong Zhang if (current_space->local_remaining<nzk) { 18591393bc97SHong Zhang i = am - k + 1; /* num of unfactored rows */ 186010c27e3dSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 1861a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 186210c27e3dSHong Zhang reallocs++; 186310c27e3dSHong Zhang } 186410c27e3dSHong Zhang 186510c27e3dSHong Zhang /* copy data into free space, then initialize lnk */ 18661393bc97SHong Zhang ierr = PetscLLClean(am,am,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 186710c27e3dSHong Zhang 186810c27e3dSHong Zhang /* add the k-th row into il and jl */ 186910c27e3dSHong Zhang if (nzk-1 > 0){ 18701393bc97SHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 187110c27e3dSHong Zhang jl[k] = jl[i]; jl[i] = k; 187210c27e3dSHong Zhang il[k] = ui[k] + 1; 187310c27e3dSHong Zhang } 18742ed133dbSHong Zhang ui_ptr[k] = current_space->array; 187510c27e3dSHong Zhang current_space->array += nzk; 187610c27e3dSHong Zhang current_space->local_used += nzk; 187710c27e3dSHong Zhang current_space->local_remaining -= nzk; 187810c27e3dSHong Zhang 187910c27e3dSHong Zhang ui[k+1] = ui[k] + nzk; 188010c27e3dSHong Zhang } 188110c27e3dSHong Zhang 18826cf91177SBarry Smith #if defined(PETSC_USE_INFO) 18831393bc97SHong Zhang if (ai[am] != 0) { 18841393bc97SHong Zhang PetscReal af = (PetscReal)(ui[am])/((PetscReal)ai[am]); 1885ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 1886ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 1887ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 188810c27e3dSHong Zhang } else { 1889ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 189010c27e3dSHong Zhang } 189163ba0a88SBarry Smith #endif 189210c27e3dSHong Zhang 189310c27e3dSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 18949bfd6278SHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 189510c27e3dSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 189610c27e3dSHong Zhang 189710c27e3dSHong Zhang /* destroy list of free space and other temporary array(s) */ 18981393bc97SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 1899a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 190010c27e3dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 190110c27e3dSHong Zhang 190210c27e3dSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 190310c27e3dSHong Zhang 1904719d5645SBarry Smith b = (Mat_SeqSBAIJ*)(fact)->data; 190510c27e3dSHong Zhang b->singlemalloc = PETSC_FALSE; 1906e6b907acSBarry Smith b->free_a = PETSC_TRUE; 1907e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 19081393bc97SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 190910c27e3dSHong Zhang b->j = uj; 191010c27e3dSHong Zhang b->i = ui; 191110c27e3dSHong Zhang b->diag = 0; 191210c27e3dSHong Zhang b->ilen = 0; 191310c27e3dSHong Zhang b->imax = 0; 191410c27e3dSHong Zhang b->row = perm; 19159bfd6278SHong Zhang b->col = perm; 19169bfd6278SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 19179bfd6278SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 19189bfd6278SHong Zhang b->icol = iperm; 191910c27e3dSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 19201393bc97SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1921719d5645SBarry Smith ierr = PetscLogObjectMemory(fact,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 19221393bc97SHong Zhang b->maxnz = b->nz = ui[am]; 192310c27e3dSHong Zhang 1924719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 1925719d5645SBarry Smith (fact)->info.fill_ratio_given = fill; 19261393bc97SHong Zhang if (ai[am] != 0) { 1927719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 192810c27e3dSHong Zhang } else { 1929719d5645SBarry Smith (fact)->info.fill_ratio_needed = 0.0; 193010c27e3dSHong Zhang } 1931719d5645SBarry Smith (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ; 1932f76d2b81SHong Zhang PetscFunctionReturn(0); 1933f76d2b81SHong Zhang } 1934599ef60dSHong Zhang 1935599ef60dSHong Zhang #undef __FUNCT__ 19361d098868SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering_iludt" 19371d098868SHong Zhang PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_iludt(Mat A,Vec bb,Vec xx) 1938599ef60dSHong Zhang { 19391d098868SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 19401d098868SHong Zhang PetscErrorCode ierr; 19411d098868SHong Zhang PetscInt n = A->rmap->n; 1942*8fc3a347SHong Zhang const PetscInt *ai = a->i,*aj = a->j,*vi; 19431d098868SHong Zhang PetscScalar *x,sum; 19441d098868SHong Zhang const PetscScalar *b; 19451d098868SHong Zhang const MatScalar *aa = a->a,*v; 1946*8fc3a347SHong Zhang PetscInt i,nz; 19471d098868SHong Zhang 19481d098868SHong Zhang PetscFunctionBegin; 19491d098868SHong Zhang if (!n) PetscFunctionReturn(0); 19501d098868SHong Zhang 19511d098868SHong Zhang ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 19521d098868SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 19531d098868SHong Zhang 19541d098868SHong Zhang /* forward solve the lower triangular */ 19551d098868SHong Zhang x[0] = b[0]; 19561d098868SHong Zhang v = aa; 19571d098868SHong Zhang vi = aj; 19581d098868SHong Zhang for (i=1; i<n; i++) { 19591d098868SHong Zhang nz = ai[i+1] - ai[i]; 19601d098868SHong Zhang sum = b[i]; 1961003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 1962e09e08ccSBarry Smith /* while (nz--) sum -= *v++ * x[*vi++];*/ 1963e0e43300SBarry Smith v += nz; 1964e0e43300SBarry Smith vi += nz; 19651d098868SHong Zhang x[i] = sum; 19661d098868SHong Zhang } 19671d098868SHong Zhang 19681d098868SHong Zhang /* backward solve the upper triangular */ 1969*8fc3a347SHong Zhang v = aa + ai[n+1]; 1970*8fc3a347SHong Zhang vi = aj + ai[n+1]; 19711d098868SHong Zhang for (i=n-1; i>=0; i--){ 1972*8fc3a347SHong Zhang nz = ai[2*n-i +1] - ai[2*n-i]-1; 19731d098868SHong Zhang sum = x[i]; 1974003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 1975e09e08ccSBarry Smith /* while (nz--) sum -= *v++ * x[*vi++]; */ 1976e0e43300SBarry Smith v += nz; 1977*8fc3a347SHong Zhang vi += nz; vi++; 1978fe31b70dSHong Zhang x[i] = *v++ *sum; /* x[i]=aa[adiag[i]]*sum; v++; */ 19791d098868SHong Zhang } 19801d098868SHong Zhang 19811d098868SHong Zhang ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 19821d098868SHong Zhang ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 19831d098868SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 19841d098868SHong Zhang PetscFunctionReturn(0); 19851d098868SHong Zhang } 19861d098868SHong Zhang 19871d098868SHong Zhang #undef __FUNCT__ 19881d098868SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_iludt" 19891d098868SHong Zhang PetscErrorCode MatSolve_SeqAIJ_iludt(Mat A,Vec bb,Vec xx) 19901d098868SHong Zhang { 19911d098868SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 19921d098868SHong Zhang IS iscol = a->col,isrow = a->row; 19931d098868SHong Zhang PetscErrorCode ierr; 19941d098868SHong Zhang PetscInt i,n=A->rmap->n,*vi,*ai = a->i,*aj = a->j,*adiag=a->diag; 19951d098868SHong Zhang PetscInt nz; 19961d098868SHong Zhang const PetscInt *rout,*cout,*r,*c; 19971d098868SHong Zhang PetscScalar *x,*tmp,*tmps; 19981d098868SHong Zhang const PetscScalar *b; 19991d098868SHong Zhang const MatScalar *aa = a->a,*v; 20001d098868SHong Zhang 20011d098868SHong Zhang PetscFunctionBegin; 20021d098868SHong Zhang if (!n) PetscFunctionReturn(0); 20031d098868SHong Zhang 20041d098868SHong Zhang ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 20051d098868SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 20061d098868SHong Zhang tmp = a->solve_work; 20071d098868SHong Zhang 20081d098868SHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 20091d098868SHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 20101d098868SHong Zhang 20111d098868SHong Zhang /* forward solve the lower triangular */ 20121d098868SHong Zhang tmp[0] = b[*r++]; 20131d098868SHong Zhang tmps = tmp; 20141d098868SHong Zhang v = aa; 20151d098868SHong Zhang vi = aj; 20161d098868SHong Zhang for (i=1; i<n; i++) { 20171d098868SHong Zhang nz = ai[i+1] - ai[i]; 20181d098868SHong Zhang tmp[i] = b[*r++]; 2019003131ecSBarry Smith PetscSparseDenseMinusDot(tmp[i],tmps,v,vi,nz); 20201d098868SHong Zhang v += nz; vi += nz; 20211d098868SHong Zhang } 20221d098868SHong Zhang 20231d098868SHong Zhang /* backward solve the upper triangular */ 20241d098868SHong Zhang v = aa + adiag[n] + 1; 20251d098868SHong Zhang vi = aj + adiag[n] + 1; 20261d098868SHong Zhang for (i=n-1; i>=0; i--){ 20271d098868SHong Zhang nz = adiag[i] - adiag[i+1] - 1; 2028003131ecSBarry Smith PetscSparseDenseMinusDot(tmp[i],tmps,v,vi,nz); 20291d098868SHong Zhang x[*c--] = tmp[i] = tmp[i]*aa[adiag[i]]; 20301d098868SHong Zhang v += nz+1; vi += nz+1; 20311d098868SHong Zhang } 20321d098868SHong Zhang 20331d098868SHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 20341d098868SHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 20351d098868SHong Zhang ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 20361d098868SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 20371d098868SHong Zhang ierr = PetscLogFlops(2*a->nz - A->cmap->n);CHKERRQ(ierr); 20381d098868SHong Zhang PetscFunctionReturn(0); 20391d098868SHong Zhang } 20401d098868SHong Zhang 20411d098868SHong Zhang #undef __FUNCT__ 20421d098868SHong Zhang #define __FUNCT__ "MatILUDTFactor_SeqAIJ" 20431d098868SHong Zhang PetscErrorCode MatILUDTFactor_SeqAIJ(Mat A,IS isrow,IS iscol,const MatFactorInfo *info,Mat *fact) 20441d098868SHong Zhang { 20451d098868SHong Zhang Mat B = *fact; 2046599ef60dSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b; 2047599ef60dSHong Zhang IS isicol; 2048599ef60dSHong Zhang PetscErrorCode ierr; 20491d098868SHong Zhang const PetscInt *r,*ic; 20501d098868SHong Zhang PetscInt i,n=A->rmap->n,*ai=a->i,*aj=a->j,*ajtmp,*adiag; 2051dc3a2fd3SHong Zhang PetscInt *bi,*bj,*bdiag,*bdiag_rev; 20521d098868SHong Zhang PetscInt row,nzi,nzi_bl,nzi_bu,*im,dtcount,nzi_al,nzi_au; 20531d098868SHong Zhang PetscInt nlnk,*lnk; 20541d098868SHong Zhang PetscBT lnkbt; 20551d098868SHong Zhang PetscTruth row_identity,icol_identity,both_identity; 20568aee2decSHong Zhang MatScalar *aatmp,*pv,*batmp,*ba,*rtmp,*pc,multiplier,*vtmp,diag_tmp; 20571d098868SHong Zhang const PetscInt *ics; 20581d098868SHong Zhang PetscInt j,nz,*pj,*bjtmp,k,ncut,*jtmp; 20591d098868SHong Zhang PetscReal dt=info->dt,shift=info->shiftinblocks; 20601d098868SHong Zhang PetscInt nnz_max; 2061599ef60dSHong Zhang PetscTruth missing; 2062599ef60dSHong Zhang 2063599ef60dSHong Zhang PetscFunctionBegin; 2064c9c72f8fSHong Zhang printf("MatILUDTFactor_SeqAIJ is callled ...\n"); 20651d098868SHong Zhang /* ------- symbolic factorization, can be reused ---------*/ 20661d098868SHong Zhang ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr); 20671d098868SHong Zhang if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",i); 20681d098868SHong Zhang adiag=a->diag; 2069599ef60dSHong Zhang 2070599ef60dSHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 2071599ef60dSHong Zhang 2072599ef60dSHong Zhang /* bdiag is location of diagonal in factor */ 2073a6226a1aSHong Zhang ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 2074a6226a1aSHong Zhang bdiag_rev = bdiag + n+1; 2075599ef60dSHong Zhang 20761d098868SHong Zhang /* allocate row pointers bi */ 2077*8fc3a347SHong Zhang ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 20781d098868SHong Zhang 20791d098868SHong Zhang /* allocate bj and ba; max num of nonzero entries is (ai[n]+2*n*dtcount+2) */ 2080599ef60dSHong Zhang dtcount = (PetscInt)info->dtcount; 2081393d3a68SHong Zhang if (dtcount > n-1) dtcount = n-1; /* diagonal is excluded */ 20821d098868SHong Zhang nnz_max = ai[n]+2*n*dtcount+2; 2083*8fc3a347SHong Zhang 2084*8fc3a347SHong Zhang ierr = PetscMalloc((nnz_max+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 2085*8fc3a347SHong Zhang ierr = PetscMalloc((nnz_max+1)*sizeof(MatScalar),&ba);CHKERRQ(ierr); 2086599ef60dSHong Zhang 2087599ef60dSHong Zhang /* put together the new matrix */ 2088599ef60dSHong Zhang ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 2089599ef60dSHong Zhang ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr); 2090599ef60dSHong Zhang b = (Mat_SeqAIJ*)(B)->data; 2091599ef60dSHong Zhang b->free_a = PETSC_TRUE; 2092599ef60dSHong Zhang b->free_ij = PETSC_TRUE; 2093599ef60dSHong Zhang b->singlemalloc = PETSC_FALSE; 2094599ef60dSHong Zhang b->a = ba; 2095599ef60dSHong Zhang b->j = bj; 2096599ef60dSHong Zhang b->i = bi; 2097599ef60dSHong Zhang b->diag = bdiag; 2098599ef60dSHong Zhang b->ilen = 0; 2099599ef60dSHong Zhang b->imax = 0; 2100599ef60dSHong Zhang b->row = isrow; 2101599ef60dSHong Zhang b->col = iscol; 2102599ef60dSHong Zhang ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 2103599ef60dSHong Zhang ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 2104599ef60dSHong Zhang b->icol = isicol; 2105599ef60dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2106599ef60dSHong Zhang 21071d098868SHong Zhang ierr = PetscLogObjectMemory(B,nnz_max*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 21081d098868SHong Zhang b->maxnz = nnz_max; 2109599ef60dSHong Zhang 2110599ef60dSHong Zhang (B)->factor = MAT_FACTOR_ILUDT; 2111599ef60dSHong Zhang (B)->info.factor_mallocs = 0; 21121d098868SHong Zhang (B)->info.fill_ratio_given = ((PetscReal)nnz_max)/((PetscReal)ai[n]); 21131d098868SHong Zhang CHKMEMQ; 21141d098868SHong Zhang /* ------- end of symbolic factorization ---------*/ 2115599ef60dSHong Zhang 2116599ef60dSHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 2117599ef60dSHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 2118599ef60dSHong Zhang ics = ic; 2119599ef60dSHong Zhang 2120599ef60dSHong Zhang /* linked list for storing column indices of the active row */ 2121599ef60dSHong Zhang nlnk = n + 1; 2122599ef60dSHong Zhang ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 21231d098868SHong Zhang 21241d098868SHong Zhang /* im: used by PetscLLAddSortedLU(); jtmp: working array for column indices of active row */ 21251d098868SHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(PetscInt),&im);CHKERRQ(ierr); 21261d098868SHong Zhang jtmp = im + n; 21271d098868SHong Zhang /* rtmp, vtmp: working arrays for sparse and contiguous row entries of active row */ 21288369b28dSHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 21298aee2decSHong Zhang ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr); 21308369b28dSHong Zhang vtmp = rtmp + n; 2131599ef60dSHong Zhang 2132599ef60dSHong Zhang bi[0] = 0; 2133*8fc3a347SHong Zhang bdiag[0] = nnz_max-1; /* location of diag[0] in factor B */ 2134dc3a2fd3SHong Zhang bdiag_rev[n] = bdiag[0]; 2135*8fc3a347SHong Zhang bi[2*n+1] = bdiag[0]+1; /* endof bj and ba array */ 2136599ef60dSHong Zhang for (i=0; i<n; i++) { 2137599ef60dSHong Zhang /* copy initial fill into linked list */ 2138599ef60dSHong Zhang nzi = 0; /* nonzeros for active row i */ 21398369b28dSHong Zhang nzi = ai[r[i]+1] - ai[r[i]]; 21408369b28dSHong Zhang if (!nzi) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i); 21418369b28dSHong Zhang nzi_al = adiag[r[i]] - ai[r[i]]; 21428369b28dSHong Zhang nzi_au = ai[r[i]+1] - adiag[r[i]] -1; 2143599ef60dSHong Zhang ajtmp = aj + ai[r[i]]; 21448369b28dSHong Zhang ierr = PetscLLAddPerm(nzi,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 2145599ef60dSHong Zhang 2146599ef60dSHong Zhang /* load in initial (unfactored row) */ 21471d098868SHong Zhang aatmp = a->a + ai[r[i]]; 21488369b28dSHong Zhang for (j=0; j<nzi; j++) { 21491d098868SHong Zhang rtmp[ics[*ajtmp++]] = *aatmp++; 2150599ef60dSHong Zhang } 2151599ef60dSHong Zhang 2152599ef60dSHong Zhang /* add pivot rows into linked list */ 2153599ef60dSHong Zhang row = lnk[n]; 2154599ef60dSHong Zhang while (row < i ) { 21551d098868SHong Zhang nzi_bl = bi[row+1] - bi[row] + 1; 21561d098868SHong Zhang bjtmp = bj + bdiag[row+1]+1; /* points to 1st column next to the diagonal in U */ 21571d098868SHong Zhang ierr = PetscLLAddSortedLU(bjtmp,row,nlnk,lnk,lnkbt,i,nzi_bl,im);CHKERRQ(ierr); 2158599ef60dSHong Zhang nzi += nlnk; 2159599ef60dSHong Zhang row = lnk[row]; 2160599ef60dSHong Zhang } 2161599ef60dSHong Zhang 21628369b28dSHong Zhang /* copy data from lnk into jtmp, then initialize lnk */ 21638369b28dSHong Zhang ierr = PetscLLClean(n,n,nzi,lnk,jtmp,lnkbt);CHKERRQ(ierr); 2164599ef60dSHong Zhang 2165599ef60dSHong Zhang /* numerical factorization */ 21668369b28dSHong Zhang bjtmp = jtmp; 2167599ef60dSHong Zhang row = *bjtmp++; /* 1st pivot row */ 2168599ef60dSHong Zhang while ( row < i ) { 2169599ef60dSHong Zhang pc = rtmp + row; 21703c2a7987SHong Zhang pv = ba + bdiag[row]; /* 1./(diag of the pivot row) */ 21713c2a7987SHong Zhang multiplier = (*pc) * (*pv); 2172599ef60dSHong Zhang *pc = multiplier; 21733c2a7987SHong Zhang if (PetscAbsScalar(*pc) > dt){ /* apply tolerance dropping rule */ 21741d098868SHong Zhang pj = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */ 21751d098868SHong Zhang pv = ba + bdiag[row+1] + 1; 21761d098868SHong Zhang /* if (multiplier < -1.0 or multiplier >1.0) printf("row/prow %d, %d, multiplier %g\n",i,row,multiplier); */ 21771d098868SHong Zhang nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */ 21781d098868SHong Zhang for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++); 2179dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 2180599ef60dSHong Zhang } 2181599ef60dSHong Zhang row = *bjtmp++; 2182599ef60dSHong Zhang } 2183599ef60dSHong Zhang 21848369b28dSHong Zhang /* copy sparse rtmp into contiguous vtmp; separate L and U part */ 21858aee2decSHong Zhang diag_tmp = rtmp[i]; /* save diagonal value - may not needed?? */ 21868369b28dSHong Zhang nzi_bl = 0; j = 0; 21878369b28dSHong Zhang while (jtmp[j] < i){ /* Note: jtmp is sorted */ 21888aee2decSHong Zhang vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0; 21898369b28dSHong Zhang nzi_bl++; j++; 21908369b28dSHong Zhang } 21918369b28dSHong Zhang nzi_bu = nzi - nzi_bl -1; 21928369b28dSHong Zhang while (j < nzi){ 21938aee2decSHong Zhang vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0; 21948369b28dSHong Zhang j++; 21958369b28dSHong Zhang } 21968369b28dSHong Zhang 2197599ef60dSHong Zhang bjtmp = bj + bi[i]; 2198599ef60dSHong Zhang batmp = ba + bi[i]; 21998369b28dSHong Zhang /* apply level dropping rule to L part */ 22008369b28dSHong Zhang ncut = nzi_al + dtcount; 22018369b28dSHong Zhang if (ncut < nzi_bl){ 22028369b28dSHong Zhang ierr = PetscSortSplit(ncut,nzi_bl,vtmp,jtmp);CHKERRQ(ierr); 22038369b28dSHong Zhang ierr = PetscSortIntWithScalarArray(ncut,jtmp,vtmp);CHKERRQ(ierr); 2204599ef60dSHong Zhang } else { 22058369b28dSHong Zhang ncut = nzi_bl; 22068369b28dSHong Zhang } 22078369b28dSHong Zhang for (j=0; j<ncut; j++){ 22088369b28dSHong Zhang bjtmp[j] = jtmp[j]; 22098369b28dSHong Zhang batmp[j] = vtmp[j]; 22106da515a1SHong Zhang /* printf(" (%d,%g),",bjtmp[j],batmp[j]); */ 22118369b28dSHong Zhang } 22121d098868SHong Zhang bi[i+1] = bi[i] + ncut; 22138369b28dSHong Zhang nzi = ncut + 1; 22148369b28dSHong Zhang 22158369b28dSHong Zhang /* apply level dropping rule to U part */ 22168369b28dSHong Zhang ncut = nzi_au + dtcount; 22178369b28dSHong Zhang if (ncut < nzi_bu){ 22188369b28dSHong Zhang ierr = PetscSortSplit(ncut,nzi_bu,vtmp+nzi_bl+1,jtmp+nzi_bl+1);CHKERRQ(ierr); 22198369b28dSHong Zhang ierr = PetscSortIntWithScalarArray(ncut,jtmp+nzi_bl+1,vtmp+nzi_bl+1);CHKERRQ(ierr); 22208369b28dSHong Zhang } else { 22218369b28dSHong Zhang ncut = nzi_bu; 22228369b28dSHong Zhang } 22238369b28dSHong Zhang nzi += ncut; 22241d098868SHong Zhang 22251d098868SHong Zhang /* mark bdiagonal */ 22261d098868SHong Zhang bdiag[i+1] = bdiag[i] - (ncut + 1); 2227dc3a2fd3SHong Zhang bdiag_rev[n-i-1] = bdiag[i+1]; 2228*8fc3a347SHong Zhang bi[2*n - i] = bi[2*n - i +1] - (ncut + 1); 22291d098868SHong Zhang bjtmp = bj + bdiag[i]; 22301d098868SHong Zhang batmp = ba + bdiag[i]; 22311d098868SHong Zhang *bjtmp = i; 22328aee2decSHong Zhang *batmp = diag_tmp; /* rtmp[i]; */ 2233c9c72f8fSHong Zhang if (*batmp == 0.0) { 2234c9c72f8fSHong Zhang *batmp = dt+shift; 2235c9c72f8fSHong Zhang printf(" row %d add shift %g\n",i,shift); 2236c9c72f8fSHong Zhang } 2237b78a477dSHong Zhang *batmp = 1.0/(*batmp); /* invert diagonal entries for simplier triangular solves */ 22386da515a1SHong Zhang /* printf(" (%d,%g),",*bjtmp,*batmp); */ 22391d098868SHong Zhang 22401d098868SHong Zhang bjtmp = bj + bdiag[i+1]+1; 22411d098868SHong Zhang batmp = ba + bdiag[i+1]+1; 22428369b28dSHong Zhang for (k=0; k<ncut; k++){ 22431d098868SHong Zhang bjtmp[k] = jtmp[nzi_bl+1+k]; 22441d098868SHong Zhang batmp[k] = vtmp[nzi_bl+1+k]; 22456da515a1SHong Zhang /* printf(" (%d,%g),",bjtmp[k],batmp[k]); */ 2246599ef60dSHong Zhang } 22476da515a1SHong Zhang /* printf("\n"); */ 2248599ef60dSHong Zhang 2249599ef60dSHong Zhang im[i] = nzi; /* used by PetscLLAddSortedLU() */ 2250599ef60dSHong Zhang /* 22511d098868SHong Zhang printf("row %d: bi %d, bdiag %d\n",i,bi[i],bdiag[i]); 22528369b28dSHong Zhang printf(" ----------------------------\n"); 2253599ef60dSHong Zhang */ 22548369b28dSHong Zhang } /* for (i=0; i<n; i++) */ 22551d098868SHong Zhang /* printf("end of L %d, beginning of U %d\n",bi[n],bdiag[n]); */ 22561d098868SHong Zhang if (bi[n] >= bdiag[n]) SETERRQ2(PETSC_ERR_ARG_SIZ,"end of L array %d cannot >= the beginning of U array %d",bi[n],bdiag[n]); 2257599ef60dSHong Zhang 2258599ef60dSHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 2259599ef60dSHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 2260599ef60dSHong Zhang 2261599ef60dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 2262599ef60dSHong Zhang ierr = PetscFree(im);CHKERRQ(ierr); 2263599ef60dSHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 2264599ef60dSHong Zhang 2265599ef60dSHong Zhang ierr = PetscLogFlops(B->cmap->n);CHKERRQ(ierr); 22661d098868SHong Zhang b->maxnz = b->nz = bi[n] + bdiag[0] - bdiag[n]; 2267599ef60dSHong Zhang 2268599ef60dSHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 2269599ef60dSHong Zhang ierr = ISIdentity(isicol,&icol_identity);CHKERRQ(ierr); 2270599ef60dSHong Zhang both_identity = (PetscTruth) (row_identity && icol_identity); 2271599ef60dSHong Zhang if (row_identity && icol_identity) { 22721d098868SHong Zhang B->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_iludt; 2273599ef60dSHong Zhang } else { 22741d098868SHong Zhang B->ops->solve = MatSolve_SeqAIJ_iludt; 2275599ef60dSHong Zhang } 2276599ef60dSHong Zhang 2277b78a477dSHong Zhang B->ops->lufactorsymbolic = MatILUDTFactorSymbolic_SeqAIJ; 2278b78a477dSHong Zhang B->ops->lufactornumeric = MatILUDTFactorNumeric_SeqAIJ; 22791d098868SHong Zhang B->ops->solveadd = 0; 22801d098868SHong Zhang B->ops->solvetranspose = 0; 22811d098868SHong Zhang B->ops->solvetransposeadd = 0; 22821d098868SHong Zhang B->ops->matsolve = 0; 2283599ef60dSHong Zhang B->assembled = PETSC_TRUE; 2284599ef60dSHong Zhang B->preallocated = PETSC_TRUE; 2285599ef60dSHong Zhang PetscFunctionReturn(0); 2286599ef60dSHong Zhang } 2287599ef60dSHong Zhang 22883c2a7987SHong Zhang /* a wraper of MatILUDTFactor_SeqAIJ() */ 22893c2a7987SHong Zhang #undef __FUNCT__ 22903c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorSymbolic_SeqAIJ" 22913c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS row,IS col,const MatFactorInfo *info) 22923c2a7987SHong Zhang { 22933c2a7987SHong Zhang PetscErrorCode ierr; 22943c2a7987SHong Zhang 22953c2a7987SHong Zhang PetscFunctionBegin; 2296c9c72f8fSHong Zhang printf("MatILUDTFactorSymbolic_SeqAIJ is called...\n"); 22973c2a7987SHong Zhang ierr = MatILUDTFactor_SeqAIJ(A,row,col,info,&fact);CHKERRQ(ierr); 22983c2a7987SHong Zhang 22993c2a7987SHong Zhang fact->ops->lufactornumeric = MatILUDTFactorNumeric_SeqAIJ; 23003c2a7987SHong Zhang PetscFunctionReturn(0); 23013c2a7987SHong Zhang } 23023c2a7987SHong Zhang 23033c2a7987SHong Zhang /* 23043c2a7987SHong Zhang same as MatLUFactorNumeric_SeqAIJ(), except using contiguous array matrix factors 23053c2a7987SHong Zhang - intend to replace existing MatLUFactorNumeric_SeqAIJ() 23063c2a7987SHong Zhang */ 23073c2a7987SHong Zhang #undef __FUNCT__ 23083c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorNumeric_SeqAIJ" 23093c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorNumeric_SeqAIJ(Mat fact,Mat A,const MatFactorInfo *info) 23103c2a7987SHong Zhang { 23113c2a7987SHong Zhang Mat C=fact; 23123c2a7987SHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 23133c2a7987SHong Zhang IS isrow = b->row,isicol = b->icol; 23143c2a7987SHong Zhang PetscErrorCode ierr; 23153c2a7987SHong Zhang const PetscInt *r,*ic,*ics; 2316b78a477dSHong Zhang PetscInt i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 2317b78a477dSHong Zhang PetscInt *ajtmp,*bjtmp,nz,nzl,nzu,row,*bdiag = b->diag,*pj; 23183c2a7987SHong Zhang MatScalar *rtmp,*pc,multiplier,*v,*pv,*aa=a->a; 2319b78a477dSHong Zhang PetscReal dt=info->dt,shift=info->shiftinblocks; 2320b78a477dSHong Zhang PetscTruth row_identity, col_identity; 23213c2a7987SHong Zhang 23223c2a7987SHong Zhang PetscFunctionBegin; 2323c9c72f8fSHong Zhang printf("MatILUDTFactorNumeric_SeqAIJ is called...\n"); 23243c2a7987SHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 23253c2a7987SHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 2326b78a477dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 23273c2a7987SHong Zhang ics = ic; 23283c2a7987SHong Zhang 23293c2a7987SHong Zhang for (i=0; i<n; i++){ 2330b78a477dSHong Zhang /* initialize rtmp array */ 2331b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; /* num of nozeros in L(i,:) */ 23323c2a7987SHong Zhang bjtmp = bj + bi[i]; 2333b78a477dSHong Zhang for (j=0; j<nzl; j++) rtmp[*bjtmp++] = 0.0; 2334b78a477dSHong Zhang rtmp[i] = 0.0; 2335b78a477dSHong Zhang nzu = bdiag[i] - bdiag[i+1]; /* num of nozeros in U(i,:) */ 2336b78a477dSHong Zhang bjtmp = bj + bdiag[i+1] + 1; 2337b78a477dSHong Zhang for (j=0; j<nzu; j++) rtmp[*bjtmp++] = 0.0; 23383c2a7987SHong Zhang 2339b78a477dSHong Zhang /* load in initial unfactored row of A */ 23406da515a1SHong Zhang /* printf("row %d\n",i); */ 23413c2a7987SHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 23423c2a7987SHong Zhang ajtmp = aj + ai[r[i]]; 23433c2a7987SHong Zhang v = aa + ai[r[i]]; 23443c2a7987SHong Zhang for (j=0; j<nz; j++) { 2345b78a477dSHong Zhang rtmp[ics[*ajtmp++]] = v[j]; 23466da515a1SHong Zhang /* printf(" (%d,%g),",ics[ajtmp[j]],rtmp[ics[ajtmp[j]]]); */ 23473c2a7987SHong Zhang } 23486da515a1SHong Zhang /* printf("\n"); */ 23493c2a7987SHong Zhang 2350b78a477dSHong Zhang /* numerical factorization */ 2351b78a477dSHong Zhang bjtmp = bj + bi[i]; /* point to 1st entry of L(i,:) */ 2352b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; /* num of entries in L(i,:) */ 2353b78a477dSHong Zhang k = 0; 2354b78a477dSHong Zhang while (k < nzl){ 23553c2a7987SHong Zhang row = *bjtmp++; 23566da515a1SHong Zhang /* printf(" prow %d\n",row); */ 23573c2a7987SHong Zhang pc = rtmp + row; 2358b78a477dSHong Zhang pv = b->a + bdiag[row]; /* 1./(diag of the pivot row) */ 2359b78a477dSHong Zhang multiplier = (*pc) * (*pv); 23603c2a7987SHong Zhang *pc = multiplier; 2361b78a477dSHong Zhang if (PetscAbsScalar(multiplier) > dt){ 2362b78a477dSHong Zhang pj = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */ 2363b78a477dSHong Zhang pv = b->a + bdiag[row+1] + 1; 2364b78a477dSHong Zhang nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */ 2365b78a477dSHong Zhang for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++); 23666da515a1SHong Zhang /* ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); */ 23673c2a7987SHong Zhang } 2368b78a477dSHong Zhang k++; 23693c2a7987SHong Zhang } 23703c2a7987SHong Zhang 2371b78a477dSHong Zhang /* finished row so stick it into b->a */ 2372b78a477dSHong Zhang /* L-part */ 2373b78a477dSHong Zhang pv = b->a + bi[i] ; 2374b78a477dSHong Zhang pj = bj + bi[i] ; 2375b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; 2376b78a477dSHong Zhang for (j=0; j<nzl; j++) { 2377b78a477dSHong Zhang pv[j] = rtmp[pj[j]]; 23786da515a1SHong Zhang /* printf(" (%d,%g),",pj[j],pv[j]); */ 23793c2a7987SHong Zhang } 2380b78a477dSHong Zhang 2381b78a477dSHong Zhang /* diagonal: invert diagonal entries for simplier triangular solves */ 2382b78a477dSHong Zhang if (rtmp[i] == 0.0) rtmp[i] = dt+shift; 2383b78a477dSHong Zhang b->a[bdiag[i]] = 1.0/rtmp[i]; 23846da515a1SHong Zhang /* printf(" (%d,%g),",i,b->a[bdiag[i]]); */ 2385b78a477dSHong Zhang 2386b78a477dSHong Zhang /* U-part */ 2387b78a477dSHong Zhang pv = b->a + bdiag[i+1] + 1; 2388b78a477dSHong Zhang pj = bj + bdiag[i+1] + 1; 2389b78a477dSHong Zhang nzu = bdiag[i] - bdiag[i+1] - 1; 2390b78a477dSHong Zhang for (j=0; j<nzu; j++) { 2391b78a477dSHong Zhang pv[j] = rtmp[pj[j]]; 23926da515a1SHong Zhang /* printf(" (%d,%g),",pj[j],pv[j]); */ 2393b78a477dSHong Zhang } 23946da515a1SHong Zhang /* printf("\n"); */ 2395b78a477dSHong Zhang } 2396b78a477dSHong Zhang 23973c2a7987SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 23983c2a7987SHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 23993c2a7987SHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 2400b78a477dSHong Zhang 24013c2a7987SHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 24023c2a7987SHong Zhang ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 24033c2a7987SHong Zhang if (row_identity && col_identity) { 2404b78a477dSHong Zhang C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_iludt; 24053c2a7987SHong Zhang } else { 2406b78a477dSHong Zhang C->ops->solve = MatSolve_SeqAIJ_iludt; 24073c2a7987SHong Zhang } 2408b78a477dSHong Zhang C->ops->solveadd = 0; 2409b78a477dSHong Zhang C->ops->solvetranspose = 0; 2410b78a477dSHong Zhang C->ops->solvetransposeadd = 0; 2411b78a477dSHong Zhang C->ops->matsolve = 0; 24123c2a7987SHong Zhang C->assembled = PETSC_TRUE; 24133c2a7987SHong Zhang C->preallocated = PETSC_TRUE; 24143c2a7987SHong Zhang ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 24153c2a7987SHong Zhang PetscFunctionReturn(0); 24163c2a7987SHong Zhang } 2417