1*be1d678aSKris 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; 2213f74950SBarry Smith PetscInt mbs=fact_ptr->mbs,bs=F->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; 5410c27e3dSHong Zhang PetscInt *jutmp,bs = A->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 16463ba0a88SBarry Smith #if defined(PETSC_USE_DEBUG) 16510c27e3dSHong Zhang if (ai[mbs] != 0) { 16610c27e3dSHong Zhang PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 16763ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,f,af));CHKERRQ(ierr); 16863ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Run with -pc_cholesky_fill %g or use \n",af));CHKERRQ(ierr); 16963ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:PCCholeskySetFill(pc,%g);\n",af));CHKERRQ(ierr); 17063ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:for best performance.\n"));CHKERRQ(ierr); 17110c27e3dSHong Zhang } else { 17263ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ: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 */ 18010c27e3dSHong Zhang ierr = MatCreate(A->comm,bs*mbs,bs*mbs,bs*mbs,bs*mbs,B);CHKERRQ(ierr); 18110c27e3dSHong Zhang ierr = MatSetType(*B,A->type_name);CHKERRQ(ierr); 18210c27e3dSHong Zhang ierr = MatSeqSBAIJSetPreallocation(*B,bs,0,PETSC_NULL);CHKERRQ(ierr); 18310c27e3dSHong Zhang 184efee365bSSatish Balay /* ierr = PetscLogObjectParent(*B,iperm);CHKERRQ(ierr); */ 18510c27e3dSHong Zhang b = (Mat_SeqSBAIJ*)(*B)->data; 18610c27e3dSHong Zhang ierr = PetscFree(b->imax);CHKERRQ(ierr); 18710c27e3dSHong Zhang b->singlemalloc = PETSC_FALSE; 18810c27e3dSHong Zhang /* the next line frees the default space generated by the Create() */ 18910c27e3dSHong Zhang ierr = PetscFree(b->a);CHKERRQ(ierr); 19010c27e3dSHong Zhang ierr = PetscFree(b->ilen);CHKERRQ(ierr); 19110c27e3dSHong Zhang ierr = PetscMalloc((iu[mbs]+1)*sizeof(MatScalar)*bs2,&b->a);CHKERRQ(ierr); 19210c27e3dSHong Zhang b->j = ju; 19310c27e3dSHong Zhang b->i = iu; 19410c27e3dSHong Zhang b->diag = 0; 19510c27e3dSHong Zhang b->ilen = 0; 19610c27e3dSHong Zhang b->imax = 0; 19710c27e3dSHong Zhang b->row = perm; 19810c27e3dSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 19910c27e3dSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 20010c27e3dSHong Zhang b->icol = perm; 20110c27e3dSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 20210c27e3dSHong Zhang ierr = PetscMalloc((bs*mbs+bs)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 20310c27e3dSHong Zhang /* In b structure: Free imax, ilen, old a, old j. 20410c27e3dSHong Zhang Allocate idnew, solve_work, new a, new j */ 20552e6d16bSBarry Smith ierr = PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 20610c27e3dSHong Zhang b->maxnz = b->nz = iu[mbs]; 20710c27e3dSHong Zhang 20810c27e3dSHong Zhang (*B)->factor = FACTOR_CHOLESKY; 20910c27e3dSHong Zhang (*B)->info.factor_mallocs = reallocs; 21010c27e3dSHong Zhang (*B)->info.fill_ratio_given = f; 21110c27e3dSHong Zhang if (ai[mbs] != 0) { 21210c27e3dSHong Zhang (*B)->info.fill_ratio_needed = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 21310c27e3dSHong Zhang } else { 21410c27e3dSHong Zhang (*B)->info.fill_ratio_needed = 0.0; 21510c27e3dSHong Zhang } 21610c27e3dSHong Zhang 21710c27e3dSHong Zhang if (perm_identity){ 21810c27e3dSHong Zhang switch (bs) { 21910c27e3dSHong Zhang case 1: 22010c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering; 22110c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 22263ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=1\n"));CHKERRQ(ierr); 22310c27e3dSHong Zhang break; 22410c27e3dSHong Zhang case 2: 22510c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering; 22610c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_2_NaturalOrdering; 22763ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=2\n"));CHKERRQ(ierr); 22810c27e3dSHong Zhang break; 22910c27e3dSHong Zhang case 3: 23010c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering; 23110c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_3_NaturalOrdering; 23263ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:sing special in-place natural ordering factor and solve BS=3\n"));CHKERRQ(ierr); 23310c27e3dSHong Zhang break; 23410c27e3dSHong Zhang case 4: 23510c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering; 23610c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_4_NaturalOrdering; 23763ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=4\n"));CHKERRQ(ierr); 23810c27e3dSHong Zhang break; 23910c27e3dSHong Zhang case 5: 24010c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering; 24110c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_5_NaturalOrdering; 24263ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=5\n"));CHKERRQ(ierr); 24310c27e3dSHong Zhang break; 24410c27e3dSHong Zhang case 6: 24510c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering; 24610c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_6_NaturalOrdering; 24763ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=6\n"));CHKERRQ(ierr); 24810c27e3dSHong Zhang break; 24910c27e3dSHong Zhang case 7: 25010c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering; 25110c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_7_NaturalOrdering; 25263ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=7\n"));CHKERRQ(ierr); 25310c27e3dSHong Zhang break; 25410c27e3dSHong Zhang default: 25510c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering; 25610c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_N_NaturalOrdering; 25763ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS>7\n"));CHKERRQ(ierr); 25810c27e3dSHong Zhang break; 25910c27e3dSHong Zhang } 26010c27e3dSHong Zhang } 26110c27e3dSHong Zhang PetscFunctionReturn(0); 26210c27e3dSHong Zhang } 26310c27e3dSHong Zhang /* 26410c27e3dSHong Zhang Symbolic U^T*D*U factorization for SBAIJ format. 26510c27e3dSHong Zhang */ 26698a8e78dSHong Zhang #include "petscbt.h" 26798a8e78dSHong Zhang #include "src/mat/utils/freespace.h" 2684a2ae208SSatish Balay #undef __FUNCT__ 2694a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqSBAIJ" 27098a8e78dSHong Zhang PetscErrorCode MatCholeskyFactorSymbolic_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info,Mat *fact) 27149b5e25fSSatish Balay { 27298a8e78dSHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data; 27398a8e78dSHong Zhang Mat_SeqSBAIJ *b; 27498a8e78dSHong Zhang Mat B; 2756849ba73SBarry Smith PetscErrorCode ierr; 276671cb588SHong Zhang PetscTruth perm_identity; 27798a8e78dSHong Zhang PetscReal fill = info->fill; 2787625dc9aSHong Zhang PetscInt *rip,i,mbs=a->mbs,bs=A->bs,*ai,*aj,reallocs=0,prow; 27998a8e78dSHong Zhang PetscInt *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow; 2807625dc9aSHong Zhang PetscInt nlnk,*lnk,ncols,*cols,*uj,**ui_ptr,*uj_ptr; 28198a8e78dSHong Zhang FreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 28298a8e78dSHong Zhang PetscBT lnkbt; 28349b5e25fSSatish Balay 28449b5e25fSSatish Balay PetscFunctionBegin; 28510c27e3dSHong Zhang /* 28610c27e3dSHong Zhang This code originally uses Modified Sparse Row (MSR) storage 28710c27e3dSHong Zhang (see page 85, "Iterative Methods ..." by Saad) for the output matrix B - bad choise! 28810c27e3dSHong Zhang Then it is rewritten so the factor B takes seqsbaij format. However the associated 28910c27e3dSHong Zhang MatCholeskyFactorNumeric_() have not been modified for the cases of bs>1 or !perm_identity, 29010c27e3dSHong Zhang thus the original code in MSR format is still used for these cases. 29110c27e3dSHong Zhang The code below should replace MatCholeskyFactorSymbolic_SeqSBAIJ_MSR() whenever 29210c27e3dSHong Zhang MatCholeskyFactorNumeric_() is modified for using sbaij symbolic factor. 29310c27e3dSHong Zhang */ 294fff829cfSHong Zhang if (bs > 1){ 29598a8e78dSHong Zhang ierr = MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(A,perm,info,fact);CHKERRQ(ierr); 296fff829cfSHong Zhang PetscFunctionReturn(0); 297fff829cfSHong Zhang } 29810c27e3dSHong Zhang 29998a8e78dSHong Zhang /* check whether perm is the identity mapping */ 30098a8e78dSHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 30198a8e78dSHong Zhang 302fff829cfSHong Zhang if (perm_identity){ 303fff829cfSHong Zhang a->permute = PETSC_FALSE; 304fff829cfSHong Zhang ai = a->i; aj = a->j; 305fff829cfSHong Zhang } else { 306fff829cfSHong Zhang a->permute = PETSC_TRUE; 307fff829cfSHong Zhang ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr); 308fff829cfSHong Zhang ai = a->inew; aj = a->jnew; 309fff829cfSHong Zhang } 310fff829cfSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 311fff829cfSHong Zhang 312fff829cfSHong Zhang /* initialization */ 3137625dc9aSHong Zhang ierr = PetscMalloc((mbs+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 31498a8e78dSHong Zhang ui[0] = 0; 31598a8e78dSHong Zhang 31698a8e78dSHong Zhang /* jl: linked list for storing indices of the pivot rows 3177625dc9aSHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:mbs-1) */ 3187625dc9aSHong Zhang ierr = PetscMalloc((3*mbs+1)*sizeof(PetscInt)+mbs*sizeof(PetscInt*),&jl);CHKERRQ(ierr); 3197625dc9aSHong Zhang il = jl + mbs; 3207625dc9aSHong Zhang cols = il + mbs; 3217625dc9aSHong Zhang ui_ptr = (PetscInt**)(cols + mbs); 3227625dc9aSHong Zhang 3237625dc9aSHong Zhang for (i=0; i<mbs; i++){ 3247625dc9aSHong Zhang jl[i] = mbs; il[i] = 0; 325fff829cfSHong Zhang } 326fff829cfSHong Zhang 32798a8e78dSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 3287625dc9aSHong Zhang nlnk = mbs + 1; 3297625dc9aSHong Zhang ierr = PetscLLCreate(mbs,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr); 330fff829cfSHong Zhang 3317625dc9aSHong Zhang /* initial FreeSpace size is fill*(ai[mbs]+1) */ 3327625dc9aSHong Zhang ierr = GetMoreSpace((PetscInt)(fill*(ai[mbs]+1)),&free_space);CHKERRQ(ierr); 33398a8e78dSHong Zhang current_space = free_space; 33498a8e78dSHong Zhang 3357625dc9aSHong Zhang for (k=0; k<mbs; k++){ /* for each active row k */ 33698a8e78dSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 33798a8e78dSHong Zhang nzk = 0; 33898a8e78dSHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 3397625dc9aSHong Zhang for (j=0; j<ncols; j++){ 3407625dc9aSHong Zhang i = *(aj + ai[rip[k]] + j); 3417625dc9aSHong Zhang cols[j] = rip[i]; 3427625dc9aSHong Zhang } 3437625dc9aSHong Zhang ierr = PetscLLAdd(ncols,cols,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr); 34498a8e78dSHong Zhang nzk += nlnk; 34598a8e78dSHong Zhang 34698a8e78dSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 34798a8e78dSHong Zhang prow = jl[k]; /* 1st pivot row */ 348fff829cfSHong Zhang 349fff829cfSHong Zhang while (prow < k){ 350fff829cfSHong Zhang nextprow = jl[prow]; 35198a8e78dSHong Zhang /* merge prow into k-th row */ 3527625dc9aSHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:mbs-1) */ 35398a8e78dSHong Zhang jmax = ui[prow+1]; 35498a8e78dSHong Zhang ncols = jmax-jmin; 3557625dc9aSHong Zhang uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:mbs-1) */ 3565a8e39fbSHong Zhang ierr = PetscLLAddSorted(ncols,uj_ptr,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr); 35798a8e78dSHong Zhang nzk += nlnk; 358fff829cfSHong Zhang 35998a8e78dSHong Zhang /* update il and jl for prow */ 360fff829cfSHong Zhang if (jmin < jmax){ 361fff829cfSHong Zhang il[prow] = jmin; 3627625dc9aSHong Zhang j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow; 363fff829cfSHong Zhang } 364fff829cfSHong Zhang prow = nextprow; 365fff829cfSHong Zhang } 366fff829cfSHong Zhang 36798a8e78dSHong Zhang /* if free space is not available, make more free space */ 36898a8e78dSHong Zhang if (current_space->local_remaining<nzk) { 3697625dc9aSHong Zhang i = mbs - k + 1; /* num of unfactored rows */ 37098a8e78dSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 37198a8e78dSHong Zhang ierr = GetMoreSpace(i,¤t_space);CHKERRQ(ierr); 37298a8e78dSHong Zhang reallocs++; 37398a8e78dSHong Zhang } 37498a8e78dSHong Zhang 37598a8e78dSHong Zhang /* copy data into free space, then initialize lnk */ 3767625dc9aSHong Zhang ierr = PetscLLClean(mbs,mbs,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 37798a8e78dSHong Zhang 37898a8e78dSHong Zhang /* add the k-th row into il and jl */ 37998a8e78dSHong Zhang if (nzk-1 > 0){ 3807625dc9aSHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:mbs-1) */ 381fff829cfSHong Zhang jl[k] = jl[i]; jl[i] = k; 38298a8e78dSHong Zhang il[k] = ui[k] + 1; 383fff829cfSHong Zhang } 3847625dc9aSHong Zhang ui_ptr[k] = current_space->array; 38598a8e78dSHong Zhang current_space->array += nzk; 38698a8e78dSHong Zhang current_space->local_used += nzk; 38798a8e78dSHong Zhang current_space->local_remaining -= nzk; 388fff829cfSHong Zhang 38998a8e78dSHong Zhang ui[k+1] = ui[k] + nzk; 390fff829cfSHong Zhang } 391fff829cfSHong Zhang 39263ba0a88SBarry Smith #if defined(PETSC_USE_DEBUG) 3937625dc9aSHong Zhang if (ai[mbs] != 0) { 3947625dc9aSHong Zhang PetscReal af = ((PetscReal)ui[mbs])/((PetscReal)ai[mbs]); 39563ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,fill,af));CHKERRQ(ierr); 39663ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Run with -pc_cholesky_fill %g or use \n",af));CHKERRQ(ierr); 39763ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:PCCholeskySetFill(pc,%g) for best performance.\n",af));CHKERRQ(ierr); 398fff829cfSHong Zhang } else { 39963ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Empty matrix.\n"));CHKERRQ(ierr); 400fff829cfSHong Zhang } 40163ba0a88SBarry Smith #endif 402fff829cfSHong Zhang 403fff829cfSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 404fff829cfSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 405fff829cfSHong Zhang 40698a8e78dSHong Zhang /* destroy list of free space and other temporary array(s) */ 4077625dc9aSHong Zhang ierr = PetscMalloc((ui[mbs]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 40898a8e78dSHong Zhang ierr = MakeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 40998a8e78dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 410fff829cfSHong Zhang 41198a8e78dSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 4127625dc9aSHong Zhang ierr = MatCreate(PETSC_COMM_SELF,mbs,mbs,mbs,mbs,fact);CHKERRQ(ierr); 41398a8e78dSHong Zhang B = *fact; 41498a8e78dSHong Zhang ierr = MatSetType(B,MATSEQSBAIJ);CHKERRQ(ierr); 41598a8e78dSHong Zhang ierr = MatSeqSBAIJSetPreallocation(B,bs,0,PETSC_NULL);CHKERRQ(ierr); 41698a8e78dSHong Zhang 41798a8e78dSHong Zhang b = (Mat_SeqSBAIJ*)B->data; 418fff829cfSHong Zhang ierr = PetscFree(b->imax);CHKERRQ(ierr); 419fff829cfSHong Zhang b->singlemalloc = PETSC_FALSE; 420fff829cfSHong Zhang /* the next line frees the default space generated by the Create() */ 421fff829cfSHong Zhang ierr = PetscFree(b->a);CHKERRQ(ierr); 422fff829cfSHong Zhang ierr = PetscFree(b->ilen);CHKERRQ(ierr); 4237625dc9aSHong Zhang ierr = PetscMalloc((ui[mbs]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 42498a8e78dSHong Zhang b->j = uj; 42598a8e78dSHong Zhang b->i = ui; 426fff829cfSHong Zhang b->diag = 0; 427fff829cfSHong Zhang b->ilen = 0; 428fff829cfSHong Zhang b->imax = 0; 429fff829cfSHong Zhang b->row = perm; 430fff829cfSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 431fff829cfSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 432fff829cfSHong Zhang b->icol = perm; 433fff829cfSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 4347625dc9aSHong Zhang ierr = PetscMalloc((mbs+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 43552e6d16bSBarry Smith ierr = PetscLogObjectMemory(B,(ui[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 4367625dc9aSHong Zhang b->maxnz = b->nz = ui[mbs]; 437fff829cfSHong Zhang 43898a8e78dSHong Zhang B->factor = FACTOR_CHOLESKY; 43998a8e78dSHong Zhang B->info.factor_mallocs = reallocs; 44098a8e78dSHong Zhang B->info.fill_ratio_given = fill; 4417625dc9aSHong Zhang if (ai[mbs] != 0) { 4427625dc9aSHong Zhang B->info.fill_ratio_needed = ((PetscReal)ui[mbs])/((PetscReal)ai[mbs]); 443fff829cfSHong Zhang } else { 44498a8e78dSHong Zhang B->info.fill_ratio_needed = 0.0; 445fff829cfSHong Zhang } 446fff829cfSHong Zhang 447fff829cfSHong Zhang if (perm_identity){ 44898a8e78dSHong Zhang switch (bs) { 44998a8e78dSHong Zhang case 1: 45098a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering; 45198a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 45263ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=1\n"));CHKERRQ(ierr); 45398a8e78dSHong Zhang break; 45498a8e78dSHong Zhang case 2: 45598a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering; 45698a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_2_NaturalOrdering; 45763ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=2\n"));CHKERRQ(ierr); 45898a8e78dSHong Zhang break; 45998a8e78dSHong Zhang case 3: 46098a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering; 46198a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_3_NaturalOrdering; 46263ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:sing special in-place natural ordering factor and solve BS=3\n"));CHKERRQ(ierr); 46398a8e78dSHong Zhang break; 46498a8e78dSHong Zhang case 4: 46598a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering; 46698a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_4_NaturalOrdering; 46763ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=4\n"));CHKERRQ(ierr); 46898a8e78dSHong Zhang break; 46998a8e78dSHong Zhang case 5: 47098a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering; 47198a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_5_NaturalOrdering; 47263ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=5\n"));CHKERRQ(ierr); 47398a8e78dSHong Zhang break; 47498a8e78dSHong Zhang case 6: 47598a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering; 47698a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_6_NaturalOrdering; 47763ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=6\n"));CHKERRQ(ierr); 47898a8e78dSHong Zhang break; 47998a8e78dSHong Zhang case 7: 48098a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering; 48198a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_7_NaturalOrdering; 48263ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=7\n"));CHKERRQ(ierr); 48398a8e78dSHong Zhang break; 48498a8e78dSHong Zhang default: 48598a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering; 48698a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_N_NaturalOrdering; 48763ba0a88SBarry Smith ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS>7\n"));CHKERRQ(ierr); 48898a8e78dSHong Zhang break; 48998a8e78dSHong Zhang } 49098a8e78dSHong Zhang } 491064503c5SHong Zhang PetscFunctionReturn(0); 492064503c5SHong Zhang } 4934a2ae208SSatish Balay #undef __FUNCT__ 4944a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N" 495af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N(Mat A,MatFactorInfo *info,Mat *B) 49649b5e25fSSatish Balay { 49749b5e25fSSatish Balay Mat C = *B; 4984c16a6a6SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 4994c16a6a6SHong Zhang IS perm = b->row; 5006849ba73SBarry Smith PetscErrorCode ierr; 50113f74950SBarry Smith PetscInt *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 50213f74950SBarry Smith PetscInt *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 50313f74950SBarry Smith PetscInt bs=A->bs,bs2 = a->bs2; 5044c16a6a6SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 5054c16a6a6SHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 50628de702eSHong Zhang MatScalar *work; 50713f74950SBarry Smith PetscInt *pivots; 5084c16a6a6SHong Zhang 5094c16a6a6SHong Zhang PetscFunctionBegin; 5104c16a6a6SHong Zhang /* initialization */ 51182502324SSatish Balay ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 5124c16a6a6SHong Zhang ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr); 51313f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 51428de702eSHong Zhang jl = il + mbs; 5154c16a6a6SHong Zhang for (i=0; i<mbs; i++) { 5164c16a6a6SHong Zhang jl[i] = mbs; il[0] = 0; 5174c16a6a6SHong Zhang } 518b0a32e0cSBarry Smith ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr); 51928de702eSHong Zhang uik = dk + bs2; 52028de702eSHong Zhang work = uik + bs2; 52113f74950SBarry Smith ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr); 5224c16a6a6SHong Zhang 5234c16a6a6SHong Zhang ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr); 5244c16a6a6SHong Zhang 5254c16a6a6SHong Zhang /* check permutation */ 5264c16a6a6SHong Zhang if (!a->permute){ 5274c16a6a6SHong Zhang ai = a->i; aj = a->j; aa = a->a; 5284c16a6a6SHong Zhang } else { 5294c16a6a6SHong Zhang ai = a->inew; aj = a->jnew; 53082502324SSatish Balay ierr = PetscMalloc(bs2*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr); 5314c16a6a6SHong Zhang ierr = PetscMemcpy(aa,a->a,bs2*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr); 53213f74950SBarry Smith ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr); 53313f74950SBarry Smith ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr); 5344c16a6a6SHong Zhang 5354c16a6a6SHong Zhang for (i=0; i<mbs; i++){ 5364c16a6a6SHong Zhang jmin = ai[i]; jmax = ai[i+1]; 5374c16a6a6SHong Zhang for (j=jmin; j<jmax; j++){ 5384c16a6a6SHong Zhang while (a2anew[j] != j){ 5394c16a6a6SHong Zhang k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k; 5404c16a6a6SHong Zhang for (k1=0; k1<bs2; k1++){ 5414c16a6a6SHong Zhang dk[k1] = aa[k*bs2+k1]; 5424c16a6a6SHong Zhang aa[k*bs2+k1] = aa[j*bs2+k1]; 5434c16a6a6SHong Zhang aa[j*bs2+k1] = dk[k1]; 5444c16a6a6SHong Zhang } 5454c16a6a6SHong Zhang } 5464c16a6a6SHong Zhang /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */ 5474c16a6a6SHong Zhang if (i > aj[j]){ 5484c16a6a6SHong Zhang /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */ 5494c16a6a6SHong Zhang ap = aa + j*bs2; /* ptr to the beginning of j-th block of aa */ 5504c16a6a6SHong Zhang for (k=0; k<bs2; k++) dk[k] = ap[k]; /* dk <- j-th block of aa */ 5514c16a6a6SHong Zhang for (k=0; k<bs; k++){ /* j-th block of aa <- dk^T */ 5524c16a6a6SHong Zhang for (k1=0; k1<bs; k1++) *ap++ = dk[k + bs*k1]; 5534c16a6a6SHong Zhang } 5544c16a6a6SHong Zhang } 5554c16a6a6SHong Zhang } 5564c16a6a6SHong Zhang } 557323b833fSBarry Smith ierr = PetscFree(a2anew);CHKERRQ(ierr); 5584c16a6a6SHong Zhang } 5594c16a6a6SHong Zhang 5604c16a6a6SHong Zhang /* for each row k */ 5614c16a6a6SHong Zhang for (k = 0; k<mbs; k++){ 5624c16a6a6SHong Zhang 5634c16a6a6SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 5644c16a6a6SHong Zhang jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1]; 565057f5ba7SHong Zhang 5664c16a6a6SHong Zhang ap = aa + jmin*bs2; 5674c16a6a6SHong Zhang for (j = jmin; j < jmax; j++){ 5684c16a6a6SHong Zhang vj = perm_ptr[aj[j]]; /* block col. index */ 5694c16a6a6SHong Zhang rtmp_ptr = rtmp + vj*bs2; 5704c16a6a6SHong Zhang for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++; 5714c16a6a6SHong Zhang } 5724c16a6a6SHong Zhang 5734c16a6a6SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 5744c16a6a6SHong Zhang ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5754c16a6a6SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 5764c16a6a6SHong Zhang 577057f5ba7SHong Zhang while (i < k){ 5784c16a6a6SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 5794c16a6a6SHong Zhang 5804c16a6a6SHong Zhang /* compute multiplier */ 5814c16a6a6SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 5824c16a6a6SHong Zhang 5834c16a6a6SHong Zhang /* uik = -inv(Di)*U_bar(i,k) */ 5844c16a6a6SHong Zhang diag = ba + i*bs2; 5854c16a6a6SHong Zhang u = ba + ili*bs2; 5864c16a6a6SHong Zhang ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5874c16a6a6SHong Zhang Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u); 5884c16a6a6SHong Zhang 5894c16a6a6SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k) */ 5904c16a6a6SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u); 5914c16a6a6SHong Zhang 5924c16a6a6SHong Zhang /* update -U(i,k) */ 5934c16a6a6SHong Zhang ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5944c16a6a6SHong Zhang 5954c16a6a6SHong Zhang /* add multiple of row i to k-th row ... */ 5964c16a6a6SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 5974c16a6a6SHong Zhang if (jmin < jmax){ 5984c16a6a6SHong Zhang for (j=jmin; j<jmax; j++) { 5994c16a6a6SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j) */ 6004c16a6a6SHong Zhang rtmp_ptr = rtmp + bj[j]*bs2; 6014c16a6a6SHong Zhang u = ba + j*bs2; 6024c16a6a6SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u); 6034c16a6a6SHong Zhang } 6044c16a6a6SHong Zhang 6054c16a6a6SHong Zhang /* ... add i to row list for next nonzero entry */ 6064c16a6a6SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 6074c16a6a6SHong Zhang j = bj[jmin]; 6084c16a6a6SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 6094c16a6a6SHong Zhang } 6104c16a6a6SHong Zhang i = nexti; 6114c16a6a6SHong Zhang } 6124c16a6a6SHong Zhang 6134c16a6a6SHong Zhang /* save nonzero entries in k-th row of U ... */ 6144c16a6a6SHong Zhang 6154c16a6a6SHong Zhang /* invert diagonal block */ 6164c16a6a6SHong Zhang diag = ba+k*bs2; 6174c16a6a6SHong Zhang ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr); 618d230e6fdSBarry Smith ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr); 6194c16a6a6SHong Zhang 6204c16a6a6SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 6214c16a6a6SHong Zhang if (jmin < jmax) { 6224c16a6a6SHong Zhang for (j=jmin; j<jmax; j++){ 6234c16a6a6SHong Zhang vj = bj[j]; /* block col. index of U */ 6244c16a6a6SHong Zhang u = ba + j*bs2; 6254c16a6a6SHong Zhang rtmp_ptr = rtmp + vj*bs2; 6264c16a6a6SHong Zhang for (k1=0; k1<bs2; k1++){ 6274c16a6a6SHong Zhang *u++ = *rtmp_ptr; 6284c16a6a6SHong Zhang *rtmp_ptr++ = 0.0; 6294c16a6a6SHong Zhang } 6304c16a6a6SHong Zhang } 6314c16a6a6SHong Zhang 6324c16a6a6SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 6334c16a6a6SHong Zhang il[k] = jmin; 6344c16a6a6SHong Zhang i = bj[jmin]; 6354c16a6a6SHong Zhang jl[k] = jl[i]; jl[i] = k; 6364c16a6a6SHong Zhang } 6374c16a6a6SHong Zhang } 6384c16a6a6SHong Zhang 6394c16a6a6SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 6404c16a6a6SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 6414c16a6a6SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 6424c16a6a6SHong Zhang ierr = PetscFree(pivots);CHKERRQ(ierr); 6434c16a6a6SHong Zhang if (a->permute){ 6444c16a6a6SHong Zhang ierr = PetscFree(aa);CHKERRQ(ierr); 6454c16a6a6SHong Zhang } 6464c16a6a6SHong Zhang 6474c16a6a6SHong Zhang ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr); 6484c16a6a6SHong Zhang C->factor = FACTOR_CHOLESKY; 6494c16a6a6SHong Zhang C->assembled = PETSC_TRUE; 6504c16a6a6SHong Zhang C->preallocated = PETSC_TRUE; 651efee365bSSatish Balay ierr = PetscLogFlops(1.3333*bs*bs2*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 6524c16a6a6SHong Zhang PetscFunctionReturn(0); 6534c16a6a6SHong Zhang } 654d4edadd4SHong Zhang 6554a2ae208SSatish Balay #undef __FUNCT__ 6564a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering" 657af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B) 658671cb588SHong Zhang { 659671cb588SHong Zhang Mat C = *B; 660671cb588SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 661dfbe8321SBarry Smith PetscErrorCode ierr; 66213f74950SBarry Smith PetscInt i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 66313f74950SBarry Smith PetscInt *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 66413f74950SBarry Smith PetscInt bs=A->bs,bs2 = a->bs2; 665671cb588SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 666671cb588SHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 66728de702eSHong Zhang MatScalar *work; 66813f74950SBarry Smith PetscInt *pivots; 669671cb588SHong Zhang 670671cb588SHong Zhang PetscFunctionBegin; 67182502324SSatish Balay ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 672671cb588SHong Zhang ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr); 67313f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 67428de702eSHong Zhang jl = il + mbs; 675671cb588SHong Zhang for (i=0; i<mbs; i++) { 676671cb588SHong Zhang jl[i] = mbs; il[0] = 0; 677671cb588SHong Zhang } 678b0a32e0cSBarry Smith ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr); 67928de702eSHong Zhang uik = dk + bs2; 68028de702eSHong Zhang work = uik + bs2; 68113f74950SBarry Smith ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr); 682671cb588SHong Zhang 683671cb588SHong Zhang ai = a->i; aj = a->j; aa = a->a; 684671cb588SHong Zhang 685671cb588SHong Zhang /* for each row k */ 686671cb588SHong Zhang for (k = 0; k<mbs; k++){ 687671cb588SHong Zhang 688671cb588SHong Zhang /*initialize k-th row with elements nonzero in row k of A */ 689671cb588SHong Zhang jmin = ai[k]; jmax = ai[k+1]; 690671cb588SHong Zhang ap = aa + jmin*bs2; 691671cb588SHong Zhang for (j = jmin; j < jmax; j++){ 692671cb588SHong Zhang vj = aj[j]; /* block col. index */ 693671cb588SHong Zhang rtmp_ptr = rtmp + vj*bs2; 694671cb588SHong Zhang for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++; 695671cb588SHong Zhang } 696671cb588SHong Zhang 697671cb588SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 698671cb588SHong Zhang ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr); 699671cb588SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 700671cb588SHong Zhang 701057f5ba7SHong Zhang while (i < k){ 702671cb588SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 703671cb588SHong Zhang 704671cb588SHong Zhang /* compute multiplier */ 705671cb588SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 706671cb588SHong Zhang 707671cb588SHong Zhang /* uik = -inv(Di)*U_bar(i,k) */ 708671cb588SHong Zhang diag = ba + i*bs2; 709671cb588SHong Zhang u = ba + ili*bs2; 710671cb588SHong Zhang ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 711671cb588SHong Zhang Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u); 712671cb588SHong Zhang 713671cb588SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k) */ 714671cb588SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u); 715671cb588SHong Zhang 716671cb588SHong Zhang /* update -U(i,k) */ 717671cb588SHong Zhang ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 718671cb588SHong Zhang 719671cb588SHong Zhang /* add multiple of row i to k-th row ... */ 720671cb588SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 721671cb588SHong Zhang if (jmin < jmax){ 722671cb588SHong Zhang for (j=jmin; j<jmax; j++) { 723671cb588SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j) */ 724671cb588SHong Zhang rtmp_ptr = rtmp + bj[j]*bs2; 725671cb588SHong Zhang u = ba + j*bs2; 726671cb588SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u); 727671cb588SHong Zhang } 728671cb588SHong Zhang 729671cb588SHong Zhang /* ... add i to row list for next nonzero entry */ 730671cb588SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 731671cb588SHong Zhang j = bj[jmin]; 732671cb588SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 733671cb588SHong Zhang } 734671cb588SHong Zhang i = nexti; 735671cb588SHong Zhang } 736671cb588SHong Zhang 737671cb588SHong Zhang /* save nonzero entries in k-th row of U ... */ 738671cb588SHong Zhang 739671cb588SHong Zhang /* invert diagonal block */ 740671cb588SHong Zhang diag = ba+k*bs2; 741671cb588SHong Zhang ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr); 742d230e6fdSBarry Smith ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr); 743671cb588SHong Zhang 744671cb588SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 745671cb588SHong Zhang if (jmin < jmax) { 746671cb588SHong Zhang for (j=jmin; j<jmax; j++){ 747671cb588SHong Zhang vj = bj[j]; /* block col. index of U */ 748671cb588SHong Zhang u = ba + j*bs2; 749671cb588SHong Zhang rtmp_ptr = rtmp + vj*bs2; 750671cb588SHong Zhang for (k1=0; k1<bs2; k1++){ 751671cb588SHong Zhang *u++ = *rtmp_ptr; 752671cb588SHong Zhang *rtmp_ptr++ = 0.0; 753671cb588SHong Zhang } 754671cb588SHong Zhang } 755671cb588SHong Zhang 756671cb588SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 757671cb588SHong Zhang il[k] = jmin; 758671cb588SHong Zhang i = bj[jmin]; 759671cb588SHong Zhang jl[k] = jl[i]; jl[i] = k; 760671cb588SHong Zhang } 761671cb588SHong Zhang } 762671cb588SHong Zhang 763671cb588SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 764671cb588SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 765671cb588SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 766671cb588SHong Zhang ierr = PetscFree(pivots);CHKERRQ(ierr); 767671cb588SHong Zhang 768671cb588SHong Zhang C->factor = FACTOR_CHOLESKY; 769671cb588SHong Zhang C->assembled = PETSC_TRUE; 770671cb588SHong Zhang C->preallocated = PETSC_TRUE; 771efee365bSSatish Balay ierr = PetscLogFlops(1.3333*bs*bs2*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 772671cb588SHong Zhang PetscFunctionReturn(0); 773671cb588SHong Zhang } 774671cb588SHong Zhang 77549b5e25fSSatish Balay /* 776fcf159c0SHong Zhang Numeric U^T*D*U factorization for SBAIJ format. Modified from SNF of YSMP. 777cc0c071aSHong Zhang Version for blocks 2 by 2. 77849b5e25fSSatish Balay */ 7794a2ae208SSatish Balay #undef __FUNCT__ 7804a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2" 781af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2(Mat A,MatFactorInfo *info,Mat *B) 78249b5e25fSSatish Balay { 78349b5e25fSSatish Balay Mat C = *B; 78491602c66SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 785cc0c071aSHong Zhang IS perm = b->row; 7866849ba73SBarry Smith PetscErrorCode ierr; 78713f74950SBarry Smith PetscInt *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 78813f74950SBarry Smith PetscInt *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 789a1723e09SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 790cc0c071aSHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 79149b5e25fSSatish Balay 79249b5e25fSSatish Balay PetscFunctionBegin; 79391602c66SHong Zhang /* initialization */ 79491602c66SHong Zhang /* il and jl record the first nonzero element in each row of the accessing 79591602c66SHong Zhang window U(0:k, k:mbs-1). 79691602c66SHong Zhang jl: list of rows to be added to uneliminated rows 79791602c66SHong Zhang i>= k: jl(i) is the first row to be added to row i 79891602c66SHong Zhang i< k: jl(i) is the row following row i in some list of rows 79991602c66SHong Zhang jl(i) = mbs indicates the end of a list 80091602c66SHong Zhang il(i): points to the first nonzero element in columns k,...,mbs-1 of 80191602c66SHong Zhang row i of U */ 80282502324SSatish Balay ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 803cc0c071aSHong Zhang ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr); 80413f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 80528de702eSHong Zhang jl = il + mbs; 80691602c66SHong Zhang for (i=0; i<mbs; i++) { 8073845f261SHong Zhang jl[i] = mbs; il[0] = 0; 80891602c66SHong Zhang } 80982502324SSatish Balay ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr); 81028de702eSHong Zhang uik = dk + 4; 811cc0c071aSHong Zhang ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr); 812cc0c071aSHong Zhang 813cc0c071aSHong Zhang /* check permutation */ 814cc0c071aSHong Zhang if (!a->permute){ 815cc0c071aSHong Zhang ai = a->i; aj = a->j; aa = a->a; 816cc0c071aSHong Zhang } else { 817cc0c071aSHong Zhang ai = a->inew; aj = a->jnew; 81882502324SSatish Balay ierr = PetscMalloc(4*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr); 819cc0c071aSHong Zhang ierr = PetscMemcpy(aa,a->a,4*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr); 82013f74950SBarry Smith ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr); 82113f74950SBarry Smith ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr); 822cc0c071aSHong Zhang 823cc0c071aSHong Zhang for (i=0; i<mbs; i++){ 824cc0c071aSHong Zhang jmin = ai[i]; jmax = ai[i+1]; 825cc0c071aSHong Zhang for (j=jmin; j<jmax; j++){ 826cc0c071aSHong Zhang while (a2anew[j] != j){ 827cc0c071aSHong Zhang k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k; 828cc0c071aSHong Zhang for (k1=0; k1<4; k1++){ 829cc0c071aSHong Zhang dk[k1] = aa[k*4+k1]; 830cc0c071aSHong Zhang aa[k*4+k1] = aa[j*4+k1]; 831cc0c071aSHong Zhang aa[j*4+k1] = dk[k1]; 832cc0c071aSHong Zhang } 833cc0c071aSHong Zhang } 834cc0c071aSHong Zhang /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */ 835cc0c071aSHong Zhang if (i > aj[j]){ 836a1723e09SHong Zhang /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */ 837cc0c071aSHong Zhang ap = aa + j*4; /* ptr to the beginning of the block */ 838cc0c071aSHong Zhang dk[1] = ap[1]; /* swap ap[1] and ap[2] */ 839cc0c071aSHong Zhang ap[1] = ap[2]; 840cc0c071aSHong Zhang ap[2] = dk[1]; 841cc0c071aSHong Zhang } 842cc0c071aSHong Zhang } 843cc0c071aSHong Zhang } 844ac355199SBarry Smith ierr = PetscFree(a2anew);CHKERRQ(ierr); 845cc0c071aSHong Zhang } 8463845f261SHong Zhang 84791602c66SHong Zhang /* for each row k */ 84891602c66SHong Zhang for (k = 0; k<mbs; k++){ 84991602c66SHong Zhang 85091602c66SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 851cc0c071aSHong Zhang jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1]; 852cc0c071aSHong Zhang ap = aa + jmin*4; 85391602c66SHong Zhang for (j = jmin; j < jmax; j++){ 854cc0c071aSHong Zhang vj = perm_ptr[aj[j]]; /* block col. index */ 855cc0c071aSHong Zhang rtmp_ptr = rtmp + vj*4; 856cc0c071aSHong Zhang for (i=0; i<4; i++) *rtmp_ptr++ = *ap++; 85791602c66SHong Zhang } 85891602c66SHong Zhang 85991602c66SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 860cc0c071aSHong Zhang ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr); 86191602c66SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 86291602c66SHong Zhang 863057f5ba7SHong Zhang while (i < k){ 86491602c66SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 86591602c66SHong Zhang 8663845f261SHong Zhang /* compute multiplier */ 86791602c66SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 8683845f261SHong Zhang 8693845f261SHong Zhang /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */ 870cc0c071aSHong Zhang diag = ba + i*4; 871cc0c071aSHong Zhang u = ba + ili*4; 872cc0c071aSHong Zhang uik[0] = -(diag[0]*u[0] + diag[2]*u[1]); 873cc0c071aSHong Zhang uik[1] = -(diag[1]*u[0] + diag[3]*u[1]); 874cc0c071aSHong Zhang uik[2] = -(diag[0]*u[2] + diag[2]*u[3]); 875cc0c071aSHong Zhang uik[3] = -(diag[1]*u[2] + diag[3]*u[3]); 8763845f261SHong Zhang 8773845f261SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */ 878cc0c071aSHong Zhang dk[0] += uik[0]*u[0] + uik[1]*u[1]; 879cc0c071aSHong Zhang dk[1] += uik[2]*u[0] + uik[3]*u[1]; 880cc0c071aSHong Zhang dk[2] += uik[0]*u[2] + uik[1]*u[3]; 881cc0c071aSHong Zhang dk[3] += uik[2]*u[2] + uik[3]*u[3]; 8823845f261SHong Zhang 8833845f261SHong Zhang /* update -U(i,k): ba[ili] = uik */ 884cc0c071aSHong Zhang ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr); 88591602c66SHong Zhang 88691602c66SHong Zhang /* add multiple of row i to k-th row ... */ 88791602c66SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 88891602c66SHong Zhang if (jmin < jmax){ 8893845f261SHong Zhang for (j=jmin; j<jmax; j++) { 8903845f261SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */ 891cc0c071aSHong Zhang rtmp_ptr = rtmp + bj[j]*4; 892cc0c071aSHong Zhang u = ba + j*4; 893cc0c071aSHong Zhang rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1]; 894cc0c071aSHong Zhang rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1]; 895cc0c071aSHong Zhang rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3]; 896cc0c071aSHong Zhang rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3]; 8973845f261SHong Zhang } 8983845f261SHong Zhang 89991602c66SHong Zhang /* ... add i to row list for next nonzero entry */ 90091602c66SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 90191602c66SHong Zhang j = bj[jmin]; 90291602c66SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 90391602c66SHong Zhang } 904a1723e09SHong Zhang i = nexti; 90591602c66SHong Zhang } 906cc0c071aSHong Zhang 90791602c66SHong Zhang /* save nonzero entries in k-th row of U ... */ 9083845f261SHong Zhang 909cc0c071aSHong Zhang /* invert diagonal block */ 910cc0c071aSHong Zhang diag = ba+k*4; 911cc0c071aSHong Zhang ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr); 9123845f261SHong Zhang ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr); 9133845f261SHong Zhang 91491602c66SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 91591602c66SHong Zhang if (jmin < jmax) { 91691602c66SHong Zhang for (j=jmin; j<jmax; j++){ 917cc0c071aSHong Zhang vj = bj[j]; /* block col. index of U */ 918cc0c071aSHong Zhang u = ba + j*4; 919cc0c071aSHong Zhang rtmp_ptr = rtmp + vj*4; 920cc0c071aSHong Zhang for (k1=0; k1<4; k1++){ 921cc0c071aSHong Zhang *u++ = *rtmp_ptr; 922cc0c071aSHong Zhang *rtmp_ptr++ = 0.0; 923cc0c071aSHong Zhang } 924cc0c071aSHong Zhang } 9253845f261SHong Zhang 92691602c66SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 92791602c66SHong Zhang il[k] = jmin; 92891602c66SHong Zhang i = bj[jmin]; 92991602c66SHong Zhang jl[k] = jl[i]; jl[i] = k; 93091602c66SHong Zhang } 93191602c66SHong Zhang } 9323845f261SHong Zhang 93349b5e25fSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 93491602c66SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 9353845f261SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 93691602c66SHong Zhang if (a->permute) { 93791602c66SHong Zhang ierr = PetscFree(aa);CHKERRQ(ierr); 93891602c66SHong Zhang } 939cc0c071aSHong Zhang ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr); 94091602c66SHong Zhang C->factor = FACTOR_CHOLESKY; 94149b5e25fSSatish Balay C->assembled = PETSC_TRUE; 9425c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 943efee365bSSatish Balay ierr = PetscLogFlops(1.3333*8*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 94449b5e25fSSatish Balay PetscFunctionReturn(0); 94549b5e25fSSatish Balay } 94691602c66SHong Zhang 94749b5e25fSSatish Balay /* 94849b5e25fSSatish Balay Version for when blocks are 2 by 2 Using natural ordering 94949b5e25fSSatish Balay */ 9504a2ae208SSatish Balay #undef __FUNCT__ 9514a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering" 952af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B) 95349b5e25fSSatish Balay { 95449b5e25fSSatish Balay Mat C = *B; 955ab27746eSHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 956dfbe8321SBarry Smith PetscErrorCode ierr; 95713f74950SBarry Smith PetscInt i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 95813f74950SBarry Smith PetscInt *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 959ab27746eSHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 960ab27746eSHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 96149b5e25fSSatish Balay 96249b5e25fSSatish Balay PetscFunctionBegin; 963ab27746eSHong Zhang /* initialization */ 964ab27746eSHong Zhang /* il and jl record the first nonzero element in each row of the accessing 965ab27746eSHong Zhang window U(0:k, k:mbs-1). 966ab27746eSHong Zhang jl: list of rows to be added to uneliminated rows 967ab27746eSHong Zhang i>= k: jl(i) is the first row to be added to row i 968ab27746eSHong Zhang i< k: jl(i) is the row following row i in some list of rows 969ab27746eSHong Zhang jl(i) = mbs indicates the end of a list 970ab27746eSHong Zhang il(i): points to the first nonzero element in columns k,...,mbs-1 of 971ab27746eSHong Zhang row i of U */ 97282502324SSatish Balay ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 973ab27746eSHong Zhang ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr); 97413f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 97528de702eSHong Zhang jl = il + mbs; 976ab27746eSHong Zhang for (i=0; i<mbs; i++) { 977ab27746eSHong Zhang jl[i] = mbs; il[0] = 0; 97849b5e25fSSatish Balay } 97982502324SSatish Balay ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr); 98028de702eSHong Zhang uik = dk + 4; 981ab27746eSHong Zhang 982ab27746eSHong Zhang ai = a->i; aj = a->j; aa = a->a; 983ab27746eSHong Zhang 984ab27746eSHong Zhang /* for each row k */ 985ab27746eSHong Zhang for (k = 0; k<mbs; k++){ 986ab27746eSHong Zhang 987ab27746eSHong Zhang /*initialize k-th row with elements nonzero in row k of A */ 988ab27746eSHong Zhang jmin = ai[k]; jmax = ai[k+1]; 989ab27746eSHong Zhang ap = aa + jmin*4; 990ab27746eSHong Zhang for (j = jmin; j < jmax; j++){ 991ab27746eSHong Zhang vj = aj[j]; /* block col. index */ 992ab27746eSHong Zhang rtmp_ptr = rtmp + vj*4; 993ab27746eSHong Zhang for (i=0; i<4; i++) *rtmp_ptr++ = *ap++; 99449b5e25fSSatish Balay } 995ab27746eSHong Zhang 996ab27746eSHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 997ab27746eSHong Zhang ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr); 998ab27746eSHong Zhang i = jl[k]; /* first row to be added to k_th row */ 999ab27746eSHong Zhang 1000057f5ba7SHong Zhang while (i < k){ 1001ab27746eSHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 1002ab27746eSHong Zhang 1003ab27746eSHong Zhang /* compute multiplier */ 1004ab27746eSHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1005ab27746eSHong Zhang 1006ab27746eSHong Zhang /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */ 1007ab27746eSHong Zhang diag = ba + i*4; 1008ab27746eSHong Zhang u = ba + ili*4; 1009ab27746eSHong Zhang uik[0] = -(diag[0]*u[0] + diag[2]*u[1]); 1010ab27746eSHong Zhang uik[1] = -(diag[1]*u[0] + diag[3]*u[1]); 1011ab27746eSHong Zhang uik[2] = -(diag[0]*u[2] + diag[2]*u[3]); 1012ab27746eSHong Zhang uik[3] = -(diag[1]*u[2] + diag[3]*u[3]); 1013ab27746eSHong Zhang 1014ab27746eSHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */ 1015ab27746eSHong Zhang dk[0] += uik[0]*u[0] + uik[1]*u[1]; 1016ab27746eSHong Zhang dk[1] += uik[2]*u[0] + uik[3]*u[1]; 1017ab27746eSHong Zhang dk[2] += uik[0]*u[2] + uik[1]*u[3]; 1018ab27746eSHong Zhang dk[3] += uik[2]*u[2] + uik[3]*u[3]; 1019ab27746eSHong Zhang 1020ab27746eSHong Zhang /* update -U(i,k): ba[ili] = uik */ 1021ab27746eSHong Zhang ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr); 1022ab27746eSHong Zhang 1023ab27746eSHong Zhang /* add multiple of row i to k-th row ... */ 1024ab27746eSHong Zhang jmin = ili + 1; jmax = bi[i+1]; 1025ab27746eSHong Zhang if (jmin < jmax){ 1026ab27746eSHong Zhang for (j=jmin; j<jmax; j++) { 1027ab27746eSHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */ 1028ab27746eSHong Zhang rtmp_ptr = rtmp + bj[j]*4; 1029ab27746eSHong Zhang u = ba + j*4; 1030ab27746eSHong Zhang rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1]; 1031ab27746eSHong Zhang rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1]; 1032ab27746eSHong Zhang rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3]; 1033ab27746eSHong Zhang rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3]; 103449b5e25fSSatish Balay } 1035ab27746eSHong Zhang 1036ab27746eSHong Zhang /* ... add i to row list for next nonzero entry */ 1037ab27746eSHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 1038ab27746eSHong Zhang j = bj[jmin]; 1039ab27746eSHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 104049b5e25fSSatish Balay } 1041ab27746eSHong Zhang i = nexti; 104249b5e25fSSatish Balay } 1043ab27746eSHong Zhang 1044ab27746eSHong Zhang /* save nonzero entries in k-th row of U ... */ 1045ab27746eSHong Zhang 104649b5e25fSSatish Balay /* invert diagonal block */ 1047ab27746eSHong Zhang diag = ba+k*4; 1048ab27746eSHong Zhang ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr); 1049ab27746eSHong Zhang ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr); 1050ab27746eSHong Zhang 1051ab27746eSHong Zhang jmin = bi[k]; jmax = bi[k+1]; 1052ab27746eSHong Zhang if (jmin < jmax) { 1053ab27746eSHong Zhang for (j=jmin; j<jmax; j++){ 1054ab27746eSHong Zhang vj = bj[j]; /* block col. index of U */ 1055ab27746eSHong Zhang u = ba + j*4; 1056ab27746eSHong Zhang rtmp_ptr = rtmp + vj*4; 1057ab27746eSHong Zhang for (k1=0; k1<4; k1++){ 1058ab27746eSHong Zhang *u++ = *rtmp_ptr; 1059ab27746eSHong Zhang *rtmp_ptr++ = 0.0; 1060ab27746eSHong Zhang } 1061ab27746eSHong Zhang } 1062ab27746eSHong Zhang 1063ab27746eSHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 1064ab27746eSHong Zhang il[k] = jmin; 1065ab27746eSHong Zhang i = bj[jmin]; 1066ab27746eSHong Zhang jl[k] = jl[i]; jl[i] = k; 1067ab27746eSHong Zhang } 106849b5e25fSSatish Balay } 106949b5e25fSSatish Balay 107049b5e25fSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 1071ab27746eSHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 1072ab27746eSHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 1073ab27746eSHong Zhang 1074ab27746eSHong Zhang C->factor = FACTOR_CHOLESKY; 107549b5e25fSSatish Balay C->assembled = PETSC_TRUE; 10765c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 1077efee365bSSatish Balay ierr = PetscLogFlops(1.3333*8*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 107849b5e25fSSatish Balay PetscFunctionReturn(0); 107949b5e25fSSatish Balay } 108049b5e25fSSatish Balay 108149b5e25fSSatish Balay /* 108298a8e78dSHong Zhang Numeric U^T*D*U factorization for SBAIJ format. 108391602c66SHong Zhang Version for blocks are 1 by 1. 108449b5e25fSSatish Balay */ 10854a2ae208SSatish Balay #undef __FUNCT__ 10864a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1" 1087af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1(Mat A,MatFactorInfo *info,Mat *B) 108849b5e25fSSatish Balay { 108949b5e25fSSatish Balay Mat C = *B; 109049b5e25fSSatish Balay Mat_SeqSBAIJ *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data; 109149b5e25fSSatish Balay IS ip=b->row; 10926849ba73SBarry Smith PetscErrorCode ierr; 1093997a0949SHong Zhang PetscInt *rip,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j,*bcol; 1094fff829cfSHong Zhang PetscInt *ai,*aj,*a2anew; 1095997a0949SHong Zhang PetscInt k,jmin,jmax,*jl,*il,col,nexti,ili,nz; 1096997a0949SHong Zhang MatScalar *rtmp,*ba=b->a,*bval,*aa,dk,uikdi; 10973cea4cbeSHong Zhang PetscReal zeropivot,rs,shiftnz; 10983cea4cbeSHong Zhang PetscTruth shiftpd; 10993cea4cbeSHong Zhang ChShift_Ctx sctx; 11003cea4cbeSHong Zhang PetscInt newshift; 110149b5e25fSSatish Balay 110249b5e25fSSatish Balay PetscFunctionBegin; 11033cea4cbeSHong Zhang /* initialization */ 11043cea4cbeSHong Zhang shiftnz = info->shiftnz; 11053cea4cbeSHong Zhang shiftpd = info->shiftpd; 11063cea4cbeSHong Zhang zeropivot = info->zeropivot; 11073cea4cbeSHong Zhang 110849b5e25fSSatish Balay ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 1109cb718733SHong Zhang if (!a->permute){ 11102d007305SHong Zhang ai = a->i; aj = a->j; aa = a->a; 11112d007305SHong Zhang } else { 11122d007305SHong Zhang ai = a->inew; aj = a->jnew; 1113fff829cfSHong Zhang nz = ai[mbs]; 1114fff829cfSHong Zhang ierr = PetscMalloc(nz*sizeof(MatScalar),&aa);CHKERRQ(ierr); 1115fff829cfSHong Zhang a2anew = a->a2anew; 1116997a0949SHong Zhang bval = a->a; 1117fff829cfSHong Zhang for (j=0; j<nz; j++){ 1118997a0949SHong Zhang aa[a2anew[j]] = *(bval++); 11192d007305SHong Zhang } 11202d007305SHong Zhang } 11212d007305SHong Zhang 112291602c66SHong Zhang /* initialization */ 112349b5e25fSSatish Balay /* il and jl record the first nonzero element in each row of the accessing 112449b5e25fSSatish Balay window U(0:k, k:mbs-1). 112549b5e25fSSatish Balay jl: list of rows to be added to uneliminated rows 112649b5e25fSSatish Balay i>= k: jl(i) is the first row to be added to row i 112749b5e25fSSatish Balay i< k: jl(i) is the row following row i in some list of rows 112849b5e25fSSatish Balay jl(i) = mbs indicates the end of a list 112949b5e25fSSatish Balay il(i): points to the first nonzero element in columns k,...,mbs-1 of 113049b5e25fSSatish Balay row i of U */ 1131997a0949SHong Zhang nz = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar); 1132997a0949SHong Zhang ierr = PetscMalloc(nz,&il);CHKERRQ(ierr); 113328de702eSHong Zhang jl = il + mbs; 1134997a0949SHong Zhang rtmp = (MatScalar*)(jl + mbs); 1135997a0949SHong Zhang 11363cea4cbeSHong Zhang sctx.shift_amount = 0; 11373cea4cbeSHong Zhang sctx.nshift = 0; 1138997a0949SHong Zhang do { 11393cea4cbeSHong Zhang sctx.chshift = PETSC_FALSE; 114049b5e25fSSatish Balay for (i=0; i<mbs; i++) { 114149b5e25fSSatish Balay rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 114249b5e25fSSatish Balay } 1143997a0949SHong Zhang 114449b5e25fSSatish Balay for (k = 0; k<mbs; k++){ 1145997a0949SHong Zhang /*initialize k-th row by the perm[k]-th row of A */ 114649b5e25fSSatish Balay jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 11477701de02SHong Zhang bval = ba + bi[k]; 114849b5e25fSSatish Balay for (j = jmin; j < jmax; j++){ 1149997a0949SHong Zhang col = rip[aj[j]]; 1150997a0949SHong Zhang rtmp[col] = aa[j]; 11517701de02SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 115249b5e25fSSatish Balay } 11533cea4cbeSHong Zhang 11543cea4cbeSHong Zhang /* shift the diagonal of the matrix */ 11553cea4cbeSHong Zhang if (sctx.nshift) rtmp[k] += sctx.shift_amount; 115649b5e25fSSatish Balay 115791602c66SHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 115849b5e25fSSatish Balay dk = rtmp[k]; 115949b5e25fSSatish Balay i = jl[k]; /* first row to be added to k_th row */ 116049b5e25fSSatish Balay 1161057f5ba7SHong Zhang while (i < k){ 116249b5e25fSSatish Balay nexti = jl[i]; /* next row to be added to k_th row */ 116349b5e25fSSatish Balay 1164fff829cfSHong Zhang /* compute multiplier, update diag(k) and U(i,k) */ 116549b5e25fSSatish Balay ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1166997a0949SHong Zhang uikdi = - ba[ili]*ba[bi[i]]; /* diagonal(k) */ 116749b5e25fSSatish Balay dk += uikdi*ba[ili]; 1168658e7b3eSHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 116949b5e25fSSatish Balay 1170997a0949SHong Zhang /* add multiple of row i to k-th row */ 117149b5e25fSSatish Balay jmin = ili + 1; jmax = bi[i+1]; 117249b5e25fSSatish Balay if (jmin < jmax){ 117349b5e25fSSatish Balay for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 1174fff829cfSHong Zhang /* update il and jl for row i */ 1175fff829cfSHong Zhang il[i] = jmin; 1176fff829cfSHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 117749b5e25fSSatish Balay } 1178ab27746eSHong Zhang i = nexti; 117949b5e25fSSatish Balay } 118049b5e25fSSatish Balay 11813cea4cbeSHong Zhang /* shift the diagonals when zero pivot is detected */ 11823cea4cbeSHong Zhang /* compute rs=sum of abs(off-diagonal) */ 11833cea4cbeSHong Zhang rs = 0.0; 1184997a0949SHong Zhang jmin = bi[k]+1; 1185997a0949SHong Zhang nz = bi[k+1] - jmin; 1186997a0949SHong Zhang if (nz){ 1187997a0949SHong Zhang bcol = bj + jmin; 1188997a0949SHong Zhang while (nz--){ 118989f845c8SHong Zhang rs += PetscAbsScalar(rtmp[*bcol]); 119089f845c8SHong Zhang bcol++; 1191997a0949SHong Zhang } 1192997a0949SHong Zhang } 11933cea4cbeSHong Zhang 11943cea4cbeSHong Zhang sctx.rs = rs; 11953cea4cbeSHong Zhang sctx.pv = dk; 11963e8c821fSHong Zhang ierr = MatCholeskyCheckShift_inline(info,sctx,newshift);CHKERRQ(ierr); 11973cea4cbeSHong Zhang if (newshift == 1){ 11983cea4cbeSHong Zhang break; /* sctx.shift_amount is updated */ 11993cea4cbeSHong Zhang } else if (newshift == -1){ 12003cea4cbeSHong Zhang SETERRQ4(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot row %D value %g tolerance %g * rs %g",k,PetscAbsScalar(dk),zeropivot,rs); 120149b5e25fSSatish Balay } 120249b5e25fSSatish Balay 1203997a0949SHong Zhang /* copy data into U(k,:) */ 120498a8e78dSHong Zhang ba[bi[k]] = 1.0/dk; /* U(k,k) */ 1205fff829cfSHong Zhang jmin = bi[k]+1; jmax = bi[k+1]; 120649b5e25fSSatish Balay if (jmin < jmax) { 120749b5e25fSSatish Balay for (j=jmin; j<jmax; j++){ 1208997a0949SHong Zhang col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0; 120949b5e25fSSatish Balay } 121098a8e78dSHong Zhang /* add the k-th row into il and jl */ 121149b5e25fSSatish Balay il[k] = jmin; 121298a8e78dSHong Zhang i = bj[jmin]; jl[k] = jl[i]; jl[i] = k; 121349b5e25fSSatish Balay } 121449b5e25fSSatish Balay } 12153cea4cbeSHong Zhang } while (sctx.chshift); 121649b5e25fSSatish Balay ierr = PetscFree(il);CHKERRQ(ierr); 121798a8e78dSHong Zhang if (a->permute){ierr = PetscFree(aa);CHKERRQ(ierr);} 121849b5e25fSSatish Balay 121949b5e25fSSatish Balay ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 12208be8c0c7SHong Zhang C->factor = FACTOR_CHOLESKY; 122149b5e25fSSatish Balay C->assembled = PETSC_TRUE; 12225c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 1223efee365bSSatish Balay ierr = PetscLogFlops(C->m);CHKERRQ(ierr); 12243cea4cbeSHong Zhang if (sctx.nshift){ 12253cea4cbeSHong Zhang if (shiftnz) { 122663ba0a88SBarry Smith ierr = PetscLogInfo((0,"MatCholeskyFactorNumeric_SeqSBAIJ_1: number of shiftnz tries %D, shift_amount %g\n",sctx.nshift,sctx.shift_amount));CHKERRQ(ierr); 12273cea4cbeSHong Zhang } else if (shiftpd) { 122863ba0a88SBarry Smith ierr = PetscLogInfo((0,"MatCholeskyFactorNumeric_SeqSBAIJ_1: number of shiftpd tries %D, shift_amount %g\n",sctx.nshift,sctx.shift_amount));CHKERRQ(ierr); 1229997a0949SHong Zhang } 1230997a0949SHong Zhang } 123149b5e25fSSatish Balay PetscFunctionReturn(0); 123249b5e25fSSatish Balay } 123349b5e25fSSatish Balay 1234671cb588SHong Zhang /* 1235671cb588SHong Zhang Version for when blocks are 1 by 1 Using natural ordering 1236671cb588SHong Zhang */ 12374a2ae208SSatish Balay #undef __FUNCT__ 12384a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering" 1239af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B) 1240671cb588SHong Zhang { 1241671cb588SHong Zhang Mat C = *B; 1242671cb588SHong Zhang Mat_SeqSBAIJ *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data; 1243dfbe8321SBarry Smith PetscErrorCode ierr; 124413f74950SBarry Smith PetscInt i,j,mbs = a->mbs; 124513f74950SBarry Smith PetscInt *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 12463cea4cbeSHong Zhang PetscInt k,jmin,*jl,*il,nexti,ili,*acol,*bcol,nz; 1247653a6975SHong Zhang MatScalar *rtmp,*ba=b->a,*aa=a->a,dk,uikdi,*aval,*bval; 12483cea4cbeSHong Zhang PetscReal zeropivot,rs,shiftnz; 12493cea4cbeSHong Zhang PetscTruth shiftpd; 12503cea4cbeSHong Zhang ChShift_Ctx sctx; 12513cea4cbeSHong Zhang PetscInt newshift; 1252653a6975SHong Zhang 1253653a6975SHong Zhang PetscFunctionBegin; 1254653a6975SHong Zhang /* initialization */ 12553cea4cbeSHong Zhang shiftnz = info->shiftnz; 12563cea4cbeSHong Zhang shiftpd = info->shiftpd; 12573cea4cbeSHong Zhang zeropivot = info->zeropivot; 12583cea4cbeSHong Zhang 1259653a6975SHong Zhang /* il and jl record the first nonzero element in each row of the accessing 1260653a6975SHong Zhang window U(0:k, k:mbs-1). 1261653a6975SHong Zhang jl: list of rows to be added to uneliminated rows 1262653a6975SHong Zhang i>= k: jl(i) is the first row to be added to row i 1263653a6975SHong Zhang i< k: jl(i) is the row following row i in some list of rows 1264653a6975SHong Zhang jl(i) = mbs indicates the end of a list 1265653a6975SHong Zhang il(i): points to the first nonzero element in U(i,k:mbs-1) 1266653a6975SHong Zhang */ 1267653a6975SHong Zhang ierr = PetscMalloc(mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 126813f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 1269653a6975SHong Zhang jl = il + mbs; 1270b00f7748SHong Zhang 12713cea4cbeSHong Zhang sctx.shift_amount = 0; 12723cea4cbeSHong Zhang sctx.nshift = 0; 1273b00f7748SHong Zhang do { 12743cea4cbeSHong Zhang sctx.chshift = PETSC_FALSE; 1275653a6975SHong Zhang for (i=0; i<mbs; i++) { 1276653a6975SHong Zhang rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 1277653a6975SHong Zhang } 1278653a6975SHong Zhang 1279997a0949SHong Zhang for (k = 0; k<mbs; k++){ 1280653a6975SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 1281653a6975SHong Zhang nz = ai[k+1] - ai[k]; 1282653a6975SHong Zhang acol = aj + ai[k]; 1283653a6975SHong Zhang aval = aa + ai[k]; 1284653a6975SHong Zhang bval = ba + bi[k]; 1285653a6975SHong Zhang while (nz -- ){ 1286653a6975SHong Zhang rtmp[*acol++] = *aval++; 1287653a6975SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 1288653a6975SHong Zhang } 12893cea4cbeSHong Zhang 12903cea4cbeSHong Zhang /* shift the diagonal of the matrix */ 12913cea4cbeSHong Zhang if (sctx.nshift) rtmp[k] += sctx.shift_amount; 1292653a6975SHong Zhang 1293653a6975SHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 1294653a6975SHong Zhang dk = rtmp[k]; 1295653a6975SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 1296653a6975SHong Zhang 1297653a6975SHong Zhang while (i < k){ 1298653a6975SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 1299653a6975SHong Zhang /* compute multiplier, update D(k) and U(i,k) */ 1300653a6975SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1301653a6975SHong Zhang uikdi = - ba[ili]*ba[bi[i]]; 1302653a6975SHong Zhang dk += uikdi*ba[ili]; 1303653a6975SHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 1304653a6975SHong Zhang 1305653a6975SHong Zhang /* add multiple of row i to k-th row ... */ 1306653a6975SHong Zhang jmin = ili + 1; 1307653a6975SHong Zhang nz = bi[i+1] - jmin; 1308653a6975SHong Zhang if (nz > 0){ 1309653a6975SHong Zhang bcol = bj + jmin; 1310653a6975SHong Zhang bval = ba + jmin; 1311653a6975SHong Zhang while (nz --) rtmp[*bcol++] += uikdi*(*bval++); 1312997a0949SHong Zhang /* update il and jl for i-th row */ 1313997a0949SHong Zhang il[i] = jmin; 1314997a0949SHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 1315653a6975SHong Zhang } 1316653a6975SHong Zhang i = nexti; 1317653a6975SHong Zhang } 1318653a6975SHong Zhang 13193cea4cbeSHong Zhang /* shift the diagonals when zero pivot is detected */ 13203cea4cbeSHong Zhang /* compute rs=sum of abs(off-diagonal) */ 13213cea4cbeSHong Zhang rs = 0.0; 132221c26570Svictorle jmin = bi[k]+1; 132321c26570Svictorle nz = bi[k+1] - jmin; 132421c26570Svictorle if (nz){ 132521c26570Svictorle bcol = bj + jmin; 132621c26570Svictorle while (nz--){ 132789f845c8SHong Zhang rs += PetscAbsScalar(rtmp[*bcol]); 132889f845c8SHong Zhang bcol++; 132921c26570Svictorle } 133021c26570Svictorle } 13313cea4cbeSHong Zhang 13323cea4cbeSHong Zhang sctx.rs = rs; 13333cea4cbeSHong Zhang sctx.pv = dk; 13343e8c821fSHong Zhang ierr = MatCholeskyCheckShift_inline(info,sctx,newshift);CHKERRQ(ierr); 13353cea4cbeSHong Zhang if (newshift == 1){ 13363cea4cbeSHong Zhang break; /* sctx.shift_amount is updated */ 13373cea4cbeSHong Zhang } else if (newshift == -1){ 13383cea4cbeSHong Zhang SETERRQ4(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot row %D value %g tolerance %g * rs %g",k,PetscAbsScalar(dk),zeropivot,rs); 1339064503c5SHong Zhang } 1340653a6975SHong Zhang 1341997a0949SHong Zhang /* copy data into U(k,:) */ 1342653a6975SHong Zhang ba[bi[k]] = 1.0/dk; 1343653a6975SHong Zhang jmin = bi[k]+1; 1344653a6975SHong Zhang nz = bi[k+1] - jmin; 1345653a6975SHong Zhang if (nz){ 1346653a6975SHong Zhang bcol = bj + jmin; 1347653a6975SHong Zhang bval = ba + jmin; 1348653a6975SHong Zhang while (nz--){ 1349653a6975SHong Zhang *bval++ = rtmp[*bcol]; 1350653a6975SHong Zhang rtmp[*bcol++] = 0.0; 1351653a6975SHong Zhang } 1352997a0949SHong Zhang /* add k-th row into il and jl */ 1353653a6975SHong Zhang il[k] = jmin; 1354997a0949SHong Zhang i = bj[jmin]; jl[k] = jl[i]; jl[i] = k; 1355653a6975SHong Zhang } 1356b00f7748SHong Zhang } /* end of for (k = 0; k<mbs; k++) */ 13573cea4cbeSHong Zhang } while (sctx.chshift); 1358653a6975SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 1359653a6975SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 1360653a6975SHong Zhang 1361653a6975SHong Zhang C->factor = FACTOR_CHOLESKY; 1362653a6975SHong Zhang C->assembled = PETSC_TRUE; 1363653a6975SHong Zhang C->preallocated = PETSC_TRUE; 1364efee365bSSatish Balay ierr = PetscLogFlops(C->m);CHKERRQ(ierr); 13653cea4cbeSHong Zhang if (sctx.nshift){ 13663cea4cbeSHong Zhang if (shiftnz) { 136763ba0a88SBarry Smith ierr = PetscLogInfo((0,"MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering: number of shiftnz tries %D, shift_amount %g\n",sctx.nshift,sctx.shift_amount));CHKERRQ(ierr); 13683cea4cbeSHong Zhang } else if (shiftpd) { 136963ba0a88SBarry Smith ierr = PetscLogInfo((0,"MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering: number of shiftpd tries %D, shift_amount %g\n",sctx.nshift,sctx.shift_amount));CHKERRQ(ierr); 1370b00f7748SHong Zhang } 1371fb10cecfSBarry Smith } 1372653a6975SHong Zhang PetscFunctionReturn(0); 1373653a6975SHong Zhang } 1374653a6975SHong Zhang 1375653a6975SHong Zhang #undef __FUNCT__ 13764a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactor_SeqSBAIJ" 1377dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactor_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info) 137849b5e25fSSatish Balay { 1379dfbe8321SBarry Smith PetscErrorCode ierr; 138049b5e25fSSatish Balay Mat C; 138149b5e25fSSatish Balay 138249b5e25fSSatish Balay PetscFunctionBegin; 138315e8a5b3SHong Zhang ierr = MatCholeskyFactorSymbolic(A,perm,info,&C);CHKERRQ(ierr); 1384af281ebdSHong Zhang ierr = MatCholeskyFactorNumeric(A,info,&C);CHKERRQ(ierr); 13854445ddedSHong Zhang ierr = MatHeaderCopy(A,C);CHKERRQ(ierr); 138649b5e25fSSatish Balay PetscFunctionReturn(0); 138749b5e25fSSatish Balay } 138849b5e25fSSatish Balay 138949b5e25fSSatish Balay 1390