1be1d678aSKris Buschelman 24e2b4712SSatish Balay /* 34e2b4712SSatish Balay Factorization code for BAIJ format. 44e2b4712SSatish Balay */ 54e2b4712SSatish Balay 6c6db04a5SJed Brown #include <../src/mat/impls/baij/seq/baij.h> 7af0996ceSBarry Smith #include <petsc/private/kernels/blockinvert.h> 8c6db04a5SJed Brown #include <petscbt.h> 9c6db04a5SJed Brown #include <../src/mat/utils/freespace.h> 104e2b4712SSatish Balay 114e2b4712SSatish Balay /* ----------------------------------------------------------------*/ 1209573ac7SBarry Smith extern PetscErrorCode MatDuplicateNoCreate_SeqBAIJ(Mat,Mat,MatDuplicateOption,PetscBool); 136bce7ff8SHong Zhang 142b0b2ea7SShri Abhyankar #undef __FUNCT__ 1529a97285SShri Abhyankar #define __FUNCT__ "MatLUFactorNumeric_SeqBAIJ_15_NaturalOrdering" 16766f9fbaSBarry Smith /* 17766f9fbaSBarry Smith This is not much faster than MatLUFactorNumeric_SeqBAIJ_N() but the solve is faster at least sometimes 18766f9fbaSBarry Smith */ 1929a97285SShri Abhyankar PetscErrorCode MatLUFactorNumeric_SeqBAIJ_15_NaturalOrdering(Mat B,Mat A,const MatFactorInfo *info) 202b0b2ea7SShri Abhyankar { 212b0b2ea7SShri Abhyankar Mat C =B; 222b0b2ea7SShri Abhyankar Mat_SeqBAIJ *a=(Mat_SeqBAIJ*)A->data,*b=(Mat_SeqBAIJ*)C->data; 232b0b2ea7SShri Abhyankar PetscErrorCode ierr; 24766f9fbaSBarry Smith PetscInt i,j,k,ipvt[15]; 25766f9fbaSBarry Smith const PetscInt n=a->mbs,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j,*ajtmp,*bjtmp,*bdiag=b->diag,*pj; 26766f9fbaSBarry Smith PetscInt nz,nzL,row; 27766f9fbaSBarry Smith MatScalar *rtmp,*pc,*mwork,*pv,*vv,work[225]; 28766f9fbaSBarry Smith const MatScalar *v,*aa=a->a; 292b0b2ea7SShri Abhyankar PetscInt bs2 = a->bs2,bs=A->rmap->bs,flg; 300fa040f9SShri Abhyankar PetscInt sol_ver; 31a455e926SHong Zhang PetscBool allowzeropivot,zeropivotdetected; 322b0b2ea7SShri Abhyankar 332b0b2ea7SShri Abhyankar PetscFunctionBegin; 34c5929fdfSBarry Smith ierr = PetscOptionsGetInt(NULL,((PetscObject)A)->prefix,"-sol_ver",&sol_ver,NULL);CHKERRQ(ierr); 350fa040f9SShri Abhyankar 362b0b2ea7SShri Abhyankar /* generate work space needed by the factorization */ 37dcca6d9dSJed Brown ierr = PetscMalloc2(bs2*n,&rtmp,bs2,&mwork);CHKERRQ(ierr); 382b0b2ea7SShri Abhyankar ierr = PetscMemzero(rtmp,bs2*n*sizeof(MatScalar));CHKERRQ(ierr); 392b0b2ea7SShri Abhyankar 402b0b2ea7SShri Abhyankar for (i=0; i<n; i++) { 412b0b2ea7SShri Abhyankar /* zero rtmp */ 422b0b2ea7SShri Abhyankar /* L part */ 432b0b2ea7SShri Abhyankar nz = bi[i+1] - bi[i]; 442b0b2ea7SShri Abhyankar bjtmp = bj + bi[i]; 452b0b2ea7SShri Abhyankar for (j=0; j<nz; j++) { 462b0b2ea7SShri Abhyankar ierr = PetscMemzero(rtmp+bs2*bjtmp[j],bs2*sizeof(MatScalar));CHKERRQ(ierr); 472b0b2ea7SShri Abhyankar } 482b0b2ea7SShri Abhyankar 492b0b2ea7SShri Abhyankar /* U part */ 502b0b2ea7SShri Abhyankar nz = bdiag[i] - bdiag[i+1]; 512b0b2ea7SShri Abhyankar bjtmp = bj + bdiag[i+1]+1; 522b0b2ea7SShri Abhyankar for (j=0; j<nz; j++) { 532b0b2ea7SShri Abhyankar ierr = PetscMemzero(rtmp+bs2*bjtmp[j],bs2*sizeof(MatScalar));CHKERRQ(ierr); 542b0b2ea7SShri Abhyankar } 552b0b2ea7SShri Abhyankar 562b0b2ea7SShri Abhyankar /* load in initial (unfactored row) */ 5729a97285SShri Abhyankar nz = ai[i+1] - ai[i]; 5829a97285SShri Abhyankar ajtmp = aj + ai[i]; 5929a97285SShri Abhyankar v = aa + bs2*ai[i]; 602b0b2ea7SShri Abhyankar for (j=0; j<nz; j++) { 6129a97285SShri Abhyankar ierr = PetscMemcpy(rtmp+bs2*ajtmp[j],v+bs2*j,bs2*sizeof(MatScalar));CHKERRQ(ierr); 622b0b2ea7SShri Abhyankar } 632b0b2ea7SShri Abhyankar 642b0b2ea7SShri Abhyankar /* elimination */ 652b0b2ea7SShri Abhyankar bjtmp = bj + bi[i]; 662b0b2ea7SShri Abhyankar nzL = bi[i+1] - bi[i]; 672b0b2ea7SShri Abhyankar for (k=0; k < nzL; k++) { 682b0b2ea7SShri Abhyankar row = bjtmp[k]; 692b0b2ea7SShri Abhyankar pc = rtmp + bs2*row; 70c35f09e5SBarry Smith for (flg=0,j=0; j<bs2; j++) { 71c35f09e5SBarry Smith if (pc[j]!=0.0) { 72c35f09e5SBarry Smith flg = 1; 73c35f09e5SBarry Smith break; 74c35f09e5SBarry Smith } 75c35f09e5SBarry Smith } 762b0b2ea7SShri Abhyankar if (flg) { 772b0b2ea7SShri Abhyankar pv = b->a + bs2*bdiag[row]; 7896b95a6bSBarry Smith PetscKernel_A_gets_A_times_B(bs,pc,pv,mwork); 7996b95a6bSBarry Smith /*ierr = PetscKernel_A_gets_A_times_B_15(pc,pv,mwork);CHKERRQ(ierr);*/ 802b0b2ea7SShri Abhyankar pj = b->j + bdiag[row+1]+1; /* begining of U(row,:) */ 812b0b2ea7SShri Abhyankar pv = b->a + bs2*(bdiag[row+1]+1); 822b0b2ea7SShri Abhyankar nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries inU(row,:), excluding diag */ 832b0b2ea7SShri Abhyankar for (j=0; j<nz; j++) { 84766f9fbaSBarry Smith vv = rtmp + bs2*pj[j]; 8596b95a6bSBarry Smith PetscKernel_A_gets_A_minus_B_times_C(bs,vv,pc,pv); 8696b95a6bSBarry Smith /* ierr = PetscKernel_A_gets_A_minus_B_times_C_15(vv,pc,pv);CHKERRQ(ierr); */ 872b0b2ea7SShri Abhyankar pv += bs2; 882b0b2ea7SShri Abhyankar } 89766f9fbaSBarry Smith ierr = PetscLogFlops(2*bs2*bs*(nz+1)-bs2);CHKERRQ(ierr); /* flops = 2*bs^3*nz + 2*bs^3 - bs2) */ 902b0b2ea7SShri Abhyankar } 912b0b2ea7SShri Abhyankar } 922b0b2ea7SShri Abhyankar 932b0b2ea7SShri Abhyankar /* finished row so stick it into b->a */ 942b0b2ea7SShri Abhyankar /* L part */ 952b0b2ea7SShri Abhyankar pv = b->a + bs2*bi[i]; 962b0b2ea7SShri Abhyankar pj = b->j + bi[i]; 972b0b2ea7SShri Abhyankar nz = bi[i+1] - bi[i]; 982b0b2ea7SShri Abhyankar for (j=0; j<nz; j++) { 992b0b2ea7SShri Abhyankar ierr = PetscMemcpy(pv+bs2*j,rtmp+bs2*pj[j],bs2*sizeof(MatScalar));CHKERRQ(ierr); 1002b0b2ea7SShri Abhyankar } 1012b0b2ea7SShri Abhyankar 1022b0b2ea7SShri Abhyankar /* Mark diagonal and invert diagonal for simplier triangular solves */ 1032b0b2ea7SShri Abhyankar pv = b->a + bs2*bdiag[i]; 1042b0b2ea7SShri Abhyankar pj = b->j + bdiag[i]; 1052b0b2ea7SShri Abhyankar ierr = PetscMemcpy(pv,rtmp+bs2*pj[0],bs2*sizeof(MatScalar));CHKERRQ(ierr); 106*5f8bbccaSHong Zhang 107a455e926SHong Zhang allowzeropivot = PetscNot(A->erroriffailure); 108a455e926SHong Zhang ierr = PetscKernel_A_gets_inverse_A_15(pv,ipvt,work,info->shiftamount,allowzeropivot,&zeropivotdetected);CHKERRQ(ierr); 109922032d7SHong Zhang if (zeropivotdetected) C->errortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 1102b0b2ea7SShri Abhyankar 1112b0b2ea7SShri Abhyankar /* U part */ 1122b0b2ea7SShri Abhyankar pv = b->a + bs2*(bdiag[i+1]+1); 1132b0b2ea7SShri Abhyankar pj = b->j + bdiag[i+1]+1; 1142b0b2ea7SShri Abhyankar nz = bdiag[i] - bdiag[i+1] - 1; 1152b0b2ea7SShri Abhyankar for (j=0; j<nz; j++) { 1162b0b2ea7SShri Abhyankar ierr = PetscMemcpy(pv+bs2*j,rtmp+bs2*pj[j],bs2*sizeof(MatScalar));CHKERRQ(ierr); 1172b0b2ea7SShri Abhyankar } 1182b0b2ea7SShri Abhyankar } 1192b0b2ea7SShri Abhyankar 1202b0b2ea7SShri Abhyankar ierr = PetscFree2(rtmp,mwork);CHKERRQ(ierr); 12126fbe8dcSKarl Rupp 122832cc040SShri Abhyankar C->ops->solve = MatSolve_SeqBAIJ_15_NaturalOrdering_ver1; 123766f9fbaSBarry Smith C->ops->solvetranspose = MatSolve_SeqBAIJ_N_NaturalOrdering; 1242b0b2ea7SShri Abhyankar C->assembled = PETSC_TRUE; 12526fbe8dcSKarl Rupp 126766f9fbaSBarry Smith ierr = PetscLogFlops(1.333333333333*bs*bs2*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 1272b0b2ea7SShri Abhyankar PetscFunctionReturn(0); 1282b0b2ea7SShri Abhyankar } 1292b0b2ea7SShri Abhyankar 1306bce7ff8SHong Zhang #undef __FUNCT__ 1314dd39f65SShri Abhyankar #define __FUNCT__ "MatLUFactorNumeric_SeqBAIJ_N" 1324dd39f65SShri Abhyankar PetscErrorCode MatLUFactorNumeric_SeqBAIJ_N(Mat B,Mat A,const MatFactorInfo *info) 1336bce7ff8SHong Zhang { 1346bce7ff8SHong Zhang Mat C =B; 1356bce7ff8SHong Zhang Mat_SeqBAIJ *a =(Mat_SeqBAIJ*)A->data,*b=(Mat_SeqBAIJ*)C->data; 1366bce7ff8SHong Zhang IS isrow = b->row,isicol = b->icol; 1376bce7ff8SHong Zhang PetscErrorCode ierr; 1385a586d82SBarry Smith const PetscInt *r,*ic; 1396bce7ff8SHong Zhang PetscInt i,j,k,n=a->mbs,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 1406bce7ff8SHong Zhang PetscInt *ajtmp,*bjtmp,nz,nzL,row,*bdiag=b->diag,*pj; 141b588c5a2SHong Zhang MatScalar *rtmp,*pc,*mwork,*v,*pv,*aa=a->a; 142914a18a2SHong Zhang PetscInt bs=A->rmap->bs,bs2 = a->bs2,*v_pivots,flg; 143914a18a2SHong Zhang MatScalar *v_work; 144ace3abfcSBarry Smith PetscBool col_identity,row_identity,both_identity; 145*5f8bbccaSHong Zhang PetscBool allowzeropivot,zeropivotdetected; 1466bce7ff8SHong Zhang 1476bce7ff8SHong Zhang PetscFunctionBegin; 1486bce7ff8SHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 1496bce7ff8SHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 150*5f8bbccaSHong Zhang allowzeropivot = PetscNot(A->erroriffailure); 151ae3d28f0SHong Zhang 152785e854fSJed Brown ierr = PetscMalloc1(bs2*n,&rtmp);CHKERRQ(ierr); 153fca92195SBarry Smith ierr = PetscMemzero(rtmp,bs2*n*sizeof(MatScalar));CHKERRQ(ierr); 1546bce7ff8SHong Zhang 155914a18a2SHong Zhang /* generate work space needed by dense LU factorization */ 156dcca6d9dSJed Brown ierr = PetscMalloc3(bs,&v_work,bs2,&mwork,bs,&v_pivots);CHKERRQ(ierr); 157914a18a2SHong Zhang 1586bce7ff8SHong Zhang for (i=0; i<n; i++) { 1596bce7ff8SHong Zhang /* zero rtmp */ 1606bce7ff8SHong Zhang /* L part */ 1616bce7ff8SHong Zhang nz = bi[i+1] - bi[i]; 1626bce7ff8SHong Zhang bjtmp = bj + bi[i]; 163914a18a2SHong Zhang for (j=0; j<nz; j++) { 164914a18a2SHong Zhang ierr = PetscMemzero(rtmp+bs2*bjtmp[j],bs2*sizeof(MatScalar));CHKERRQ(ierr); 165914a18a2SHong Zhang } 1666bce7ff8SHong Zhang 1676bce7ff8SHong Zhang /* U part */ 1681a83e813SShri Abhyankar nz = bdiag[i] - bdiag[i+1]; 1691a83e813SShri Abhyankar bjtmp = bj + bdiag[i+1]+1; 1701a83e813SShri Abhyankar for (j=0; j<nz; j++) { 1711a83e813SShri Abhyankar ierr = PetscMemzero(rtmp+bs2*bjtmp[j],bs2*sizeof(MatScalar));CHKERRQ(ierr); 1721a83e813SShri Abhyankar } 1731a83e813SShri Abhyankar 1741a83e813SShri Abhyankar /* load in initial (unfactored row) */ 1751a83e813SShri Abhyankar nz = ai[r[i]+1] - ai[r[i]]; 1761a83e813SShri Abhyankar ajtmp = aj + ai[r[i]]; 1771a83e813SShri Abhyankar v = aa + bs2*ai[r[i]]; 1781a83e813SShri Abhyankar for (j=0; j<nz; j++) { 1791a83e813SShri Abhyankar ierr = PetscMemcpy(rtmp+bs2*ic[ajtmp[j]],v+bs2*j,bs2*sizeof(MatScalar));CHKERRQ(ierr); 1801a83e813SShri Abhyankar } 1811a83e813SShri Abhyankar 1821a83e813SShri Abhyankar /* elimination */ 1831a83e813SShri Abhyankar bjtmp = bj + bi[i]; 1841a83e813SShri Abhyankar nzL = bi[i+1] - bi[i]; 1851a83e813SShri Abhyankar for (k=0; k < nzL; k++) { 1861a83e813SShri Abhyankar row = bjtmp[k]; 1871a83e813SShri Abhyankar pc = rtmp + bs2*row; 188c35f09e5SBarry Smith for (flg=0,j=0; j<bs2; j++) { 189c35f09e5SBarry Smith if (pc[j]!=0.0) { 190c35f09e5SBarry Smith flg = 1; 191c35f09e5SBarry Smith break; 192c35f09e5SBarry Smith } 193c35f09e5SBarry Smith } 1941a83e813SShri Abhyankar if (flg) { 1951a83e813SShri Abhyankar pv = b->a + bs2*bdiag[row]; 19696b95a6bSBarry Smith PetscKernel_A_gets_A_times_B(bs,pc,pv,mwork); /* *pc = *pc * (*pv); */ 1971a83e813SShri Abhyankar pj = b->j + bdiag[row+1]+1; /* begining of U(row,:) */ 1981a83e813SShri Abhyankar pv = b->a + bs2*(bdiag[row+1]+1); 1991a83e813SShri Abhyankar nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries inU(row,:), excluding diag */ 2001a83e813SShri Abhyankar for (j=0; j<nz; j++) { 20196b95a6bSBarry Smith PetscKernel_A_gets_A_minus_B_times_C(bs,rtmp+bs2*pj[j],pc,pv+bs2*j); 2021a83e813SShri Abhyankar } 2031a83e813SShri Abhyankar ierr = PetscLogFlops(2*bs2*bs*(nz+1)-bs2);CHKERRQ(ierr); /* flops = 2*bs^3*nz + 2*bs^3 - bs2) */ 2041a83e813SShri Abhyankar } 2051a83e813SShri Abhyankar } 2061a83e813SShri Abhyankar 2071a83e813SShri Abhyankar /* finished row so stick it into b->a */ 2081a83e813SShri Abhyankar /* L part */ 2091a83e813SShri Abhyankar pv = b->a + bs2*bi[i]; 2101a83e813SShri Abhyankar pj = b->j + bi[i]; 2111a83e813SShri Abhyankar nz = bi[i+1] - bi[i]; 2121a83e813SShri Abhyankar for (j=0; j<nz; j++) { 2131a83e813SShri Abhyankar ierr = PetscMemcpy(pv+bs2*j,rtmp+bs2*pj[j],bs2*sizeof(MatScalar));CHKERRQ(ierr); 2141a83e813SShri Abhyankar } 2151a83e813SShri Abhyankar 2161a83e813SShri Abhyankar /* Mark diagonal and invert diagonal for simplier triangular solves */ 2171a83e813SShri Abhyankar pv = b->a + bs2*bdiag[i]; 2181a83e813SShri Abhyankar pj = b->j + bdiag[i]; 219e32f2f54SBarry Smith /* if (*pj != i)SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_SUP,"row %d != *pj %d",i,*pj); */ 2201a83e813SShri Abhyankar ierr = PetscMemcpy(pv,rtmp+bs2*pj[0],bs2*sizeof(MatScalar));CHKERRQ(ierr); 221*5f8bbccaSHong Zhang 222*5f8bbccaSHong Zhang ierr = PetscKernel_A_gets_inverse_A(bs,pv,v_pivots,v_work,allowzeropivot,&zeropivotdetected);CHKERRQ(ierr); 223*5f8bbccaSHong Zhang if (zeropivotdetected) B->errortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 2241a83e813SShri Abhyankar 2251a83e813SShri Abhyankar /* U part */ 2261a83e813SShri Abhyankar pv = b->a + bs2*(bdiag[i+1]+1); 2271a83e813SShri Abhyankar pj = b->j + bdiag[i+1]+1; 2281a83e813SShri Abhyankar nz = bdiag[i] - bdiag[i+1] - 1; 2291a83e813SShri Abhyankar for (j=0; j<nz; j++) { 2301a83e813SShri Abhyankar ierr = PetscMemcpy(pv+bs2*j,rtmp+bs2*pj[j],bs2*sizeof(MatScalar));CHKERRQ(ierr); 2311a83e813SShri Abhyankar } 2321a83e813SShri Abhyankar } 2331a83e813SShri Abhyankar 2341a83e813SShri Abhyankar ierr = PetscFree(rtmp);CHKERRQ(ierr); 235fca92195SBarry Smith ierr = PetscFree3(v_work,mwork,v_pivots);CHKERRQ(ierr); 2361a83e813SShri Abhyankar ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 2371a83e813SShri Abhyankar ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 2381a83e813SShri Abhyankar 239ae3d28f0SHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 240ae3d28f0SHong Zhang ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 24126fbe8dcSKarl Rupp 242ace3abfcSBarry Smith both_identity = (PetscBool) (row_identity && col_identity); 243ae3d28f0SHong Zhang if (both_identity) { 2444dd39f65SShri Abhyankar C->ops->solve = MatSolve_SeqBAIJ_N_NaturalOrdering; 245ae3d28f0SHong Zhang } else { 2464dd39f65SShri Abhyankar C->ops->solve = MatSolve_SeqBAIJ_N; 247ae3d28f0SHong Zhang } 2484dd39f65SShri Abhyankar C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_N; 249ae3d28f0SHong Zhang 2501a83e813SShri Abhyankar C->assembled = PETSC_TRUE; 25126fbe8dcSKarl Rupp 252766f9fbaSBarry Smith ierr = PetscLogFlops(1.333333333333*bs*bs2*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */ 2531a83e813SShri Abhyankar PetscFunctionReturn(0); 2541a83e813SShri Abhyankar } 2551a83e813SShri Abhyankar 2566bce7ff8SHong Zhang /* 2576bce7ff8SHong Zhang ilu(0) with natural ordering under new data structure. 2584dd39f65SShri Abhyankar See MatILUFactorSymbolic_SeqAIJ_ilu0() for detailed description 2594dd39f65SShri Abhyankar because this code is almost identical to MatILUFactorSymbolic_SeqAIJ_ilu0_inplace(). 2606bce7ff8SHong Zhang */ 261c0c7eb62SShri Abhyankar 2626bce7ff8SHong Zhang #undef __FUNCT__ 2634dd39f65SShri Abhyankar #define __FUNCT__ "MatILUFactorSymbolic_SeqBAIJ_ilu0" 2644dd39f65SShri Abhyankar PetscErrorCode MatILUFactorSymbolic_SeqBAIJ_ilu0(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 2656bce7ff8SHong Zhang { 2666bce7ff8SHong Zhang 2676bce7ff8SHong Zhang Mat_SeqBAIJ *a = (Mat_SeqBAIJ*)A->data,*b; 2686bce7ff8SHong Zhang PetscErrorCode ierr; 26916a2bf60SHong Zhang PetscInt n=a->mbs,*ai=a->i,*aj,*adiag=a->diag,bs2 = a->bs2; 27035aa4fcfSShri Abhyankar PetscInt i,j,nz,*bi,*bj,*bdiag,bi_temp; 27135aa4fcfSShri Abhyankar 27235aa4fcfSShri Abhyankar PetscFunctionBegin; 27335aa4fcfSShri Abhyankar ierr = MatDuplicateNoCreate_SeqBAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_FALSE);CHKERRQ(ierr); 27435aa4fcfSShri Abhyankar b = (Mat_SeqBAIJ*)(fact)->data; 27535aa4fcfSShri Abhyankar 27635aa4fcfSShri Abhyankar /* allocate matrix arrays for new data structure */ 277dcca6d9dSJed Brown ierr = PetscMalloc3(bs2*ai[n]+1,&b->a,ai[n]+1,&b->j,n+1,&b->i);CHKERRQ(ierr); 2783bb1ff40SBarry Smith ierr = PetscLogObjectMemory((PetscObject)fact,ai[n]*(bs2*sizeof(PetscScalar)+sizeof(PetscInt))+(n+1)*sizeof(PetscInt));CHKERRQ(ierr); 27926fbe8dcSKarl Rupp 28035aa4fcfSShri Abhyankar b->singlemalloc = PETSC_TRUE; 281379be0ddSLisandro Dalcin b->free_a = PETSC_TRUE; 282379be0ddSLisandro Dalcin b->free_ij = PETSC_TRUE; 2831e40a84eSLisandro Dalcin fact->preallocated = PETSC_TRUE; 2841e40a84eSLisandro Dalcin fact->assembled = PETSC_TRUE; 28535aa4fcfSShri Abhyankar if (!b->diag) { 286854ce69bSBarry Smith ierr = PetscMalloc1(n+1,&b->diag);CHKERRQ(ierr); 2873bb1ff40SBarry Smith ierr = PetscLogObjectMemory((PetscObject)fact,(n+1)*sizeof(PetscInt));CHKERRQ(ierr); 28835aa4fcfSShri Abhyankar } 28935aa4fcfSShri Abhyankar bdiag = b->diag; 29035aa4fcfSShri Abhyankar 29135aa4fcfSShri Abhyankar if (n > 0) { 29235aa4fcfSShri Abhyankar ierr = PetscMemzero(b->a,bs2*ai[n]*sizeof(MatScalar));CHKERRQ(ierr); 29335aa4fcfSShri Abhyankar } 29435aa4fcfSShri Abhyankar 29535aa4fcfSShri Abhyankar /* set bi and bj with new data structure */ 29635aa4fcfSShri Abhyankar bi = b->i; 29735aa4fcfSShri Abhyankar bj = b->j; 29835aa4fcfSShri Abhyankar 29935aa4fcfSShri Abhyankar /* L part */ 30035aa4fcfSShri Abhyankar bi[0] = 0; 30135aa4fcfSShri Abhyankar for (i=0; i<n; i++) { 30235aa4fcfSShri Abhyankar nz = adiag[i] - ai[i]; 30335aa4fcfSShri Abhyankar bi[i+1] = bi[i] + nz; 30435aa4fcfSShri Abhyankar aj = a->j + ai[i]; 30535aa4fcfSShri Abhyankar for (j=0; j<nz; j++) { 30635aa4fcfSShri Abhyankar *bj = aj[j]; bj++; 30735aa4fcfSShri Abhyankar } 30835aa4fcfSShri Abhyankar } 30935aa4fcfSShri Abhyankar 31035aa4fcfSShri Abhyankar /* U part */ 31135aa4fcfSShri Abhyankar bi_temp = bi[n]; 31235aa4fcfSShri Abhyankar bdiag[n] = bi[n]-1; 31335aa4fcfSShri Abhyankar for (i=n-1; i>=0; i--) { 31435aa4fcfSShri Abhyankar nz = ai[i+1] - adiag[i] - 1; 31535aa4fcfSShri Abhyankar bi_temp = bi_temp + nz + 1; 31635aa4fcfSShri Abhyankar aj = a->j + adiag[i] + 1; 31735aa4fcfSShri Abhyankar for (j=0; j<nz; j++) { 31835aa4fcfSShri Abhyankar *bj = aj[j]; bj++; 31935aa4fcfSShri Abhyankar } 32035aa4fcfSShri Abhyankar /* diag[i] */ 32135aa4fcfSShri Abhyankar *bj = i; bj++; 32235aa4fcfSShri Abhyankar bdiag[i] = bi_temp - 1; 32335aa4fcfSShri Abhyankar } 32435aa4fcfSShri Abhyankar PetscFunctionReturn(0); 32535aa4fcfSShri Abhyankar } 32635aa4fcfSShri Abhyankar 32735aa4fcfSShri Abhyankar #undef __FUNCT__ 3284dd39f65SShri Abhyankar #define __FUNCT__ "MatILUFactorSymbolic_SeqBAIJ" 3294dd39f65SShri Abhyankar PetscErrorCode MatILUFactorSymbolic_SeqBAIJ(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 33016a2bf60SHong Zhang { 33116a2bf60SHong Zhang Mat_SeqBAIJ *a = (Mat_SeqBAIJ*)A->data,*b; 33216a2bf60SHong Zhang IS isicol; 33316a2bf60SHong Zhang PetscErrorCode ierr; 33416a2bf60SHong Zhang const PetscInt *r,*ic; 3357fa3a6a0SHong Zhang PetscInt n=a->mbs,*ai=a->i,*aj=a->j,d; 33616a2bf60SHong Zhang PetscInt *bi,*cols,nnz,*cols_lvl; 33716a2bf60SHong Zhang PetscInt *bdiag,prow,fm,nzbd,reallocs=0,dcount=0; 33816a2bf60SHong Zhang PetscInt i,levels,diagonal_fill; 339ace3abfcSBarry Smith PetscBool col_identity,row_identity,both_identity; 34016a2bf60SHong Zhang PetscReal f; 3410298fd71SBarry Smith PetscInt nlnk,*lnk,*lnk_lvl=NULL; 34216a2bf60SHong Zhang PetscBT lnkbt; 34316a2bf60SHong Zhang PetscInt nzi,*bj,**bj_ptr,**bjlvl_ptr; 3440298fd71SBarry Smith PetscFreeSpaceList free_space =NULL,current_space=NULL; 3450298fd71SBarry Smith PetscFreeSpaceList free_space_lvl=NULL,current_space_lvl=NULL; 346ace3abfcSBarry Smith PetscBool missing; 3477fa3a6a0SHong Zhang PetscInt bs=A->rmap->bs,bs2=a->bs2; 34816a2bf60SHong Zhang 34916a2bf60SHong Zhang PetscFunctionBegin; 350e32f2f54SBarry Smith if (A->rmap->n != A->cmap->n) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONG,"Must be square matrix, rows %D columns %D",A->rmap->n,A->cmap->n); 3516ba06ab7SHong Zhang if (bs>1) { /* check shifttype */ 3526c4ed002SBarry Smith if (info->shifttype == MAT_SHIFT_NONZERO || info->shifttype == MAT_SHIFT_POSITIVE_DEFINITE) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Only MAT_SHIFT_NONE and MAT_SHIFT_INBLOCKS are supported for BAIJ matrix"); 3536ba06ab7SHong Zhang } 3546ba06ab7SHong Zhang 35516a2bf60SHong Zhang ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 356e32f2f54SBarry Smith if (missing) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 35716a2bf60SHong Zhang 35816a2bf60SHong Zhang f = info->fill; 35916a2bf60SHong Zhang levels = (PetscInt)info->levels; 36016a2bf60SHong Zhang diagonal_fill = (PetscInt)info->diagonal_fill; 36126fbe8dcSKarl Rupp 36216a2bf60SHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 36316a2bf60SHong Zhang 36416a2bf60SHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 36516a2bf60SHong Zhang ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr); 36626fbe8dcSKarl Rupp 367ace3abfcSBarry Smith both_identity = (PetscBool) (row_identity && col_identity); 36816a2bf60SHong Zhang 3697fa3a6a0SHong Zhang if (!levels && both_identity) { 37016a2bf60SHong Zhang /* special case: ilu(0) with natural ordering */ 3714dd39f65SShri Abhyankar ierr = MatILUFactorSymbolic_SeqBAIJ_ilu0(fact,A,isrow,iscol,info);CHKERRQ(ierr); 3724dd39f65SShri Abhyankar ierr = MatSeqBAIJSetNumericFactorization(fact,both_identity);CHKERRQ(ierr); 37335aa4fcfSShri Abhyankar 374d5f3da31SBarry Smith fact->factortype = MAT_FACTOR_ILU; 37535aa4fcfSShri Abhyankar (fact)->info.factor_mallocs = 0; 37635aa4fcfSShri Abhyankar (fact)->info.fill_ratio_given = info->fill; 37735aa4fcfSShri Abhyankar (fact)->info.fill_ratio_needed = 1.0; 37826fbe8dcSKarl Rupp 37935aa4fcfSShri Abhyankar b = (Mat_SeqBAIJ*)(fact)->data; 38035aa4fcfSShri Abhyankar b->row = isrow; 38135aa4fcfSShri Abhyankar b->col = iscol; 38235aa4fcfSShri Abhyankar b->icol = isicol; 38335aa4fcfSShri Abhyankar ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 38435aa4fcfSShri Abhyankar ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 38535aa4fcfSShri Abhyankar b->pivotinblocks = (info->pivotinblocks) ? PETSC_TRUE : PETSC_FALSE; 38626fbe8dcSKarl Rupp 387785e854fSJed Brown ierr = PetscMalloc1((n+1)*bs,&b->solve_work);CHKERRQ(ierr); 38835aa4fcfSShri Abhyankar PetscFunctionReturn(0); 38935aa4fcfSShri Abhyankar } 39035aa4fcfSShri Abhyankar 39135aa4fcfSShri Abhyankar ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 39235aa4fcfSShri Abhyankar ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 39335aa4fcfSShri Abhyankar 39435aa4fcfSShri Abhyankar /* get new row pointers */ 395854ce69bSBarry Smith ierr = PetscMalloc1(n+1,&bi);CHKERRQ(ierr); 39635aa4fcfSShri Abhyankar bi[0] = 0; 39735aa4fcfSShri Abhyankar /* bdiag is location of diagonal in factor */ 398854ce69bSBarry Smith ierr = PetscMalloc1(n+1,&bdiag);CHKERRQ(ierr); 39935aa4fcfSShri Abhyankar bdiag[0] = 0; 40035aa4fcfSShri Abhyankar 401dcca6d9dSJed Brown ierr = PetscMalloc2(n,&bj_ptr,n,&bjlvl_ptr);CHKERRQ(ierr); 40235aa4fcfSShri Abhyankar 40335aa4fcfSShri Abhyankar /* create a linked list for storing column indices of the active row */ 40435aa4fcfSShri Abhyankar nlnk = n + 1; 40535aa4fcfSShri Abhyankar ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 40635aa4fcfSShri Abhyankar 40735aa4fcfSShri Abhyankar /* initial FreeSpace size is f*(ai[n]+1) */ 408f91af8c7SBarry Smith ierr = PetscFreeSpaceGet(PetscRealIntMultTruncate(f,ai[n]+1),&free_space);CHKERRQ(ierr); 40935aa4fcfSShri Abhyankar current_space = free_space; 410f91af8c7SBarry Smith ierr = PetscFreeSpaceGet(PetscRealIntMultTruncate(f,ai[n]+1),&free_space_lvl);CHKERRQ(ierr); 41135aa4fcfSShri Abhyankar current_space_lvl = free_space_lvl; 41235aa4fcfSShri Abhyankar 41335aa4fcfSShri Abhyankar for (i=0; i<n; i++) { 41435aa4fcfSShri Abhyankar nzi = 0; 41535aa4fcfSShri Abhyankar /* copy current row into linked list */ 41635aa4fcfSShri Abhyankar nnz = ai[r[i]+1] - ai[r[i]]; 417e32f2f54SBarry Smith if (!nnz) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i); 41835aa4fcfSShri Abhyankar cols = aj + ai[r[i]]; 41935aa4fcfSShri Abhyankar lnk[i] = -1; /* marker to indicate if diagonal exists */ 42035aa4fcfSShri Abhyankar ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 42135aa4fcfSShri Abhyankar nzi += nlnk; 42235aa4fcfSShri Abhyankar 42335aa4fcfSShri Abhyankar /* make sure diagonal entry is included */ 42435aa4fcfSShri Abhyankar if (diagonal_fill && lnk[i] == -1) { 42535aa4fcfSShri Abhyankar fm = n; 42635aa4fcfSShri Abhyankar while (lnk[fm] < i) fm = lnk[fm]; 42735aa4fcfSShri Abhyankar lnk[i] = lnk[fm]; /* insert diagonal into linked list */ 42835aa4fcfSShri Abhyankar lnk[fm] = i; 42935aa4fcfSShri Abhyankar lnk_lvl[i] = 0; 43035aa4fcfSShri Abhyankar nzi++; dcount++; 43135aa4fcfSShri Abhyankar } 43235aa4fcfSShri Abhyankar 43335aa4fcfSShri Abhyankar /* add pivot rows into the active row */ 43435aa4fcfSShri Abhyankar nzbd = 0; 43535aa4fcfSShri Abhyankar prow = lnk[n]; 43635aa4fcfSShri Abhyankar while (prow < i) { 43735aa4fcfSShri Abhyankar nnz = bdiag[prow]; 43835aa4fcfSShri Abhyankar cols = bj_ptr[prow] + nnz + 1; 43935aa4fcfSShri Abhyankar cols_lvl = bjlvl_ptr[prow] + nnz + 1; 44035aa4fcfSShri Abhyankar nnz = bi[prow+1] - bi[prow] - nnz - 1; 44126fbe8dcSKarl Rupp 44235aa4fcfSShri Abhyankar ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr); 44335aa4fcfSShri Abhyankar nzi += nlnk; 44435aa4fcfSShri Abhyankar prow = lnk[prow]; 44535aa4fcfSShri Abhyankar nzbd++; 44635aa4fcfSShri Abhyankar } 44735aa4fcfSShri Abhyankar bdiag[i] = nzbd; 44835aa4fcfSShri Abhyankar bi[i+1] = bi[i] + nzi; 44935aa4fcfSShri Abhyankar 45035aa4fcfSShri Abhyankar /* if free space is not available, make more free space */ 45135aa4fcfSShri Abhyankar if (current_space->local_remaining<nzi) { 452f91af8c7SBarry Smith nnz = PetscIntMultTruncate(2,PetscIntMultTruncate(nzi,(n - i))); /* estimated and max additional space needed */ 45335aa4fcfSShri Abhyankar ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 45435aa4fcfSShri Abhyankar ierr = PetscFreeSpaceGet(nnz,¤t_space_lvl);CHKERRQ(ierr); 45535aa4fcfSShri Abhyankar reallocs++; 45635aa4fcfSShri Abhyankar } 45735aa4fcfSShri Abhyankar 45835aa4fcfSShri Abhyankar /* copy data into free_space and free_space_lvl, then initialize lnk */ 45935aa4fcfSShri Abhyankar ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 46026fbe8dcSKarl Rupp 46135aa4fcfSShri Abhyankar bj_ptr[i] = current_space->array; 46235aa4fcfSShri Abhyankar bjlvl_ptr[i] = current_space_lvl->array; 46335aa4fcfSShri Abhyankar 46435aa4fcfSShri Abhyankar /* make sure the active row i has diagonal entry */ 46565e19b50SBarry Smith if (*(bj_ptr[i]+bdiag[i]) != i) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\ntry running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i); 46635aa4fcfSShri Abhyankar 46735aa4fcfSShri Abhyankar current_space->array += nzi; 46835aa4fcfSShri Abhyankar current_space->local_used += nzi; 46935aa4fcfSShri Abhyankar current_space->local_remaining -= nzi; 47026fbe8dcSKarl Rupp 47135aa4fcfSShri Abhyankar current_space_lvl->array += nzi; 47235aa4fcfSShri Abhyankar current_space_lvl->local_used += nzi; 47335aa4fcfSShri Abhyankar current_space_lvl->local_remaining -= nzi; 47435aa4fcfSShri Abhyankar } 47535aa4fcfSShri Abhyankar 47635aa4fcfSShri Abhyankar ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 47735aa4fcfSShri Abhyankar ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 47835aa4fcfSShri Abhyankar 47935aa4fcfSShri Abhyankar /* copy free_space into bj and free free_space; set bi, bj, bdiag in new datastructure; */ 480854ce69bSBarry Smith ierr = PetscMalloc1(bi[n]+1,&bj);CHKERRQ(ierr); 4812ce24eb6SHong Zhang ierr = PetscFreeSpaceContiguous_LU(&free_space,bj,n,bi,bdiag);CHKERRQ(ierr); 48235aa4fcfSShri Abhyankar 48335aa4fcfSShri Abhyankar ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 48435aa4fcfSShri Abhyankar ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 485fca92195SBarry Smith ierr = PetscFree2(bj_ptr,bjlvl_ptr);CHKERRQ(ierr); 48635aa4fcfSShri Abhyankar 48735aa4fcfSShri Abhyankar #if defined(PETSC_USE_INFO) 48835aa4fcfSShri Abhyankar { 489aef85c9fSShri Abhyankar PetscReal af = ((PetscReal)(bdiag[0]+1))/((PetscReal)ai[n]); 49057622a8eSBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %g needed %g\n",reallocs,(double)f,(double)af);CHKERRQ(ierr); 49157622a8eSBarry Smith ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %g or use \n",(double)af);CHKERRQ(ierr); 49257622a8eSBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%g);\n",(double)af);CHKERRQ(ierr); 49335aa4fcfSShri Abhyankar ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 49435aa4fcfSShri Abhyankar if (diagonal_fill) { 495955c1f14SBarry Smith ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals\n",dcount);CHKERRQ(ierr); 49635aa4fcfSShri Abhyankar } 49735aa4fcfSShri Abhyankar } 49835aa4fcfSShri Abhyankar #endif 49935aa4fcfSShri Abhyankar 50035aa4fcfSShri Abhyankar /* put together the new matrix */ 5010298fd71SBarry Smith ierr = MatSeqBAIJSetPreallocation_SeqBAIJ(fact,bs,MAT_SKIP_ALLOCATION,NULL);CHKERRQ(ierr); 5023bb1ff40SBarry Smith ierr = PetscLogObjectParent((PetscObject)fact,(PetscObject)isicol);CHKERRQ(ierr); 50326fbe8dcSKarl Rupp 50435aa4fcfSShri Abhyankar b = (Mat_SeqBAIJ*)(fact)->data; 50535aa4fcfSShri Abhyankar b->free_a = PETSC_TRUE; 50635aa4fcfSShri Abhyankar b->free_ij = PETSC_TRUE; 50735aa4fcfSShri Abhyankar b->singlemalloc = PETSC_FALSE; 50826fbe8dcSKarl Rupp 509854ce69bSBarry Smith ierr = PetscMalloc1(bs2*(bdiag[0]+1),&b->a);CHKERRQ(ierr); 51026fbe8dcSKarl Rupp 51135aa4fcfSShri Abhyankar b->j = bj; 51235aa4fcfSShri Abhyankar b->i = bi; 51335aa4fcfSShri Abhyankar b->diag = bdiag; 51435aa4fcfSShri Abhyankar b->free_diag = PETSC_TRUE; 51535aa4fcfSShri Abhyankar b->ilen = 0; 51635aa4fcfSShri Abhyankar b->imax = 0; 51735aa4fcfSShri Abhyankar b->row = isrow; 51835aa4fcfSShri Abhyankar b->col = iscol; 51935aa4fcfSShri Abhyankar ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 52035aa4fcfSShri Abhyankar ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 52135aa4fcfSShri Abhyankar b->icol = isicol; 52226fbe8dcSKarl Rupp 523854ce69bSBarry Smith ierr = PetscMalloc1(bs*n+bs,&b->solve_work);CHKERRQ(ierr); 52435aa4fcfSShri Abhyankar /* In b structure: Free imax, ilen, old a, old j. 52535aa4fcfSShri Abhyankar Allocate bdiag, solve_work, new a, new j */ 5263bb1ff40SBarry Smith ierr = PetscLogObjectMemory((PetscObject)fact,(bdiag[0]+1) * (sizeof(PetscInt)+bs2*sizeof(PetscScalar)));CHKERRQ(ierr); 52735aa4fcfSShri Abhyankar b->maxnz = b->nz = bdiag[0]+1; 52826fbe8dcSKarl Rupp 529ae3d28f0SHong Zhang fact->info.factor_mallocs = reallocs; 530ae3d28f0SHong Zhang fact->info.fill_ratio_given = f; 531ae3d28f0SHong Zhang fact->info.fill_ratio_needed = ((PetscReal)(bdiag[0]+1))/((PetscReal)ai[n]); 53226fbe8dcSKarl Rupp 5334dd39f65SShri Abhyankar ierr = MatSeqBAIJSetNumericFactorization(fact,both_identity);CHKERRQ(ierr); 53435aa4fcfSShri Abhyankar PetscFunctionReturn(0); 53535aa4fcfSShri Abhyankar } 53635aa4fcfSShri Abhyankar 5374e2b4712SSatish Balay /* 5384e2b4712SSatish Balay This code is virtually identical to MatILUFactorSymbolic_SeqAIJ 5394e2b4712SSatish Balay except that the data structure of Mat_SeqAIJ is slightly different. 5404e2b4712SSatish Balay Not a good example of code reuse. 5414e2b4712SSatish Balay */ 5424a2ae208SSatish Balay #undef __FUNCT__ 54306e38f1dSHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqBAIJ_inplace" 54406e38f1dSHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqBAIJ_inplace(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 5454e2b4712SSatish Balay { 5464e2b4712SSatish Balay Mat_SeqBAIJ *a = (Mat_SeqBAIJ*)A->data,*b; 5474e2b4712SSatish Balay IS isicol; 5486849ba73SBarry Smith PetscErrorCode ierr; 5495d0c19d7SBarry Smith const PetscInt *r,*ic,*ai = a->i,*aj = a->j,*xi; 5505d0c19d7SBarry Smith PetscInt prow,n = a->mbs,*ainew,*ajnew,jmax,*fill,nz,*im,*ajfill,*flev,*xitmp; 551a96a251dSBarry Smith PetscInt *dloc,idx,row,m,fm,nzf,nzi,reallocate = 0,dcount = 0; 552d0f46423SBarry Smith PetscInt incrlev,nnz,i,bs = A->rmap->bs,bs2 = a->bs2,levels,diagonal_fill,dd; 553ace3abfcSBarry Smith PetscBool col_identity,row_identity,both_identity,flg; 554329f5518SBarry Smith PetscReal f; 5554e2b4712SSatish Balay 5564e2b4712SSatish Balay PetscFunctionBegin; 5576bce7ff8SHong Zhang ierr = MatMissingDiagonal_SeqBAIJ(A,&flg,&dd);CHKERRQ(ierr); 558e32f2f54SBarry Smith if (flg) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Matrix A is missing diagonal entry in row %D",dd); 5596bce7ff8SHong Zhang 560435faa5fSBarry Smith f = info->fill; 561690b6cddSBarry Smith levels = (PetscInt)info->levels; 562690b6cddSBarry Smith diagonal_fill = (PetscInt)info->diagonal_fill; 56326fbe8dcSKarl Rupp 5644c49b128SBarry Smith ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 56516a2bf60SHong Zhang 566667159a5SBarry Smith ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 567667159a5SBarry Smith ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr); 568ace3abfcSBarry Smith both_identity = (PetscBool) (row_identity && col_identity); 569309c388cSBarry Smith 57041df41f0SMatthew Knepley if (!levels && both_identity) { /* special case copy the nonzero structure */ 57116a2bf60SHong Zhang ierr = MatDuplicateNoCreate_SeqBAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_TRUE);CHKERRQ(ierr); 5728b1456e3SHong Zhang ierr = MatSeqBAIJSetNumericFactorization_inplace(fact,both_identity);CHKERRQ(ierr); 5736bce7ff8SHong Zhang 574d5f3da31SBarry Smith fact->factortype = MAT_FACTOR_ILU; 575ae3d28f0SHong Zhang b = (Mat_SeqBAIJ*)fact->data; 576bb3d539aSBarry Smith b->row = isrow; 577bb3d539aSBarry Smith b->col = iscol; 578bb3d539aSBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 579bb3d539aSBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 580bb3d539aSBarry Smith b->icol = isicol; 581bcd9e38bSBarry Smith b->pivotinblocks = (info->pivotinblocks) ? PETSC_TRUE : PETSC_FALSE; 58226fbe8dcSKarl Rupp 583785e854fSJed Brown ierr = PetscMalloc1((n+1)*bs,&b->solve_work);CHKERRQ(ierr); 5846bce7ff8SHong Zhang PetscFunctionReturn(0); 5856bce7ff8SHong Zhang } 5866bce7ff8SHong Zhang 5876bce7ff8SHong Zhang /* general case perform the symbolic factorization */ 5884e2b4712SSatish Balay ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 5894e2b4712SSatish Balay ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 5904e2b4712SSatish Balay 5914e2b4712SSatish Balay /* get new row pointers */ 592854ce69bSBarry Smith ierr = PetscMalloc1(n+1,&ainew);CHKERRQ(ierr); 5934e2b4712SSatish Balay ainew[0] = 0; 5944e2b4712SSatish Balay /* don't know how many column pointers are needed so estimate */ 595690b6cddSBarry Smith jmax = (PetscInt)(f*ai[n] + 1); 596854ce69bSBarry Smith ierr = PetscMalloc1(jmax,&ajnew);CHKERRQ(ierr); 5974e2b4712SSatish Balay /* ajfill is level of fill for each fill entry */ 598854ce69bSBarry Smith ierr = PetscMalloc1(jmax,&ajfill);CHKERRQ(ierr); 5994e2b4712SSatish Balay /* fill is a linked list of nonzeros in active row */ 600854ce69bSBarry Smith ierr = PetscMalloc1(n+1,&fill);CHKERRQ(ierr); 6014e2b4712SSatish Balay /* im is level for each filled value */ 602854ce69bSBarry Smith ierr = PetscMalloc1(n+1,&im);CHKERRQ(ierr); 6034e2b4712SSatish Balay /* dloc is location of diagonal in factor */ 604854ce69bSBarry Smith ierr = PetscMalloc1(n+1,&dloc);CHKERRQ(ierr); 6054e2b4712SSatish Balay dloc[0] = 0; 6064e2b4712SSatish Balay for (prow=0; prow<n; prow++) { 607435faa5fSBarry Smith 608435faa5fSBarry Smith /* copy prow into linked list */ 6094e2b4712SSatish Balay nzf = nz = ai[r[prow]+1] - ai[r[prow]]; 610e32f2f54SBarry Smith if (!nz) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[prow],prow); 6114e2b4712SSatish Balay xi = aj + ai[r[prow]]; 6124e2b4712SSatish Balay fill[n] = n; 613435faa5fSBarry Smith fill[prow] = -1; /* marker for diagonal entry */ 6144e2b4712SSatish Balay while (nz--) { 6154e2b4712SSatish Balay fm = n; 6164e2b4712SSatish Balay idx = ic[*xi++]; 6174e2b4712SSatish Balay do { 6184e2b4712SSatish Balay m = fm; 6194e2b4712SSatish Balay fm = fill[m]; 6204e2b4712SSatish Balay } while (fm < idx); 6214e2b4712SSatish Balay fill[m] = idx; 6224e2b4712SSatish Balay fill[idx] = fm; 6234e2b4712SSatish Balay im[idx] = 0; 6244e2b4712SSatish Balay } 625435faa5fSBarry Smith 626435faa5fSBarry Smith /* make sure diagonal entry is included */ 627435faa5fSBarry Smith if (diagonal_fill && fill[prow] == -1) { 628435faa5fSBarry Smith fm = n; 629435faa5fSBarry Smith while (fill[fm] < prow) fm = fill[fm]; 630435faa5fSBarry Smith fill[prow] = fill[fm]; /* insert diagonal into linked list */ 631435faa5fSBarry Smith fill[fm] = prow; 632435faa5fSBarry Smith im[prow] = 0; 633435faa5fSBarry Smith nzf++; 634335d9088SBarry Smith dcount++; 635435faa5fSBarry Smith } 636435faa5fSBarry Smith 6374e2b4712SSatish Balay nzi = 0; 6384e2b4712SSatish Balay row = fill[n]; 6394e2b4712SSatish Balay while (row < prow) { 6404e2b4712SSatish Balay incrlev = im[row] + 1; 6414e2b4712SSatish Balay nz = dloc[row]; 642435faa5fSBarry Smith xi = ajnew + ainew[row] + nz + 1; 6434e2b4712SSatish Balay flev = ajfill + ainew[row] + nz + 1; 6444e2b4712SSatish Balay nnz = ainew[row+1] - ainew[row] - nz - 1; 6454e2b4712SSatish Balay fm = row; 6464e2b4712SSatish Balay while (nnz-- > 0) { 6474e2b4712SSatish Balay idx = *xi++; 6484e2b4712SSatish Balay if (*flev + incrlev > levels) { 6494e2b4712SSatish Balay flev++; 6504e2b4712SSatish Balay continue; 6514e2b4712SSatish Balay } 6524e2b4712SSatish Balay do { 6534e2b4712SSatish Balay m = fm; 6544e2b4712SSatish Balay fm = fill[m]; 6554e2b4712SSatish Balay } while (fm < idx); 6564e2b4712SSatish Balay if (fm != idx) { 6574e2b4712SSatish Balay im[idx] = *flev + incrlev; 6584e2b4712SSatish Balay fill[m] = idx; 6594e2b4712SSatish Balay fill[idx] = fm; 6604e2b4712SSatish Balay fm = idx; 6614e2b4712SSatish Balay nzf++; 66226fbe8dcSKarl Rupp } else if (im[idx] > *flev + incrlev) im[idx] = *flev+incrlev; 6634e2b4712SSatish Balay flev++; 6644e2b4712SSatish Balay } 6654e2b4712SSatish Balay row = fill[row]; 6664e2b4712SSatish Balay nzi++; 6674e2b4712SSatish Balay } 6684e2b4712SSatish Balay /* copy new filled row into permanent storage */ 6694e2b4712SSatish Balay ainew[prow+1] = ainew[prow] + nzf; 6704e2b4712SSatish Balay if (ainew[prow+1] > jmax) { 671ecf371e4SBarry Smith 672ecf371e4SBarry Smith /* estimate how much additional space we will need */ 673ecf371e4SBarry Smith /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */ 674ecf371e4SBarry Smith /* just double the memory each time */ 675690b6cddSBarry Smith PetscInt maxadd = jmax; 676ecf371e4SBarry Smith /* maxadd = (int)(((f*ai[n]+1)*(n-prow+5))/n); */ 6774e2b4712SSatish Balay if (maxadd < nzf) maxadd = (n-prow)*(nzf+1); 6784e2b4712SSatish Balay jmax += maxadd; 679ecf371e4SBarry Smith 680ecf371e4SBarry Smith /* allocate a longer ajnew and ajfill */ 681785e854fSJed Brown ierr = PetscMalloc1(jmax,&xitmp);CHKERRQ(ierr); 6825d0c19d7SBarry Smith ierr = PetscMemcpy(xitmp,ajnew,ainew[prow]*sizeof(PetscInt));CHKERRQ(ierr); 683606d414cSSatish Balay ierr = PetscFree(ajnew);CHKERRQ(ierr); 6845d0c19d7SBarry Smith ajnew = xitmp; 685785e854fSJed Brown ierr = PetscMalloc1(jmax,&xitmp);CHKERRQ(ierr); 6865d0c19d7SBarry Smith ierr = PetscMemcpy(xitmp,ajfill,ainew[prow]*sizeof(PetscInt));CHKERRQ(ierr); 687606d414cSSatish Balay ierr = PetscFree(ajfill);CHKERRQ(ierr); 6885d0c19d7SBarry Smith ajfill = xitmp; 689eb150c5cSKris Buschelman reallocate++; /* count how many reallocations are needed */ 6904e2b4712SSatish Balay } 6915d0c19d7SBarry Smith xitmp = ajnew + ainew[prow]; 6924e2b4712SSatish Balay flev = ajfill + ainew[prow]; 6934e2b4712SSatish Balay dloc[prow] = nzi; 6944e2b4712SSatish Balay fm = fill[n]; 6954e2b4712SSatish Balay while (nzf--) { 6965d0c19d7SBarry Smith *xitmp++ = fm; 6974e2b4712SSatish Balay *flev++ = im[fm]; 6984e2b4712SSatish Balay fm = fill[fm]; 6994e2b4712SSatish Balay } 700435faa5fSBarry Smith /* make sure row has diagonal entry */ 701f23aa3ddSBarry Smith if (ajnew[ainew[prow]+dloc[prow]] != prow) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\ 7022401956bSBarry Smith try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",prow); 703435faa5fSBarry Smith } 704606d414cSSatish Balay ierr = PetscFree(ajfill);CHKERRQ(ierr); 7054e2b4712SSatish Balay ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 7064e2b4712SSatish Balay ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 707606d414cSSatish Balay ierr = PetscFree(fill);CHKERRQ(ierr); 708606d414cSSatish Balay ierr = PetscFree(im);CHKERRQ(ierr); 7094e2b4712SSatish Balay 7106cf91177SBarry Smith #if defined(PETSC_USE_INFO) 7114e2b4712SSatish Balay { 712329f5518SBarry Smith PetscReal af = ((PetscReal)ainew[n])/((PetscReal)ai[n]); 71357622a8eSBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %g needed %g\n",reallocate,(double)f,(double)af);CHKERRQ(ierr); 71457622a8eSBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %g or use \n",(double)af);CHKERRQ(ierr); 71557622a8eSBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%g);\n",(double)af);CHKERRQ(ierr); 716ae15b995SBarry Smith ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 717335d9088SBarry Smith if (diagonal_fill) { 718ae15b995SBarry Smith ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals\n",dcount);CHKERRQ(ierr); 719335d9088SBarry Smith } 7204e2b4712SSatish Balay } 72163ba0a88SBarry Smith #endif 7224e2b4712SSatish Balay 7234e2b4712SSatish Balay /* put together the new matrix */ 7240298fd71SBarry Smith ierr = MatSeqBAIJSetPreallocation_SeqBAIJ(fact,bs,MAT_SKIP_ALLOCATION,NULL);CHKERRQ(ierr); 7253bb1ff40SBarry Smith ierr = PetscLogObjectParent((PetscObject)fact,(PetscObject)isicol);CHKERRQ(ierr); 726ae3d28f0SHong Zhang b = (Mat_SeqBAIJ*)fact->data; 72726fbe8dcSKarl Rupp 728e6b907acSBarry Smith b->free_a = PETSC_TRUE; 729e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 7307c922b88SBarry Smith b->singlemalloc = PETSC_FALSE; 73126fbe8dcSKarl Rupp 732785e854fSJed Brown ierr = PetscMalloc1(bs2*ainew[n],&b->a);CHKERRQ(ierr); 73326fbe8dcSKarl Rupp 7344e2b4712SSatish Balay b->j = ajnew; 7354e2b4712SSatish Balay b->i = ainew; 7364e2b4712SSatish Balay for (i=0; i<n; i++) dloc[i] += ainew[i]; 7374e2b4712SSatish Balay b->diag = dloc; 7387f53bb6cSHong Zhang b->free_diag = PETSC_TRUE; 7394e2b4712SSatish Balay b->ilen = 0; 7404e2b4712SSatish Balay b->imax = 0; 7414e2b4712SSatish Balay b->row = isrow; 7424e2b4712SSatish Balay b->col = iscol; 743bcd9e38bSBarry Smith b->pivotinblocks = (info->pivotinblocks) ? PETSC_TRUE : PETSC_FALSE; 74426fbe8dcSKarl Rupp 745c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 746c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 747e51c0b9cSSatish Balay b->icol = isicol; 748854ce69bSBarry Smith ierr = PetscMalloc1(bs*n+bs,&b->solve_work);CHKERRQ(ierr); 7494e2b4712SSatish Balay /* In b structure: Free imax, ilen, old a, old j. 7504e2b4712SSatish Balay Allocate dloc, solve_work, new a, new j */ 7513bb1ff40SBarry Smith ierr = PetscLogObjectMemory((PetscObject)fact,(ainew[n]-n)*(sizeof(PetscInt))+bs2*ainew[n]*sizeof(PetscScalar));CHKERRQ(ierr); 7524e2b4712SSatish Balay b->maxnz = b->nz = ainew[n]; 7534e2b4712SSatish Balay 754ae3d28f0SHong Zhang fact->info.factor_mallocs = reallocate; 755ae3d28f0SHong Zhang fact->info.fill_ratio_given = f; 756ae3d28f0SHong Zhang fact->info.fill_ratio_needed = ((PetscReal)ainew[n])/((PetscReal)ai[prow]); 7576bce7ff8SHong Zhang 7588b1456e3SHong Zhang ierr = MatSeqBAIJSetNumericFactorization_inplace(fact,both_identity);CHKERRQ(ierr); 7598661488fSKris Buschelman PetscFunctionReturn(0); 7608661488fSKris Buschelman } 7618661488fSKris Buschelman 762732ee342SKris Buschelman #undef __FUNCT__ 7637e7071cdSKris Buschelman #define __FUNCT__ "MatSetUnfactored_SeqBAIJ_4_NaturalOrdering_SSE" 764dfbe8321SBarry Smith PetscErrorCode MatSetUnfactored_SeqBAIJ_4_NaturalOrdering_SSE(Mat A) 7657e7071cdSKris Buschelman { 76612272027SHong Zhang /* Mat_SeqBAIJ *a = (Mat_SeqBAIJ*)A->data; */ 76712272027SHong Zhang /* int i,*AJ=a->j,nz=a->nz; */ 7685fd66863SKarl Rupp 7695a9542e3SKris Buschelman PetscFunctionBegin; 7707cf1b8d3SKris Buschelman /* Undo Column scaling */ 7717cf1b8d3SKris Buschelman /* while (nz--) { */ 7727cf1b8d3SKris Buschelman /* AJ[i] = AJ[i]/4; */ 7737cf1b8d3SKris Buschelman /* } */ 774c115a38dSKris Buschelman /* This should really invoke a push/pop logic, but we don't have that yet. */ 7750298fd71SBarry Smith A->ops->setunfactored = NULL; 7767cf1b8d3SKris Buschelman PetscFunctionReturn(0); 7777cf1b8d3SKris Buschelman } 7787cf1b8d3SKris Buschelman 7797cf1b8d3SKris Buschelman #undef __FUNCT__ 7807cf1b8d3SKris Buschelman #define __FUNCT__ "MatSetUnfactored_SeqBAIJ_4_NaturalOrdering_SSE_usj" 781dfbe8321SBarry Smith PetscErrorCode MatSetUnfactored_SeqBAIJ_4_NaturalOrdering_SSE_usj(Mat A) 7827cf1b8d3SKris Buschelman { 7837cf1b8d3SKris Buschelman Mat_SeqBAIJ *a = (Mat_SeqBAIJ*)A->data; 784b24ad042SBarry Smith PetscInt *AJ=a->j,nz=a->nz; 7852aa5897fSKris Buschelman unsigned short *aj=(unsigned short*)AJ; 7865fd66863SKarl Rupp 7875a9542e3SKris Buschelman PetscFunctionBegin; 7880b9da03eSKris Buschelman /* Is this really necessary? */ 78920235379SKris Buschelman while (nz--) { 7900b9da03eSKris Buschelman AJ[nz] = (int)((unsigned int)aj[nz]); /* First extend, then convert to signed. */ 7917e7071cdSKris Buschelman } 7920298fd71SBarry Smith A->ops->setunfactored = NULL; 7937e7071cdSKris Buschelman PetscFunctionReturn(0); 7947e7071cdSKris Buschelman } 7957e7071cdSKris Buschelman 796732ee342SKris Buschelman 797