1be1d678aSKris Buschelman 283287d42SBarry Smith /* 383287d42SBarry Smith Factorization code for BAIJ format. 483287d42SBarry Smith */ 5c6db04a5SJed Brown #include <../src/mat/impls/baij/seq/baij.h> 6af0996ceSBarry Smith #include <petsc/private/kernels/blockinvert.h> 783287d42SBarry Smith 883287d42SBarry Smith /* ----------------------------------------------------------- */ 9d71ae5a4SJacob Faibussowitsch PetscErrorCode MatLUFactorNumeric_SeqBAIJ_N_inplace(Mat C, Mat A, const MatFactorInfo *info) 10d71ae5a4SJacob Faibussowitsch { 1183287d42SBarry Smith Mat_SeqBAIJ *a = (Mat_SeqBAIJ *)A->data, *b = (Mat_SeqBAIJ *)C->data; 1283287d42SBarry Smith IS isrow = b->row, isicol = b->icol; 135d0c19d7SBarry Smith const PetscInt *r, *ic; 145d0c19d7SBarry Smith PetscInt i, j, n = a->mbs, *bi = b->i, *bj = b->j; 153bc0b13bSBarry Smith PetscInt *ajtmpold, *ajtmp, nz, row, *ai = a->i, *aj = a->j, k, flg; 16d0f46423SBarry Smith PetscInt *diag_offset = b->diag, diag, bs = A->rmap->bs, bs2 = a->bs2, *pj, *v_pivots; 1783287d42SBarry Smith MatScalar *ba = b->a, *aa = a->a, *pv, *v, *rtmp, *multiplier, *v_work, *pc, *w; 185f8bbccaSHong Zhang PetscBool allowzeropivot, zeropivotdetected; 1983287d42SBarry Smith 2083287d42SBarry Smith PetscFunctionBegin; 219566063dSJacob Faibussowitsch PetscCall(ISGetIndices(isrow, &r)); 229566063dSJacob Faibussowitsch PetscCall(ISGetIndices(isicol, &ic)); 235f8bbccaSHong Zhang allowzeropivot = PetscNot(A->erroriffailure); 245f8bbccaSHong Zhang 259566063dSJacob Faibussowitsch PetscCall(PetscCalloc1(bs2 * (n + 1), &rtmp)); 2683287d42SBarry Smith /* generate work space needed by dense LU factorization */ 279566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(bs, &v_work, bs2, &multiplier, bs, &v_pivots)); 2883287d42SBarry Smith 2983287d42SBarry Smith for (i = 0; i < n; i++) { 3083287d42SBarry Smith nz = bi[i + 1] - bi[i]; 3183287d42SBarry Smith ajtmp = bj + bi[i]; 3248a46eb9SPierre Jolivet for (j = 0; j < nz; j++) PetscCall(PetscArrayzero(rtmp + bs2 * ajtmp[j], bs2)); 3383287d42SBarry Smith /* load in initial (unfactored row) */ 3483287d42SBarry Smith nz = ai[r[i] + 1] - ai[r[i]]; 3583287d42SBarry Smith ajtmpold = aj + ai[r[i]]; 3683287d42SBarry Smith v = aa + bs2 * ai[r[i]]; 3748a46eb9SPierre Jolivet for (j = 0; j < nz; j++) PetscCall(PetscArraycpy(rtmp + bs2 * ic[ajtmpold[j]], v + bs2 * j, bs2)); 3883287d42SBarry Smith row = *ajtmp++; 3983287d42SBarry Smith while (row < i) { 4083287d42SBarry Smith pc = rtmp + bs2 * row; 4183287d42SBarry Smith /* if (*pc) { */ 42c35f09e5SBarry Smith for (flg = 0, k = 0; k < bs2; k++) { 43c35f09e5SBarry Smith if (pc[k] != 0.0) { 44c35f09e5SBarry Smith flg = 1; 45c35f09e5SBarry Smith break; 46c35f09e5SBarry Smith } 47c35f09e5SBarry Smith } 4883287d42SBarry Smith if (flg) { 4983287d42SBarry Smith pv = ba + bs2 * diag_offset[row]; 5083287d42SBarry Smith pj = bj + diag_offset[row] + 1; 5196b95a6bSBarry Smith PetscKernel_A_gets_A_times_B(bs, pc, pv, multiplier); 5283287d42SBarry Smith nz = bi[row + 1] - diag_offset[row] - 1; 5383287d42SBarry Smith pv += bs2; 54ad540459SPierre Jolivet for (j = 0; j < nz; j++) PetscKernel_A_gets_A_minus_B_times_C(bs, rtmp + bs2 * pj[j], pc, pv + bs2 * j); 559566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * bs * bs2 * (nz + 1.0) - bs)); 5683287d42SBarry Smith } 5783287d42SBarry Smith row = *ajtmp++; 5883287d42SBarry Smith } 5983287d42SBarry Smith /* finished row so stick it into b->a */ 6083287d42SBarry Smith pv = ba + bs2 * bi[i]; 6183287d42SBarry Smith pj = bj + bi[i]; 6283287d42SBarry Smith nz = bi[i + 1] - bi[i]; 6348a46eb9SPierre Jolivet for (j = 0; j < nz; j++) PetscCall(PetscArraycpy(pv + bs2 * j, rtmp + bs2 * pj[j], bs2)); 6483287d42SBarry Smith diag = diag_offset[i] - bi[i]; 6583287d42SBarry Smith /* invert diagonal block */ 6683287d42SBarry Smith w = pv + bs2 * diag; 675f8bbccaSHong Zhang 689566063dSJacob Faibussowitsch PetscCall(PetscKernel_A_gets_inverse_A(bs, w, v_pivots, v_work, allowzeropivot, &zeropivotdetected)); 697b6c816cSBarry Smith if (zeropivotdetected) C->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 7083287d42SBarry Smith } 7183287d42SBarry Smith 729566063dSJacob Faibussowitsch PetscCall(PetscFree(rtmp)); 739566063dSJacob Faibussowitsch PetscCall(PetscFree3(v_work, multiplier, v_pivots)); 749566063dSJacob Faibussowitsch PetscCall(ISRestoreIndices(isicol, &ic)); 759566063dSJacob Faibussowitsch PetscCall(ISRestoreIndices(isrow, &r)); 7626fbe8dcSKarl Rupp 7706e38f1dSHong Zhang C->ops->solve = MatSolve_SeqBAIJ_N_inplace; 7806e38f1dSHong Zhang C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_N_inplace; 7983287d42SBarry Smith C->assembled = PETSC_TRUE; 8026fbe8dcSKarl Rupp 819566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(1.333333333333 * bs * bs2 * b->mbs)); /* from inverting diagonal blocks */ 82*3ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 8383287d42SBarry Smith } 84