1be1d678aSKris Buschelman #define PETSCMAT_DLL 249b5e25fSSatish Balay 349b5e25fSSatish Balay #include "src/mat/impls/baij/seq/baij.h" 43a7fca6bSBarry Smith #include "src/mat/impls/sbaij/seq/sbaij.h" 549b5e25fSSatish Balay #include "src/inline/ilu.h" 649a6740bSHong Zhang #include "include/petscis.h" 749b5e25fSSatish Balay 88dc9108eSHong Zhang #if !defined(PETSC_USE_COMPLEX) 95f9f512dSHong Zhang /* 105f9f512dSHong Zhang input: 11c037c3f7SHong Zhang F -- numeric factor 125f9f512dSHong Zhang output: 13c037c3f7SHong Zhang nneg, nzero, npos: matrix inertia 145f9f512dSHong Zhang */ 155f9f512dSHong Zhang 165f9f512dSHong Zhang #undef __FUNCT__ 175f9f512dSHong Zhang #define __FUNCT__ "MatGetInertia_SeqSBAIJ" 1813f74950SBarry Smith PetscErrorCode MatGetInertia_SeqSBAIJ(Mat F,PetscInt *nneig,PetscInt *nzero,PetscInt *npos) 195f9f512dSHong Zhang { 20638f5ce0SDinesh Kaushik Mat_SeqSBAIJ *fact_ptr = (Mat_SeqSBAIJ*)F->data; 213e0d88b5SBarry Smith PetscScalar *dd = fact_ptr->a; 22899cda47SBarry Smith PetscInt mbs=fact_ptr->mbs,bs=F->rmap.bs,i,nneig_tmp,npos_tmp,*fi = fact_ptr->i; 235f9f512dSHong Zhang 245f9f512dSHong Zhang PetscFunctionBegin; 2577431f27SBarry Smith if (bs != 1) SETERRQ1(PETSC_ERR_SUP,"No support for bs: %D >1 yet",bs); 26eeeff2ecSHong Zhang nneig_tmp = 0; npos_tmp = 0; 27eeeff2ecSHong Zhang for (i=0; i<mbs; i++){ 28eeeff2ecSHong Zhang if (PetscRealPart(dd[*fi]) > 0.0){ 29eeeff2ecSHong Zhang npos_tmp++; 30eeeff2ecSHong Zhang } else if (PetscRealPart(dd[*fi]) < 0.0){ 31eeeff2ecSHong Zhang nneig_tmp++; 325f9f512dSHong Zhang } 33eeeff2ecSHong Zhang fi++; 343e0d88b5SBarry Smith } 35eeeff2ecSHong Zhang if (nneig) *nneig = nneig_tmp; 36eeeff2ecSHong Zhang if (npos) *npos = npos_tmp; 37eeeff2ecSHong Zhang if (nzero) *nzero = mbs - nneig_tmp - npos_tmp; 38eeeff2ecSHong Zhang 395f9f512dSHong Zhang PetscFunctionReturn(0); 405f9f512dSHong Zhang } 418dc9108eSHong Zhang #endif /* !defined(PETSC_USE_COMPLEX) */ 425f9f512dSHong Zhang 435f9f512dSHong Zhang /* 445f9f512dSHong Zhang Symbolic U^T*D*U factorization for SBAIJ format. Modified from SSF of YSMP. 4510c27e3dSHong Zhang Use Modified Sparse Row (MSR) storage for u and ju. See page 85, "Iterative Methods ..." by Saad. 465f9f512dSHong Zhang */ 4710c27e3dSHong Zhang #undef __FUNCT__ 4810c27e3dSHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqSBAIJ_MSR" 4910c27e3dSHong Zhang PetscErrorCode MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(Mat A,IS perm,MatFactorInfo *info,Mat *B) 5010c27e3dSHong Zhang { 5110c27e3dSHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b; 5210c27e3dSHong Zhang PetscErrorCode ierr; 5310c27e3dSHong Zhang PetscInt *rip,i,mbs = a->mbs,*ai,*aj; 54899cda47SBarry Smith PetscInt *jutmp,bs = A->rmap.bs,bs2=a->bs2; 5510c27e3dSHong Zhang PetscInt m,reallocs = 0,prow; 5610c27e3dSHong Zhang PetscInt *jl,*q,jmin,jmax,juidx,nzk,qm,*iu,*ju,k,j,vj,umax,maxadd; 5710c27e3dSHong Zhang PetscReal f = info->fill; 5810c27e3dSHong Zhang PetscTruth perm_identity; 5910c27e3dSHong Zhang 6010c27e3dSHong Zhang PetscFunctionBegin; 6110c27e3dSHong Zhang /* check whether perm is the identity mapping */ 6210c27e3dSHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 6310c27e3dSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 6410c27e3dSHong Zhang 6510c27e3dSHong Zhang if (perm_identity){ /* without permutation */ 6610c27e3dSHong Zhang a->permute = PETSC_FALSE; 6710c27e3dSHong Zhang ai = a->i; aj = a->j; 6810c27e3dSHong Zhang } else { /* non-trivial permutation */ 6910c27e3dSHong Zhang a->permute = PETSC_TRUE; 7010c27e3dSHong Zhang ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr); 7110c27e3dSHong Zhang ai = a->inew; aj = a->jnew; 7210c27e3dSHong Zhang } 7310c27e3dSHong Zhang 7410c27e3dSHong Zhang /* initialization */ 7510c27e3dSHong Zhang ierr = PetscMalloc((mbs+1)*sizeof(PetscInt),&iu);CHKERRQ(ierr); 7610c27e3dSHong Zhang umax = (PetscInt)(f*ai[mbs] + 1); umax += mbs + 1; 7710c27e3dSHong Zhang ierr = PetscMalloc(umax*sizeof(PetscInt),&ju);CHKERRQ(ierr); 7810c27e3dSHong Zhang iu[0] = mbs+1; 7910c27e3dSHong Zhang juidx = mbs + 1; /* index for ju */ 8010c27e3dSHong Zhang ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&jl);CHKERRQ(ierr); /* linked list for pivot row */ 8110c27e3dSHong Zhang q = jl + mbs; /* linked list for col index */ 8210c27e3dSHong Zhang for (i=0; i<mbs; i++){ 8310c27e3dSHong Zhang jl[i] = mbs; 8410c27e3dSHong Zhang q[i] = 0; 8510c27e3dSHong Zhang } 8610c27e3dSHong Zhang 8710c27e3dSHong Zhang /* for each row k */ 8810c27e3dSHong Zhang for (k=0; k<mbs; k++){ 8910c27e3dSHong Zhang for (i=0; i<mbs; i++) q[i] = 0; /* to be removed! */ 9010c27e3dSHong Zhang nzk = 0; /* num. of nz blocks in k-th block row with diagonal block excluded */ 9110c27e3dSHong Zhang q[k] = mbs; 9210c27e3dSHong Zhang /* initialize nonzero structure of k-th row to row rip[k] of A */ 9310c27e3dSHong Zhang jmin = ai[rip[k]] +1; /* exclude diag[k] */ 9410c27e3dSHong Zhang jmax = ai[rip[k]+1]; 9510c27e3dSHong Zhang for (j=jmin; j<jmax; j++){ 9610c27e3dSHong Zhang vj = rip[aj[j]]; /* col. value */ 9710c27e3dSHong Zhang if(vj > k){ 9810c27e3dSHong Zhang qm = k; 9910c27e3dSHong Zhang do { 10010c27e3dSHong Zhang m = qm; qm = q[m]; 10110c27e3dSHong Zhang } while(qm < vj); 10210c27e3dSHong Zhang if (qm == vj) { 10310c27e3dSHong Zhang SETERRQ(PETSC_ERR_PLIB,"Duplicate entry in A\n"); 10410c27e3dSHong Zhang } 10510c27e3dSHong Zhang nzk++; 10610c27e3dSHong Zhang q[m] = vj; 10710c27e3dSHong Zhang q[vj] = qm; 10810c27e3dSHong Zhang } /* if(vj > k) */ 10910c27e3dSHong Zhang } /* for (j=jmin; j<jmax; j++) */ 11010c27e3dSHong Zhang 11110c27e3dSHong Zhang /* modify nonzero structure of k-th row by computing fill-in 11210c27e3dSHong Zhang for each row i to be merged in */ 11310c27e3dSHong Zhang prow = k; 11410c27e3dSHong Zhang prow = jl[prow]; /* next pivot row (== mbs for symbolic factorization) */ 11510c27e3dSHong Zhang 11610c27e3dSHong Zhang while (prow < k){ 11710c27e3dSHong Zhang /* merge row prow into k-th row */ 11810c27e3dSHong Zhang jmin = iu[prow] + 1; jmax = iu[prow+1]; 11910c27e3dSHong Zhang qm = k; 12010c27e3dSHong Zhang for (j=jmin; j<jmax; j++){ 12110c27e3dSHong Zhang vj = ju[j]; 12210c27e3dSHong Zhang do { 12310c27e3dSHong Zhang m = qm; qm = q[m]; 12410c27e3dSHong Zhang } while (qm < vj); 12510c27e3dSHong Zhang if (qm != vj){ 12610c27e3dSHong Zhang nzk++; q[m] = vj; q[vj] = qm; qm = vj; 12710c27e3dSHong Zhang } 12810c27e3dSHong Zhang } 12910c27e3dSHong Zhang prow = jl[prow]; /* next pivot row */ 13010c27e3dSHong Zhang } 13110c27e3dSHong Zhang 13210c27e3dSHong Zhang /* add k to row list for first nonzero element in k-th row */ 13310c27e3dSHong Zhang if (nzk > 0){ 13410c27e3dSHong Zhang i = q[k]; /* col value of first nonzero element in U(k, k+1:mbs-1) */ 13510c27e3dSHong Zhang jl[k] = jl[i]; jl[i] = k; 13610c27e3dSHong Zhang } 13710c27e3dSHong Zhang iu[k+1] = iu[k] + nzk; 13810c27e3dSHong Zhang 13910c27e3dSHong Zhang /* allocate more space to ju if needed */ 14010c27e3dSHong Zhang if (iu[k+1] > umax) { 14110c27e3dSHong Zhang /* estimate how much additional space we will need */ 14210c27e3dSHong Zhang /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */ 14310c27e3dSHong Zhang /* just double the memory each time */ 14410c27e3dSHong Zhang maxadd = umax; 14510c27e3dSHong Zhang if (maxadd < nzk) maxadd = (mbs-k)*(nzk+1)/2; 14610c27e3dSHong Zhang umax += maxadd; 14710c27e3dSHong Zhang 14810c27e3dSHong Zhang /* allocate a longer ju */ 14910c27e3dSHong Zhang ierr = PetscMalloc(umax*sizeof(PetscInt),&jutmp);CHKERRQ(ierr); 15010c27e3dSHong Zhang ierr = PetscMemcpy(jutmp,ju,iu[k]*sizeof(PetscInt));CHKERRQ(ierr); 15110c27e3dSHong Zhang ierr = PetscFree(ju);CHKERRQ(ierr); 15210c27e3dSHong Zhang ju = jutmp; 15310c27e3dSHong Zhang reallocs++; /* count how many times we realloc */ 15410c27e3dSHong Zhang } 15510c27e3dSHong Zhang 15610c27e3dSHong Zhang /* save nonzero structure of k-th row in ju */ 15710c27e3dSHong Zhang i=k; 15810c27e3dSHong Zhang while (nzk --) { 15910c27e3dSHong Zhang i = q[i]; 16010c27e3dSHong Zhang ju[juidx++] = i; 16110c27e3dSHong Zhang } 16210c27e3dSHong Zhang } 16310c27e3dSHong Zhang 1646cf91177SBarry Smith #if defined(PETSC_USE_INFO) 16510c27e3dSHong Zhang if (ai[mbs] != 0) { 16610c27e3dSHong Zhang PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 167ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 168ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 169ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr); 170ae15b995SBarry Smith ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 17110c27e3dSHong Zhang } else { 172ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 17310c27e3dSHong Zhang } 17463ba0a88SBarry Smith #endif 17510c27e3dSHong Zhang 17610c27e3dSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 17710c27e3dSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 17810c27e3dSHong Zhang 17910c27e3dSHong Zhang /* put together the new matrix */ 180f69a0ea3SMatthew Knepley ierr = MatCreate(A->comm,B);CHKERRQ(ierr); 181f69a0ea3SMatthew Knepley ierr = MatSetSizes(*B,bs*mbs,bs*mbs,bs*mbs,bs*mbs);CHKERRQ(ierr); 18210c27e3dSHong Zhang ierr = MatSetType(*B,A->type_name);CHKERRQ(ierr); 183ab93d7beSBarry Smith ierr = MatSeqSBAIJSetPreallocation_SeqSBAIJ(*B,bs,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 18410c27e3dSHong Zhang 185efee365bSSatish Balay /* ierr = PetscLogObjectParent(*B,iperm);CHKERRQ(ierr); */ 18610c27e3dSHong Zhang b = (Mat_SeqSBAIJ*)(*B)->data; 18710c27e3dSHong Zhang b->singlemalloc = PETSC_FALSE; 188e6b907acSBarry Smith b->free_a = PETSC_TRUE; 189e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 19010c27e3dSHong Zhang ierr = PetscMalloc((iu[mbs]+1)*sizeof(MatScalar)*bs2,&b->a);CHKERRQ(ierr); 19110c27e3dSHong Zhang b->j = ju; 19210c27e3dSHong Zhang b->i = iu; 19310c27e3dSHong Zhang b->diag = 0; 19410c27e3dSHong Zhang b->ilen = 0; 19510c27e3dSHong Zhang b->imax = 0; 19610c27e3dSHong Zhang b->row = perm; 19710c27e3dSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 19810c27e3dSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 19910c27e3dSHong Zhang b->icol = perm; 20010c27e3dSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 20110c27e3dSHong Zhang ierr = PetscMalloc((bs*mbs+bs)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 20210c27e3dSHong Zhang /* In b structure: Free imax, ilen, old a, old j. 20310c27e3dSHong Zhang Allocate idnew, solve_work, new a, new j */ 20452e6d16bSBarry Smith ierr = PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 20510c27e3dSHong Zhang b->maxnz = b->nz = iu[mbs]; 20610c27e3dSHong Zhang 20710c27e3dSHong Zhang (*B)->factor = FACTOR_CHOLESKY; 20810c27e3dSHong Zhang (*B)->info.factor_mallocs = reallocs; 20910c27e3dSHong Zhang (*B)->info.fill_ratio_given = f; 21010c27e3dSHong Zhang if (ai[mbs] != 0) { 21110c27e3dSHong Zhang (*B)->info.fill_ratio_needed = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 21210c27e3dSHong Zhang } else { 21310c27e3dSHong Zhang (*B)->info.fill_ratio_needed = 0.0; 21410c27e3dSHong Zhang } 21510c27e3dSHong Zhang 21610c27e3dSHong Zhang if (perm_identity){ 21710c27e3dSHong Zhang switch (bs) { 21810c27e3dSHong Zhang case 1: 21910c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering; 22010c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 221ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=1\n");CHKERRQ(ierr); 22210c27e3dSHong Zhang break; 22310c27e3dSHong Zhang case 2: 22410c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering; 22510c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_2_NaturalOrdering; 226ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=2\n");CHKERRQ(ierr); 22710c27e3dSHong Zhang break; 22810c27e3dSHong Zhang case 3: 22910c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering; 23010c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_3_NaturalOrdering; 231ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=3\n");CHKERRQ(ierr); 23210c27e3dSHong Zhang break; 23310c27e3dSHong Zhang case 4: 23410c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering; 23510c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_4_NaturalOrdering; 236ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=4\n");CHKERRQ(ierr); 23710c27e3dSHong Zhang break; 23810c27e3dSHong Zhang case 5: 23910c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering; 24010c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_5_NaturalOrdering; 241ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=5\n");CHKERRQ(ierr); 24210c27e3dSHong Zhang break; 24310c27e3dSHong Zhang case 6: 24410c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering; 24510c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_6_NaturalOrdering; 246ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=6\n");CHKERRQ(ierr); 24710c27e3dSHong Zhang break; 24810c27e3dSHong Zhang case 7: 24910c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering; 25010c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_7_NaturalOrdering; 251ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=7\n");CHKERRQ(ierr); 25210c27e3dSHong Zhang break; 25310c27e3dSHong Zhang default: 25410c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering; 25510c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_N_NaturalOrdering; 256ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS>7\n");CHKERRQ(ierr); 25710c27e3dSHong Zhang break; 25810c27e3dSHong Zhang } 25910c27e3dSHong Zhang } 26010c27e3dSHong Zhang PetscFunctionReturn(0); 26110c27e3dSHong Zhang } 26210c27e3dSHong Zhang /* 26310c27e3dSHong Zhang Symbolic U^T*D*U factorization for SBAIJ format. 26410c27e3dSHong Zhang */ 26598a8e78dSHong Zhang #include "petscbt.h" 26698a8e78dSHong Zhang #include "src/mat/utils/freespace.h" 2674a2ae208SSatish Balay #undef __FUNCT__ 2684a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqSBAIJ" 26998a8e78dSHong Zhang PetscErrorCode MatCholeskyFactorSymbolic_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info,Mat *fact) 27049b5e25fSSatish Balay { 27198a8e78dSHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data; 27298a8e78dSHong Zhang Mat_SeqSBAIJ *b; 27398a8e78dSHong Zhang Mat B; 2746849ba73SBarry Smith PetscErrorCode ierr; 275671cb588SHong Zhang PetscTruth perm_identity; 27698a8e78dSHong Zhang PetscReal fill = info->fill; 277899cda47SBarry Smith PetscInt *rip,i,mbs=a->mbs,bs=A->rmap.bs,*ai,*aj,reallocs=0,prow; 27898a8e78dSHong Zhang PetscInt *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow; 2797625dc9aSHong Zhang PetscInt nlnk,*lnk,ncols,*cols,*uj,**ui_ptr,*uj_ptr; 280a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 28198a8e78dSHong Zhang PetscBT lnkbt; 28249b5e25fSSatish Balay 28349b5e25fSSatish Balay PetscFunctionBegin; 28410c27e3dSHong Zhang /* 28510c27e3dSHong Zhang This code originally uses Modified Sparse Row (MSR) storage 28610c27e3dSHong Zhang (see page 85, "Iterative Methods ..." by Saad) for the output matrix B - bad choise! 28710c27e3dSHong Zhang Then it is rewritten so the factor B takes seqsbaij format. However the associated 28810c27e3dSHong Zhang MatCholeskyFactorNumeric_() have not been modified for the cases of bs>1 or !perm_identity, 28910c27e3dSHong Zhang thus the original code in MSR format is still used for these cases. 29010c27e3dSHong Zhang The code below should replace MatCholeskyFactorSymbolic_SeqSBAIJ_MSR() whenever 29110c27e3dSHong Zhang MatCholeskyFactorNumeric_() is modified for using sbaij symbolic factor. 29210c27e3dSHong Zhang */ 293fff829cfSHong Zhang if (bs > 1){ 29498a8e78dSHong Zhang ierr = MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(A,perm,info,fact);CHKERRQ(ierr); 295fff829cfSHong Zhang PetscFunctionReturn(0); 296fff829cfSHong Zhang } 29710c27e3dSHong Zhang 29898a8e78dSHong Zhang /* check whether perm is the identity mapping */ 29998a8e78dSHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 30098a8e78dSHong Zhang 301fff829cfSHong Zhang if (perm_identity){ 302fff829cfSHong Zhang a->permute = PETSC_FALSE; 303fff829cfSHong Zhang ai = a->i; aj = a->j; 304fff829cfSHong Zhang } else { 305*d33dd558SHong Zhang SETERRQ(PETSC_ERR_SUP,"Matrix reordering is not supported for sbaij matrix. Use aij format"); 306*d33dd558SHong Zhang /* There are bugs for reordeing. Needs further work. 307*d33dd558SHong Zhang MatReordering for sbaij cannot be efficient. User should use aij formt! */ 308fff829cfSHong Zhang a->permute = PETSC_TRUE; 309fff829cfSHong Zhang ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr); 310fff829cfSHong Zhang ai = a->inew; aj = a->jnew; 311fff829cfSHong Zhang } 312fff829cfSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 313fff829cfSHong Zhang 314fff829cfSHong Zhang /* initialization */ 3157625dc9aSHong Zhang ierr = PetscMalloc((mbs+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 31698a8e78dSHong Zhang ui[0] = 0; 31798a8e78dSHong Zhang 31898a8e78dSHong Zhang /* jl: linked list for storing indices of the pivot rows 3197625dc9aSHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:mbs-1) */ 3207625dc9aSHong Zhang ierr = PetscMalloc((3*mbs+1)*sizeof(PetscInt)+mbs*sizeof(PetscInt*),&jl);CHKERRQ(ierr); 3217625dc9aSHong Zhang il = jl + mbs; 3227625dc9aSHong Zhang cols = il + mbs; 3237625dc9aSHong Zhang ui_ptr = (PetscInt**)(cols + mbs); 3247625dc9aSHong Zhang 3257625dc9aSHong Zhang for (i=0; i<mbs; i++){ 3267625dc9aSHong Zhang jl[i] = mbs; il[i] = 0; 327fff829cfSHong Zhang } 328fff829cfSHong Zhang 32998a8e78dSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 3307625dc9aSHong Zhang nlnk = mbs + 1; 3317625dc9aSHong Zhang ierr = PetscLLCreate(mbs,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr); 332fff829cfSHong Zhang 3337625dc9aSHong Zhang /* initial FreeSpace size is fill*(ai[mbs]+1) */ 334a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[mbs]+1)),&free_space);CHKERRQ(ierr); 33598a8e78dSHong Zhang current_space = free_space; 33698a8e78dSHong Zhang 3377625dc9aSHong Zhang for (k=0; k<mbs; k++){ /* for each active row k */ 33898a8e78dSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 33998a8e78dSHong Zhang nzk = 0; 34098a8e78dSHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 3417625dc9aSHong Zhang for (j=0; j<ncols; j++){ 3427625dc9aSHong Zhang i = *(aj + ai[rip[k]] + j); 3437625dc9aSHong Zhang cols[j] = rip[i]; 3447625dc9aSHong Zhang } 3457625dc9aSHong Zhang ierr = PetscLLAdd(ncols,cols,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr); 34698a8e78dSHong Zhang nzk += nlnk; 34798a8e78dSHong Zhang 34898a8e78dSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 34998a8e78dSHong Zhang prow = jl[k]; /* 1st pivot row */ 350fff829cfSHong Zhang 351fff829cfSHong Zhang while (prow < k){ 352fff829cfSHong Zhang nextprow = jl[prow]; 35398a8e78dSHong Zhang /* merge prow into k-th row */ 3547625dc9aSHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:mbs-1) */ 35598a8e78dSHong Zhang jmax = ui[prow+1]; 35698a8e78dSHong Zhang ncols = jmax-jmin; 3577625dc9aSHong Zhang uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:mbs-1) */ 3585a8e39fbSHong Zhang ierr = PetscLLAddSorted(ncols,uj_ptr,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr); 35998a8e78dSHong Zhang nzk += nlnk; 360fff829cfSHong Zhang 36198a8e78dSHong Zhang /* update il and jl for prow */ 362fff829cfSHong Zhang if (jmin < jmax){ 363fff829cfSHong Zhang il[prow] = jmin; 3647625dc9aSHong Zhang j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow; 365fff829cfSHong Zhang } 366fff829cfSHong Zhang prow = nextprow; 367fff829cfSHong Zhang } 368fff829cfSHong Zhang 36998a8e78dSHong Zhang /* if free space is not available, make more free space */ 37098a8e78dSHong Zhang if (current_space->local_remaining<nzk) { 3717625dc9aSHong Zhang i = mbs - k + 1; /* num of unfactored rows */ 37298a8e78dSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 373a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 37498a8e78dSHong Zhang reallocs++; 37598a8e78dSHong Zhang } 37698a8e78dSHong Zhang 37798a8e78dSHong Zhang /* copy data into free space, then initialize lnk */ 3787625dc9aSHong Zhang ierr = PetscLLClean(mbs,mbs,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 37998a8e78dSHong Zhang 38098a8e78dSHong Zhang /* add the k-th row into il and jl */ 38198a8e78dSHong Zhang if (nzk-1 > 0){ 3827625dc9aSHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:mbs-1) */ 383fff829cfSHong Zhang jl[k] = jl[i]; jl[i] = k; 38498a8e78dSHong Zhang il[k] = ui[k] + 1; 385fff829cfSHong Zhang } 3867625dc9aSHong Zhang ui_ptr[k] = current_space->array; 38798a8e78dSHong Zhang current_space->array += nzk; 38898a8e78dSHong Zhang current_space->local_used += nzk; 38998a8e78dSHong Zhang current_space->local_remaining -= nzk; 390fff829cfSHong Zhang 39198a8e78dSHong Zhang ui[k+1] = ui[k] + nzk; 392fff829cfSHong Zhang } 393fff829cfSHong Zhang 3946cf91177SBarry Smith #if defined(PETSC_USE_INFO) 3957625dc9aSHong Zhang if (ai[mbs] != 0) { 3967625dc9aSHong Zhang PetscReal af = ((PetscReal)ui[mbs])/((PetscReal)ai[mbs]); 397ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 398ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 399ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 400fff829cfSHong Zhang } else { 401ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 402fff829cfSHong Zhang } 40363ba0a88SBarry Smith #endif 404fff829cfSHong Zhang 405fff829cfSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 406fff829cfSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 407fff829cfSHong Zhang 40898a8e78dSHong Zhang /* destroy list of free space and other temporary array(s) */ 4097625dc9aSHong Zhang ierr = PetscMalloc((ui[mbs]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 410a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 41198a8e78dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 412fff829cfSHong Zhang 41398a8e78dSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 414f69a0ea3SMatthew Knepley ierr = MatCreate(PETSC_COMM_SELF,fact);CHKERRQ(ierr); 415f69a0ea3SMatthew Knepley ierr = MatSetSizes(*fact,mbs,mbs,mbs,mbs);CHKERRQ(ierr); 41698a8e78dSHong Zhang B = *fact; 41798a8e78dSHong Zhang ierr = MatSetType(B,MATSEQSBAIJ);CHKERRQ(ierr); 418ab93d7beSBarry Smith ierr = MatSeqSBAIJSetPreallocation_SeqSBAIJ(B,bs,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 41998a8e78dSHong Zhang 42098a8e78dSHong Zhang b = (Mat_SeqSBAIJ*)B->data; 421fff829cfSHong Zhang b->singlemalloc = PETSC_FALSE; 422e6b907acSBarry Smith b->free_a = PETSC_TRUE; 423e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 4247625dc9aSHong Zhang ierr = PetscMalloc((ui[mbs]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 42598a8e78dSHong Zhang b->j = uj; 42698a8e78dSHong Zhang b->i = ui; 427fff829cfSHong Zhang b->diag = 0; 428fff829cfSHong Zhang b->ilen = 0; 429fff829cfSHong Zhang b->imax = 0; 430fff829cfSHong Zhang b->row = perm; 431fff829cfSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 432fff829cfSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 433fff829cfSHong Zhang b->icol = perm; 434fff829cfSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 4357625dc9aSHong Zhang ierr = PetscMalloc((mbs+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 43652e6d16bSBarry Smith ierr = PetscLogObjectMemory(B,(ui[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 4377625dc9aSHong Zhang b->maxnz = b->nz = ui[mbs]; 438fff829cfSHong Zhang 43998a8e78dSHong Zhang B->factor = FACTOR_CHOLESKY; 44098a8e78dSHong Zhang B->info.factor_mallocs = reallocs; 44198a8e78dSHong Zhang B->info.fill_ratio_given = fill; 4427625dc9aSHong Zhang if (ai[mbs] != 0) { 4437625dc9aSHong Zhang B->info.fill_ratio_needed = ((PetscReal)ui[mbs])/((PetscReal)ai[mbs]); 444fff829cfSHong Zhang } else { 44598a8e78dSHong Zhang B->info.fill_ratio_needed = 0.0; 446fff829cfSHong Zhang } 447fff829cfSHong Zhang 448fff829cfSHong Zhang if (perm_identity){ 44998a8e78dSHong Zhang switch (bs) { 45098a8e78dSHong Zhang case 1: 45198a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering; 45298a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 453ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=1\n");CHKERRQ(ierr); 45498a8e78dSHong Zhang break; 45598a8e78dSHong Zhang case 2: 45698a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering; 45798a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_2_NaturalOrdering; 458ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=2\n");CHKERRQ(ierr); 45998a8e78dSHong Zhang break; 46098a8e78dSHong Zhang case 3: 46198a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering; 46298a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_3_NaturalOrdering; 463ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=3\n");CHKERRQ(ierr); 46498a8e78dSHong Zhang break; 46598a8e78dSHong Zhang case 4: 46698a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering; 46798a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_4_NaturalOrdering; 468ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=4\n");CHKERRQ(ierr); 46998a8e78dSHong Zhang break; 47098a8e78dSHong Zhang case 5: 47198a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering; 47298a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_5_NaturalOrdering; 473ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=5\n");CHKERRQ(ierr); 47498a8e78dSHong Zhang break; 47598a8e78dSHong Zhang case 6: 47698a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering; 47798a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_6_NaturalOrdering; 478ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=6\n");CHKERRQ(ierr); 47998a8e78dSHong Zhang break; 48098a8e78dSHong Zhang case 7: 48198a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering; 48298a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_7_NaturalOrdering; 483ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=7\n");CHKERRQ(ierr); 48498a8e78dSHong Zhang break; 48598a8e78dSHong Zhang default: 48698a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering; 48798a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_N_NaturalOrdering; 488ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS>7\n");CHKERRQ(ierr); 48998a8e78dSHong Zhang break; 49098a8e78dSHong Zhang } 49198a8e78dSHong Zhang } 492064503c5SHong Zhang PetscFunctionReturn(0); 493064503c5SHong Zhang } 4944a2ae208SSatish Balay #undef __FUNCT__ 4954a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N" 496af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N(Mat A,MatFactorInfo *info,Mat *B) 49749b5e25fSSatish Balay { 49849b5e25fSSatish Balay Mat C = *B; 4994c16a6a6SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 5004c16a6a6SHong Zhang IS perm = b->row; 5016849ba73SBarry Smith PetscErrorCode ierr; 50213f74950SBarry Smith PetscInt *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 50313f74950SBarry Smith PetscInt *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 50439c4164eSSatish Balay PetscInt bs=A->rmap.bs,bs2 = a->bs2,bslog = 0; 5054c16a6a6SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 5064c16a6a6SHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 50728de702eSHong Zhang MatScalar *work; 50813f74950SBarry Smith PetscInt *pivots; 5094c16a6a6SHong Zhang 5104c16a6a6SHong Zhang PetscFunctionBegin; 5114c16a6a6SHong Zhang /* initialization */ 51282502324SSatish Balay ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 5134c16a6a6SHong Zhang ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr); 51413f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 51528de702eSHong Zhang jl = il + mbs; 5164c16a6a6SHong Zhang for (i=0; i<mbs; i++) { 5174c16a6a6SHong Zhang jl[i] = mbs; il[0] = 0; 5184c16a6a6SHong Zhang } 519b0a32e0cSBarry Smith ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr); 52028de702eSHong Zhang uik = dk + bs2; 52128de702eSHong Zhang work = uik + bs2; 52213f74950SBarry Smith ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr); 5234c16a6a6SHong Zhang 5244c16a6a6SHong Zhang ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr); 5254c16a6a6SHong Zhang 5264c16a6a6SHong Zhang /* check permutation */ 5274c16a6a6SHong Zhang if (!a->permute){ 5284c16a6a6SHong Zhang ai = a->i; aj = a->j; aa = a->a; 5294c16a6a6SHong Zhang } else { 5304c16a6a6SHong Zhang ai = a->inew; aj = a->jnew; 53182502324SSatish Balay ierr = PetscMalloc(bs2*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr); 5324c16a6a6SHong Zhang ierr = PetscMemcpy(aa,a->a,bs2*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr); 53313f74950SBarry Smith ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr); 53413f74950SBarry Smith ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr); 5354c16a6a6SHong Zhang 536187a9f4bSHong Zhang /* flops in while loop */ 537187a9f4bSHong Zhang bslog = 2*bs*bs2; 538187a9f4bSHong Zhang 5394c16a6a6SHong Zhang for (i=0; i<mbs; i++){ 5404c16a6a6SHong Zhang jmin = ai[i]; jmax = ai[i+1]; 5414c16a6a6SHong Zhang for (j=jmin; j<jmax; j++){ 5424c16a6a6SHong Zhang while (a2anew[j] != j){ 5434c16a6a6SHong Zhang k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k; 5444c16a6a6SHong Zhang for (k1=0; k1<bs2; k1++){ 5454c16a6a6SHong Zhang dk[k1] = aa[k*bs2+k1]; 5464c16a6a6SHong Zhang aa[k*bs2+k1] = aa[j*bs2+k1]; 5474c16a6a6SHong Zhang aa[j*bs2+k1] = dk[k1]; 5484c16a6a6SHong Zhang } 5494c16a6a6SHong Zhang } 5504c16a6a6SHong Zhang /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */ 5514c16a6a6SHong Zhang if (i > aj[j]){ 5524c16a6a6SHong Zhang /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */ 5534c16a6a6SHong Zhang ap = aa + j*bs2; /* ptr to the beginning of j-th block of aa */ 5544c16a6a6SHong Zhang for (k=0; k<bs2; k++) dk[k] = ap[k]; /* dk <- j-th block of aa */ 5554c16a6a6SHong Zhang for (k=0; k<bs; k++){ /* j-th block of aa <- dk^T */ 5564c16a6a6SHong Zhang for (k1=0; k1<bs; k1++) *ap++ = dk[k + bs*k1]; 5574c16a6a6SHong Zhang } 5584c16a6a6SHong Zhang } 5594c16a6a6SHong Zhang } 5604c16a6a6SHong Zhang } 561323b833fSBarry Smith ierr = PetscFree(a2anew);CHKERRQ(ierr); 5624c16a6a6SHong Zhang } 5634c16a6a6SHong Zhang 5644c16a6a6SHong Zhang /* for each row k */ 5654c16a6a6SHong Zhang for (k = 0; k<mbs; k++){ 5664c16a6a6SHong Zhang 5674c16a6a6SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 5684c16a6a6SHong Zhang jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1]; 569057f5ba7SHong Zhang 5704c16a6a6SHong Zhang ap = aa + jmin*bs2; 5714c16a6a6SHong Zhang for (j = jmin; j < jmax; j++){ 5724c16a6a6SHong Zhang vj = perm_ptr[aj[j]]; /* block col. index */ 5734c16a6a6SHong Zhang rtmp_ptr = rtmp + vj*bs2; 5744c16a6a6SHong Zhang for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++; 5754c16a6a6SHong Zhang } 5764c16a6a6SHong Zhang 5774c16a6a6SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 5784c16a6a6SHong Zhang ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5794c16a6a6SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 5804c16a6a6SHong Zhang 581057f5ba7SHong Zhang while (i < k){ 5824c16a6a6SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 5834c16a6a6SHong Zhang 5844c16a6a6SHong Zhang /* compute multiplier */ 5854c16a6a6SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 5864c16a6a6SHong Zhang 5874c16a6a6SHong Zhang /* uik = -inv(Di)*U_bar(i,k) */ 5884c16a6a6SHong Zhang diag = ba + i*bs2; 5894c16a6a6SHong Zhang u = ba + ili*bs2; 5904c16a6a6SHong Zhang ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5914c16a6a6SHong Zhang Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u); 5924c16a6a6SHong Zhang 5934c16a6a6SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k) */ 5944c16a6a6SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u); 595187a9f4bSHong Zhang ierr = PetscLogFlops(bslog*2);CHKERRQ(ierr); 5964c16a6a6SHong Zhang 5974c16a6a6SHong Zhang /* update -U(i,k) */ 5984c16a6a6SHong Zhang ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5994c16a6a6SHong Zhang 6004c16a6a6SHong Zhang /* add multiple of row i to k-th row ... */ 6014c16a6a6SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 6024c16a6a6SHong Zhang if (jmin < jmax){ 6034c16a6a6SHong Zhang for (j=jmin; j<jmax; j++) { 6044c16a6a6SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j) */ 6054c16a6a6SHong Zhang rtmp_ptr = rtmp + bj[j]*bs2; 6064c16a6a6SHong Zhang u = ba + j*bs2; 6074c16a6a6SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u); 6084c16a6a6SHong Zhang } 609187a9f4bSHong Zhang ierr = PetscLogFlops(bslog*(jmax-jmin));CHKERRQ(ierr); 6104c16a6a6SHong Zhang 6114c16a6a6SHong Zhang /* ... add i to row list for next nonzero entry */ 6124c16a6a6SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 6134c16a6a6SHong Zhang j = bj[jmin]; 6144c16a6a6SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 6154c16a6a6SHong Zhang } 6164c16a6a6SHong Zhang i = nexti; 6174c16a6a6SHong Zhang } 6184c16a6a6SHong Zhang 6194c16a6a6SHong Zhang /* save nonzero entries in k-th row of U ... */ 6204c16a6a6SHong Zhang 6214c16a6a6SHong Zhang /* invert diagonal block */ 6224c16a6a6SHong Zhang diag = ba+k*bs2; 6234c16a6a6SHong Zhang ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr); 624d230e6fdSBarry Smith ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr); 6254c16a6a6SHong Zhang 6264c16a6a6SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 6274c16a6a6SHong Zhang if (jmin < jmax) { 6284c16a6a6SHong Zhang for (j=jmin; j<jmax; j++){ 6294c16a6a6SHong Zhang vj = bj[j]; /* block col. index of U */ 6304c16a6a6SHong Zhang u = ba + j*bs2; 6314c16a6a6SHong Zhang rtmp_ptr = rtmp + vj*bs2; 6324c16a6a6SHong Zhang for (k1=0; k1<bs2; k1++){ 6334c16a6a6SHong Zhang *u++ = *rtmp_ptr; 6344c16a6a6SHong Zhang *rtmp_ptr++ = 0.0; 6354c16a6a6SHong Zhang } 6364c16a6a6SHong Zhang } 6374c16a6a6SHong Zhang 6384c16a6a6SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 6394c16a6a6SHong Zhang il[k] = jmin; 6404c16a6a6SHong Zhang i = bj[jmin]; 6414c16a6a6SHong Zhang jl[k] = jl[i]; jl[i] = k; 6424c16a6a6SHong Zhang } 6434c16a6a6SHong Zhang } 6444c16a6a6SHong Zhang 6454c16a6a6SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 6464c16a6a6SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 6474c16a6a6SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 6484c16a6a6SHong Zhang ierr = PetscFree(pivots);CHKERRQ(ierr); 6494c16a6a6SHong Zhang if (a->permute){ 6504c16a6a6SHong Zhang ierr = PetscFree(aa);CHKERRQ(ierr); 6514c16a6a6SHong Zhang } 6524c16a6a6SHong Zhang 6534c16a6a6SHong Zhang ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr); 6544c16a6a6SHong Zhang C->factor = FACTOR_CHOLESKY; 6554c16a6a6SHong Zhang C->assembled = PETSC_TRUE; 6564c16a6a6SHong Zhang C->preallocated = PETSC_TRUE; 657efee365bSSatish Balay ierr = PetscLogFlops(1.3333*bs*bs2*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 6584c16a6a6SHong Zhang PetscFunctionReturn(0); 6594c16a6a6SHong Zhang } 660d4edadd4SHong Zhang 6614a2ae208SSatish Balay #undef __FUNCT__ 6624a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering" 663af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B) 664671cb588SHong Zhang { 665671cb588SHong Zhang Mat C = *B; 666671cb588SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 667dfbe8321SBarry Smith PetscErrorCode ierr; 66813f74950SBarry Smith PetscInt i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 66913f74950SBarry Smith PetscInt *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 670187a9f4bSHong Zhang PetscInt bs=A->rmap.bs,bs2 = a->bs2,bslog; 671671cb588SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 672671cb588SHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 67328de702eSHong Zhang MatScalar *work; 67413f74950SBarry Smith PetscInt *pivots; 675671cb588SHong Zhang 676671cb588SHong Zhang PetscFunctionBegin; 67782502324SSatish Balay ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 678671cb588SHong Zhang ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr); 67913f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 68028de702eSHong Zhang jl = il + mbs; 681671cb588SHong Zhang for (i=0; i<mbs; i++) { 682671cb588SHong Zhang jl[i] = mbs; il[0] = 0; 683671cb588SHong Zhang } 684b0a32e0cSBarry Smith ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr); 68528de702eSHong Zhang uik = dk + bs2; 68628de702eSHong Zhang work = uik + bs2; 68713f74950SBarry Smith ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr); 688671cb588SHong Zhang 689671cb588SHong Zhang ai = a->i; aj = a->j; aa = a->a; 690671cb588SHong Zhang 691187a9f4bSHong Zhang /* flops in while loop */ 692187a9f4bSHong Zhang bslog = 2*bs*bs2; 693187a9f4bSHong Zhang 694671cb588SHong Zhang /* for each row k */ 695671cb588SHong Zhang for (k = 0; k<mbs; k++){ 696671cb588SHong Zhang 697671cb588SHong Zhang /*initialize k-th row with elements nonzero in row k of A */ 698671cb588SHong Zhang jmin = ai[k]; jmax = ai[k+1]; 699671cb588SHong Zhang ap = aa + jmin*bs2; 700671cb588SHong Zhang for (j = jmin; j < jmax; j++){ 701671cb588SHong Zhang vj = aj[j]; /* block col. index */ 702671cb588SHong Zhang rtmp_ptr = rtmp + vj*bs2; 703671cb588SHong Zhang for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++; 704671cb588SHong Zhang } 705671cb588SHong Zhang 706671cb588SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 707671cb588SHong Zhang ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr); 708671cb588SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 709671cb588SHong Zhang 710057f5ba7SHong Zhang while (i < k){ 711671cb588SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 712671cb588SHong Zhang 713671cb588SHong Zhang /* compute multiplier */ 714671cb588SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 715671cb588SHong Zhang 716671cb588SHong Zhang /* uik = -inv(Di)*U_bar(i,k) */ 717671cb588SHong Zhang diag = ba + i*bs2; 718671cb588SHong Zhang u = ba + ili*bs2; 719671cb588SHong Zhang ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 720671cb588SHong Zhang Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u); 721671cb588SHong Zhang 722671cb588SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k) */ 723671cb588SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u); 724187a9f4bSHong Zhang ierr = PetscLogFlops(bslog*2);CHKERRQ(ierr); 725671cb588SHong Zhang 726671cb588SHong Zhang /* update -U(i,k) */ 727671cb588SHong Zhang ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 728671cb588SHong Zhang 729671cb588SHong Zhang /* add multiple of row i to k-th row ... */ 730671cb588SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 731671cb588SHong Zhang if (jmin < jmax){ 732671cb588SHong Zhang for (j=jmin; j<jmax; j++) { 733671cb588SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j) */ 734671cb588SHong Zhang rtmp_ptr = rtmp + bj[j]*bs2; 735671cb588SHong Zhang u = ba + j*bs2; 736671cb588SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u); 737671cb588SHong Zhang } 738187a9f4bSHong Zhang ierr = PetscLogFlops(bslog*(jmax-jmin));CHKERRQ(ierr); 739671cb588SHong Zhang 740671cb588SHong Zhang /* ... add i to row list for next nonzero entry */ 741671cb588SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 742671cb588SHong Zhang j = bj[jmin]; 743671cb588SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 744671cb588SHong Zhang } 745671cb588SHong Zhang i = nexti; 746671cb588SHong Zhang } 747671cb588SHong Zhang 748671cb588SHong Zhang /* save nonzero entries in k-th row of U ... */ 749671cb588SHong Zhang 750671cb588SHong Zhang /* invert diagonal block */ 751671cb588SHong Zhang diag = ba+k*bs2; 752671cb588SHong Zhang ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr); 753d230e6fdSBarry Smith ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr); 754671cb588SHong Zhang 755671cb588SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 756671cb588SHong Zhang if (jmin < jmax) { 757671cb588SHong Zhang for (j=jmin; j<jmax; j++){ 758671cb588SHong Zhang vj = bj[j]; /* block col. index of U */ 759671cb588SHong Zhang u = ba + j*bs2; 760671cb588SHong Zhang rtmp_ptr = rtmp + vj*bs2; 761671cb588SHong Zhang for (k1=0; k1<bs2; k1++){ 762671cb588SHong Zhang *u++ = *rtmp_ptr; 763671cb588SHong Zhang *rtmp_ptr++ = 0.0; 764671cb588SHong Zhang } 765671cb588SHong Zhang } 766671cb588SHong Zhang 767671cb588SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 768671cb588SHong Zhang il[k] = jmin; 769671cb588SHong Zhang i = bj[jmin]; 770671cb588SHong Zhang jl[k] = jl[i]; jl[i] = k; 771671cb588SHong Zhang } 772671cb588SHong Zhang } 773671cb588SHong Zhang 774671cb588SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 775671cb588SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 776671cb588SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 777671cb588SHong Zhang ierr = PetscFree(pivots);CHKERRQ(ierr); 778671cb588SHong Zhang 779671cb588SHong Zhang C->factor = FACTOR_CHOLESKY; 780671cb588SHong Zhang C->assembled = PETSC_TRUE; 781671cb588SHong Zhang C->preallocated = PETSC_TRUE; 782efee365bSSatish Balay ierr = PetscLogFlops(1.3333*bs*bs2*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 783671cb588SHong Zhang PetscFunctionReturn(0); 784671cb588SHong Zhang } 785671cb588SHong Zhang 78649b5e25fSSatish Balay /* 787fcf159c0SHong Zhang Numeric U^T*D*U factorization for SBAIJ format. Modified from SNF of YSMP. 788cc0c071aSHong Zhang Version for blocks 2 by 2. 78949b5e25fSSatish Balay */ 7904a2ae208SSatish Balay #undef __FUNCT__ 7914a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2" 792af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2(Mat A,MatFactorInfo *info,Mat *B) 79349b5e25fSSatish Balay { 79449b5e25fSSatish Balay Mat C = *B; 79591602c66SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 796cc0c071aSHong Zhang IS perm = b->row; 7976849ba73SBarry Smith PetscErrorCode ierr; 79813f74950SBarry Smith PetscInt *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 79913f74950SBarry Smith PetscInt *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 800a1723e09SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 801cc0c071aSHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 80249b5e25fSSatish Balay 80349b5e25fSSatish Balay PetscFunctionBegin; 80491602c66SHong Zhang /* initialization */ 80591602c66SHong Zhang /* il and jl record the first nonzero element in each row of the accessing 80691602c66SHong Zhang window U(0:k, k:mbs-1). 80791602c66SHong Zhang jl: list of rows to be added to uneliminated rows 80891602c66SHong Zhang i>= k: jl(i) is the first row to be added to row i 80991602c66SHong Zhang i< k: jl(i) is the row following row i in some list of rows 81091602c66SHong Zhang jl(i) = mbs indicates the end of a list 81191602c66SHong Zhang il(i): points to the first nonzero element in columns k,...,mbs-1 of 81291602c66SHong Zhang row i of U */ 81382502324SSatish Balay ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 814cc0c071aSHong Zhang ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr); 81513f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 81628de702eSHong Zhang jl = il + mbs; 81791602c66SHong Zhang for (i=0; i<mbs; i++) { 8183845f261SHong Zhang jl[i] = mbs; il[0] = 0; 81991602c66SHong Zhang } 82082502324SSatish Balay ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr); 82128de702eSHong Zhang uik = dk + 4; 822cc0c071aSHong Zhang ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr); 823cc0c071aSHong Zhang 824cc0c071aSHong Zhang /* check permutation */ 825cc0c071aSHong Zhang if (!a->permute){ 826cc0c071aSHong Zhang ai = a->i; aj = a->j; aa = a->a; 827cc0c071aSHong Zhang } else { 828cc0c071aSHong Zhang ai = a->inew; aj = a->jnew; 82982502324SSatish Balay ierr = PetscMalloc(4*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr); 830cc0c071aSHong Zhang ierr = PetscMemcpy(aa,a->a,4*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr); 83113f74950SBarry Smith ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr); 83213f74950SBarry Smith ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr); 833cc0c071aSHong Zhang 834cc0c071aSHong Zhang for (i=0; i<mbs; i++){ 835cc0c071aSHong Zhang jmin = ai[i]; jmax = ai[i+1]; 836cc0c071aSHong Zhang for (j=jmin; j<jmax; j++){ 837cc0c071aSHong Zhang while (a2anew[j] != j){ 838cc0c071aSHong Zhang k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k; 839cc0c071aSHong Zhang for (k1=0; k1<4; k1++){ 840cc0c071aSHong Zhang dk[k1] = aa[k*4+k1]; 841cc0c071aSHong Zhang aa[k*4+k1] = aa[j*4+k1]; 842cc0c071aSHong Zhang aa[j*4+k1] = dk[k1]; 843cc0c071aSHong Zhang } 844cc0c071aSHong Zhang } 845cc0c071aSHong Zhang /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */ 846cc0c071aSHong Zhang if (i > aj[j]){ 847a1723e09SHong Zhang /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */ 848cc0c071aSHong Zhang ap = aa + j*4; /* ptr to the beginning of the block */ 849cc0c071aSHong Zhang dk[1] = ap[1]; /* swap ap[1] and ap[2] */ 850cc0c071aSHong Zhang ap[1] = ap[2]; 851cc0c071aSHong Zhang ap[2] = dk[1]; 852cc0c071aSHong Zhang } 853cc0c071aSHong Zhang } 854cc0c071aSHong Zhang } 855ac355199SBarry Smith ierr = PetscFree(a2anew);CHKERRQ(ierr); 856cc0c071aSHong Zhang } 8573845f261SHong Zhang 85891602c66SHong Zhang /* for each row k */ 85991602c66SHong Zhang for (k = 0; k<mbs; k++){ 86091602c66SHong Zhang 86191602c66SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 862cc0c071aSHong Zhang jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1]; 863cc0c071aSHong Zhang ap = aa + jmin*4; 86491602c66SHong Zhang for (j = jmin; j < jmax; j++){ 865cc0c071aSHong Zhang vj = perm_ptr[aj[j]]; /* block col. index */ 866cc0c071aSHong Zhang rtmp_ptr = rtmp + vj*4; 867cc0c071aSHong Zhang for (i=0; i<4; i++) *rtmp_ptr++ = *ap++; 86891602c66SHong Zhang } 86991602c66SHong Zhang 87091602c66SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 871cc0c071aSHong Zhang ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr); 87291602c66SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 87391602c66SHong Zhang 874057f5ba7SHong Zhang while (i < k){ 87591602c66SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 87691602c66SHong Zhang 8773845f261SHong Zhang /* compute multiplier */ 87891602c66SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 8793845f261SHong Zhang 8803845f261SHong Zhang /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */ 881cc0c071aSHong Zhang diag = ba + i*4; 882cc0c071aSHong Zhang u = ba + ili*4; 883cc0c071aSHong Zhang uik[0] = -(diag[0]*u[0] + diag[2]*u[1]); 884cc0c071aSHong Zhang uik[1] = -(diag[1]*u[0] + diag[3]*u[1]); 885cc0c071aSHong Zhang uik[2] = -(diag[0]*u[2] + diag[2]*u[3]); 886cc0c071aSHong Zhang uik[3] = -(diag[1]*u[2] + diag[3]*u[3]); 8873845f261SHong Zhang 8883845f261SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */ 889cc0c071aSHong Zhang dk[0] += uik[0]*u[0] + uik[1]*u[1]; 890cc0c071aSHong Zhang dk[1] += uik[2]*u[0] + uik[3]*u[1]; 891cc0c071aSHong Zhang dk[2] += uik[0]*u[2] + uik[1]*u[3]; 892cc0c071aSHong Zhang dk[3] += uik[2]*u[2] + uik[3]*u[3]; 8933845f261SHong Zhang 894187a9f4bSHong Zhang ierr = PetscLogFlops(16*2);CHKERRQ(ierr); 895187a9f4bSHong Zhang 8963845f261SHong Zhang /* update -U(i,k): ba[ili] = uik */ 897cc0c071aSHong Zhang ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr); 89891602c66SHong Zhang 89991602c66SHong Zhang /* add multiple of row i to k-th row ... */ 90091602c66SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 90191602c66SHong Zhang if (jmin < jmax){ 9023845f261SHong Zhang for (j=jmin; j<jmax; j++) { 9033845f261SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */ 904cc0c071aSHong Zhang rtmp_ptr = rtmp + bj[j]*4; 905cc0c071aSHong Zhang u = ba + j*4; 906cc0c071aSHong Zhang rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1]; 907cc0c071aSHong Zhang rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1]; 908cc0c071aSHong Zhang rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3]; 909cc0c071aSHong Zhang rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3]; 9103845f261SHong Zhang } 911187a9f4bSHong Zhang ierr = PetscLogFlops(16*(jmax-jmin));CHKERRQ(ierr); 9123845f261SHong Zhang 91391602c66SHong Zhang /* ... add i to row list for next nonzero entry */ 91491602c66SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 91591602c66SHong Zhang j = bj[jmin]; 91691602c66SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 91791602c66SHong Zhang } 918a1723e09SHong Zhang i = nexti; 91991602c66SHong Zhang } 920cc0c071aSHong Zhang 92191602c66SHong Zhang /* save nonzero entries in k-th row of U ... */ 9223845f261SHong Zhang 923cc0c071aSHong Zhang /* invert diagonal block */ 924cc0c071aSHong Zhang diag = ba+k*4; 925cc0c071aSHong Zhang ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr); 9263845f261SHong Zhang ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr); 9273845f261SHong Zhang 92891602c66SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 92991602c66SHong Zhang if (jmin < jmax) { 93091602c66SHong Zhang for (j=jmin; j<jmax; j++){ 931cc0c071aSHong Zhang vj = bj[j]; /* block col. index of U */ 932cc0c071aSHong Zhang u = ba + j*4; 933cc0c071aSHong Zhang rtmp_ptr = rtmp + vj*4; 934cc0c071aSHong Zhang for (k1=0; k1<4; k1++){ 935cc0c071aSHong Zhang *u++ = *rtmp_ptr; 936cc0c071aSHong Zhang *rtmp_ptr++ = 0.0; 937cc0c071aSHong Zhang } 938cc0c071aSHong Zhang } 9393845f261SHong Zhang 94091602c66SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 94191602c66SHong Zhang il[k] = jmin; 94291602c66SHong Zhang i = bj[jmin]; 94391602c66SHong Zhang jl[k] = jl[i]; jl[i] = k; 94491602c66SHong Zhang } 94591602c66SHong Zhang } 9463845f261SHong Zhang 94749b5e25fSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 94891602c66SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 9493845f261SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 95091602c66SHong Zhang if (a->permute) { 95191602c66SHong Zhang ierr = PetscFree(aa);CHKERRQ(ierr); 95291602c66SHong Zhang } 953cc0c071aSHong Zhang ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr); 95491602c66SHong Zhang C->factor = FACTOR_CHOLESKY; 95549b5e25fSSatish Balay C->assembled = PETSC_TRUE; 9565c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 957efee365bSSatish Balay ierr = PetscLogFlops(1.3333*8*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 95849b5e25fSSatish Balay PetscFunctionReturn(0); 95949b5e25fSSatish Balay } 96091602c66SHong Zhang 96149b5e25fSSatish Balay /* 96249b5e25fSSatish Balay Version for when blocks are 2 by 2 Using natural ordering 96349b5e25fSSatish Balay */ 9644a2ae208SSatish Balay #undef __FUNCT__ 9654a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering" 966af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B) 96749b5e25fSSatish Balay { 96849b5e25fSSatish Balay Mat C = *B; 969ab27746eSHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 970dfbe8321SBarry Smith PetscErrorCode ierr; 97113f74950SBarry Smith PetscInt i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 97213f74950SBarry Smith PetscInt *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 973ab27746eSHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 974ab27746eSHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 97549b5e25fSSatish Balay 97649b5e25fSSatish Balay PetscFunctionBegin; 977ab27746eSHong Zhang /* initialization */ 978ab27746eSHong Zhang /* il and jl record the first nonzero element in each row of the accessing 979ab27746eSHong Zhang window U(0:k, k:mbs-1). 980ab27746eSHong Zhang jl: list of rows to be added to uneliminated rows 981ab27746eSHong Zhang i>= k: jl(i) is the first row to be added to row i 982ab27746eSHong Zhang i< k: jl(i) is the row following row i in some list of rows 983ab27746eSHong Zhang jl(i) = mbs indicates the end of a list 984ab27746eSHong Zhang il(i): points to the first nonzero element in columns k,...,mbs-1 of 985ab27746eSHong Zhang row i of U */ 98682502324SSatish Balay ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 987ab27746eSHong Zhang ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr); 98813f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 98928de702eSHong Zhang jl = il + mbs; 990ab27746eSHong Zhang for (i=0; i<mbs; i++) { 991ab27746eSHong Zhang jl[i] = mbs; il[0] = 0; 99249b5e25fSSatish Balay } 99382502324SSatish Balay ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr); 99428de702eSHong Zhang uik = dk + 4; 995ab27746eSHong Zhang 996ab27746eSHong Zhang ai = a->i; aj = a->j; aa = a->a; 997ab27746eSHong Zhang 998ab27746eSHong Zhang /* for each row k */ 999ab27746eSHong Zhang for (k = 0; k<mbs; k++){ 1000ab27746eSHong Zhang 1001ab27746eSHong Zhang /*initialize k-th row with elements nonzero in row k of A */ 1002ab27746eSHong Zhang jmin = ai[k]; jmax = ai[k+1]; 1003ab27746eSHong Zhang ap = aa + jmin*4; 1004ab27746eSHong Zhang for (j = jmin; j < jmax; j++){ 1005ab27746eSHong Zhang vj = aj[j]; /* block col. index */ 1006ab27746eSHong Zhang rtmp_ptr = rtmp + vj*4; 1007ab27746eSHong Zhang for (i=0; i<4; i++) *rtmp_ptr++ = *ap++; 100849b5e25fSSatish Balay } 1009ab27746eSHong Zhang 1010ab27746eSHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 1011ab27746eSHong Zhang ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr); 1012ab27746eSHong Zhang i = jl[k]; /* first row to be added to k_th row */ 1013ab27746eSHong Zhang 1014057f5ba7SHong Zhang while (i < k){ 1015ab27746eSHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 1016ab27746eSHong Zhang 1017ab27746eSHong Zhang /* compute multiplier */ 1018ab27746eSHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1019ab27746eSHong Zhang 1020ab27746eSHong Zhang /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */ 1021ab27746eSHong Zhang diag = ba + i*4; 1022ab27746eSHong Zhang u = ba + ili*4; 1023ab27746eSHong Zhang uik[0] = -(diag[0]*u[0] + diag[2]*u[1]); 1024ab27746eSHong Zhang uik[1] = -(diag[1]*u[0] + diag[3]*u[1]); 1025ab27746eSHong Zhang uik[2] = -(diag[0]*u[2] + diag[2]*u[3]); 1026ab27746eSHong Zhang uik[3] = -(diag[1]*u[2] + diag[3]*u[3]); 1027ab27746eSHong Zhang 1028ab27746eSHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */ 1029ab27746eSHong Zhang dk[0] += uik[0]*u[0] + uik[1]*u[1]; 1030ab27746eSHong Zhang dk[1] += uik[2]*u[0] + uik[3]*u[1]; 1031ab27746eSHong Zhang dk[2] += uik[0]*u[2] + uik[1]*u[3]; 1032ab27746eSHong Zhang dk[3] += uik[2]*u[2] + uik[3]*u[3]; 1033ab27746eSHong Zhang 1034187a9f4bSHong Zhang ierr = PetscLogFlops(16*2);CHKERRQ(ierr); 1035187a9f4bSHong Zhang 1036ab27746eSHong Zhang /* update -U(i,k): ba[ili] = uik */ 1037ab27746eSHong Zhang ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr); 1038ab27746eSHong Zhang 1039ab27746eSHong Zhang /* add multiple of row i to k-th row ... */ 1040ab27746eSHong Zhang jmin = ili + 1; jmax = bi[i+1]; 1041ab27746eSHong Zhang if (jmin < jmax){ 1042ab27746eSHong Zhang for (j=jmin; j<jmax; j++) { 1043ab27746eSHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */ 1044ab27746eSHong Zhang rtmp_ptr = rtmp + bj[j]*4; 1045ab27746eSHong Zhang u = ba + j*4; 1046ab27746eSHong Zhang rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1]; 1047ab27746eSHong Zhang rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1]; 1048ab27746eSHong Zhang rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3]; 1049ab27746eSHong Zhang rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3]; 105049b5e25fSSatish Balay } 1051187a9f4bSHong Zhang ierr = PetscLogFlops(16*(jmax-jmin));CHKERRQ(ierr); 1052ab27746eSHong Zhang 1053ab27746eSHong Zhang /* ... add i to row list for next nonzero entry */ 1054ab27746eSHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 1055ab27746eSHong Zhang j = bj[jmin]; 1056ab27746eSHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 105749b5e25fSSatish Balay } 1058ab27746eSHong Zhang i = nexti; 105949b5e25fSSatish Balay } 1060ab27746eSHong Zhang 1061ab27746eSHong Zhang /* save nonzero entries in k-th row of U ... */ 1062ab27746eSHong Zhang 106349b5e25fSSatish Balay /* invert diagonal block */ 1064ab27746eSHong Zhang diag = ba+k*4; 1065ab27746eSHong Zhang ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr); 1066ab27746eSHong Zhang ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr); 1067ab27746eSHong Zhang 1068ab27746eSHong Zhang jmin = bi[k]; jmax = bi[k+1]; 1069ab27746eSHong Zhang if (jmin < jmax) { 1070ab27746eSHong Zhang for (j=jmin; j<jmax; j++){ 1071ab27746eSHong Zhang vj = bj[j]; /* block col. index of U */ 1072ab27746eSHong Zhang u = ba + j*4; 1073ab27746eSHong Zhang rtmp_ptr = rtmp + vj*4; 1074ab27746eSHong Zhang for (k1=0; k1<4; k1++){ 1075ab27746eSHong Zhang *u++ = *rtmp_ptr; 1076ab27746eSHong Zhang *rtmp_ptr++ = 0.0; 1077ab27746eSHong Zhang } 1078ab27746eSHong Zhang } 1079ab27746eSHong Zhang 1080ab27746eSHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 1081ab27746eSHong Zhang il[k] = jmin; 1082ab27746eSHong Zhang i = bj[jmin]; 1083ab27746eSHong Zhang jl[k] = jl[i]; jl[i] = k; 1084ab27746eSHong Zhang } 108549b5e25fSSatish Balay } 108649b5e25fSSatish Balay 108749b5e25fSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 1088ab27746eSHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 1089ab27746eSHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 1090ab27746eSHong Zhang 1091ab27746eSHong Zhang C->factor = FACTOR_CHOLESKY; 109249b5e25fSSatish Balay C->assembled = PETSC_TRUE; 10935c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 1094efee365bSSatish Balay ierr = PetscLogFlops(1.3333*8*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 109549b5e25fSSatish Balay PetscFunctionReturn(0); 109649b5e25fSSatish Balay } 109749b5e25fSSatish Balay 109849b5e25fSSatish Balay /* 109998a8e78dSHong Zhang Numeric U^T*D*U factorization for SBAIJ format. 110091602c66SHong Zhang Version for blocks are 1 by 1. 110149b5e25fSSatish Balay */ 11024a2ae208SSatish Balay #undef __FUNCT__ 11034a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1" 1104af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1(Mat A,MatFactorInfo *info,Mat *B) 110549b5e25fSSatish Balay { 110649b5e25fSSatish Balay Mat C = *B; 110749b5e25fSSatish Balay Mat_SeqSBAIJ *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data; 110849b5e25fSSatish Balay IS ip=b->row; 11096849ba73SBarry Smith PetscErrorCode ierr; 1110997a0949SHong Zhang PetscInt *rip,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j,*bcol; 1111fff829cfSHong Zhang PetscInt *ai,*aj,*a2anew; 1112997a0949SHong Zhang PetscInt k,jmin,jmax,*jl,*il,col,nexti,ili,nz; 1113997a0949SHong Zhang MatScalar *rtmp,*ba=b->a,*bval,*aa,dk,uikdi; 11143cea4cbeSHong Zhang PetscReal zeropivot,rs,shiftnz; 1115fbf22428SSatish Balay PetscReal shiftpd; 11163cea4cbeSHong Zhang ChShift_Ctx sctx; 11173cea4cbeSHong Zhang PetscInt newshift; 111849b5e25fSSatish Balay 111949b5e25fSSatish Balay PetscFunctionBegin; 11203cea4cbeSHong Zhang /* initialization */ 11213cea4cbeSHong Zhang shiftnz = info->shiftnz; 11223cea4cbeSHong Zhang shiftpd = info->shiftpd; 11233cea4cbeSHong Zhang zeropivot = info->zeropivot; 11243cea4cbeSHong Zhang 112549b5e25fSSatish Balay ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 1126cb718733SHong Zhang if (!a->permute){ 11272d007305SHong Zhang ai = a->i; aj = a->j; aa = a->a; 11282d007305SHong Zhang } else { 11292d007305SHong Zhang ai = a->inew; aj = a->jnew; 1130fff829cfSHong Zhang nz = ai[mbs]; 1131fff829cfSHong Zhang ierr = PetscMalloc(nz*sizeof(MatScalar),&aa);CHKERRQ(ierr); 1132fff829cfSHong Zhang a2anew = a->a2anew; 1133997a0949SHong Zhang bval = a->a; 1134fff829cfSHong Zhang for (j=0; j<nz; j++){ 1135997a0949SHong Zhang aa[a2anew[j]] = *(bval++); 11362d007305SHong Zhang } 11372d007305SHong Zhang } 11382d007305SHong Zhang 113991602c66SHong Zhang /* initialization */ 114049b5e25fSSatish Balay /* il and jl record the first nonzero element in each row of the accessing 114149b5e25fSSatish Balay window U(0:k, k:mbs-1). 114249b5e25fSSatish Balay jl: list of rows to be added to uneliminated rows 114349b5e25fSSatish Balay i>= k: jl(i) is the first row to be added to row i 114449b5e25fSSatish Balay i< k: jl(i) is the row following row i in some list of rows 114549b5e25fSSatish Balay jl(i) = mbs indicates the end of a list 114649b5e25fSSatish Balay il(i): points to the first nonzero element in columns k,...,mbs-1 of 114749b5e25fSSatish Balay row i of U */ 1148997a0949SHong Zhang nz = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar); 1149997a0949SHong Zhang ierr = PetscMalloc(nz,&il);CHKERRQ(ierr); 115028de702eSHong Zhang jl = il + mbs; 1151997a0949SHong Zhang rtmp = (MatScalar*)(jl + mbs); 1152997a0949SHong Zhang 11533cea4cbeSHong Zhang sctx.shift_amount = 0; 11543cea4cbeSHong Zhang sctx.nshift = 0; 1155997a0949SHong Zhang do { 11563cea4cbeSHong Zhang sctx.chshift = PETSC_FALSE; 115749b5e25fSSatish Balay for (i=0; i<mbs; i++) { 115849b5e25fSSatish Balay rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 115949b5e25fSSatish Balay } 1160997a0949SHong Zhang 116149b5e25fSSatish Balay for (k = 0; k<mbs; k++){ 1162997a0949SHong Zhang /*initialize k-th row by the perm[k]-th row of A */ 116349b5e25fSSatish Balay jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 11647701de02SHong Zhang bval = ba + bi[k]; 116549b5e25fSSatish Balay for (j = jmin; j < jmax; j++){ 1166997a0949SHong Zhang col = rip[aj[j]]; 1167997a0949SHong Zhang rtmp[col] = aa[j]; 11687701de02SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 116949b5e25fSSatish Balay } 11703cea4cbeSHong Zhang 11713cea4cbeSHong Zhang /* shift the diagonal of the matrix */ 11723cea4cbeSHong Zhang if (sctx.nshift) rtmp[k] += sctx.shift_amount; 117349b5e25fSSatish Balay 117491602c66SHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 117549b5e25fSSatish Balay dk = rtmp[k]; 117649b5e25fSSatish Balay i = jl[k]; /* first row to be added to k_th row */ 117749b5e25fSSatish Balay 1178057f5ba7SHong Zhang while (i < k){ 117949b5e25fSSatish Balay nexti = jl[i]; /* next row to be added to k_th row */ 118049b5e25fSSatish Balay 1181fff829cfSHong Zhang /* compute multiplier, update diag(k) and U(i,k) */ 118249b5e25fSSatish Balay ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1183997a0949SHong Zhang uikdi = - ba[ili]*ba[bi[i]]; /* diagonal(k) */ 118449b5e25fSSatish Balay dk += uikdi*ba[ili]; 1185658e7b3eSHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 118649b5e25fSSatish Balay 1187997a0949SHong Zhang /* add multiple of row i to k-th row */ 118849b5e25fSSatish Balay jmin = ili + 1; jmax = bi[i+1]; 118949b5e25fSSatish Balay if (jmin < jmax){ 119049b5e25fSSatish Balay for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 1191187a9f4bSHong Zhang ierr = PetscLogFlops(2*(jmax-jmin));CHKERRQ(ierr); 1192187a9f4bSHong Zhang 1193fff829cfSHong Zhang /* update il and jl for row i */ 1194fff829cfSHong Zhang il[i] = jmin; 1195fff829cfSHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 119649b5e25fSSatish Balay } 1197ab27746eSHong Zhang i = nexti; 119849b5e25fSSatish Balay } 119949b5e25fSSatish Balay 12003cea4cbeSHong Zhang /* shift the diagonals when zero pivot is detected */ 12013cea4cbeSHong Zhang /* compute rs=sum of abs(off-diagonal) */ 12023cea4cbeSHong Zhang rs = 0.0; 1203997a0949SHong Zhang jmin = bi[k]+1; 1204997a0949SHong Zhang nz = bi[k+1] - jmin; 1205997a0949SHong Zhang if (nz){ 1206997a0949SHong Zhang bcol = bj + jmin; 1207997a0949SHong Zhang while (nz--){ 120889f845c8SHong Zhang rs += PetscAbsScalar(rtmp[*bcol]); 120989f845c8SHong Zhang bcol++; 1210997a0949SHong Zhang } 1211997a0949SHong Zhang } 12123cea4cbeSHong Zhang 12133cea4cbeSHong Zhang sctx.rs = rs; 12143cea4cbeSHong Zhang sctx.pv = dk; 121545938b79SHong Zhang ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr); 121645938b79SHong Zhang if (newshift == 1) break; /* sctx.shift_amount is updated */ 121749b5e25fSSatish Balay 1218997a0949SHong Zhang /* copy data into U(k,:) */ 121998a8e78dSHong Zhang ba[bi[k]] = 1.0/dk; /* U(k,k) */ 1220fff829cfSHong Zhang jmin = bi[k]+1; jmax = bi[k+1]; 122149b5e25fSSatish Balay if (jmin < jmax) { 122249b5e25fSSatish Balay for (j=jmin; j<jmax; j++){ 1223997a0949SHong Zhang col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0; 122449b5e25fSSatish Balay } 122598a8e78dSHong Zhang /* add the k-th row into il and jl */ 122649b5e25fSSatish Balay il[k] = jmin; 122798a8e78dSHong Zhang i = bj[jmin]; jl[k] = jl[i]; jl[i] = k; 122849b5e25fSSatish Balay } 122949b5e25fSSatish Balay } 12303cea4cbeSHong Zhang } while (sctx.chshift); 123149b5e25fSSatish Balay ierr = PetscFree(il);CHKERRQ(ierr); 123298a8e78dSHong Zhang if (a->permute){ierr = PetscFree(aa);CHKERRQ(ierr);} 123349b5e25fSSatish Balay 123449b5e25fSSatish Balay ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 12358be8c0c7SHong Zhang C->factor = FACTOR_CHOLESKY; 123649b5e25fSSatish Balay C->assembled = PETSC_TRUE; 12375c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 1238899cda47SBarry Smith ierr = PetscLogFlops(C->rmap.N);CHKERRQ(ierr); 12393cea4cbeSHong Zhang if (sctx.nshift){ 12403cea4cbeSHong Zhang if (shiftnz) { 1241ae15b995SBarry Smith ierr = PetscInfo2(0,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 12423cea4cbeSHong Zhang } else if (shiftpd) { 1243ae15b995SBarry Smith ierr = PetscInfo2(0,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 1244997a0949SHong Zhang } 1245997a0949SHong Zhang } 124649b5e25fSSatish Balay PetscFunctionReturn(0); 124749b5e25fSSatish Balay } 124849b5e25fSSatish Balay 1249671cb588SHong Zhang /* 1250671cb588SHong Zhang Version for when blocks are 1 by 1 Using natural ordering 1251671cb588SHong Zhang */ 12524a2ae208SSatish Balay #undef __FUNCT__ 12534a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering" 1254af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B) 1255671cb588SHong Zhang { 1256671cb588SHong Zhang Mat C = *B; 1257671cb588SHong Zhang Mat_SeqSBAIJ *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data; 1258dfbe8321SBarry Smith PetscErrorCode ierr; 125913f74950SBarry Smith PetscInt i,j,mbs = a->mbs; 126013f74950SBarry Smith PetscInt *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 12613cea4cbeSHong Zhang PetscInt k,jmin,*jl,*il,nexti,ili,*acol,*bcol,nz; 1262653a6975SHong Zhang MatScalar *rtmp,*ba=b->a,*aa=a->a,dk,uikdi,*aval,*bval; 12633cea4cbeSHong Zhang PetscReal zeropivot,rs,shiftnz; 1264fbf22428SSatish Balay PetscReal shiftpd; 12653cea4cbeSHong Zhang ChShift_Ctx sctx; 12663cea4cbeSHong Zhang PetscInt newshift; 1267653a6975SHong Zhang 1268653a6975SHong Zhang PetscFunctionBegin; 1269653a6975SHong Zhang /* initialization */ 12703cea4cbeSHong Zhang shiftnz = info->shiftnz; 12713cea4cbeSHong Zhang shiftpd = info->shiftpd; 12723cea4cbeSHong Zhang zeropivot = info->zeropivot; 12733cea4cbeSHong Zhang 1274653a6975SHong Zhang /* il and jl record the first nonzero element in each row of the accessing 1275653a6975SHong Zhang window U(0:k, k:mbs-1). 1276653a6975SHong Zhang jl: list of rows to be added to uneliminated rows 1277653a6975SHong Zhang i>= k: jl(i) is the first row to be added to row i 1278653a6975SHong Zhang i< k: jl(i) is the row following row i in some list of rows 1279653a6975SHong Zhang jl(i) = mbs indicates the end of a list 1280653a6975SHong Zhang il(i): points to the first nonzero element in U(i,k:mbs-1) 1281653a6975SHong Zhang */ 1282653a6975SHong Zhang ierr = PetscMalloc(mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 128313f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 1284653a6975SHong Zhang jl = il + mbs; 1285b00f7748SHong Zhang 12863cea4cbeSHong Zhang sctx.shift_amount = 0; 12873cea4cbeSHong Zhang sctx.nshift = 0; 1288b00f7748SHong Zhang do { 12893cea4cbeSHong Zhang sctx.chshift = PETSC_FALSE; 1290653a6975SHong Zhang for (i=0; i<mbs; i++) { 1291653a6975SHong Zhang rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 1292653a6975SHong Zhang } 1293653a6975SHong Zhang 1294997a0949SHong Zhang for (k = 0; k<mbs; k++){ 1295653a6975SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 1296653a6975SHong Zhang nz = ai[k+1] - ai[k]; 1297653a6975SHong Zhang acol = aj + ai[k]; 1298653a6975SHong Zhang aval = aa + ai[k]; 1299653a6975SHong Zhang bval = ba + bi[k]; 1300653a6975SHong Zhang while (nz -- ){ 1301653a6975SHong Zhang rtmp[*acol++] = *aval++; 1302653a6975SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 1303653a6975SHong Zhang } 13043cea4cbeSHong Zhang 13053cea4cbeSHong Zhang /* shift the diagonal of the matrix */ 13063cea4cbeSHong Zhang if (sctx.nshift) rtmp[k] += sctx.shift_amount; 1307653a6975SHong Zhang 1308653a6975SHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 1309653a6975SHong Zhang dk = rtmp[k]; 1310653a6975SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 1311653a6975SHong Zhang 1312653a6975SHong Zhang while (i < k){ 1313653a6975SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 1314653a6975SHong Zhang /* compute multiplier, update D(k) and U(i,k) */ 1315653a6975SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1316653a6975SHong Zhang uikdi = - ba[ili]*ba[bi[i]]; 1317653a6975SHong Zhang dk += uikdi*ba[ili]; 1318653a6975SHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 1319653a6975SHong Zhang 1320653a6975SHong Zhang /* add multiple of row i to k-th row ... */ 1321653a6975SHong Zhang jmin = ili + 1; 1322653a6975SHong Zhang nz = bi[i+1] - jmin; 1323653a6975SHong Zhang if (nz > 0){ 1324653a6975SHong Zhang bcol = bj + jmin; 1325653a6975SHong Zhang bval = ba + jmin; 1326187a9f4bSHong Zhang ierr = PetscLogFlops(2*nz);CHKERRQ(ierr); 1327653a6975SHong Zhang while (nz --) rtmp[*bcol++] += uikdi*(*bval++); 1328187a9f4bSHong Zhang 1329997a0949SHong Zhang /* update il and jl for i-th row */ 1330997a0949SHong Zhang il[i] = jmin; 1331997a0949SHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 1332653a6975SHong Zhang } 1333653a6975SHong Zhang i = nexti; 1334653a6975SHong Zhang } 1335653a6975SHong Zhang 13363cea4cbeSHong Zhang /* shift the diagonals when zero pivot is detected */ 13373cea4cbeSHong Zhang /* compute rs=sum of abs(off-diagonal) */ 13383cea4cbeSHong Zhang rs = 0.0; 133921c26570Svictorle jmin = bi[k]+1; 134021c26570Svictorle nz = bi[k+1] - jmin; 134121c26570Svictorle if (nz){ 134221c26570Svictorle bcol = bj + jmin; 134321c26570Svictorle while (nz--){ 134489f845c8SHong Zhang rs += PetscAbsScalar(rtmp[*bcol]); 134589f845c8SHong Zhang bcol++; 134621c26570Svictorle } 134721c26570Svictorle } 13483cea4cbeSHong Zhang 13493cea4cbeSHong Zhang sctx.rs = rs; 13503cea4cbeSHong Zhang sctx.pv = dk; 135145938b79SHong Zhang ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr); 135245938b79SHong Zhang if (newshift == 1) break; /* sctx.shift_amount is updated */ 1353653a6975SHong Zhang 1354997a0949SHong Zhang /* copy data into U(k,:) */ 1355653a6975SHong Zhang ba[bi[k]] = 1.0/dk; 1356653a6975SHong Zhang jmin = bi[k]+1; 1357653a6975SHong Zhang nz = bi[k+1] - jmin; 1358653a6975SHong Zhang if (nz){ 1359653a6975SHong Zhang bcol = bj + jmin; 1360653a6975SHong Zhang bval = ba + jmin; 1361653a6975SHong Zhang while (nz--){ 1362653a6975SHong Zhang *bval++ = rtmp[*bcol]; 1363653a6975SHong Zhang rtmp[*bcol++] = 0.0; 1364653a6975SHong Zhang } 1365997a0949SHong Zhang /* add k-th row into il and jl */ 1366653a6975SHong Zhang il[k] = jmin; 1367997a0949SHong Zhang i = bj[jmin]; jl[k] = jl[i]; jl[i] = k; 1368653a6975SHong Zhang } 1369b00f7748SHong Zhang } /* end of for (k = 0; k<mbs; k++) */ 13703cea4cbeSHong Zhang } while (sctx.chshift); 1371653a6975SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 1372653a6975SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 1373653a6975SHong Zhang 1374653a6975SHong Zhang C->factor = FACTOR_CHOLESKY; 1375653a6975SHong Zhang C->assembled = PETSC_TRUE; 1376653a6975SHong Zhang C->preallocated = PETSC_TRUE; 1377899cda47SBarry Smith ierr = PetscLogFlops(C->rmap.N);CHKERRQ(ierr); 13783cea4cbeSHong Zhang if (sctx.nshift){ 13793cea4cbeSHong Zhang if (shiftnz) { 1380ae15b995SBarry Smith ierr = PetscInfo2(0,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 13813cea4cbeSHong Zhang } else if (shiftpd) { 1382ae15b995SBarry Smith ierr = PetscInfo2(0,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 1383b00f7748SHong Zhang } 1384fb10cecfSBarry Smith } 1385653a6975SHong Zhang PetscFunctionReturn(0); 1386653a6975SHong Zhang } 1387653a6975SHong Zhang 1388653a6975SHong Zhang #undef __FUNCT__ 13894a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactor_SeqSBAIJ" 1390dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactor_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info) 139149b5e25fSSatish Balay { 1392dfbe8321SBarry Smith PetscErrorCode ierr; 139349b5e25fSSatish Balay Mat C; 139449b5e25fSSatish Balay 139549b5e25fSSatish Balay PetscFunctionBegin; 139615e8a5b3SHong Zhang ierr = MatCholeskyFactorSymbolic(A,perm,info,&C);CHKERRQ(ierr); 1397af281ebdSHong Zhang ierr = MatCholeskyFactorNumeric(A,info,&C);CHKERRQ(ierr); 13984445ddedSHong Zhang ierr = MatHeaderCopy(A,C);CHKERRQ(ierr); 139949b5e25fSSatish Balay PetscFunctionReturn(0); 140049b5e25fSSatish Balay } 140149b5e25fSSatish Balay 140249b5e25fSSatish Balay 1403