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; 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 1646cf91177SBarry Smith #if defined(PETSC_USE_INFO) 16510c27e3dSHong Zhang if (ai[mbs] != 0) { 16610c27e3dSHong Zhang PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 167*ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 168*ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 169*ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr); 170*ae15b995SBarry Smith ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 17110c27e3dSHong Zhang } else { 172*ae15b995SBarry 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; 18810c27e3dSHong Zhang ierr = PetscMalloc((iu[mbs]+1)*sizeof(MatScalar)*bs2,&b->a);CHKERRQ(ierr); 18910c27e3dSHong Zhang b->j = ju; 19010c27e3dSHong Zhang b->i = iu; 19110c27e3dSHong Zhang b->diag = 0; 19210c27e3dSHong Zhang b->ilen = 0; 19310c27e3dSHong Zhang b->imax = 0; 19410c27e3dSHong Zhang b->row = perm; 19510c27e3dSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 19610c27e3dSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 19710c27e3dSHong Zhang b->icol = perm; 19810c27e3dSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 19910c27e3dSHong Zhang ierr = PetscMalloc((bs*mbs+bs)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 20010c27e3dSHong Zhang /* In b structure: Free imax, ilen, old a, old j. 20110c27e3dSHong Zhang Allocate idnew, solve_work, new a, new j */ 20252e6d16bSBarry Smith ierr = PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 20310c27e3dSHong Zhang b->maxnz = b->nz = iu[mbs]; 20410c27e3dSHong Zhang 20510c27e3dSHong Zhang (*B)->factor = FACTOR_CHOLESKY; 20610c27e3dSHong Zhang (*B)->info.factor_mallocs = reallocs; 20710c27e3dSHong Zhang (*B)->info.fill_ratio_given = f; 20810c27e3dSHong Zhang if (ai[mbs] != 0) { 20910c27e3dSHong Zhang (*B)->info.fill_ratio_needed = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 21010c27e3dSHong Zhang } else { 21110c27e3dSHong Zhang (*B)->info.fill_ratio_needed = 0.0; 21210c27e3dSHong Zhang } 21310c27e3dSHong Zhang 21410c27e3dSHong Zhang if (perm_identity){ 21510c27e3dSHong Zhang switch (bs) { 21610c27e3dSHong Zhang case 1: 21710c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering; 21810c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 219*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=1\n");CHKERRQ(ierr); 22010c27e3dSHong Zhang break; 22110c27e3dSHong Zhang case 2: 22210c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering; 22310c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_2_NaturalOrdering; 224*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=2\n");CHKERRQ(ierr); 22510c27e3dSHong Zhang break; 22610c27e3dSHong Zhang case 3: 22710c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering; 22810c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_3_NaturalOrdering; 229*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=3\n");CHKERRQ(ierr); 23010c27e3dSHong Zhang break; 23110c27e3dSHong Zhang case 4: 23210c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering; 23310c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_4_NaturalOrdering; 234*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=4\n");CHKERRQ(ierr); 23510c27e3dSHong Zhang break; 23610c27e3dSHong Zhang case 5: 23710c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering; 23810c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_5_NaturalOrdering; 239*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=5\n");CHKERRQ(ierr); 24010c27e3dSHong Zhang break; 24110c27e3dSHong Zhang case 6: 24210c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering; 24310c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_6_NaturalOrdering; 244*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=6\n");CHKERRQ(ierr); 24510c27e3dSHong Zhang break; 24610c27e3dSHong Zhang case 7: 24710c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering; 24810c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_7_NaturalOrdering; 249*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=7\n");CHKERRQ(ierr); 25010c27e3dSHong Zhang break; 25110c27e3dSHong Zhang default: 25210c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering; 25310c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_N_NaturalOrdering; 254*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS>7\n");CHKERRQ(ierr); 25510c27e3dSHong Zhang break; 25610c27e3dSHong Zhang } 25710c27e3dSHong Zhang } 25810c27e3dSHong Zhang PetscFunctionReturn(0); 25910c27e3dSHong Zhang } 26010c27e3dSHong Zhang /* 26110c27e3dSHong Zhang Symbolic U^T*D*U factorization for SBAIJ format. 26210c27e3dSHong Zhang */ 26398a8e78dSHong Zhang #include "petscbt.h" 26498a8e78dSHong Zhang #include "src/mat/utils/freespace.h" 2654a2ae208SSatish Balay #undef __FUNCT__ 2664a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqSBAIJ" 26798a8e78dSHong Zhang PetscErrorCode MatCholeskyFactorSymbolic_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info,Mat *fact) 26849b5e25fSSatish Balay { 26998a8e78dSHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data; 27098a8e78dSHong Zhang Mat_SeqSBAIJ *b; 27198a8e78dSHong Zhang Mat B; 2726849ba73SBarry Smith PetscErrorCode ierr; 273671cb588SHong Zhang PetscTruth perm_identity; 27498a8e78dSHong Zhang PetscReal fill = info->fill; 2757625dc9aSHong Zhang PetscInt *rip,i,mbs=a->mbs,bs=A->bs,*ai,*aj,reallocs=0,prow; 27698a8e78dSHong Zhang PetscInt *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow; 2777625dc9aSHong Zhang PetscInt nlnk,*lnk,ncols,*cols,*uj,**ui_ptr,*uj_ptr; 278a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 27998a8e78dSHong Zhang PetscBT lnkbt; 28049b5e25fSSatish Balay 28149b5e25fSSatish Balay PetscFunctionBegin; 28210c27e3dSHong Zhang /* 28310c27e3dSHong Zhang This code originally uses Modified Sparse Row (MSR) storage 28410c27e3dSHong Zhang (see page 85, "Iterative Methods ..." by Saad) for the output matrix B - bad choise! 28510c27e3dSHong Zhang Then it is rewritten so the factor B takes seqsbaij format. However the associated 28610c27e3dSHong Zhang MatCholeskyFactorNumeric_() have not been modified for the cases of bs>1 or !perm_identity, 28710c27e3dSHong Zhang thus the original code in MSR format is still used for these cases. 28810c27e3dSHong Zhang The code below should replace MatCholeskyFactorSymbolic_SeqSBAIJ_MSR() whenever 28910c27e3dSHong Zhang MatCholeskyFactorNumeric_() is modified for using sbaij symbolic factor. 29010c27e3dSHong Zhang */ 291fff829cfSHong Zhang if (bs > 1){ 29298a8e78dSHong Zhang ierr = MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(A,perm,info,fact);CHKERRQ(ierr); 293fff829cfSHong Zhang PetscFunctionReturn(0); 294fff829cfSHong Zhang } 29510c27e3dSHong Zhang 29698a8e78dSHong Zhang /* check whether perm is the identity mapping */ 29798a8e78dSHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 29898a8e78dSHong Zhang 299fff829cfSHong Zhang if (perm_identity){ 300fff829cfSHong Zhang a->permute = PETSC_FALSE; 301fff829cfSHong Zhang ai = a->i; aj = a->j; 302fff829cfSHong Zhang } else { 303fff829cfSHong Zhang a->permute = PETSC_TRUE; 304fff829cfSHong Zhang ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr); 305fff829cfSHong Zhang ai = a->inew; aj = a->jnew; 306fff829cfSHong Zhang } 307fff829cfSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 308fff829cfSHong Zhang 309fff829cfSHong Zhang /* initialization */ 3107625dc9aSHong Zhang ierr = PetscMalloc((mbs+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 31198a8e78dSHong Zhang ui[0] = 0; 31298a8e78dSHong Zhang 31398a8e78dSHong Zhang /* jl: linked list for storing indices of the pivot rows 3147625dc9aSHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:mbs-1) */ 3157625dc9aSHong Zhang ierr = PetscMalloc((3*mbs+1)*sizeof(PetscInt)+mbs*sizeof(PetscInt*),&jl);CHKERRQ(ierr); 3167625dc9aSHong Zhang il = jl + mbs; 3177625dc9aSHong Zhang cols = il + mbs; 3187625dc9aSHong Zhang ui_ptr = (PetscInt**)(cols + mbs); 3197625dc9aSHong Zhang 3207625dc9aSHong Zhang for (i=0; i<mbs; i++){ 3217625dc9aSHong Zhang jl[i] = mbs; il[i] = 0; 322fff829cfSHong Zhang } 323fff829cfSHong Zhang 32498a8e78dSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 3257625dc9aSHong Zhang nlnk = mbs + 1; 3267625dc9aSHong Zhang ierr = PetscLLCreate(mbs,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr); 327fff829cfSHong Zhang 3287625dc9aSHong Zhang /* initial FreeSpace size is fill*(ai[mbs]+1) */ 329a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[mbs]+1)),&free_space);CHKERRQ(ierr); 33098a8e78dSHong Zhang current_space = free_space; 33198a8e78dSHong Zhang 3327625dc9aSHong Zhang for (k=0; k<mbs; k++){ /* for each active row k */ 33398a8e78dSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 33498a8e78dSHong Zhang nzk = 0; 33598a8e78dSHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 3367625dc9aSHong Zhang for (j=0; j<ncols; j++){ 3377625dc9aSHong Zhang i = *(aj + ai[rip[k]] + j); 3387625dc9aSHong Zhang cols[j] = rip[i]; 3397625dc9aSHong Zhang } 3407625dc9aSHong Zhang ierr = PetscLLAdd(ncols,cols,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr); 34198a8e78dSHong Zhang nzk += nlnk; 34298a8e78dSHong Zhang 34398a8e78dSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 34498a8e78dSHong Zhang prow = jl[k]; /* 1st pivot row */ 345fff829cfSHong Zhang 346fff829cfSHong Zhang while (prow < k){ 347fff829cfSHong Zhang nextprow = jl[prow]; 34898a8e78dSHong Zhang /* merge prow into k-th row */ 3497625dc9aSHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:mbs-1) */ 35098a8e78dSHong Zhang jmax = ui[prow+1]; 35198a8e78dSHong Zhang ncols = jmax-jmin; 3527625dc9aSHong Zhang uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:mbs-1) */ 3535a8e39fbSHong Zhang ierr = PetscLLAddSorted(ncols,uj_ptr,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr); 35498a8e78dSHong Zhang nzk += nlnk; 355fff829cfSHong Zhang 35698a8e78dSHong Zhang /* update il and jl for prow */ 357fff829cfSHong Zhang if (jmin < jmax){ 358fff829cfSHong Zhang il[prow] = jmin; 3597625dc9aSHong Zhang j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow; 360fff829cfSHong Zhang } 361fff829cfSHong Zhang prow = nextprow; 362fff829cfSHong Zhang } 363fff829cfSHong Zhang 36498a8e78dSHong Zhang /* if free space is not available, make more free space */ 36598a8e78dSHong Zhang if (current_space->local_remaining<nzk) { 3667625dc9aSHong Zhang i = mbs - k + 1; /* num of unfactored rows */ 36798a8e78dSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 368a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 36998a8e78dSHong Zhang reallocs++; 37098a8e78dSHong Zhang } 37198a8e78dSHong Zhang 37298a8e78dSHong Zhang /* copy data into free space, then initialize lnk */ 3737625dc9aSHong Zhang ierr = PetscLLClean(mbs,mbs,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 37498a8e78dSHong Zhang 37598a8e78dSHong Zhang /* add the k-th row into il and jl */ 37698a8e78dSHong Zhang if (nzk-1 > 0){ 3777625dc9aSHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:mbs-1) */ 378fff829cfSHong Zhang jl[k] = jl[i]; jl[i] = k; 37998a8e78dSHong Zhang il[k] = ui[k] + 1; 380fff829cfSHong Zhang } 3817625dc9aSHong Zhang ui_ptr[k] = current_space->array; 38298a8e78dSHong Zhang current_space->array += nzk; 38398a8e78dSHong Zhang current_space->local_used += nzk; 38498a8e78dSHong Zhang current_space->local_remaining -= nzk; 385fff829cfSHong Zhang 38698a8e78dSHong Zhang ui[k+1] = ui[k] + nzk; 387fff829cfSHong Zhang } 388fff829cfSHong Zhang 3896cf91177SBarry Smith #if defined(PETSC_USE_INFO) 3907625dc9aSHong Zhang if (ai[mbs] != 0) { 3917625dc9aSHong Zhang PetscReal af = ((PetscReal)ui[mbs])/((PetscReal)ai[mbs]); 392*ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 393*ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 394*ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 395fff829cfSHong Zhang } else { 396*ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 397fff829cfSHong Zhang } 39863ba0a88SBarry Smith #endif 399fff829cfSHong Zhang 400fff829cfSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 401fff829cfSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 402fff829cfSHong Zhang 40398a8e78dSHong Zhang /* destroy list of free space and other temporary array(s) */ 4047625dc9aSHong Zhang ierr = PetscMalloc((ui[mbs]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 405a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 40698a8e78dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 407fff829cfSHong Zhang 40898a8e78dSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 409f69a0ea3SMatthew Knepley ierr = MatCreate(PETSC_COMM_SELF,fact);CHKERRQ(ierr); 410f69a0ea3SMatthew Knepley ierr = MatSetSizes(*fact,mbs,mbs,mbs,mbs);CHKERRQ(ierr); 41198a8e78dSHong Zhang B = *fact; 41298a8e78dSHong Zhang ierr = MatSetType(B,MATSEQSBAIJ);CHKERRQ(ierr); 413ab93d7beSBarry Smith ierr = MatSeqSBAIJSetPreallocation_SeqSBAIJ(B,bs,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 41498a8e78dSHong Zhang 41598a8e78dSHong Zhang b = (Mat_SeqSBAIJ*)B->data; 416fff829cfSHong Zhang b->singlemalloc = PETSC_FALSE; 4177625dc9aSHong Zhang ierr = PetscMalloc((ui[mbs]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 41898a8e78dSHong Zhang b->j = uj; 41998a8e78dSHong Zhang b->i = ui; 420fff829cfSHong Zhang b->diag = 0; 421fff829cfSHong Zhang b->ilen = 0; 422fff829cfSHong Zhang b->imax = 0; 423fff829cfSHong Zhang b->row = perm; 424fff829cfSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 425fff829cfSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 426fff829cfSHong Zhang b->icol = perm; 427fff829cfSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 4287625dc9aSHong Zhang ierr = PetscMalloc((mbs+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 42952e6d16bSBarry Smith ierr = PetscLogObjectMemory(B,(ui[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 4307625dc9aSHong Zhang b->maxnz = b->nz = ui[mbs]; 431fff829cfSHong Zhang 43298a8e78dSHong Zhang B->factor = FACTOR_CHOLESKY; 43398a8e78dSHong Zhang B->info.factor_mallocs = reallocs; 43498a8e78dSHong Zhang B->info.fill_ratio_given = fill; 4357625dc9aSHong Zhang if (ai[mbs] != 0) { 4367625dc9aSHong Zhang B->info.fill_ratio_needed = ((PetscReal)ui[mbs])/((PetscReal)ai[mbs]); 437fff829cfSHong Zhang } else { 43898a8e78dSHong Zhang B->info.fill_ratio_needed = 0.0; 439fff829cfSHong Zhang } 440fff829cfSHong Zhang 441fff829cfSHong Zhang if (perm_identity){ 44298a8e78dSHong Zhang switch (bs) { 44398a8e78dSHong Zhang case 1: 44498a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering; 44598a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 446*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=1\n");CHKERRQ(ierr); 44798a8e78dSHong Zhang break; 44898a8e78dSHong Zhang case 2: 44998a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering; 45098a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_2_NaturalOrdering; 451*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=2\n");CHKERRQ(ierr); 45298a8e78dSHong Zhang break; 45398a8e78dSHong Zhang case 3: 45498a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering; 45598a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_3_NaturalOrdering; 456*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=3\n");CHKERRQ(ierr); 45798a8e78dSHong Zhang break; 45898a8e78dSHong Zhang case 4: 45998a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering; 46098a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_4_NaturalOrdering; 461*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=4\n");CHKERRQ(ierr); 46298a8e78dSHong Zhang break; 46398a8e78dSHong Zhang case 5: 46498a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering; 46598a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_5_NaturalOrdering; 466*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=5\n");CHKERRQ(ierr); 46798a8e78dSHong Zhang break; 46898a8e78dSHong Zhang case 6: 46998a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering; 47098a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_6_NaturalOrdering; 471*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=6\n");CHKERRQ(ierr); 47298a8e78dSHong Zhang break; 47398a8e78dSHong Zhang case 7: 47498a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering; 47598a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_7_NaturalOrdering; 476*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=7\n");CHKERRQ(ierr); 47798a8e78dSHong Zhang break; 47898a8e78dSHong Zhang default: 47998a8e78dSHong Zhang B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering; 48098a8e78dSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_N_NaturalOrdering; 481*ae15b995SBarry Smith ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS>7\n");CHKERRQ(ierr); 48298a8e78dSHong Zhang break; 48398a8e78dSHong Zhang } 48498a8e78dSHong Zhang } 485064503c5SHong Zhang PetscFunctionReturn(0); 486064503c5SHong Zhang } 4874a2ae208SSatish Balay #undef __FUNCT__ 4884a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N" 489af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N(Mat A,MatFactorInfo *info,Mat *B) 49049b5e25fSSatish Balay { 49149b5e25fSSatish Balay Mat C = *B; 4924c16a6a6SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 4934c16a6a6SHong Zhang IS perm = b->row; 4946849ba73SBarry Smith PetscErrorCode ierr; 49513f74950SBarry Smith PetscInt *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 49613f74950SBarry Smith PetscInt *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 49713f74950SBarry Smith PetscInt bs=A->bs,bs2 = a->bs2; 4984c16a6a6SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 4994c16a6a6SHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 50028de702eSHong Zhang MatScalar *work; 50113f74950SBarry Smith PetscInt *pivots; 5024c16a6a6SHong Zhang 5034c16a6a6SHong Zhang PetscFunctionBegin; 5044c16a6a6SHong Zhang /* initialization */ 50582502324SSatish Balay ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 5064c16a6a6SHong Zhang ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr); 50713f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 50828de702eSHong Zhang jl = il + mbs; 5094c16a6a6SHong Zhang for (i=0; i<mbs; i++) { 5104c16a6a6SHong Zhang jl[i] = mbs; il[0] = 0; 5114c16a6a6SHong Zhang } 512b0a32e0cSBarry Smith ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr); 51328de702eSHong Zhang uik = dk + bs2; 51428de702eSHong Zhang work = uik + bs2; 51513f74950SBarry Smith ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr); 5164c16a6a6SHong Zhang 5174c16a6a6SHong Zhang ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr); 5184c16a6a6SHong Zhang 5194c16a6a6SHong Zhang /* check permutation */ 5204c16a6a6SHong Zhang if (!a->permute){ 5214c16a6a6SHong Zhang ai = a->i; aj = a->j; aa = a->a; 5224c16a6a6SHong Zhang } else { 5234c16a6a6SHong Zhang ai = a->inew; aj = a->jnew; 52482502324SSatish Balay ierr = PetscMalloc(bs2*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr); 5254c16a6a6SHong Zhang ierr = PetscMemcpy(aa,a->a,bs2*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr); 52613f74950SBarry Smith ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr); 52713f74950SBarry Smith ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr); 5284c16a6a6SHong Zhang 5294c16a6a6SHong Zhang for (i=0; i<mbs; i++){ 5304c16a6a6SHong Zhang jmin = ai[i]; jmax = ai[i+1]; 5314c16a6a6SHong Zhang for (j=jmin; j<jmax; j++){ 5324c16a6a6SHong Zhang while (a2anew[j] != j){ 5334c16a6a6SHong Zhang k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k; 5344c16a6a6SHong Zhang for (k1=0; k1<bs2; k1++){ 5354c16a6a6SHong Zhang dk[k1] = aa[k*bs2+k1]; 5364c16a6a6SHong Zhang aa[k*bs2+k1] = aa[j*bs2+k1]; 5374c16a6a6SHong Zhang aa[j*bs2+k1] = dk[k1]; 5384c16a6a6SHong Zhang } 5394c16a6a6SHong Zhang } 5404c16a6a6SHong Zhang /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */ 5414c16a6a6SHong Zhang if (i > aj[j]){ 5424c16a6a6SHong Zhang /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */ 5434c16a6a6SHong Zhang ap = aa + j*bs2; /* ptr to the beginning of j-th block of aa */ 5444c16a6a6SHong Zhang for (k=0; k<bs2; k++) dk[k] = ap[k]; /* dk <- j-th block of aa */ 5454c16a6a6SHong Zhang for (k=0; k<bs; k++){ /* j-th block of aa <- dk^T */ 5464c16a6a6SHong Zhang for (k1=0; k1<bs; k1++) *ap++ = dk[k + bs*k1]; 5474c16a6a6SHong Zhang } 5484c16a6a6SHong Zhang } 5494c16a6a6SHong Zhang } 5504c16a6a6SHong Zhang } 551323b833fSBarry Smith ierr = PetscFree(a2anew);CHKERRQ(ierr); 5524c16a6a6SHong Zhang } 5534c16a6a6SHong Zhang 5544c16a6a6SHong Zhang /* for each row k */ 5554c16a6a6SHong Zhang for (k = 0; k<mbs; k++){ 5564c16a6a6SHong Zhang 5574c16a6a6SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 5584c16a6a6SHong Zhang jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1]; 559057f5ba7SHong Zhang 5604c16a6a6SHong Zhang ap = aa + jmin*bs2; 5614c16a6a6SHong Zhang for (j = jmin; j < jmax; j++){ 5624c16a6a6SHong Zhang vj = perm_ptr[aj[j]]; /* block col. index */ 5634c16a6a6SHong Zhang rtmp_ptr = rtmp + vj*bs2; 5644c16a6a6SHong Zhang for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++; 5654c16a6a6SHong Zhang } 5664c16a6a6SHong Zhang 5674c16a6a6SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 5684c16a6a6SHong Zhang ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5694c16a6a6SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 5704c16a6a6SHong Zhang 571057f5ba7SHong Zhang while (i < k){ 5724c16a6a6SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 5734c16a6a6SHong Zhang 5744c16a6a6SHong Zhang /* compute multiplier */ 5754c16a6a6SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 5764c16a6a6SHong Zhang 5774c16a6a6SHong Zhang /* uik = -inv(Di)*U_bar(i,k) */ 5784c16a6a6SHong Zhang diag = ba + i*bs2; 5794c16a6a6SHong Zhang u = ba + ili*bs2; 5804c16a6a6SHong Zhang ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5814c16a6a6SHong Zhang Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u); 5824c16a6a6SHong Zhang 5834c16a6a6SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k) */ 5844c16a6a6SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u); 5854c16a6a6SHong Zhang 5864c16a6a6SHong Zhang /* update -U(i,k) */ 5874c16a6a6SHong Zhang ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5884c16a6a6SHong Zhang 5894c16a6a6SHong Zhang /* add multiple of row i to k-th row ... */ 5904c16a6a6SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 5914c16a6a6SHong Zhang if (jmin < jmax){ 5924c16a6a6SHong Zhang for (j=jmin; j<jmax; j++) { 5934c16a6a6SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j) */ 5944c16a6a6SHong Zhang rtmp_ptr = rtmp + bj[j]*bs2; 5954c16a6a6SHong Zhang u = ba + j*bs2; 5964c16a6a6SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u); 5974c16a6a6SHong Zhang } 5984c16a6a6SHong Zhang 5994c16a6a6SHong Zhang /* ... add i to row list for next nonzero entry */ 6004c16a6a6SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 6014c16a6a6SHong Zhang j = bj[jmin]; 6024c16a6a6SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 6034c16a6a6SHong Zhang } 6044c16a6a6SHong Zhang i = nexti; 6054c16a6a6SHong Zhang } 6064c16a6a6SHong Zhang 6074c16a6a6SHong Zhang /* save nonzero entries in k-th row of U ... */ 6084c16a6a6SHong Zhang 6094c16a6a6SHong Zhang /* invert diagonal block */ 6104c16a6a6SHong Zhang diag = ba+k*bs2; 6114c16a6a6SHong Zhang ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr); 612d230e6fdSBarry Smith ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr); 6134c16a6a6SHong Zhang 6144c16a6a6SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 6154c16a6a6SHong Zhang if (jmin < jmax) { 6164c16a6a6SHong Zhang for (j=jmin; j<jmax; j++){ 6174c16a6a6SHong Zhang vj = bj[j]; /* block col. index of U */ 6184c16a6a6SHong Zhang u = ba + j*bs2; 6194c16a6a6SHong Zhang rtmp_ptr = rtmp + vj*bs2; 6204c16a6a6SHong Zhang for (k1=0; k1<bs2; k1++){ 6214c16a6a6SHong Zhang *u++ = *rtmp_ptr; 6224c16a6a6SHong Zhang *rtmp_ptr++ = 0.0; 6234c16a6a6SHong Zhang } 6244c16a6a6SHong Zhang } 6254c16a6a6SHong Zhang 6264c16a6a6SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 6274c16a6a6SHong Zhang il[k] = jmin; 6284c16a6a6SHong Zhang i = bj[jmin]; 6294c16a6a6SHong Zhang jl[k] = jl[i]; jl[i] = k; 6304c16a6a6SHong Zhang } 6314c16a6a6SHong Zhang } 6324c16a6a6SHong Zhang 6334c16a6a6SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 6344c16a6a6SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 6354c16a6a6SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 6364c16a6a6SHong Zhang ierr = PetscFree(pivots);CHKERRQ(ierr); 6374c16a6a6SHong Zhang if (a->permute){ 6384c16a6a6SHong Zhang ierr = PetscFree(aa);CHKERRQ(ierr); 6394c16a6a6SHong Zhang } 6404c16a6a6SHong Zhang 6414c16a6a6SHong Zhang ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr); 6424c16a6a6SHong Zhang C->factor = FACTOR_CHOLESKY; 6434c16a6a6SHong Zhang C->assembled = PETSC_TRUE; 6444c16a6a6SHong Zhang C->preallocated = PETSC_TRUE; 645efee365bSSatish Balay ierr = PetscLogFlops(1.3333*bs*bs2*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 6464c16a6a6SHong Zhang PetscFunctionReturn(0); 6474c16a6a6SHong Zhang } 648d4edadd4SHong Zhang 6494a2ae208SSatish Balay #undef __FUNCT__ 6504a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering" 651af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B) 652671cb588SHong Zhang { 653671cb588SHong Zhang Mat C = *B; 654671cb588SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 655dfbe8321SBarry Smith PetscErrorCode ierr; 65613f74950SBarry Smith PetscInt i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 65713f74950SBarry Smith PetscInt *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 65813f74950SBarry Smith PetscInt bs=A->bs,bs2 = a->bs2; 659671cb588SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 660671cb588SHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 66128de702eSHong Zhang MatScalar *work; 66213f74950SBarry Smith PetscInt *pivots; 663671cb588SHong Zhang 664671cb588SHong Zhang PetscFunctionBegin; 66582502324SSatish Balay ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 666671cb588SHong Zhang ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr); 66713f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 66828de702eSHong Zhang jl = il + mbs; 669671cb588SHong Zhang for (i=0; i<mbs; i++) { 670671cb588SHong Zhang jl[i] = mbs; il[0] = 0; 671671cb588SHong Zhang } 672b0a32e0cSBarry Smith ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr); 67328de702eSHong Zhang uik = dk + bs2; 67428de702eSHong Zhang work = uik + bs2; 67513f74950SBarry Smith ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr); 676671cb588SHong Zhang 677671cb588SHong Zhang ai = a->i; aj = a->j; aa = a->a; 678671cb588SHong Zhang 679671cb588SHong Zhang /* for each row k */ 680671cb588SHong Zhang for (k = 0; k<mbs; k++){ 681671cb588SHong Zhang 682671cb588SHong Zhang /*initialize k-th row with elements nonzero in row k of A */ 683671cb588SHong Zhang jmin = ai[k]; jmax = ai[k+1]; 684671cb588SHong Zhang ap = aa + jmin*bs2; 685671cb588SHong Zhang for (j = jmin; j < jmax; j++){ 686671cb588SHong Zhang vj = aj[j]; /* block col. index */ 687671cb588SHong Zhang rtmp_ptr = rtmp + vj*bs2; 688671cb588SHong Zhang for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++; 689671cb588SHong Zhang } 690671cb588SHong Zhang 691671cb588SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 692671cb588SHong Zhang ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr); 693671cb588SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 694671cb588SHong Zhang 695057f5ba7SHong Zhang while (i < k){ 696671cb588SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 697671cb588SHong Zhang 698671cb588SHong Zhang /* compute multiplier */ 699671cb588SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 700671cb588SHong Zhang 701671cb588SHong Zhang /* uik = -inv(Di)*U_bar(i,k) */ 702671cb588SHong Zhang diag = ba + i*bs2; 703671cb588SHong Zhang u = ba + ili*bs2; 704671cb588SHong Zhang ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 705671cb588SHong Zhang Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u); 706671cb588SHong Zhang 707671cb588SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k) */ 708671cb588SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u); 709671cb588SHong Zhang 710671cb588SHong Zhang /* update -U(i,k) */ 711671cb588SHong Zhang ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 712671cb588SHong Zhang 713671cb588SHong Zhang /* add multiple of row i to k-th row ... */ 714671cb588SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 715671cb588SHong Zhang if (jmin < jmax){ 716671cb588SHong Zhang for (j=jmin; j<jmax; j++) { 717671cb588SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j) */ 718671cb588SHong Zhang rtmp_ptr = rtmp + bj[j]*bs2; 719671cb588SHong Zhang u = ba + j*bs2; 720671cb588SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u); 721671cb588SHong Zhang } 722671cb588SHong Zhang 723671cb588SHong Zhang /* ... add i to row list for next nonzero entry */ 724671cb588SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 725671cb588SHong Zhang j = bj[jmin]; 726671cb588SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 727671cb588SHong Zhang } 728671cb588SHong Zhang i = nexti; 729671cb588SHong Zhang } 730671cb588SHong Zhang 731671cb588SHong Zhang /* save nonzero entries in k-th row of U ... */ 732671cb588SHong Zhang 733671cb588SHong Zhang /* invert diagonal block */ 734671cb588SHong Zhang diag = ba+k*bs2; 735671cb588SHong Zhang ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr); 736d230e6fdSBarry Smith ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr); 737671cb588SHong Zhang 738671cb588SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 739671cb588SHong Zhang if (jmin < jmax) { 740671cb588SHong Zhang for (j=jmin; j<jmax; j++){ 741671cb588SHong Zhang vj = bj[j]; /* block col. index of U */ 742671cb588SHong Zhang u = ba + j*bs2; 743671cb588SHong Zhang rtmp_ptr = rtmp + vj*bs2; 744671cb588SHong Zhang for (k1=0; k1<bs2; k1++){ 745671cb588SHong Zhang *u++ = *rtmp_ptr; 746671cb588SHong Zhang *rtmp_ptr++ = 0.0; 747671cb588SHong Zhang } 748671cb588SHong Zhang } 749671cb588SHong Zhang 750671cb588SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 751671cb588SHong Zhang il[k] = jmin; 752671cb588SHong Zhang i = bj[jmin]; 753671cb588SHong Zhang jl[k] = jl[i]; jl[i] = k; 754671cb588SHong Zhang } 755671cb588SHong Zhang } 756671cb588SHong Zhang 757671cb588SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 758671cb588SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 759671cb588SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 760671cb588SHong Zhang ierr = PetscFree(pivots);CHKERRQ(ierr); 761671cb588SHong Zhang 762671cb588SHong Zhang C->factor = FACTOR_CHOLESKY; 763671cb588SHong Zhang C->assembled = PETSC_TRUE; 764671cb588SHong Zhang C->preallocated = PETSC_TRUE; 765efee365bSSatish Balay ierr = PetscLogFlops(1.3333*bs*bs2*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 766671cb588SHong Zhang PetscFunctionReturn(0); 767671cb588SHong Zhang } 768671cb588SHong Zhang 76949b5e25fSSatish Balay /* 770fcf159c0SHong Zhang Numeric U^T*D*U factorization for SBAIJ format. Modified from SNF of YSMP. 771cc0c071aSHong Zhang Version for blocks 2 by 2. 77249b5e25fSSatish Balay */ 7734a2ae208SSatish Balay #undef __FUNCT__ 7744a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2" 775af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2(Mat A,MatFactorInfo *info,Mat *B) 77649b5e25fSSatish Balay { 77749b5e25fSSatish Balay Mat C = *B; 77891602c66SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 779cc0c071aSHong Zhang IS perm = b->row; 7806849ba73SBarry Smith PetscErrorCode ierr; 78113f74950SBarry Smith PetscInt *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 78213f74950SBarry Smith PetscInt *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 783a1723e09SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 784cc0c071aSHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 78549b5e25fSSatish Balay 78649b5e25fSSatish Balay PetscFunctionBegin; 78791602c66SHong Zhang /* initialization */ 78891602c66SHong Zhang /* il and jl record the first nonzero element in each row of the accessing 78991602c66SHong Zhang window U(0:k, k:mbs-1). 79091602c66SHong Zhang jl: list of rows to be added to uneliminated rows 79191602c66SHong Zhang i>= k: jl(i) is the first row to be added to row i 79291602c66SHong Zhang i< k: jl(i) is the row following row i in some list of rows 79391602c66SHong Zhang jl(i) = mbs indicates the end of a list 79491602c66SHong Zhang il(i): points to the first nonzero element in columns k,...,mbs-1 of 79591602c66SHong Zhang row i of U */ 79682502324SSatish Balay ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 797cc0c071aSHong Zhang ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr); 79813f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 79928de702eSHong Zhang jl = il + mbs; 80091602c66SHong Zhang for (i=0; i<mbs; i++) { 8013845f261SHong Zhang jl[i] = mbs; il[0] = 0; 80291602c66SHong Zhang } 80382502324SSatish Balay ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr); 80428de702eSHong Zhang uik = dk + 4; 805cc0c071aSHong Zhang ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr); 806cc0c071aSHong Zhang 807cc0c071aSHong Zhang /* check permutation */ 808cc0c071aSHong Zhang if (!a->permute){ 809cc0c071aSHong Zhang ai = a->i; aj = a->j; aa = a->a; 810cc0c071aSHong Zhang } else { 811cc0c071aSHong Zhang ai = a->inew; aj = a->jnew; 81282502324SSatish Balay ierr = PetscMalloc(4*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr); 813cc0c071aSHong Zhang ierr = PetscMemcpy(aa,a->a,4*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr); 81413f74950SBarry Smith ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr); 81513f74950SBarry Smith ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr); 816cc0c071aSHong Zhang 817cc0c071aSHong Zhang for (i=0; i<mbs; i++){ 818cc0c071aSHong Zhang jmin = ai[i]; jmax = ai[i+1]; 819cc0c071aSHong Zhang for (j=jmin; j<jmax; j++){ 820cc0c071aSHong Zhang while (a2anew[j] != j){ 821cc0c071aSHong Zhang k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k; 822cc0c071aSHong Zhang for (k1=0; k1<4; k1++){ 823cc0c071aSHong Zhang dk[k1] = aa[k*4+k1]; 824cc0c071aSHong Zhang aa[k*4+k1] = aa[j*4+k1]; 825cc0c071aSHong Zhang aa[j*4+k1] = dk[k1]; 826cc0c071aSHong Zhang } 827cc0c071aSHong Zhang } 828cc0c071aSHong Zhang /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */ 829cc0c071aSHong Zhang if (i > aj[j]){ 830a1723e09SHong Zhang /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */ 831cc0c071aSHong Zhang ap = aa + j*4; /* ptr to the beginning of the block */ 832cc0c071aSHong Zhang dk[1] = ap[1]; /* swap ap[1] and ap[2] */ 833cc0c071aSHong Zhang ap[1] = ap[2]; 834cc0c071aSHong Zhang ap[2] = dk[1]; 835cc0c071aSHong Zhang } 836cc0c071aSHong Zhang } 837cc0c071aSHong Zhang } 838ac355199SBarry Smith ierr = PetscFree(a2anew);CHKERRQ(ierr); 839cc0c071aSHong Zhang } 8403845f261SHong Zhang 84191602c66SHong Zhang /* for each row k */ 84291602c66SHong Zhang for (k = 0; k<mbs; k++){ 84391602c66SHong Zhang 84491602c66SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 845cc0c071aSHong Zhang jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1]; 846cc0c071aSHong Zhang ap = aa + jmin*4; 84791602c66SHong Zhang for (j = jmin; j < jmax; j++){ 848cc0c071aSHong Zhang vj = perm_ptr[aj[j]]; /* block col. index */ 849cc0c071aSHong Zhang rtmp_ptr = rtmp + vj*4; 850cc0c071aSHong Zhang for (i=0; i<4; i++) *rtmp_ptr++ = *ap++; 85191602c66SHong Zhang } 85291602c66SHong Zhang 85391602c66SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 854cc0c071aSHong Zhang ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr); 85591602c66SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 85691602c66SHong Zhang 857057f5ba7SHong Zhang while (i < k){ 85891602c66SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 85991602c66SHong Zhang 8603845f261SHong Zhang /* compute multiplier */ 86191602c66SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 8623845f261SHong Zhang 8633845f261SHong Zhang /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */ 864cc0c071aSHong Zhang diag = ba + i*4; 865cc0c071aSHong Zhang u = ba + ili*4; 866cc0c071aSHong Zhang uik[0] = -(diag[0]*u[0] + diag[2]*u[1]); 867cc0c071aSHong Zhang uik[1] = -(diag[1]*u[0] + diag[3]*u[1]); 868cc0c071aSHong Zhang uik[2] = -(diag[0]*u[2] + diag[2]*u[3]); 869cc0c071aSHong Zhang uik[3] = -(diag[1]*u[2] + diag[3]*u[3]); 8703845f261SHong Zhang 8713845f261SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */ 872cc0c071aSHong Zhang dk[0] += uik[0]*u[0] + uik[1]*u[1]; 873cc0c071aSHong Zhang dk[1] += uik[2]*u[0] + uik[3]*u[1]; 874cc0c071aSHong Zhang dk[2] += uik[0]*u[2] + uik[1]*u[3]; 875cc0c071aSHong Zhang dk[3] += uik[2]*u[2] + uik[3]*u[3]; 8763845f261SHong Zhang 8773845f261SHong Zhang /* update -U(i,k): ba[ili] = uik */ 878cc0c071aSHong Zhang ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr); 87991602c66SHong Zhang 88091602c66SHong Zhang /* add multiple of row i to k-th row ... */ 88191602c66SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 88291602c66SHong Zhang if (jmin < jmax){ 8833845f261SHong Zhang for (j=jmin; j<jmax; j++) { 8843845f261SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */ 885cc0c071aSHong Zhang rtmp_ptr = rtmp + bj[j]*4; 886cc0c071aSHong Zhang u = ba + j*4; 887cc0c071aSHong Zhang rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1]; 888cc0c071aSHong Zhang rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1]; 889cc0c071aSHong Zhang rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3]; 890cc0c071aSHong Zhang rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3]; 8913845f261SHong Zhang } 8923845f261SHong Zhang 89391602c66SHong Zhang /* ... add i to row list for next nonzero entry */ 89491602c66SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 89591602c66SHong Zhang j = bj[jmin]; 89691602c66SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 89791602c66SHong Zhang } 898a1723e09SHong Zhang i = nexti; 89991602c66SHong Zhang } 900cc0c071aSHong Zhang 90191602c66SHong Zhang /* save nonzero entries in k-th row of U ... */ 9023845f261SHong Zhang 903cc0c071aSHong Zhang /* invert diagonal block */ 904cc0c071aSHong Zhang diag = ba+k*4; 905cc0c071aSHong Zhang ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr); 9063845f261SHong Zhang ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr); 9073845f261SHong Zhang 90891602c66SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 90991602c66SHong Zhang if (jmin < jmax) { 91091602c66SHong Zhang for (j=jmin; j<jmax; j++){ 911cc0c071aSHong Zhang vj = bj[j]; /* block col. index of U */ 912cc0c071aSHong Zhang u = ba + j*4; 913cc0c071aSHong Zhang rtmp_ptr = rtmp + vj*4; 914cc0c071aSHong Zhang for (k1=0; k1<4; k1++){ 915cc0c071aSHong Zhang *u++ = *rtmp_ptr; 916cc0c071aSHong Zhang *rtmp_ptr++ = 0.0; 917cc0c071aSHong Zhang } 918cc0c071aSHong Zhang } 9193845f261SHong Zhang 92091602c66SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 92191602c66SHong Zhang il[k] = jmin; 92291602c66SHong Zhang i = bj[jmin]; 92391602c66SHong Zhang jl[k] = jl[i]; jl[i] = k; 92491602c66SHong Zhang } 92591602c66SHong Zhang } 9263845f261SHong Zhang 92749b5e25fSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 92891602c66SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 9293845f261SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 93091602c66SHong Zhang if (a->permute) { 93191602c66SHong Zhang ierr = PetscFree(aa);CHKERRQ(ierr); 93291602c66SHong Zhang } 933cc0c071aSHong Zhang ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr); 93491602c66SHong Zhang C->factor = FACTOR_CHOLESKY; 93549b5e25fSSatish Balay C->assembled = PETSC_TRUE; 9365c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 937efee365bSSatish Balay ierr = PetscLogFlops(1.3333*8*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 93849b5e25fSSatish Balay PetscFunctionReturn(0); 93949b5e25fSSatish Balay } 94091602c66SHong Zhang 94149b5e25fSSatish Balay /* 94249b5e25fSSatish Balay Version for when blocks are 2 by 2 Using natural ordering 94349b5e25fSSatish Balay */ 9444a2ae208SSatish Balay #undef __FUNCT__ 9454a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering" 946af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B) 94749b5e25fSSatish Balay { 94849b5e25fSSatish Balay Mat C = *B; 949ab27746eSHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 950dfbe8321SBarry Smith PetscErrorCode ierr; 95113f74950SBarry Smith PetscInt i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 95213f74950SBarry Smith PetscInt *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 953ab27746eSHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 954ab27746eSHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 95549b5e25fSSatish Balay 95649b5e25fSSatish Balay PetscFunctionBegin; 957ab27746eSHong Zhang /* initialization */ 958ab27746eSHong Zhang /* il and jl record the first nonzero element in each row of the accessing 959ab27746eSHong Zhang window U(0:k, k:mbs-1). 960ab27746eSHong Zhang jl: list of rows to be added to uneliminated rows 961ab27746eSHong Zhang i>= k: jl(i) is the first row to be added to row i 962ab27746eSHong Zhang i< k: jl(i) is the row following row i in some list of rows 963ab27746eSHong Zhang jl(i) = mbs indicates the end of a list 964ab27746eSHong Zhang il(i): points to the first nonzero element in columns k,...,mbs-1 of 965ab27746eSHong Zhang row i of U */ 96682502324SSatish Balay ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 967ab27746eSHong Zhang ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr); 96813f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 96928de702eSHong Zhang jl = il + mbs; 970ab27746eSHong Zhang for (i=0; i<mbs; i++) { 971ab27746eSHong Zhang jl[i] = mbs; il[0] = 0; 97249b5e25fSSatish Balay } 97382502324SSatish Balay ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr); 97428de702eSHong Zhang uik = dk + 4; 975ab27746eSHong Zhang 976ab27746eSHong Zhang ai = a->i; aj = a->j; aa = a->a; 977ab27746eSHong Zhang 978ab27746eSHong Zhang /* for each row k */ 979ab27746eSHong Zhang for (k = 0; k<mbs; k++){ 980ab27746eSHong Zhang 981ab27746eSHong Zhang /*initialize k-th row with elements nonzero in row k of A */ 982ab27746eSHong Zhang jmin = ai[k]; jmax = ai[k+1]; 983ab27746eSHong Zhang ap = aa + jmin*4; 984ab27746eSHong Zhang for (j = jmin; j < jmax; j++){ 985ab27746eSHong Zhang vj = aj[j]; /* block col. index */ 986ab27746eSHong Zhang rtmp_ptr = rtmp + vj*4; 987ab27746eSHong Zhang for (i=0; i<4; i++) *rtmp_ptr++ = *ap++; 98849b5e25fSSatish Balay } 989ab27746eSHong Zhang 990ab27746eSHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 991ab27746eSHong Zhang ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr); 992ab27746eSHong Zhang i = jl[k]; /* first row to be added to k_th row */ 993ab27746eSHong Zhang 994057f5ba7SHong Zhang while (i < k){ 995ab27746eSHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 996ab27746eSHong Zhang 997ab27746eSHong Zhang /* compute multiplier */ 998ab27746eSHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 999ab27746eSHong Zhang 1000ab27746eSHong Zhang /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */ 1001ab27746eSHong Zhang diag = ba + i*4; 1002ab27746eSHong Zhang u = ba + ili*4; 1003ab27746eSHong Zhang uik[0] = -(diag[0]*u[0] + diag[2]*u[1]); 1004ab27746eSHong Zhang uik[1] = -(diag[1]*u[0] + diag[3]*u[1]); 1005ab27746eSHong Zhang uik[2] = -(diag[0]*u[2] + diag[2]*u[3]); 1006ab27746eSHong Zhang uik[3] = -(diag[1]*u[2] + diag[3]*u[3]); 1007ab27746eSHong Zhang 1008ab27746eSHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */ 1009ab27746eSHong Zhang dk[0] += uik[0]*u[0] + uik[1]*u[1]; 1010ab27746eSHong Zhang dk[1] += uik[2]*u[0] + uik[3]*u[1]; 1011ab27746eSHong Zhang dk[2] += uik[0]*u[2] + uik[1]*u[3]; 1012ab27746eSHong Zhang dk[3] += uik[2]*u[2] + uik[3]*u[3]; 1013ab27746eSHong Zhang 1014ab27746eSHong Zhang /* update -U(i,k): ba[ili] = uik */ 1015ab27746eSHong Zhang ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr); 1016ab27746eSHong Zhang 1017ab27746eSHong Zhang /* add multiple of row i to k-th row ... */ 1018ab27746eSHong Zhang jmin = ili + 1; jmax = bi[i+1]; 1019ab27746eSHong Zhang if (jmin < jmax){ 1020ab27746eSHong Zhang for (j=jmin; j<jmax; j++) { 1021ab27746eSHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */ 1022ab27746eSHong Zhang rtmp_ptr = rtmp + bj[j]*4; 1023ab27746eSHong Zhang u = ba + j*4; 1024ab27746eSHong Zhang rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1]; 1025ab27746eSHong Zhang rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1]; 1026ab27746eSHong Zhang rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3]; 1027ab27746eSHong Zhang rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3]; 102849b5e25fSSatish Balay } 1029ab27746eSHong Zhang 1030ab27746eSHong Zhang /* ... add i to row list for next nonzero entry */ 1031ab27746eSHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 1032ab27746eSHong Zhang j = bj[jmin]; 1033ab27746eSHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 103449b5e25fSSatish Balay } 1035ab27746eSHong Zhang i = nexti; 103649b5e25fSSatish Balay } 1037ab27746eSHong Zhang 1038ab27746eSHong Zhang /* save nonzero entries in k-th row of U ... */ 1039ab27746eSHong Zhang 104049b5e25fSSatish Balay /* invert diagonal block */ 1041ab27746eSHong Zhang diag = ba+k*4; 1042ab27746eSHong Zhang ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr); 1043ab27746eSHong Zhang ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr); 1044ab27746eSHong Zhang 1045ab27746eSHong Zhang jmin = bi[k]; jmax = bi[k+1]; 1046ab27746eSHong Zhang if (jmin < jmax) { 1047ab27746eSHong Zhang for (j=jmin; j<jmax; j++){ 1048ab27746eSHong Zhang vj = bj[j]; /* block col. index of U */ 1049ab27746eSHong Zhang u = ba + j*4; 1050ab27746eSHong Zhang rtmp_ptr = rtmp + vj*4; 1051ab27746eSHong Zhang for (k1=0; k1<4; k1++){ 1052ab27746eSHong Zhang *u++ = *rtmp_ptr; 1053ab27746eSHong Zhang *rtmp_ptr++ = 0.0; 1054ab27746eSHong Zhang } 1055ab27746eSHong Zhang } 1056ab27746eSHong Zhang 1057ab27746eSHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 1058ab27746eSHong Zhang il[k] = jmin; 1059ab27746eSHong Zhang i = bj[jmin]; 1060ab27746eSHong Zhang jl[k] = jl[i]; jl[i] = k; 1061ab27746eSHong Zhang } 106249b5e25fSSatish Balay } 106349b5e25fSSatish Balay 106449b5e25fSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 1065ab27746eSHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 1066ab27746eSHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 1067ab27746eSHong Zhang 1068ab27746eSHong Zhang C->factor = FACTOR_CHOLESKY; 106949b5e25fSSatish Balay C->assembled = PETSC_TRUE; 10705c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 1071efee365bSSatish Balay ierr = PetscLogFlops(1.3333*8*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 107249b5e25fSSatish Balay PetscFunctionReturn(0); 107349b5e25fSSatish Balay } 107449b5e25fSSatish Balay 107549b5e25fSSatish Balay /* 107698a8e78dSHong Zhang Numeric U^T*D*U factorization for SBAIJ format. 107791602c66SHong Zhang Version for blocks are 1 by 1. 107849b5e25fSSatish Balay */ 10794a2ae208SSatish Balay #undef __FUNCT__ 10804a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1" 1081af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1(Mat A,MatFactorInfo *info,Mat *B) 108249b5e25fSSatish Balay { 108349b5e25fSSatish Balay Mat C = *B; 108449b5e25fSSatish Balay Mat_SeqSBAIJ *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data; 108549b5e25fSSatish Balay IS ip=b->row; 10866849ba73SBarry Smith PetscErrorCode ierr; 1087997a0949SHong Zhang PetscInt *rip,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j,*bcol; 1088fff829cfSHong Zhang PetscInt *ai,*aj,*a2anew; 1089997a0949SHong Zhang PetscInt k,jmin,jmax,*jl,*il,col,nexti,ili,nz; 1090997a0949SHong Zhang MatScalar *rtmp,*ba=b->a,*bval,*aa,dk,uikdi; 10913cea4cbeSHong Zhang PetscReal zeropivot,rs,shiftnz; 1092fbf22428SSatish Balay PetscReal shiftpd; 10933cea4cbeSHong Zhang ChShift_Ctx sctx; 10943cea4cbeSHong Zhang PetscInt newshift; 109549b5e25fSSatish Balay 109649b5e25fSSatish Balay PetscFunctionBegin; 10973cea4cbeSHong Zhang /* initialization */ 10983cea4cbeSHong Zhang shiftnz = info->shiftnz; 10993cea4cbeSHong Zhang shiftpd = info->shiftpd; 11003cea4cbeSHong Zhang zeropivot = info->zeropivot; 11013cea4cbeSHong Zhang 110249b5e25fSSatish Balay ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 1103cb718733SHong Zhang if (!a->permute){ 11042d007305SHong Zhang ai = a->i; aj = a->j; aa = a->a; 11052d007305SHong Zhang } else { 11062d007305SHong Zhang ai = a->inew; aj = a->jnew; 1107fff829cfSHong Zhang nz = ai[mbs]; 1108fff829cfSHong Zhang ierr = PetscMalloc(nz*sizeof(MatScalar),&aa);CHKERRQ(ierr); 1109fff829cfSHong Zhang a2anew = a->a2anew; 1110997a0949SHong Zhang bval = a->a; 1111fff829cfSHong Zhang for (j=0; j<nz; j++){ 1112997a0949SHong Zhang aa[a2anew[j]] = *(bval++); 11132d007305SHong Zhang } 11142d007305SHong Zhang } 11152d007305SHong Zhang 111691602c66SHong Zhang /* initialization */ 111749b5e25fSSatish Balay /* il and jl record the first nonzero element in each row of the accessing 111849b5e25fSSatish Balay window U(0:k, k:mbs-1). 111949b5e25fSSatish Balay jl: list of rows to be added to uneliminated rows 112049b5e25fSSatish Balay i>= k: jl(i) is the first row to be added to row i 112149b5e25fSSatish Balay i< k: jl(i) is the row following row i in some list of rows 112249b5e25fSSatish Balay jl(i) = mbs indicates the end of a list 112349b5e25fSSatish Balay il(i): points to the first nonzero element in columns k,...,mbs-1 of 112449b5e25fSSatish Balay row i of U */ 1125997a0949SHong Zhang nz = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar); 1126997a0949SHong Zhang ierr = PetscMalloc(nz,&il);CHKERRQ(ierr); 112728de702eSHong Zhang jl = il + mbs; 1128997a0949SHong Zhang rtmp = (MatScalar*)(jl + mbs); 1129997a0949SHong Zhang 11303cea4cbeSHong Zhang sctx.shift_amount = 0; 11313cea4cbeSHong Zhang sctx.nshift = 0; 1132997a0949SHong Zhang do { 11333cea4cbeSHong Zhang sctx.chshift = PETSC_FALSE; 113449b5e25fSSatish Balay for (i=0; i<mbs; i++) { 113549b5e25fSSatish Balay rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 113649b5e25fSSatish Balay } 1137997a0949SHong Zhang 113849b5e25fSSatish Balay for (k = 0; k<mbs; k++){ 1139997a0949SHong Zhang /*initialize k-th row by the perm[k]-th row of A */ 114049b5e25fSSatish Balay jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 11417701de02SHong Zhang bval = ba + bi[k]; 114249b5e25fSSatish Balay for (j = jmin; j < jmax; j++){ 1143997a0949SHong Zhang col = rip[aj[j]]; 1144997a0949SHong Zhang rtmp[col] = aa[j]; 11457701de02SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 114649b5e25fSSatish Balay } 11473cea4cbeSHong Zhang 11483cea4cbeSHong Zhang /* shift the diagonal of the matrix */ 11493cea4cbeSHong Zhang if (sctx.nshift) rtmp[k] += sctx.shift_amount; 115049b5e25fSSatish Balay 115191602c66SHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 115249b5e25fSSatish Balay dk = rtmp[k]; 115349b5e25fSSatish Balay i = jl[k]; /* first row to be added to k_th row */ 115449b5e25fSSatish Balay 1155057f5ba7SHong Zhang while (i < k){ 115649b5e25fSSatish Balay nexti = jl[i]; /* next row to be added to k_th row */ 115749b5e25fSSatish Balay 1158fff829cfSHong Zhang /* compute multiplier, update diag(k) and U(i,k) */ 115949b5e25fSSatish Balay ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1160997a0949SHong Zhang uikdi = - ba[ili]*ba[bi[i]]; /* diagonal(k) */ 116149b5e25fSSatish Balay dk += uikdi*ba[ili]; 1162658e7b3eSHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 116349b5e25fSSatish Balay 1164997a0949SHong Zhang /* add multiple of row i to k-th row */ 116549b5e25fSSatish Balay jmin = ili + 1; jmax = bi[i+1]; 116649b5e25fSSatish Balay if (jmin < jmax){ 116749b5e25fSSatish Balay for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 1168fff829cfSHong Zhang /* update il and jl for row i */ 1169fff829cfSHong Zhang il[i] = jmin; 1170fff829cfSHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 117149b5e25fSSatish Balay } 1172ab27746eSHong Zhang i = nexti; 117349b5e25fSSatish Balay } 117449b5e25fSSatish Balay 11753cea4cbeSHong Zhang /* shift the diagonals when zero pivot is detected */ 11763cea4cbeSHong Zhang /* compute rs=sum of abs(off-diagonal) */ 11773cea4cbeSHong Zhang rs = 0.0; 1178997a0949SHong Zhang jmin = bi[k]+1; 1179997a0949SHong Zhang nz = bi[k+1] - jmin; 1180997a0949SHong Zhang if (nz){ 1181997a0949SHong Zhang bcol = bj + jmin; 1182997a0949SHong Zhang while (nz--){ 118389f845c8SHong Zhang rs += PetscAbsScalar(rtmp[*bcol]); 118489f845c8SHong Zhang bcol++; 1185997a0949SHong Zhang } 1186997a0949SHong Zhang } 11873cea4cbeSHong Zhang 11883cea4cbeSHong Zhang sctx.rs = rs; 11893cea4cbeSHong Zhang sctx.pv = dk; 11903e8c821fSHong Zhang ierr = MatCholeskyCheckShift_inline(info,sctx,newshift);CHKERRQ(ierr); 11913cea4cbeSHong Zhang if (newshift == 1){ 11923cea4cbeSHong Zhang break; /* sctx.shift_amount is updated */ 11933cea4cbeSHong Zhang } else if (newshift == -1){ 1194a83599f4SBarry Smith SETERRQ4(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot row %D value %G tolerance %G * rs %G",k,PetscAbsScalar(dk),zeropivot,rs); 119549b5e25fSSatish Balay } 119649b5e25fSSatish Balay 1197997a0949SHong Zhang /* copy data into U(k,:) */ 119898a8e78dSHong Zhang ba[bi[k]] = 1.0/dk; /* U(k,k) */ 1199fff829cfSHong Zhang jmin = bi[k]+1; jmax = bi[k+1]; 120049b5e25fSSatish Balay if (jmin < jmax) { 120149b5e25fSSatish Balay for (j=jmin; j<jmax; j++){ 1202997a0949SHong Zhang col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0; 120349b5e25fSSatish Balay } 120498a8e78dSHong Zhang /* add the k-th row into il and jl */ 120549b5e25fSSatish Balay il[k] = jmin; 120698a8e78dSHong Zhang i = bj[jmin]; jl[k] = jl[i]; jl[i] = k; 120749b5e25fSSatish Balay } 120849b5e25fSSatish Balay } 12093cea4cbeSHong Zhang } while (sctx.chshift); 121049b5e25fSSatish Balay ierr = PetscFree(il);CHKERRQ(ierr); 121198a8e78dSHong Zhang if (a->permute){ierr = PetscFree(aa);CHKERRQ(ierr);} 121249b5e25fSSatish Balay 121349b5e25fSSatish Balay ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 12148be8c0c7SHong Zhang C->factor = FACTOR_CHOLESKY; 121549b5e25fSSatish Balay C->assembled = PETSC_TRUE; 12165c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 1217efee365bSSatish Balay ierr = PetscLogFlops(C->m);CHKERRQ(ierr); 12183cea4cbeSHong Zhang if (sctx.nshift){ 12193cea4cbeSHong Zhang if (shiftnz) { 1220*ae15b995SBarry Smith ierr = PetscInfo2(0,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 12213cea4cbeSHong Zhang } else if (shiftpd) { 1222*ae15b995SBarry Smith ierr = PetscInfo2(0,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 1223997a0949SHong Zhang } 1224997a0949SHong Zhang } 122549b5e25fSSatish Balay PetscFunctionReturn(0); 122649b5e25fSSatish Balay } 122749b5e25fSSatish Balay 1228671cb588SHong Zhang /* 1229671cb588SHong Zhang Version for when blocks are 1 by 1 Using natural ordering 1230671cb588SHong Zhang */ 12314a2ae208SSatish Balay #undef __FUNCT__ 12324a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering" 1233af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B) 1234671cb588SHong Zhang { 1235671cb588SHong Zhang Mat C = *B; 1236671cb588SHong Zhang Mat_SeqSBAIJ *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data; 1237dfbe8321SBarry Smith PetscErrorCode ierr; 123813f74950SBarry Smith PetscInt i,j,mbs = a->mbs; 123913f74950SBarry Smith PetscInt *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 12403cea4cbeSHong Zhang PetscInt k,jmin,*jl,*il,nexti,ili,*acol,*bcol,nz; 1241653a6975SHong Zhang MatScalar *rtmp,*ba=b->a,*aa=a->a,dk,uikdi,*aval,*bval; 12423cea4cbeSHong Zhang PetscReal zeropivot,rs,shiftnz; 1243fbf22428SSatish Balay PetscReal shiftpd; 12443cea4cbeSHong Zhang ChShift_Ctx sctx; 12453cea4cbeSHong Zhang PetscInt newshift; 1246653a6975SHong Zhang 1247653a6975SHong Zhang PetscFunctionBegin; 1248653a6975SHong Zhang /* initialization */ 12493cea4cbeSHong Zhang shiftnz = info->shiftnz; 12503cea4cbeSHong Zhang shiftpd = info->shiftpd; 12513cea4cbeSHong Zhang zeropivot = info->zeropivot; 12523cea4cbeSHong Zhang 1253653a6975SHong Zhang /* il and jl record the first nonzero element in each row of the accessing 1254653a6975SHong Zhang window U(0:k, k:mbs-1). 1255653a6975SHong Zhang jl: list of rows to be added to uneliminated rows 1256653a6975SHong Zhang i>= k: jl(i) is the first row to be added to row i 1257653a6975SHong Zhang i< k: jl(i) is the row following row i in some list of rows 1258653a6975SHong Zhang jl(i) = mbs indicates the end of a list 1259653a6975SHong Zhang il(i): points to the first nonzero element in U(i,k:mbs-1) 1260653a6975SHong Zhang */ 1261653a6975SHong Zhang ierr = PetscMalloc(mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 126213f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 1263653a6975SHong Zhang jl = il + mbs; 1264b00f7748SHong Zhang 12653cea4cbeSHong Zhang sctx.shift_amount = 0; 12663cea4cbeSHong Zhang sctx.nshift = 0; 1267b00f7748SHong Zhang do { 12683cea4cbeSHong Zhang sctx.chshift = PETSC_FALSE; 1269653a6975SHong Zhang for (i=0; i<mbs; i++) { 1270653a6975SHong Zhang rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 1271653a6975SHong Zhang } 1272653a6975SHong Zhang 1273997a0949SHong Zhang for (k = 0; k<mbs; k++){ 1274653a6975SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 1275653a6975SHong Zhang nz = ai[k+1] - ai[k]; 1276653a6975SHong Zhang acol = aj + ai[k]; 1277653a6975SHong Zhang aval = aa + ai[k]; 1278653a6975SHong Zhang bval = ba + bi[k]; 1279653a6975SHong Zhang while (nz -- ){ 1280653a6975SHong Zhang rtmp[*acol++] = *aval++; 1281653a6975SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 1282653a6975SHong Zhang } 12833cea4cbeSHong Zhang 12843cea4cbeSHong Zhang /* shift the diagonal of the matrix */ 12853cea4cbeSHong Zhang if (sctx.nshift) rtmp[k] += sctx.shift_amount; 1286653a6975SHong Zhang 1287653a6975SHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 1288653a6975SHong Zhang dk = rtmp[k]; 1289653a6975SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 1290653a6975SHong Zhang 1291653a6975SHong Zhang while (i < k){ 1292653a6975SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 1293653a6975SHong Zhang /* compute multiplier, update D(k) and U(i,k) */ 1294653a6975SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1295653a6975SHong Zhang uikdi = - ba[ili]*ba[bi[i]]; 1296653a6975SHong Zhang dk += uikdi*ba[ili]; 1297653a6975SHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 1298653a6975SHong Zhang 1299653a6975SHong Zhang /* add multiple of row i to k-th row ... */ 1300653a6975SHong Zhang jmin = ili + 1; 1301653a6975SHong Zhang nz = bi[i+1] - jmin; 1302653a6975SHong Zhang if (nz > 0){ 1303653a6975SHong Zhang bcol = bj + jmin; 1304653a6975SHong Zhang bval = ba + jmin; 1305653a6975SHong Zhang while (nz --) rtmp[*bcol++] += uikdi*(*bval++); 1306997a0949SHong Zhang /* update il and jl for i-th row */ 1307997a0949SHong Zhang il[i] = jmin; 1308997a0949SHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 1309653a6975SHong Zhang } 1310653a6975SHong Zhang i = nexti; 1311653a6975SHong Zhang } 1312653a6975SHong Zhang 13133cea4cbeSHong Zhang /* shift the diagonals when zero pivot is detected */ 13143cea4cbeSHong Zhang /* compute rs=sum of abs(off-diagonal) */ 13153cea4cbeSHong Zhang rs = 0.0; 131621c26570Svictorle jmin = bi[k]+1; 131721c26570Svictorle nz = bi[k+1] - jmin; 131821c26570Svictorle if (nz){ 131921c26570Svictorle bcol = bj + jmin; 132021c26570Svictorle while (nz--){ 132189f845c8SHong Zhang rs += PetscAbsScalar(rtmp[*bcol]); 132289f845c8SHong Zhang bcol++; 132321c26570Svictorle } 132421c26570Svictorle } 13253cea4cbeSHong Zhang 13263cea4cbeSHong Zhang sctx.rs = rs; 13273cea4cbeSHong Zhang sctx.pv = dk; 13283e8c821fSHong Zhang ierr = MatCholeskyCheckShift_inline(info,sctx,newshift);CHKERRQ(ierr); 13293cea4cbeSHong Zhang if (newshift == 1){ 13303cea4cbeSHong Zhang break; /* sctx.shift_amount is updated */ 13313cea4cbeSHong Zhang } else if (newshift == -1){ 1332a83599f4SBarry Smith SETERRQ4(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot row %D value %G tolerance %G * rs %G",k,PetscAbsScalar(dk),zeropivot,rs); 1333064503c5SHong Zhang } 1334653a6975SHong Zhang 1335997a0949SHong Zhang /* copy data into U(k,:) */ 1336653a6975SHong Zhang ba[bi[k]] = 1.0/dk; 1337653a6975SHong Zhang jmin = bi[k]+1; 1338653a6975SHong Zhang nz = bi[k+1] - jmin; 1339653a6975SHong Zhang if (nz){ 1340653a6975SHong Zhang bcol = bj + jmin; 1341653a6975SHong Zhang bval = ba + jmin; 1342653a6975SHong Zhang while (nz--){ 1343653a6975SHong Zhang *bval++ = rtmp[*bcol]; 1344653a6975SHong Zhang rtmp[*bcol++] = 0.0; 1345653a6975SHong Zhang } 1346997a0949SHong Zhang /* add k-th row into il and jl */ 1347653a6975SHong Zhang il[k] = jmin; 1348997a0949SHong Zhang i = bj[jmin]; jl[k] = jl[i]; jl[i] = k; 1349653a6975SHong Zhang } 1350b00f7748SHong Zhang } /* end of for (k = 0; k<mbs; k++) */ 13513cea4cbeSHong Zhang } while (sctx.chshift); 1352653a6975SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 1353653a6975SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 1354653a6975SHong Zhang 1355653a6975SHong Zhang C->factor = FACTOR_CHOLESKY; 1356653a6975SHong Zhang C->assembled = PETSC_TRUE; 1357653a6975SHong Zhang C->preallocated = PETSC_TRUE; 1358efee365bSSatish Balay ierr = PetscLogFlops(C->m);CHKERRQ(ierr); 13593cea4cbeSHong Zhang if (sctx.nshift){ 13603cea4cbeSHong Zhang if (shiftnz) { 1361*ae15b995SBarry Smith ierr = PetscInfo2(0,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 13623cea4cbeSHong Zhang } else if (shiftpd) { 1363*ae15b995SBarry Smith ierr = PetscInfo2(0,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 1364b00f7748SHong Zhang } 1365fb10cecfSBarry Smith } 1366653a6975SHong Zhang PetscFunctionReturn(0); 1367653a6975SHong Zhang } 1368653a6975SHong Zhang 1369653a6975SHong Zhang #undef __FUNCT__ 13704a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactor_SeqSBAIJ" 1371dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactor_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info) 137249b5e25fSSatish Balay { 1373dfbe8321SBarry Smith PetscErrorCode ierr; 137449b5e25fSSatish Balay Mat C; 137549b5e25fSSatish Balay 137649b5e25fSSatish Balay PetscFunctionBegin; 137715e8a5b3SHong Zhang ierr = MatCholeskyFactorSymbolic(A,perm,info,&C);CHKERRQ(ierr); 1378af281ebdSHong Zhang ierr = MatCholeskyFactorNumeric(A,info,&C);CHKERRQ(ierr); 13794445ddedSHong Zhang ierr = MatHeaderCopy(A,C);CHKERRQ(ierr); 138049b5e25fSSatish Balay PetscFunctionReturn(0); 138149b5e25fSSatish Balay } 138249b5e25fSSatish Balay 138349b5e25fSSatish Balay 1384