xref: /petsc/src/ksp/pc/impls/redundant/redundant.c (revision cf52b8b1daf716e2cc9357899d97accdbfcfdda5)
1dba47a55SKris Buschelman #define PETSCKSP_DLL
2dba47a55SKris Buschelman 
34b9ad928SBarry Smith /*
43f457be1SHong Zhang   This file defines a "solve the problem redundantly on each subgroup of processor" preconditioner.
54b9ad928SBarry Smith */
66356e834SBarry Smith #include "private/pcimpl.h"     /*I "petscpc.h" I*/
74b9ad928SBarry Smith #include "petscksp.h"
84b9ad928SBarry Smith 
94b9ad928SBarry Smith typedef struct {
103e065800SHong Zhang   KSP          ksp;
114b9ad928SBarry Smith   PC           pc;                   /* actual preconditioner used on each processor */
123f457be1SHong Zhang   Vec          xsub,ysub;            /* vectors of a subcommunicator to hold parallel vectors of pc->comm */
133f457be1SHong Zhang   Vec          xdup,ydup;            /* parallel vector that congregates xsub or ysub facilitating vector scattering */
14b3804887SHong Zhang   Mat          pmats;                /* matrix and optional preconditioner matrix belong to a subcommunicator */
153f457be1SHong Zhang   VecScatter   scatterin,scatterout; /* scatter used to move all values to each processor group (subcommunicator) */
164b9ad928SBarry Smith   PetscTruth   useparallelmat;
17c540e29cSHong Zhang   PetscSubcomm psubcomm;
181fbd8f88SHong Zhang   PetscInt     nsubcomm;           /* num of data structure PetscSubcomm */
194b9ad928SBarry Smith } PC_Redundant;
204b9ad928SBarry Smith 
214b9ad928SBarry Smith #undef __FUNCT__
224b9ad928SBarry Smith #define __FUNCT__ "PCView_Redundant"
236849ba73SBarry Smith static PetscErrorCode PCView_Redundant(PC pc,PetscViewer viewer)
244b9ad928SBarry Smith {
254b9ad928SBarry Smith   PC_Redundant   *red = (PC_Redundant*)pc->data;
26dfbe8321SBarry Smith   PetscErrorCode ierr;
2713f74950SBarry Smith   PetscMPIInt    rank;
2832077d6dSBarry Smith   PetscTruth     iascii,isstring;
29a47c9f9aSHong Zhang   PetscViewer    sviewer,subviewer;
301fbd8f88SHong Zhang   PetscInt       color = red->psubcomm->color;
314b9ad928SBarry Smith 
324b9ad928SBarry Smith   PetscFunctionBegin;
334b9ad928SBarry Smith   ierr = MPI_Comm_rank(pc->comm,&rank);CHKERRQ(ierr);
3432077d6dSBarry Smith   ierr = PetscTypeCompare((PetscObject)viewer,PETSC_VIEWER_ASCII,&iascii);CHKERRQ(ierr);
354b9ad928SBarry Smith   ierr = PetscTypeCompare((PetscObject)viewer,PETSC_VIEWER_STRING,&isstring);CHKERRQ(ierr);
3632077d6dSBarry Smith   if (iascii) {
373e065800SHong Zhang     ierr = PetscViewerASCIIPrintf(viewer,"  Redundant preconditioner: First (color=0) of %D PCs follows\n",red->nsubcomm);CHKERRQ(ierr);
38a98ce0f4SHong Zhang     ierr = PetscViewerGetSubcomm(viewer,red->pc->comm,&subviewer);CHKERRQ(ierr);
39a98ce0f4SHong Zhang     if (!color) { /* only view first redundant pc */
404b9ad928SBarry Smith       ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
413e065800SHong Zhang       ierr = KSPView(red->ksp,subviewer);CHKERRQ(ierr);
424b9ad928SBarry Smith       ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
434b9ad928SBarry Smith     }
44a98ce0f4SHong Zhang     ierr = PetscViewerRestoreSubcomm(viewer,red->pc->comm,&subviewer);CHKERRQ(ierr);
45a98ce0f4SHong Zhang   } else if (isstring) { /* not test it yet! */
464b9ad928SBarry Smith     ierr = PetscViewerStringSPrintf(viewer," Redundant solver preconditioner");CHKERRQ(ierr);
474b9ad928SBarry Smith     ierr = PetscViewerGetSingleton(viewer,&sviewer);CHKERRQ(ierr);
484b9ad928SBarry Smith     if (!rank) {
493e065800SHong Zhang       ierr = KSPView(red->ksp,sviewer);CHKERRQ(ierr);
504b9ad928SBarry Smith     }
514b9ad928SBarry Smith     ierr = PetscViewerRestoreSingleton(viewer,&sviewer);CHKERRQ(ierr);
524b9ad928SBarry Smith   } else {
5379a5c55eSBarry Smith     SETERRQ1(PETSC_ERR_SUP,"Viewer type %s not supported for PC redundant",((PetscObject)viewer)->type_name);
544b9ad928SBarry Smith   }
554b9ad928SBarry Smith   PetscFunctionReturn(0);
564b9ad928SBarry Smith }
574b9ad928SBarry Smith 
58b9147fbbSdalcinl #include "include/private/matimpl.h"        /*I "petscmat.h" I*/
594b9ad928SBarry Smith #undef __FUNCT__
604b9ad928SBarry Smith #define __FUNCT__ "PCSetUp_Redundant"
616849ba73SBarry Smith static PetscErrorCode PCSetUp_Redundant(PC pc)
624b9ad928SBarry Smith {
634b9ad928SBarry Smith   PC_Redundant   *red = (PC_Redundant*)pc->data;
64dfbe8321SBarry Smith   PetscErrorCode ierr;
6545fc02eaSBarry Smith   PetscInt       mstart,mend,mlocal,m,mlocal_sub,rstart_sub,rend_sub,mloc_sub;
6613f74950SBarry Smith   PetscMPIInt    size;
674b9ad928SBarry Smith   MatReuse       reuse = MAT_INITIAL_MATRIX;
684b9ad928SBarry Smith   MatStructure   str = DIFFERENT_NONZERO_PATTERN;
690d7810c8SBarry Smith   MPI_Comm       comm = pc->comm,subcomm;
7023ce1328SBarry Smith   Vec            vec;
713f457be1SHong Zhang   PetscMPIInt    subsize,subrank;
721fbd8f88SHong Zhang   const char     *prefix;
733f457be1SHong Zhang 
744b9ad928SBarry Smith   PetscFunctionBegin;
7523ce1328SBarry Smith   ierr = MatGetVecs(pc->pmat,&vec,0);CHKERRQ(ierr);
7623ce1328SBarry Smith   ierr = VecGetSize(vec,&m);CHKERRQ(ierr);
771fbd8f88SHong Zhang 
784b9ad928SBarry Smith   if (!pc->setupcalled) {
791fbd8f88SHong Zhang     ierr = PetscSubcommCreate(comm,red->nsubcomm,&red->psubcomm);CHKERRQ(ierr);
801fbd8f88SHong Zhang     ierr = PetscLogObjectMemory(pc,sizeof(PetscSubcomm));CHKERRQ(ierr);
811fbd8f88SHong Zhang 
821fbd8f88SHong Zhang     /* create a new PC that processors in each subcomm have copy of */
830d7810c8SBarry Smith     subcomm = red->psubcomm->comm;
843e065800SHong Zhang     KSP    subksp;
853e065800SHong Zhang     ierr = KSPCreate(subcomm,&subksp);CHKERRQ(ierr);
863e065800SHong Zhang     ierr = PetscLogObjectParent(pc,subksp);CHKERRQ(ierr);
873e065800SHong Zhang     ierr = KSPSetType(subksp,KSPPREONLY);CHKERRQ(ierr);
88*cf52b8b1SHong Zhang     ierr = KSPGetPC(subksp,&red->pc);CHKERRQ(ierr);
89*cf52b8b1SHong Zhang     ierr = PCSetType(red->pc,PCLU);CHKERRQ(ierr);
90*cf52b8b1SHong Zhang 
911fbd8f88SHong Zhang     ierr = PCGetOptionsPrefix(pc,&prefix);CHKERRQ(ierr);
923e065800SHong Zhang     ierr = KSPSetOptionsPrefix(subksp,prefix);CHKERRQ(ierr);
933e065800SHong Zhang     ierr = KSPAppendOptionsPrefix(subksp,"redundant_");CHKERRQ(ierr);
943e065800SHong Zhang     red->ksp = subksp;
951fbd8f88SHong Zhang 
963f457be1SHong Zhang     /* create working vectors xsub/ysub and xdup/ydup */
9723ce1328SBarry Smith     ierr = VecGetLocalSize(vec,&mlocal);CHKERRQ(ierr);
983f457be1SHong Zhang     ierr = VecGetOwnershipRange(vec,&mstart,&mend);CHKERRQ(ierr);
994b9ad928SBarry Smith 
1003f457be1SHong Zhang     /* get local size of xsub/ysub */
1011fbd8f88SHong Zhang     ierr = MPI_Comm_size(subcomm,&subsize);CHKERRQ(ierr);
1021fbd8f88SHong Zhang     ierr = MPI_Comm_rank(subcomm,&subrank);CHKERRQ(ierr);
1031fbd8f88SHong Zhang     rstart_sub = pc->pmat->rmap.range[red->psubcomm->n*subrank]; /* rstart in xsub/ysub */
1043f457be1SHong Zhang     if (subrank+1 < subsize){
1051fbd8f88SHong Zhang       rend_sub = pc->pmat->rmap.range[red->psubcomm->n*(subrank+1)];
1063f457be1SHong Zhang     } else {
1073f457be1SHong Zhang       rend_sub = m;
1083f457be1SHong Zhang     }
1093f457be1SHong Zhang     mloc_sub = rend_sub - rstart_sub;
1101fbd8f88SHong Zhang     ierr = VecCreateMPI(subcomm,mloc_sub,PETSC_DECIDE,&red->ysub);CHKERRQ(ierr);
1113f457be1SHong Zhang     /* create xsub with empty local arrays, because xdup's arrays will be placed into it */
1121fbd8f88SHong Zhang     ierr = VecCreateMPIWithArray(subcomm,mloc_sub,PETSC_DECIDE,PETSC_NULL,&red->xsub);CHKERRQ(ierr);
1133f457be1SHong Zhang 
1143f457be1SHong Zhang     /* create xdup and ydup. ydup has empty local arrays because ysub's arrays will be place into it.
1153f457be1SHong Zhang        Note: we use communicator dupcomm, not pc->comm! */
1161fbd8f88SHong Zhang     ierr = VecCreateMPI(red->psubcomm->dupparent,mloc_sub,PETSC_DECIDE,&red->xdup);CHKERRQ(ierr);
1171fbd8f88SHong Zhang     ierr = VecCreateMPIWithArray(red->psubcomm->dupparent,mloc_sub,PETSC_DECIDE,PETSC_NULL,&red->ydup);CHKERRQ(ierr);
1183f457be1SHong Zhang 
1193f457be1SHong Zhang     /* create vec scatters */
1203f457be1SHong Zhang     if (!red->scatterin){
1213f457be1SHong Zhang       IS       is1,is2;
1223f457be1SHong Zhang       PetscInt *idx1,*idx2,i,j,k;
12345fc02eaSBarry Smith 
1241fbd8f88SHong Zhang       ierr = PetscMalloc(2*red->psubcomm->n*mlocal*sizeof(PetscInt),&idx1);CHKERRQ(ierr);
1251fbd8f88SHong Zhang       idx2 = idx1 + red->psubcomm->n*mlocal;
1263f457be1SHong Zhang       j = 0;
1271fbd8f88SHong Zhang       for (k=0; k<red->psubcomm->n; k++){
1283f457be1SHong Zhang         for (i=mstart; i<mend; i++){
1293f457be1SHong Zhang           idx1[j]   = i;
1303f457be1SHong Zhang           idx2[j++] = i + m*k;
1313f457be1SHong Zhang         }
1323f457be1SHong Zhang       }
1331fbd8f88SHong Zhang       ierr = ISCreateGeneral(comm,red->psubcomm->n*mlocal,idx1,&is1);CHKERRQ(ierr);
1341fbd8f88SHong Zhang       ierr = ISCreateGeneral(comm,red->psubcomm->n*mlocal,idx2,&is2);CHKERRQ(ierr);
1353f457be1SHong Zhang       ierr = VecScatterCreate(vec,is1,red->xdup,is2,&red->scatterin);CHKERRQ(ierr);
1363f457be1SHong Zhang       ierr = ISDestroy(is1);CHKERRQ(ierr);
1373f457be1SHong Zhang       ierr = ISDestroy(is2);CHKERRQ(ierr);
1383f457be1SHong Zhang 
1391fbd8f88SHong Zhang       ierr = ISCreateStride(comm,mlocal,mstart+ red->psubcomm->color*m,1,&is1);CHKERRQ(ierr);
1403f457be1SHong Zhang       ierr = ISCreateStride(comm,mlocal,mstart,1,&is2);CHKERRQ(ierr);
1413f457be1SHong Zhang       ierr = VecScatterCreate(red->xdup,is1,vec,is2,&red->scatterout);CHKERRQ(ierr);
1423f457be1SHong Zhang       ierr = ISDestroy(is1);CHKERRQ(ierr);
1433f457be1SHong Zhang       ierr = ISDestroy(is2);CHKERRQ(ierr);
1443f457be1SHong Zhang       ierr = PetscFree(idx1);CHKERRQ(ierr);
1454b9ad928SBarry Smith     }
1464b9ad928SBarry Smith   }
14723ce1328SBarry Smith   ierr = VecDestroy(vec);CHKERRQ(ierr);
1484b9ad928SBarry Smith 
1494b9ad928SBarry Smith   /* if pmatrix set by user is sequential then we do not need to gather the parallel matrix */
1503f457be1SHong Zhang   ierr = MPI_Comm_size(comm,&size);CHKERRQ(ierr);
1514b9ad928SBarry Smith   if (size == 1) {
1524b9ad928SBarry Smith     red->useparallelmat = PETSC_FALSE;
1534b9ad928SBarry Smith   }
1544b9ad928SBarry Smith 
1554b9ad928SBarry Smith   if (red->useparallelmat) {
1564b9ad928SBarry Smith     if (pc->setupcalled == 1 && pc->flag == DIFFERENT_NONZERO_PATTERN) {
1574b9ad928SBarry Smith       /* destroy old matrices */
1584b9ad928SBarry Smith       if (red->pmats) {
159b3804887SHong Zhang         ierr = MatDestroy(red->pmats);CHKERRQ(ierr);
1604b9ad928SBarry Smith       }
1614b9ad928SBarry Smith     } else if (pc->setupcalled == 1) {
1624b9ad928SBarry Smith       reuse = MAT_REUSE_MATRIX;
1634b9ad928SBarry Smith       str   = SAME_NONZERO_PATTERN;
1644b9ad928SBarry Smith     }
1654b9ad928SBarry Smith 
1663f457be1SHong Zhang     /* grab the parallel matrix and put it into processors of a subcomminicator */
167f664ae05SHong Zhang     /*--------------------------------------------------------------------------*/
168f664ae05SHong Zhang     ierr = VecGetLocalSize(red->ysub,&mlocal_sub);CHKERRQ(ierr);
16969db28dcSHong Zhang     ierr = MatGetRedundantMatrix(pc->pmat,red->psubcomm->n,red->psubcomm->comm,mlocal_sub,reuse,&red->pmats);CHKERRQ(ierr);
17069db28dcSHong Zhang 
1713f457be1SHong Zhang     /* tell PC of the subcommunicator its operators */
172b3804887SHong Zhang     ierr = PCSetOperators(red->pc,red->pmats,red->pmats,str);CHKERRQ(ierr);
1734b9ad928SBarry Smith   } else {
1744b9ad928SBarry Smith     ierr = PCSetOperators(red->pc,pc->mat,pc->pmat,pc->flag);CHKERRQ(ierr);
1754b9ad928SBarry Smith   }
1760c24e6a1SHong Zhang   if (pc->setfromoptionscalled){
1773e065800SHong Zhang     ierr = KSPSetFromOptions(red->ksp);CHKERRQ(ierr);
1780c24e6a1SHong Zhang   }
1793e065800SHong Zhang   ierr = KSPSetUp(red->ksp);CHKERRQ(ierr);
1804b9ad928SBarry Smith   PetscFunctionReturn(0);
1814b9ad928SBarry Smith }
1824b9ad928SBarry Smith 
1834b9ad928SBarry Smith #undef __FUNCT__
1844b9ad928SBarry Smith #define __FUNCT__ "PCApply_Redundant"
1856849ba73SBarry Smith static PetscErrorCode PCApply_Redundant(PC pc,Vec x,Vec y)
1864b9ad928SBarry Smith {
1874b9ad928SBarry Smith   PC_Redundant   *red = (PC_Redundant*)pc->data;
188dfbe8321SBarry Smith   PetscErrorCode ierr;
1893f457be1SHong Zhang   PetscScalar    *array;
1904b9ad928SBarry Smith 
1914b9ad928SBarry Smith   PetscFunctionBegin;
1923f457be1SHong Zhang   /* scatter x to xdup */
1933f457be1SHong Zhang   ierr = VecScatterBegin(x,red->xdup,INSERT_VALUES,SCATTER_FORWARD,red->scatterin);CHKERRQ(ierr);
1943f457be1SHong Zhang   ierr = VecScatterEnd(x,red->xdup,INSERT_VALUES,SCATTER_FORWARD,red->scatterin);CHKERRQ(ierr);
1953f457be1SHong Zhang 
1963f457be1SHong Zhang   /* place xdup's local array into xsub */
1973f457be1SHong Zhang   ierr = VecGetArray(red->xdup,&array);CHKERRQ(ierr);
1983f457be1SHong Zhang   ierr = VecPlaceArray(red->xsub,(const PetscScalar*)array);CHKERRQ(ierr);
1994b9ad928SBarry Smith 
2004b9ad928SBarry Smith   /* apply preconditioner on each processor */
2013f457be1SHong Zhang   ierr = PCApply(red->pc,red->xsub,red->ysub);CHKERRQ(ierr);
2023f457be1SHong Zhang   ierr = VecResetArray(red->xsub);CHKERRQ(ierr);
2033f457be1SHong Zhang   ierr = VecRestoreArray(red->xdup,&array);CHKERRQ(ierr);
2044b9ad928SBarry Smith 
2053f457be1SHong Zhang   /* place ysub's local array into ydup */
2063f457be1SHong Zhang   ierr = VecGetArray(red->ysub,&array);CHKERRQ(ierr);
2073f457be1SHong Zhang   ierr = VecPlaceArray(red->ydup,(const PetscScalar*)array);CHKERRQ(ierr);
2083f457be1SHong Zhang 
2093f457be1SHong Zhang   /* scatter ydup to y */
2103f457be1SHong Zhang   ierr = VecScatterBegin(red->ydup,y,INSERT_VALUES,SCATTER_FORWARD,red->scatterout);CHKERRQ(ierr);
2113f457be1SHong Zhang   ierr = VecScatterEnd(red->ydup,y,INSERT_VALUES,SCATTER_FORWARD,red->scatterout);CHKERRQ(ierr);
2123f457be1SHong Zhang   ierr = VecResetArray(red->ydup);CHKERRQ(ierr);
2133f457be1SHong Zhang   ierr = VecRestoreArray(red->ysub,&array);CHKERRQ(ierr);
2144b9ad928SBarry Smith   PetscFunctionReturn(0);
2154b9ad928SBarry Smith }
2164b9ad928SBarry Smith 
2174b9ad928SBarry Smith #undef __FUNCT__
2184b9ad928SBarry Smith #define __FUNCT__ "PCDestroy_Redundant"
2196849ba73SBarry Smith static PetscErrorCode PCDestroy_Redundant(PC pc)
2204b9ad928SBarry Smith {
2214b9ad928SBarry Smith   PC_Redundant   *red = (PC_Redundant*)pc->data;
222dfbe8321SBarry Smith   PetscErrorCode ierr;
2234b9ad928SBarry Smith 
2244b9ad928SBarry Smith   PetscFunctionBegin;
2254b9ad928SBarry Smith   if (red->scatterin)  {ierr = VecScatterDestroy(red->scatterin);CHKERRQ(ierr);}
2264b9ad928SBarry Smith   if (red->scatterout) {ierr = VecScatterDestroy(red->scatterout);CHKERRQ(ierr);}
2273f457be1SHong Zhang   if (red->ysub)       {ierr = VecDestroy(red->ysub);CHKERRQ(ierr);}
2283f457be1SHong Zhang   if (red->xsub)       {ierr = VecDestroy(red->xsub);CHKERRQ(ierr);}
2293f457be1SHong Zhang   if (red->xdup)       {ierr = VecDestroy(red->xdup);CHKERRQ(ierr);}
2303f457be1SHong Zhang   if (red->ydup)       {ierr = VecDestroy(red->ydup);CHKERRQ(ierr);}
231b3804887SHong Zhang   if (red->pmats) {
232b3804887SHong Zhang     ierr = MatDestroy(red->pmats);CHKERRQ(ierr);
2333f457be1SHong Zhang   }
234e5a9bf91SBarry Smith   if (red->psubcomm) {ierr = PetscSubcommDestroy(red->psubcomm);CHKERRQ(ierr);}
2353e065800SHong Zhang   if (red->ksp) {ierr = KSPDestroy(red->ksp);CHKERRQ(ierr);}
2364b9ad928SBarry Smith   ierr = PetscFree(red);CHKERRQ(ierr);
2374b9ad928SBarry Smith   PetscFunctionReturn(0);
2384b9ad928SBarry Smith }
2394b9ad928SBarry Smith 
2404b9ad928SBarry Smith #undef __FUNCT__
2414b9ad928SBarry Smith #define __FUNCT__ "PCSetFromOptions_Redundant"
2426849ba73SBarry Smith static PetscErrorCode PCSetFromOptions_Redundant(PC pc)
2434b9ad928SBarry Smith {
244a98ce0f4SHong Zhang   PetscErrorCode ierr;
245a98ce0f4SHong Zhang   PC_Redundant   *red = (PC_Redundant*)pc->data;
246a98ce0f4SHong Zhang 
2474b9ad928SBarry Smith   PetscFunctionBegin;
248a98ce0f4SHong Zhang   ierr = PetscOptionsHead("Redundant options");CHKERRQ(ierr);
24909a6bc64SHong Zhang   ierr = PetscOptionsInt("-pc_redundant_number","Number of redundant pc","PCRedundantSetNumber",red->nsubcomm,&red->nsubcomm,0);CHKERRQ(ierr);
250a98ce0f4SHong Zhang   ierr = PetscOptionsTail();CHKERRQ(ierr);
2514b9ad928SBarry Smith   PetscFunctionReturn(0);
2524b9ad928SBarry Smith }
2534b9ad928SBarry Smith 
2544b9ad928SBarry Smith EXTERN_C_BEGIN
2554b9ad928SBarry Smith #undef __FUNCT__
25609a6bc64SHong Zhang #define __FUNCT__ "PCRedundantSetNumber_Redundant"
25709a6bc64SHong Zhang PetscErrorCode PETSCKSP_DLLEXPORT PCRedundantSetNumber_Redundant(PC pc,PetscInt nreds)
25809a6bc64SHong Zhang {
25909a6bc64SHong Zhang   PC_Redundant *red = (PC_Redundant*)pc->data;
26009a6bc64SHong Zhang 
26109a6bc64SHong Zhang   PetscFunctionBegin;
26209a6bc64SHong Zhang   red->nsubcomm = nreds;
26309a6bc64SHong Zhang   PetscFunctionReturn(0);
26409a6bc64SHong Zhang }
26509a6bc64SHong Zhang EXTERN_C_END
26609a6bc64SHong Zhang 
26709a6bc64SHong Zhang #undef __FUNCT__
26809a6bc64SHong Zhang #define __FUNCT__ "PCRedundantSetNumber"
26909a6bc64SHong Zhang /*@
27009a6bc64SHong Zhang    PCRedundantSetNumber - Sets the number of redundant preconditioner contexts.
27109a6bc64SHong Zhang 
27209a6bc64SHong Zhang    Collective on PC
27309a6bc64SHong Zhang 
27409a6bc64SHong Zhang    Input Parameters:
27509a6bc64SHong Zhang +  pc - the preconditioner context
2769b21d695SBarry Smith -  nredundant - number of redundant preconditioner contexts; for example if you are using 64 MPI processes and
2779b21d695SBarry Smith                               use an nredundant of 4 there will be 4 parallel solves each on 16 = 64/4 processes.
27809a6bc64SHong Zhang 
27909a6bc64SHong Zhang    Level: advanced
28009a6bc64SHong Zhang 
28109a6bc64SHong Zhang .keywords: PC, redundant solve
28209a6bc64SHong Zhang @*/
28309a6bc64SHong Zhang PetscErrorCode PETSCKSP_DLLEXPORT PCRedundantSetNumber(PC pc,PetscInt nredundant)
28409a6bc64SHong Zhang {
28509a6bc64SHong Zhang   PetscErrorCode ierr,(*f)(PC,PetscInt);
28609a6bc64SHong Zhang 
28709a6bc64SHong Zhang   PetscFunctionBegin;
28809a6bc64SHong Zhang   PetscValidHeaderSpecific(pc,PC_COOKIE,1);
28909a6bc64SHong Zhang   if (nredundant <= 0) SETERRQ1(PETSC_ERR_ARG_WRONG, "num of redundant pc %D must be positive",nredundant);
29009a6bc64SHong Zhang   ierr = PetscObjectQueryFunction((PetscObject)pc,"PCRedundantSetNumber_C",(void (**)(void))&f);CHKERRQ(ierr);
29109a6bc64SHong Zhang   if (f) {
29209a6bc64SHong Zhang     ierr = (*f)(pc,nredundant);CHKERRQ(ierr);
29309a6bc64SHong Zhang   }
29409a6bc64SHong Zhang   PetscFunctionReturn(0);
29509a6bc64SHong Zhang }
29609a6bc64SHong Zhang 
29709a6bc64SHong Zhang EXTERN_C_BEGIN
29809a6bc64SHong Zhang #undef __FUNCT__
2994b9ad928SBarry Smith #define __FUNCT__ "PCRedundantSetScatter_Redundant"
300dba47a55SKris Buschelman PetscErrorCode PETSCKSP_DLLEXPORT PCRedundantSetScatter_Redundant(PC pc,VecScatter in,VecScatter out)
3014b9ad928SBarry Smith {
3024b9ad928SBarry Smith   PC_Redundant   *red = (PC_Redundant*)pc->data;
303dfbe8321SBarry Smith   PetscErrorCode ierr;
3044b9ad928SBarry Smith 
3054b9ad928SBarry Smith   PetscFunctionBegin;
3064b9ad928SBarry Smith   ierr = PetscObjectReference((PetscObject)in);CHKERRQ(ierr);
307c3122656SLisandro Dalcin   if (red->scatterin) { ierr = VecScatterDestroy(red->scatterin);CHKERRQ(ierr); }
308c3122656SLisandro Dalcin   red->scatterin  = in;
3094b9ad928SBarry Smith   ierr = PetscObjectReference((PetscObject)out);CHKERRQ(ierr);
310c3122656SLisandro Dalcin   if (red->scatterout) { ierr = VecScatterDestroy(red->scatterout);CHKERRQ(ierr); }
311c3122656SLisandro Dalcin   red->scatterout = out;
3124b9ad928SBarry Smith   PetscFunctionReturn(0);
3134b9ad928SBarry Smith }
3144b9ad928SBarry Smith EXTERN_C_END
3154b9ad928SBarry Smith 
3164b9ad928SBarry Smith #undef __FUNCT__
3174b9ad928SBarry Smith #define __FUNCT__ "PCRedundantSetScatter"
3184b9ad928SBarry Smith /*@
3194b9ad928SBarry Smith    PCRedundantSetScatter - Sets the scatter used to copy values into the
3204b9ad928SBarry Smith      redundant local solve and the scatter to move them back into the global
3214b9ad928SBarry Smith      vector.
3224b9ad928SBarry Smith 
3234b9ad928SBarry Smith    Collective on PC
3244b9ad928SBarry Smith 
3254b9ad928SBarry Smith    Input Parameters:
3264b9ad928SBarry Smith +  pc - the preconditioner context
3274b9ad928SBarry Smith .  in - the scatter to move the values in
3284b9ad928SBarry Smith -  out - the scatter to move them out
3294b9ad928SBarry Smith 
3304b9ad928SBarry Smith    Level: advanced
3314b9ad928SBarry Smith 
3324b9ad928SBarry Smith .keywords: PC, redundant solve
3334b9ad928SBarry Smith @*/
334dba47a55SKris Buschelman PetscErrorCode PETSCKSP_DLLEXPORT PCRedundantSetScatter(PC pc,VecScatter in,VecScatter out)
3354b9ad928SBarry Smith {
336dfbe8321SBarry Smith   PetscErrorCode ierr,(*f)(PC,VecScatter,VecScatter);
3374b9ad928SBarry Smith 
3384b9ad928SBarry Smith   PetscFunctionBegin;
3394482741eSBarry Smith   PetscValidHeaderSpecific(pc,PC_COOKIE,1);
3404482741eSBarry Smith   PetscValidHeaderSpecific(in,VEC_SCATTER_COOKIE,2);
3414482741eSBarry Smith   PetscValidHeaderSpecific(out,VEC_SCATTER_COOKIE,3);
3424b9ad928SBarry Smith   ierr = PetscObjectQueryFunction((PetscObject)pc,"PCRedundantSetScatter_C",(void (**)(void))&f);CHKERRQ(ierr);
3434b9ad928SBarry Smith   if (f) {
3444b9ad928SBarry Smith     ierr = (*f)(pc,in,out);CHKERRQ(ierr);
3454b9ad928SBarry Smith   }
3464b9ad928SBarry Smith   PetscFunctionReturn(0);
3474b9ad928SBarry Smith }
3484b9ad928SBarry Smith 
3494b9ad928SBarry Smith EXTERN_C_BEGIN
3504b9ad928SBarry Smith #undef __FUNCT__
3514b9ad928SBarry Smith #define __FUNCT__ "PCRedundantGetPC_Redundant"
352dba47a55SKris Buschelman PetscErrorCode PETSCKSP_DLLEXPORT PCRedundantGetPC_Redundant(PC pc,PC *innerpc)
3534b9ad928SBarry Smith {
3544b9ad928SBarry Smith   PC_Redundant *red = (PC_Redundant*)pc->data;
3554b9ad928SBarry Smith 
3564b9ad928SBarry Smith   PetscFunctionBegin;
3574b9ad928SBarry Smith   *innerpc = red->pc;
3584b9ad928SBarry Smith   PetscFunctionReturn(0);
3594b9ad928SBarry Smith }
3604b9ad928SBarry Smith EXTERN_C_END
3614b9ad928SBarry Smith 
3624b9ad928SBarry Smith #undef __FUNCT__
3634b9ad928SBarry Smith #define __FUNCT__ "PCRedundantGetPC"
3644b9ad928SBarry Smith /*@
3654b9ad928SBarry Smith    PCRedundantGetPC - Gets the sequential PC created by the redundant PC.
3664b9ad928SBarry Smith 
3674b9ad928SBarry Smith    Not Collective
3684b9ad928SBarry Smith 
3694b9ad928SBarry Smith    Input Parameter:
3704b9ad928SBarry Smith .  pc - the preconditioner context
3714b9ad928SBarry Smith 
3724b9ad928SBarry Smith    Output Parameter:
3734b9ad928SBarry Smith .  innerpc - the sequential PC
3744b9ad928SBarry Smith 
3754b9ad928SBarry Smith    Level: advanced
3764b9ad928SBarry Smith 
3774b9ad928SBarry Smith .keywords: PC, redundant solve
3784b9ad928SBarry Smith @*/
379dba47a55SKris Buschelman PetscErrorCode PETSCKSP_DLLEXPORT PCRedundantGetPC(PC pc,PC *innerpc)
3804b9ad928SBarry Smith {
381dfbe8321SBarry Smith   PetscErrorCode ierr,(*f)(PC,PC*);
3824b9ad928SBarry Smith 
3834b9ad928SBarry Smith   PetscFunctionBegin;
3844482741eSBarry Smith   PetscValidHeaderSpecific(pc,PC_COOKIE,1);
3854482741eSBarry Smith   PetscValidPointer(innerpc,2);
3864b9ad928SBarry Smith   ierr = PetscObjectQueryFunction((PetscObject)pc,"PCRedundantGetPC_C",(void (**)(void))&f);CHKERRQ(ierr);
3874b9ad928SBarry Smith   if (f) {
3884b9ad928SBarry Smith     ierr = (*f)(pc,innerpc);CHKERRQ(ierr);
3894b9ad928SBarry Smith   }
3904b9ad928SBarry Smith   PetscFunctionReturn(0);
3914b9ad928SBarry Smith }
3924b9ad928SBarry Smith 
3934b9ad928SBarry Smith EXTERN_C_BEGIN
3944b9ad928SBarry Smith #undef __FUNCT__
3954b9ad928SBarry Smith #define __FUNCT__ "PCRedundantGetOperators_Redundant"
396dba47a55SKris Buschelman PetscErrorCode PETSCKSP_DLLEXPORT PCRedundantGetOperators_Redundant(PC pc,Mat *mat,Mat *pmat)
3974b9ad928SBarry Smith {
3984b9ad928SBarry Smith   PC_Redundant *red = (PC_Redundant*)pc->data;
3994b9ad928SBarry Smith 
4004b9ad928SBarry Smith   PetscFunctionBegin;
401b3804887SHong Zhang   if (mat)  *mat  = red->pmats;
402b3804887SHong Zhang   if (pmat) *pmat = red->pmats;
4034b9ad928SBarry Smith   PetscFunctionReturn(0);
4044b9ad928SBarry Smith }
4054b9ad928SBarry Smith EXTERN_C_END
4064b9ad928SBarry Smith 
4074b9ad928SBarry Smith #undef __FUNCT__
4084b9ad928SBarry Smith #define __FUNCT__ "PCRedundantGetOperators"
4094b9ad928SBarry Smith /*@
4104b9ad928SBarry Smith    PCRedundantGetOperators - gets the sequential matrix and preconditioner matrix
4114b9ad928SBarry Smith 
4124b9ad928SBarry Smith    Not Collective
4134b9ad928SBarry Smith 
4144b9ad928SBarry Smith    Input Parameter:
4154b9ad928SBarry Smith .  pc - the preconditioner context
4164b9ad928SBarry Smith 
4174b9ad928SBarry Smith    Output Parameters:
4184b9ad928SBarry Smith +  mat - the matrix
4194b9ad928SBarry Smith -  pmat - the (possibly different) preconditioner matrix
4204b9ad928SBarry Smith 
4214b9ad928SBarry Smith    Level: advanced
4224b9ad928SBarry Smith 
4234b9ad928SBarry Smith .keywords: PC, redundant solve
4244b9ad928SBarry Smith @*/
425dba47a55SKris Buschelman PetscErrorCode PETSCKSP_DLLEXPORT PCRedundantGetOperators(PC pc,Mat *mat,Mat *pmat)
4264b9ad928SBarry Smith {
427dfbe8321SBarry Smith   PetscErrorCode ierr,(*f)(PC,Mat*,Mat*);
4284b9ad928SBarry Smith 
4294b9ad928SBarry Smith   PetscFunctionBegin;
4304482741eSBarry Smith   PetscValidHeaderSpecific(pc,PC_COOKIE,1);
4314482741eSBarry Smith   if (mat)  PetscValidPointer(mat,2);
4324482741eSBarry Smith   if (pmat) PetscValidPointer(pmat,3);
4334b9ad928SBarry Smith   ierr = PetscObjectQueryFunction((PetscObject)pc,"PCRedundantGetOperators_C",(void (**)(void))&f);CHKERRQ(ierr);
4344b9ad928SBarry Smith   if (f) {
4354b9ad928SBarry Smith     ierr = (*f)(pc,mat,pmat);CHKERRQ(ierr);
4364b9ad928SBarry Smith   }
4374b9ad928SBarry Smith   PetscFunctionReturn(0);
4384b9ad928SBarry Smith }
4394b9ad928SBarry Smith 
4404b9ad928SBarry Smith /* -------------------------------------------------------------------------------------*/
44137a17b4dSBarry Smith /*MC
442a98ce0f4SHong Zhang      PCREDUNDANT - Runs a preconditioner for the entire problem on subgroups of processors
44337a17b4dSBarry Smith 
44437a17b4dSBarry Smith      Options for the redundant preconditioners can be set with -redundant_pc_xxx
44537a17b4dSBarry Smith 
44609391456SBarry Smith   Options Database:
4479b21d695SBarry Smith .  -pc_redundant_number <n> - number of redundant solves, for example if you are using 64 MPI processes and
4489b21d695SBarry Smith                               use an n of 4 there will be 4 parallel solves each on 16 = 64/4 processes.
44909391456SBarry Smith 
45037a17b4dSBarry Smith    Level: intermediate
45137a17b4dSBarry Smith 
45237a17b4dSBarry Smith .seealso:  PCCreate(), PCSetType(), PCType (for list of available types), PCRedundantSetScatter(),
4539b21d695SBarry Smith            PCRedundantGetPC(), PCRedundantGetOperators(), PCRedundantSetNumber()
45437a17b4dSBarry Smith M*/
45537a17b4dSBarry Smith 
4564b9ad928SBarry Smith EXTERN_C_BEGIN
4574b9ad928SBarry Smith #undef __FUNCT__
4584b9ad928SBarry Smith #define __FUNCT__ "PCCreate_Redundant"
459dba47a55SKris Buschelman PetscErrorCode PETSCKSP_DLLEXPORT PCCreate_Redundant(PC pc)
4604b9ad928SBarry Smith {
461dfbe8321SBarry Smith   PetscErrorCode ierr;
4624b9ad928SBarry Smith   PC_Redundant   *red;
46369db28dcSHong Zhang   PetscMPIInt    size;
4643f457be1SHong Zhang 
4654b9ad928SBarry Smith   PetscFunctionBegin;
4664b9ad928SBarry Smith   ierr = PetscNew(PC_Redundant,&red);CHKERRQ(ierr);
46752e6d16bSBarry Smith   ierr = PetscLogObjectMemory(pc,sizeof(PC_Redundant));CHKERRQ(ierr);
46869db28dcSHong Zhang   ierr = MPI_Comm_size(pc->comm,&size);CHKERRQ(ierr);
46969db28dcSHong Zhang   red->nsubcomm       = size;
4704b9ad928SBarry Smith   red->useparallelmat = PETSC_TRUE;
4711fbd8f88SHong Zhang   pc->data            = (void*)red;
4724b9ad928SBarry Smith 
4734b9ad928SBarry Smith   pc->ops->apply           = PCApply_Redundant;
4744b9ad928SBarry Smith   pc->ops->applytranspose  = 0;
4754b9ad928SBarry Smith   pc->ops->setup           = PCSetUp_Redundant;
4764b9ad928SBarry Smith   pc->ops->destroy         = PCDestroy_Redundant;
4774b9ad928SBarry Smith   pc->ops->setfromoptions  = PCSetFromOptions_Redundant;
4784b9ad928SBarry Smith   pc->ops->view            = PCView_Redundant;
4794b9ad928SBarry Smith   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCRedundantSetScatter_C","PCRedundantSetScatter_Redundant",
4804b9ad928SBarry Smith                     PCRedundantSetScatter_Redundant);CHKERRQ(ierr);
48109a6bc64SHong Zhang   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCRedundantSetNumber_C","PCRedundantSetNumber_Redundant",
48209a6bc64SHong Zhang                     PCRedundantSetNumber_Redundant);CHKERRQ(ierr);
4834b9ad928SBarry Smith   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCRedundantGetPC_C","PCRedundantGetPC_Redundant",
4844b9ad928SBarry Smith                     PCRedundantGetPC_Redundant);CHKERRQ(ierr);
4854b9ad928SBarry Smith   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCRedundantGetOperators_C","PCRedundantGetOperators_Redundant",
4864b9ad928SBarry Smith                     PCRedundantGetOperators_Redundant);CHKERRQ(ierr);
4874b9ad928SBarry Smith   PetscFunctionReturn(0);
4884b9ad928SBarry Smith }
4894b9ad928SBarry Smith EXTERN_C_END
490