1641875f9SMatthew G Knepley 2641875f9SMatthew G Knepley /* 3d515b9b4SShri Abhyankar Provides an interface to the CHOLMOD sparse solver available through SuiteSparse version 4.2.1 4641875f9SMatthew G Knepley 5641875f9SMatthew G Knepley When build with PETSC_USE_64BIT_INDICES this will use UF_Long as the 6641875f9SMatthew G Knepley integer type in UMFPACK, otherwise it will use int. This means 7641875f9SMatthew G Knepley all integers in this file as simply declared as PetscInt. Also it means 8641875f9SMatthew G Knepley that UMFPACK UL_Long version MUST be built with 64 bit integers when used. 9641875f9SMatthew G Knepley 10641875f9SMatthew G Knepley */ 11641875f9SMatthew G Knepley 12c6db04a5SJed Brown #include <../src/mat/impls/sbaij/seq/sbaij.h> 13c6db04a5SJed Brown #include <../src/mat/impls/sbaij/seq/cholmod/cholmodimpl.h> 14641875f9SMatthew G Knepley 15641875f9SMatthew G Knepley /* 16641875f9SMatthew G Knepley This is a terrible hack, but it allows the error handler to retain a context. 17641875f9SMatthew G Knepley Note that this hack really cannot be made both reentrant and concurrent. 18641875f9SMatthew G Knepley */ 19641875f9SMatthew G Knepley static Mat static_F; 20641875f9SMatthew G Knepley 21641875f9SMatthew G Knepley #undef __FUNCT__ 22641875f9SMatthew G Knepley #define __FUNCT__ "CholmodErrorHandler" 23641875f9SMatthew G Knepley static void CholmodErrorHandler(int status,const char *file,int line,const char *message) 24641875f9SMatthew G Knepley { 25641875f9SMatthew G Knepley 26641875f9SMatthew G Knepley PetscFunctionBegin; 27641875f9SMatthew G Knepley if (status > CHOLMOD_OK) { 28641875f9SMatthew G Knepley PetscInfo4(static_F,"CHOLMOD warning %d at %s:%d: %s",status,file,line,message); 29641875f9SMatthew G Knepley } else if (status == CHOLMOD_OK) { /* Documentation says this can happen, but why? */ 30641875f9SMatthew G Knepley PetscInfo3(static_F,"CHOLMOD OK at %s:%d: %s",file,line,message); 31641875f9SMatthew G Knepley } else { 32641875f9SMatthew G Knepley PetscErrorPrintf("CHOLMOD error %d at %s:%d: %s\n",status,file,line,message); 33641875f9SMatthew G Knepley } 34641875f9SMatthew G Knepley PetscFunctionReturnVoid(); 35641875f9SMatthew G Knepley } 36641875f9SMatthew G Knepley 37641875f9SMatthew G Knepley #undef __FUNCT__ 38641875f9SMatthew G Knepley #define __FUNCT__ "CholmodStart" 397087cfbeSBarry Smith PetscErrorCode CholmodStart(Mat F) 40641875f9SMatthew G Knepley { 41641875f9SMatthew G Knepley PetscErrorCode ierr; 42641875f9SMatthew G Knepley Mat_CHOLMOD *chol=(Mat_CHOLMOD*)F->spptr; 43641875f9SMatthew G Knepley cholmod_common *c; 44ace3abfcSBarry Smith PetscBool flg; 45641875f9SMatthew G Knepley 46641875f9SMatthew G Knepley PetscFunctionBegin; 47641875f9SMatthew G Knepley if (chol->common) PetscFunctionReturn(0); 48641875f9SMatthew G Knepley ierr = PetscMalloc(sizeof(*chol->common),&chol->common);CHKERRQ(ierr); 49641875f9SMatthew G Knepley ierr = !cholmod_X_start(chol->common);CHKERRQ(ierr); 5026fbe8dcSKarl Rupp 51641875f9SMatthew G Knepley c = chol->common; 52641875f9SMatthew G Knepley c->error_handler = CholmodErrorHandler; 53641875f9SMatthew G Knepley 54641875f9SMatthew G Knepley #define CHOLMOD_OPTION_DOUBLE(name,help) do { \ 55641875f9SMatthew G Knepley PetscReal tmp = (PetscReal)c->name; \ 56*8afaa268SBarry Smith ierr = PetscOptionsReal("-mat_cholmod_" #name,help,"None",tmp,&tmp,NULL);CHKERRQ(ierr); \ 57641875f9SMatthew G Knepley c->name = (double)tmp; \ 58641875f9SMatthew G Knepley } while (0) 5926fbe8dcSKarl Rupp 60641875f9SMatthew G Knepley #define CHOLMOD_OPTION_INT(name,help) do { \ 61641875f9SMatthew G Knepley PetscInt tmp = (PetscInt)c->name; \ 62*8afaa268SBarry Smith ierr = PetscOptionsInt("-mat_cholmod_" #name,help,"None",tmp,&tmp,NULL);CHKERRQ(ierr); \ 63641875f9SMatthew G Knepley c->name = (int)tmp; \ 64641875f9SMatthew G Knepley } while (0) 6526fbe8dcSKarl Rupp 66641875f9SMatthew G Knepley #define CHOLMOD_OPTION_SIZE_T(name,help) do { \ 67641875f9SMatthew G Knepley PetscInt tmp = (PetscInt)c->name; \ 68*8afaa268SBarry Smith ierr = PetscOptionsInt("-mat_cholmod_" #name,help,"None",tmp,&tmp,NULL);CHKERRQ(ierr); \ 69ce94432eSBarry Smith if (tmp < 0) SETERRQ(PetscObjectComm((PetscObject)F),PETSC_ERR_ARG_OUTOFRANGE,"value must be positive"); \ 70641875f9SMatthew G Knepley c->name = (size_t)tmp; \ 71641875f9SMatthew G Knepley } while (0) 7226fbe8dcSKarl Rupp 73641875f9SMatthew G Knepley #define CHOLMOD_OPTION_TRUTH(name,help) do { \ 74ace3abfcSBarry Smith PetscBool tmp = (PetscBool) !!c->name; \ 75*8afaa268SBarry Smith ierr = PetscOptionsBool("-mat_cholmod_" #name,help,"None",tmp,&tmp,NULL);CHKERRQ(ierr); \ 76641875f9SMatthew G Knepley c->name = (int)tmp; \ 77641875f9SMatthew G Knepley } while (0) 78641875f9SMatthew G Knepley 79ce94432eSBarry Smith ierr = PetscOptionsBegin(PetscObjectComm((PetscObject)F),((PetscObject)F)->prefix,"CHOLMOD Options","Mat");CHKERRQ(ierr); 80641875f9SMatthew G Knepley /* CHOLMOD handles first-time packing and refactor-packing separately, but we usually want them to be the same. */ 81ace3abfcSBarry Smith chol->pack = (PetscBool)c->final_pack; 8226fbe8dcSKarl Rupp 83*8afaa268SBarry Smith ierr = PetscOptionsBool("-mat_cholmod_pack","Pack factors after factorization [disable for frequent repeat factorization]","None",chol->pack,&chol->pack,NULL);CHKERRQ(ierr); 84641875f9SMatthew G Knepley c->final_pack = (int)chol->pack; 85641875f9SMatthew G Knepley 86641875f9SMatthew G Knepley CHOLMOD_OPTION_DOUBLE(dbound,"Minimum absolute value of diagonal entries of D"); 87641875f9SMatthew G Knepley CHOLMOD_OPTION_DOUBLE(grow0,"Global growth ratio when factors are modified"); 88641875f9SMatthew G Knepley CHOLMOD_OPTION_DOUBLE(grow1,"Column growth ratio when factors are modified"); 89641875f9SMatthew G Knepley CHOLMOD_OPTION_SIZE_T(grow2,"Affine column growth constant when factors are modified"); 90641875f9SMatthew G Knepley CHOLMOD_OPTION_SIZE_T(maxrank,"Max rank of update, larger values are faster but use more memory [2,4,8]"); 91641875f9SMatthew G Knepley { 92641875f9SMatthew G Knepley static const char *const list[] = {"SIMPLICIAL","AUTO","SUPERNODAL","MatCholmodFactorType","MAT_CHOLMOD_FACTOR_",0}; 93*8afaa268SBarry Smith ierr = PetscOptionsEnum("-mat_cholmod_factor","Factorization method","None",list,(PetscEnum)c->supernodal,(PetscEnum*)&c->supernodal,NULL);CHKERRQ(ierr); 94641875f9SMatthew G Knepley } 95641875f9SMatthew G Knepley if (c->supernodal) CHOLMOD_OPTION_DOUBLE(supernodal_switch,"flop/nnz_L threshold for switching to supernodal factorization"); 96641875f9SMatthew G Knepley CHOLMOD_OPTION_TRUTH(final_asis,"Leave factors \"as is\""); 97641875f9SMatthew G Knepley CHOLMOD_OPTION_TRUTH(final_pack,"Pack the columns when finished (use FALSE if the factors will be updated later)"); 98641875f9SMatthew G Knepley if (!c->final_asis) { 99641875f9SMatthew G Knepley CHOLMOD_OPTION_TRUTH(final_super,"Leave supernodal factors instead of converting to simplicial"); 100641875f9SMatthew G Knepley CHOLMOD_OPTION_TRUTH(final_ll,"Turn LDL' factorization into LL'"); 101641875f9SMatthew G Knepley CHOLMOD_OPTION_TRUTH(final_monotonic,"Ensure columns are monotonic when done"); 102641875f9SMatthew G Knepley CHOLMOD_OPTION_TRUTH(final_resymbol,"Remove numerically zero values resulting from relaxed supernodal amalgamation"); 103641875f9SMatthew G Knepley } 104641875f9SMatthew G Knepley { 105641875f9SMatthew G Knepley PetscReal tmp[] = {(PetscReal)c->zrelax[0],(PetscReal)c->zrelax[1],(PetscReal)c->zrelax[2]}; 106641875f9SMatthew G Knepley PetscInt n = 3; 107641875f9SMatthew G Knepley ierr = PetscOptionsRealArray("-mat_cholmod_zrelax","3 real supernodal relaxed amalgamation parameters","None",tmp,&n,&flg);CHKERRQ(ierr); 108ce94432eSBarry Smith if (flg && n != 3) SETERRQ(PetscObjectComm((PetscObject)F),PETSC_ERR_ARG_OUTOFRANGE,"must provide exactly 3 parameters to -mat_cholmod_zrelax"); 109641875f9SMatthew G Knepley if (flg) while (n--) c->zrelax[n] = (double)tmp[n]; 110641875f9SMatthew G Knepley } 111641875f9SMatthew G Knepley { 112641875f9SMatthew G Knepley PetscInt n,tmp[] = {(PetscInt)c->nrelax[0],(PetscInt)c->nrelax[1],(PetscInt)c->nrelax[2]}; 113641875f9SMatthew G Knepley ierr = PetscOptionsIntArray("-mat_cholmod_nrelax","3 size_t supernodal relaxed amalgamation parameters","None",tmp,&n,&flg);CHKERRQ(ierr); 114ce94432eSBarry Smith if (flg && n != 3) SETERRQ(PetscObjectComm((PetscObject)F),PETSC_ERR_ARG_OUTOFRANGE,"must provide exactly 3 parameters to -mat_cholmod_nrelax"); 115641875f9SMatthew G Knepley if (flg) while (n--) c->nrelax[n] = (size_t)tmp[n]; 116641875f9SMatthew G Knepley } 117641875f9SMatthew G Knepley CHOLMOD_OPTION_TRUTH(prefer_upper,"Work with upper triangular form [faster when using fill-reducing ordering, slower in natural ordering]"); 118641875f9SMatthew G Knepley CHOLMOD_OPTION_TRUTH(default_nesdis,"Use NESDIS instead of METIS for nested dissection"); 119641875f9SMatthew G Knepley CHOLMOD_OPTION_INT(print,"Verbosity level"); 120641875f9SMatthew G Knepley ierr = PetscOptionsEnd();CHKERRQ(ierr); 121641875f9SMatthew G Knepley PetscFunctionReturn(0); 122641875f9SMatthew G Knepley } 123641875f9SMatthew G Knepley 124641875f9SMatthew G Knepley #undef __FUNCT__ 125641875f9SMatthew G Knepley #define __FUNCT__ "MatWrapCholmod_seqsbaij" 126ace3abfcSBarry Smith static PetscErrorCode MatWrapCholmod_seqsbaij(Mat A,PetscBool values,cholmod_sparse *C,PetscBool *aijalloc) 127641875f9SMatthew G Knepley { 128641875f9SMatthew G Knepley Mat_SeqSBAIJ *sbaij = (Mat_SeqSBAIJ*)A->data; 129641875f9SMatthew G Knepley PetscErrorCode ierr; 130641875f9SMatthew G Knepley 131641875f9SMatthew G Knepley PetscFunctionBegin; 132641875f9SMatthew G Knepley ierr = PetscMemzero(C,sizeof(*C));CHKERRQ(ierr); 133641875f9SMatthew G Knepley /* CHOLMOD uses column alignment, SBAIJ stores the upper factor, so we pass it on as a lower factor, swapping the meaning of row and column */ 134641875f9SMatthew G Knepley C->nrow = (size_t)A->cmap->n; 135641875f9SMatthew G Knepley C->ncol = (size_t)A->rmap->n; 136641875f9SMatthew G Knepley C->nzmax = (size_t)sbaij->maxnz; 137641875f9SMatthew G Knepley C->p = sbaij->i; 138641875f9SMatthew G Knepley C->i = sbaij->j; 139641875f9SMatthew G Knepley C->x = sbaij->a; 140641875f9SMatthew G Knepley C->stype = -1; 141641875f9SMatthew G Knepley C->itype = CHOLMOD_INT_TYPE; 142641875f9SMatthew G Knepley C->xtype = CHOLMOD_SCALAR_TYPE; 143641875f9SMatthew G Knepley C->dtype = CHOLMOD_DOUBLE; 144641875f9SMatthew G Knepley C->sorted = 1; 145641875f9SMatthew G Knepley C->packed = 1; 146641875f9SMatthew G Knepley *aijalloc = PETSC_FALSE; 147641875f9SMatthew G Knepley PetscFunctionReturn(0); 148641875f9SMatthew G Knepley } 149641875f9SMatthew G Knepley 150641875f9SMatthew G Knepley #undef __FUNCT__ 151641875f9SMatthew G Knepley #define __FUNCT__ "VecWrapCholmod" 152641875f9SMatthew G Knepley static PetscErrorCode VecWrapCholmod(Vec X,cholmod_dense *Y) 153641875f9SMatthew G Knepley { 154641875f9SMatthew G Knepley PetscErrorCode ierr; 155641875f9SMatthew G Knepley PetscScalar *x; 156641875f9SMatthew G Knepley PetscInt n; 157641875f9SMatthew G Knepley 158641875f9SMatthew G Knepley PetscFunctionBegin; 159641875f9SMatthew G Knepley ierr = PetscMemzero(Y,sizeof(*Y));CHKERRQ(ierr); 160641875f9SMatthew G Knepley ierr = VecGetArray(X,&x);CHKERRQ(ierr); 161641875f9SMatthew G Knepley ierr = VecGetSize(X,&n);CHKERRQ(ierr); 16226fbe8dcSKarl Rupp 163641875f9SMatthew G Knepley Y->x = (double*)x; 164641875f9SMatthew G Knepley Y->nrow = n; 165641875f9SMatthew G Knepley Y->ncol = 1; 166641875f9SMatthew G Knepley Y->nzmax = n; 167641875f9SMatthew G Knepley Y->d = n; 168641875f9SMatthew G Knepley Y->x = (double*)x; 169641875f9SMatthew G Knepley Y->xtype = CHOLMOD_SCALAR_TYPE; 170641875f9SMatthew G Knepley Y->dtype = CHOLMOD_DOUBLE; 171641875f9SMatthew G Knepley PetscFunctionReturn(0); 172641875f9SMatthew G Knepley } 173641875f9SMatthew G Knepley 174641875f9SMatthew G Knepley #undef __FUNCT__ 175641875f9SMatthew G Knepley #define __FUNCT__ "MatDestroy_CHOLMOD" 1767087cfbeSBarry Smith PetscErrorCode MatDestroy_CHOLMOD(Mat F) 177641875f9SMatthew G Knepley { 178641875f9SMatthew G Knepley PetscErrorCode ierr; 179641875f9SMatthew G Knepley Mat_CHOLMOD *chol=(Mat_CHOLMOD*)F->spptr; 180641875f9SMatthew G Knepley 181641875f9SMatthew G Knepley PetscFunctionBegin; 182bf0cc555SLisandro Dalcin if (chol) { 183641875f9SMatthew G Knepley ierr = !cholmod_X_free_factor(&chol->factor,chol->common);CHKERRQ(ierr); 184641875f9SMatthew G Knepley ierr = !cholmod_X_finish(chol->common);CHKERRQ(ierr); 185641875f9SMatthew G Knepley ierr = PetscFree(chol->common);CHKERRQ(ierr); 186641875f9SMatthew G Knepley ierr = PetscFree(chol->matrix);CHKERRQ(ierr); 187641875f9SMatthew G Knepley ierr = (*chol->Destroy)(F);CHKERRQ(ierr); 188bf0cc555SLisandro Dalcin } 189bf0cc555SLisandro Dalcin ierr = PetscFree(F->spptr);CHKERRQ(ierr); 190641875f9SMatthew G Knepley PetscFunctionReturn(0); 191641875f9SMatthew G Knepley } 192641875f9SMatthew G Knepley 193641875f9SMatthew G Knepley static PetscErrorCode MatSolve_CHOLMOD(Mat,Vec,Vec); 194641875f9SMatthew G Knepley 195fcd503bcSBarry Smith /*static const char *const CholmodOrderingMethods[] = {"User","AMD","METIS","NESDIS(default)","Natural","NESDIS(small=20000)","NESDIS(small=4,no constrained)","NESDIS()"};*/ 196641875f9SMatthew G Knepley 197641875f9SMatthew G Knepley #undef __FUNCT__ 198641875f9SMatthew G Knepley #define __FUNCT__ "MatFactorInfo_CHOLMOD" 199641875f9SMatthew G Knepley static PetscErrorCode MatFactorInfo_CHOLMOD(Mat F,PetscViewer viewer) 200641875f9SMatthew G Knepley { 201641875f9SMatthew G Knepley Mat_CHOLMOD *chol = (Mat_CHOLMOD*)F->spptr; 202641875f9SMatthew G Knepley const cholmod_common *c = chol->common; 203641875f9SMatthew G Knepley PetscErrorCode ierr; 204641875f9SMatthew G Knepley PetscInt i; 205641875f9SMatthew G Knepley 206641875f9SMatthew G Knepley PetscFunctionBegin; 207641875f9SMatthew G Knepley if (F->ops->solve != MatSolve_CHOLMOD) PetscFunctionReturn(0); 208641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"CHOLMOD run parameters:\n");CHKERRQ(ierr); 209641875f9SMatthew G Knepley ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr); 210641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Pack factors after symbolic factorization: %s\n",chol->pack ? "TRUE" : "FALSE");CHKERRQ(ierr); 211641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.dbound %g (Smallest absolute value of diagonal entries of D)\n",c->dbound);CHKERRQ(ierr); 212641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.grow0 %g\n",c->grow0);CHKERRQ(ierr); 213641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.grow1 %g\n",c->grow1);CHKERRQ(ierr); 214641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.grow2 %u\n",(unsigned)c->grow2);CHKERRQ(ierr); 215641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.maxrank %u\n",(unsigned)c->maxrank);CHKERRQ(ierr); 216641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.supernodal_switch %g\n",c->supernodal_switch);CHKERRQ(ierr); 217641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.supernodal %d\n",c->supernodal);CHKERRQ(ierr); 218641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.final_asis %d\n",c->final_asis);CHKERRQ(ierr); 219641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.final_super %d\n",c->final_super);CHKERRQ(ierr); 220641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.final_ll %d\n",c->final_ll);CHKERRQ(ierr); 221641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.final_pack %d\n",c->final_pack);CHKERRQ(ierr); 222641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.final_monotonic %d\n",c->final_monotonic);CHKERRQ(ierr); 223641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.final_resymbol %d\n",c->final_resymbol);CHKERRQ(ierr); 224641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.zrelax [%g,%g,%g]\n",c->zrelax[0],c->zrelax[1],c->zrelax[2]);CHKERRQ(ierr); 225641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.nrelax [%u,%u,%u]\n",(unsigned)c->nrelax[0],(unsigned)c->nrelax[1],(unsigned)c->nrelax[2]);CHKERRQ(ierr); 226641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.prefer_upper %d\n",c->prefer_upper);CHKERRQ(ierr); 227641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.print %d\n",c->print);CHKERRQ(ierr); 228641875f9SMatthew G Knepley for (i=0; i<c->nmethods; i++) { 229641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Ordering method %D%s:\n",i,i==c->selected ? " [SELECTED]" : "");CHKERRQ(ierr); 230641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer," lnz %g, fl %g, prune_dense %g, prune_dense2 %g\n", 231641875f9SMatthew G Knepley c->method[i].lnz,c->method[i].fl,c->method[i].prune_dense,c->method[i].prune_dense2);CHKERRQ(ierr); 232641875f9SMatthew G Knepley } 233641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.postorder %d\n",c->postorder);CHKERRQ(ierr); 234641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.default_nesdis %d (use NESDIS instead of METIS for nested dissection)\n",c->default_nesdis);CHKERRQ(ierr); 235641875f9SMatthew G Knepley /* Statistics */ 236641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.fl %g (flop count from most recent analysis)\n",c->fl);CHKERRQ(ierr); 237641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.lnz %g (fundamental nz in L)\n",c->lnz);CHKERRQ(ierr); 238641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.anz %g\n",c->anz);CHKERRQ(ierr); 239641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.modfl %g (flop count from most recent update)\n",c->modfl);CHKERRQ(ierr); 240641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.malloc_count %g (number of live objects)\n",(double)c->malloc_count);CHKERRQ(ierr);CHKERRQ(ierr); 241641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.memory_usage %g (peak memory usage in bytes)\n",(double)c->memory_usage);CHKERRQ(ierr);CHKERRQ(ierr); 242641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.memory_inuse %g (current memory usage in bytes)\n",(double)c->memory_inuse);CHKERRQ(ierr);CHKERRQ(ierr); 243641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.nrealloc_col %g (number of column reallocations)\n",c->nrealloc_col);CHKERRQ(ierr);CHKERRQ(ierr); 244641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.nrealloc_factor %g (number of factor reallocations due to column reallocations)\n",c->nrealloc_factor);CHKERRQ(ierr);CHKERRQ(ierr); 245641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.ndbounds_hit %g (number of times diagonal was modified by dbound)\n",c->ndbounds_hit);CHKERRQ(ierr);CHKERRQ(ierr); 246641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.rowfacfl %g (number of flops in last call to cholmod_rowfac)\n",c->rowfacfl);CHKERRQ(ierr);CHKERRQ(ierr); 247641875f9SMatthew G Knepley ierr = PetscViewerASCIIPrintf(viewer,"Common.aatfl %g (number of flops to compute A(:,f)*A(:,f)')\n",c->aatfl);CHKERRQ(ierr);CHKERRQ(ierr); 248641875f9SMatthew G Knepley ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr); 249641875f9SMatthew G Knepley PetscFunctionReturn(0); 250641875f9SMatthew G Knepley } 251641875f9SMatthew G Knepley 252641875f9SMatthew G Knepley #undef __FUNCT__ 253641875f9SMatthew G Knepley #define __FUNCT__ "MatView_CHOLMOD" 2547087cfbeSBarry Smith PetscErrorCode MatView_CHOLMOD(Mat F,PetscViewer viewer) 255641875f9SMatthew G Knepley { 256641875f9SMatthew G Knepley PetscErrorCode ierr; 257ace3abfcSBarry Smith PetscBool iascii; 258641875f9SMatthew G Knepley PetscViewerFormat format; 259641875f9SMatthew G Knepley 260641875f9SMatthew G Knepley PetscFunctionBegin; 261641875f9SMatthew G Knepley ierr = MatView_SeqSBAIJ(F,viewer);CHKERRQ(ierr); 262251f4c67SDmitry Karpeev ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr); 263641875f9SMatthew G Knepley if (iascii) { 264641875f9SMatthew G Knepley ierr = PetscViewerGetFormat(viewer,&format);CHKERRQ(ierr); 265641875f9SMatthew G Knepley if (format == PETSC_VIEWER_ASCII_INFO) { 266641875f9SMatthew G Knepley ierr = MatFactorInfo_CHOLMOD(F,viewer);CHKERRQ(ierr); 267641875f9SMatthew G Knepley } 268641875f9SMatthew G Knepley } 269641875f9SMatthew G Knepley PetscFunctionReturn(0); 270641875f9SMatthew G Knepley } 271641875f9SMatthew G Knepley 272641875f9SMatthew G Knepley #undef __FUNCT__ 273641875f9SMatthew G Knepley #define __FUNCT__ "MatSolve_CHOLMOD" 274641875f9SMatthew G Knepley static PetscErrorCode MatSolve_CHOLMOD(Mat F,Vec B,Vec X) 275641875f9SMatthew G Knepley { 276641875f9SMatthew G Knepley Mat_CHOLMOD *chol = (Mat_CHOLMOD*)F->spptr; 277641875f9SMatthew G Knepley cholmod_dense cholB,*cholX; 278641875f9SMatthew G Knepley PetscScalar *x; 279641875f9SMatthew G Knepley PetscErrorCode ierr; 280641875f9SMatthew G Knepley 281641875f9SMatthew G Knepley PetscFunctionBegin; 282641875f9SMatthew G Knepley ierr = VecWrapCholmod(B,&cholB);CHKERRQ(ierr); 283641875f9SMatthew G Knepley static_F = F; 284641875f9SMatthew G Knepley cholX = cholmod_X_solve(CHOLMOD_A,chol->factor,&cholB,chol->common); 285641875f9SMatthew G Knepley if (!cholX) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_LIB,"CHOLMOD failed"); 286641875f9SMatthew G Knepley ierr = VecGetArray(X,&x);CHKERRQ(ierr); 287641875f9SMatthew G Knepley ierr = PetscMemcpy(x,cholX->x,cholX->nrow*sizeof(*x));CHKERRQ(ierr); 288641875f9SMatthew G Knepley ierr = !cholmod_X_free_dense(&cholX,chol->common);CHKERRQ(ierr); 289641875f9SMatthew G Knepley ierr = VecRestoreArray(X,&x);CHKERRQ(ierr); 290641875f9SMatthew G Knepley PetscFunctionReturn(0); 291641875f9SMatthew G Knepley } 292641875f9SMatthew G Knepley 293641875f9SMatthew G Knepley #undef __FUNCT__ 294641875f9SMatthew G Knepley #define __FUNCT__ "MatCholeskyFactorNumeric_CHOLMOD" 295641875f9SMatthew G Knepley static PetscErrorCode MatCholeskyFactorNumeric_CHOLMOD(Mat F,Mat A,const MatFactorInfo *info) 296641875f9SMatthew G Knepley { 297641875f9SMatthew G Knepley Mat_CHOLMOD *chol = (Mat_CHOLMOD*)F->spptr; 298641875f9SMatthew G Knepley cholmod_sparse cholA; 299ace3abfcSBarry Smith PetscBool aijalloc; 300641875f9SMatthew G Knepley PetscErrorCode ierr; 301641875f9SMatthew G Knepley 302641875f9SMatthew G Knepley PetscFunctionBegin; 303641875f9SMatthew G Knepley ierr = (*chol->Wrap)(A,PETSC_TRUE,&cholA,&aijalloc);CHKERRQ(ierr); 304641875f9SMatthew G Knepley static_F = F; 305641875f9SMatthew G Knepley ierr = !cholmod_X_factorize(&cholA,chol->factor,chol->common); 306ce94432eSBarry Smith if (ierr) SETERRQ1(PetscObjectComm((PetscObject)F),PETSC_ERR_LIB,"CHOLMOD factorization failed with status %d",chol->common->status); 307ce94432eSBarry Smith if (chol->common->status == CHOLMOD_NOT_POSDEF) SETERRQ1(PetscObjectComm((PetscObject)F),PETSC_ERR_MAT_CH_ZRPVT,"CHOLMOD detected that the matrix is not positive definite, failure at column %u",(unsigned)chol->factor->minor); 308641875f9SMatthew G Knepley 309641875f9SMatthew G Knepley if (aijalloc) {ierr = PetscFree3(cholA.p,cholA.i,cholA.x);CHKERRQ(ierr);} 310641875f9SMatthew G Knepley 311641875f9SMatthew G Knepley F->ops->solve = MatSolve_CHOLMOD; 312641875f9SMatthew G Knepley F->ops->solvetranspose = MatSolve_CHOLMOD; 313641875f9SMatthew G Knepley PetscFunctionReturn(0); 314641875f9SMatthew G Knepley } 315641875f9SMatthew G Knepley 316641875f9SMatthew G Knepley #undef __FUNCT__ 317641875f9SMatthew G Knepley #define __FUNCT__ "MatCholeskyFactorSymbolic_CHOLMOD" 3187087cfbeSBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_CHOLMOD(Mat F,Mat A,IS perm,const MatFactorInfo *info) 319641875f9SMatthew G Knepley { 320641875f9SMatthew G Knepley Mat_CHOLMOD *chol = (Mat_CHOLMOD*)F->spptr; 321641875f9SMatthew G Knepley PetscErrorCode ierr; 322641875f9SMatthew G Knepley cholmod_sparse cholA; 323ace3abfcSBarry Smith PetscBool aijalloc; 324641875f9SMatthew G Knepley PetscInt *fset = 0; 325641875f9SMatthew G Knepley size_t fsize = 0; 326641875f9SMatthew G Knepley 327641875f9SMatthew G Knepley PetscFunctionBegin; 328641875f9SMatthew G Knepley ierr = (*chol->Wrap)(A,PETSC_FALSE,&cholA,&aijalloc);CHKERRQ(ierr); 329641875f9SMatthew G Knepley static_F = F; 330641875f9SMatthew G Knepley if (chol->factor) { 331641875f9SMatthew G Knepley ierr = !cholmod_X_resymbol(&cholA,fset,fsize,(int)chol->pack,chol->factor,chol->common); 332ce94432eSBarry Smith if (ierr) SETERRQ1(PetscObjectComm((PetscObject)F),PETSC_ERR_LIB,"CHOLMOD analysis failed with status %d",chol->common->status); 333641875f9SMatthew G Knepley } else if (perm) { 334641875f9SMatthew G Knepley const PetscInt *ip; 335641875f9SMatthew G Knepley ierr = ISGetIndices(perm,&ip);CHKERRQ(ierr); 336641875f9SMatthew G Knepley chol->factor = cholmod_X_analyze_p(&cholA,(PetscInt*)ip,fset,fsize,chol->common); 337ce94432eSBarry Smith if (!chol->factor) SETERRQ1(PetscObjectComm((PetscObject)F),PETSC_ERR_LIB,"CHOLMOD analysis failed with status %d",chol->common->status); 338641875f9SMatthew G Knepley ierr = ISRestoreIndices(perm,&ip);CHKERRQ(ierr); 339641875f9SMatthew G Knepley } else { 340641875f9SMatthew G Knepley chol->factor = cholmod_X_analyze(&cholA,chol->common); 341ce94432eSBarry Smith if (!chol->factor) SETERRQ1(PetscObjectComm((PetscObject)F),PETSC_ERR_LIB,"CHOLMOD analysis failed with status %d",chol->common->status); 342641875f9SMatthew G Knepley } 343641875f9SMatthew G Knepley 344641875f9SMatthew G Knepley if (aijalloc) {ierr = PetscFree3(cholA.p,cholA.i,cholA.x);CHKERRQ(ierr);} 345641875f9SMatthew G Knepley 346641875f9SMatthew G Knepley F->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_CHOLMOD; 347641875f9SMatthew G Knepley PetscFunctionReturn(0); 348641875f9SMatthew G Knepley } 349641875f9SMatthew G Knepley 350641875f9SMatthew G Knepley #undef __FUNCT__ 351641875f9SMatthew G Knepley #define __FUNCT__ "MatFactorGetSolverPackage_seqsbaij_cholmod" 352641875f9SMatthew G Knepley PetscErrorCode MatFactorGetSolverPackage_seqsbaij_cholmod(Mat A,const MatSolverPackage *type) 353641875f9SMatthew G Knepley { 354641875f9SMatthew G Knepley PetscFunctionBegin; 355641875f9SMatthew G Knepley *type = MATSOLVERCHOLMOD; 356641875f9SMatthew G Knepley PetscFunctionReturn(0); 357641875f9SMatthew G Knepley } 358641875f9SMatthew G Knepley 359641875f9SMatthew G Knepley /*MC 360641875f9SMatthew G Knepley MATSOLVERCHOLMOD = "cholmod" - A matrix type providing direct solvers (Cholesky) for sequential matrices 361641875f9SMatthew G Knepley via the external package CHOLMOD. 362641875f9SMatthew G Knepley 363f02a4714SShri ./configure --download-suitesparse to install PETSc to use CHOLMOD 364641875f9SMatthew G Knepley 365641875f9SMatthew G Knepley Consult CHOLMOD documentation for more information about the Common parameters 366641875f9SMatthew G Knepley which correspond to the options database keys below. 367641875f9SMatthew G Knepley 368641875f9SMatthew G Knepley Options Database Keys: 369e08999f5SMatthew G Knepley + -mat_cholmod_dbound <0> - Minimum absolute value of diagonal entries of D (None) 370e08999f5SMatthew G Knepley . -mat_cholmod_grow0 <1.2> - Global growth ratio when factors are modified (None) 371e08999f5SMatthew G Knepley . -mat_cholmod_grow1 <1.2> - Column growth ratio when factors are modified (None) 372e08999f5SMatthew G Knepley . -mat_cholmod_grow2 <5> - Affine column growth constant when factors are modified (None) 373e08999f5SMatthew G Knepley . -mat_cholmod_maxrank <8> - Max rank of update, larger values are faster but use more memory [2,4,8] (None) 374e08999f5SMatthew G Knepley . -mat_cholmod_factor <AUTO> - (choose one of) SIMPLICIAL AUTO SUPERNODAL 375e08999f5SMatthew G Knepley . -mat_cholmod_supernodal_switch <40> - flop/nnz_L threshold for switching to supernodal factorization (None) 376e08999f5SMatthew G Knepley . -mat_cholmod_final_asis <TRUE> - Leave factors "as is" (None) 377e08999f5SMatthew G Knepley . -mat_cholmod_final_pack <TRUE> - Pack the columns when finished (use FALSE if the factors will be updated later) (None) 378e08999f5SMatthew G Knepley . -mat_cholmod_zrelax <0.8> - 3 real supernodal relaxed amalgamation parameters (None) 379e08999f5SMatthew G Knepley . -mat_cholmod_nrelax <4> - 3 size_t supernodal relaxed amalgamation parameters (None) 380e08999f5SMatthew G Knepley . -mat_cholmod_prefer_upper <TRUE> - Work with upper triangular form (faster when using fill-reducing ordering, slower in natural ordering) (None) 381e08999f5SMatthew G Knepley - -mat_cholmod_print <3> - Verbosity level (None) 382641875f9SMatthew G Knepley 383641875f9SMatthew G Knepley Level: beginner 384641875f9SMatthew G Knepley 385641875f9SMatthew G Knepley .seealso: PCCHOLESKY, PCFactorSetMatSolverPackage(), MatSolverPackage 386641875f9SMatthew G Knepley M*/ 387b2573a8aSBarry Smith 388641875f9SMatthew G Knepley #undef __FUNCT__ 389641875f9SMatthew G Knepley #define __FUNCT__ "MatGetFactor_seqsbaij_cholmod" 3908cc058d9SJed Brown PETSC_EXTERN PetscErrorCode MatGetFactor_seqsbaij_cholmod(Mat A,MatFactorType ftype,Mat *F) 391641875f9SMatthew G Knepley { 392641875f9SMatthew G Knepley Mat B; 393641875f9SMatthew G Knepley Mat_CHOLMOD *chol; 394641875f9SMatthew G Knepley PetscErrorCode ierr; 395641875f9SMatthew G Knepley PetscInt m=A->rmap->n,n=A->cmap->n,bs; 396641875f9SMatthew G Knepley 397641875f9SMatthew G Knepley PetscFunctionBegin; 398641875f9SMatthew G Knepley if (ftype != MAT_FACTOR_CHOLESKY) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_SUP,"CHOLMOD cannot do %s factorization with SBAIJ, only %s", 399641875f9SMatthew G Knepley MatFactorTypes[ftype],MatFactorTypes[MAT_FACTOR_CHOLESKY]); 400641875f9SMatthew G Knepley ierr = MatGetBlockSize(A,&bs);CHKERRQ(ierr); 401ce94432eSBarry Smith if (bs != 1) SETERRQ1(PetscObjectComm((PetscObject)A),PETSC_ERR_SUP,"CHOLMOD only supports block size=1, given %D",bs); 402641875f9SMatthew G Knepley /* Create the factorization matrix F */ 403ce94432eSBarry Smith ierr = MatCreate(PetscObjectComm((PetscObject)A),&B);CHKERRQ(ierr); 404641875f9SMatthew G Knepley ierr = MatSetSizes(B,PETSC_DECIDE,PETSC_DECIDE,m,n);CHKERRQ(ierr); 405641875f9SMatthew G Knepley ierr = MatSetType(B,((PetscObject)A)->type_name);CHKERRQ(ierr); 4060298fd71SBarry Smith ierr = MatSeqSBAIJSetPreallocation(B,1,0,NULL);CHKERRQ(ierr); 407b00a9115SJed Brown ierr = PetscNewLog(B,&chol);CHKERRQ(ierr); 40826fbe8dcSKarl Rupp 409641875f9SMatthew G Knepley chol->Wrap = MatWrapCholmod_seqsbaij; 410641875f9SMatthew G Knepley chol->Destroy = MatDestroy_SeqSBAIJ; 411641875f9SMatthew G Knepley B->spptr = chol; 412641875f9SMatthew G Knepley 413641875f9SMatthew G Knepley B->ops->view = MatView_CHOLMOD; 414641875f9SMatthew G Knepley B->ops->choleskyfactorsymbolic = MatCholeskyFactorSymbolic_CHOLMOD; 415641875f9SMatthew G Knepley B->ops->destroy = MatDestroy_CHOLMOD; 416bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)B,"MatFactorGetSolverPackage_C",MatFactorGetSolverPackage_seqsbaij_cholmod);CHKERRQ(ierr); 417641875f9SMatthew G Knepley B->factortype = MAT_FACTOR_CHOLESKY; 418641875f9SMatthew G Knepley B->assembled = PETSC_TRUE; /* required by -ksp_view */ 419641875f9SMatthew G Knepley B->preallocated = PETSC_TRUE; 420641875f9SMatthew G Knepley 421641875f9SMatthew G Knepley ierr = CholmodStart(B);CHKERRQ(ierr); 422641875f9SMatthew G Knepley *F = B; 423641875f9SMatthew G Knepley PetscFunctionReturn(0); 424641875f9SMatthew G Knepley } 425