1dba47a55SKris Buschelman 29b54502bSHong Zhang /* 39b54502bSHong Zhang Defines a direct factorization preconditioner for any Mat implementation 49b54502bSHong Zhang Note: this need not be consided a preconditioner since it supplies 59b54502bSHong Zhang a direct solver. 69b54502bSHong Zhang */ 7ee45ca4aSHong Zhang 8c6db04a5SJed Brown #include <../src/ksp/pc/impls/factor/lu/lu.h> /*I "petscpc.h" I*/ 99b54502bSHong Zhang 10680c5173SHong Zhang 117087cfbeSBarry Smith PetscErrorCode PCFactorReorderForNonzeroDiagonal_LU(PC pc,PetscReal z) 129b54502bSHong Zhang { 139b54502bSHong Zhang PC_LU *lu = (PC_LU*)pc->data; 149b54502bSHong Zhang 159b54502bSHong Zhang PetscFunctionBegin; 169b54502bSHong Zhang lu->nonzerosalongdiagonal = PETSC_TRUE; 172fa5cd67SKarl Rupp if (z == PETSC_DECIDE) lu->nonzerosalongdiagonaltol = 1.e-10; 182fa5cd67SKarl Rupp else lu->nonzerosalongdiagonaltol = z; 199b54502bSHong Zhang PetscFunctionReturn(0); 209b54502bSHong Zhang } 219b54502bSHong Zhang 224416b707SBarry Smith static PetscErrorCode PCSetFromOptions_LU(PetscOptionItems *PetscOptionsObject,PC pc) 239b54502bSHong Zhang { 249b54502bSHong Zhang PC_LU *lu = (PC_LU*)pc->data; 259b54502bSHong Zhang PetscErrorCode ierr; 26ace3abfcSBarry Smith PetscBool flg = PETSC_FALSE; 279b54502bSHong Zhang PetscReal tol; 289b54502bSHong Zhang 299b54502bSHong Zhang PetscFunctionBegin; 30e55864a3SBarry Smith ierr = PetscOptionsHead(PetscOptionsObject,"LU options");CHKERRQ(ierr); 31e55864a3SBarry Smith ierr = PCSetFromOptions_Factor(PetscOptionsObject,pc);CHKERRQ(ierr); 325c9eb25fSBarry Smith 332401956bSBarry Smith ierr = PetscOptionsName("-pc_factor_nonzeros_along_diagonal","Reorder to remove zeros from diagonal","PCFactorReorderForNonzeroDiagonal",&flg);CHKERRQ(ierr); 349b54502bSHong Zhang if (flg) { 359b54502bSHong Zhang tol = PETSC_DECIDE; 360a545947SLisandro Dalcin ierr = PetscOptionsReal("-pc_factor_nonzeros_along_diagonal","Reorder to remove zeros from diagonal","PCFactorReorderForNonzeroDiagonal",lu->nonzerosalongdiagonaltol,&tol,NULL);CHKERRQ(ierr); 372401956bSBarry Smith ierr = PCFactorReorderForNonzeroDiagonal(pc,tol);CHKERRQ(ierr); 389b54502bSHong Zhang } 399b54502bSHong Zhang ierr = PetscOptionsTail();CHKERRQ(ierr); 409b54502bSHong Zhang PetscFunctionReturn(0); 419b54502bSHong Zhang } 429b54502bSHong Zhang 439b54502bSHong Zhang static PetscErrorCode PCSetUp_LU(PC pc) 449b54502bSHong Zhang { 459b54502bSHong Zhang PetscErrorCode ierr; 469b54502bSHong Zhang PC_LU *dir = (PC_LU*)pc->data; 47ea799195SBarry Smith MatSolverType stype; 4800e125f8SBarry Smith MatFactorError err; 493d1c1ea0SBarry Smith 509b54502bSHong Zhang PetscFunctionBegin; 51c6e4fdc6SHong Zhang pc->failedreason = PC_NOERROR; 523d1c1ea0SBarry Smith if (dir->hdr.reusefill && pc->setupcalled) ((PC_Factor*)dir)->info.fill = dir->hdr.actualfill; 539b54502bSHong Zhang 5484d44b13SHong Zhang ierr = MatSetErrorIfFailure(pc->pmat,pc->erroriffailure);CHKERRQ(ierr); 553d1c1ea0SBarry Smith if (dir->hdr.inplace) { 569d76b4d0SMatthew G. Knepley MatFactorType ftype; 579d76b4d0SMatthew G. Knepley 589d76b4d0SMatthew G. Knepley ierr = MatGetFactorType(pc->pmat, &ftype);CHKERRQ(ierr); 599d76b4d0SMatthew G. Knepley if (ftype == MAT_FACTOR_NONE) { 60fcfd50ebSBarry Smith if (dir->row && dir->col && dir->row != dir->col) {ierr = ISDestroy(&dir->row);CHKERRQ(ierr);} 61fcfd50ebSBarry Smith ierr = ISDestroy(&dir->col);CHKERRQ(ierr); 62075768bcSBarry Smith ierr = MatGetOrdering(pc->pmat,((PC_Factor*)dir)->ordering,&dir->row,&dir->col);CHKERRQ(ierr); 6303c60df9SBarry Smith if (dir->row) { 643bb1ff40SBarry Smith ierr = PetscLogObjectParent((PetscObject)pc,(PetscObject)dir->row);CHKERRQ(ierr); 653bb1ff40SBarry Smith ierr = PetscLogObjectParent((PetscObject)pc,(PetscObject)dir->col);CHKERRQ(ierr); 6603c60df9SBarry Smith } 67075768bcSBarry Smith ierr = MatLUFactor(pc->pmat,dir->row,dir->col,&((PC_Factor*)dir)->info);CHKERRQ(ierr); 6800e125f8SBarry Smith ierr = MatFactorGetError(pc->pmat,&err);CHKERRQ(ierr); 6900e125f8SBarry Smith if (err) { /* Factor() fails */ 7000e125f8SBarry Smith pc->failedreason = (PCFailedReason)err; 716baea169SHong Zhang PetscFunctionReturn(0); 726baea169SHong Zhang } 739d76b4d0SMatthew G. Knepley } 74075768bcSBarry Smith ((PC_Factor*)dir)->fact = pc->pmat; 759b54502bSHong Zhang } else { 769b54502bSHong Zhang MatInfo info; 7700e125f8SBarry Smith 789b54502bSHong Zhang if (!pc->setupcalled) { 79075768bcSBarry Smith ierr = MatGetOrdering(pc->pmat,((PC_Factor*)dir)->ordering,&dir->row,&dir->col);CHKERRQ(ierr); 809b54502bSHong Zhang if (dir->nonzerosalongdiagonal) { 819b54502bSHong Zhang ierr = MatReorderForNonzeroDiagonal(pc->pmat,dir->nonzerosalongdiagonaltol,dir->row,dir->col);CHKERRQ(ierr); 829b54502bSHong Zhang } 8303c60df9SBarry Smith if (dir->row) { 843bb1ff40SBarry Smith ierr = PetscLogObjectParent((PetscObject)pc,(PetscObject)dir->row);CHKERRQ(ierr); 853bb1ff40SBarry Smith ierr = PetscLogObjectParent((PetscObject)pc,(PetscObject)dir->col);CHKERRQ(ierr); 8603c60df9SBarry Smith } 87d09a07f4SBarry Smith if (!((PC_Factor*)dir)->fact) { 88075768bcSBarry Smith ierr = MatGetFactor(pc->pmat,((PC_Factor*)dir)->solvertype,MAT_FACTOR_LU,&((PC_Factor*)dir)->fact);CHKERRQ(ierr); 89a1f19f5aSHong Zhang } 90075768bcSBarry Smith ierr = MatLUFactorSymbolic(((PC_Factor*)dir)->fact,pc->pmat,dir->row,dir->col,&((PC_Factor*)dir)->info);CHKERRQ(ierr); 91075768bcSBarry Smith ierr = MatGetInfo(((PC_Factor*)dir)->fact,MAT_LOCAL,&info);CHKERRQ(ierr); 923d1c1ea0SBarry Smith dir->hdr.actualfill = info.fill_ratio_needed; 933bb1ff40SBarry Smith ierr = PetscLogObjectParent((PetscObject)pc,(PetscObject)((PC_Factor*)dir)->fact);CHKERRQ(ierr); 949b54502bSHong Zhang } else if (pc->flag != SAME_NONZERO_PATTERN) { 953d1c1ea0SBarry Smith if (!dir->hdr.reuseordering) { 96fcfd50ebSBarry Smith if (dir->row && dir->col && dir->row != dir->col) {ierr = ISDestroy(&dir->row);CHKERRQ(ierr);} 97fcfd50ebSBarry Smith ierr = ISDestroy(&dir->col);CHKERRQ(ierr); 98075768bcSBarry Smith ierr = MatGetOrdering(pc->pmat,((PC_Factor*)dir)->ordering,&dir->row,&dir->col);CHKERRQ(ierr); 999b54502bSHong Zhang if (dir->nonzerosalongdiagonal) { 1009b54502bSHong Zhang ierr = MatReorderForNonzeroDiagonal(pc->pmat,dir->nonzerosalongdiagonaltol,dir->row,dir->col);CHKERRQ(ierr); 1019b54502bSHong Zhang } 10203c60df9SBarry Smith if (dir->row) { 1033bb1ff40SBarry Smith ierr = PetscLogObjectParent((PetscObject)pc,(PetscObject)dir->row);CHKERRQ(ierr); 1043bb1ff40SBarry Smith ierr = PetscLogObjectParent((PetscObject)pc,(PetscObject)dir->col);CHKERRQ(ierr); 10503c60df9SBarry Smith } 1069b54502bSHong Zhang } 1076bf464f9SBarry Smith ierr = MatDestroy(&((PC_Factor*)dir)->fact);CHKERRQ(ierr); 108075768bcSBarry Smith ierr = MatGetFactor(pc->pmat,((PC_Factor*)dir)->solvertype,MAT_FACTOR_LU,&((PC_Factor*)dir)->fact);CHKERRQ(ierr); 109075768bcSBarry Smith ierr = MatLUFactorSymbolic(((PC_Factor*)dir)->fact,pc->pmat,dir->row,dir->col,&((PC_Factor*)dir)->info);CHKERRQ(ierr); 110075768bcSBarry Smith ierr = MatGetInfo(((PC_Factor*)dir)->fact,MAT_LOCAL,&info);CHKERRQ(ierr); 1113d1c1ea0SBarry Smith dir->hdr.actualfill = info.fill_ratio_needed; 1123bb1ff40SBarry Smith ierr = PetscLogObjectParent((PetscObject)pc,(PetscObject)((PC_Factor*)dir)->fact);CHKERRQ(ierr); 11304545d6dSBarry Smith } else { 114b8b68cfdSBarry Smith ierr = MatFactorGetError(((PC_Factor*)dir)->fact,&err);CHKERRQ(ierr); 115160a8794SBarry Smith if (err == MAT_FACTOR_NUMERIC_ZEROPIVOT) { 116b8b68cfdSBarry Smith ierr = MatFactorClearError(((PC_Factor*)dir)->fact);CHKERRQ(ierr); 117b8b68cfdSBarry Smith pc->failedreason = PC_NOERROR; 11804545d6dSBarry Smith } 1199b54502bSHong Zhang } 12000e125f8SBarry Smith ierr = MatFactorGetError(((PC_Factor*)dir)->fact,&err);CHKERRQ(ierr); 12100e125f8SBarry Smith if (err) { /* FactorSymbolic() fails */ 12200e125f8SBarry Smith pc->failedreason = (PCFailedReason)err; 1238c1cd74cSHong Zhang PetscFunctionReturn(0); 1248c1cd74cSHong Zhang } 1258c1cd74cSHong Zhang 126075768bcSBarry Smith ierr = MatLUFactorNumeric(((PC_Factor*)dir)->fact,pc->pmat,&((PC_Factor*)dir)->info);CHKERRQ(ierr); 12700e125f8SBarry Smith ierr = MatFactorGetError(((PC_Factor*)dir)->fact,&err);CHKERRQ(ierr); 12800e125f8SBarry Smith if (err) { /* FactorNumeric() fails */ 12900e125f8SBarry Smith pc->failedreason = (PCFailedReason)err; 1308c1cd74cSHong Zhang } 131680c5173SHong Zhang 1329b54502bSHong Zhang } 13300c67f3bSHong Zhang 1343ca39a21SBarry Smith ierr = PCFactorGetMatSolverType(pc,&stype);CHKERRQ(ierr); 13500c67f3bSHong Zhang if (!stype) { 136ea799195SBarry Smith MatSolverType solverpackage; 1373ca39a21SBarry Smith ierr = MatFactorGetSolverType(((PC_Factor*)dir)->fact,&solverpackage);CHKERRQ(ierr); 1383ca39a21SBarry Smith ierr = PCFactorSetMatSolverType(pc,solverpackage);CHKERRQ(ierr); 13900c67f3bSHong Zhang } 1409b54502bSHong Zhang PetscFunctionReturn(0); 1419b54502bSHong Zhang } 1429b54502bSHong Zhang 143574deadeSBarry Smith static PetscErrorCode PCReset_LU(PC pc) 1449b54502bSHong Zhang { 1459b54502bSHong Zhang PC_LU *dir = (PC_LU*)pc->data; 1469b54502bSHong Zhang PetscErrorCode ierr; 1479b54502bSHong Zhang 1489b54502bSHong Zhang PetscFunctionBegin; 1493d1c1ea0SBarry Smith if (!dir->hdr.inplace && ((PC_Factor*)dir)->fact) {ierr = MatDestroy(&((PC_Factor*)dir)->fact);CHKERRQ(ierr);} 150fcfd50ebSBarry Smith if (dir->row && dir->col && dir->row != dir->col) {ierr = ISDestroy(&dir->row);CHKERRQ(ierr);} 151fcfd50ebSBarry Smith ierr = ISDestroy(&dir->col);CHKERRQ(ierr); 152574deadeSBarry Smith PetscFunctionReturn(0); 153574deadeSBarry Smith } 154574deadeSBarry Smith 155574deadeSBarry Smith static PetscErrorCode PCDestroy_LU(PC pc) 156574deadeSBarry Smith { 157574deadeSBarry Smith PC_LU *dir = (PC_LU*)pc->data; 158574deadeSBarry Smith PetscErrorCode ierr; 159574deadeSBarry Smith 160574deadeSBarry Smith PetscFunctionBegin; 161574deadeSBarry Smith ierr = PCReset_LU(pc);CHKERRQ(ierr); 162503cfb0cSBarry Smith ierr = PetscFree(((PC_Factor*)dir)->ordering);CHKERRQ(ierr); 163503cfb0cSBarry Smith ierr = PetscFree(((PC_Factor*)dir)->solvertype);CHKERRQ(ierr); 164c31cb41cSBarry Smith ierr = PetscFree(pc->data);CHKERRQ(ierr); 1659b54502bSHong Zhang PetscFunctionReturn(0); 1669b54502bSHong Zhang } 1679b54502bSHong Zhang 1689b54502bSHong Zhang static PetscErrorCode PCApply_LU(PC pc,Vec x,Vec y) 1699b54502bSHong Zhang { 1709b54502bSHong Zhang PC_LU *dir = (PC_LU*)pc->data; 1719b54502bSHong Zhang PetscErrorCode ierr; 1729b54502bSHong Zhang 1739b54502bSHong Zhang PetscFunctionBegin; 1743d1c1ea0SBarry Smith if (dir->hdr.inplace) { 1752fa5cd67SKarl Rupp ierr = MatSolve(pc->pmat,x,y);CHKERRQ(ierr); 1762fa5cd67SKarl Rupp } else { 1772fa5cd67SKarl Rupp ierr = MatSolve(((PC_Factor*)dir)->fact,x,y);CHKERRQ(ierr); 1782fa5cd67SKarl Rupp } 1799b54502bSHong Zhang PetscFunctionReturn(0); 1809b54502bSHong Zhang } 1819b54502bSHong Zhang 182*7b6e2003SPierre Jolivet static PetscErrorCode PCMatApply_LU(PC pc,Mat X,Mat Y) 183*7b6e2003SPierre Jolivet { 184*7b6e2003SPierre Jolivet PC_LU *dir = (PC_LU*)pc->data; 185*7b6e2003SPierre Jolivet PetscErrorCode ierr; 186*7b6e2003SPierre Jolivet 187*7b6e2003SPierre Jolivet PetscFunctionBegin; 188*7b6e2003SPierre Jolivet if (dir->hdr.inplace) { 189*7b6e2003SPierre Jolivet ierr = MatMatSolve(pc->pmat,X,Y);CHKERRQ(ierr); 190*7b6e2003SPierre Jolivet } else { 191*7b6e2003SPierre Jolivet ierr = MatMatSolve(((PC_Factor*)dir)->fact,X,Y);CHKERRQ(ierr); 192*7b6e2003SPierre Jolivet } 193*7b6e2003SPierre Jolivet PetscFunctionReturn(0); 194*7b6e2003SPierre Jolivet } 195*7b6e2003SPierre Jolivet 1969b54502bSHong Zhang static PetscErrorCode PCApplyTranspose_LU(PC pc,Vec x,Vec y) 1979b54502bSHong Zhang { 1989b54502bSHong Zhang PC_LU *dir = (PC_LU*)pc->data; 1999b54502bSHong Zhang PetscErrorCode ierr; 2009b54502bSHong Zhang 2019b54502bSHong Zhang PetscFunctionBegin; 2023d1c1ea0SBarry Smith if (dir->hdr.inplace) { 2032fa5cd67SKarl Rupp ierr = MatSolveTranspose(pc->pmat,x,y);CHKERRQ(ierr); 2042fa5cd67SKarl Rupp } else { 2052fa5cd67SKarl Rupp ierr = MatSolveTranspose(((PC_Factor*)dir)->fact,x,y);CHKERRQ(ierr); 2062fa5cd67SKarl Rupp } 2079b54502bSHong Zhang PetscFunctionReturn(0); 2089b54502bSHong Zhang } 2099b54502bSHong Zhang 2109b54502bSHong Zhang /* -----------------------------------------------------------------------------------*/ 2119b54502bSHong Zhang 2129b54502bSHong Zhang /*MC 2139b54502bSHong Zhang PCLU - Uses a direct solver, based on LU factorization, as a preconditioner 2149b54502bSHong Zhang 2159b54502bSHong Zhang Options Database Keys: 2162401956bSBarry Smith + -pc_factor_reuse_ordering - Activate PCFactorSetReuseOrdering() 2173ca39a21SBarry Smith . -pc_factor_mat_solver_type - Actives PCFactorSetMatSolverType() to choose the direct solver, like superlu 2182401956bSBarry Smith . -pc_factor_reuse_fill - Activates PCFactorSetReuseFill() 21955ba2a51SBarry Smith . -pc_factor_fill <fill> - Sets fill amount 2202401956bSBarry Smith . -pc_factor_in_place - Activates in-place factorization 2212401956bSBarry Smith . -pc_factor_mat_ordering_type <nd,rcm,...> - Sets ordering routine 2222401956bSBarry Smith . -pc_factor_pivot_in_blocks <true,false> - allow pivoting within the small blocks during factorization (may increase 2239b54502bSHong Zhang stability of factorization. 224145b9266SHong Zhang . -pc_factor_shift_type <shifttype> - Sets shift type or PETSC_DECIDE for the default; use '-help' for a list of available types 225145b9266SHong Zhang . -pc_factor_shift_amount <shiftamount> - Sets shift amount or PETSC_DECIDE for the default 226e22d95b2SBarry Smith - -pc_factor_nonzeros_along_diagonal - permutes the rows and columns to try to put nonzero value along the 227e22d95b2SBarry Smith diagonal. 2289b54502bSHong Zhang 22995452b02SPatrick Sanan Notes: 23095452b02SPatrick Sanan Not all options work for all matrix formats 2319b54502bSHong Zhang Run with -help to see additional options for particular matrix formats or factorization 2329b54502bSHong Zhang algorithms 2339b54502bSHong Zhang 2349b54502bSHong Zhang Level: beginner 2359b54502bSHong Zhang 23695452b02SPatrick Sanan Notes: 23795452b02SPatrick Sanan Usually this will compute an "exact" solution in one iteration and does 2389b54502bSHong Zhang not need a Krylov method (i.e. you can use -ksp_type preonly, or 2399b54502bSHong Zhang KSPSetType(ksp,KSPPREONLY) for the Krylov method 2409b54502bSHong Zhang 2419b54502bSHong Zhang .seealso: PCCreate(), PCSetType(), PCType (for list of available types), PC, 242a4fd02acSBarry Smith PCILU, PCCHOLESKY, PCICC, PCFactorSetReuseOrdering(), PCFactorSetReuseFill(), PCFactorGetMatrix(), 2438ff23777SHong Zhang PCFactorSetFill(), PCFactorSetUseInPlace(), PCFactorSetMatOrderingType(), PCFactorSetColumnPivot(), 244145b9266SHong Zhang PCFactorSetPivotingInBlocks(),PCFactorSetShiftType(),PCFactorSetShiftAmount() 2458ff23777SHong Zhang PCFactorReorderForNonzeroDiagonal() 2469b54502bSHong Zhang M*/ 2479b54502bSHong Zhang 2488cc058d9SJed Brown PETSC_EXTERN PetscErrorCode PCCreate_LU(PC pc) 2499b54502bSHong Zhang { 2509b54502bSHong Zhang PetscErrorCode ierr; 2519b54502bSHong Zhang PetscMPIInt size; 2529b54502bSHong Zhang PC_LU *dir; 2539b54502bSHong Zhang 2549b54502bSHong Zhang PetscFunctionBegin; 255b00a9115SJed Brown ierr = PetscNewLog(pc,&dir);CHKERRQ(ierr); 2563d1c1ea0SBarry Smith pc->data = (void*)dir; 2573d1c1ea0SBarry Smith ierr = PCFactorInitialize(pc);CHKERRQ(ierr); 258d5f3da31SBarry Smith ((PC_Factor*)dir)->factortype = MAT_FACTOR_LU; 2599b54502bSHong Zhang dir->nonzerosalongdiagonal = PETSC_FALSE; 2609b54502bSHong Zhang 261075768bcSBarry Smith ((PC_Factor*)dir)->info.fill = 5.0; 262075768bcSBarry Smith ((PC_Factor*)dir)->info.dtcol = 1.e-6; /* default to pivoting; this is only thing PETSc LU supports */ 263f4db908eSBarry Smith ((PC_Factor*)dir)->info.shifttype = (PetscReal)MAT_SHIFT_NONE; 2640a545947SLisandro Dalcin dir->col = NULL; 2650a545947SLisandro Dalcin dir->row = NULL; 2665c9eb25fSBarry Smith 267ce94432eSBarry Smith ierr = MPI_Comm_size(PetscObjectComm((PetscObject)pc),&size);CHKERRQ(ierr); 2689b54502bSHong Zhang if (size == 1) { 26919fd82e9SBarry Smith ierr = PetscStrallocpy(MATORDERINGND,(char**)&((PC_Factor*)dir)->ordering);CHKERRQ(ierr); 2709b54502bSHong Zhang } else { 27119fd82e9SBarry Smith ierr = PetscStrallocpy(MATORDERINGNATURAL,(char**)&((PC_Factor*)dir)->ordering);CHKERRQ(ierr); 2729b54502bSHong Zhang } 2739b54502bSHong Zhang 274574deadeSBarry Smith pc->ops->reset = PCReset_LU; 2759b54502bSHong Zhang pc->ops->destroy = PCDestroy_LU; 2769b54502bSHong Zhang pc->ops->apply = PCApply_LU; 277*7b6e2003SPierre Jolivet pc->ops->matapply = PCMatApply_LU; 2789b54502bSHong Zhang pc->ops->applytranspose = PCApplyTranspose_LU; 2799b54502bSHong Zhang pc->ops->setup = PCSetUp_LU; 2809b54502bSHong Zhang pc->ops->setfromoptions = PCSetFromOptions_LU; 28192e08861SBarry Smith pc->ops->view = PCView_Factor; 2820a545947SLisandro Dalcin pc->ops->applyrichardson = NULL; 283bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorReorderForNonzeroDiagonal_C",PCFactorReorderForNonzeroDiagonal_LU);CHKERRQ(ierr); 2849b54502bSHong Zhang PetscFunctionReturn(0); 2859b54502bSHong Zhang } 286