1be1d678aSKris Buschelman #define PETSCMAT_DLL 2289bc588SBarry Smith 3b377110cSBarry Smith 47c4f633dSBarry Smith #include "../src/mat/impls/aij/seq/aij.h" 5783ef271SHong Zhang #include "../src/mat/impls/sbaij/seq/sbaij.h" 61393bc97SHong Zhang #include "petscbt.h" 77c4f633dSBarry Smith #include "../src/mat/utils/freespace.h" 83b2fbd54SBarry Smith 9f6a26d55SMatthew Knepley EXTERN_C_BEGIN 104a2ae208SSatish Balay #undef __FUNCT__ 114a2ae208SSatish Balay #define __FUNCT__ "MatOrdering_Flow_SeqAIJ" 128fa24674SBarry Smith /* 138fa24674SBarry Smith Computes an ordering to get most of the large numerical values in the lower triangular part of the matrix 148fa24674SBarry Smith */ 15dfbe8321SBarry Smith PetscErrorCode MatOrdering_Flow_SeqAIJ(Mat mat,const MatOrderingType type,IS *irow,IS *icol) 163b2fbd54SBarry Smith { 178fa24674SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)mat->data; 188fa24674SBarry Smith PetscErrorCode ierr; 19889a8dedSBarry Smith PetscInt i,j,jj,k, kk,n = mat->rmap->n, current = 0, newcurrent = 0,*order; 208fa24674SBarry Smith const PetscInt *ai = a->i, *aj = a->j; 218fa24674SBarry Smith const PetscScalar *aa = a->a; 228fa24674SBarry Smith PetscTruth *done; 23889a8dedSBarry Smith PetscReal best,past = 0,future; 243a40ed3dSBarry Smith 258fa24674SBarry Smith PetscFunctionBegin; 268fa24674SBarry Smith /* pick initial row */ 278fa24674SBarry Smith best = -1; 288fa24674SBarry Smith for (i=0; i<n; i++) { 298fa24674SBarry Smith future = 0; 308fa24674SBarry Smith for (j=ai[i]; j<ai[i+1]; j++) { 318fa24674SBarry Smith if (aj[j] != i) future += PetscAbsScalar(aa[j]); else past = PetscAbsScalar(aa[j]); 328fa24674SBarry Smith } 338fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 348fa24674SBarry Smith if (past/future > best) { 358fa24674SBarry Smith best = past/future; 368fa24674SBarry Smith current = i; 378fa24674SBarry Smith } 388fa24674SBarry Smith } 398fa24674SBarry Smith 408fa24674SBarry Smith ierr = PetscMalloc(n*sizeof(PetscTruth),&done);CHKERRQ(ierr); 418fa24674SBarry Smith ierr = PetscMalloc(n*sizeof(PetscInt),&order);CHKERRQ(ierr); 428fa24674SBarry Smith ierr = PetscMemzero(done,n*sizeof(PetscTruth));CHKERRQ(ierr); 438fa24674SBarry Smith order[0] = current; 448fa24674SBarry Smith for (i=0; i<n-1; i++) { 458fa24674SBarry Smith done[current] = PETSC_TRUE; 468fa24674SBarry Smith best = -1; 478fa24674SBarry Smith /* loop over all neighbors of current pivot */ 488fa24674SBarry Smith for (j=ai[current]; j<ai[current+1]; j++) { 498fa24674SBarry Smith jj = aj[j]; 508fa24674SBarry Smith if (done[jj]) continue; 518fa24674SBarry Smith /* loop over columns of potential next row computing weights for below and above diagonal */ 528fa24674SBarry Smith past = future = 0.0; 538fa24674SBarry Smith for (k=ai[jj]; k<ai[jj+1]; k++) { 548fa24674SBarry Smith kk = aj[k]; 558fa24674SBarry Smith if (done[kk]) past += PetscAbsScalar(aa[k]); 568fa24674SBarry Smith else if (kk != jj) future += PetscAbsScalar(aa[k]); 578fa24674SBarry Smith } 588fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 598fa24674SBarry Smith if (past/future > best) { 608fa24674SBarry Smith best = past/future; 618fa24674SBarry Smith newcurrent = jj; 628fa24674SBarry Smith } 638fa24674SBarry Smith } 648fa24674SBarry Smith if (best == -1) { /* no neighbors to select from so select best of all that remain */ 658fa24674SBarry Smith best = -1; 668fa24674SBarry Smith for (k=0; k<n; k++) { 678fa24674SBarry Smith if (done[k]) continue; 688fa24674SBarry Smith future = 0; 698fa24674SBarry Smith past = 0; 708fa24674SBarry Smith for (j=ai[k]; j<ai[k+1]; j++) { 718fa24674SBarry Smith kk = aj[j]; 728fa24674SBarry Smith if (done[kk]) past += PetscAbsScalar(aa[j]); 738fa24674SBarry Smith else if (kk != k) future += PetscAbsScalar(aa[j]); 748fa24674SBarry Smith } 758fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 768fa24674SBarry Smith if (past/future > best) { 778fa24674SBarry Smith best = past/future; 788fa24674SBarry Smith newcurrent = k; 798fa24674SBarry Smith } 808fa24674SBarry Smith } 818fa24674SBarry Smith } 828fa24674SBarry Smith if (current == newcurrent) SETERRQ(PETSC_ERR_PLIB,"newcurrent cannot be current"); 838fa24674SBarry Smith current = newcurrent; 848fa24674SBarry Smith order[i+1] = current; 858fa24674SBarry Smith } 868fa24674SBarry Smith ierr = ISCreateGeneral(PETSC_COMM_SELF,n,order,irow);CHKERRQ(ierr); 878fa24674SBarry Smith *icol = *irow; 888fa24674SBarry Smith ierr = PetscObjectReference((PetscObject)*irow);CHKERRQ(ierr); 898fa24674SBarry Smith ierr = PetscFree(done);CHKERRQ(ierr); 908fa24674SBarry Smith ierr = PetscFree(order);CHKERRQ(ierr); 91d64ed03dSBarry Smith PetscFunctionReturn(0); 923b2fbd54SBarry Smith } 93f6a26d55SMatthew Knepley EXTERN_C_END 943b2fbd54SBarry Smith 95e631078cSBarry Smith EXTERN_C_BEGIN 964a2ae208SSatish Balay #undef __FUNCT__ 97db4efbfdSBarry Smith #define __FUNCT__ "MatGetFactorAvailable_seqaij_petsc" 98db4efbfdSBarry Smith PetscErrorCode MatGetFactorAvailable_seqaij_petsc(Mat A,MatFactorType ftype,PetscTruth *flg) 99db4efbfdSBarry Smith { 100db4efbfdSBarry Smith PetscFunctionBegin; 101db4efbfdSBarry Smith *flg = PETSC_TRUE; 102db4efbfdSBarry Smith PetscFunctionReturn(0); 103db4efbfdSBarry Smith } 104db4efbfdSBarry Smith EXTERN_C_END 105db4efbfdSBarry Smith 106db4efbfdSBarry Smith EXTERN_C_BEGIN 107db4efbfdSBarry Smith #undef __FUNCT__ 108b24902e0SBarry Smith #define __FUNCT__ "MatGetFactor_seqaij_petsc" 109b24902e0SBarry Smith PetscErrorCode MatGetFactor_seqaij_petsc(Mat A,MatFactorType ftype,Mat *B) 110b24902e0SBarry Smith { 111d0f46423SBarry Smith PetscInt n = A->rmap->n; 112b24902e0SBarry Smith PetscErrorCode ierr; 113b24902e0SBarry Smith 114b24902e0SBarry Smith PetscFunctionBegin; 115b24902e0SBarry Smith ierr = MatCreate(((PetscObject)A)->comm,B);CHKERRQ(ierr); 116b24902e0SBarry Smith ierr = MatSetSizes(*B,n,n,n,n);CHKERRQ(ierr); 117599ef60dSHong Zhang if (ftype == MAT_FACTOR_LU || ftype == MAT_FACTOR_ILU || ftype == MAT_FACTOR_ILUDT){ 118b24902e0SBarry Smith ierr = MatSetType(*B,MATSEQAIJ);CHKERRQ(ierr); 119db4efbfdSBarry Smith (*B)->ops->ilufactorsymbolic = MatILUFactorSymbolic_SeqAIJ; 12035bd34faSBarry Smith (*B)->ops->lufactorsymbolic = MatLUFactorSymbolic_SeqAIJ; 1211da05e5aSHong Zhang (*B)->ops->iludtfactor = MatILUDTFactor_SeqAIJ; 122b24902e0SBarry Smith } else if (ftype == MAT_FACTOR_CHOLESKY || ftype == MAT_FACTOR_ICC) { 123b24902e0SBarry Smith ierr = MatSetType(*B,MATSEQSBAIJ);CHKERRQ(ierr); 124b24902e0SBarry Smith ierr = MatSeqSBAIJSetPreallocation(*B,1,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 1255c9eb25fSBarry Smith (*B)->ops->iccfactorsymbolic = MatICCFactorSymbolic_SeqAIJ; 1265c9eb25fSBarry Smith (*B)->ops->choleskyfactorsymbolic = MatCholeskyFactorSymbolic_SeqAIJ; 127b24902e0SBarry Smith } else SETERRQ(PETSC_ERR_SUP,"Factor type not supported"); 128db4efbfdSBarry Smith (*B)->factor = ftype; 129b24902e0SBarry Smith PetscFunctionReturn(0); 130b24902e0SBarry Smith } 131e631078cSBarry Smith EXTERN_C_END 132b24902e0SBarry Smith 133b24902e0SBarry Smith #undef __FUNCT__ 134b9617806SBarry Smith #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ" 1350481f469SBarry Smith PetscErrorCode MatLUFactorSymbolic_SeqAIJ(Mat B,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 136289bc588SBarry Smith { 137416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 138289bc588SBarry Smith IS isicol; 1396849ba73SBarry Smith PetscErrorCode ierr; 1405d0c19d7SBarry Smith const PetscInt *r,*ic; 1415d0c19d7SBarry Smith PetscInt i,n=A->rmap->n,*ai=a->i,*aj=a->j; 1421393bc97SHong Zhang PetscInt *bi,*bj,*ajtmp; 1431393bc97SHong Zhang PetscInt *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im; 1449e046878SBarry Smith PetscReal f; 1454875ba38SHong Zhang PetscInt nlnk,*lnk,k,**bi_ptr; 146a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 1471393bc97SHong Zhang PetscBT lnkbt; 148ce3d78c0SShri Abhyankar PetscTruth newdatastruct= PETSC_FALSE; 149289bc588SBarry Smith 1503a40ed3dSBarry Smith PetscFunctionBegin; 151ce3d78c0SShri Abhyankar ierr = PetscOptionsGetTruth(PETSC_NULL,"-lu_new",&newdatastruct,PETSC_NULL);CHKERRQ(ierr); 152ce3d78c0SShri Abhyankar if(newdatastruct){ 153ce3d78c0SShri Abhyankar ierr = MatLUFactorSymbolic_SeqAIJ_newdatastruct(B,A,isrow,iscol,info);CHKERRQ(ierr); 154ce3d78c0SShri Abhyankar PetscFunctionReturn(0); 155ce3d78c0SShri Abhyankar } 1569b48462bSShri Abhyankar 157ce3d78c0SShri Abhyankar 158d0f46423SBarry Smith if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square"); 1594c49b128SBarry Smith ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 160ac121b3dSBarry Smith ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 161ac121b3dSBarry Smith ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 162289bc588SBarry Smith 163289bc588SBarry Smith /* get new row pointers */ 1641393bc97SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 1651393bc97SHong Zhang bi[0] = 0; 1661393bc97SHong Zhang 1671393bc97SHong Zhang /* bdiag is location of diagonal in factor */ 1681393bc97SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 1691393bc97SHong Zhang bdiag[0] = 0; 1701393bc97SHong Zhang 1711393bc97SHong Zhang /* linked list for storing column indices of the active row */ 1721393bc97SHong Zhang nlnk = n + 1; 1731393bc97SHong Zhang ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 1741393bc97SHong Zhang 17535baf27eSSatish Balay ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr); 1761393bc97SHong Zhang 1771393bc97SHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 178d3d32019SBarry Smith f = info->fill; 179a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 1801393bc97SHong Zhang current_space = free_space; 181289bc588SBarry Smith 182289bc588SBarry Smith for (i=0; i<n; i++) { 1831393bc97SHong Zhang /* copy previous fill into linked list */ 184289bc588SBarry Smith nzi = 0; 1851393bc97SHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 1863b4a8b6dSBarry 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); 1871393bc97SHong Zhang ajtmp = aj + ai[r[i]]; 188afcc9904SHong Zhang ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 1891393bc97SHong Zhang nzi += nlnk; 1901393bc97SHong Zhang 1911393bc97SHong Zhang /* add pivot rows into linked list */ 1921393bc97SHong Zhang row = lnk[n]; 1931393bc97SHong Zhang while (row < i) { 194d1170560SHong Zhang nzbd = bdiag[row] - bi[row] + 1; /* num of entries in the row with column index <= row */ 195d1170560SHong Zhang ajtmp = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */ 196d1170560SHong Zhang ierr = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr); 1971393bc97SHong Zhang nzi += nlnk; 1981393bc97SHong Zhang row = lnk[row]; 199289bc588SBarry Smith } 2001393bc97SHong Zhang bi[i+1] = bi[i] + nzi; 2011393bc97SHong Zhang im[i] = nzi; 2021393bc97SHong Zhang 2031393bc97SHong Zhang /* mark bdiag */ 2041393bc97SHong Zhang nzbd = 0; 2051393bc97SHong Zhang nnz = nzi; 2061393bc97SHong Zhang k = lnk[n]; 2071393bc97SHong Zhang while (nnz-- && k < i){ 2081393bc97SHong Zhang nzbd++; 2091393bc97SHong Zhang k = lnk[k]; 2101393bc97SHong Zhang } 2111393bc97SHong Zhang bdiag[i] = bi[i] + nzbd; 2121393bc97SHong Zhang 2131393bc97SHong Zhang /* if free space is not available, make more free space */ 2141393bc97SHong Zhang if (current_space->local_remaining<nzi) { 2151393bc97SHong Zhang nnz = (n - i)*nzi; /* estimated and max additional space needed */ 216a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 2171393bc97SHong Zhang reallocs++; 2181393bc97SHong Zhang } 2191393bc97SHong Zhang 2201393bc97SHong Zhang /* copy data into free space, then initialize lnk */ 2211393bc97SHong Zhang ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 2221393bc97SHong Zhang bi_ptr[i] = current_space->array; 2231393bc97SHong Zhang current_space->array += nzi; 2241393bc97SHong Zhang current_space->local_used += nzi; 2251393bc97SHong Zhang current_space->local_remaining -= nzi; 226289bc588SBarry Smith } 2276cf91177SBarry Smith #if defined(PETSC_USE_INFO) 228464e8d44SSatish Balay if (ai[n] != 0) { 2291393bc97SHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 230ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 231ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 232ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr); 233ae15b995SBarry Smith ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 23405bf559cSSatish Balay } else { 235ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr); 23605bf559cSSatish Balay } 23763ba0a88SBarry Smith #endif 2382fb3ed76SBarry Smith 239898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 240898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 2411987afe7SBarry Smith 2421393bc97SHong Zhang /* destroy list of free space and other temporary array(s) */ 2431393bc97SHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 244a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); 2451393bc97SHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 24635baf27eSSatish Balay ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr); 247289bc588SBarry Smith 248289bc588SBarry Smith /* put together the new matrix */ 249719d5645SBarry Smith ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 250719d5645SBarry Smith ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr); 251719d5645SBarry Smith b = (Mat_SeqAIJ*)(B)->data; 252e6b907acSBarry Smith b->free_a = PETSC_TRUE; 253e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 2547c922b88SBarry Smith b->singlemalloc = PETSC_FALSE; 2551393bc97SHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 2561393bc97SHong Zhang b->j = bj; 2571393bc97SHong Zhang b->i = bi; 2581393bc97SHong Zhang b->diag = bdiag; 259416022c9SBarry Smith b->ilen = 0; 260416022c9SBarry Smith b->imax = 0; 261416022c9SBarry Smith b->row = isrow; 262416022c9SBarry Smith b->col = iscol; 263c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 264c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 26582bf6240SBarry Smith b->icol = isicol; 26687828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2671393bc97SHong Zhang 2681393bc97SHong Zhang /* In b structure: Free imax, ilen, old a, old j. Allocate solve_work, new a, new j */ 269719d5645SBarry Smith ierr = PetscLogObjectMemory(B,(bi[n]-n)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 2701393bc97SHong Zhang b->maxnz = b->nz = bi[n] ; 2717fd98bd6SLois Curfman McInnes 272719d5645SBarry Smith (B)->factor = MAT_FACTOR_LU; 273719d5645SBarry Smith (B)->info.factor_mallocs = reallocs; 274719d5645SBarry Smith (B)->info.fill_ratio_given = f; 275703deb49SSatish Balay 2769f7d0b68SHong Zhang if (ai[n]) { 277719d5645SBarry Smith (B)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]); 278eea2913aSSatish Balay } else { 279719d5645SBarry Smith (B)->info.fill_ratio_needed = 0.0; 280eea2913aSSatish Balay } 281719d5645SBarry Smith (B)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 282719d5645SBarry Smith (B)->ops->solve = MatSolve_SeqAIJ; 283719d5645SBarry Smith (B)->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 284db4efbfdSBarry Smith /* switch to inodes if appropriate */ 2854108e4d5SBarry Smith ierr = MatLUFactorSymbolic_SeqAIJ_Inode(B,A,isrow,iscol,info);CHKERRQ(ierr); 2863a40ed3dSBarry Smith PetscFunctionReturn(0); 287289bc588SBarry Smith } 2881393bc97SHong Zhang 289ce3d78c0SShri Abhyankar #undef __FUNCT__ 290ce3d78c0SShri Abhyankar #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ_newdatastruct" 291ce3d78c0SShri Abhyankar PetscErrorCode MatLUFactorSymbolic_SeqAIJ_newdatastruct(Mat B,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 292ce3d78c0SShri Abhyankar { 293ce3d78c0SShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 294ce3d78c0SShri Abhyankar IS isicol; 295ce3d78c0SShri Abhyankar PetscErrorCode ierr; 296ce3d78c0SShri Abhyankar const PetscInt *r,*ic; 297ce3d78c0SShri Abhyankar PetscInt i,n=A->rmap->n,*ai=a->i,*aj=a->j; 298ce3d78c0SShri Abhyankar PetscInt *bi,*bj,*ajtmp; 299ce3d78c0SShri Abhyankar PetscInt *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im; 300ce3d78c0SShri Abhyankar PetscReal f; 301ce3d78c0SShri Abhyankar PetscInt nlnk,*lnk,k,**bi_ptr; 302ce3d78c0SShri Abhyankar PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 303ce3d78c0SShri Abhyankar PetscBT lnkbt; 304ce3d78c0SShri Abhyankar 305ce3d78c0SShri Abhyankar PetscFunctionBegin; 306ce3d78c0SShri Abhyankar if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square"); 307ce3d78c0SShri Abhyankar ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 308ce3d78c0SShri Abhyankar ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 309ce3d78c0SShri Abhyankar ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 310ce3d78c0SShri Abhyankar 311ce3d78c0SShri Abhyankar /* get new row pointers */ 3129b48462bSShri Abhyankar ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 3139b48462bSShri Abhyankar bi[0] = 0; 3149b48462bSShri Abhyankar 3159b48462bSShri Abhyankar /* bdiag is location of diagonal in factor */ 3169b48462bSShri Abhyankar ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 3179b48462bSShri Abhyankar bdiag[0] = 0; 3189b48462bSShri Abhyankar 3199b48462bSShri Abhyankar /* linked list for storing column indices of the active row */ 3209b48462bSShri Abhyankar nlnk = n + 1; 3219b48462bSShri Abhyankar ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 3229b48462bSShri Abhyankar 3239b48462bSShri Abhyankar ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr); 3249b48462bSShri Abhyankar 3259b48462bSShri Abhyankar /* initial FreeSpace size is f*(ai[n]+1) */ 3269b48462bSShri Abhyankar f = info->fill; 3279b48462bSShri Abhyankar ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 3289b48462bSShri Abhyankar current_space = free_space; 3299b48462bSShri Abhyankar 3309b48462bSShri Abhyankar for (i=0; i<n; i++) { 3319b48462bSShri Abhyankar /* copy previous fill into linked list */ 3329b48462bSShri Abhyankar nzi = 0; 3339b48462bSShri Abhyankar nnz = ai[r[i]+1] - ai[r[i]]; 3349b48462bSShri Abhyankar if (!nnz) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i); 3359b48462bSShri Abhyankar ajtmp = aj + ai[r[i]]; 3369b48462bSShri Abhyankar ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 3379b48462bSShri Abhyankar nzi += nlnk; 3389b48462bSShri Abhyankar 3399b48462bSShri Abhyankar /* add pivot rows into linked list */ 3409b48462bSShri Abhyankar row = lnk[n]; 3419b48462bSShri Abhyankar while (row < i){ 3429b48462bSShri Abhyankar nzbd = bdiag[row] + 1; /* num of entries in the row with column index <= row */ 3439b48462bSShri Abhyankar ajtmp = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */ 3449b48462bSShri Abhyankar ierr = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr); 3459b48462bSShri Abhyankar nzi += nlnk; 3469b48462bSShri Abhyankar row = lnk[row]; 3479b48462bSShri Abhyankar } 3489b48462bSShri Abhyankar bi[i+1] = bi[i] + nzi; 3499b48462bSShri Abhyankar im[i] = nzi; 3509b48462bSShri Abhyankar 3519b48462bSShri Abhyankar /* mark bdiag */ 3529b48462bSShri Abhyankar nzbd = 0; 3539b48462bSShri Abhyankar nnz = nzi; 3549b48462bSShri Abhyankar k = lnk[n]; 3559b48462bSShri Abhyankar while (nnz-- && k < i){ 3569b48462bSShri Abhyankar nzbd++; 3579b48462bSShri Abhyankar k = lnk[k]; 3589b48462bSShri Abhyankar } 3599b48462bSShri Abhyankar bdiag[i] = nzbd; /* note: bdiag[i] = nnzL as input for PetscFreeSpaceContiguous_LU() */ 3609b48462bSShri Abhyankar 3619b48462bSShri Abhyankar /* if free space is not available, make more free space */ 3629b48462bSShri Abhyankar if (current_space->local_remaining<nzi) { 3639b48462bSShri Abhyankar nnz = 2*(n - i)*nzi; /* estimated and max additional space needed */ 3649b48462bSShri Abhyankar ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 3659b48462bSShri Abhyankar reallocs++; 3669b48462bSShri Abhyankar } 3679b48462bSShri Abhyankar 3689b48462bSShri Abhyankar /* copy data into free space, then initialize lnk */ 3699b48462bSShri Abhyankar ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 3709b48462bSShri Abhyankar bi_ptr[i] = current_space->array; 3719b48462bSShri Abhyankar current_space->array += nzi; 3729b48462bSShri Abhyankar current_space->local_used += nzi; 3739b48462bSShri Abhyankar current_space->local_remaining -= nzi; 3749b48462bSShri Abhyankar } 3759b48462bSShri Abhyankar #if defined(PETSC_USE_INFO) 3769b48462bSShri Abhyankar if (ai[n] != 0) { 3779b48462bSShri Abhyankar PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 3789b48462bSShri Abhyankar ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 3799b48462bSShri Abhyankar ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 3809b48462bSShri Abhyankar ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr); 3819b48462bSShri Abhyankar ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 3829b48462bSShri Abhyankar } else { 3839b48462bSShri Abhyankar ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr); 3849b48462bSShri Abhyankar } 3859b48462bSShri Abhyankar #endif 3869b48462bSShri Abhyankar 3879b48462bSShri Abhyankar ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 3889b48462bSShri Abhyankar ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 3899b48462bSShri Abhyankar 3909b48462bSShri Abhyankar /* destroy list of free space and other temporary array(s) */ 3919b48462bSShri Abhyankar ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 3929b48462bSShri Abhyankar ierr = PetscFreeSpaceContiguous_LU_v2(&free_space,bj,n,bi,bdiag);CHKERRQ(ierr); 3939b48462bSShri Abhyankar ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 3949b48462bSShri Abhyankar ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr); 3959b48462bSShri Abhyankar 3969b48462bSShri Abhyankar /* put together the new matrix */ 3979b48462bSShri Abhyankar ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 3989b48462bSShri Abhyankar ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr); 3999b48462bSShri Abhyankar b = (Mat_SeqAIJ*)(B)->data; 4009b48462bSShri Abhyankar b->free_a = PETSC_TRUE; 4019b48462bSShri Abhyankar b->free_ij = PETSC_TRUE; 4029b48462bSShri Abhyankar b->singlemalloc = PETSC_FALSE; 4039b48462bSShri Abhyankar ierr = PetscMalloc((bdiag[0]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 4049b48462bSShri Abhyankar b->j = bj; 4059b48462bSShri Abhyankar b->i = bi; 4069b48462bSShri Abhyankar b->diag = bdiag; 4079b48462bSShri Abhyankar b->ilen = 0; 4089b48462bSShri Abhyankar b->imax = 0; 4099b48462bSShri Abhyankar b->row = isrow; 4109b48462bSShri Abhyankar b->col = iscol; 4119b48462bSShri Abhyankar ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 4129b48462bSShri Abhyankar ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 4139b48462bSShri Abhyankar b->icol = isicol; 4149b48462bSShri Abhyankar ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 4159b48462bSShri Abhyankar 4169b48462bSShri Abhyankar /* In b structure: Free imax, ilen, old a, old j. Allocate solve_work, new a, new j */ 4179b48462bSShri Abhyankar ierr = PetscLogObjectMemory(B,(bdiag[0]+1)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 4189b48462bSShri Abhyankar b->maxnz = b->nz = bdiag[0]+1; 4199b48462bSShri Abhyankar (B)->factor = MAT_FACTOR_LU; 4209b48462bSShri Abhyankar (B)->info.factor_mallocs = reallocs; 4219b48462bSShri Abhyankar (B)->info.fill_ratio_given = f; 4229b48462bSShri Abhyankar 4239b48462bSShri Abhyankar if (ai[n]) { 4249b48462bSShri Abhyankar (B)->info.fill_ratio_needed = ((PetscReal)(bdiag[0]+1))/((PetscReal)ai[n]); 4259b48462bSShri Abhyankar } else { 4269b48462bSShri Abhyankar (B)->info.fill_ratio_needed = 0.0; 4279b48462bSShri Abhyankar } 428b4f5729fSShri Abhyankar (B)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ_newdatastruct; 4299b48462bSShri Abhyankar PetscFunctionReturn(0); 4309b48462bSShri Abhyankar } 4319b48462bSShri Abhyankar 4325b5bc046SBarry Smith /* 4335b5bc046SBarry Smith Trouble in factorization, should we dump the original matrix? 4345b5bc046SBarry Smith */ 4355b5bc046SBarry Smith #undef __FUNCT__ 4365b5bc046SBarry Smith #define __FUNCT__ "MatFactorDumpMatrix" 4375b5bc046SBarry Smith PetscErrorCode MatFactorDumpMatrix(Mat A) 4385b5bc046SBarry Smith { 4395b5bc046SBarry Smith PetscErrorCode ierr; 44090d69ab7SBarry Smith PetscTruth flg = PETSC_FALSE; 4415b5bc046SBarry Smith 4425b5bc046SBarry Smith PetscFunctionBegin; 44390d69ab7SBarry Smith ierr = PetscOptionsGetTruth(PETSC_NULL,"-mat_factor_dump_on_error",&flg,PETSC_NULL);CHKERRQ(ierr); 4445b5bc046SBarry Smith if (flg) { 4455b5bc046SBarry Smith PetscViewer viewer; 4465b5bc046SBarry Smith char filename[PETSC_MAX_PATH_LEN]; 4475b5bc046SBarry Smith 4485b5bc046SBarry Smith ierr = PetscSNPrintf(filename,PETSC_MAX_PATH_LEN,"matrix_factor_error.%d",PetscGlobalRank);CHKERRQ(ierr); 4497adad957SLisandro Dalcin ierr = PetscViewerBinaryOpen(((PetscObject)A)->comm,filename,FILE_MODE_WRITE,&viewer);CHKERRQ(ierr); 4505b5bc046SBarry Smith ierr = MatView(A,viewer);CHKERRQ(ierr); 4515b5bc046SBarry Smith ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr); 4525b5bc046SBarry Smith } 4535b5bc046SBarry Smith PetscFunctionReturn(0); 4545b5bc046SBarry Smith } 4555b5bc046SBarry Smith 4564108e4d5SBarry Smith extern PetscErrorCode MatSolve_SeqAIJ_Inode(Mat,Vec,Vec); 457db4efbfdSBarry Smith 458c9c72f8fSHong Zhang #undef __FUNCT__ 459c9c72f8fSHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_newdatastruct" 460c9c72f8fSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqAIJ_newdatastruct(Mat B,Mat A,const MatFactorInfo *info) 461c9c72f8fSHong Zhang { 462c9c72f8fSHong Zhang Mat C=B; 463c9c72f8fSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 464c9c72f8fSHong Zhang IS isrow = b->row,isicol = b->icol; 465c9c72f8fSHong Zhang PetscErrorCode ierr; 466c9c72f8fSHong Zhang const PetscInt *r,*ic,*ics; 467c9c72f8fSHong Zhang PetscInt i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 468c9c72f8fSHong Zhang PetscInt *ajtmp,*bjtmp,nz,nzL,row,*bdiag=b->diag,*pj; 469c9c72f8fSHong Zhang MatScalar *rtmp,*pc,multiplier,*v,*pv,*aa=a->a; 470c9c72f8fSHong Zhang PetscTruth row_identity,col_identity; 471c9c72f8fSHong Zhang 472d4ad06f7SHong Zhang LUShift_Ctx sctx; 473d4ad06f7SHong Zhang PetscInt *ddiag,newshift; 474d4ad06f7SHong Zhang PetscReal rs; 475d4ad06f7SHong Zhang MatScalar d; 476d4ad06f7SHong Zhang 477c9c72f8fSHong Zhang PetscFunctionBegin; 478d6e5152cSHong Zhang /* MatPivotSetUp(): initialize shift context sctx */ 479d6e5152cSHong Zhang ierr = PetscMemzero(&sctx,sizeof(LUShift_Ctx));CHKERRQ(ierr); 480d4ad06f7SHong Zhang 481d4ad06f7SHong Zhang /* if both shift schemes are chosen by user, only use info->shiftpd */ 482d4ad06f7SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 483d4ad06f7SHong Zhang ddiag = a->diag; 484d4ad06f7SHong Zhang sctx.shift_top = info->zeropivot; 485d4ad06f7SHong Zhang for (i=0; i<n; i++) { 486d4ad06f7SHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 487d4ad06f7SHong Zhang d = (aa)[ddiag[i]]; 488d4ad06f7SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 489d4ad06f7SHong Zhang v = aa+ai[i]; 490d4ad06f7SHong Zhang nz = ai[i+1] - ai[i]; 491d4ad06f7SHong Zhang for (j=0; j<nz; j++) 492d4ad06f7SHong Zhang rs += PetscAbsScalar(v[j]); 493d4ad06f7SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 494d4ad06f7SHong Zhang } 495d4ad06f7SHong Zhang sctx.shift_top *= 1.1; 496d4ad06f7SHong Zhang sctx.nshift_max = 5; 497d4ad06f7SHong Zhang sctx.shift_lo = 0.; 498d4ad06f7SHong Zhang sctx.shift_hi = 1.; 499d4ad06f7SHong Zhang } 500d4ad06f7SHong Zhang 501c9c72f8fSHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 502c9c72f8fSHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 503c9c72f8fSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 504c9c72f8fSHong Zhang ics = ic; 505c9c72f8fSHong Zhang 506d4ad06f7SHong Zhang do { 507d4ad06f7SHong Zhang sctx.lushift = PETSC_FALSE; 508c9c72f8fSHong Zhang for (i=0; i<n; i++){ 509c9c72f8fSHong Zhang /* zero rtmp */ 510c9c72f8fSHong Zhang /* L part */ 511c9c72f8fSHong Zhang nz = bi[i+1] - bi[i]; 512c9c72f8fSHong Zhang bjtmp = bj + bi[i]; 513c9c72f8fSHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 514c9c72f8fSHong Zhang 515c9c72f8fSHong Zhang /* U part */ 51662fbd6afSShri Abhyankar nz = bdiag[i]-bdiag[i+1]; 51762fbd6afSShri Abhyankar bjtmp = bj + bdiag[i+1]+1; 518813a1f2bSShri Abhyankar for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 519813a1f2bSShri Abhyankar 520813a1f2bSShri Abhyankar /* load in initial (unfactored row) */ 521813a1f2bSShri Abhyankar nz = ai[r[i]+1] - ai[r[i]]; 522813a1f2bSShri Abhyankar ajtmp = aj + ai[r[i]]; 523813a1f2bSShri Abhyankar v = aa + ai[r[i]]; 524813a1f2bSShri Abhyankar for (j=0; j<nz; j++) { 525813a1f2bSShri Abhyankar rtmp[ics[ajtmp[j]]] = v[j]; 526813a1f2bSShri Abhyankar } 527813a1f2bSShri Abhyankar /* ZeropivotApply() */ 528813a1f2bSShri Abhyankar rtmp[ics[r[i]]] += sctx.shift_amount; /* shift the diagonal of the matrix */ 529813a1f2bSShri Abhyankar 530813a1f2bSShri Abhyankar /* elimination */ 531813a1f2bSShri Abhyankar bjtmp = bj + bi[i]; 532813a1f2bSShri Abhyankar row = *bjtmp++; 533813a1f2bSShri Abhyankar nzL = bi[i+1] - bi[i]; 534f268cba8SShri Abhyankar for(k=0; k < nzL;k++) { 535813a1f2bSShri Abhyankar pc = rtmp + row; 536813a1f2bSShri Abhyankar if (*pc != 0.0) { 537813a1f2bSShri Abhyankar pv = b->a + bdiag[row]; 538813a1f2bSShri Abhyankar multiplier = *pc * (*pv); 539813a1f2bSShri Abhyankar *pc = multiplier; 54062fbd6afSShri Abhyankar pj = b->j + bdiag[row+1]+1; /* beginning of U(row,:) */ 54162fbd6afSShri Abhyankar pv = b->a + bdiag[row+1]+1; 54262fbd6afSShri Abhyankar nz = bdiag[row]-bdiag[row+1]-1; /* num of entries in U(row,:) excluding diag */ 543813a1f2bSShri Abhyankar for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 544813a1f2bSShri Abhyankar ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 545813a1f2bSShri Abhyankar } 546f268cba8SShri Abhyankar row = *bjtmp++; 547813a1f2bSShri Abhyankar } 548813a1f2bSShri Abhyankar 549813a1f2bSShri Abhyankar /* finished row so stick it into b->a */ 550813a1f2bSShri Abhyankar rs = 0.0; 551813a1f2bSShri Abhyankar /* L part */ 552813a1f2bSShri Abhyankar pv = b->a + bi[i] ; 553813a1f2bSShri Abhyankar pj = b->j + bi[i] ; 554813a1f2bSShri Abhyankar nz = bi[i+1] - bi[i]; 555813a1f2bSShri Abhyankar for (j=0; j<nz; j++) { 556813a1f2bSShri Abhyankar pv[j] = rtmp[pj[j]]; rs += PetscAbsScalar(pv[j]); 557813a1f2bSShri Abhyankar } 558813a1f2bSShri Abhyankar 559813a1f2bSShri Abhyankar /* U part */ 56062fbd6afSShri Abhyankar pv = b->a + bdiag[i+1]+1; 56162fbd6afSShri Abhyankar pj = b->j + bdiag[i+1]+1; 56262fbd6afSShri Abhyankar nz = bdiag[i] - bdiag[i+1]-1; 563813a1f2bSShri Abhyankar for (j=0; j<nz; j++) { 564813a1f2bSShri Abhyankar pv[j] = rtmp[pj[j]]; rs += PetscAbsScalar(pv[j]); 565813a1f2bSShri Abhyankar } 566813a1f2bSShri Abhyankar 5678ff23777SHong Zhang /* MatPivotCheck() */ 568813a1f2bSShri Abhyankar sctx.rs = rs; 569813a1f2bSShri Abhyankar sctx.pv = rtmp[i]; 5708ff23777SHong Zhang /* ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr); */ 5718ff23777SHong Zhang if (info->shiftnz){ 5728ff23777SHong Zhang ierr = MatPivotCheck_nz(info,sctx,i,newshift);CHKERRQ(ierr); 5738ff23777SHong Zhang } else if (info->shiftpd){ 5748ff23777SHong Zhang ierr = MatPivotCheck_pd(info,sctx,i,newshift);CHKERRQ(ierr); 5758ff23777SHong Zhang } else if (info->shiftinblocks){ 5768ff23777SHong Zhang ierr = MatPivotCheck_inblocks(info,sctx,i,newshift);CHKERRQ(ierr); 5778ff23777SHong Zhang } else { 5788ff23777SHong Zhang ierr = MatPivotCheck_none(info,sctx,i,newshift);CHKERRQ(ierr); 5798ff23777SHong Zhang } 5808ff23777SHong Zhang rtmp[i] = sctx.pv; 581813a1f2bSShri Abhyankar if (newshift == 1) break; 582813a1f2bSShri Abhyankar 583813a1f2bSShri Abhyankar /* Mark diagonal and invert diagonal for simplier triangular solves */ 584813a1f2bSShri Abhyankar pv = b->a + bdiag[i]; 585813a1f2bSShri Abhyankar *pv = 1.0/rtmp[i]; 586813a1f2bSShri Abhyankar 587813a1f2bSShri Abhyankar } /* endof for (i=0; i<n; i++){ */ 588813a1f2bSShri Abhyankar 5898ff23777SHong Zhang /* MatPivotRefine() */ 590813a1f2bSShri Abhyankar if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max){ 591813a1f2bSShri Abhyankar /* 592813a1f2bSShri Abhyankar * if no shift in this attempt & shifting & started shifting & can refine, 593813a1f2bSShri Abhyankar * then try lower shift 594813a1f2bSShri Abhyankar */ 595813a1f2bSShri Abhyankar sctx.shift_hi = sctx.shift_fraction; 596813a1f2bSShri Abhyankar sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 597813a1f2bSShri Abhyankar sctx.shift_amount = sctx.shift_fraction * sctx.shift_top; 598813a1f2bSShri Abhyankar sctx.lushift = PETSC_TRUE; 599813a1f2bSShri Abhyankar sctx.nshift++; 600813a1f2bSShri Abhyankar } 601813a1f2bSShri Abhyankar } while (sctx.lushift); 602813a1f2bSShri Abhyankar 603813a1f2bSShri Abhyankar ierr = PetscFree(rtmp);CHKERRQ(ierr); 604813a1f2bSShri Abhyankar ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 605813a1f2bSShri Abhyankar ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 606813a1f2bSShri Abhyankar 607813a1f2bSShri Abhyankar ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 608813a1f2bSShri Abhyankar ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 609813a1f2bSShri Abhyankar if (row_identity && col_identity) { 61062fbd6afSShri Abhyankar C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_newdatastruct_v2; 611813a1f2bSShri Abhyankar } else { 612f268cba8SShri Abhyankar C->ops->solve = MatSolve_SeqAIJ_newdatastruct_v2; 613813a1f2bSShri Abhyankar } 614813a1f2bSShri Abhyankar 615813a1f2bSShri Abhyankar C->ops->solveadd = 0; 616813a1f2bSShri Abhyankar C->ops->solvetranspose = 0; 617813a1f2bSShri Abhyankar C->ops->solvetransposeadd = 0; 618813a1f2bSShri Abhyankar C->ops->matsolve = 0; 619813a1f2bSShri Abhyankar C->assembled = PETSC_TRUE; 620813a1f2bSShri Abhyankar C->preallocated = PETSC_TRUE; 621813a1f2bSShri Abhyankar ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 622813a1f2bSShri Abhyankar 6238ff23777SHong Zhang /* MatPivotView() */ 624813a1f2bSShri Abhyankar if (sctx.nshift){ 625813a1f2bSShri Abhyankar if (info->shiftpd) { 626813a1f2bSShri Abhyankar 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); 627813a1f2bSShri Abhyankar } else if (info->shiftnz) { 628813a1f2bSShri Abhyankar ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 6298ff23777SHong Zhang } else if (info->shiftinblocks){ 6308ff23777SHong Zhang ierr = PetscInfo2(A,"number of shift_inblocks applied %D, each shift_amount %G\n",sctx.nshift,info->shiftinblocks);CHKERRQ(ierr); 631813a1f2bSShri Abhyankar } 632813a1f2bSShri Abhyankar } 633813a1f2bSShri Abhyankar PetscFunctionReturn(0); 634813a1f2bSShri Abhyankar } 635813a1f2bSShri Abhyankar 6364a2ae208SSatish Balay #undef __FUNCT__ 6374a2ae208SSatish Balay #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ" 6380481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info) 639289bc588SBarry Smith { 640719d5645SBarry Smith Mat C=B; 641416022c9SBarry Smith Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 64282bf6240SBarry Smith IS isrow = b->row,isicol = b->icol; 6436849ba73SBarry Smith PetscErrorCode ierr; 6445d0c19d7SBarry Smith const PetscInt *r,*ic,*ics; 645d278edc7SBarry Smith PetscInt nz,row,i,j,n=A->rmap->n,diag; 646d278edc7SBarry Smith const PetscInt *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 647d278edc7SBarry Smith const PetscInt *ajtmp,*bjtmp,*diag_offset = b->diag,*pj; 648d278edc7SBarry Smith MatScalar *pv,*rtmp,*pc,multiplier,d; 649d278edc7SBarry Smith const MatScalar *v,*aa=a->a; 65033f9893dSHong Zhang PetscReal rs=0.0; 651b3bf805bSHong Zhang LUShift_Ctx sctx; 65242898933SHong Zhang PetscInt newshift,*ddiag; 653289bc588SBarry Smith 6543a40ed3dSBarry Smith PetscFunctionBegin; 65578b31e54SBarry Smith ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 65678b31e54SBarry Smith ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 657b78a477dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 6589f7d0b68SHong Zhang ics = ic; 659289bc588SBarry Smith 660d4ad06f7SHong Zhang /* initialize shift context sctx */ 661d4ad06f7SHong Zhang sctx.nshift = 0; 662ada7143aSSatish Balay sctx.nshift_max = 0; 663d4ad06f7SHong Zhang sctx.shift_top = 0.0; 664d4ad06f7SHong Zhang sctx.shift_lo = 0.0; 665d4ad06f7SHong Zhang sctx.shift_hi = 0.0; 666d4ad06f7SHong Zhang sctx.shift_fraction = 0.0; 667d4ad06f7SHong Zhang sctx.shift_amount = 0.0; 668ada7143aSSatish Balay 669118f5789SBarry Smith /* if both shift schemes are chosen by user, only use info->shiftpd */ 6701a890ab1SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 67142898933SHong Zhang ddiag = a->diag; 6729f7d0b68SHong Zhang sctx.shift_top = info->zeropivot; 6736cc28720Svictorle for (i=0; i<n; i++) { 6749f95998fSHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 6759f7d0b68SHong Zhang d = (aa)[ddiag[i]]; 6761a890ab1SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 6779f7d0b68SHong Zhang v = aa+ai[i]; 6789f7d0b68SHong Zhang nz = ai[i+1] - ai[i]; 679e24cfe64SHong Zhang for (j=0; j<nz; j++) 6801a890ab1SHong Zhang rs += PetscAbsScalar(v[j]); 6811a890ab1SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 6826cc28720Svictorle } 683118f5789SBarry Smith sctx.shift_top *= 1.1; 684d2276718SHong Zhang sctx.nshift_max = 5; 685d2276718SHong Zhang sctx.shift_lo = 0.; 686d2276718SHong Zhang sctx.shift_hi = 1.; 687a0a356efSHong Zhang } 688a0a356efSHong Zhang 689085256b3SBarry Smith do { 690d2276718SHong Zhang sctx.lushift = PETSC_FALSE; 691289bc588SBarry Smith for (i=0; i<n; i++){ 692b3bf805bSHong Zhang nz = bi[i+1] - bi[i]; 693b3bf805bSHong Zhang bjtmp = bj + bi[i]; 6949f7d0b68SHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 695289bc588SBarry Smith 696289bc588SBarry Smith /* load in initial (unfactored row) */ 6979f7d0b68SHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 6989f7d0b68SHong Zhang ajtmp = aj + ai[r[i]]; 6999f7d0b68SHong Zhang v = aa + ai[r[i]]; 700085256b3SBarry Smith for (j=0; j<nz; j++) { 701b3bf805bSHong Zhang rtmp[ics[ajtmp[j]]] = v[j]; 702085256b3SBarry Smith } 703d2276718SHong Zhang rtmp[ics[r[i]]] += sctx.shift_amount; /* shift the diagonal of the matrix */ 704bd1bc851SBarry Smith /* if (sctx.shift_amount > 0.0) printf("row %d, shift %g\n",i,sctx.shift_amount); */ 705289bc588SBarry Smith 706b3bf805bSHong Zhang row = *bjtmp++; 707f2582111SSatish Balay while (row < i) { 7088c37ef55SBarry Smith pc = rtmp + row; 7098c37ef55SBarry Smith if (*pc != 0.0) { 710010a20caSHong Zhang pv = b->a + diag_offset[row]; 711010a20caSHong Zhang pj = b->j + diag_offset[row] + 1; 71235aab85fSBarry Smith multiplier = *pc / *pv++; 7138c37ef55SBarry Smith *pc = multiplier; 714b3bf805bSHong Zhang nz = bi[row+1] - diag_offset[row] - 1; 7159f7d0b68SHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 716dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 717289bc588SBarry Smith } 718b3bf805bSHong Zhang row = *bjtmp++; 719289bc588SBarry Smith } 720416022c9SBarry Smith /* finished row so stick it into b->a */ 721b3bf805bSHong Zhang pv = b->a + bi[i] ; 722b3bf805bSHong Zhang pj = b->j + bi[i] ; 723b3bf805bSHong Zhang nz = bi[i+1] - bi[i]; 724b3bf805bSHong Zhang diag = diag_offset[i] - bi[i]; 725e57ff13aSBarry Smith rs = 0.0; 726d3d32019SBarry Smith for (j=0; j<nz; j++) { 7279f7d0b68SHong Zhang pv[j] = rtmp[pj[j]]; 7289f7d0b68SHong Zhang rs += PetscAbsScalar(pv[j]); 729d3d32019SBarry Smith } 730e57ff13aSBarry Smith rs -= PetscAbsScalar(pv[diag]); 731d2276718SHong Zhang 732b3bf805bSHong Zhang /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */ 733d2276718SHong Zhang sctx.rs = rs; 734d2276718SHong Zhang sctx.pv = pv[diag]; 735c6b1f410SHong Zhang ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr); 7365b5bc046SBarry Smith if (newshift == 1) break; 73735aab85fSBarry Smith } 738d2276718SHong Zhang 7390481f469SBarry Smith if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) { 7406cc28720Svictorle /* 7416c037d1bSvictorle * if no shift in this attempt & shifting & started shifting & can refine, 7426cc28720Svictorle * then try lower shift 7436cc28720Svictorle */ 7440481f469SBarry Smith sctx.shift_hi = sctx.shift_fraction; 7450481f469SBarry Smith sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 7460481f469SBarry Smith sctx.shift_amount = sctx.shift_fraction * sctx.shift_top; 747d2276718SHong Zhang sctx.lushift = PETSC_TRUE; 748d2276718SHong Zhang sctx.nshift++; 7496cc28720Svictorle } 750d2276718SHong Zhang } while (sctx.lushift); 7510f11f9aeSSatish Balay 75235aab85fSBarry Smith /* invert diagonal entries for simplier triangular solves */ 75335aab85fSBarry Smith for (i=0; i<n; i++) { 754010a20caSHong Zhang b->a[diag_offset[i]] = 1.0/b->a[diag_offset[i]]; 75535aab85fSBarry Smith } 756606d414cSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 75778b31e54SBarry Smith ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 75878b31e54SBarry Smith ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 759db4efbfdSBarry Smith if (b->inode.use) { 7604108e4d5SBarry Smith C->ops->solve = MatSolve_SeqAIJ_Inode; 761db4efbfdSBarry Smith } else { 7628d8c7c43SBarry Smith PetscTruth row_identity, col_identity; 7638d8c7c43SBarry Smith ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 7648d8c7c43SBarry Smith ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 7658d8c7c43SBarry Smith if (row_identity && col_identity) { 7668d8c7c43SBarry Smith C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering; 7678d8c7c43SBarry Smith } else { 768db4efbfdSBarry Smith C->ops->solve = MatSolve_SeqAIJ; 769db4efbfdSBarry Smith } 7708d8c7c43SBarry Smith } 771db4efbfdSBarry Smith C->ops->solveadd = MatSolveAdd_SeqAIJ; 772db4efbfdSBarry Smith C->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 773db4efbfdSBarry Smith C->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ; 774de26497bSBarry Smith C->ops->matsolve = MatMatSolve_SeqAIJ; 775c456f294SBarry Smith C->assembled = PETSC_TRUE; 7765c9eb25fSBarry Smith C->preallocated = PETSC_TRUE; 777d0f46423SBarry Smith ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 778d2276718SHong Zhang if (sctx.nshift){ 779e738e422SBarry Smith if (info->shiftpd) { 7800481f469SBarry 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); 781e738e422SBarry Smith } else if (info->shiftnz) { 782e738e422SBarry Smith ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 7836cc28720Svictorle } 7840697b6caSHong Zhang } 7853a40ed3dSBarry Smith PetscFunctionReturn(0); 786289bc588SBarry Smith } 7870889b5dcSvictorle 788137fb511SHong Zhang /* 789137fb511SHong Zhang This routine implements inplace ILU(0) with row or/and column permutations. 790137fb511SHong Zhang Input: 791137fb511SHong Zhang A - original matrix 792137fb511SHong Zhang Output; 793137fb511SHong Zhang A - a->i (rowptr) is same as original rowptr, but factored i-the row is stored in rowperm[i] 794137fb511SHong Zhang a->j (col index) is permuted by the inverse of colperm, then sorted 795137fb511SHong Zhang a->a reordered accordingly with a->j 796137fb511SHong Zhang a->diag (ptr to diagonal elements) is updated. 797137fb511SHong Zhang */ 798137fb511SHong Zhang #undef __FUNCT__ 799137fb511SHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_InplaceWithPerm" 8000481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ_InplaceWithPerm(Mat B,Mat A,const MatFactorInfo *info) 801137fb511SHong Zhang { 802b051339dSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 803b051339dSHong Zhang IS isrow = a->row,isicol = a->icol; 804137fb511SHong Zhang PetscErrorCode ierr; 8055d0c19d7SBarry Smith const PetscInt *r,*ic,*ics; 8065d0c19d7SBarry Smith PetscInt i,j,n=A->rmap->n,*ai=a->i,*aj=a->j; 8075d0c19d7SBarry Smith PetscInt *ajtmp,nz,row; 808b051339dSHong Zhang PetscInt *diag = a->diag,nbdiag,*pj; 809a77337e4SBarry Smith PetscScalar *rtmp,*pc,multiplier,d; 810a77337e4SBarry Smith MatScalar *v,*pv; 811137fb511SHong Zhang PetscReal rs; 812137fb511SHong Zhang LUShift_Ctx sctx; 813b051339dSHong Zhang PetscInt newshift; 814137fb511SHong Zhang 815137fb511SHong Zhang PetscFunctionBegin; 816719d5645SBarry Smith if (A != B) SETERRQ(PETSC_ERR_ARG_INCOMP,"input and output matrix must have same address"); 817137fb511SHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 818137fb511SHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 819137fb511SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr); 820137fb511SHong Zhang ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr); 821b051339dSHong Zhang ics = ic; 822137fb511SHong Zhang 823137fb511SHong Zhang sctx.shift_top = 0; 824137fb511SHong Zhang sctx.nshift_max = 0; 825137fb511SHong Zhang sctx.shift_lo = 0; 826137fb511SHong Zhang sctx.shift_hi = 0; 8270481f469SBarry Smith sctx.shift_fraction = 0; 828137fb511SHong Zhang 829137fb511SHong Zhang /* if both shift schemes are chosen by user, only use info->shiftpd */ 830137fb511SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 831137fb511SHong Zhang sctx.shift_top = 0; 832137fb511SHong Zhang for (i=0; i<n; i++) { 833137fb511SHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 834b051339dSHong Zhang d = (a->a)[diag[i]]; 835137fb511SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 836b051339dSHong Zhang v = a->a+ai[i]; 837b051339dSHong Zhang nz = ai[i+1] - ai[i]; 838137fb511SHong Zhang for (j=0; j<nz; j++) 839137fb511SHong Zhang rs += PetscAbsScalar(v[j]); 840137fb511SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 841137fb511SHong Zhang } 842137fb511SHong Zhang if (sctx.shift_top < info->zeropivot) sctx.shift_top = info->zeropivot; 843137fb511SHong Zhang sctx.shift_top *= 1.1; 844137fb511SHong Zhang sctx.nshift_max = 5; 845137fb511SHong Zhang sctx.shift_lo = 0.; 846137fb511SHong Zhang sctx.shift_hi = 1.; 847137fb511SHong Zhang } 848137fb511SHong Zhang 849137fb511SHong Zhang sctx.shift_amount = 0; 850137fb511SHong Zhang sctx.nshift = 0; 851137fb511SHong Zhang do { 852137fb511SHong Zhang sctx.lushift = PETSC_FALSE; 853137fb511SHong Zhang for (i=0; i<n; i++){ 854b051339dSHong Zhang /* load in initial unfactored row */ 855b051339dSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 856b051339dSHong Zhang ajtmp = aj + ai[r[i]]; 857b051339dSHong Zhang v = a->a + ai[r[i]]; 858137fb511SHong Zhang /* sort permuted ajtmp and values v accordingly */ 859b051339dSHong Zhang for (j=0; j<nz; j++) ajtmp[j] = ics[ajtmp[j]]; 860137fb511SHong Zhang ierr = PetscSortIntWithScalarArray(nz,ajtmp,v);CHKERRQ(ierr); 861137fb511SHong Zhang 862b051339dSHong Zhang diag[r[i]] = ai[r[i]]; 863137fb511SHong Zhang for (j=0; j<nz; j++) { 864137fb511SHong Zhang rtmp[ajtmp[j]] = v[j]; 865b051339dSHong Zhang if (ajtmp[j] < i) diag[r[i]]++; /* update a->diag */ 866137fb511SHong Zhang } 867137fb511SHong Zhang rtmp[r[i]] += sctx.shift_amount; /* shift the diagonal of the matrix */ 868137fb511SHong Zhang 869b051339dSHong Zhang row = *ajtmp++; 870137fb511SHong Zhang while (row < i) { 871137fb511SHong Zhang pc = rtmp + row; 872137fb511SHong Zhang if (*pc != 0.0) { 873b051339dSHong Zhang pv = a->a + diag[r[row]]; 874b051339dSHong Zhang pj = aj + diag[r[row]] + 1; 875137fb511SHong Zhang 876137fb511SHong Zhang multiplier = *pc / *pv++; 877137fb511SHong Zhang *pc = multiplier; 878b051339dSHong Zhang nz = ai[r[row]+1] - diag[r[row]] - 1; 879b051339dSHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 880dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 881137fb511SHong Zhang } 882b051339dSHong Zhang row = *ajtmp++; 883137fb511SHong Zhang } 884b051339dSHong Zhang /* finished row so overwrite it onto a->a */ 885b051339dSHong Zhang pv = a->a + ai[r[i]] ; 886b051339dSHong Zhang pj = aj + ai[r[i]] ; 887b051339dSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 888b051339dSHong Zhang nbdiag = diag[r[i]] - ai[r[i]]; /* num of entries before the diagonal */ 889137fb511SHong Zhang 890137fb511SHong Zhang rs = 0.0; 891137fb511SHong Zhang for (j=0; j<nz; j++) { 892b051339dSHong Zhang pv[j] = rtmp[pj[j]]; 893b051339dSHong Zhang if (j != nbdiag) rs += PetscAbsScalar(pv[j]); 894137fb511SHong Zhang } 895137fb511SHong Zhang 896137fb511SHong Zhang /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */ 897137fb511SHong Zhang sctx.rs = rs; 898b051339dSHong Zhang sctx.pv = pv[nbdiag]; 899c6b1f410SHong Zhang ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr); 900137fb511SHong Zhang if (newshift == 1) break; 901137fb511SHong Zhang } 902137fb511SHong Zhang 9030481f469SBarry Smith if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) { 904137fb511SHong Zhang /* 905137fb511SHong Zhang * if no shift in this attempt & shifting & started shifting & can refine, 906137fb511SHong Zhang * then try lower shift 907137fb511SHong Zhang */ 9080481f469SBarry Smith sctx.shift_hi = sctx.shift_fraction; 9090481f469SBarry Smith sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 9100481f469SBarry Smith sctx.shift_amount = sctx.shift_fraction * sctx.shift_top; 911137fb511SHong Zhang sctx.lushift = PETSC_TRUE; 912137fb511SHong Zhang sctx.nshift++; 913137fb511SHong Zhang } 914137fb511SHong Zhang } while (sctx.lushift); 915137fb511SHong Zhang 916137fb511SHong Zhang /* invert diagonal entries for simplier triangular solves */ 917137fb511SHong Zhang for (i=0; i<n; i++) { 918b051339dSHong Zhang a->a[diag[r[i]]] = 1.0/a->a[diag[r[i]]]; 919137fb511SHong Zhang } 920137fb511SHong Zhang 921137fb511SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 922137fb511SHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 923137fb511SHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 924b051339dSHong Zhang A->ops->solve = MatSolve_SeqAIJ_InplaceWithPerm; 925db4efbfdSBarry Smith A->ops->solveadd = MatSolveAdd_SeqAIJ; 926db4efbfdSBarry Smith A->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 927db4efbfdSBarry Smith A->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ; 928b051339dSHong Zhang A->assembled = PETSC_TRUE; 9295c9eb25fSBarry Smith A->preallocated = PETSC_TRUE; 930d0f46423SBarry Smith ierr = PetscLogFlops(A->cmap->n);CHKERRQ(ierr); 931137fb511SHong Zhang if (sctx.nshift){ 932e738e422SBarry Smith if (info->shiftpd) { 9330481f469SBarry 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); 934e738e422SBarry Smith } else if (info->shiftnz) { 935e738e422SBarry Smith ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 936137fb511SHong Zhang } 937137fb511SHong Zhang } 938137fb511SHong Zhang PetscFunctionReturn(0); 939137fb511SHong Zhang } 940137fb511SHong Zhang 9410a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 9424a2ae208SSatish Balay #undef __FUNCT__ 9434a2ae208SSatish Balay #define __FUNCT__ "MatLUFactor_SeqAIJ" 9440481f469SBarry Smith PetscErrorCode MatLUFactor_SeqAIJ(Mat A,IS row,IS col,const MatFactorInfo *info) 945da3a660dSBarry Smith { 946dfbe8321SBarry Smith PetscErrorCode ierr; 947416022c9SBarry Smith Mat C; 948416022c9SBarry Smith 9493a40ed3dSBarry Smith PetscFunctionBegin; 95043244d56SBarry Smith ierr = MatGetFactor(A,MAT_SOLVER_PETSC,MAT_FACTOR_LU,&C);CHKERRQ(ierr); 951719d5645SBarry Smith ierr = MatLUFactorSymbolic(C,A,row,col,info);CHKERRQ(ierr); 952719d5645SBarry Smith ierr = MatLUFactorNumeric(C,A,info);CHKERRQ(ierr); 953db4efbfdSBarry Smith A->ops->solve = C->ops->solve; 954db4efbfdSBarry Smith A->ops->solvetranspose = C->ops->solvetranspose; 955273d9f13SBarry Smith ierr = MatHeaderCopy(A,C);CHKERRQ(ierr); 95652e6d16bSBarry Smith ierr = PetscLogObjectParent(A,((Mat_SeqAIJ*)(A->data))->icol);CHKERRQ(ierr); 9573a40ed3dSBarry Smith PetscFunctionReturn(0); 958da3a660dSBarry Smith } 9590a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 9601d098868SHong Zhang 961889a8dedSBarry Smith 9624a2ae208SSatish Balay #undef __FUNCT__ 9634a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ" 964dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ(Mat A,Vec bb,Vec xx) 9658c37ef55SBarry Smith { 966416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 967416022c9SBarry Smith IS iscol = a->col,isrow = a->row; 9686849ba73SBarry Smith PetscErrorCode ierr; 9695d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 9705d0c19d7SBarry Smith PetscInt nz; 9715d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 972dd6ea824SBarry Smith PetscScalar *x,*tmp,*tmps,sum; 973d9fead3dSBarry Smith const PetscScalar *b; 974dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 9758c37ef55SBarry Smith 9763a40ed3dSBarry Smith PetscFunctionBegin; 9773a40ed3dSBarry Smith if (!n) PetscFunctionReturn(0); 97891bf9adeSBarry Smith 979d9fead3dSBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 9801ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 981416022c9SBarry Smith tmp = a->solve_work; 9828c37ef55SBarry Smith 9833b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 9843b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 9858c37ef55SBarry Smith 9868c37ef55SBarry Smith /* forward solve the lower triangular */ 9878c37ef55SBarry Smith tmp[0] = b[*r++]; 988010a20caSHong Zhang tmps = tmp; 9898c37ef55SBarry Smith for (i=1; i<n; i++) { 990010a20caSHong Zhang v = aa + ai[i] ; 991010a20caSHong Zhang vi = aj + ai[i] ; 99253e7425aSBarry Smith nz = a->diag[i] - ai[i]; 99353e7425aSBarry Smith sum = b[*r++]; 994003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 9958c37ef55SBarry Smith tmp[i] = sum; 9968c37ef55SBarry Smith } 9978c37ef55SBarry Smith 9988c37ef55SBarry Smith /* backward solve the upper triangular */ 9998c37ef55SBarry Smith for (i=n-1; i>=0; i--){ 1000010a20caSHong Zhang v = aa + a->diag[i] + 1; 1001010a20caSHong Zhang vi = aj + a->diag[i] + 1; 1002416022c9SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 10038c37ef55SBarry Smith sum = tmp[i]; 1004003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 1005010a20caSHong Zhang x[*c--] = tmp[i] = sum*aa[a->diag[i]]; 10068c37ef55SBarry Smith } 10078c37ef55SBarry Smith 10083b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 10093b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 1010d9fead3dSBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 10111ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1012dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 10133a40ed3dSBarry Smith PetscFunctionReturn(0); 10148c37ef55SBarry Smith } 1015026e39d0SSatish Balay 10162bebee5dSHong Zhang #undef __FUNCT__ 10172bebee5dSHong Zhang #define __FUNCT__ "MatMatSolve_SeqAIJ" 10182bebee5dSHong Zhang PetscErrorCode MatMatSolve_SeqAIJ(Mat A,Mat B,Mat X) 10192bebee5dSHong Zhang { 10202bebee5dSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 10212bebee5dSHong Zhang IS iscol = a->col,isrow = a->row; 10222bebee5dSHong Zhang PetscErrorCode ierr; 10235d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 10245d0c19d7SBarry Smith PetscInt nz,neq; 10255d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 1026dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,*tmps,sum; 1027dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 1028db4efbfdSBarry Smith PetscTruth bisdense,xisdense; 10292bebee5dSHong Zhang 10302bebee5dSHong Zhang PetscFunctionBegin; 10312bebee5dSHong Zhang if (!n) PetscFunctionReturn(0); 10322bebee5dSHong Zhang 1033db4efbfdSBarry Smith ierr = PetscTypeCompare((PetscObject)B,MATSEQDENSE,&bisdense);CHKERRQ(ierr); 1034db4efbfdSBarry Smith if (!bisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"B matrix must be a SeqDense matrix"); 1035db4efbfdSBarry Smith ierr = PetscTypeCompare((PetscObject)X,MATSEQDENSE,&xisdense);CHKERRQ(ierr); 1036db4efbfdSBarry Smith if (!xisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"X matrix must be a SeqDense matrix"); 1037db4efbfdSBarry Smith 10382bebee5dSHong Zhang ierr = MatGetArray(B,&b);CHKERRQ(ierr); 10392bebee5dSHong Zhang ierr = MatGetArray(X,&x);CHKERRQ(ierr); 10402bebee5dSHong Zhang 10412bebee5dSHong Zhang tmp = a->solve_work; 10422bebee5dSHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 10432bebee5dSHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 10442bebee5dSHong Zhang 1045a36b22ccSSatish Balay for (neq=0; neq<B->cmap->n; neq++){ 10462bebee5dSHong Zhang /* forward solve the lower triangular */ 10472bebee5dSHong Zhang tmp[0] = b[r[0]]; 10482bebee5dSHong Zhang tmps = tmp; 10492bebee5dSHong Zhang for (i=1; i<n; i++) { 10502bebee5dSHong Zhang v = aa + ai[i] ; 10512bebee5dSHong Zhang vi = aj + ai[i] ; 10522bebee5dSHong Zhang nz = a->diag[i] - ai[i]; 10532bebee5dSHong Zhang sum = b[r[i]]; 1054003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 10552bebee5dSHong Zhang tmp[i] = sum; 10562bebee5dSHong Zhang } 10572bebee5dSHong Zhang /* backward solve the upper triangular */ 10582bebee5dSHong Zhang for (i=n-1; i>=0; i--){ 10592bebee5dSHong Zhang v = aa + a->diag[i] + 1; 10602bebee5dSHong Zhang vi = aj + a->diag[i] + 1; 10612bebee5dSHong Zhang nz = ai[i+1] - a->diag[i] - 1; 10622bebee5dSHong Zhang sum = tmp[i]; 1063003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 10642bebee5dSHong Zhang x[c[i]] = tmp[i] = sum*aa[a->diag[i]]; 10652bebee5dSHong Zhang } 10662bebee5dSHong Zhang 10672bebee5dSHong Zhang b += n; 10682bebee5dSHong Zhang x += n; 10692bebee5dSHong Zhang } 10702bebee5dSHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 10712bebee5dSHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 10722bebee5dSHong Zhang ierr = MatRestoreArray(B,&b);CHKERRQ(ierr); 10732bebee5dSHong Zhang ierr = MatRestoreArray(X,&x);CHKERRQ(ierr); 1074dc0b31edSSatish Balay ierr = PetscLogFlops(B->cmap->n*(2.0*a->nz - n));CHKERRQ(ierr); 10752bebee5dSHong Zhang PetscFunctionReturn(0); 10762bebee5dSHong Zhang } 10772bebee5dSHong Zhang 1078137fb511SHong Zhang #undef __FUNCT__ 1079137fb511SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_InplaceWithPerm" 1080137fb511SHong Zhang PetscErrorCode MatSolve_SeqAIJ_InplaceWithPerm(Mat A,Vec bb,Vec xx) 1081137fb511SHong Zhang { 1082137fb511SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 1083137fb511SHong Zhang IS iscol = a->col,isrow = a->row; 1084137fb511SHong Zhang PetscErrorCode ierr; 10855d0c19d7SBarry Smith const PetscInt *r,*c,*rout,*cout; 10865d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 10875d0c19d7SBarry Smith PetscInt nz,row; 1088dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,*tmps,sum; 1089dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 1090137fb511SHong Zhang 1091137fb511SHong Zhang PetscFunctionBegin; 1092137fb511SHong Zhang if (!n) PetscFunctionReturn(0); 1093137fb511SHong Zhang 1094137fb511SHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 1095137fb511SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1096137fb511SHong Zhang tmp = a->solve_work; 1097137fb511SHong Zhang 1098137fb511SHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 1099137fb511SHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 1100137fb511SHong Zhang 1101137fb511SHong Zhang /* forward solve the lower triangular */ 1102137fb511SHong Zhang tmp[0] = b[*r++]; 1103137fb511SHong Zhang tmps = tmp; 1104137fb511SHong Zhang for (row=1; row<n; row++) { 1105137fb511SHong Zhang i = rout[row]; /* permuted row */ 1106137fb511SHong Zhang v = aa + ai[i] ; 1107137fb511SHong Zhang vi = aj + ai[i] ; 1108137fb511SHong Zhang nz = a->diag[i] - ai[i]; 1109137fb511SHong Zhang sum = b[*r++]; 1110003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 1111137fb511SHong Zhang tmp[row] = sum; 1112137fb511SHong Zhang } 1113137fb511SHong Zhang 1114137fb511SHong Zhang /* backward solve the upper triangular */ 1115137fb511SHong Zhang for (row=n-1; row>=0; row--){ 1116137fb511SHong Zhang i = rout[row]; /* permuted row */ 1117137fb511SHong Zhang v = aa + a->diag[i] + 1; 1118137fb511SHong Zhang vi = aj + a->diag[i] + 1; 1119137fb511SHong Zhang nz = ai[i+1] - a->diag[i] - 1; 1120137fb511SHong Zhang sum = tmp[row]; 1121003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 1122137fb511SHong Zhang x[*c--] = tmp[row] = sum*aa[a->diag[i]]; 1123137fb511SHong Zhang } 1124137fb511SHong Zhang 1125137fb511SHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 1126137fb511SHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 1127137fb511SHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 1128137fb511SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1129dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 1130137fb511SHong Zhang PetscFunctionReturn(0); 1131137fb511SHong Zhang } 1132137fb511SHong Zhang 1133930ae53cSBarry Smith /* ----------------------------------------------------------- */ 1134a4005a5dSBarry Smith #include "../src/mat/impls/aij/seq/ftn-kernels/fsolve.h" 11354a2ae208SSatish Balay #undef __FUNCT__ 11364a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering" 1137dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering(Mat A,Vec bb,Vec xx) 1138930ae53cSBarry Smith { 1139930ae53cSBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 11406849ba73SBarry Smith PetscErrorCode ierr; 1141d0f46423SBarry Smith PetscInt n = A->rmap->n; 1142b377110cSBarry Smith const PetscInt *ai = a->i,*aj = a->j,*adiag = a->diag; 1143356650c2SBarry Smith PetscScalar *x; 1144356650c2SBarry Smith const PetscScalar *b; 1145dd6ea824SBarry Smith const MatScalar *aa = a->a; 1146aa482453SBarry Smith #if !defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ) 1147356650c2SBarry Smith PetscInt adiag_i,i,nz,ai_i; 1148b377110cSBarry Smith const PetscInt *vi; 1149dd6ea824SBarry Smith const MatScalar *v; 1150dd6ea824SBarry Smith PetscScalar sum; 1151d85afc42SSatish Balay #endif 1152930ae53cSBarry Smith 11533a40ed3dSBarry Smith PetscFunctionBegin; 11543a40ed3dSBarry Smith if (!n) PetscFunctionReturn(0); 1155930ae53cSBarry Smith 1156356650c2SBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 11571ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1158930ae53cSBarry Smith 1159aa482453SBarry Smith #if defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ) 11601c4feecaSSatish Balay fortransolveaij_(&n,x,ai,aj,adiag,aa,b); 11611c4feecaSSatish Balay #else 1162930ae53cSBarry Smith /* forward solve the lower triangular */ 1163930ae53cSBarry Smith x[0] = b[0]; 1164930ae53cSBarry Smith for (i=1; i<n; i++) { 1165930ae53cSBarry Smith ai_i = ai[i]; 1166930ae53cSBarry Smith v = aa + ai_i; 1167930ae53cSBarry Smith vi = aj + ai_i; 1168930ae53cSBarry Smith nz = adiag[i] - ai_i; 1169930ae53cSBarry Smith sum = b[i]; 1170003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 1171930ae53cSBarry Smith x[i] = sum; 1172930ae53cSBarry Smith } 1173930ae53cSBarry Smith 1174930ae53cSBarry Smith /* backward solve the upper triangular */ 1175930ae53cSBarry Smith for (i=n-1; i>=0; i--){ 1176930ae53cSBarry Smith adiag_i = adiag[i]; 1177d708749eSBarry Smith v = aa + adiag_i + 1; 1178d708749eSBarry Smith vi = aj + adiag_i + 1; 1179930ae53cSBarry Smith nz = ai[i+1] - adiag_i - 1; 1180930ae53cSBarry Smith sum = x[i]; 1181003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 1182930ae53cSBarry Smith x[i] = sum*aa[adiag_i]; 1183930ae53cSBarry Smith } 11841c4feecaSSatish Balay #endif 1185dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 1186356650c2SBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 11871ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 11883a40ed3dSBarry Smith PetscFunctionReturn(0); 1189930ae53cSBarry Smith } 1190930ae53cSBarry Smith 11914a2ae208SSatish Balay #undef __FUNCT__ 11924a2ae208SSatish Balay #define __FUNCT__ "MatSolveAdd_SeqAIJ" 1193dfbe8321SBarry Smith PetscErrorCode MatSolveAdd_SeqAIJ(Mat A,Vec bb,Vec yy,Vec xx) 1194da3a660dSBarry Smith { 1195416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 1196416022c9SBarry Smith IS iscol = a->col,isrow = a->row; 11976849ba73SBarry Smith PetscErrorCode ierr; 119804fbf559SBarry Smith PetscInt i, n = A->rmap->n,j; 11995d0c19d7SBarry Smith PetscInt nz; 120004fbf559SBarry Smith const PetscInt *rout,*cout,*r,*c,*vi,*ai = a->i,*aj = a->j; 120104fbf559SBarry Smith PetscScalar *x,*tmp,sum; 120204fbf559SBarry Smith const PetscScalar *b; 1203dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 1204da3a660dSBarry Smith 12053a40ed3dSBarry Smith PetscFunctionBegin; 120678b31e54SBarry Smith if (yy != xx) {ierr = VecCopy(yy,xx);CHKERRQ(ierr);} 1207da3a660dSBarry Smith 120804fbf559SBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 12091ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1210416022c9SBarry Smith tmp = a->solve_work; 1211da3a660dSBarry Smith 12123b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 12133b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 1214da3a660dSBarry Smith 1215da3a660dSBarry Smith /* forward solve the lower triangular */ 1216da3a660dSBarry Smith tmp[0] = b[*r++]; 1217da3a660dSBarry Smith for (i=1; i<n; i++) { 1218010a20caSHong Zhang v = aa + ai[i] ; 1219010a20caSHong Zhang vi = aj + ai[i] ; 1220416022c9SBarry Smith nz = a->diag[i] - ai[i]; 1221da3a660dSBarry Smith sum = b[*r++]; 122204fbf559SBarry Smith for (j=0; j<nz; j++) sum -= v[j]*tmp[vi[j]]; 1223da3a660dSBarry Smith tmp[i] = sum; 1224da3a660dSBarry Smith } 1225da3a660dSBarry Smith 1226da3a660dSBarry Smith /* backward solve the upper triangular */ 1227da3a660dSBarry Smith for (i=n-1; i>=0; i--){ 1228010a20caSHong Zhang v = aa + a->diag[i] + 1; 1229010a20caSHong Zhang vi = aj + a->diag[i] + 1; 1230416022c9SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 1231da3a660dSBarry Smith sum = tmp[i]; 123204fbf559SBarry Smith for (j=0; j<nz; j++) sum -= v[j]*tmp[vi[j]]; 1233010a20caSHong Zhang tmp[i] = sum*aa[a->diag[i]]; 1234da3a660dSBarry Smith x[*c--] += tmp[i]; 1235da3a660dSBarry Smith } 1236da3a660dSBarry Smith 12373b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 12383b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 123904fbf559SBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 12401ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1241dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr); 1242898183ecSLois Curfman McInnes 12433a40ed3dSBarry Smith PetscFunctionReturn(0); 1244da3a660dSBarry Smith } 124504fbf559SBarry Smith 12464a2ae208SSatish Balay #undef __FUNCT__ 12474a2ae208SSatish Balay #define __FUNCT__ "MatSolveTranspose_SeqAIJ" 1248dfbe8321SBarry Smith PetscErrorCode MatSolveTranspose_SeqAIJ(Mat A,Vec bb,Vec xx) 1249da3a660dSBarry Smith { 1250416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 12512235e667SBarry Smith IS iscol = a->col,isrow = a->row; 12526849ba73SBarry Smith PetscErrorCode ierr; 125304fbf559SBarry Smith const PetscInt *rout,*cout,*r,*c,*diag = a->diag,*ai = a->i,*aj = a->j,*vi; 125404fbf559SBarry Smith PetscInt i,n = A->rmap->n,j; 125504fbf559SBarry Smith PetscInt nz; 125604fbf559SBarry Smith PetscScalar *x,*tmp,s1; 1257dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 125804fbf559SBarry Smith const PetscScalar *b; 1259da3a660dSBarry Smith 12603a40ed3dSBarry Smith PetscFunctionBegin; 126104fbf559SBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 12621ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1263416022c9SBarry Smith tmp = a->solve_work; 1264da3a660dSBarry Smith 12652235e667SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 12662235e667SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 1267da3a660dSBarry Smith 1268da3a660dSBarry Smith /* copy the b into temp work space according to permutation */ 12692235e667SBarry Smith for (i=0; i<n; i++) tmp[i] = b[c[i]]; 1270da3a660dSBarry Smith 1271da3a660dSBarry Smith /* forward solve the U^T */ 1272da3a660dSBarry Smith for (i=0; i<n; i++) { 1273010a20caSHong Zhang v = aa + diag[i] ; 1274010a20caSHong Zhang vi = aj + diag[i] + 1; 1275f1af5d2fSBarry Smith nz = ai[i+1] - diag[i] - 1; 1276c38d4ed2SBarry Smith s1 = tmp[i]; 1277ef66eb69SBarry Smith s1 *= (*v++); /* multiply by inverse of diagonal entry */ 127804fbf559SBarry Smith for (j=0; j<nz; j++) tmp[vi[j]] -= s1*v[j]; 1279c38d4ed2SBarry Smith tmp[i] = s1; 1280da3a660dSBarry Smith } 1281da3a660dSBarry Smith 1282da3a660dSBarry Smith /* backward solve the L^T */ 1283da3a660dSBarry Smith for (i=n-1; i>=0; i--){ 1284010a20caSHong Zhang v = aa + diag[i] - 1 ; 1285010a20caSHong Zhang vi = aj + diag[i] - 1 ; 1286f1af5d2fSBarry Smith nz = diag[i] - ai[i]; 1287f1af5d2fSBarry Smith s1 = tmp[i]; 128804fbf559SBarry Smith for (j=0; j>-nz; j--) tmp[vi[j]] -= s1*v[j]; 1289da3a660dSBarry Smith } 1290da3a660dSBarry Smith 1291da3a660dSBarry Smith /* copy tmp into x according to permutation */ 1292591294e4SBarry Smith for (i=0; i<n; i++) x[r[i]] = tmp[i]; 1293da3a660dSBarry Smith 12942235e667SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 12952235e667SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 129604fbf559SBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 12971ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1298da3a660dSBarry Smith 1299dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr); 13003a40ed3dSBarry Smith PetscFunctionReturn(0); 1301da3a660dSBarry Smith } 1302da3a660dSBarry Smith 13034a2ae208SSatish Balay #undef __FUNCT__ 13044a2ae208SSatish Balay #define __FUNCT__ "MatSolveTransposeAdd_SeqAIJ" 1305dfbe8321SBarry Smith PetscErrorCode MatSolveTransposeAdd_SeqAIJ(Mat A,Vec bb,Vec zz,Vec xx) 1306da3a660dSBarry Smith { 1307416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 13082235e667SBarry Smith IS iscol = a->col,isrow = a->row; 13096849ba73SBarry Smith PetscErrorCode ierr; 131004fbf559SBarry Smith const PetscInt *rout,*cout,*r,*c,*diag = a->diag,*ai = a->i,*aj = a->j,*vi; 131104fbf559SBarry Smith PetscInt i,n = A->rmap->n,j; 131204fbf559SBarry Smith PetscInt nz; 131304fbf559SBarry Smith PetscScalar *x,*tmp,s1; 1314dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 131504fbf559SBarry Smith const PetscScalar *b; 13166abc6512SBarry Smith 13173a40ed3dSBarry Smith PetscFunctionBegin; 131823bc6035SMatthew Knepley if (zz != xx) {ierr = VecCopy(zz,xx);CHKERRQ(ierr);} 131904fbf559SBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 13201ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1321416022c9SBarry Smith tmp = a->solve_work; 13226abc6512SBarry Smith 13232235e667SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 13242235e667SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 13256abc6512SBarry Smith 13266abc6512SBarry Smith /* copy the b into temp work space according to permutation */ 13272235e667SBarry Smith for (i=0; i<n; i++) tmp[i] = b[c[i]]; 13286abc6512SBarry Smith 13296abc6512SBarry Smith /* forward solve the U^T */ 13306abc6512SBarry Smith for (i=0; i<n; i++) { 1331010a20caSHong Zhang v = aa + diag[i] ; 1332010a20caSHong Zhang vi = aj + diag[i] + 1; 1333f1af5d2fSBarry Smith nz = ai[i+1] - diag[i] - 1; 133404fbf559SBarry Smith s1 = tmp[i]; 133504fbf559SBarry Smith s1 *= (*v++); /* multiply by inverse of diagonal entry */ 133604fbf559SBarry Smith for (j=0; j<nz; j++) tmp[vi[j]] -= s1*v[j]; 133704fbf559SBarry Smith tmp[i] = s1; 13386abc6512SBarry Smith } 13396abc6512SBarry Smith 13406abc6512SBarry Smith /* backward solve the L^T */ 13416abc6512SBarry Smith for (i=n-1; i>=0; i--){ 1342010a20caSHong Zhang v = aa + diag[i] - 1 ; 1343010a20caSHong Zhang vi = aj + diag[i] - 1 ; 1344f1af5d2fSBarry Smith nz = diag[i] - ai[i]; 134504fbf559SBarry Smith s1 = tmp[i]; 134604fbf559SBarry Smith for (j=0; j>-nz; j--) tmp[vi[j]] -= s1*v[j]; 13476abc6512SBarry Smith } 13486abc6512SBarry Smith 13496abc6512SBarry Smith /* copy tmp into x according to permutation */ 13506abc6512SBarry Smith for (i=0; i<n; i++) x[r[i]] += tmp[i]; 13516abc6512SBarry Smith 13522235e667SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 13532235e667SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 135404fbf559SBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 13551ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 13566abc6512SBarry Smith 135704fbf559SBarry Smith ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr); 13583a40ed3dSBarry Smith PetscFunctionReturn(0); 1359da3a660dSBarry Smith } 136004fbf559SBarry Smith 13619e25ed09SBarry Smith /* ----------------------------------------------------------------*/ 13623c5fc038SBarry Smith EXTERN PetscErrorCode Mat_CheckInode(Mat,PetscTruth); 1363f77e22a1SHong Zhang EXTERN PetscErrorCode MatDuplicateNoCreate_SeqAIJ(Mat,Mat,MatDuplicateOption,PetscTruth); 136408480c60SBarry Smith 13658fc3a347SHong Zhang /* 13668a76ed4fSHong Zhang ilu() under revised new data structure. 1367813a1f2bSShri Abhyankar Factored arrays bj and ba are stored as 1368813a1f2bSShri Abhyankar L(0,:), L(1,:), ...,L(n-1,:), U(n-1,:),...,U(i,:),U(i-1,:),...,U(0,:) 1369813a1f2bSShri Abhyankar 1370813a1f2bSShri Abhyankar bi=fact->i is an array of size n+1, in which 1371813a1f2bSShri Abhyankar bi+ 1372baabb860SHong Zhang bi[i]: points to 1st entry of L(i,:),i=0,...,n-1 1373baabb860SHong Zhang bi[n]: points to L(n-1,n-1)+1 1374baabb860SHong Zhang 1375813a1f2bSShri Abhyankar bdiag=fact->diag is an array of size n+1,in which 1376baabb860SHong Zhang bdiag[i]: points to diagonal of U(i,:), i=0,...,n-1 1377baabb860SHong Zhang bdiag[n]: points to diagonal of U(n-1,0)-1 1378813a1f2bSShri Abhyankar 1379813a1f2bSShri Abhyankar U(i,:) contains bdiag[i] as its last entry, i.e., 1380813a1f2bSShri Abhyankar U(i,:) = (u[i,i+1],...,u[i,n-1],diag[i]) 1381813a1f2bSShri Abhyankar */ 1382813a1f2bSShri Abhyankar #undef __FUNCT__ 1383b4f5729fSShri Abhyankar #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct" 1384b4f5729fSShri Abhyankar PetscErrorCode MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 1385813a1f2bSShri Abhyankar { 1386813a1f2bSShri Abhyankar 1387813a1f2bSShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 1388813a1f2bSShri Abhyankar PetscErrorCode ierr; 1389813a1f2bSShri Abhyankar PetscInt n=A->rmap->n,*ai=a->i,*aj,*adiag=a->diag; 1390813a1f2bSShri Abhyankar PetscInt i,j,nz,*bi,*bj,*bdiag,bi_temp; 1391*1df811f5SHong Zhang PetscTruth missing; 1392*1df811f5SHong Zhang IS isicol; 1393813a1f2bSShri Abhyankar 1394813a1f2bSShri Abhyankar PetscFunctionBegin; 1395*1df811f5SHong Zhang /* printf("MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct ...\n"); */ 1396*1df811f5SHong Zhang 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); 1397*1df811f5SHong Zhang ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr); 1398*1df811f5SHong Zhang if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",i); 1399*1df811f5SHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 1400*1df811f5SHong Zhang 1401813a1f2bSShri Abhyankar ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_FALSE);CHKERRQ(ierr); 1402813a1f2bSShri Abhyankar b = (Mat_SeqAIJ*)(fact)->data; 1403813a1f2bSShri Abhyankar 1404813a1f2bSShri Abhyankar /* allocate matrix arrays for new data structure */ 1405813a1f2bSShri Abhyankar ierr = PetscMalloc3(ai[n]+1,PetscScalar,&b->a,ai[n]+1,PetscInt,&b->j,n+1,PetscInt,&b->i);CHKERRQ(ierr); 1406813a1f2bSShri Abhyankar ierr = PetscLogObjectMemory(fact,ai[n]*(sizeof(PetscScalar)+sizeof(PetscInt))+(n+1)*sizeof(PetscInt));CHKERRQ(ierr); 1407813a1f2bSShri Abhyankar b->singlemalloc = PETSC_TRUE; 1408813a1f2bSShri Abhyankar if (!b->diag){ 1409813a1f2bSShri Abhyankar ierr = PetscMalloc((n+1)*sizeof(PetscInt),&b->diag);CHKERRQ(ierr); 1410813a1f2bSShri Abhyankar ierr = PetscLogObjectMemory(fact,(n+1)*sizeof(PetscInt));CHKERRQ(ierr); 1411813a1f2bSShri Abhyankar } 1412813a1f2bSShri Abhyankar bdiag = b->diag; 1413813a1f2bSShri Abhyankar 1414813a1f2bSShri Abhyankar if (n > 0) { 1415813a1f2bSShri Abhyankar ierr = PetscMemzero(b->a,(ai[n])*sizeof(MatScalar));CHKERRQ(ierr); 1416813a1f2bSShri Abhyankar } 1417813a1f2bSShri Abhyankar 1418813a1f2bSShri Abhyankar /* set bi and bj with new data structure */ 1419813a1f2bSShri Abhyankar bi = b->i; 1420813a1f2bSShri Abhyankar bj = b->j; 1421813a1f2bSShri Abhyankar 1422813a1f2bSShri Abhyankar /* L part */ 1423813a1f2bSShri Abhyankar bi[0] = 0; 1424813a1f2bSShri Abhyankar for (i=0; i<n; i++){ 1425813a1f2bSShri Abhyankar nz = adiag[i] - ai[i]; 1426813a1f2bSShri Abhyankar bi[i+1] = bi[i] + nz; 1427813a1f2bSShri Abhyankar aj = a->j + ai[i]; 1428813a1f2bSShri Abhyankar for (j=0; j<nz; j++){ 1429813a1f2bSShri Abhyankar *bj = aj[j]; bj++; 1430813a1f2bSShri Abhyankar } 1431813a1f2bSShri Abhyankar } 1432813a1f2bSShri Abhyankar 1433813a1f2bSShri Abhyankar /* U part */ 1434813a1f2bSShri Abhyankar bi_temp = bi[n]; 143562fbd6afSShri Abhyankar bdiag[n] = bi[n]-1; 1436813a1f2bSShri Abhyankar for (i=n-1; i>=0; i--){ 1437813a1f2bSShri Abhyankar nz = ai[i+1] - adiag[i] - 1; 1438813a1f2bSShri Abhyankar bi_temp = bi_temp + nz + 1; 1439813a1f2bSShri Abhyankar aj = a->j + adiag[i] + 1; 1440813a1f2bSShri Abhyankar for (j=0; j<nz; j++){ 1441813a1f2bSShri Abhyankar *bj = aj[j]; bj++; 1442813a1f2bSShri Abhyankar } 1443813a1f2bSShri Abhyankar /* diag[i] */ 1444813a1f2bSShri Abhyankar *bj = i; bj++; 1445813a1f2bSShri Abhyankar bdiag[i] = bi_temp - 1; 1446813a1f2bSShri Abhyankar } 1447*1df811f5SHong Zhang 1448*1df811f5SHong Zhang fact->factor = MAT_FACTOR_ILU; 1449*1df811f5SHong Zhang fact->info.factor_mallocs = 0; 1450*1df811f5SHong Zhang fact->info.fill_ratio_given = info->fill; 1451*1df811f5SHong Zhang fact->info.fill_ratio_needed = 1.0; 1452*1df811f5SHong Zhang fact->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ_newdatastruct; 1453*1df811f5SHong Zhang 1454*1df811f5SHong Zhang b = (Mat_SeqAIJ*)(fact)->data; 1455*1df811f5SHong Zhang b->row = isrow; 1456*1df811f5SHong Zhang b->col = iscol; 1457*1df811f5SHong Zhang b->icol = isicol; 1458*1df811f5SHong Zhang ierr = PetscMalloc((fact->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1459*1df811f5SHong Zhang ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1460*1df811f5SHong Zhang ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 1461813a1f2bSShri Abhyankar PetscFunctionReturn(0); 1462813a1f2bSShri Abhyankar } 1463813a1f2bSShri Abhyankar 1464813a1f2bSShri Abhyankar #undef __FUNCT__ 1465b4f5729fSShri Abhyankar #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_newdatastruct" 1466b4f5729fSShri Abhyankar PetscErrorCode MatILUFactorSymbolic_SeqAIJ_newdatastruct(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 1467813a1f2bSShri Abhyankar { 1468813a1f2bSShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 1469813a1f2bSShri Abhyankar IS isicol; 1470813a1f2bSShri Abhyankar PetscErrorCode ierr; 1471813a1f2bSShri Abhyankar const PetscInt *r,*ic; 1472*1df811f5SHong Zhang PetscInt n=A->rmap->n,*ai=a->i,*aj=a->j; 1473813a1f2bSShri Abhyankar PetscInt *bi,*cols,nnz,*cols_lvl; 1474813a1f2bSShri Abhyankar PetscInt *bdiag,prow,fm,nzbd,reallocs=0,dcount=0; 1475813a1f2bSShri Abhyankar PetscInt i,levels,diagonal_fill; 1476813a1f2bSShri Abhyankar PetscTruth col_identity,row_identity; 1477813a1f2bSShri Abhyankar PetscReal f; 1478813a1f2bSShri Abhyankar PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL; 1479813a1f2bSShri Abhyankar PetscBT lnkbt; 1480813a1f2bSShri Abhyankar PetscInt nzi,*bj,**bj_ptr,**bjlvl_ptr; 1481813a1f2bSShri Abhyankar PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 1482813a1f2bSShri Abhyankar PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 1483813a1f2bSShri Abhyankar 1484813a1f2bSShri Abhyankar PetscFunctionBegin; 1485*1df811f5SHong Zhang /* printf("MatILUFactorSymbolic_SeqAIJ_newdatastruct ...\n"); */ 1486813a1f2bSShri Abhyankar levels = (PetscInt)info->levels; 1487813a1f2bSShri Abhyankar ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 1488813a1f2bSShri Abhyankar ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr); 1489813a1f2bSShri Abhyankar 1490813a1f2bSShri Abhyankar if (!levels && row_identity && col_identity) { 1491813a1f2bSShri Abhyankar /* special case: ilu(0) with natural ordering */ 1492b4f5729fSShri Abhyankar ierr = MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct(fact,A,isrow,iscol,info);CHKERRQ(ierr); 1493813a1f2bSShri Abhyankar PetscFunctionReturn(0); 1494813a1f2bSShri Abhyankar } 1495813a1f2bSShri Abhyankar 1496*1df811f5SHong Zhang 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); 1497*1df811f5SHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 1498813a1f2bSShri Abhyankar ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 1499813a1f2bSShri Abhyankar ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 1500813a1f2bSShri Abhyankar 1501813a1f2bSShri Abhyankar /* get new row pointers */ 1502f268cba8SShri Abhyankar ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 1503813a1f2bSShri Abhyankar bi[0] = 0; 1504813a1f2bSShri Abhyankar /* bdiag is location of diagonal in factor */ 1505813a1f2bSShri Abhyankar ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 1506813a1f2bSShri Abhyankar bdiag[0] = 0; 1507813a1f2bSShri Abhyankar 1508813a1f2bSShri Abhyankar ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr); 1509813a1f2bSShri Abhyankar bjlvl_ptr = (PetscInt**)(bj_ptr + n); 1510813a1f2bSShri Abhyankar 1511813a1f2bSShri Abhyankar /* create a linked list for storing column indices of the active row */ 1512813a1f2bSShri Abhyankar nlnk = n + 1; 1513813a1f2bSShri Abhyankar ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 1514813a1f2bSShri Abhyankar 1515813a1f2bSShri Abhyankar /* initial FreeSpace size is f*(ai[n]+1) */ 1516*1df811f5SHong Zhang f = info->fill; 1517*1df811f5SHong Zhang diagonal_fill = (PetscInt)info->diagonal_fill; 1518813a1f2bSShri Abhyankar ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 1519813a1f2bSShri Abhyankar current_space = free_space; 1520813a1f2bSShri Abhyankar ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr); 1521813a1f2bSShri Abhyankar current_space_lvl = free_space_lvl; 1522813a1f2bSShri Abhyankar 1523813a1f2bSShri Abhyankar for (i=0; i<n; i++) { 1524813a1f2bSShri Abhyankar nzi = 0; 1525813a1f2bSShri Abhyankar /* copy current row into linked list */ 1526813a1f2bSShri Abhyankar nnz = ai[r[i]+1] - ai[r[i]]; 1527813a1f2bSShri Abhyankar if (!nnz) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i); 1528813a1f2bSShri Abhyankar cols = aj + ai[r[i]]; 1529813a1f2bSShri Abhyankar lnk[i] = -1; /* marker to indicate if diagonal exists */ 1530813a1f2bSShri Abhyankar ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 1531813a1f2bSShri Abhyankar nzi += nlnk; 1532813a1f2bSShri Abhyankar 1533813a1f2bSShri Abhyankar /* make sure diagonal entry is included */ 1534813a1f2bSShri Abhyankar if (diagonal_fill && lnk[i] == -1) { 1535813a1f2bSShri Abhyankar fm = n; 1536813a1f2bSShri Abhyankar while (lnk[fm] < i) fm = lnk[fm]; 1537813a1f2bSShri Abhyankar lnk[i] = lnk[fm]; /* insert diagonal into linked list */ 1538813a1f2bSShri Abhyankar lnk[fm] = i; 1539813a1f2bSShri Abhyankar lnk_lvl[i] = 0; 1540813a1f2bSShri Abhyankar nzi++; dcount++; 1541813a1f2bSShri Abhyankar } 1542813a1f2bSShri Abhyankar 1543813a1f2bSShri Abhyankar /* add pivot rows into the active row */ 1544813a1f2bSShri Abhyankar nzbd = 0; 1545813a1f2bSShri Abhyankar prow = lnk[n]; 1546813a1f2bSShri Abhyankar while (prow < i) { 1547813a1f2bSShri Abhyankar nnz = bdiag[prow]; 1548813a1f2bSShri Abhyankar cols = bj_ptr[prow] + nnz + 1; 1549813a1f2bSShri Abhyankar cols_lvl = bjlvl_ptr[prow] + nnz + 1; 1550813a1f2bSShri Abhyankar nnz = bi[prow+1] - bi[prow] - nnz - 1; 1551813a1f2bSShri Abhyankar ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr); 1552813a1f2bSShri Abhyankar nzi += nlnk; 1553813a1f2bSShri Abhyankar prow = lnk[prow]; 1554813a1f2bSShri Abhyankar nzbd++; 1555813a1f2bSShri Abhyankar } 1556813a1f2bSShri Abhyankar bdiag[i] = nzbd; 1557813a1f2bSShri Abhyankar bi[i+1] = bi[i] + nzi; 1558813a1f2bSShri Abhyankar 1559813a1f2bSShri Abhyankar /* if free space is not available, make more free space */ 1560813a1f2bSShri Abhyankar if (current_space->local_remaining<nzi) { 1561813a1f2bSShri Abhyankar nnz = 2*nzi*(n - i); /* estimated and max additional space needed */ 1562813a1f2bSShri Abhyankar ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 1563813a1f2bSShri Abhyankar ierr = PetscFreeSpaceGet(nnz,¤t_space_lvl);CHKERRQ(ierr); 1564813a1f2bSShri Abhyankar reallocs++; 1565813a1f2bSShri Abhyankar } 1566813a1f2bSShri Abhyankar 1567813a1f2bSShri Abhyankar /* copy data into free_space and free_space_lvl, then initialize lnk */ 1568813a1f2bSShri Abhyankar ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 1569813a1f2bSShri Abhyankar bj_ptr[i] = current_space->array; 1570813a1f2bSShri Abhyankar bjlvl_ptr[i] = current_space_lvl->array; 1571813a1f2bSShri Abhyankar 1572813a1f2bSShri Abhyankar /* make sure the active row i has diagonal entry */ 1573813a1f2bSShri Abhyankar if (*(bj_ptr[i]+bdiag[i]) != i) { 1574813a1f2bSShri Abhyankar SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\ 1575813a1f2bSShri Abhyankar try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i); 1576813a1f2bSShri Abhyankar } 1577813a1f2bSShri Abhyankar 1578813a1f2bSShri Abhyankar current_space->array += nzi; 1579813a1f2bSShri Abhyankar current_space->local_used += nzi; 1580813a1f2bSShri Abhyankar current_space->local_remaining -= nzi; 1581813a1f2bSShri Abhyankar current_space_lvl->array += nzi; 1582813a1f2bSShri Abhyankar current_space_lvl->local_used += nzi; 1583813a1f2bSShri Abhyankar current_space_lvl->local_remaining -= nzi; 1584813a1f2bSShri Abhyankar } 1585813a1f2bSShri Abhyankar 1586813a1f2bSShri Abhyankar ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 1587813a1f2bSShri Abhyankar ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 1588813a1f2bSShri Abhyankar 1589813a1f2bSShri Abhyankar /* destroy list of free space and other temporary arrays */ 1590813a1f2bSShri Abhyankar ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 1591813a1f2bSShri Abhyankar 1592813a1f2bSShri Abhyankar /* copy free_space into bj and free free_space; set bi, bj, bdiag in new datastructure; */ 1593f268cba8SShri Abhyankar ierr = PetscFreeSpaceContiguous_LU_v2(&free_space,bj,n,bi,bdiag);CHKERRQ(ierr); 1594813a1f2bSShri Abhyankar 1595813a1f2bSShri Abhyankar ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 1596813a1f2bSShri Abhyankar ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 1597813a1f2bSShri Abhyankar ierr = PetscFree(bj_ptr);CHKERRQ(ierr); 1598813a1f2bSShri Abhyankar 1599813a1f2bSShri Abhyankar #if defined(PETSC_USE_INFO) 1600813a1f2bSShri Abhyankar { 1601813a1f2bSShri Abhyankar PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 1602813a1f2bSShri Abhyankar ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 1603813a1f2bSShri Abhyankar ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 1604813a1f2bSShri Abhyankar ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr); 1605813a1f2bSShri Abhyankar ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 1606813a1f2bSShri Abhyankar if (diagonal_fill) { 1607813a1f2bSShri Abhyankar ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr); 1608813a1f2bSShri Abhyankar } 1609813a1f2bSShri Abhyankar } 1610813a1f2bSShri Abhyankar #endif 1611813a1f2bSShri Abhyankar 1612813a1f2bSShri Abhyankar /* put together the new matrix */ 1613813a1f2bSShri Abhyankar ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 1614813a1f2bSShri Abhyankar ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr); 1615813a1f2bSShri Abhyankar b = (Mat_SeqAIJ*)(fact)->data; 1616813a1f2bSShri Abhyankar b->free_a = PETSC_TRUE; 1617813a1f2bSShri Abhyankar b->free_ij = PETSC_TRUE; 1618813a1f2bSShri Abhyankar b->singlemalloc = PETSC_FALSE; 1619f268cba8SShri Abhyankar ierr = PetscMalloc((bdiag[0]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 1620813a1f2bSShri Abhyankar b->j = bj; 1621813a1f2bSShri Abhyankar b->i = bi; 1622813a1f2bSShri Abhyankar b->diag = bdiag; 1623813a1f2bSShri Abhyankar b->ilen = 0; 1624813a1f2bSShri Abhyankar b->imax = 0; 1625813a1f2bSShri Abhyankar b->row = isrow; 1626813a1f2bSShri Abhyankar b->col = iscol; 1627813a1f2bSShri Abhyankar ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1628813a1f2bSShri Abhyankar ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 1629813a1f2bSShri Abhyankar b->icol = isicol; 1630813a1f2bSShri Abhyankar ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1631813a1f2bSShri Abhyankar /* In b structure: Free imax, ilen, old a, old j. 1632813a1f2bSShri Abhyankar Allocate bdiag, solve_work, new a, new j */ 1633f268cba8SShri Abhyankar ierr = PetscLogObjectMemory(fact,(bdiag[0]+1)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 1634f268cba8SShri Abhyankar b->maxnz = b->nz = bdiag[0]+1; 1635813a1f2bSShri Abhyankar (fact)->info.factor_mallocs = reallocs; 1636813a1f2bSShri Abhyankar (fact)->info.fill_ratio_given = f; 1637f268cba8SShri Abhyankar (fact)->info.fill_ratio_needed = ((PetscReal)(bdiag[0]+1))/((PetscReal)ai[n]); 1638b4f5729fSShri Abhyankar (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ_newdatastruct; 16394108e4d5SBarry Smith /* ierr = MatILUFactorSymbolic_SeqAIJ_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); */ 1640813a1f2bSShri Abhyankar PetscFunctionReturn(0); 1641813a1f2bSShri Abhyankar } 1642813a1f2bSShri Abhyankar 16436516239fSHong Zhang #undef __FUNCT__ 16446516239fSHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ" 16456516239fSHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 16466516239fSHong Zhang { 16476516239fSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 16486516239fSHong Zhang IS isicol; 16496516239fSHong Zhang PetscErrorCode ierr; 16506516239fSHong Zhang const PetscInt *r,*ic; 16516516239fSHong Zhang PetscInt n=A->rmap->n,*ai=a->i,*aj=a->j,d; 16526516239fSHong Zhang PetscInt *bi,*cols,nnz,*cols_lvl; 16536516239fSHong Zhang PetscInt *bdiag,prow,fm,nzbd,reallocs=0,dcount=0; 16546516239fSHong Zhang PetscInt i,levels,diagonal_fill; 16556516239fSHong Zhang PetscTruth col_identity,row_identity; 16566516239fSHong Zhang PetscReal f; 16576516239fSHong Zhang PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL; 16586516239fSHong Zhang PetscBT lnkbt; 16596516239fSHong Zhang PetscInt nzi,*bj,**bj_ptr,**bjlvl_ptr; 16606516239fSHong Zhang PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 16616516239fSHong Zhang PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 16626516239fSHong Zhang PetscTruth missing; 1663b4f5729fSShri Abhyankar PetscTruth newdatastruct=PETSC_FALSE; 16646516239fSHong Zhang 16656516239fSHong Zhang PetscFunctionBegin; 16666516239fSHong Zhang ierr = PetscOptionsGetTruth(PETSC_NULL,"-ilu_new",&newdatastruct,PETSC_NULL);CHKERRQ(ierr); 16676516239fSHong Zhang if(newdatastruct){ 16686516239fSHong Zhang ierr = MatILUFactorSymbolic_SeqAIJ_newdatastruct(fact,A,isrow,iscol,info);CHKERRQ(ierr); 16696516239fSHong Zhang PetscFunctionReturn(0); 16706516239fSHong Zhang } 16716516239fSHong Zhang 16726516239fSHong Zhang 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); 16736516239fSHong Zhang f = info->fill; 16746516239fSHong Zhang levels = (PetscInt)info->levels; 16756516239fSHong Zhang diagonal_fill = (PetscInt)info->diagonal_fill; 16766516239fSHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 16776516239fSHong Zhang 16786516239fSHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 16796516239fSHong Zhang ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr); 16806516239fSHong Zhang if (!levels && row_identity && col_identity) { /* special case: ilu(0) with natural ordering */ 1681f77e22a1SHong Zhang ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_TRUE);CHKERRQ(ierr); 1682c9c72f8fSHong Zhang (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 1683c9c72f8fSHong Zhang 1684719d5645SBarry Smith fact->factor = MAT_FACTOR_ILU; 1685719d5645SBarry Smith (fact)->info.factor_mallocs = 0; 1686719d5645SBarry Smith (fact)->info.fill_ratio_given = info->fill; 1687719d5645SBarry Smith (fact)->info.fill_ratio_needed = 1.0; 1688719d5645SBarry Smith b = (Mat_SeqAIJ*)(fact)->data; 16898ef3462fSBarry Smith ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 169009f38230SBarry Smith if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 169108480c60SBarry Smith b->row = isrow; 169208480c60SBarry Smith b->col = iscol; 169382bf6240SBarry Smith b->icol = isicol; 1694719d5645SBarry Smith ierr = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1695c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1696c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 16974108e4d5SBarry Smith ierr = MatILUFactorSymbolic_SeqAIJ_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); 16983a40ed3dSBarry Smith PetscFunctionReturn(0); 169908480c60SBarry Smith } 170008480c60SBarry Smith 1701898183ecSLois Curfman McInnes ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 1702898183ecSLois Curfman McInnes ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 17039e25ed09SBarry Smith 17049e25ed09SBarry Smith /* get new row pointers */ 17055a8e39fbSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 17065a8e39fbSHong Zhang bi[0] = 0; 17075a8e39fbSHong Zhang /* bdiag is location of diagonal in factor */ 17085a8e39fbSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 17095a8e39fbSHong Zhang bdiag[0] = 0; 17106cf997b0SBarry Smith 17115a8e39fbSHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr); 17125a8e39fbSHong Zhang bjlvl_ptr = (PetscInt**)(bj_ptr + n); 17135a8e39fbSHong Zhang 17145a8e39fbSHong Zhang /* create a linked list for storing column indices of the active row */ 17155a8e39fbSHong Zhang nlnk = n + 1; 17165a8e39fbSHong Zhang ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 17175a8e39fbSHong Zhang 17185a8e39fbSHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 1719a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 17205a8e39fbSHong Zhang current_space = free_space; 1721a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr); 17225a8e39fbSHong Zhang current_space_lvl = free_space_lvl; 17235a8e39fbSHong Zhang 17245a8e39fbSHong Zhang for (i=0; i<n; i++) { 17255a8e39fbSHong Zhang nzi = 0; 17266cf997b0SBarry Smith /* copy current row into linked list */ 17275a8e39fbSHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 17283b4a8b6dSBarry 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); 17295a8e39fbSHong Zhang cols = aj + ai[r[i]]; 17305a8e39fbSHong Zhang lnk[i] = -1; /* marker to indicate if diagonal exists */ 17315a8e39fbSHong Zhang ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 17325a8e39fbSHong Zhang nzi += nlnk; 17336cf997b0SBarry Smith 17346cf997b0SBarry Smith /* make sure diagonal entry is included */ 17355a8e39fbSHong Zhang if (diagonal_fill && lnk[i] == -1) { 17366cf997b0SBarry Smith fm = n; 17375a8e39fbSHong Zhang while (lnk[fm] < i) fm = lnk[fm]; 17385a8e39fbSHong Zhang lnk[i] = lnk[fm]; /* insert diagonal into linked list */ 17395a8e39fbSHong Zhang lnk[fm] = i; 17405a8e39fbSHong Zhang lnk_lvl[i] = 0; 17415a8e39fbSHong Zhang nzi++; dcount++; 17426cf997b0SBarry Smith } 17436cf997b0SBarry Smith 17445a8e39fbSHong Zhang /* add pivot rows into the active row */ 17455a8e39fbSHong Zhang nzbd = 0; 17465a8e39fbSHong Zhang prow = lnk[n]; 17475a8e39fbSHong Zhang while (prow < i) { 17485a8e39fbSHong Zhang nnz = bdiag[prow]; 17495a8e39fbSHong Zhang cols = bj_ptr[prow] + nnz + 1; 17505a8e39fbSHong Zhang cols_lvl = bjlvl_ptr[prow] + nnz + 1; 17515a8e39fbSHong Zhang nnz = bi[prow+1] - bi[prow] - nnz - 1; 17525a8e39fbSHong Zhang ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr); 17535a8e39fbSHong Zhang nzi += nlnk; 17545a8e39fbSHong Zhang prow = lnk[prow]; 17555a8e39fbSHong Zhang nzbd++; 175656beaf04SBarry Smith } 17575a8e39fbSHong Zhang bdiag[i] = nzbd; 17585a8e39fbSHong Zhang bi[i+1] = bi[i] + nzi; 1759ecf371e4SBarry Smith 17605a8e39fbSHong Zhang /* if free space is not available, make more free space */ 17615a8e39fbSHong Zhang if (current_space->local_remaining<nzi) { 17625a8e39fbSHong Zhang nnz = nzi*(n - i); /* estimated and max additional space needed */ 1763a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 1764a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space_lvl);CHKERRQ(ierr); 17655a8e39fbSHong Zhang reallocs++; 17665a8e39fbSHong Zhang } 1767ecf371e4SBarry Smith 17685a8e39fbSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 17695a8e39fbSHong Zhang ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 17705a8e39fbSHong Zhang bj_ptr[i] = current_space->array; 17715a8e39fbSHong Zhang bjlvl_ptr[i] = current_space_lvl->array; 17725a8e39fbSHong Zhang 17735a8e39fbSHong Zhang /* make sure the active row i has diagonal entry */ 17745a8e39fbSHong Zhang if (*(bj_ptr[i]+bdiag[i]) != i) { 177577431f27SBarry Smith SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\ 1776d7ee0231SBarry Smith try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i); 17776cf997b0SBarry Smith } 17785a8e39fbSHong Zhang 17795a8e39fbSHong Zhang current_space->array += nzi; 17805a8e39fbSHong Zhang current_space->local_used += nzi; 17815a8e39fbSHong Zhang current_space->local_remaining -= nzi; 17825a8e39fbSHong Zhang current_space_lvl->array += nzi; 17835a8e39fbSHong Zhang current_space_lvl->local_used += nzi; 17845a8e39fbSHong Zhang current_space_lvl->local_remaining -= nzi; 17859e25ed09SBarry Smith } 17865a8e39fbSHong Zhang 1787898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 1788898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 17895a8e39fbSHong Zhang 17905a8e39fbSHong Zhang /* destroy list of free space and other temporary arrays */ 17915a8e39fbSHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 17926516239fSHong Zhang ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); /* copy free_space -> bj */ 17935a8e39fbSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 1794a1a86e44SBarry Smith ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 17955a8e39fbSHong Zhang ierr = PetscFree(bj_ptr);CHKERRQ(ierr); 17969e25ed09SBarry Smith 17976cf91177SBarry Smith #if defined(PETSC_USE_INFO) 1798f64065bbSBarry Smith { 17995a8e39fbSHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 1800ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 1801ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 1802ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr); 1803ae15b995SBarry Smith ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 1804335d9088SBarry Smith if (diagonal_fill) { 1805ae15b995SBarry Smith ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr); 1806335d9088SBarry Smith } 1807f64065bbSBarry Smith } 180863ba0a88SBarry Smith #endif 1809bbb6d6a8SBarry Smith 18109e25ed09SBarry Smith /* put together the new matrix */ 181107dbf95fSBarry Smith ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 1812719d5645SBarry Smith ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr); 1813719d5645SBarry Smith b = (Mat_SeqAIJ*)(fact)->data; 1814e6b907acSBarry Smith b->free_a = PETSC_TRUE; 1815e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 18167c922b88SBarry Smith b->singlemalloc = PETSC_FALSE; 1817052f0c41SBarry Smith ierr = PetscMalloc( (bi[n] )*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 18185a8e39fbSHong Zhang b->j = bj; 18195a8e39fbSHong Zhang b->i = bi; 18205a8e39fbSHong Zhang for (i=0; i<n; i++) bdiag[i] += bi[i]; 18215a8e39fbSHong Zhang b->diag = bdiag; 1822416022c9SBarry Smith b->ilen = 0; 1823416022c9SBarry Smith b->imax = 0; 1824416022c9SBarry Smith b->row = isrow; 1825416022c9SBarry Smith b->col = iscol; 1826c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1827c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 182882bf6240SBarry Smith b->icol = isicol; 182987828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1830416022c9SBarry Smith /* In b structure: Free imax, ilen, old a, old j. 18315a8e39fbSHong Zhang Allocate bdiag, solve_work, new a, new j */ 1832719d5645SBarry Smith ierr = PetscLogObjectMemory(fact,(bi[n]-n) * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 18335a8e39fbSHong Zhang b->maxnz = b->nz = bi[n] ; 1834719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 1835719d5645SBarry Smith (fact)->info.fill_ratio_given = f; 1836719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]); 1837719d5645SBarry Smith (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 18384108e4d5SBarry Smith ierr = MatILUFactorSymbolic_SeqAIJ_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); 18393a40ed3dSBarry Smith PetscFunctionReturn(0); 18409e25ed09SBarry Smith } 1841d5d45c9bSBarry Smith 1842a6175056SHong Zhang #undef __FUNCT__ 18435f44c854SHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ_newdatastruct" 18445f44c854SHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ_newdatastruct(Mat B,Mat A,const MatFactorInfo *info) 18455f44c854SHong Zhang { 18465f44c854SHong Zhang Mat C = B; 18475f44c854SHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 18485f44c854SHong Zhang Mat_SeqSBAIJ *b=(Mat_SeqSBAIJ*)C->data; 18495f44c854SHong Zhang IS ip=b->row,iip = b->icol; 18505f44c854SHong Zhang PetscErrorCode ierr; 18515f44c854SHong Zhang const PetscInt *rip,*riip; 18525f44c854SHong Zhang PetscInt i,j,mbs=A->rmap->n,*bi=b->i,*bj=b->j,*bdiag=b->diag,*bjtmp; 18535f44c854SHong Zhang PetscInt *ai=a->i,*aj=a->j; 18545f44c854SHong Zhang PetscInt k,jmin,jmax,*c2r,*il,col,nexti,ili,nz; 18555f44c854SHong Zhang MatScalar *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi; 18565f44c854SHong Zhang PetscReal zeropivot,shiftnz; 18575f44c854SHong Zhang PetscReal shiftpd; 18585f44c854SHong Zhang PetscTruth perm_identity; 18595f44c854SHong Zhang 18605f44c854SHong Zhang PetscFunctionBegin; 18615f44c854SHong Zhang 18625f44c854SHong Zhang shiftnz = info->shiftnz; 18635f44c854SHong Zhang shiftpd = info->shiftpd; 18645f44c854SHong Zhang zeropivot = info->zeropivot; 18655f44c854SHong Zhang 18665f44c854SHong Zhang ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 18675f44c854SHong Zhang ierr = ISGetIndices(iip,&riip);CHKERRQ(ierr); 18685f44c854SHong Zhang 18695f44c854SHong Zhang /* allocate working arrays 18705f44c854SHong Zhang c2r: linked list, keep track of pivot rows for a given column. c2r[col]: head of the list for a given col 18715f44c854SHong Zhang il: for active k row, il[i] gives the index of the 1st nonzero entry in U[i,k:n-1] in bj and ba arrays 18725f44c854SHong Zhang */ 18735f44c854SHong Zhang nz = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar); 18745f44c854SHong Zhang ierr = PetscMalloc(nz,&il);CHKERRQ(ierr); 18755f44c854SHong Zhang c2r = il + mbs; 18765f44c854SHong Zhang rtmp = (MatScalar*)(c2r + mbs); 18775f44c854SHong Zhang 18785f44c854SHong Zhang for (i=0; i<mbs; i++) { 18795f44c854SHong Zhang c2r[i] = mbs; 18805f44c854SHong Zhang } 18815f44c854SHong Zhang il[0] = 0; 18825f44c854SHong Zhang 18835f44c854SHong Zhang for (k = 0; k<mbs; k++){ 18845f44c854SHong Zhang /* zero rtmp */ 18855f44c854SHong Zhang nz = bi[k+1] - bi[k]; 18865f44c854SHong Zhang bjtmp = bj + bi[k]; 18875f44c854SHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 18885f44c854SHong Zhang 18895f44c854SHong Zhang /* load in initial unfactored row */ 18905f44c854SHong Zhang bval = ba + bi[k]; 18915f44c854SHong Zhang jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 18925f44c854SHong Zhang for (j = jmin; j < jmax; j++){ 18935f44c854SHong Zhang col = riip[aj[j]]; 18945f44c854SHong Zhang if (col >= k){ /* only take upper triangular entry */ 18955f44c854SHong Zhang rtmp[col] = aa[j]; 18965f44c854SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 18975f44c854SHong Zhang } 18985f44c854SHong Zhang } 18995f44c854SHong Zhang /* shift the diagonal of the matrix */ 19005f44c854SHong Zhang 19015f44c854SHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 19025f44c854SHong Zhang dk = rtmp[k]; 19035f44c854SHong Zhang i = c2r[k]; /* first row to be added to k_th row */ 19045f44c854SHong Zhang 19055f44c854SHong Zhang while (i < k){ 19065f44c854SHong Zhang nexti = c2r[i]; /* next row to be added to k_th row */ 19075f44c854SHong Zhang 19085f44c854SHong Zhang /* compute multiplier, update diag(k) and U(i,k) */ 19095f44c854SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 19105f44c854SHong Zhang uikdi = - ba[ili]*ba[bdiag[i]]; /* diagonal(k) */ 19115f44c854SHong Zhang dk += uikdi*ba[ili]; /* update diag[k] */ 19125f44c854SHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 19135f44c854SHong Zhang 19145f44c854SHong Zhang /* add multiple of row i to k-th row */ 19155f44c854SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 19165f44c854SHong Zhang if (jmin < jmax){ 19175f44c854SHong Zhang for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 19185f44c854SHong Zhang /* update il and c2r for row i */ 19195f44c854SHong Zhang il[i] = jmin; 19205f44c854SHong Zhang j = bj[jmin]; c2r[i] = c2r[j]; c2r[j] = i; 19215f44c854SHong Zhang } 19225f44c854SHong Zhang i = nexti; 19235f44c854SHong Zhang } 19245f44c854SHong Zhang 19255f44c854SHong Zhang /* copy data into U(k,:) */ 19265f44c854SHong Zhang ba[bdiag[k]] = 1.0/dk; /* U(k,k) */ 19275f44c854SHong Zhang jmin = bi[k]; jmax = bi[k+1]-1; 19285f44c854SHong Zhang if (jmin < jmax) { 19295f44c854SHong Zhang for (j=jmin; j<jmax; j++){ 19305f44c854SHong Zhang col = bj[j]; ba[j] = rtmp[col]; 19315f44c854SHong Zhang } 19325f44c854SHong Zhang /* add the k-th row into il and c2r */ 19335f44c854SHong Zhang il[k] = jmin; 19345f44c854SHong Zhang i = bj[jmin]; c2r[k] = c2r[i]; c2r[i] = k; 19355f44c854SHong Zhang } 19365f44c854SHong Zhang } 19375f44c854SHong Zhang 19385f44c854SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 19395f44c854SHong Zhang ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 19405f44c854SHong Zhang ierr = ISRestoreIndices(iip,&riip);CHKERRQ(ierr); 19415f44c854SHong Zhang 19425f44c854SHong Zhang ierr = ISIdentity(ip,&perm_identity);CHKERRQ(ierr); 19435f44c854SHong Zhang if (perm_identity){ 19445f44c854SHong Zhang (B)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering_newdatastruct; 19455f44c854SHong Zhang (B)->ops->solvetranspose = 0; 19465f44c854SHong Zhang (B)->ops->forwardsolve = 0; 19475f44c854SHong Zhang (B)->ops->backwardsolve = 0; 19485f44c854SHong Zhang } else { 1949783ef271SHong Zhang (B)->ops->solve = MatSolve_SeqSBAIJ_1_newdatastruct; 19505f44c854SHong Zhang (B)->ops->solvetranspose = 0; 19515f44c854SHong Zhang (B)->ops->forwardsolve = 0; 19525f44c854SHong Zhang (B)->ops->backwardsolve = 0; 19535f44c854SHong Zhang } 19545f44c854SHong Zhang 19555f44c854SHong Zhang C->assembled = PETSC_TRUE; 19565f44c854SHong Zhang C->preallocated = PETSC_TRUE; 19575f44c854SHong Zhang ierr = PetscLogFlops(C->rmap->n);CHKERRQ(ierr); 19585f44c854SHong Zhang PetscFunctionReturn(0); 19595f44c854SHong Zhang } 19605f44c854SHong Zhang 19615f44c854SHong Zhang #undef __FUNCT__ 1962a6175056SHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ" 19630481f469SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info) 1964a6175056SHong Zhang { 1965719d5645SBarry Smith Mat C = B; 19660968510aSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 19672ed133dbSHong Zhang Mat_SeqSBAIJ *b=(Mat_SeqSBAIJ*)C->data; 19689bfd6278SHong Zhang IS ip=b->row,iip = b->icol; 19692ed133dbSHong Zhang PetscErrorCode ierr; 19705d0c19d7SBarry Smith const PetscInt *rip,*riip; 19715d0c19d7SBarry Smith PetscInt i,j,mbs=A->rmap->n,*bi=b->i,*bj=b->j,*bcol; 19722ed133dbSHong Zhang PetscInt *ai=a->i,*aj=a->j; 19732ed133dbSHong Zhang PetscInt k,jmin,jmax,*jl,*il,col,nexti,ili,nz; 1974622e2028SHong Zhang MatScalar *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi; 1975540703acSHong Zhang PetscReal zeropivot,rs,shiftnz; 1976fbf22428SSatish Balay PetscReal shiftpd; 1977540703acSHong Zhang ChShift_Ctx sctx; 1978540703acSHong Zhang PetscInt newshift; 1979db4efbfdSBarry Smith PetscTruth perm_identity; 1980d5d45c9bSBarry Smith 1981a6175056SHong Zhang PetscFunctionBegin; 1982540703acSHong Zhang shiftnz = info->shiftnz; 1983540703acSHong Zhang shiftpd = info->shiftpd; 1984ee45ca4aSHong Zhang zeropivot = info->zeropivot; 1985ee45ca4aSHong Zhang 19862ed133dbSHong Zhang ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 19879bfd6278SHong Zhang ierr = ISGetIndices(iip,&riip);CHKERRQ(ierr); 19882ed133dbSHong Zhang 19892ed133dbSHong Zhang /* initialization */ 19902ed133dbSHong Zhang nz = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar); 19912ed133dbSHong Zhang ierr = PetscMalloc(nz,&il);CHKERRQ(ierr); 19922ed133dbSHong Zhang jl = il + mbs; 19932ed133dbSHong Zhang rtmp = (MatScalar*)(jl + mbs); 19942ed133dbSHong Zhang 1995540703acSHong Zhang sctx.shift_amount = 0; 1996540703acSHong Zhang sctx.nshift = 0; 19972ed133dbSHong Zhang do { 1998540703acSHong Zhang sctx.chshift = PETSC_FALSE; 19992ed133dbSHong Zhang for (i=0; i<mbs; i++) { 20002ed133dbSHong Zhang rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 2001a6175056SHong Zhang } 20022ed133dbSHong Zhang 20032ed133dbSHong Zhang for (k = 0; k<mbs; k++){ 2004c05c3958SHong Zhang bval = ba + bi[k]; 20052ed133dbSHong Zhang /* initialize k-th row by the perm[k]-th row of A */ 20062ed133dbSHong Zhang jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 20072ed133dbSHong Zhang for (j = jmin; j < jmax; j++){ 20089bfd6278SHong Zhang col = riip[aj[j]]; 20092ed133dbSHong Zhang if (col >= k){ /* only take upper triangular entry */ 20102ed133dbSHong Zhang rtmp[col] = aa[j]; 2011c05c3958SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 20122ed133dbSHong Zhang } 20132ed133dbSHong Zhang } 201439e3d630SHong Zhang /* shift the diagonal of the matrix */ 2015540703acSHong Zhang if (sctx.nshift) rtmp[k] += sctx.shift_amount; 20162ed133dbSHong Zhang 20172ed133dbSHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 20182ed133dbSHong Zhang dk = rtmp[k]; 20192ed133dbSHong Zhang i = jl[k]; /* first row to be added to k_th row */ 20202ed133dbSHong Zhang 20212ed133dbSHong Zhang while (i < k){ 20222ed133dbSHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 20232ed133dbSHong Zhang 20242ed133dbSHong Zhang /* compute multiplier, update diag(k) and U(i,k) */ 20252ed133dbSHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 20262ed133dbSHong Zhang uikdi = - ba[ili]*ba[bi[i]]; /* diagonal(k) */ 20272ed133dbSHong Zhang dk += uikdi*ba[ili]; 20282ed133dbSHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 20292ed133dbSHong Zhang 20302ed133dbSHong Zhang /* add multiple of row i to k-th row */ 20312ed133dbSHong Zhang jmin = ili + 1; jmax = bi[i+1]; 20322ed133dbSHong Zhang if (jmin < jmax){ 20332ed133dbSHong Zhang for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 20342ed133dbSHong Zhang /* update il and jl for row i */ 20352ed133dbSHong Zhang il[i] = jmin; 20362ed133dbSHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 20372ed133dbSHong Zhang } 20382ed133dbSHong Zhang i = nexti; 20392ed133dbSHong Zhang } 20402ed133dbSHong Zhang 20410697b6caSHong Zhang /* shift the diagonals when zero pivot is detected */ 20420697b6caSHong Zhang /* compute rs=sum of abs(off-diagonal) */ 20430697b6caSHong Zhang rs = 0.0; 20443c9e8598SHong Zhang jmin = bi[k]+1; 20453c9e8598SHong Zhang nz = bi[k+1] - jmin; 20463c9e8598SHong Zhang bcol = bj + jmin; 204704fbf559SBarry Smith for (j=0; j<nz; j++) { 204804fbf559SBarry Smith rs += PetscAbsScalar(rtmp[bcol[j]]); 20493c9e8598SHong Zhang } 2050540703acSHong Zhang 2051540703acSHong Zhang sctx.rs = rs; 2052540703acSHong Zhang sctx.pv = dk; 20535b5bc046SBarry Smith ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr); 2054117f1891Stmunson 2055117f1891Stmunson if (newshift == 1) { 2056117f1891Stmunson if (!sctx.shift_amount) { 2057117f1891Stmunson sctx.shift_amount = 1e-5; 2058117f1891Stmunson } 2059117f1891Stmunson break; 2060117f1891Stmunson } 20613c9e8598SHong Zhang 20623c9e8598SHong Zhang /* copy data into U(k,:) */ 206339e3d630SHong Zhang ba[bi[k]] = 1.0/dk; /* U(k,k) */ 206439e3d630SHong Zhang jmin = bi[k]+1; jmax = bi[k+1]; 206539e3d630SHong Zhang if (jmin < jmax) { 206639e3d630SHong Zhang for (j=jmin; j<jmax; j++){ 206739e3d630SHong Zhang col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0; 20683c9e8598SHong Zhang } 206939e3d630SHong Zhang /* add the k-th row into il and jl */ 20703c9e8598SHong Zhang il[k] = jmin; 20713c9e8598SHong Zhang i = bj[jmin]; jl[k] = jl[i]; jl[i] = k; 20723c9e8598SHong Zhang } 20733c9e8598SHong Zhang } 2074540703acSHong Zhang } while (sctx.chshift); 20753c9e8598SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 20763c9e8598SHong Zhang 207739e3d630SHong Zhang ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 20789bfd6278SHong Zhang ierr = ISRestoreIndices(iip,&riip);CHKERRQ(ierr); 2079db4efbfdSBarry Smith 2080db4efbfdSBarry Smith ierr = ISIdentity(ip,&perm_identity);CHKERRQ(ierr); 2081db4efbfdSBarry Smith if (perm_identity){ 2082719d5645SBarry Smith (B)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 2083719d5645SBarry Smith (B)->ops->solvetranspose = MatSolve_SeqSBAIJ_1_NaturalOrdering; 2084719d5645SBarry Smith (B)->ops->forwardsolve = MatForwardSolve_SeqSBAIJ_1_NaturalOrdering; 2085719d5645SBarry Smith (B)->ops->backwardsolve = MatBackwardSolve_SeqSBAIJ_1_NaturalOrdering; 2086db4efbfdSBarry Smith } else { 2087719d5645SBarry Smith (B)->ops->solve = MatSolve_SeqSBAIJ_1; 2088719d5645SBarry Smith (B)->ops->solvetranspose = MatSolve_SeqSBAIJ_1; 2089719d5645SBarry Smith (B)->ops->forwardsolve = MatForwardSolve_SeqSBAIJ_1; 2090719d5645SBarry Smith (B)->ops->backwardsolve = MatBackwardSolve_SeqSBAIJ_1; 2091db4efbfdSBarry Smith } 2092db4efbfdSBarry Smith 20933c9e8598SHong Zhang C->assembled = PETSC_TRUE; 20943c9e8598SHong Zhang C->preallocated = PETSC_TRUE; 2095d0f46423SBarry Smith ierr = PetscLogFlops(C->rmap->n);CHKERRQ(ierr); 2096540703acSHong Zhang if (sctx.nshift){ 2097540703acSHong Zhang if (shiftnz) { 20981e2582c4SBarry Smith ierr = PetscInfo2(A,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 2099540703acSHong Zhang } else if (shiftpd) { 21001e2582c4SBarry Smith ierr = PetscInfo2(A,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 21010697b6caSHong Zhang } 21023c9e8598SHong Zhang } 21033c9e8598SHong Zhang PetscFunctionReturn(0); 21043c9e8598SHong Zhang } 2105a6175056SHong Zhang 21068a76ed4fSHong Zhang /* 21078a76ed4fSHong Zhang icc() under revised new data structure. 21088a76ed4fSHong Zhang Factored arrays bj and ba are stored as 21098a76ed4fSHong Zhang U(0,:),...,U(i,:),U(n-1,:) 21108a76ed4fSHong Zhang 21118a76ed4fSHong Zhang ui=fact->i is an array of size n+1, in which 21128a76ed4fSHong Zhang ui+ 21138a76ed4fSHong Zhang ui[i]: points to 1st entry of U(i,:),i=0,...,n-1 21148a76ed4fSHong Zhang ui[n]: points to U(n-1,n-1)+1 21158a76ed4fSHong Zhang 21168a76ed4fSHong Zhang udiag=fact->diag is an array of size n,in which 21178a76ed4fSHong Zhang udiag[i]: points to diagonal of U(i,:), i=0,...,n-1 21188a76ed4fSHong Zhang 21198a76ed4fSHong Zhang U(i,:) contains udiag[i] as its last entry, i.e., 21208a76ed4fSHong Zhang U(i,:) = (u[i,i+1],...,u[i,n-1],diag[i]) 21218a76ed4fSHong Zhang */ 21228a76ed4fSHong Zhang 2123a6175056SHong Zhang #undef __FUNCT__ 21245f44c854SHong Zhang #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ_newdatastruct" 21255f44c854SHong Zhang PetscErrorCode MatICCFactorSymbolic_SeqAIJ_newdatastruct(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 2126a6175056SHong Zhang { 21270968510aSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 2128ed59401aSHong Zhang Mat_SeqSBAIJ *b; 2129dfbe8321SBarry Smith PetscErrorCode ierr; 213058ebbce7SBarry Smith PetscTruth perm_identity,missing; 21315f44c854SHong Zhang PetscInt reallocs=0,i,*ai=a->i,*aj=a->j,am=A->rmap->n,*ui,*udiag; 21325d0c19d7SBarry Smith const PetscInt *rip,*riip; 2133ed59401aSHong Zhang PetscInt jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow; 213458ebbce7SBarry Smith PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL,d; 21355a8e39fbSHong Zhang PetscInt ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr; 2136ed59401aSHong Zhang PetscReal fill=info->fill,levels=info->levels; 2137a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 2138a1a86e44SBarry Smith PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 21397a48dd6fSHong Zhang PetscBT lnkbt; 2140b635d36bSHong Zhang IS iperm; 2141a6175056SHong Zhang 2142a6175056SHong Zhang PetscFunctionBegin; 2143d0f46423SBarry 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); 214458ebbce7SBarry Smith ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 214558ebbce7SBarry Smith if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 2146653a6975SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 2147b635d36bSHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 21487a48dd6fSHong Zhang 214939e3d630SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 21505f44c854SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&udiag);CHKERRQ(ierr); 215139e3d630SHong Zhang ui[0] = 0; 215239e3d630SHong Zhang 21538a76ed4fSHong Zhang /* ICC(0) without matrix ordering: simply rearrange column indices */ 2154622e2028SHong Zhang if (!levels && perm_identity) { 215558ebbce7SBarry Smith 2156ed59401aSHong Zhang for (i=0; i<am; i++) { 215739e3d630SHong Zhang ui[i+1] = ui[i] + ai[i+1] - a->diag[i]; 21585f44c854SHong Zhang udiag[i] = ui[i+1] - 1; /* points to the last entry of U(i,:) */ 21595f44c854SHong Zhang } 21605f44c854SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 21615f44c854SHong Zhang cols = uj; 21625f44c854SHong Zhang for (i=0; i<am; i++) { 21635f44c854SHong Zhang aj = a->j + a->diag[i] + 1; /* 1st entry of U(i,:) without diagonal */ 21645f44c854SHong Zhang ncols = ui[i+1] - ui[i] - 1; 21655f44c854SHong Zhang for (j=0; j<ncols; j++) *cols++ = aj[j]; 21665f44c854SHong Zhang *cols++ = i; /* diagoanl is located as the last entry of U(i,:) */ 21675f44c854SHong Zhang } 21685f44c854SHong Zhang } else { /* case: levels>0 || (levels=0 && !perm_identity) */ 21698a76ed4fSHong Zhang if (levels) SETERRQ(PETSC_ERR_ARG_WRONG,"not done yet"); 21705f44c854SHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 21715f44c854SHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 21725f44c854SHong Zhang 21735f44c854SHong Zhang /* initialization */ 21745f44c854SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr); 21755f44c854SHong Zhang 21765f44c854SHong Zhang /* jl: linked list for storing indices of the pivot rows 21775f44c854SHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 21785f44c854SHong Zhang ierr = PetscMalloc((2*am+1)*sizeof(PetscInt)+2*am*sizeof(PetscInt**),&jl);CHKERRQ(ierr); 21795f44c854SHong Zhang il = jl + am; 21805f44c854SHong Zhang uj_ptr = (PetscInt**)(il + am); 21815f44c854SHong Zhang uj_lvl_ptr = (PetscInt**)(uj_ptr + am); 21825f44c854SHong Zhang for (i=0; i<am; i++){ 21835f44c854SHong Zhang jl[i] = am; il[i] = 0; 21845f44c854SHong Zhang } 21855f44c854SHong Zhang 21865f44c854SHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 21875f44c854SHong Zhang nlnk = am + 1; 21885f44c854SHong Zhang ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 21895f44c854SHong Zhang 21905f44c854SHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 21915f44c854SHong Zhang ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 21925f44c854SHong Zhang current_space = free_space; 21935f44c854SHong Zhang ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr); 21945f44c854SHong Zhang current_space_lvl = free_space_lvl; 21955f44c854SHong Zhang 21965f44c854SHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 21975f44c854SHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 21985f44c854SHong Zhang nzk = 0; 21995f44c854SHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 22005f44c854SHong Zhang if (!ncols) SETERRQ2(PETSC_ERR_MAT_CH_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",rip[k],k); 22015f44c854SHong Zhang ncols_upper = 0; 22025f44c854SHong Zhang for (j=0; j<ncols; j++){ 22035f44c854SHong Zhang i = *(aj + ai[rip[k]] + j); /* unpermuted column index */ 22045f44c854SHong Zhang if (riip[i] >= k){ /* only take upper triangular entry */ 22055f44c854SHong Zhang ajtmp[ncols_upper] = i; 22065f44c854SHong Zhang ncols_upper++; 22075f44c854SHong Zhang } 22085f44c854SHong Zhang } 22095f44c854SHong Zhang ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,riip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 22105f44c854SHong Zhang nzk += nlnk; 22115f44c854SHong Zhang 22125f44c854SHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 22135f44c854SHong Zhang prow = jl[k]; /* 1st pivot row */ 22145f44c854SHong Zhang 22155f44c854SHong Zhang while (prow < k){ 22165f44c854SHong Zhang nextprow = jl[prow]; 22175f44c854SHong Zhang 22185f44c854SHong Zhang /* merge prow into k-th row */ 22195f44c854SHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 22205f44c854SHong Zhang jmax = ui[prow+1]; 22215f44c854SHong Zhang ncols = jmax-jmin; 22225f44c854SHong Zhang i = jmin - ui[prow]; 22235f44c854SHong Zhang cols = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 22245f44c854SHong Zhang uj = uj_lvl_ptr[prow] + i; /* levels of cols */ 22255f44c854SHong Zhang j = *(uj - 1); 22265f44c854SHong Zhang ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr); 22275f44c854SHong Zhang nzk += nlnk; 22285f44c854SHong Zhang 22295f44c854SHong Zhang /* update il and jl for prow */ 22305f44c854SHong Zhang if (jmin < jmax){ 22315f44c854SHong Zhang il[prow] = jmin; 22325f44c854SHong Zhang j = *cols; jl[prow] = jl[j]; jl[j] = prow; 22335f44c854SHong Zhang } 22345f44c854SHong Zhang prow = nextprow; 22355f44c854SHong Zhang } 22365f44c854SHong Zhang 22375f44c854SHong Zhang /* if free space is not available, make more free space */ 22385f44c854SHong Zhang if (current_space->local_remaining<nzk) { 22395f44c854SHong Zhang i = am - k + 1; /* num of unfactored rows */ 22405f44c854SHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 22415f44c854SHong Zhang ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 22425f44c854SHong Zhang ierr = PetscFreeSpaceGet(i,¤t_space_lvl);CHKERRQ(ierr); 22435f44c854SHong Zhang reallocs++; 22445f44c854SHong Zhang } 22455f44c854SHong Zhang 22465f44c854SHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 22475f44c854SHong Zhang if (nzk == 0) SETERRQ1(PETSC_ERR_ARG_WRONG,"Empty row %D in ICC matrix factor",k); 22485f44c854SHong Zhang ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 22495f44c854SHong Zhang 22505f44c854SHong Zhang /* add the k-th row into il and jl */ 22515f44c854SHong Zhang if (nzk > 1){ 22525f44c854SHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 22535f44c854SHong Zhang jl[k] = jl[i]; jl[i] = k; 22545f44c854SHong Zhang il[k] = ui[k] + 1; 22555f44c854SHong Zhang } 22565f44c854SHong Zhang uj_ptr[k] = current_space->array; 22575f44c854SHong Zhang uj_lvl_ptr[k] = current_space_lvl->array; 22585f44c854SHong Zhang 22595f44c854SHong Zhang current_space->array += nzk; 22605f44c854SHong Zhang current_space->local_used += nzk; 22615f44c854SHong Zhang current_space->local_remaining -= nzk; 22625f44c854SHong Zhang 22635f44c854SHong Zhang current_space_lvl->array += nzk; 22645f44c854SHong Zhang current_space_lvl->local_used += nzk; 22655f44c854SHong Zhang current_space_lvl->local_remaining -= nzk; 22665f44c854SHong Zhang 22675f44c854SHong Zhang ui[k+1] = ui[k] + nzk; 22685f44c854SHong Zhang } 22695f44c854SHong Zhang 22705f44c854SHong Zhang #if defined(PETSC_USE_INFO) 22715f44c854SHong Zhang if (ai[am] != 0) { 22725f44c854SHong Zhang PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]); 22735f44c854SHong Zhang ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 22745f44c854SHong Zhang ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 22755f44c854SHong Zhang ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 22765f44c854SHong Zhang } else { 22775f44c854SHong Zhang ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 22785f44c854SHong Zhang } 22795f44c854SHong Zhang #endif 22805f44c854SHong Zhang 22815f44c854SHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 22825f44c854SHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 22835f44c854SHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 22845f44c854SHong Zhang ierr = PetscFree(ajtmp);CHKERRQ(ierr); 22855f44c854SHong Zhang 22865f44c854SHong Zhang /* destroy list of free space and other temporary array(s) */ 22875f44c854SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 2288783ef271SHong Zhang ierr = PetscFreeSpaceContiguous_Cholesky(&free_space,uj,am,ui,udiag);CHKERRQ(ierr); 22895f44c854SHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 22905f44c854SHong Zhang ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 22915f44c854SHong Zhang 22925f44c854SHong Zhang } /* end of case: levels>0 || (levels=0 && !perm_identity) */ 22935f44c854SHong Zhang 22945f44c854SHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 22955f44c854SHong Zhang 22965f44c854SHong Zhang b = (Mat_SeqSBAIJ*)(fact)->data; 22975f44c854SHong Zhang b->singlemalloc = PETSC_FALSE; 22985f44c854SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 22995f44c854SHong Zhang b->j = uj; 23005f44c854SHong Zhang b->i = ui; 23015f44c854SHong Zhang b->diag = udiag; 23027f53bb6cSHong Zhang b->free_diag = PETSC_TRUE; 23035f44c854SHong Zhang b->ilen = 0; 23045f44c854SHong Zhang b->imax = 0; 23055f44c854SHong Zhang b->row = perm; 23065f44c854SHong Zhang b->col = perm; 23075f44c854SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 23085f44c854SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 23095f44c854SHong Zhang b->icol = iperm; 23105f44c854SHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 23115f44c854SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 23125f44c854SHong Zhang ierr = PetscLogObjectMemory((fact),(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 23135f44c854SHong Zhang b->maxnz = b->nz = ui[am]; 23145f44c854SHong Zhang b->free_a = PETSC_TRUE; 23155f44c854SHong Zhang b->free_ij = PETSC_TRUE; 23165f44c854SHong Zhang 23175f44c854SHong Zhang (fact)->info.factor_mallocs = reallocs; 23185f44c854SHong Zhang (fact)->info.fill_ratio_given = fill; 23195f44c854SHong Zhang if (ai[am] != 0) { 23205f44c854SHong Zhang (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 23215f44c854SHong Zhang } else { 23225f44c854SHong Zhang (fact)->info.fill_ratio_needed = 0.0; 23235f44c854SHong Zhang } 23245f44c854SHong Zhang (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ_newdatastruct; 23255f44c854SHong Zhang PetscFunctionReturn(0); 23265f44c854SHong Zhang } 23275f44c854SHong Zhang 23285f44c854SHong Zhang #undef __FUNCT__ 23295f44c854SHong Zhang #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ" 23305f44c854SHong Zhang PetscErrorCode MatICCFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 23315f44c854SHong Zhang { 23325f44c854SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 23335f44c854SHong Zhang Mat_SeqSBAIJ *b; 23345f44c854SHong Zhang PetscErrorCode ierr; 23355f44c854SHong Zhang PetscTruth perm_identity,missing; 23365f44c854SHong Zhang PetscInt reallocs=0,i,*ai=a->i,*aj=a->j,am=A->rmap->n,*ui,*udiag; 23375f44c854SHong Zhang const PetscInt *rip,*riip; 23385f44c854SHong Zhang PetscInt jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow; 23395f44c854SHong Zhang PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL,d; 23405f44c854SHong Zhang PetscInt ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr; 23415f44c854SHong Zhang PetscReal fill=info->fill,levels=info->levels; 23425f44c854SHong Zhang PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 23435f44c854SHong Zhang PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 23445f44c854SHong Zhang PetscBT lnkbt; 23455f44c854SHong Zhang IS iperm; 23465f44c854SHong Zhang PetscTruth newdatastruct=PETSC_FALSE; 23475f44c854SHong Zhang 23485f44c854SHong Zhang PetscFunctionBegin; 23495f44c854SHong Zhang ierr = PetscOptionsGetTruth(PETSC_NULL,"-icc_new",&newdatastruct,PETSC_NULL);CHKERRQ(ierr); 23505f44c854SHong Zhang if(newdatastruct){ 23515f44c854SHong Zhang ierr = MatICCFactorSymbolic_SeqAIJ_newdatastruct(fact,A,perm,info);CHKERRQ(ierr); 23525f44c854SHong Zhang PetscFunctionReturn(0); 23535f44c854SHong Zhang } 23545f44c854SHong Zhang 23555f44c854SHong Zhang 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); 23565f44c854SHong Zhang ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 23575f44c854SHong Zhang if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 23585f44c854SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 23595f44c854SHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 23605f44c854SHong Zhang 23615f44c854SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 23625f44c854SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&udiag);CHKERRQ(ierr); 23635f44c854SHong Zhang ui[0] = 0; 23645f44c854SHong Zhang 23655f44c854SHong Zhang /* ICC(0) without matrix ordering: simply copies fill pattern */ 23665f44c854SHong Zhang if (!levels && perm_identity) { 23675f44c854SHong Zhang 23685f44c854SHong Zhang for (i=0; i<am; i++) { 23695f44c854SHong Zhang ui[i+1] = ui[i] + ai[i+1] - a->diag[i]; 23705f44c854SHong Zhang udiag[i] = ui[i]; 2371ed59401aSHong Zhang } 237239e3d630SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 237339e3d630SHong Zhang cols = uj; 2374ed59401aSHong Zhang for (i=0; i<am; i++) { 2375ed59401aSHong Zhang aj = a->j + a->diag[i]; 237639e3d630SHong Zhang ncols = ui[i+1] - ui[i]; 237739e3d630SHong Zhang for (j=0; j<ncols; j++) *cols++ = *aj++; 2378ed59401aSHong Zhang } 237939e3d630SHong Zhang } else { /* case: levels>0 || (levels=0 && !perm_identity) */ 2380b635d36bSHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 2381b635d36bSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 2382b635d36bSHong Zhang 23837a48dd6fSHong Zhang /* initialization */ 23845a8e39fbSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr); 23857a48dd6fSHong Zhang 23867a48dd6fSHong Zhang /* jl: linked list for storing indices of the pivot rows 23877a48dd6fSHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 23881393bc97SHong Zhang ierr = PetscMalloc((2*am+1)*sizeof(PetscInt)+2*am*sizeof(PetscInt**),&jl);CHKERRQ(ierr); 23897a48dd6fSHong Zhang il = jl + am; 23907a48dd6fSHong Zhang uj_ptr = (PetscInt**)(il + am); 23917a48dd6fSHong Zhang uj_lvl_ptr = (PetscInt**)(uj_ptr + am); 23927a48dd6fSHong Zhang for (i=0; i<am; i++){ 23937a48dd6fSHong Zhang jl[i] = am; il[i] = 0; 23947a48dd6fSHong Zhang } 23957a48dd6fSHong Zhang 23967a48dd6fSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 23977a48dd6fSHong Zhang nlnk = am + 1; 23982ed133dbSHong Zhang ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 23997a48dd6fSHong Zhang 24007a48dd6fSHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 2401a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 24027a48dd6fSHong Zhang current_space = free_space; 2403a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr); 24047a48dd6fSHong Zhang current_space_lvl = free_space_lvl; 24057a48dd6fSHong Zhang 24067a48dd6fSHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 24077a48dd6fSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 24087a48dd6fSHong Zhang nzk = 0; 2409622e2028SHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 24103b4a8b6dSBarry 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); 2411622e2028SHong Zhang ncols_upper = 0; 2412622e2028SHong Zhang for (j=0; j<ncols; j++){ 2413b635d36bSHong Zhang i = *(aj + ai[rip[k]] + j); /* unpermuted column index */ 2414b635d36bSHong Zhang if (riip[i] >= k){ /* only take upper triangular entry */ 24155a8e39fbSHong Zhang ajtmp[ncols_upper] = i; 2416622e2028SHong Zhang ncols_upper++; 2417622e2028SHong Zhang } 2418622e2028SHong Zhang } 2419b635d36bSHong Zhang ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,riip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 24207a48dd6fSHong Zhang nzk += nlnk; 24217a48dd6fSHong Zhang 24227a48dd6fSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 24237a48dd6fSHong Zhang prow = jl[k]; /* 1st pivot row */ 24247a48dd6fSHong Zhang 24257a48dd6fSHong Zhang while (prow < k){ 24267a48dd6fSHong Zhang nextprow = jl[prow]; 24277a48dd6fSHong Zhang 24287a48dd6fSHong Zhang /* merge prow into k-th row */ 24297a48dd6fSHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 24307a48dd6fSHong Zhang jmax = ui[prow+1]; 24317a48dd6fSHong Zhang ncols = jmax-jmin; 2432ed59401aSHong Zhang i = jmin - ui[prow]; 2433ed59401aSHong Zhang cols = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 24345a8e39fbSHong Zhang uj = uj_lvl_ptr[prow] + i; /* levels of cols */ 24355a8e39fbSHong Zhang j = *(uj - 1); 24365a8e39fbSHong Zhang ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr); 24377a48dd6fSHong Zhang nzk += nlnk; 24387a48dd6fSHong Zhang 24397a48dd6fSHong Zhang /* update il and jl for prow */ 24407a48dd6fSHong Zhang if (jmin < jmax){ 24417a48dd6fSHong Zhang il[prow] = jmin; 24427a48dd6fSHong Zhang j = *cols; jl[prow] = jl[j]; jl[j] = prow; 24437a48dd6fSHong Zhang } 24447a48dd6fSHong Zhang prow = nextprow; 24457a48dd6fSHong Zhang } 24467a48dd6fSHong Zhang 24477a48dd6fSHong Zhang /* if free space is not available, make more free space */ 24487a48dd6fSHong Zhang if (current_space->local_remaining<nzk) { 24497a48dd6fSHong Zhang i = am - k + 1; /* num of unfactored rows */ 24507a48dd6fSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 2451a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 2452a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space_lvl);CHKERRQ(ierr); 24537a48dd6fSHong Zhang reallocs++; 24547a48dd6fSHong Zhang } 24557a48dd6fSHong Zhang 24567a48dd6fSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 2457b635d36bSHong Zhang if (nzk == 0) SETERRQ1(PETSC_ERR_ARG_WRONG,"Empty row %D in ICC matrix factor",k); 24582ed133dbSHong Zhang ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 24597a48dd6fSHong Zhang 24607a48dd6fSHong Zhang /* add the k-th row into il and jl */ 246139e3d630SHong Zhang if (nzk > 1){ 24627a48dd6fSHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 24637a48dd6fSHong Zhang jl[k] = jl[i]; jl[i] = k; 24647a48dd6fSHong Zhang il[k] = ui[k] + 1; 24657a48dd6fSHong Zhang } 24667a48dd6fSHong Zhang uj_ptr[k] = current_space->array; 24677a48dd6fSHong Zhang uj_lvl_ptr[k] = current_space_lvl->array; 24687a48dd6fSHong Zhang 24697a48dd6fSHong Zhang current_space->array += nzk; 24707a48dd6fSHong Zhang current_space->local_used += nzk; 24717a48dd6fSHong Zhang current_space->local_remaining -= nzk; 24727a48dd6fSHong Zhang 24737a48dd6fSHong Zhang current_space_lvl->array += nzk; 24747a48dd6fSHong Zhang current_space_lvl->local_used += nzk; 24757a48dd6fSHong Zhang current_space_lvl->local_remaining -= nzk; 24767a48dd6fSHong Zhang 24777a48dd6fSHong Zhang ui[k+1] = ui[k] + nzk; 24787a48dd6fSHong Zhang } 24797a48dd6fSHong Zhang 24806cf91177SBarry Smith #if defined(PETSC_USE_INFO) 24817a48dd6fSHong Zhang if (ai[am] != 0) { 248239e3d630SHong Zhang PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]); 2483ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 2484ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 2485ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 24867a48dd6fSHong Zhang } else { 2487ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 24887a48dd6fSHong Zhang } 248963ba0a88SBarry Smith #endif 24907a48dd6fSHong Zhang 24917a48dd6fSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 2492b635d36bSHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 24937a48dd6fSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 24945a8e39fbSHong Zhang ierr = PetscFree(ajtmp);CHKERRQ(ierr); 24957a48dd6fSHong Zhang 24967a48dd6fSHong Zhang /* destroy list of free space and other temporary array(s) */ 24977a48dd6fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 2498a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 24992ed133dbSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 2500a1a86e44SBarry Smith ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 25017a48dd6fSHong Zhang 250239e3d630SHong Zhang } /* end of case: levels>0 || (levels=0 && !perm_identity) */ 250339e3d630SHong Zhang 25047a48dd6fSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 25057a48dd6fSHong Zhang 2506719d5645SBarry Smith b = (Mat_SeqSBAIJ*)(fact)->data; 25077a48dd6fSHong Zhang b->singlemalloc = PETSC_FALSE; 25087a48dd6fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 25097a48dd6fSHong Zhang b->j = uj; 25107a48dd6fSHong Zhang b->i = ui; 25115f44c854SHong Zhang b->diag = udiag; 25127f53bb6cSHong Zhang b->free_diag = PETSC_TRUE; 25137a48dd6fSHong Zhang b->ilen = 0; 25147a48dd6fSHong Zhang b->imax = 0; 25157a48dd6fSHong Zhang b->row = perm; 2516b635d36bSHong Zhang b->col = perm; 2517b635d36bSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 2518b635d36bSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 2519b635d36bSHong Zhang b->icol = iperm; 25207a48dd6fSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 25217a48dd6fSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2522719d5645SBarry Smith ierr = PetscLogObjectMemory((fact),(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 25237a48dd6fSHong Zhang b->maxnz = b->nz = ui[am]; 2524e6b907acSBarry Smith b->free_a = PETSC_TRUE; 2525e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 25267a48dd6fSHong Zhang 2527719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 2528719d5645SBarry Smith (fact)->info.fill_ratio_given = fill; 25297a48dd6fSHong Zhang if (ai[am] != 0) { 2530719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 25317a48dd6fSHong Zhang } else { 2532719d5645SBarry Smith (fact)->info.fill_ratio_needed = 0.0; 25337a48dd6fSHong Zhang } 2534719d5645SBarry Smith (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ; 2535a6175056SHong Zhang PetscFunctionReturn(0); 2536a6175056SHong Zhang } 2537d5d45c9bSBarry Smith 2538f76d2b81SHong Zhang #undef __FUNCT__ 2539f76d2b81SHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqAIJ" 25400481f469SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 2541f76d2b81SHong Zhang { 2542f76d2b81SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 254310c27e3dSHong Zhang Mat_SeqSBAIJ *b; 2544dfbe8321SBarry Smith PetscErrorCode ierr; 2545f76d2b81SHong Zhang PetscTruth perm_identity; 254610c27e3dSHong Zhang PetscReal fill = info->fill; 25475d0c19d7SBarry Smith const PetscInt *rip,*riip; 25485d0c19d7SBarry Smith PetscInt i,am=A->rmap->n,*ai=a->i,*aj=a->j,reallocs=0,prow; 254910c27e3dSHong Zhang PetscInt *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow; 25502ed133dbSHong Zhang PetscInt nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr; 2551a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 255210c27e3dSHong Zhang PetscBT lnkbt; 25532ed133dbSHong Zhang IS iperm; 2554f76d2b81SHong Zhang 2555f76d2b81SHong Zhang PetscFunctionBegin; 2556d0f46423SBarry 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); 25572ed133dbSHong Zhang /* check whether perm is the identity mapping */ 2558f76d2b81SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 25592ed133dbSHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 25602ed133dbSHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 25619bfd6278SHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 256210c27e3dSHong Zhang 256310c27e3dSHong Zhang /* initialization */ 25641393bc97SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 256510c27e3dSHong Zhang ui[0] = 0; 256610c27e3dSHong Zhang 256710c27e3dSHong Zhang /* jl: linked list for storing indices of the pivot rows 25681393bc97SHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 25691393bc97SHong Zhang ierr = PetscMalloc((3*am+1)*sizeof(PetscInt)+am*sizeof(PetscInt**),&jl);CHKERRQ(ierr); 25701393bc97SHong Zhang il = jl + am; 25711393bc97SHong Zhang cols = il + am; 25721393bc97SHong Zhang ui_ptr = (PetscInt**)(cols + am); 25731393bc97SHong Zhang for (i=0; i<am; i++){ 25741393bc97SHong Zhang jl[i] = am; il[i] = 0; 2575f76d2b81SHong Zhang } 257610c27e3dSHong Zhang 257710c27e3dSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 25781393bc97SHong Zhang nlnk = am + 1; 25791393bc97SHong Zhang ierr = PetscLLCreate(am,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 258010c27e3dSHong Zhang 25811393bc97SHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 2582a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 258310c27e3dSHong Zhang current_space = free_space; 258410c27e3dSHong Zhang 25851393bc97SHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 258610c27e3dSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 258710c27e3dSHong Zhang nzk = 0; 25882ed133dbSHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 25893b4a8b6dSBarry 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); 25902ed133dbSHong Zhang ncols_upper = 0; 25912ed133dbSHong Zhang for (j=0; j<ncols; j++){ 25929bfd6278SHong Zhang i = riip[*(aj + ai[rip[k]] + j)]; 25932ed133dbSHong Zhang if (i >= k){ /* only take upper triangular entry */ 25942ed133dbSHong Zhang cols[ncols_upper] = i; 25952ed133dbSHong Zhang ncols_upper++; 25962ed133dbSHong Zhang } 25972ed133dbSHong Zhang } 25981393bc97SHong Zhang ierr = PetscLLAdd(ncols_upper,cols,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 259910c27e3dSHong Zhang nzk += nlnk; 260010c27e3dSHong Zhang 260110c27e3dSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 260210c27e3dSHong Zhang prow = jl[k]; /* 1st pivot row */ 260310c27e3dSHong Zhang 260410c27e3dSHong Zhang while (prow < k){ 260510c27e3dSHong Zhang nextprow = jl[prow]; 260610c27e3dSHong Zhang /* merge prow into k-th row */ 26071393bc97SHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 260810c27e3dSHong Zhang jmax = ui[prow+1]; 260910c27e3dSHong Zhang ncols = jmax-jmin; 26101393bc97SHong Zhang uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 26115a8e39fbSHong Zhang ierr = PetscLLAddSorted(ncols,uj_ptr,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 261210c27e3dSHong Zhang nzk += nlnk; 261310c27e3dSHong Zhang 261410c27e3dSHong Zhang /* update il and jl for prow */ 261510c27e3dSHong Zhang if (jmin < jmax){ 261610c27e3dSHong Zhang il[prow] = jmin; 26172ed133dbSHong Zhang j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow; 261810c27e3dSHong Zhang } 261910c27e3dSHong Zhang prow = nextprow; 262010c27e3dSHong Zhang } 262110c27e3dSHong Zhang 262210c27e3dSHong Zhang /* if free space is not available, make more free space */ 262310c27e3dSHong Zhang if (current_space->local_remaining<nzk) { 26241393bc97SHong Zhang i = am - k + 1; /* num of unfactored rows */ 262510c27e3dSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 2626a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 262710c27e3dSHong Zhang reallocs++; 262810c27e3dSHong Zhang } 262910c27e3dSHong Zhang 263010c27e3dSHong Zhang /* copy data into free space, then initialize lnk */ 26311393bc97SHong Zhang ierr = PetscLLClean(am,am,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 263210c27e3dSHong Zhang 263310c27e3dSHong Zhang /* add the k-th row into il and jl */ 263410c27e3dSHong Zhang if (nzk-1 > 0){ 26351393bc97SHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 263610c27e3dSHong Zhang jl[k] = jl[i]; jl[i] = k; 263710c27e3dSHong Zhang il[k] = ui[k] + 1; 263810c27e3dSHong Zhang } 26392ed133dbSHong Zhang ui_ptr[k] = current_space->array; 264010c27e3dSHong Zhang current_space->array += nzk; 264110c27e3dSHong Zhang current_space->local_used += nzk; 264210c27e3dSHong Zhang current_space->local_remaining -= nzk; 264310c27e3dSHong Zhang 264410c27e3dSHong Zhang ui[k+1] = ui[k] + nzk; 264510c27e3dSHong Zhang } 264610c27e3dSHong Zhang 26476cf91177SBarry Smith #if defined(PETSC_USE_INFO) 26481393bc97SHong Zhang if (ai[am] != 0) { 26491393bc97SHong Zhang PetscReal af = (PetscReal)(ui[am])/((PetscReal)ai[am]); 2650ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 2651ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 2652ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 265310c27e3dSHong Zhang } else { 2654ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 265510c27e3dSHong Zhang } 265663ba0a88SBarry Smith #endif 265710c27e3dSHong Zhang 265810c27e3dSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 26599bfd6278SHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 266010c27e3dSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 266110c27e3dSHong Zhang 266210c27e3dSHong Zhang /* destroy list of free space and other temporary array(s) */ 26631393bc97SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 2664a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 266510c27e3dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 266610c27e3dSHong Zhang 266710c27e3dSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 266810c27e3dSHong Zhang 2669719d5645SBarry Smith b = (Mat_SeqSBAIJ*)(fact)->data; 267010c27e3dSHong Zhang b->singlemalloc = PETSC_FALSE; 2671e6b907acSBarry Smith b->free_a = PETSC_TRUE; 2672e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 26731393bc97SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 267410c27e3dSHong Zhang b->j = uj; 267510c27e3dSHong Zhang b->i = ui; 267610c27e3dSHong Zhang b->diag = 0; 267710c27e3dSHong Zhang b->ilen = 0; 267810c27e3dSHong Zhang b->imax = 0; 267910c27e3dSHong Zhang b->row = perm; 26809bfd6278SHong Zhang b->col = perm; 26819bfd6278SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 26829bfd6278SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 26839bfd6278SHong Zhang b->icol = iperm; 268410c27e3dSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 26851393bc97SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2686719d5645SBarry Smith ierr = PetscLogObjectMemory(fact,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 26871393bc97SHong Zhang b->maxnz = b->nz = ui[am]; 268810c27e3dSHong Zhang 2689719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 2690719d5645SBarry Smith (fact)->info.fill_ratio_given = fill; 26911393bc97SHong Zhang if (ai[am] != 0) { 2692719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 269310c27e3dSHong Zhang } else { 2694719d5645SBarry Smith (fact)->info.fill_ratio_needed = 0.0; 269510c27e3dSHong Zhang } 2696719d5645SBarry Smith (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ; 2697f76d2b81SHong Zhang PetscFunctionReturn(0); 2698f76d2b81SHong Zhang } 2699599ef60dSHong Zhang 2700599ef60dSHong Zhang #undef __FUNCT__ 2701894a2336SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering_newdatastruct" 2702894a2336SHong Zhang PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_newdatastruct(Mat A,Vec bb,Vec xx) 2703599ef60dSHong Zhang { 27041d098868SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 27051d098868SHong Zhang PetscErrorCode ierr; 27061d098868SHong Zhang PetscInt n = A->rmap->n; 27078fc3a347SHong Zhang const PetscInt *ai = a->i,*aj = a->j,*vi; 27081d098868SHong Zhang PetscScalar *x,sum; 27091d098868SHong Zhang const PetscScalar *b; 27101d098868SHong Zhang const MatScalar *aa = a->a,*v; 27118fc3a347SHong Zhang PetscInt i,nz; 27121d098868SHong Zhang 27131d098868SHong Zhang PetscFunctionBegin; 27141d098868SHong Zhang if (!n) PetscFunctionReturn(0); 27151d098868SHong Zhang 27161d098868SHong Zhang ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 27171d098868SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 27181d098868SHong Zhang 27191d098868SHong Zhang /* forward solve the lower triangular */ 27201d098868SHong Zhang x[0] = b[0]; 27211d098868SHong Zhang v = aa; 27221d098868SHong Zhang vi = aj; 27231d098868SHong Zhang for (i=1; i<n; i++) { 27241d098868SHong Zhang nz = ai[i+1] - ai[i]; 27251d098868SHong Zhang sum = b[i]; 2726003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 2727e0e43300SBarry Smith v += nz; 2728e0e43300SBarry Smith vi += nz; 27291d098868SHong Zhang x[i] = sum; 27301d098868SHong Zhang } 27311d098868SHong Zhang 27321d098868SHong Zhang /* backward solve the upper triangular */ 27338fc3a347SHong Zhang v = aa + ai[n+1]; 27348fc3a347SHong Zhang vi = aj + ai[n+1]; 27351d098868SHong Zhang for (i=n-1; i>=0; i--){ 27368fc3a347SHong Zhang nz = ai[2*n-i +1] - ai[2*n-i]-1; 27371d098868SHong Zhang sum = x[i]; 2738003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 2739e0e43300SBarry Smith v += nz; 27408fc3a347SHong Zhang vi += nz; vi++; 2741fe31b70dSHong Zhang x[i] = *v++ *sum; /* x[i]=aa[adiag[i]]*sum; v++; */ 27421d098868SHong Zhang } 27431d098868SHong Zhang 27441d098868SHong Zhang ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 27451d098868SHong Zhang ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 27461d098868SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 27471d098868SHong Zhang PetscFunctionReturn(0); 27481d098868SHong Zhang } 27491d098868SHong Zhang 27501d098868SHong Zhang #undef __FUNCT__ 2751813a1f2bSShri Abhyankar #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering_newdatastruct_v2" 2752813a1f2bSShri Abhyankar PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_newdatastruct_v2(Mat A,Vec bb,Vec xx) 2753813a1f2bSShri Abhyankar { 2754813a1f2bSShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 2755813a1f2bSShri Abhyankar PetscErrorCode ierr; 2756813a1f2bSShri Abhyankar PetscInt n = A->rmap->n; 2757813a1f2bSShri Abhyankar const PetscInt *ai = a->i,*aj = a->j,*adiag = a->diag,*vi; 2758813a1f2bSShri Abhyankar PetscScalar *x,sum; 2759813a1f2bSShri Abhyankar const PetscScalar *b; 2760813a1f2bSShri Abhyankar const MatScalar *aa = a->a,*v; 2761813a1f2bSShri Abhyankar PetscInt i,nz; 2762813a1f2bSShri Abhyankar 2763813a1f2bSShri Abhyankar PetscFunctionBegin; 2764813a1f2bSShri Abhyankar if (!n) PetscFunctionReturn(0); 2765813a1f2bSShri Abhyankar 2766813a1f2bSShri Abhyankar ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 2767813a1f2bSShri Abhyankar ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 2768813a1f2bSShri Abhyankar 2769813a1f2bSShri Abhyankar /* forward solve the lower triangular */ 2770813a1f2bSShri Abhyankar x[0] = b[0]; 2771813a1f2bSShri Abhyankar v = aa; 2772813a1f2bSShri Abhyankar vi = aj; 2773813a1f2bSShri Abhyankar for (i=1; i<n; i++) { 2774813a1f2bSShri Abhyankar nz = ai[i+1] - ai[i]; 2775813a1f2bSShri Abhyankar sum = b[i]; 2776813a1f2bSShri Abhyankar PetscSparseDenseMinusDot(sum,x,v,vi,nz); 2777813a1f2bSShri Abhyankar v += nz; 2778813a1f2bSShri Abhyankar vi += nz; 2779813a1f2bSShri Abhyankar x[i] = sum; 2780813a1f2bSShri Abhyankar } 2781813a1f2bSShri Abhyankar 2782813a1f2bSShri Abhyankar /* backward solve the upper triangular */ 2783813a1f2bSShri Abhyankar /* v = aa + ai[n+1]; 2784813a1f2bSShri Abhyankar vi = aj + ai[n+1]; */ 2785813a1f2bSShri Abhyankar v = aa + adiag[n-1]; 2786813a1f2bSShri Abhyankar vi = aj + adiag[n-1]; 278762fbd6afSShri Abhyankar for (i=n-1; i>=0; i--){ 2788813a1f2bSShri Abhyankar nz = adiag[i] - adiag[i+1]-1; 2789813a1f2bSShri Abhyankar sum = x[i]; 2790813a1f2bSShri Abhyankar PetscSparseDenseMinusDot(sum,x,v,vi,nz); 2791813a1f2bSShri Abhyankar v += nz; 2792813a1f2bSShri Abhyankar vi += nz; vi++; 2793813a1f2bSShri Abhyankar x[i] = *v++ *sum; /* x[i]=aa[adiag[i]]*sum; v++; */ 2794813a1f2bSShri Abhyankar } 2795813a1f2bSShri Abhyankar 2796813a1f2bSShri Abhyankar ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 2797813a1f2bSShri Abhyankar ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 2798813a1f2bSShri Abhyankar ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 2799813a1f2bSShri Abhyankar PetscFunctionReturn(0); 2800813a1f2bSShri Abhyankar } 2801813a1f2bSShri Abhyankar 2802813a1f2bSShri Abhyankar #undef __FUNCT__ 2803894a2336SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_newdatastruct" 2804894a2336SHong Zhang PetscErrorCode MatSolve_SeqAIJ_newdatastruct(Mat A,Vec bb,Vec xx) 28051d098868SHong Zhang { 28061d098868SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 28071d098868SHong Zhang IS iscol = a->col,isrow = a->row; 28081d098868SHong Zhang PetscErrorCode ierr; 2809894a2336SHong Zhang PetscInt i,n=A->rmap->n,*vi,*ai=a->i,*aj=a->j,nz,k; 28101d098868SHong Zhang const PetscInt *rout,*cout,*r,*c; 2811894a2336SHong Zhang PetscScalar *x,*tmp,*tmps,sum; 28121d098868SHong Zhang const PetscScalar *b; 28131d098868SHong Zhang const MatScalar *aa = a->a,*v; 28141d098868SHong Zhang 28151d098868SHong Zhang PetscFunctionBegin; 28161d098868SHong Zhang if (!n) PetscFunctionReturn(0); 28171d098868SHong Zhang 28181d098868SHong Zhang ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 28191d098868SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 28201d098868SHong Zhang tmp = a->solve_work; 28211d098868SHong Zhang 28221d098868SHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 2823894a2336SHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 28241d098868SHong Zhang 28251d098868SHong Zhang /* forward solve the lower triangular */ 28261d098868SHong Zhang tmp[0] = b[*r++]; 28271d098868SHong Zhang tmps = tmp; 28281d098868SHong Zhang v = aa; 28291d098868SHong Zhang vi = aj; 28301d098868SHong Zhang for (i=1; i<n; i++) { 28311d098868SHong Zhang nz = ai[i+1] - ai[i]; 2832894a2336SHong Zhang sum = b[*r++]; 2833894a2336SHong Zhang PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 2834894a2336SHong Zhang tmp[i] = sum; 28351d098868SHong Zhang v += nz; vi += nz; 28361d098868SHong Zhang } 28371d098868SHong Zhang 28381d098868SHong Zhang /* backward solve the upper triangular */ 2839894a2336SHong Zhang k = n+1; 2840894a2336SHong Zhang v = aa + ai[k]; /* 1st entry of U(n-1,:) */ 2841894a2336SHong Zhang vi = aj + ai[k]; 28421d098868SHong Zhang for (i=n-1; i>=0; i--){ 2843894a2336SHong Zhang k = 2*n-i; 2844894a2336SHong Zhang nz = ai[k +1] - ai[k] - 1; 2845894a2336SHong Zhang sum = tmp[i]; 2846894a2336SHong Zhang PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 2847894a2336SHong Zhang x[c[i]] = tmp[i] = sum*v[nz]; /* v[nz] = aa[adiag[i]] */ 28481d098868SHong Zhang v += nz+1; vi += nz+1; 28491d098868SHong Zhang } 28501d098868SHong Zhang 28511d098868SHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 28521d098868SHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 28531d098868SHong Zhang ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 28541d098868SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 28551d098868SHong Zhang ierr = PetscLogFlops(2*a->nz - A->cmap->n);CHKERRQ(ierr); 28561d098868SHong Zhang PetscFunctionReturn(0); 28571d098868SHong Zhang } 28581d098868SHong Zhang 28591d098868SHong Zhang #undef __FUNCT__ 2860f268cba8SShri Abhyankar #define __FUNCT__ "MatSolve_SeqAIJ_newdatastruct_v2" 2861f268cba8SShri Abhyankar PetscErrorCode MatSolve_SeqAIJ_newdatastruct_v2(Mat A,Vec bb,Vec xx) 2862f268cba8SShri Abhyankar { 2863f268cba8SShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 2864f268cba8SShri Abhyankar IS iscol = a->col,isrow = a->row; 2865f268cba8SShri Abhyankar PetscErrorCode ierr; 2866f268cba8SShri Abhyankar PetscInt i,n=A->rmap->n,*vi,*ai=a->i,*aj=a->j,*adiag = a->diag,nz; 2867f268cba8SShri Abhyankar const PetscInt *rout,*cout,*r,*c; 2868f268cba8SShri Abhyankar PetscScalar *x,*tmp,sum; 2869f268cba8SShri Abhyankar const PetscScalar *b; 2870f268cba8SShri Abhyankar const MatScalar *aa = a->a,*v; 2871f268cba8SShri Abhyankar 2872f268cba8SShri Abhyankar PetscFunctionBegin; 2873f268cba8SShri Abhyankar if (!n) PetscFunctionReturn(0); 2874f268cba8SShri Abhyankar 2875f268cba8SShri Abhyankar ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 2876f268cba8SShri Abhyankar ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 2877f268cba8SShri Abhyankar tmp = a->solve_work; 2878f268cba8SShri Abhyankar 2879f268cba8SShri Abhyankar ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 2880f268cba8SShri Abhyankar ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 2881f268cba8SShri Abhyankar 2882f268cba8SShri Abhyankar /* forward solve the lower triangular */ 2883f268cba8SShri Abhyankar /* tmp[0] = b[*r++]; */ 2884f268cba8SShri Abhyankar tmp[0] = b[r[0]]; 2885f268cba8SShri Abhyankar v = aa; 2886f268cba8SShri Abhyankar vi = aj; 2887f268cba8SShri Abhyankar for (i=1; i<n; i++) { 2888f268cba8SShri Abhyankar nz = ai[i+1] - ai[i]; 2889f268cba8SShri Abhyankar sum = b[r[i]]; 2890f268cba8SShri Abhyankar PetscSparseDenseMinusDot(sum,tmp,v,vi,nz); 2891f268cba8SShri Abhyankar tmp[i] = sum; 2892f268cba8SShri Abhyankar v += nz; vi += nz; 2893f268cba8SShri Abhyankar } 2894f268cba8SShri Abhyankar 2895f268cba8SShri Abhyankar /* backward solve the upper triangular */ 2896f268cba8SShri Abhyankar /* v = aa + ai[k]; *//* 1st entry of U(n-1,:) */ 2897f268cba8SShri Abhyankar /* vi = aj + ai[k]; */ 2898f268cba8SShri Abhyankar v = aa + adiag[n-1]; 2899f268cba8SShri Abhyankar vi = aj + adiag[n-1]; 2900f268cba8SShri Abhyankar for (i=n-1; i>=0; i--){ 2901f268cba8SShri Abhyankar /* nz = ai[k +1] - ai[k] - 1;*/ 2902f268cba8SShri Abhyankar nz = adiag[i]-adiag[i+1]-1; 2903f268cba8SShri Abhyankar sum = tmp[i]; 2904f268cba8SShri Abhyankar PetscSparseDenseMinusDot(sum,tmp,v,vi,nz); 2905f268cba8SShri Abhyankar x[c[i]] = tmp[i] = sum*v[nz]; /* v[nz] = aa[adiag[i]] */ 2906f268cba8SShri Abhyankar v += nz+1; vi += nz+1; 2907f268cba8SShri Abhyankar } 2908f268cba8SShri Abhyankar 2909f268cba8SShri Abhyankar ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 2910f268cba8SShri Abhyankar ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 2911f268cba8SShri Abhyankar ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 2912f268cba8SShri Abhyankar ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 2913f268cba8SShri Abhyankar ierr = PetscLogFlops(2*a->nz - A->cmap->n);CHKERRQ(ierr); 2914f268cba8SShri Abhyankar PetscFunctionReturn(0); 2915f268cba8SShri Abhyankar } 2916f268cba8SShri Abhyankar 2917f268cba8SShri Abhyankar #undef __FUNCT__ 29181d098868SHong Zhang #define __FUNCT__ "MatILUDTFactor_SeqAIJ" 29191d098868SHong Zhang PetscErrorCode MatILUDTFactor_SeqAIJ(Mat A,IS isrow,IS iscol,const MatFactorInfo *info,Mat *fact) 29201d098868SHong Zhang { 29211d098868SHong Zhang Mat B = *fact; 2922599ef60dSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b; 2923599ef60dSHong Zhang IS isicol; 2924599ef60dSHong Zhang PetscErrorCode ierr; 29251d098868SHong Zhang const PetscInt *r,*ic; 29261d098868SHong Zhang PetscInt i,n=A->rmap->n,*ai=a->i,*aj=a->j,*ajtmp,*adiag; 2927dc3a2fd3SHong Zhang PetscInt *bi,*bj,*bdiag,*bdiag_rev; 2928f61a948aSLisandro Dalcin PetscInt row,nzi,nzi_bl,nzi_bu,*im,nzi_al,nzi_au; 29291d098868SHong Zhang PetscInt nlnk,*lnk; 29301d098868SHong Zhang PetscBT lnkbt; 29311d098868SHong Zhang PetscTruth row_identity,icol_identity,both_identity; 29328aee2decSHong Zhang MatScalar *aatmp,*pv,*batmp,*ba,*rtmp,*pc,multiplier,*vtmp,diag_tmp; 29331d098868SHong Zhang const PetscInt *ics; 29341d098868SHong Zhang PetscInt j,nz,*pj,*bjtmp,k,ncut,*jtmp; 2935f61a948aSLisandro Dalcin PetscReal dt=info->dt,dtcol=info->dtcol,shift=info->shiftinblocks; 2936f61a948aSLisandro Dalcin PetscInt dtcount=(PetscInt)info->dtcount,nnz_max; 2937599ef60dSHong Zhang PetscTruth missing; 2938599ef60dSHong Zhang 2939599ef60dSHong Zhang PetscFunctionBegin; 2940f61a948aSLisandro Dalcin 2941f61a948aSLisandro Dalcin if (dt == PETSC_DEFAULT) dt = 0.005; 2942f61a948aSLisandro Dalcin if (dtcol == PETSC_DEFAULT) dtcol = 0.01; /* XXX unused! */ 2943f61a948aSLisandro Dalcin if (dtcount == PETSC_DEFAULT) dtcount = (PetscInt)(1.5*a->rmax); 2944f61a948aSLisandro Dalcin 29451d098868SHong Zhang /* ------- symbolic factorization, can be reused ---------*/ 29461d098868SHong Zhang ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr); 29471d098868SHong Zhang if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",i); 29481d098868SHong Zhang adiag=a->diag; 2949599ef60dSHong Zhang 2950599ef60dSHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 2951599ef60dSHong Zhang 2952599ef60dSHong Zhang /* bdiag is location of diagonal in factor */ 2953a6226a1aSHong Zhang ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 2954a6226a1aSHong Zhang bdiag_rev = bdiag + n+1; 2955599ef60dSHong Zhang 29561d098868SHong Zhang /* allocate row pointers bi */ 29578fc3a347SHong Zhang ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 29581d098868SHong Zhang 29591d098868SHong Zhang /* allocate bj and ba; max num of nonzero entries is (ai[n]+2*n*dtcount+2) */ 2960393d3a68SHong Zhang if (dtcount > n-1) dtcount = n-1; /* diagonal is excluded */ 29611d098868SHong Zhang nnz_max = ai[n]+2*n*dtcount+2; 29628fc3a347SHong Zhang 29638fc3a347SHong Zhang ierr = PetscMalloc((nnz_max+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 29648fc3a347SHong Zhang ierr = PetscMalloc((nnz_max+1)*sizeof(MatScalar),&ba);CHKERRQ(ierr); 2965599ef60dSHong Zhang 2966599ef60dSHong Zhang /* put together the new matrix */ 2967599ef60dSHong Zhang ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 2968599ef60dSHong Zhang ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr); 2969599ef60dSHong Zhang b = (Mat_SeqAIJ*)(B)->data; 2970599ef60dSHong Zhang b->free_a = PETSC_TRUE; 2971599ef60dSHong Zhang b->free_ij = PETSC_TRUE; 2972599ef60dSHong Zhang b->singlemalloc = PETSC_FALSE; 2973599ef60dSHong Zhang b->a = ba; 2974599ef60dSHong Zhang b->j = bj; 2975599ef60dSHong Zhang b->i = bi; 2976599ef60dSHong Zhang b->diag = bdiag; 2977599ef60dSHong Zhang b->ilen = 0; 2978599ef60dSHong Zhang b->imax = 0; 2979599ef60dSHong Zhang b->row = isrow; 2980599ef60dSHong Zhang b->col = iscol; 2981599ef60dSHong Zhang ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 2982599ef60dSHong Zhang ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 2983599ef60dSHong Zhang b->icol = isicol; 2984599ef60dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2985599ef60dSHong Zhang 29861d098868SHong Zhang ierr = PetscLogObjectMemory(B,nnz_max*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 29871d098868SHong Zhang b->maxnz = nnz_max; 2988599ef60dSHong Zhang 2989599ef60dSHong Zhang (B)->factor = MAT_FACTOR_ILUDT; 2990599ef60dSHong Zhang (B)->info.factor_mallocs = 0; 29911d098868SHong Zhang (B)->info.fill_ratio_given = ((PetscReal)nnz_max)/((PetscReal)ai[n]); 29921d098868SHong Zhang CHKMEMQ; 29931d098868SHong Zhang /* ------- end of symbolic factorization ---------*/ 2994599ef60dSHong Zhang 2995599ef60dSHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 2996599ef60dSHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 2997599ef60dSHong Zhang ics = ic; 2998599ef60dSHong Zhang 2999599ef60dSHong Zhang /* linked list for storing column indices of the active row */ 3000599ef60dSHong Zhang nlnk = n + 1; 3001599ef60dSHong Zhang ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 30021d098868SHong Zhang 30031d098868SHong Zhang /* im: used by PetscLLAddSortedLU(); jtmp: working array for column indices of active row */ 30041d098868SHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(PetscInt),&im);CHKERRQ(ierr); 30051d098868SHong Zhang jtmp = im + n; 30061d098868SHong Zhang /* rtmp, vtmp: working arrays for sparse and contiguous row entries of active row */ 30078369b28dSHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 30088aee2decSHong Zhang ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr); 30098369b28dSHong Zhang vtmp = rtmp + n; 3010599ef60dSHong Zhang 3011599ef60dSHong Zhang bi[0] = 0; 30128fc3a347SHong Zhang bdiag[0] = nnz_max-1; /* location of diag[0] in factor B */ 3013dc3a2fd3SHong Zhang bdiag_rev[n] = bdiag[0]; 30148fc3a347SHong Zhang bi[2*n+1] = bdiag[0]+1; /* endof bj and ba array */ 3015599ef60dSHong Zhang for (i=0; i<n; i++) { 3016599ef60dSHong Zhang /* copy initial fill into linked list */ 3017599ef60dSHong Zhang nzi = 0; /* nonzeros for active row i */ 30188369b28dSHong Zhang nzi = ai[r[i]+1] - ai[r[i]]; 30198369b28dSHong 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); 30208369b28dSHong Zhang nzi_al = adiag[r[i]] - ai[r[i]]; 30218369b28dSHong Zhang nzi_au = ai[r[i]+1] - adiag[r[i]] -1; 3022599ef60dSHong Zhang ajtmp = aj + ai[r[i]]; 30238369b28dSHong Zhang ierr = PetscLLAddPerm(nzi,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 3024599ef60dSHong Zhang 3025599ef60dSHong Zhang /* load in initial (unfactored row) */ 30261d098868SHong Zhang aatmp = a->a + ai[r[i]]; 30278369b28dSHong Zhang for (j=0; j<nzi; j++) { 30281d098868SHong Zhang rtmp[ics[*ajtmp++]] = *aatmp++; 3029599ef60dSHong Zhang } 3030599ef60dSHong Zhang 3031599ef60dSHong Zhang /* add pivot rows into linked list */ 3032599ef60dSHong Zhang row = lnk[n]; 3033599ef60dSHong Zhang while (row < i ) { 30341d098868SHong Zhang nzi_bl = bi[row+1] - bi[row] + 1; 30351d098868SHong Zhang bjtmp = bj + bdiag[row+1]+1; /* points to 1st column next to the diagonal in U */ 30361d098868SHong Zhang ierr = PetscLLAddSortedLU(bjtmp,row,nlnk,lnk,lnkbt,i,nzi_bl,im);CHKERRQ(ierr); 3037599ef60dSHong Zhang nzi += nlnk; 3038599ef60dSHong Zhang row = lnk[row]; 3039599ef60dSHong Zhang } 3040599ef60dSHong Zhang 30418369b28dSHong Zhang /* copy data from lnk into jtmp, then initialize lnk */ 30428369b28dSHong Zhang ierr = PetscLLClean(n,n,nzi,lnk,jtmp,lnkbt);CHKERRQ(ierr); 3043599ef60dSHong Zhang 3044599ef60dSHong Zhang /* numerical factorization */ 30458369b28dSHong Zhang bjtmp = jtmp; 3046599ef60dSHong Zhang row = *bjtmp++; /* 1st pivot row */ 3047599ef60dSHong Zhang while ( row < i ) { 3048599ef60dSHong Zhang pc = rtmp + row; 30493c2a7987SHong Zhang pv = ba + bdiag[row]; /* 1./(diag of the pivot row) */ 30503c2a7987SHong Zhang multiplier = (*pc) * (*pv); 3051599ef60dSHong Zhang *pc = multiplier; 30523c2a7987SHong Zhang if (PetscAbsScalar(*pc) > dt){ /* apply tolerance dropping rule */ 30531d098868SHong Zhang pj = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */ 30541d098868SHong Zhang pv = ba + bdiag[row+1] + 1; 30551d098868SHong Zhang /* if (multiplier < -1.0 or multiplier >1.0) printf("row/prow %d, %d, multiplier %g\n",i,row,multiplier); */ 30561d098868SHong Zhang nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */ 30571d098868SHong Zhang for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++); 3058dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 3059599ef60dSHong Zhang } 3060599ef60dSHong Zhang row = *bjtmp++; 3061599ef60dSHong Zhang } 3062599ef60dSHong Zhang 30638369b28dSHong Zhang /* copy sparse rtmp into contiguous vtmp; separate L and U part */ 30648aee2decSHong Zhang diag_tmp = rtmp[i]; /* save diagonal value - may not needed?? */ 30658369b28dSHong Zhang nzi_bl = 0; j = 0; 30668369b28dSHong Zhang while (jtmp[j] < i){ /* Note: jtmp is sorted */ 30678aee2decSHong Zhang vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0; 30688369b28dSHong Zhang nzi_bl++; j++; 30698369b28dSHong Zhang } 30708369b28dSHong Zhang nzi_bu = nzi - nzi_bl -1; 30718369b28dSHong Zhang while (j < nzi){ 30728aee2decSHong Zhang vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0; 30738369b28dSHong Zhang j++; 30748369b28dSHong Zhang } 30758369b28dSHong Zhang 3076599ef60dSHong Zhang bjtmp = bj + bi[i]; 3077599ef60dSHong Zhang batmp = ba + bi[i]; 30788369b28dSHong Zhang /* apply level dropping rule to L part */ 30798369b28dSHong Zhang ncut = nzi_al + dtcount; 30808369b28dSHong Zhang if (ncut < nzi_bl){ 30818369b28dSHong Zhang ierr = PetscSortSplit(ncut,nzi_bl,vtmp,jtmp);CHKERRQ(ierr); 30828369b28dSHong Zhang ierr = PetscSortIntWithScalarArray(ncut,jtmp,vtmp);CHKERRQ(ierr); 3083599ef60dSHong Zhang } else { 30848369b28dSHong Zhang ncut = nzi_bl; 30858369b28dSHong Zhang } 30868369b28dSHong Zhang for (j=0; j<ncut; j++){ 30878369b28dSHong Zhang bjtmp[j] = jtmp[j]; 30888369b28dSHong Zhang batmp[j] = vtmp[j]; 30896da515a1SHong Zhang /* printf(" (%d,%g),",bjtmp[j],batmp[j]); */ 30908369b28dSHong Zhang } 30911d098868SHong Zhang bi[i+1] = bi[i] + ncut; 30928369b28dSHong Zhang nzi = ncut + 1; 30938369b28dSHong Zhang 30948369b28dSHong Zhang /* apply level dropping rule to U part */ 30958369b28dSHong Zhang ncut = nzi_au + dtcount; 30968369b28dSHong Zhang if (ncut < nzi_bu){ 30978369b28dSHong Zhang ierr = PetscSortSplit(ncut,nzi_bu,vtmp+nzi_bl+1,jtmp+nzi_bl+1);CHKERRQ(ierr); 30988369b28dSHong Zhang ierr = PetscSortIntWithScalarArray(ncut,jtmp+nzi_bl+1,vtmp+nzi_bl+1);CHKERRQ(ierr); 30998369b28dSHong Zhang } else { 31008369b28dSHong Zhang ncut = nzi_bu; 31018369b28dSHong Zhang } 31028369b28dSHong Zhang nzi += ncut; 31031d098868SHong Zhang 31041d098868SHong Zhang /* mark bdiagonal */ 31051d098868SHong Zhang bdiag[i+1] = bdiag[i] - (ncut + 1); 3106dc3a2fd3SHong Zhang bdiag_rev[n-i-1] = bdiag[i+1]; 31078fc3a347SHong Zhang bi[2*n - i] = bi[2*n - i +1] - (ncut + 1); 31081d098868SHong Zhang bjtmp = bj + bdiag[i]; 31091d098868SHong Zhang batmp = ba + bdiag[i]; 31101d098868SHong Zhang *bjtmp = i; 31118aee2decSHong Zhang *batmp = diag_tmp; /* rtmp[i]; */ 3112c9c72f8fSHong Zhang if (*batmp == 0.0) { 3113c9c72f8fSHong Zhang *batmp = dt+shift; 3114bd1bc851SBarry Smith /* printf(" row %d add shift %g\n",i,shift); */ 3115c9c72f8fSHong Zhang } 3116b78a477dSHong Zhang *batmp = 1.0/(*batmp); /* invert diagonal entries for simplier triangular solves */ 31176da515a1SHong Zhang /* printf(" (%d,%g),",*bjtmp,*batmp); */ 31181d098868SHong Zhang 31191d098868SHong Zhang bjtmp = bj + bdiag[i+1]+1; 31201d098868SHong Zhang batmp = ba + bdiag[i+1]+1; 31218369b28dSHong Zhang for (k=0; k<ncut; k++){ 31221d098868SHong Zhang bjtmp[k] = jtmp[nzi_bl+1+k]; 31231d098868SHong Zhang batmp[k] = vtmp[nzi_bl+1+k]; 31246da515a1SHong Zhang /* printf(" (%d,%g),",bjtmp[k],batmp[k]); */ 3125599ef60dSHong Zhang } 31266da515a1SHong Zhang /* printf("\n"); */ 3127599ef60dSHong Zhang 3128599ef60dSHong Zhang im[i] = nzi; /* used by PetscLLAddSortedLU() */ 3129599ef60dSHong Zhang /* 31301d098868SHong Zhang printf("row %d: bi %d, bdiag %d\n",i,bi[i],bdiag[i]); 31318369b28dSHong Zhang printf(" ----------------------------\n"); 3132599ef60dSHong Zhang */ 31338369b28dSHong Zhang } /* for (i=0; i<n; i++) */ 31341d098868SHong Zhang /* printf("end of L %d, beginning of U %d\n",bi[n],bdiag[n]); */ 31351d098868SHong 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]); 3136599ef60dSHong Zhang 3137599ef60dSHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 3138599ef60dSHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 3139599ef60dSHong Zhang 3140599ef60dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 3141599ef60dSHong Zhang ierr = PetscFree(im);CHKERRQ(ierr); 3142599ef60dSHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 3143599ef60dSHong Zhang 3144599ef60dSHong Zhang ierr = PetscLogFlops(B->cmap->n);CHKERRQ(ierr); 31451d098868SHong Zhang b->maxnz = b->nz = bi[n] + bdiag[0] - bdiag[n]; 3146599ef60dSHong Zhang 3147599ef60dSHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 3148599ef60dSHong Zhang ierr = ISIdentity(isicol,&icol_identity);CHKERRQ(ierr); 3149599ef60dSHong Zhang both_identity = (PetscTruth) (row_identity && icol_identity); 3150599ef60dSHong Zhang if (row_identity && icol_identity) { 3151894a2336SHong Zhang B->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_newdatastruct; 3152599ef60dSHong Zhang } else { 3153894a2336SHong Zhang B->ops->solve = MatSolve_SeqAIJ_newdatastruct; 3154599ef60dSHong Zhang } 3155599ef60dSHong Zhang 3156b78a477dSHong Zhang B->ops->lufactorsymbolic = MatILUDTFactorSymbolic_SeqAIJ; 3157b78a477dSHong Zhang B->ops->lufactornumeric = MatILUDTFactorNumeric_SeqAIJ; 31581d098868SHong Zhang B->ops->solveadd = 0; 31591d098868SHong Zhang B->ops->solvetranspose = 0; 31601d098868SHong Zhang B->ops->solvetransposeadd = 0; 31611d098868SHong Zhang B->ops->matsolve = 0; 3162599ef60dSHong Zhang B->assembled = PETSC_TRUE; 3163599ef60dSHong Zhang B->preallocated = PETSC_TRUE; 3164599ef60dSHong Zhang PetscFunctionReturn(0); 3165599ef60dSHong Zhang } 3166599ef60dSHong Zhang 31673c2a7987SHong Zhang /* a wraper of MatILUDTFactor_SeqAIJ() */ 31683c2a7987SHong Zhang #undef __FUNCT__ 31693c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorSymbolic_SeqAIJ" 31703c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS row,IS col,const MatFactorInfo *info) 31713c2a7987SHong Zhang { 31723c2a7987SHong Zhang PetscErrorCode ierr; 31733c2a7987SHong Zhang 31743c2a7987SHong Zhang PetscFunctionBegin; 31753c2a7987SHong Zhang ierr = MatILUDTFactor_SeqAIJ(A,row,col,info,&fact);CHKERRQ(ierr); 31763c2a7987SHong Zhang 31773c2a7987SHong Zhang fact->ops->lufactornumeric = MatILUDTFactorNumeric_SeqAIJ; 31783c2a7987SHong Zhang PetscFunctionReturn(0); 31793c2a7987SHong Zhang } 31803c2a7987SHong Zhang 31813c2a7987SHong Zhang /* 31823c2a7987SHong Zhang same as MatLUFactorNumeric_SeqAIJ(), except using contiguous array matrix factors 31833c2a7987SHong Zhang - intend to replace existing MatLUFactorNumeric_SeqAIJ() 31843c2a7987SHong Zhang */ 31853c2a7987SHong Zhang #undef __FUNCT__ 31863c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorNumeric_SeqAIJ" 31873c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorNumeric_SeqAIJ(Mat fact,Mat A,const MatFactorInfo *info) 31883c2a7987SHong Zhang { 31893c2a7987SHong Zhang Mat C=fact; 31903c2a7987SHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 31913c2a7987SHong Zhang IS isrow = b->row,isicol = b->icol; 31923c2a7987SHong Zhang PetscErrorCode ierr; 31933c2a7987SHong Zhang const PetscInt *r,*ic,*ics; 3194b78a477dSHong Zhang PetscInt i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 3195b78a477dSHong Zhang PetscInt *ajtmp,*bjtmp,nz,nzl,nzu,row,*bdiag = b->diag,*pj; 31963c2a7987SHong Zhang MatScalar *rtmp,*pc,multiplier,*v,*pv,*aa=a->a; 3197b78a477dSHong Zhang PetscReal dt=info->dt,shift=info->shiftinblocks; 3198b78a477dSHong Zhang PetscTruth row_identity, col_identity; 31993c2a7987SHong Zhang 32003c2a7987SHong Zhang PetscFunctionBegin; 32013c2a7987SHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 32023c2a7987SHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 3203b78a477dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 32043c2a7987SHong Zhang ics = ic; 32053c2a7987SHong Zhang 32063c2a7987SHong Zhang for (i=0; i<n; i++){ 3207b78a477dSHong Zhang /* initialize rtmp array */ 3208b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; /* num of nozeros in L(i,:) */ 32093c2a7987SHong Zhang bjtmp = bj + bi[i]; 3210b78a477dSHong Zhang for (j=0; j<nzl; j++) rtmp[*bjtmp++] = 0.0; 3211b78a477dSHong Zhang rtmp[i] = 0.0; 3212b78a477dSHong Zhang nzu = bdiag[i] - bdiag[i+1]; /* num of nozeros in U(i,:) */ 3213b78a477dSHong Zhang bjtmp = bj + bdiag[i+1] + 1; 3214b78a477dSHong Zhang for (j=0; j<nzu; j++) rtmp[*bjtmp++] = 0.0; 32153c2a7987SHong Zhang 3216b78a477dSHong Zhang /* load in initial unfactored row of A */ 32176da515a1SHong Zhang /* printf("row %d\n",i); */ 32183c2a7987SHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 32193c2a7987SHong Zhang ajtmp = aj + ai[r[i]]; 32203c2a7987SHong Zhang v = aa + ai[r[i]]; 32213c2a7987SHong Zhang for (j=0; j<nz; j++) { 3222b78a477dSHong Zhang rtmp[ics[*ajtmp++]] = v[j]; 32236da515a1SHong Zhang /* printf(" (%d,%g),",ics[ajtmp[j]],rtmp[ics[ajtmp[j]]]); */ 32243c2a7987SHong Zhang } 32256da515a1SHong Zhang /* printf("\n"); */ 32263c2a7987SHong Zhang 3227b78a477dSHong Zhang /* numerical factorization */ 3228b78a477dSHong Zhang bjtmp = bj + bi[i]; /* point to 1st entry of L(i,:) */ 3229b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; /* num of entries in L(i,:) */ 3230b78a477dSHong Zhang k = 0; 3231b78a477dSHong Zhang while (k < nzl){ 32323c2a7987SHong Zhang row = *bjtmp++; 32336da515a1SHong Zhang /* printf(" prow %d\n",row); */ 32343c2a7987SHong Zhang pc = rtmp + row; 3235b78a477dSHong Zhang pv = b->a + bdiag[row]; /* 1./(diag of the pivot row) */ 3236b78a477dSHong Zhang multiplier = (*pc) * (*pv); 32373c2a7987SHong Zhang *pc = multiplier; 3238b78a477dSHong Zhang if (PetscAbsScalar(multiplier) > dt){ 3239b78a477dSHong Zhang pj = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */ 3240b78a477dSHong Zhang pv = b->a + bdiag[row+1] + 1; 3241b78a477dSHong Zhang nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */ 3242b78a477dSHong Zhang for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++); 32436da515a1SHong Zhang /* ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); */ 32443c2a7987SHong Zhang } 3245b78a477dSHong Zhang k++; 32463c2a7987SHong Zhang } 32473c2a7987SHong Zhang 3248b78a477dSHong Zhang /* finished row so stick it into b->a */ 3249b78a477dSHong Zhang /* L-part */ 3250b78a477dSHong Zhang pv = b->a + bi[i] ; 3251b78a477dSHong Zhang pj = bj + bi[i] ; 3252b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; 3253b78a477dSHong Zhang for (j=0; j<nzl; j++) { 3254b78a477dSHong Zhang pv[j] = rtmp[pj[j]]; 32556da515a1SHong Zhang /* printf(" (%d,%g),",pj[j],pv[j]); */ 32563c2a7987SHong Zhang } 3257b78a477dSHong Zhang 3258b78a477dSHong Zhang /* diagonal: invert diagonal entries for simplier triangular solves */ 3259b78a477dSHong Zhang if (rtmp[i] == 0.0) rtmp[i] = dt+shift; 3260b78a477dSHong Zhang b->a[bdiag[i]] = 1.0/rtmp[i]; 32616da515a1SHong Zhang /* printf(" (%d,%g),",i,b->a[bdiag[i]]); */ 3262b78a477dSHong Zhang 3263b78a477dSHong Zhang /* U-part */ 3264b78a477dSHong Zhang pv = b->a + bdiag[i+1] + 1; 3265b78a477dSHong Zhang pj = bj + bdiag[i+1] + 1; 3266b78a477dSHong Zhang nzu = bdiag[i] - bdiag[i+1] - 1; 3267b78a477dSHong Zhang for (j=0; j<nzu; j++) { 3268b78a477dSHong Zhang pv[j] = rtmp[pj[j]]; 32696da515a1SHong Zhang /* printf(" (%d,%g),",pj[j],pv[j]); */ 3270b78a477dSHong Zhang } 32716da515a1SHong Zhang /* printf("\n"); */ 3272b78a477dSHong Zhang } 3273b78a477dSHong Zhang 32743c2a7987SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 32753c2a7987SHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 32763c2a7987SHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 3277b78a477dSHong Zhang 32783c2a7987SHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 32793c2a7987SHong Zhang ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 32803c2a7987SHong Zhang if (row_identity && col_identity) { 3281894a2336SHong Zhang C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_newdatastruct; 32823c2a7987SHong Zhang } else { 3283894a2336SHong Zhang C->ops->solve = MatSolve_SeqAIJ_newdatastruct; 32843c2a7987SHong Zhang } 3285b78a477dSHong Zhang C->ops->solveadd = 0; 3286b78a477dSHong Zhang C->ops->solvetranspose = 0; 3287b78a477dSHong Zhang C->ops->solvetransposeadd = 0; 3288b78a477dSHong Zhang C->ops->matsolve = 0; 32893c2a7987SHong Zhang C->assembled = PETSC_TRUE; 32903c2a7987SHong Zhang C->preallocated = PETSC_TRUE; 32913c2a7987SHong Zhang ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 32923c2a7987SHong Zhang PetscFunctionReturn(0); 32933c2a7987SHong Zhang } 3294