149b5e25fSSatish Balay 249b5e25fSSatish Balay #include "src/mat/impls/baij/seq/baij.h" 33a7fca6bSBarry Smith #include "src/mat/impls/sbaij/seq/sbaij.h" 449b5e25fSSatish Balay #include "src/inline/ilu.h" 549a6740bSHong Zhang #include "include/petscis.h" 649b5e25fSSatish Balay 78dc9108eSHong Zhang #if !defined(PETSC_USE_COMPLEX) 85f9f512dSHong Zhang /* 95f9f512dSHong Zhang input: 10c037c3f7SHong Zhang F -- numeric factor 115f9f512dSHong Zhang output: 12c037c3f7SHong Zhang nneg, nzero, npos: matrix inertia 135f9f512dSHong Zhang */ 145f9f512dSHong Zhang 155f9f512dSHong Zhang #undef __FUNCT__ 165f9f512dSHong Zhang #define __FUNCT__ "MatGetInertia_SeqSBAIJ" 1713f74950SBarry Smith PetscErrorCode MatGetInertia_SeqSBAIJ(Mat F,PetscInt *nneig,PetscInt *nzero,PetscInt *npos) 185f9f512dSHong Zhang { 19638f5ce0SDinesh Kaushik Mat_SeqSBAIJ *fact_ptr = (Mat_SeqSBAIJ*)F->data; 203e0d88b5SBarry Smith PetscScalar *dd = fact_ptr->a; 2113f74950SBarry Smith PetscInt mbs=fact_ptr->mbs,bs=F->bs,i,nneig_tmp,npos_tmp,*fi = fact_ptr->i; 225f9f512dSHong Zhang 235f9f512dSHong Zhang PetscFunctionBegin; 2477431f27SBarry Smith if (bs != 1) SETERRQ1(PETSC_ERR_SUP,"No support for bs: %D >1 yet",bs); 25eeeff2ecSHong Zhang nneig_tmp = 0; npos_tmp = 0; 26eeeff2ecSHong Zhang for (i=0; i<mbs; i++){ 27eeeff2ecSHong Zhang if (PetscRealPart(dd[*fi]) > 0.0){ 28eeeff2ecSHong Zhang npos_tmp++; 29eeeff2ecSHong Zhang } else if (PetscRealPart(dd[*fi]) < 0.0){ 30eeeff2ecSHong Zhang nneig_tmp++; 315f9f512dSHong Zhang } 32eeeff2ecSHong Zhang fi++; 333e0d88b5SBarry Smith } 34eeeff2ecSHong Zhang if (nneig) *nneig = nneig_tmp; 35eeeff2ecSHong Zhang if (npos) *npos = npos_tmp; 36eeeff2ecSHong Zhang if (nzero) *nzero = mbs - nneig_tmp - npos_tmp; 37eeeff2ecSHong Zhang 385f9f512dSHong Zhang PetscFunctionReturn(0); 395f9f512dSHong Zhang } 408dc9108eSHong Zhang #endif /* !defined(PETSC_USE_COMPLEX) */ 415f9f512dSHong Zhang 425f9f512dSHong Zhang /* 435f9f512dSHong Zhang Symbolic U^T*D*U factorization for SBAIJ format. Modified from SSF of YSMP. 4410c27e3dSHong Zhang Use Modified Sparse Row (MSR) storage for u and ju. See page 85, "Iterative Methods ..." by Saad. 455f9f512dSHong Zhang */ 4610c27e3dSHong Zhang #undef __FUNCT__ 4710c27e3dSHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqSBAIJ_MSR" 4810c27e3dSHong Zhang PetscErrorCode MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(Mat A,IS perm,MatFactorInfo *info,Mat *B) 4910c27e3dSHong Zhang { 5010c27e3dSHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b; 5110c27e3dSHong Zhang PetscErrorCode ierr; 5210c27e3dSHong Zhang PetscInt *rip,i,mbs = a->mbs,*ai,*aj; 5310c27e3dSHong Zhang PetscInt *jutmp,bs = A->bs,bs2=a->bs2; 5410c27e3dSHong Zhang PetscInt m,reallocs = 0,prow; 5510c27e3dSHong Zhang PetscInt *jl,*q,jmin,jmax,juidx,nzk,qm,*iu,*ju,k,j,vj,umax,maxadd; 5610c27e3dSHong Zhang PetscReal f = info->fill; 5710c27e3dSHong Zhang PetscTruth perm_identity; 5810c27e3dSHong Zhang 5910c27e3dSHong Zhang PetscFunctionBegin; 6010c27e3dSHong Zhang /* check whether perm is the identity mapping */ 6110c27e3dSHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 6210c27e3dSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 6310c27e3dSHong Zhang 6410c27e3dSHong Zhang if (perm_identity){ /* without permutation */ 6510c27e3dSHong Zhang a->permute = PETSC_FALSE; 6610c27e3dSHong Zhang ai = a->i; aj = a->j; 6710c27e3dSHong Zhang } else { /* non-trivial permutation */ 6810c27e3dSHong Zhang a->permute = PETSC_TRUE; 6910c27e3dSHong Zhang ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr); 7010c27e3dSHong Zhang ai = a->inew; aj = a->jnew; 7110c27e3dSHong Zhang } 7210c27e3dSHong Zhang 7310c27e3dSHong Zhang /* initialization */ 7410c27e3dSHong Zhang ierr = PetscMalloc((mbs+1)*sizeof(PetscInt),&iu);CHKERRQ(ierr); 7510c27e3dSHong Zhang umax = (PetscInt)(f*ai[mbs] + 1); umax += mbs + 1; 7610c27e3dSHong Zhang ierr = PetscMalloc(umax*sizeof(PetscInt),&ju);CHKERRQ(ierr); 7710c27e3dSHong Zhang iu[0] = mbs+1; 7810c27e3dSHong Zhang juidx = mbs + 1; /* index for ju */ 7910c27e3dSHong Zhang ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&jl);CHKERRQ(ierr); /* linked list for pivot row */ 8010c27e3dSHong Zhang q = jl + mbs; /* linked list for col index */ 8110c27e3dSHong Zhang for (i=0; i<mbs; i++){ 8210c27e3dSHong Zhang jl[i] = mbs; 8310c27e3dSHong Zhang q[i] = 0; 8410c27e3dSHong Zhang } 8510c27e3dSHong Zhang 8610c27e3dSHong Zhang /* for each row k */ 8710c27e3dSHong Zhang for (k=0; k<mbs; k++){ 8810c27e3dSHong Zhang for (i=0; i<mbs; i++) q[i] = 0; /* to be removed! */ 8910c27e3dSHong Zhang nzk = 0; /* num. of nz blocks in k-th block row with diagonal block excluded */ 9010c27e3dSHong Zhang q[k] = mbs; 9110c27e3dSHong Zhang /* initialize nonzero structure of k-th row to row rip[k] of A */ 9210c27e3dSHong Zhang jmin = ai[rip[k]] +1; /* exclude diag[k] */ 9310c27e3dSHong Zhang jmax = ai[rip[k]+1]; 9410c27e3dSHong Zhang for (j=jmin; j<jmax; j++){ 9510c27e3dSHong Zhang vj = rip[aj[j]]; /* col. value */ 9610c27e3dSHong Zhang if(vj > k){ 9710c27e3dSHong Zhang qm = k; 9810c27e3dSHong Zhang do { 9910c27e3dSHong Zhang m = qm; qm = q[m]; 10010c27e3dSHong Zhang } while(qm < vj); 10110c27e3dSHong Zhang if (qm == vj) { 10210c27e3dSHong Zhang SETERRQ(PETSC_ERR_PLIB,"Duplicate entry in A\n"); 10310c27e3dSHong Zhang } 10410c27e3dSHong Zhang nzk++; 10510c27e3dSHong Zhang q[m] = vj; 10610c27e3dSHong Zhang q[vj] = qm; 10710c27e3dSHong Zhang } /* if(vj > k) */ 10810c27e3dSHong Zhang } /* for (j=jmin; j<jmax; j++) */ 10910c27e3dSHong Zhang 11010c27e3dSHong Zhang /* modify nonzero structure of k-th row by computing fill-in 11110c27e3dSHong Zhang for each row i to be merged in */ 11210c27e3dSHong Zhang prow = k; 11310c27e3dSHong Zhang prow = jl[prow]; /* next pivot row (== mbs for symbolic factorization) */ 11410c27e3dSHong Zhang 11510c27e3dSHong Zhang while (prow < k){ 11610c27e3dSHong Zhang /* merge row prow into k-th row */ 11710c27e3dSHong Zhang jmin = iu[prow] + 1; jmax = iu[prow+1]; 11810c27e3dSHong Zhang qm = k; 11910c27e3dSHong Zhang for (j=jmin; j<jmax; j++){ 12010c27e3dSHong Zhang vj = ju[j]; 12110c27e3dSHong Zhang do { 12210c27e3dSHong Zhang m = qm; qm = q[m]; 12310c27e3dSHong Zhang } while (qm < vj); 12410c27e3dSHong Zhang if (qm != vj){ 12510c27e3dSHong Zhang nzk++; q[m] = vj; q[vj] = qm; qm = vj; 12610c27e3dSHong Zhang } 12710c27e3dSHong Zhang } 12810c27e3dSHong Zhang prow = jl[prow]; /* next pivot row */ 12910c27e3dSHong Zhang } 13010c27e3dSHong Zhang 13110c27e3dSHong Zhang /* add k to row list for first nonzero element in k-th row */ 13210c27e3dSHong Zhang if (nzk > 0){ 13310c27e3dSHong Zhang i = q[k]; /* col value of first nonzero element in U(k, k+1:mbs-1) */ 13410c27e3dSHong Zhang jl[k] = jl[i]; jl[i] = k; 13510c27e3dSHong Zhang } 13610c27e3dSHong Zhang iu[k+1] = iu[k] + nzk; 13710c27e3dSHong Zhang 13810c27e3dSHong Zhang /* allocate more space to ju if needed */ 13910c27e3dSHong Zhang if (iu[k+1] > umax) { 14010c27e3dSHong Zhang /* estimate how much additional space we will need */ 14110c27e3dSHong Zhang /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */ 14210c27e3dSHong Zhang /* just double the memory each time */ 14310c27e3dSHong Zhang maxadd = umax; 14410c27e3dSHong Zhang if (maxadd < nzk) maxadd = (mbs-k)*(nzk+1)/2; 14510c27e3dSHong Zhang umax += maxadd; 14610c27e3dSHong Zhang 14710c27e3dSHong Zhang /* allocate a longer ju */ 14810c27e3dSHong Zhang ierr = PetscMalloc(umax*sizeof(PetscInt),&jutmp);CHKERRQ(ierr); 14910c27e3dSHong Zhang ierr = PetscMemcpy(jutmp,ju,iu[k]*sizeof(PetscInt));CHKERRQ(ierr); 15010c27e3dSHong Zhang ierr = PetscFree(ju);CHKERRQ(ierr); 15110c27e3dSHong Zhang ju = jutmp; 15210c27e3dSHong Zhang reallocs++; /* count how many times we realloc */ 15310c27e3dSHong Zhang } 15410c27e3dSHong Zhang 15510c27e3dSHong Zhang /* save nonzero structure of k-th row in ju */ 15610c27e3dSHong Zhang i=k; 15710c27e3dSHong Zhang while (nzk --) { 15810c27e3dSHong Zhang i = q[i]; 15910c27e3dSHong Zhang ju[juidx++] = i; 16010c27e3dSHong Zhang } 16110c27e3dSHong Zhang } 16210c27e3dSHong Zhang 16310c27e3dSHong Zhang if (ai[mbs] != 0) { 16410c27e3dSHong Zhang PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 16510c27e3dSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,f,af); 16610c27e3dSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Run with -pc_cholesky_fill %g or use \n",af); 16710c27e3dSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:PCCholeskySetFill(pc,%g);\n",af); 16810c27e3dSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:for best performance.\n"); 16910c27e3dSHong Zhang } else { 17010c27e3dSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Empty matrix.\n"); 17110c27e3dSHong Zhang } 17210c27e3dSHong Zhang 17310c27e3dSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 17410c27e3dSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 17510c27e3dSHong Zhang 17610c27e3dSHong Zhang /* put together the new matrix */ 17710c27e3dSHong Zhang ierr = MatCreate(A->comm,bs*mbs,bs*mbs,bs*mbs,bs*mbs,B);CHKERRQ(ierr); 17810c27e3dSHong Zhang ierr = MatSetType(*B,A->type_name);CHKERRQ(ierr); 17910c27e3dSHong Zhang ierr = MatSeqSBAIJSetPreallocation(*B,bs,0,PETSC_NULL);CHKERRQ(ierr); 18010c27e3dSHong Zhang 18110c27e3dSHong Zhang /* PetscLogObjectParent(*B,iperm); */ 18210c27e3dSHong Zhang b = (Mat_SeqSBAIJ*)(*B)->data; 18310c27e3dSHong Zhang ierr = PetscFree(b->imax);CHKERRQ(ierr); 18410c27e3dSHong Zhang b->singlemalloc = PETSC_FALSE; 18510c27e3dSHong Zhang /* the next line frees the default space generated by the Create() */ 18610c27e3dSHong Zhang ierr = PetscFree(b->a);CHKERRQ(ierr); 18710c27e3dSHong Zhang ierr = PetscFree(b->ilen);CHKERRQ(ierr); 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 */ 20210c27e3dSHong Zhang PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar))); 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; 21910c27e3dSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=1\n"); 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; 22410c27e3dSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=2\n"); 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; 22910c27e3dSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:sing special in-place natural ordering factor and solve BS=3\n"); 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; 23410c27e3dSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=4\n"); 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; 23910c27e3dSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=5\n"); 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; 24410c27e3dSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=6\n"); 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; 24910c27e3dSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=7\n"); 25010c27e3dSHong Zhang break; 25110c27e3dSHong Zhang default: 25210c27e3dSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering; 25310c27e3dSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_N_NaturalOrdering; 25410c27e3dSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS>7\n"); 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 */ 2634a2ae208SSatish Balay #undef __FUNCT__ 2644a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqSBAIJ" 265dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info,Mat *B) 26649b5e25fSSatish Balay { 26749b5e25fSSatish Balay Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b; 2686849ba73SBarry Smith PetscErrorCode ierr; 26913f74950SBarry Smith PetscInt *rip,i,mbs = a->mbs,*ai,*aj; 27013f74950SBarry Smith PetscInt *jutmp,bs = A->bs,bs2=a->bs2; 27113f74950SBarry Smith PetscInt m,reallocs = 0,prow; 27213f74950SBarry Smith PetscInt *jl,*q,jmin,jmax,juidx,nzk,qm,*iu,*ju,k,j,vj,umax,maxadd; 27313f74950SBarry Smith PetscInt *il,ili,nextprow; 27415e8a5b3SHong Zhang PetscReal f = info->fill; 275671cb588SHong Zhang PetscTruth perm_identity; 27649b5e25fSSatish Balay 27749b5e25fSSatish Balay PetscFunctionBegin; 27810c27e3dSHong Zhang /* 27910c27e3dSHong Zhang This code originally uses Modified Sparse Row (MSR) storage 28010c27e3dSHong Zhang (see page 85, "Iterative Methods ..." by Saad) for the output matrix B - bad choise! 28110c27e3dSHong Zhang Then it is rewritten so the factor B takes seqsbaij format. However the associated 28210c27e3dSHong Zhang MatCholeskyFactorNumeric_() have not been modified for the cases of bs>1 or !perm_identity, 28310c27e3dSHong Zhang thus the original code in MSR format is still used for these cases. 28410c27e3dSHong Zhang The code below should replace MatCholeskyFactorSymbolic_SeqSBAIJ_MSR() whenever 28510c27e3dSHong Zhang MatCholeskyFactorNumeric_() is modified for using sbaij symbolic factor. 28610c27e3dSHong Zhang */ 287*fff829cfSHong Zhang /* check whether perm is the identity mapping */ 288*fff829cfSHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 289*fff829cfSHong Zhang if (bs>1){ 290*fff829cfSHong Zhang a->permute = PETSC_TRUE; 291*fff829cfSHong Zhang ierr = MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(A,perm,info,B);CHKERRQ(ierr); 292*fff829cfSHong Zhang PetscFunctionReturn(0); 293*fff829cfSHong Zhang } 29410c27e3dSHong Zhang 295*fff829cfSHong Zhang /* At present, the code below works only for perm_identity=PETSC_TRUE */ 296*fff829cfSHong Zhang if (perm_identity){ 297*fff829cfSHong Zhang a->permute = PETSC_FALSE; 298*fff829cfSHong Zhang ai = a->i; aj = a->j; 299*fff829cfSHong Zhang } else { 300*fff829cfSHong Zhang a->permute = PETSC_TRUE; 301*fff829cfSHong Zhang ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr); 302*fff829cfSHong Zhang ai = a->inew; aj = a->jnew; 303*fff829cfSHong Zhang } 304*fff829cfSHong Zhang 305*fff829cfSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 306*fff829cfSHong Zhang 307*fff829cfSHong Zhang /* initialization */ 308*fff829cfSHong Zhang ierr = PetscMalloc((mbs+1)*sizeof(PetscInt),&iu);CHKERRQ(ierr); 309*fff829cfSHong Zhang umax = (PetscInt)(f*ai[mbs] + 1); 310*fff829cfSHong Zhang ierr = PetscMalloc(umax*sizeof(PetscInt),&ju);CHKERRQ(ierr); 311*fff829cfSHong Zhang iu[0] = 0; 312*fff829cfSHong Zhang juidx = 0; /* index for ju */ 313*fff829cfSHong Zhang ierr = PetscMalloc((3*mbs+1)*sizeof(PetscInt),&jl);CHKERRQ(ierr); /* linked list for getting pivot row */ 314*fff829cfSHong Zhang q = jl + mbs; /* linked list for col index of active row */ 315*fff829cfSHong Zhang il = q + mbs; 316*fff829cfSHong Zhang for (i=0; i<mbs; i++){ 317*fff829cfSHong Zhang jl[i] = mbs; 318*fff829cfSHong Zhang q[i] = 0; 319*fff829cfSHong Zhang il[i] = 0; 320*fff829cfSHong Zhang } 321*fff829cfSHong Zhang 322*fff829cfSHong Zhang /* for each row k */ 323*fff829cfSHong Zhang for (k=0; k<mbs; k++){ 324*fff829cfSHong Zhang nzk = 0; /* num. of nz blocks in k-th block row with diagonal block excluded */ 325*fff829cfSHong Zhang q[k] = mbs; 326*fff829cfSHong Zhang /* initialize nonzero structure of k-th row to row rip[k] of A */ 327*fff829cfSHong Zhang jmin = ai[rip[k]] +1; /* exclude diag[k] */ 328*fff829cfSHong Zhang jmax = ai[rip[k]+1]; 329*fff829cfSHong Zhang for (j=jmin; j<jmax; j++){ 330*fff829cfSHong Zhang vj = rip[aj[j]]; /* col. value */ 331*fff829cfSHong Zhang if(vj > k){ 332*fff829cfSHong Zhang qm = k; 333*fff829cfSHong Zhang do { 334*fff829cfSHong Zhang m = qm; qm = q[m]; 335*fff829cfSHong Zhang } while(qm < vj); 336*fff829cfSHong Zhang if (qm == vj) { 337*fff829cfSHong Zhang SETERRQ(PETSC_ERR_PLIB,"Duplicate entry in A\n"); 338*fff829cfSHong Zhang } 339*fff829cfSHong Zhang nzk++; 340*fff829cfSHong Zhang q[m] = vj; 341*fff829cfSHong Zhang q[vj] = qm; 342*fff829cfSHong Zhang } /* if(vj > k) */ 343*fff829cfSHong Zhang } /* for (j=jmin; j<jmax; j++) */ 344*fff829cfSHong Zhang 345*fff829cfSHong Zhang /* modify nonzero structure of k-th row by computing fill-in 346*fff829cfSHong Zhang for each row i to be merged in */ 347*fff829cfSHong Zhang prow = k; 348*fff829cfSHong Zhang prow = jl[prow]; /* next pivot row (== mbs for symbolic factorization) */ 349*fff829cfSHong Zhang 350*fff829cfSHong Zhang while (prow < k){ 351*fff829cfSHong Zhang nextprow = jl[prow]; 352*fff829cfSHong Zhang 353*fff829cfSHong Zhang /* merge row prow into k-th row */ 354*fff829cfSHong Zhang ili = il[prow]; 355*fff829cfSHong Zhang jmin = ili + 1; /* points to 2nd nzero entry in U(prow,k:mbs-1) */ 356*fff829cfSHong Zhang jmax = iu[prow+1]; 357*fff829cfSHong Zhang qm = k; 358*fff829cfSHong Zhang for (j=jmin; j<jmax; j++){ 359*fff829cfSHong Zhang vj = ju[j]; 360*fff829cfSHong Zhang do { 361*fff829cfSHong Zhang m = qm; qm = q[m]; 362*fff829cfSHong Zhang } while (qm < vj); 363*fff829cfSHong Zhang if (qm != vj){ /* a fill */ 364*fff829cfSHong Zhang nzk++; q[m] = vj; q[vj] = qm; qm = vj; 365*fff829cfSHong Zhang } 366*fff829cfSHong Zhang } /* end of for (j=jmin; j<jmax; j++) */ 367*fff829cfSHong Zhang if (jmin < jmax){ 368*fff829cfSHong Zhang il[prow] = jmin; 369*fff829cfSHong Zhang j = ju[jmin]; 370*fff829cfSHong Zhang jl[prow] = jl[j]; jl[j] = prow; /* update jl */ 371*fff829cfSHong Zhang } 372*fff829cfSHong Zhang prow = nextprow; 373*fff829cfSHong Zhang } 374*fff829cfSHong Zhang 375*fff829cfSHong Zhang /* update il and jl */ 376*fff829cfSHong Zhang if (nzk > 0){ 377*fff829cfSHong Zhang i = q[k]; /* col value of the first nonzero element in U(k, k+1:mbs-1) */ 378*fff829cfSHong Zhang jl[k] = jl[i]; jl[i] = k; 379*fff829cfSHong Zhang il[k] = iu[k] + 1; 380*fff829cfSHong Zhang } 381*fff829cfSHong Zhang iu[k+1] = iu[k] + nzk + 1; /* include diag[k] */ 382*fff829cfSHong Zhang 383*fff829cfSHong Zhang /* allocate more space to ju if needed */ 384*fff829cfSHong Zhang if (iu[k+1] > umax) { 385*fff829cfSHong Zhang /* estimate how much additional space we will need */ 386*fff829cfSHong Zhang /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */ 387*fff829cfSHong Zhang /* just double the memory each time */ 388*fff829cfSHong Zhang maxadd = umax; 389*fff829cfSHong Zhang if (maxadd < nzk) maxadd = (mbs-k)*(nzk+1)/2; 390*fff829cfSHong Zhang umax += maxadd; 391*fff829cfSHong Zhang 392*fff829cfSHong Zhang /* allocate a longer ju */ 393*fff829cfSHong Zhang ierr = PetscMalloc(umax*sizeof(PetscInt),&jutmp);CHKERRQ(ierr); 394*fff829cfSHong Zhang ierr = PetscMemcpy(jutmp,ju,iu[k]*sizeof(PetscInt));CHKERRQ(ierr); 395*fff829cfSHong Zhang ierr = PetscFree(ju);CHKERRQ(ierr); 396*fff829cfSHong Zhang ju = jutmp; 397*fff829cfSHong Zhang reallocs++; /* count how many times we realloc */ 398*fff829cfSHong Zhang } 399*fff829cfSHong Zhang 400*fff829cfSHong Zhang /* save nonzero structure of k-th row in ju */ 401*fff829cfSHong Zhang ju[juidx++] = k; /* diag[k] */ 402*fff829cfSHong Zhang i = k; 403*fff829cfSHong Zhang while (nzk --) { 404*fff829cfSHong Zhang i = q[i]; 405*fff829cfSHong Zhang ju[juidx++] = i; 406*fff829cfSHong Zhang } 407*fff829cfSHong Zhang } 408*fff829cfSHong Zhang 409*fff829cfSHong Zhang if (ai[mbs] != 0) { 410*fff829cfSHong Zhang PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 411*fff829cfSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,f,af); 412*fff829cfSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Run with -pc_cholesky_fill %g or use \n",af); 413*fff829cfSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:PCCholeskySetFill(pc,%g);\n",af); 414*fff829cfSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:for best performance.\n"); 415*fff829cfSHong Zhang } else { 416*fff829cfSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Empty matrix.\n"); 417*fff829cfSHong Zhang } 418*fff829cfSHong Zhang 419*fff829cfSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 420*fff829cfSHong Zhang /* ierr = PetscFree(q);CHKERRQ(ierr); */ 421*fff829cfSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 422*fff829cfSHong Zhang 423*fff829cfSHong Zhang /* put together the new matrix */ 424*fff829cfSHong Zhang ierr = MatCreate(A->comm,bs*mbs,bs*mbs,bs*mbs,bs*mbs,B);CHKERRQ(ierr); 425*fff829cfSHong Zhang ierr = MatSetType(*B,A->type_name);CHKERRQ(ierr); 426*fff829cfSHong Zhang ierr = MatSeqSBAIJSetPreallocation(*B,bs,0,PETSC_NULL);CHKERRQ(ierr); 427*fff829cfSHong Zhang 428*fff829cfSHong Zhang /* PetscLogObjectParent(*B,iperm); */ 429*fff829cfSHong Zhang b = (Mat_SeqSBAIJ*)(*B)->data; 430*fff829cfSHong Zhang ierr = PetscFree(b->imax);CHKERRQ(ierr); 431*fff829cfSHong Zhang b->singlemalloc = PETSC_FALSE; 432*fff829cfSHong Zhang /* the next line frees the default space generated by the Create() */ 433*fff829cfSHong Zhang ierr = PetscFree(b->a);CHKERRQ(ierr); 434*fff829cfSHong Zhang ierr = PetscFree(b->ilen);CHKERRQ(ierr); 435*fff829cfSHong Zhang ierr = PetscMalloc((iu[mbs]+1)*sizeof(MatScalar)*bs2,&b->a);CHKERRQ(ierr); 436*fff829cfSHong Zhang b->j = ju; 437*fff829cfSHong Zhang b->i = iu; 438*fff829cfSHong Zhang b->diag = 0; 439*fff829cfSHong Zhang b->ilen = 0; 440*fff829cfSHong Zhang b->imax = 0; 441*fff829cfSHong Zhang b->row = perm; 442*fff829cfSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 443*fff829cfSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 444*fff829cfSHong Zhang b->icol = perm; 445*fff829cfSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 446*fff829cfSHong Zhang ierr = PetscMalloc((bs*mbs+bs)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 447*fff829cfSHong Zhang /* In b structure: Free imax, ilen, old a, old j. 448*fff829cfSHong Zhang Allocate idnew, solve_work, new a, new j */ 449*fff829cfSHong Zhang PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar))); 450*fff829cfSHong Zhang b->maxnz = b->nz = iu[mbs]; 451*fff829cfSHong Zhang 452*fff829cfSHong Zhang (*B)->factor = FACTOR_CHOLESKY; 453*fff829cfSHong Zhang (*B)->info.factor_mallocs = reallocs; 454*fff829cfSHong Zhang (*B)->info.fill_ratio_given = f; 455*fff829cfSHong Zhang if (ai[mbs] != 0) { 456*fff829cfSHong Zhang (*B)->info.fill_ratio_needed = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 457*fff829cfSHong Zhang } else { 458*fff829cfSHong Zhang (*B)->info.fill_ratio_needed = 0.0; 459*fff829cfSHong Zhang } 460*fff829cfSHong Zhang 461*fff829cfSHong Zhang if (perm_identity){ 462*fff829cfSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering; 463*fff829cfSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 464*fff829cfSHong Zhang (*B)->ops->solvetranspose = MatSolve_SeqSBAIJ_1_NaturalOrdering; 465*fff829cfSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special natural ordering factor and solve BS=1\n"); 466*fff829cfSHong Zhang } 467*fff829cfSHong Zhang #ifdef OLD 468cb718733SHong Zhang /* check whether perm is the identity mapping */ 469671cb588SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 47010c27e3dSHong Zhang if (bs>1 || !perm_identity){ 47110c27e3dSHong Zhang a->permute = PETSC_TRUE; 47210c27e3dSHong Zhang ierr = MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(A,perm,info,B);CHKERRQ(ierr); 47310c27e3dSHong Zhang PetscFunctionReturn(0); 47410c27e3dSHong Zhang } 475064503c5SHong Zhang 47610c27e3dSHong Zhang /* At present, the code below works only for perm_identity=PETSC_TRUE */ 47710c27e3dSHong Zhang a->permute = PETSC_FALSE; 478064503c5SHong Zhang 479064503c5SHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 480064503c5SHong Zhang ai = a->i; aj = a->j; 481064503c5SHong Zhang 482064503c5SHong Zhang /* initialization */ 48313f74950SBarry Smith ierr = PetscMalloc((mbs+1)*sizeof(PetscInt),&iu);CHKERRQ(ierr); 48413f74950SBarry Smith umax = (PetscInt)(f*ai[mbs] + 1); 48513f74950SBarry Smith ierr = PetscMalloc(umax*sizeof(PetscInt),&ju);CHKERRQ(ierr); 486064503c5SHong Zhang iu[0] = 0; 487064503c5SHong Zhang juidx = 0; /* index for ju */ 48813f74950SBarry Smith ierr = PetscMalloc((3*mbs+1)*sizeof(PetscInt),&jl);CHKERRQ(ierr); /* linked list for getting pivot row */ 489064503c5SHong Zhang q = jl + mbs; /* linked list for col index of active row */ 490064503c5SHong Zhang il = q + mbs; 491064503c5SHong Zhang for (i=0; i<mbs; i++){ 492064503c5SHong Zhang jl[i] = mbs; 493064503c5SHong Zhang q[i] = 0; 494064503c5SHong Zhang il[i] = 0; 495064503c5SHong Zhang } 496064503c5SHong Zhang 497064503c5SHong Zhang /* for each row k */ 498064503c5SHong Zhang for (k=0; k<mbs; k++){ 499064503c5SHong Zhang nzk = 0; /* num. of nz blocks in k-th block row with diagonal block excluded */ 500064503c5SHong Zhang q[k] = mbs; 501064503c5SHong Zhang /* initialize nonzero structure of k-th row to row rip[k] of A */ 502064503c5SHong Zhang jmin = ai[rip[k]] +1; /* exclude diag[k] */ 503064503c5SHong Zhang jmax = ai[rip[k]+1]; 504064503c5SHong Zhang for (j=jmin; j<jmax; j++){ 505064503c5SHong Zhang vj = rip[aj[j]]; /* col. value */ 506064503c5SHong Zhang if(vj > k){ 507064503c5SHong Zhang qm = k; 508064503c5SHong Zhang do { 509064503c5SHong Zhang m = qm; qm = q[m]; 510064503c5SHong Zhang } while(qm < vj); 511064503c5SHong Zhang if (qm == vj) { 512e005ede5SBarry Smith SETERRQ(PETSC_ERR_PLIB,"Duplicate entry in A\n"); 513064503c5SHong Zhang } 514064503c5SHong Zhang nzk++; 515064503c5SHong Zhang q[m] = vj; 516064503c5SHong Zhang q[vj] = qm; 517064503c5SHong Zhang } /* if(vj > k) */ 518064503c5SHong Zhang } /* for (j=jmin; j<jmax; j++) */ 519064503c5SHong Zhang 520064503c5SHong Zhang /* modify nonzero structure of k-th row by computing fill-in 521064503c5SHong Zhang for each row i to be merged in */ 522064503c5SHong Zhang prow = k; 523064503c5SHong Zhang prow = jl[prow]; /* next pivot row (== mbs for symbolic factorization) */ 524064503c5SHong Zhang 525064503c5SHong Zhang while (prow < k){ 526064503c5SHong Zhang nextprow = jl[prow]; 527064503c5SHong Zhang 528064503c5SHong Zhang /* merge row prow into k-th row */ 529064503c5SHong Zhang ili = il[prow]; 530064503c5SHong Zhang jmin = ili + 1; /* points to 2nd nzero entry in U(prow,k:mbs-1) */ 531064503c5SHong Zhang jmax = iu[prow+1]; 532064503c5SHong Zhang qm = k; 533064503c5SHong Zhang for (j=jmin; j<jmax; j++){ 534064503c5SHong Zhang vj = ju[j]; 535064503c5SHong Zhang do { 536064503c5SHong Zhang m = qm; qm = q[m]; 537064503c5SHong Zhang } while (qm < vj); 538064503c5SHong Zhang if (qm != vj){ /* a fill */ 539064503c5SHong Zhang nzk++; q[m] = vj; q[vj] = qm; qm = vj; 540064503c5SHong Zhang } 541064503c5SHong Zhang } /* end of for (j=jmin; j<jmax; j++) */ 542064503c5SHong Zhang if (jmin < jmax){ 543064503c5SHong Zhang il[prow] = jmin; 544064503c5SHong Zhang j = ju[jmin]; 545064503c5SHong Zhang jl[prow] = jl[j]; jl[j] = prow; /* update jl */ 546064503c5SHong Zhang } 547064503c5SHong Zhang prow = nextprow; 548064503c5SHong Zhang } 549064503c5SHong Zhang 550064503c5SHong Zhang /* update il and jl */ 551064503c5SHong Zhang if (nzk > 0){ 552064503c5SHong Zhang i = q[k]; /* col value of the first nonzero element in U(k, k+1:mbs-1) */ 553064503c5SHong Zhang jl[k] = jl[i]; jl[i] = k; 554064503c5SHong Zhang il[k] = iu[k] + 1; 555064503c5SHong Zhang } 556064503c5SHong Zhang iu[k+1] = iu[k] + nzk + 1; /* include diag[k] */ 557064503c5SHong Zhang 558064503c5SHong Zhang /* allocate more space to ju if needed */ 559064503c5SHong Zhang if (iu[k+1] > umax) { 560064503c5SHong Zhang /* estimate how much additional space we will need */ 561064503c5SHong Zhang /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */ 562064503c5SHong Zhang /* just double the memory each time */ 563064503c5SHong Zhang maxadd = umax; 564064503c5SHong Zhang if (maxadd < nzk) maxadd = (mbs-k)*(nzk+1)/2; 565064503c5SHong Zhang umax += maxadd; 566064503c5SHong Zhang 567064503c5SHong Zhang /* allocate a longer ju */ 56813f74950SBarry Smith ierr = PetscMalloc(umax*sizeof(PetscInt),&jutmp);CHKERRQ(ierr); 56913f74950SBarry Smith ierr = PetscMemcpy(jutmp,ju,iu[k]*sizeof(PetscInt));CHKERRQ(ierr); 570064503c5SHong Zhang ierr = PetscFree(ju);CHKERRQ(ierr); 571064503c5SHong Zhang ju = jutmp; 572418422e8SSatish Balay reallocs++; /* count how many times we realloc */ 573064503c5SHong Zhang } 574064503c5SHong Zhang 575064503c5SHong Zhang /* save nonzero structure of k-th row in ju */ 576064503c5SHong Zhang ju[juidx++] = k; /* diag[k] */ 577064503c5SHong Zhang i = k; 578064503c5SHong Zhang while (nzk --) { 579064503c5SHong Zhang i = q[i]; 580064503c5SHong Zhang ju[juidx++] = i; 581064503c5SHong Zhang } 582064503c5SHong Zhang } 583064503c5SHong Zhang 584064503c5SHong Zhang if (ai[mbs] != 0) { 585064503c5SHong Zhang PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 586418422e8SSatish Balay PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,f,af); 587064503c5SHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Run with -pc_cholesky_fill %g or use \n",af); 588064503c5SHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:PCCholeskySetFill(pc,%g);\n",af); 589064503c5SHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:for best performance.\n"); 590064503c5SHong Zhang } else { 591064503c5SHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Empty matrix.\n"); 592064503c5SHong Zhang } 593064503c5SHong Zhang 594064503c5SHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 595064503c5SHong Zhang /* ierr = PetscFree(q);CHKERRQ(ierr); */ 596064503c5SHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 597064503c5SHong Zhang 598064503c5SHong Zhang /* put together the new matrix */ 599be5d1d56SKris Buschelman ierr = MatCreate(A->comm,bs*mbs,bs*mbs,bs*mbs,bs*mbs,B);CHKERRQ(ierr); 600be5d1d56SKris Buschelman ierr = MatSetType(*B,A->type_name);CHKERRQ(ierr); 601be5d1d56SKris Buschelman ierr = MatSeqSBAIJSetPreallocation(*B,bs,0,PETSC_NULL);CHKERRQ(ierr); 602be5d1d56SKris Buschelman 603064503c5SHong Zhang /* PetscLogObjectParent(*B,iperm); */ 604064503c5SHong Zhang b = (Mat_SeqSBAIJ*)(*B)->data; 605064503c5SHong Zhang ierr = PetscFree(b->imax);CHKERRQ(ierr); 606064503c5SHong Zhang b->singlemalloc = PETSC_FALSE; 607064503c5SHong Zhang /* the next line frees the default space generated by the Create() */ 608064503c5SHong Zhang ierr = PetscFree(b->a);CHKERRQ(ierr); 609064503c5SHong Zhang ierr = PetscFree(b->ilen);CHKERRQ(ierr); 610064503c5SHong Zhang ierr = PetscMalloc((iu[mbs]+1)*sizeof(MatScalar)*bs2,&b->a);CHKERRQ(ierr); 611064503c5SHong Zhang b->j = ju; 612064503c5SHong Zhang b->i = iu; 613064503c5SHong Zhang b->diag = 0; 614064503c5SHong Zhang b->ilen = 0; 615064503c5SHong Zhang b->imax = 0; 616064503c5SHong Zhang b->row = perm; 61715e8a5b3SHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 618064503c5SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 619064503c5SHong Zhang b->icol = perm; 620064503c5SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 621064503c5SHong Zhang ierr = PetscMalloc((bs*mbs+bs)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 622064503c5SHong Zhang /* In b structure: Free imax, ilen, old a, old j. 623064503c5SHong Zhang Allocate idnew, solve_work, new a, new j */ 62413f74950SBarry Smith PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar))); 6256c6c5352SBarry Smith b->maxnz = b->nz = iu[mbs]; 626064503c5SHong Zhang 627064503c5SHong Zhang (*B)->factor = FACTOR_CHOLESKY; 628418422e8SSatish Balay (*B)->info.factor_mallocs = reallocs; 629064503c5SHong Zhang (*B)->info.fill_ratio_given = f; 630064503c5SHong Zhang if (ai[mbs] != 0) { 631064503c5SHong Zhang (*B)->info.fill_ratio_needed = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 632064503c5SHong Zhang } else { 633064503c5SHong Zhang (*B)->info.fill_ratio_needed = 0.0; 634064503c5SHong Zhang } 635064503c5SHong Zhang 636b45a75daSHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering; 637b45a75daSHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 638e005ede5SBarry Smith (*B)->ops->solvetranspose = MatSolve_SeqSBAIJ_1_NaturalOrdering; 639064503c5SHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=1\n"); 640*fff829cfSHong Zhang #endif /* OLD */ 641064503c5SHong Zhang PetscFunctionReturn(0); 642064503c5SHong Zhang } 6434a2ae208SSatish Balay #undef __FUNCT__ 6444a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N" 645dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N(Mat A,Mat *B) 64649b5e25fSSatish Balay { 64749b5e25fSSatish Balay Mat C = *B; 6484c16a6a6SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 6494c16a6a6SHong Zhang IS perm = b->row; 6506849ba73SBarry Smith PetscErrorCode ierr; 65113f74950SBarry Smith PetscInt *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 65213f74950SBarry Smith PetscInt *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 65313f74950SBarry Smith PetscInt bs=A->bs,bs2 = a->bs2; 6544c16a6a6SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 6554c16a6a6SHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 65628de702eSHong Zhang MatScalar *work; 65713f74950SBarry Smith PetscInt *pivots; 6584c16a6a6SHong Zhang 6594c16a6a6SHong Zhang PetscFunctionBegin; 6604c16a6a6SHong Zhang /* initialization */ 66182502324SSatish Balay ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 6624c16a6a6SHong Zhang ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr); 66313f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 66428de702eSHong Zhang jl = il + mbs; 6654c16a6a6SHong Zhang for (i=0; i<mbs; i++) { 6664c16a6a6SHong Zhang jl[i] = mbs; il[0] = 0; 6674c16a6a6SHong Zhang } 668b0a32e0cSBarry Smith ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr); 66928de702eSHong Zhang uik = dk + bs2; 67028de702eSHong Zhang work = uik + bs2; 67113f74950SBarry Smith ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr); 6724c16a6a6SHong Zhang 6734c16a6a6SHong Zhang ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr); 6744c16a6a6SHong Zhang 6754c16a6a6SHong Zhang /* check permutation */ 6764c16a6a6SHong Zhang if (!a->permute){ 6774c16a6a6SHong Zhang ai = a->i; aj = a->j; aa = a->a; 6784c16a6a6SHong Zhang } else { 6794c16a6a6SHong Zhang ai = a->inew; aj = a->jnew; 68082502324SSatish Balay ierr = PetscMalloc(bs2*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr); 6814c16a6a6SHong Zhang ierr = PetscMemcpy(aa,a->a,bs2*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr); 68213f74950SBarry Smith ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr); 68313f74950SBarry Smith ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr); 6844c16a6a6SHong Zhang 6854c16a6a6SHong Zhang for (i=0; i<mbs; i++){ 6864c16a6a6SHong Zhang jmin = ai[i]; jmax = ai[i+1]; 6874c16a6a6SHong Zhang for (j=jmin; j<jmax; j++){ 6884c16a6a6SHong Zhang while (a2anew[j] != j){ 6894c16a6a6SHong Zhang k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k; 6904c16a6a6SHong Zhang for (k1=0; k1<bs2; k1++){ 6914c16a6a6SHong Zhang dk[k1] = aa[k*bs2+k1]; 6924c16a6a6SHong Zhang aa[k*bs2+k1] = aa[j*bs2+k1]; 6934c16a6a6SHong Zhang aa[j*bs2+k1] = dk[k1]; 6944c16a6a6SHong Zhang } 6954c16a6a6SHong Zhang } 6964c16a6a6SHong Zhang /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */ 6974c16a6a6SHong Zhang if (i > aj[j]){ 6984c16a6a6SHong Zhang /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */ 6994c16a6a6SHong Zhang ap = aa + j*bs2; /* ptr to the beginning of j-th block of aa */ 7004c16a6a6SHong Zhang for (k=0; k<bs2; k++) dk[k] = ap[k]; /* dk <- j-th block of aa */ 7014c16a6a6SHong Zhang for (k=0; k<bs; k++){ /* j-th block of aa <- dk^T */ 7024c16a6a6SHong Zhang for (k1=0; k1<bs; k1++) *ap++ = dk[k + bs*k1]; 7034c16a6a6SHong Zhang } 7044c16a6a6SHong Zhang } 7054c16a6a6SHong Zhang } 7064c16a6a6SHong Zhang } 707323b833fSBarry Smith ierr = PetscFree(a2anew);CHKERRQ(ierr); 7084c16a6a6SHong Zhang } 7094c16a6a6SHong Zhang 7104c16a6a6SHong Zhang /* for each row k */ 7114c16a6a6SHong Zhang for (k = 0; k<mbs; k++){ 7124c16a6a6SHong Zhang 7134c16a6a6SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 7144c16a6a6SHong Zhang jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1]; 715057f5ba7SHong Zhang 7164c16a6a6SHong Zhang ap = aa + jmin*bs2; 7174c16a6a6SHong Zhang for (j = jmin; j < jmax; j++){ 7184c16a6a6SHong Zhang vj = perm_ptr[aj[j]]; /* block col. index */ 7194c16a6a6SHong Zhang rtmp_ptr = rtmp + vj*bs2; 7204c16a6a6SHong Zhang for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++; 7214c16a6a6SHong Zhang } 7224c16a6a6SHong Zhang 7234c16a6a6SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 7244c16a6a6SHong Zhang ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr); 7254c16a6a6SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 7264c16a6a6SHong Zhang 727057f5ba7SHong Zhang while (i < k){ 7284c16a6a6SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 7294c16a6a6SHong Zhang 7304c16a6a6SHong Zhang /* compute multiplier */ 7314c16a6a6SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 7324c16a6a6SHong Zhang 7334c16a6a6SHong Zhang /* uik = -inv(Di)*U_bar(i,k) */ 7344c16a6a6SHong Zhang diag = ba + i*bs2; 7354c16a6a6SHong Zhang u = ba + ili*bs2; 7364c16a6a6SHong Zhang ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 7374c16a6a6SHong Zhang Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u); 7384c16a6a6SHong Zhang 7394c16a6a6SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k) */ 7404c16a6a6SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u); 7414c16a6a6SHong Zhang 7424c16a6a6SHong Zhang /* update -U(i,k) */ 7434c16a6a6SHong Zhang ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 7444c16a6a6SHong Zhang 7454c16a6a6SHong Zhang /* add multiple of row i to k-th row ... */ 7464c16a6a6SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 7474c16a6a6SHong Zhang if (jmin < jmax){ 7484c16a6a6SHong Zhang for (j=jmin; j<jmax; j++) { 7494c16a6a6SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j) */ 7504c16a6a6SHong Zhang rtmp_ptr = rtmp + bj[j]*bs2; 7514c16a6a6SHong Zhang u = ba + j*bs2; 7524c16a6a6SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u); 7534c16a6a6SHong Zhang } 7544c16a6a6SHong Zhang 7554c16a6a6SHong Zhang /* ... add i to row list for next nonzero entry */ 7564c16a6a6SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 7574c16a6a6SHong Zhang j = bj[jmin]; 7584c16a6a6SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 7594c16a6a6SHong Zhang } 7604c16a6a6SHong Zhang i = nexti; 7614c16a6a6SHong Zhang } 7624c16a6a6SHong Zhang 7634c16a6a6SHong Zhang /* save nonzero entries in k-th row of U ... */ 7644c16a6a6SHong Zhang 7654c16a6a6SHong Zhang /* invert diagonal block */ 7664c16a6a6SHong Zhang diag = ba+k*bs2; 7674c16a6a6SHong Zhang ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr); 768d230e6fdSBarry Smith ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr); 7694c16a6a6SHong Zhang 7704c16a6a6SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 7714c16a6a6SHong Zhang if (jmin < jmax) { 7724c16a6a6SHong Zhang for (j=jmin; j<jmax; j++){ 7734c16a6a6SHong Zhang vj = bj[j]; /* block col. index of U */ 7744c16a6a6SHong Zhang u = ba + j*bs2; 7754c16a6a6SHong Zhang rtmp_ptr = rtmp + vj*bs2; 7764c16a6a6SHong Zhang for (k1=0; k1<bs2; k1++){ 7774c16a6a6SHong Zhang *u++ = *rtmp_ptr; 7784c16a6a6SHong Zhang *rtmp_ptr++ = 0.0; 7794c16a6a6SHong Zhang } 7804c16a6a6SHong Zhang } 7814c16a6a6SHong Zhang 7824c16a6a6SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 7834c16a6a6SHong Zhang il[k] = jmin; 7844c16a6a6SHong Zhang i = bj[jmin]; 7854c16a6a6SHong Zhang jl[k] = jl[i]; jl[i] = k; 7864c16a6a6SHong Zhang } 7874c16a6a6SHong Zhang } 7884c16a6a6SHong Zhang 7894c16a6a6SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 7904c16a6a6SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 7914c16a6a6SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 7924c16a6a6SHong Zhang ierr = PetscFree(pivots);CHKERRQ(ierr); 7934c16a6a6SHong Zhang if (a->permute){ 7944c16a6a6SHong Zhang ierr = PetscFree(aa);CHKERRQ(ierr); 7954c16a6a6SHong Zhang } 7964c16a6a6SHong Zhang 7974c16a6a6SHong Zhang ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr); 7984c16a6a6SHong Zhang C->factor = FACTOR_CHOLESKY; 7994c16a6a6SHong Zhang C->assembled = PETSC_TRUE; 8004c16a6a6SHong Zhang C->preallocated = PETSC_TRUE; 801b0a32e0cSBarry Smith PetscLogFlops(1.3333*bs*bs2*b->mbs); /* from inverting diagonal blocks */ 8024c16a6a6SHong Zhang PetscFunctionReturn(0); 8034c16a6a6SHong Zhang } 804d4edadd4SHong Zhang 8054a2ae208SSatish Balay #undef __FUNCT__ 8064a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering" 807dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering(Mat A,Mat *B) 808671cb588SHong Zhang { 809671cb588SHong Zhang Mat C = *B; 810671cb588SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 811dfbe8321SBarry Smith PetscErrorCode ierr; 81213f74950SBarry Smith PetscInt i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 81313f74950SBarry Smith PetscInt *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 81413f74950SBarry Smith PetscInt bs=A->bs,bs2 = a->bs2; 815671cb588SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 816671cb588SHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 81728de702eSHong Zhang MatScalar *work; 81813f74950SBarry Smith PetscInt *pivots; 819671cb588SHong Zhang 820671cb588SHong Zhang PetscFunctionBegin; 821671cb588SHong Zhang /* initialization */ 822671cb588SHong Zhang 82382502324SSatish Balay ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 824671cb588SHong Zhang ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr); 82513f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 82628de702eSHong Zhang jl = il + mbs; 827671cb588SHong Zhang for (i=0; i<mbs; i++) { 828671cb588SHong Zhang jl[i] = mbs; il[0] = 0; 829671cb588SHong Zhang } 830b0a32e0cSBarry Smith ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr); 83128de702eSHong Zhang uik = dk + bs2; 83228de702eSHong Zhang work = uik + bs2; 83313f74950SBarry Smith ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr); 834671cb588SHong Zhang 835671cb588SHong Zhang ai = a->i; aj = a->j; aa = a->a; 836671cb588SHong Zhang 837671cb588SHong Zhang /* for each row k */ 838671cb588SHong Zhang for (k = 0; k<mbs; k++){ 839671cb588SHong Zhang 840671cb588SHong Zhang /*initialize k-th row with elements nonzero in row k of A */ 841671cb588SHong Zhang jmin = ai[k]; jmax = ai[k+1]; 842671cb588SHong Zhang ap = aa + jmin*bs2; 843671cb588SHong Zhang for (j = jmin; j < jmax; j++){ 844671cb588SHong Zhang vj = aj[j]; /* block col. index */ 845671cb588SHong Zhang rtmp_ptr = rtmp + vj*bs2; 846671cb588SHong Zhang for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++; 847671cb588SHong Zhang } 848671cb588SHong Zhang 849671cb588SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 850671cb588SHong Zhang ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr); 851671cb588SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 852671cb588SHong Zhang 853057f5ba7SHong Zhang while (i < k){ 854671cb588SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 855671cb588SHong Zhang 856671cb588SHong Zhang /* compute multiplier */ 857671cb588SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 858671cb588SHong Zhang 859671cb588SHong Zhang /* uik = -inv(Di)*U_bar(i,k) */ 860671cb588SHong Zhang diag = ba + i*bs2; 861671cb588SHong Zhang u = ba + ili*bs2; 862671cb588SHong Zhang ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 863671cb588SHong Zhang Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u); 864671cb588SHong Zhang 865671cb588SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k) */ 866671cb588SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u); 867671cb588SHong Zhang 868671cb588SHong Zhang /* update -U(i,k) */ 869671cb588SHong Zhang ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 870671cb588SHong Zhang 871671cb588SHong Zhang /* add multiple of row i to k-th row ... */ 872671cb588SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 873671cb588SHong Zhang if (jmin < jmax){ 874671cb588SHong Zhang for (j=jmin; j<jmax; j++) { 875671cb588SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j) */ 876671cb588SHong Zhang rtmp_ptr = rtmp + bj[j]*bs2; 877671cb588SHong Zhang u = ba + j*bs2; 878671cb588SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u); 879671cb588SHong Zhang } 880671cb588SHong Zhang 881671cb588SHong Zhang /* ... add i to row list for next nonzero entry */ 882671cb588SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 883671cb588SHong Zhang j = bj[jmin]; 884671cb588SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 885671cb588SHong Zhang } 886671cb588SHong Zhang i = nexti; 887671cb588SHong Zhang } 888671cb588SHong Zhang 889671cb588SHong Zhang /* save nonzero entries in k-th row of U ... */ 890671cb588SHong Zhang 891671cb588SHong Zhang /* invert diagonal block */ 892671cb588SHong Zhang diag = ba+k*bs2; 893671cb588SHong Zhang ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr); 894d230e6fdSBarry Smith ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr); 895671cb588SHong Zhang 896671cb588SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 897671cb588SHong Zhang if (jmin < jmax) { 898671cb588SHong Zhang for (j=jmin; j<jmax; j++){ 899671cb588SHong Zhang vj = bj[j]; /* block col. index of U */ 900671cb588SHong Zhang u = ba + j*bs2; 901671cb588SHong Zhang rtmp_ptr = rtmp + vj*bs2; 902671cb588SHong Zhang for (k1=0; k1<bs2; k1++){ 903671cb588SHong Zhang *u++ = *rtmp_ptr; 904671cb588SHong Zhang *rtmp_ptr++ = 0.0; 905671cb588SHong Zhang } 906671cb588SHong Zhang } 907671cb588SHong Zhang 908671cb588SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 909671cb588SHong Zhang il[k] = jmin; 910671cb588SHong Zhang i = bj[jmin]; 911671cb588SHong Zhang jl[k] = jl[i]; jl[i] = k; 912671cb588SHong Zhang } 913671cb588SHong Zhang } 914671cb588SHong Zhang 915671cb588SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 916671cb588SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 917671cb588SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 918671cb588SHong Zhang ierr = PetscFree(pivots);CHKERRQ(ierr); 919671cb588SHong Zhang 920671cb588SHong Zhang C->factor = FACTOR_CHOLESKY; 921671cb588SHong Zhang C->assembled = PETSC_TRUE; 922671cb588SHong Zhang C->preallocated = PETSC_TRUE; 923b0a32e0cSBarry Smith PetscLogFlops(1.3333*bs*bs2*b->mbs); /* from inverting diagonal blocks */ 924671cb588SHong Zhang PetscFunctionReturn(0); 925671cb588SHong Zhang } 926671cb588SHong Zhang 92749b5e25fSSatish Balay /* 928fcf159c0SHong Zhang Numeric U^T*D*U factorization for SBAIJ format. Modified from SNF of YSMP. 929cc0c071aSHong Zhang Version for blocks 2 by 2. 93049b5e25fSSatish Balay */ 9314a2ae208SSatish Balay #undef __FUNCT__ 9324a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2" 933dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2(Mat A,Mat *B) 93449b5e25fSSatish Balay { 93549b5e25fSSatish Balay Mat C = *B; 93691602c66SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 937cc0c071aSHong Zhang IS perm = b->row; 9386849ba73SBarry Smith PetscErrorCode ierr; 93913f74950SBarry Smith PetscInt *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 94013f74950SBarry Smith PetscInt *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 941a1723e09SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 942cc0c071aSHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 94349b5e25fSSatish Balay 94449b5e25fSSatish Balay PetscFunctionBegin; 94591602c66SHong Zhang /* initialization */ 94691602c66SHong Zhang /* il and jl record the first nonzero element in each row of the accessing 94791602c66SHong Zhang window U(0:k, k:mbs-1). 94891602c66SHong Zhang jl: list of rows to be added to uneliminated rows 94991602c66SHong Zhang i>= k: jl(i) is the first row to be added to row i 95091602c66SHong Zhang i< k: jl(i) is the row following row i in some list of rows 95191602c66SHong Zhang jl(i) = mbs indicates the end of a list 95291602c66SHong Zhang il(i): points to the first nonzero element in columns k,...,mbs-1 of 95391602c66SHong Zhang row i of U */ 95482502324SSatish Balay ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 955cc0c071aSHong Zhang ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr); 95613f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 95728de702eSHong Zhang jl = il + mbs; 95891602c66SHong Zhang for (i=0; i<mbs; i++) { 9593845f261SHong Zhang jl[i] = mbs; il[0] = 0; 96091602c66SHong Zhang } 96182502324SSatish Balay ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr); 96228de702eSHong Zhang uik = dk + 4; 963cc0c071aSHong Zhang ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr); 964cc0c071aSHong Zhang 965cc0c071aSHong Zhang /* check permutation */ 966cc0c071aSHong Zhang if (!a->permute){ 967cc0c071aSHong Zhang ai = a->i; aj = a->j; aa = a->a; 968cc0c071aSHong Zhang } else { 969cc0c071aSHong Zhang ai = a->inew; aj = a->jnew; 97082502324SSatish Balay ierr = PetscMalloc(4*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr); 971cc0c071aSHong Zhang ierr = PetscMemcpy(aa,a->a,4*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr); 97213f74950SBarry Smith ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr); 97313f74950SBarry Smith ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr); 974cc0c071aSHong Zhang 975cc0c071aSHong Zhang for (i=0; i<mbs; i++){ 976cc0c071aSHong Zhang jmin = ai[i]; jmax = ai[i+1]; 977cc0c071aSHong Zhang for (j=jmin; j<jmax; j++){ 978cc0c071aSHong Zhang while (a2anew[j] != j){ 979cc0c071aSHong Zhang k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k; 980cc0c071aSHong Zhang for (k1=0; k1<4; k1++){ 981cc0c071aSHong Zhang dk[k1] = aa[k*4+k1]; 982cc0c071aSHong Zhang aa[k*4+k1] = aa[j*4+k1]; 983cc0c071aSHong Zhang aa[j*4+k1] = dk[k1]; 984cc0c071aSHong Zhang } 985cc0c071aSHong Zhang } 986cc0c071aSHong Zhang /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */ 987cc0c071aSHong Zhang if (i > aj[j]){ 988a1723e09SHong Zhang /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */ 989cc0c071aSHong Zhang ap = aa + j*4; /* ptr to the beginning of the block */ 990cc0c071aSHong Zhang dk[1] = ap[1]; /* swap ap[1] and ap[2] */ 991cc0c071aSHong Zhang ap[1] = ap[2]; 992cc0c071aSHong Zhang ap[2] = dk[1]; 993cc0c071aSHong Zhang } 994cc0c071aSHong Zhang } 995cc0c071aSHong Zhang } 996ac355199SBarry Smith ierr = PetscFree(a2anew);CHKERRQ(ierr); 997cc0c071aSHong Zhang } 9983845f261SHong Zhang 99991602c66SHong Zhang /* for each row k */ 100091602c66SHong Zhang for (k = 0; k<mbs; k++){ 100191602c66SHong Zhang 100291602c66SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 1003cc0c071aSHong Zhang jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1]; 1004cc0c071aSHong Zhang ap = aa + jmin*4; 100591602c66SHong Zhang for (j = jmin; j < jmax; j++){ 1006cc0c071aSHong Zhang vj = perm_ptr[aj[j]]; /* block col. index */ 1007cc0c071aSHong Zhang rtmp_ptr = rtmp + vj*4; 1008cc0c071aSHong Zhang for (i=0; i<4; i++) *rtmp_ptr++ = *ap++; 100991602c66SHong Zhang } 101091602c66SHong Zhang 101191602c66SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 1012cc0c071aSHong Zhang ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr); 101391602c66SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 101491602c66SHong Zhang 1015057f5ba7SHong Zhang while (i < k){ 101691602c66SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 101791602c66SHong Zhang 10183845f261SHong Zhang /* compute multiplier */ 101991602c66SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 10203845f261SHong Zhang 10213845f261SHong Zhang /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */ 1022cc0c071aSHong Zhang diag = ba + i*4; 1023cc0c071aSHong Zhang u = ba + ili*4; 1024cc0c071aSHong Zhang uik[0] = -(diag[0]*u[0] + diag[2]*u[1]); 1025cc0c071aSHong Zhang uik[1] = -(diag[1]*u[0] + diag[3]*u[1]); 1026cc0c071aSHong Zhang uik[2] = -(diag[0]*u[2] + diag[2]*u[3]); 1027cc0c071aSHong Zhang uik[3] = -(diag[1]*u[2] + diag[3]*u[3]); 10283845f261SHong Zhang 10293845f261SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */ 1030cc0c071aSHong Zhang dk[0] += uik[0]*u[0] + uik[1]*u[1]; 1031cc0c071aSHong Zhang dk[1] += uik[2]*u[0] + uik[3]*u[1]; 1032cc0c071aSHong Zhang dk[2] += uik[0]*u[2] + uik[1]*u[3]; 1033cc0c071aSHong Zhang dk[3] += uik[2]*u[2] + uik[3]*u[3]; 10343845f261SHong Zhang 10353845f261SHong Zhang /* update -U(i,k): ba[ili] = uik */ 1036cc0c071aSHong Zhang ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr); 103791602c66SHong Zhang 103891602c66SHong Zhang /* add multiple of row i to k-th row ... */ 103991602c66SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 104091602c66SHong Zhang if (jmin < jmax){ 10413845f261SHong Zhang for (j=jmin; j<jmax; j++) { 10423845f261SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */ 1043cc0c071aSHong Zhang rtmp_ptr = rtmp + bj[j]*4; 1044cc0c071aSHong Zhang u = ba + j*4; 1045cc0c071aSHong Zhang rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1]; 1046cc0c071aSHong Zhang rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1]; 1047cc0c071aSHong Zhang rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3]; 1048cc0c071aSHong Zhang rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3]; 10493845f261SHong Zhang } 10503845f261SHong Zhang 105191602c66SHong Zhang /* ... add i to row list for next nonzero entry */ 105291602c66SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 105391602c66SHong Zhang j = bj[jmin]; 105491602c66SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 105591602c66SHong Zhang } 1056a1723e09SHong Zhang i = nexti; 105791602c66SHong Zhang } 1058cc0c071aSHong Zhang 105991602c66SHong Zhang /* save nonzero entries in k-th row of U ... */ 10603845f261SHong Zhang 1061cc0c071aSHong Zhang /* invert diagonal block */ 1062cc0c071aSHong Zhang diag = ba+k*4; 1063cc0c071aSHong Zhang ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr); 10643845f261SHong Zhang ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr); 10653845f261SHong Zhang 106691602c66SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 106791602c66SHong Zhang if (jmin < jmax) { 106891602c66SHong Zhang for (j=jmin; j<jmax; j++){ 1069cc0c071aSHong Zhang vj = bj[j]; /* block col. index of U */ 1070cc0c071aSHong Zhang u = ba + j*4; 1071cc0c071aSHong Zhang rtmp_ptr = rtmp + vj*4; 1072cc0c071aSHong Zhang for (k1=0; k1<4; k1++){ 1073cc0c071aSHong Zhang *u++ = *rtmp_ptr; 1074cc0c071aSHong Zhang *rtmp_ptr++ = 0.0; 1075cc0c071aSHong Zhang } 1076cc0c071aSHong Zhang } 10773845f261SHong Zhang 107891602c66SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 107991602c66SHong Zhang il[k] = jmin; 108091602c66SHong Zhang i = bj[jmin]; 108191602c66SHong Zhang jl[k] = jl[i]; jl[i] = k; 108291602c66SHong Zhang } 108391602c66SHong Zhang } 10843845f261SHong Zhang 108549b5e25fSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 108691602c66SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 10873845f261SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 108891602c66SHong Zhang if (a->permute) { 108991602c66SHong Zhang ierr = PetscFree(aa);CHKERRQ(ierr); 109091602c66SHong Zhang } 1091cc0c071aSHong Zhang ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr); 109291602c66SHong Zhang C->factor = FACTOR_CHOLESKY; 109349b5e25fSSatish Balay C->assembled = PETSC_TRUE; 10945c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 1095b0a32e0cSBarry Smith PetscLogFlops(1.3333*8*b->mbs); /* from inverting diagonal blocks */ 109649b5e25fSSatish Balay PetscFunctionReturn(0); 109749b5e25fSSatish Balay } 109891602c66SHong Zhang 109949b5e25fSSatish Balay /* 110049b5e25fSSatish Balay Version for when blocks are 2 by 2 Using natural ordering 110149b5e25fSSatish Balay */ 11024a2ae208SSatish Balay #undef __FUNCT__ 11034a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering" 1104dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering(Mat A,Mat *B) 110549b5e25fSSatish Balay { 110649b5e25fSSatish Balay Mat C = *B; 1107ab27746eSHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 1108dfbe8321SBarry Smith PetscErrorCode ierr; 110913f74950SBarry Smith PetscInt i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 111013f74950SBarry Smith PetscInt *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 1111ab27746eSHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 1112ab27746eSHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 111349b5e25fSSatish Balay 111449b5e25fSSatish Balay PetscFunctionBegin; 1115ab27746eSHong Zhang /* initialization */ 1116ab27746eSHong Zhang /* il and jl record the first nonzero element in each row of the accessing 1117ab27746eSHong Zhang window U(0:k, k:mbs-1). 1118ab27746eSHong Zhang jl: list of rows to be added to uneliminated rows 1119ab27746eSHong Zhang i>= k: jl(i) is the first row to be added to row i 1120ab27746eSHong Zhang i< k: jl(i) is the row following row i in some list of rows 1121ab27746eSHong Zhang jl(i) = mbs indicates the end of a list 1122ab27746eSHong Zhang il(i): points to the first nonzero element in columns k,...,mbs-1 of 1123ab27746eSHong Zhang row i of U */ 112482502324SSatish Balay ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 1125ab27746eSHong Zhang ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr); 112613f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 112728de702eSHong Zhang jl = il + mbs; 1128ab27746eSHong Zhang for (i=0; i<mbs; i++) { 1129ab27746eSHong Zhang jl[i] = mbs; il[0] = 0; 113049b5e25fSSatish Balay } 113182502324SSatish Balay ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr); 113228de702eSHong Zhang uik = dk + 4; 1133ab27746eSHong Zhang 1134ab27746eSHong Zhang ai = a->i; aj = a->j; aa = a->a; 1135ab27746eSHong Zhang 1136ab27746eSHong Zhang /* for each row k */ 1137ab27746eSHong Zhang for (k = 0; k<mbs; k++){ 1138ab27746eSHong Zhang 1139ab27746eSHong Zhang /*initialize k-th row with elements nonzero in row k of A */ 1140ab27746eSHong Zhang jmin = ai[k]; jmax = ai[k+1]; 1141ab27746eSHong Zhang ap = aa + jmin*4; 1142ab27746eSHong Zhang for (j = jmin; j < jmax; j++){ 1143ab27746eSHong Zhang vj = aj[j]; /* block col. index */ 1144ab27746eSHong Zhang rtmp_ptr = rtmp + vj*4; 1145ab27746eSHong Zhang for (i=0; i<4; i++) *rtmp_ptr++ = *ap++; 114649b5e25fSSatish Balay } 1147ab27746eSHong Zhang 1148ab27746eSHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 1149ab27746eSHong Zhang ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr); 1150ab27746eSHong Zhang i = jl[k]; /* first row to be added to k_th row */ 1151ab27746eSHong Zhang 1152057f5ba7SHong Zhang while (i < k){ 1153ab27746eSHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 1154ab27746eSHong Zhang 1155ab27746eSHong Zhang /* compute multiplier */ 1156ab27746eSHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1157ab27746eSHong Zhang 1158ab27746eSHong Zhang /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */ 1159ab27746eSHong Zhang diag = ba + i*4; 1160ab27746eSHong Zhang u = ba + ili*4; 1161ab27746eSHong Zhang uik[0] = -(diag[0]*u[0] + diag[2]*u[1]); 1162ab27746eSHong Zhang uik[1] = -(diag[1]*u[0] + diag[3]*u[1]); 1163ab27746eSHong Zhang uik[2] = -(diag[0]*u[2] + diag[2]*u[3]); 1164ab27746eSHong Zhang uik[3] = -(diag[1]*u[2] + diag[3]*u[3]); 1165ab27746eSHong Zhang 1166ab27746eSHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */ 1167ab27746eSHong Zhang dk[0] += uik[0]*u[0] + uik[1]*u[1]; 1168ab27746eSHong Zhang dk[1] += uik[2]*u[0] + uik[3]*u[1]; 1169ab27746eSHong Zhang dk[2] += uik[0]*u[2] + uik[1]*u[3]; 1170ab27746eSHong Zhang dk[3] += uik[2]*u[2] + uik[3]*u[3]; 1171ab27746eSHong Zhang 1172ab27746eSHong Zhang /* update -U(i,k): ba[ili] = uik */ 1173ab27746eSHong Zhang ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr); 1174ab27746eSHong Zhang 1175ab27746eSHong Zhang /* add multiple of row i to k-th row ... */ 1176ab27746eSHong Zhang jmin = ili + 1; jmax = bi[i+1]; 1177ab27746eSHong Zhang if (jmin < jmax){ 1178ab27746eSHong Zhang for (j=jmin; j<jmax; j++) { 1179ab27746eSHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */ 1180ab27746eSHong Zhang rtmp_ptr = rtmp + bj[j]*4; 1181ab27746eSHong Zhang u = ba + j*4; 1182ab27746eSHong Zhang rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1]; 1183ab27746eSHong Zhang rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1]; 1184ab27746eSHong Zhang rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3]; 1185ab27746eSHong Zhang rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3]; 118649b5e25fSSatish Balay } 1187ab27746eSHong Zhang 1188ab27746eSHong Zhang /* ... add i to row list for next nonzero entry */ 1189ab27746eSHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 1190ab27746eSHong Zhang j = bj[jmin]; 1191ab27746eSHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 119249b5e25fSSatish Balay } 1193ab27746eSHong Zhang i = nexti; 119449b5e25fSSatish Balay } 1195ab27746eSHong Zhang 1196ab27746eSHong Zhang /* save nonzero entries in k-th row of U ... */ 1197ab27746eSHong Zhang 119849b5e25fSSatish Balay /* invert diagonal block */ 1199ab27746eSHong Zhang diag = ba+k*4; 1200ab27746eSHong Zhang ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr); 1201ab27746eSHong Zhang ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr); 1202ab27746eSHong Zhang 1203ab27746eSHong Zhang jmin = bi[k]; jmax = bi[k+1]; 1204ab27746eSHong Zhang if (jmin < jmax) { 1205ab27746eSHong Zhang for (j=jmin; j<jmax; j++){ 1206ab27746eSHong Zhang vj = bj[j]; /* block col. index of U */ 1207ab27746eSHong Zhang u = ba + j*4; 1208ab27746eSHong Zhang rtmp_ptr = rtmp + vj*4; 1209ab27746eSHong Zhang for (k1=0; k1<4; k1++){ 1210ab27746eSHong Zhang *u++ = *rtmp_ptr; 1211ab27746eSHong Zhang *rtmp_ptr++ = 0.0; 1212ab27746eSHong Zhang } 1213ab27746eSHong Zhang } 1214ab27746eSHong Zhang 1215ab27746eSHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 1216ab27746eSHong Zhang il[k] = jmin; 1217ab27746eSHong Zhang i = bj[jmin]; 1218ab27746eSHong Zhang jl[k] = jl[i]; jl[i] = k; 1219ab27746eSHong Zhang } 122049b5e25fSSatish Balay } 122149b5e25fSSatish Balay 122249b5e25fSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 1223ab27746eSHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 1224ab27746eSHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 1225ab27746eSHong Zhang 1226ab27746eSHong Zhang C->factor = FACTOR_CHOLESKY; 122749b5e25fSSatish Balay C->assembled = PETSC_TRUE; 12285c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 1229b0a32e0cSBarry Smith PetscLogFlops(1.3333*8*b->mbs); /* from inverting diagonal blocks */ 123049b5e25fSSatish Balay PetscFunctionReturn(0); 123149b5e25fSSatish Balay } 123249b5e25fSSatish Balay 123349b5e25fSSatish Balay /* 12345c0bcdfcSHong Zhang Numeric U^T*D*U factorization for SBAIJ format. Modified from SNF of YSMP. 123591602c66SHong Zhang Version for blocks are 1 by 1. 123649b5e25fSSatish Balay */ 12374a2ae208SSatish Balay #undef __FUNCT__ 12384a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1" 1239dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1(Mat A,Mat *B) 124049b5e25fSSatish Balay { 124149b5e25fSSatish Balay Mat C = *B; 124249b5e25fSSatish Balay Mat_SeqSBAIJ *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data; 124349b5e25fSSatish Balay IS ip=b->row; 12446849ba73SBarry Smith PetscErrorCode ierr; 124513f74950SBarry Smith PetscInt *rip,i,j,mbs = a->mbs,*bi=b->i,*bj=b->j; 1246*fff829cfSHong Zhang PetscInt *ai,*aj,*a2anew; 1247*fff829cfSHong Zhang PetscInt k,jmin,jmax,*jl,*il,vj,nexti,ili,nz; 1248*fff829cfSHong Zhang MatScalar *rtmp,*ba,*aa,dk,uikdi; 124949b5e25fSSatish Balay 125049b5e25fSSatish Balay PetscFunctionBegin; 1251*fff829cfSHong Zhang /* printf(" MatCholeskyFactorNumeric_SeqSBAIJ_1 is called\n"); */ 125249b5e25fSSatish Balay ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 1253cb718733SHong Zhang if (!a->permute){ 12542d007305SHong Zhang ai = a->i; aj = a->j; aa = a->a; 12552d007305SHong Zhang } else { 12562d007305SHong Zhang ai = a->inew; aj = a->jnew; 1257*fff829cfSHong Zhang nz = ai[mbs]; 1258*fff829cfSHong Zhang ierr = PetscMalloc(nz*sizeof(MatScalar),&aa);CHKERRQ(ierr); 1259*fff829cfSHong Zhang a2anew = a->a2anew; 1260*fff829cfSHong Zhang ba = a->a; 1261*fff829cfSHong Zhang for (j=0; j<nz; j++){ 1262*fff829cfSHong Zhang aa[a2anew[j]] = *(ba++); 12632d007305SHong Zhang } 12642d007305SHong Zhang } 12652d007305SHong Zhang 126691602c66SHong Zhang /* initialization */ 126749b5e25fSSatish Balay /* il and jl record the first nonzero element in each row of the accessing 126849b5e25fSSatish Balay window U(0:k, k:mbs-1). 126949b5e25fSSatish Balay jl: list of rows to be added to uneliminated rows 127049b5e25fSSatish Balay i>= k: jl(i) is the first row to be added to row i 127149b5e25fSSatish Balay i< k: jl(i) is the row following row i in some list of rows 127249b5e25fSSatish Balay jl(i) = mbs indicates the end of a list 127349b5e25fSSatish Balay il(i): points to the first nonzero element in columns k,...,mbs-1 of 127449b5e25fSSatish Balay row i of U */ 127582502324SSatish Balay ierr = PetscMalloc(mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 127613f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 127728de702eSHong Zhang jl = il + mbs; 127849b5e25fSSatish Balay for (i=0; i<mbs; i++) { 127949b5e25fSSatish Balay rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 128049b5e25fSSatish Balay } 1281*fff829cfSHong Zhang ba = b->a; 128249b5e25fSSatish Balay for (k = 0; k<mbs; k++){ 128391602c66SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 128449b5e25fSSatish Balay jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 128549b5e25fSSatish Balay for (j = jmin; j < jmax; j++){ 1286351d0355SHong Zhang vj = rip[aj[j]]; 1287ab27746eSHong Zhang rtmp[vj] = aa[j]; 128849b5e25fSSatish Balay } 128949b5e25fSSatish Balay 129091602c66SHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 129149b5e25fSSatish Balay dk = rtmp[k]; 129249b5e25fSSatish Balay i = jl[k]; /* first row to be added to k_th row */ 129349b5e25fSSatish Balay 1294057f5ba7SHong Zhang while (i < k){ 129549b5e25fSSatish Balay nexti = jl[i]; /* next row to be added to k_th row */ 129649b5e25fSSatish Balay 1297*fff829cfSHong Zhang /* compute multiplier, update diag(k) and U(i,k) */ 129849b5e25fSSatish Balay ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1299*fff829cfSHong Zhang uikdi = - ba[ili]*ba[bi[i]]; /* diagonal(k) */ /* uikdi = - ba[ili]*ba[i]; */ 130049b5e25fSSatish Balay dk += uikdi*ba[ili]; 1301658e7b3eSHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 130249b5e25fSSatish Balay 130391602c66SHong Zhang /* add multiple of row i to k-th row ... */ 130449b5e25fSSatish Balay jmin = ili + 1; jmax = bi[i+1]; 130549b5e25fSSatish Balay if (jmin < jmax){ 130649b5e25fSSatish Balay for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 1307*fff829cfSHong Zhang /* update il and jl for row i */ 1308*fff829cfSHong Zhang il[i] = jmin; 1309*fff829cfSHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 131049b5e25fSSatish Balay } 1311ab27746eSHong Zhang i = nexti; 131249b5e25fSSatish Balay } 131349b5e25fSSatish Balay 131491602c66SHong Zhang /* check for zero pivot and save diagoanl element */ 13155b8514ebSBarry Smith if (dk == 0.0){ 131629bbc08cSBarry Smith SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot"); 131749b5e25fSSatish Balay } 131849b5e25fSSatish Balay 1319*fff829cfSHong Zhang /* copy data ino U(k,:) */ 1320*fff829cfSHong Zhang ba[bi[k]] = 1.0/dk; /* ba[k] = 1.0/dk; */ /* U(k,k) */ 1321*fff829cfSHong Zhang jmin = bi[k]+1; jmax = bi[k+1]; 132249b5e25fSSatish Balay if (jmin < jmax) { 132349b5e25fSSatish Balay for (j=jmin; j<jmax; j++){ 1324cc0c071aSHong Zhang vj = bj[j]; ba[j] = rtmp[vj]; rtmp[vj] = 0.0; 132549b5e25fSSatish Balay } 132691602c66SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 132749b5e25fSSatish Balay il[k] = jmin; 132849b5e25fSSatish Balay i = bj[jmin]; 132949b5e25fSSatish Balay jl[k] = jl[i]; jl[i] = k; 133049b5e25fSSatish Balay } 133149b5e25fSSatish Balay } 133249b5e25fSSatish Balay 133349b5e25fSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 133449b5e25fSSatish Balay ierr = PetscFree(il);CHKERRQ(ierr); 1335cb718733SHong Zhang if (a->permute){ 1336cb718733SHong Zhang ierr = PetscFree(aa);CHKERRQ(ierr); 1337cb718733SHong Zhang } 133849b5e25fSSatish Balay 133949b5e25fSSatish Balay ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 13408be8c0c7SHong Zhang C->factor = FACTOR_CHOLESKY; 134149b5e25fSSatish Balay C->assembled = PETSC_TRUE; 13425c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 1343b0a32e0cSBarry Smith PetscLogFlops(b->mbs); 134449b5e25fSSatish Balay PetscFunctionReturn(0); 134549b5e25fSSatish Balay } 134649b5e25fSSatish Balay 1347671cb588SHong Zhang /* 1348671cb588SHong Zhang Version for when blocks are 1 by 1 Using natural ordering 1349671cb588SHong Zhang */ 13504a2ae208SSatish Balay #undef __FUNCT__ 13514a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering" 1352dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering(Mat A,Mat *B) 1353671cb588SHong Zhang { 1354671cb588SHong Zhang Mat C = *B; 1355671cb588SHong Zhang Mat_SeqSBAIJ *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data; 1356dfbe8321SBarry Smith PetscErrorCode ierr; 135713f74950SBarry Smith PetscInt i,j,mbs = a->mbs; 135813f74950SBarry Smith PetscInt *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 135913f74950SBarry Smith PetscInt k,jmin,*jl,*il,nexti,ili,*acol,*bcol,nz,ndamp = 0; 1360653a6975SHong Zhang MatScalar *rtmp,*ba=b->a,*aa=a->a,dk,uikdi,*aval,*bval; 136121c26570Svictorle PetscReal damping=b->factor_damping, zeropivot=b->factor_zeropivot,shift_amount; 136221c26570Svictorle PetscTruth damp,chshift; 136313f74950SBarry Smith PetscInt nshift=0; 1364653a6975SHong Zhang 1365653a6975SHong Zhang PetscFunctionBegin; 1366653a6975SHong Zhang /* initialization */ 1367653a6975SHong Zhang /* il and jl record the first nonzero element in each row of the accessing 1368653a6975SHong Zhang window U(0:k, k:mbs-1). 1369653a6975SHong Zhang jl: list of rows to be added to uneliminated rows 1370653a6975SHong Zhang i>= k: jl(i) is the first row to be added to row i 1371653a6975SHong Zhang i< k: jl(i) is the row following row i in some list of rows 1372653a6975SHong Zhang jl(i) = mbs indicates the end of a list 1373653a6975SHong Zhang il(i): points to the first nonzero element in U(i,k:mbs-1) 1374653a6975SHong Zhang */ 1375653a6975SHong Zhang ierr = PetscMalloc(mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 137613f74950SBarry Smith ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr); 1377653a6975SHong Zhang jl = il + mbs; 1378b00f7748SHong Zhang 137921c26570Svictorle shift_amount = 0; 1380b00f7748SHong Zhang do { 1381b00f7748SHong Zhang damp = PETSC_FALSE; 138221c26570Svictorle chshift = PETSC_FALSE; 1383653a6975SHong Zhang for (i=0; i<mbs; i++) { 1384653a6975SHong Zhang rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 1385653a6975SHong Zhang } 1386653a6975SHong Zhang 1387b00f7748SHong Zhang for (k = 0; k<mbs; k++){ /* row k */ 1388653a6975SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 1389653a6975SHong Zhang nz = ai[k+1] - ai[k]; 1390653a6975SHong Zhang acol = aj + ai[k]; 1391653a6975SHong Zhang aval = aa + ai[k]; 1392653a6975SHong Zhang bval = ba + bi[k]; 1393653a6975SHong Zhang while (nz -- ){ 1394653a6975SHong Zhang rtmp[*acol++] = *aval++; 1395653a6975SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 1396653a6975SHong Zhang } 1397b00f7748SHong Zhang /* damp the diagonal of the matrix */ 139821c26570Svictorle if (ndamp||nshift) rtmp[k] += damping+shift_amount; 1399653a6975SHong Zhang 1400653a6975SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 1401653a6975SHong Zhang dk = rtmp[k]; 1402653a6975SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 1403653a6975SHong Zhang 1404653a6975SHong Zhang while (i < k){ 1405653a6975SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 1406653a6975SHong Zhang 1407653a6975SHong Zhang /* compute multiplier, update D(k) and U(i,k) */ 1408653a6975SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1409653a6975SHong Zhang uikdi = - ba[ili]*ba[bi[i]]; 1410653a6975SHong Zhang dk += uikdi*ba[ili]; 1411653a6975SHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 1412653a6975SHong Zhang 1413653a6975SHong Zhang /* add multiple of row i to k-th row ... */ 1414653a6975SHong Zhang jmin = ili + 1; 1415653a6975SHong Zhang nz = bi[i+1] - jmin; 1416653a6975SHong Zhang if (nz > 0){ 1417653a6975SHong Zhang bcol = bj + jmin; 1418653a6975SHong Zhang bval = ba + jmin; 1419653a6975SHong Zhang while (nz --) rtmp[*bcol++] += uikdi*(*bval++); 1420653a6975SHong Zhang /* ... add i to row list for next nonzero entry */ 1421653a6975SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 1422653a6975SHong Zhang j = bj[jmin]; 1423653a6975SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 1424653a6975SHong Zhang } 1425653a6975SHong Zhang i = nexti; 1426653a6975SHong Zhang } 1427653a6975SHong Zhang 142821c26570Svictorle if (PetscRealPart(dk) < zeropivot && b->factor_shift){ 1429d530a6e7Svictorle /* calculate a shift that would make this row diagonally dominant */ 143029f69fd4SBarry Smith PetscReal rs = PetscAbs(PetscRealPart(dk)); 143121c26570Svictorle jmin = bi[k]+1; 143221c26570Svictorle nz = bi[k+1] - jmin; 143321c26570Svictorle if (nz){ 143421c26570Svictorle bcol = bj + jmin; 143521c26570Svictorle bval = ba + jmin; 143621c26570Svictorle while (nz--){ 143721c26570Svictorle rs += PetscAbsScalar(rtmp[*bcol++]); 143821c26570Svictorle } 143921c26570Svictorle } 1440d530a6e7Svictorle /* if this shift is less than the previous, just up the previous 1441d530a6e7Svictorle one by a bit */ 1442d530a6e7Svictorle shift_amount = PetscMax(rs,1.1*shift_amount); 144321c26570Svictorle chshift = PETSC_TRUE; 1444d530a6e7Svictorle /* Unlike in the ILU case there is no exit condition on nshift: 1445d530a6e7Svictorle we increase the shift until it converges. There is no guarantee that 1446d530a6e7Svictorle this algorithm converges faster or slower, or is better or worse 1447d530a6e7Svictorle than the ILU algorithm. */ 144821c26570Svictorle nshift++; 144921c26570Svictorle break; 145021c26570Svictorle } 1451ffa0b812SHong Zhang if (PetscRealPart(dk) < zeropivot){ 1452ffa0b812SHong Zhang if (damping == (PetscReal) PETSC_DECIDE) damping = -PetscRealPart(dk)/(k+1); 1453b00f7748SHong Zhang if (damping > 0.0) { 1454b00f7748SHong Zhang if (ndamp) damping *= 2.0; 1455b00f7748SHong Zhang damp = PETSC_TRUE; 1456b00f7748SHong Zhang ndamp++; 1457b00f7748SHong Zhang break; 1458481c2c92SHong Zhang } else if (PetscAbsScalar(dk) < zeropivot){ 145977431f27SBarry Smith SETERRQ3(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot row %D value %g tolerance %g",k,PetscRealPart(dk),zeropivot); 1460481c2c92SHong Zhang } else { 146177431f27SBarry Smith PetscLogInfo((PetscObject)A,"Negative pivot %g in row %D of Cholesky factorization\n",PetscRealPart(dk),k); 1462b00f7748SHong Zhang } 1463064503c5SHong Zhang } 1464653a6975SHong Zhang 1465653a6975SHong Zhang /* save nonzero entries in k-th row of U ... */ 146677431f27SBarry Smith /* printf("%D, dk: %g, 1/dk: %g\n",k,dk,1/dk); */ 1467653a6975SHong Zhang ba[bi[k]] = 1.0/dk; 1468653a6975SHong Zhang jmin = bi[k]+1; 1469653a6975SHong Zhang nz = bi[k+1] - jmin; 1470653a6975SHong Zhang if (nz){ 1471653a6975SHong Zhang bcol = bj + jmin; 1472653a6975SHong Zhang bval = ba + jmin; 1473653a6975SHong Zhang while (nz--){ 1474653a6975SHong Zhang *bval++ = rtmp[*bcol]; 1475653a6975SHong Zhang rtmp[*bcol++] = 0.0; 1476653a6975SHong Zhang } 1477653a6975SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 1478653a6975SHong Zhang il[k] = jmin; 1479653a6975SHong Zhang i = bj[jmin]; 1480653a6975SHong Zhang jl[k] = jl[i]; jl[i] = k; 1481653a6975SHong Zhang } 1482b00f7748SHong Zhang } /* end of for (k = 0; k<mbs; k++) */ 148321c26570Svictorle } while (damp||chshift); 1484653a6975SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 1485653a6975SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 1486653a6975SHong Zhang 1487653a6975SHong Zhang C->factor = FACTOR_CHOLESKY; 1488653a6975SHong Zhang C->assembled = PETSC_TRUE; 1489653a6975SHong Zhang C->preallocated = PETSC_TRUE; 1490653a6975SHong Zhang PetscLogFlops(b->mbs); 1491b00f7748SHong Zhang if (ndamp) { 149277431f27SBarry Smith PetscLogInfo(0,"MatCholeskyFactorNumerical_SeqSBAIJ_1_NaturalOrdering: number of damping tries %D damping value %g\n",ndamp,damping); 1493b00f7748SHong Zhang } 1494fb10cecfSBarry Smith if (nshift) { 149577431f27SBarry Smith PetscLogInfo(0,"MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering diagonal shifted %D shifts\n",nshift); 1496fb10cecfSBarry Smith } 1497fb10cecfSBarry Smith 1498653a6975SHong Zhang PetscFunctionReturn(0); 1499653a6975SHong Zhang } 1500653a6975SHong Zhang 1501653a6975SHong Zhang #undef __FUNCT__ 15024a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactor_SeqSBAIJ" 1503dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactor_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info) 150449b5e25fSSatish Balay { 1505dfbe8321SBarry Smith PetscErrorCode ierr; 150649b5e25fSSatish Balay Mat C; 150749b5e25fSSatish Balay 150849b5e25fSSatish Balay PetscFunctionBegin; 150915e8a5b3SHong Zhang ierr = MatCholeskyFactorSymbolic(A,perm,info,&C);CHKERRQ(ierr); 1510a4ada70bSHong Zhang ierr = MatCholeskyFactorNumeric(A,&C);CHKERRQ(ierr); 15114445ddedSHong Zhang ierr = MatHeaderCopy(A,C);CHKERRQ(ierr); 151249b5e25fSSatish Balay PetscFunctionReturn(0); 151349b5e25fSSatish Balay } 151449b5e25fSSatish Balay 151549b5e25fSSatish Balay 1516