1df826632SBarry Smith 2df826632SBarry Smith /* 3df826632SBarry Smith This file defines a "solve the problem redistributely on each subgroup of processor" preconditioner. 4df826632SBarry Smith */ 5af0996ceSBarry Smith #include <petsc/private/pcimpl.h> /*I "petscksp.h" I*/ 6c6db04a5SJed Brown #include <petscksp.h> 7df826632SBarry Smith 8df826632SBarry Smith typedef struct { 9df826632SBarry Smith KSP ksp; 10df826632SBarry Smith Vec x,b; 11df826632SBarry Smith VecScatter scatter; 12911f9fe8SBarry Smith IS is; 13181dd334SBarry Smith PetscInt dcnt,*drows; /* these are the local rows that have only diagonal entry */ 14181dd334SBarry Smith PetscScalar *diag; 15181dd334SBarry Smith Vec work; 16df826632SBarry Smith } PC_Redistribute; 17df826632SBarry Smith 18df826632SBarry Smith static PetscErrorCode PCView_Redistribute(PC pc,PetscViewer viewer) 19df826632SBarry Smith { 20df826632SBarry Smith PC_Redistribute *red = (PC_Redistribute*)pc->data; 21ace3abfcSBarry Smith PetscBool iascii,isstring; 22181dd334SBarry Smith PetscInt ncnt,N; 23df826632SBarry Smith 24df826632SBarry Smith PetscFunctionBegin; 259566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii)); 269566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERSTRING,&isstring)); 27df826632SBarry Smith if (iascii) { 281c2dc1cbSBarry Smith PetscCall(MPIU_Allreduce(&red->dcnt,&ncnt,1,MPIU_INT,MPI_SUM,PetscObjectComm((PetscObject)pc))); 299566063dSJacob Faibussowitsch PetscCall(MatGetSize(pc->pmat,&N,NULL)); 3063a3b9bcSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer," Number rows eliminated %" PetscInt_FMT " Percentage rows eliminated %g\n",ncnt,(double)(100.0*((PetscReal)ncnt)/((PetscReal)N)))); 319566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer," Redistribute preconditioner: \n")); 329566063dSJacob Faibussowitsch PetscCall(KSPView(red->ksp,viewer)); 33df826632SBarry Smith } else if (isstring) { 349566063dSJacob Faibussowitsch PetscCall(PetscViewerStringSPrintf(viewer," Redistribute preconditioner")); 359566063dSJacob Faibussowitsch PetscCall(KSPView(red->ksp,viewer)); 3611aeaf0aSBarry Smith } 37df826632SBarry Smith PetscFunctionReturn(0); 38df826632SBarry Smith } 39df826632SBarry Smith 40df826632SBarry Smith static PetscErrorCode PCSetUp_Redistribute(PC pc) 41df826632SBarry Smith { 42df826632SBarry Smith PC_Redistribute *red = (PC_Redistribute*)pc->data; 43df826632SBarry Smith MPI_Comm comm; 44181dd334SBarry Smith PetscInt rstart,rend,i,nz,cnt,*rows,ncnt,dcnt,*drows; 4526283091SBarry Smith PetscLayout map,nmap; 46ec4bef21SJose E. Roman PetscMPIInt size,tag,n; 47ec4bef21SJose E. Roman PETSC_UNUSED PetscMPIInt imdex; 480298fd71SBarry Smith PetscInt *source = NULL; 4976ec1555SBarry Smith PetscMPIInt *sizes = NULL,nrecvs; 50df826632SBarry Smith PetscInt j,nsends; 510298fd71SBarry Smith PetscInt *owner = NULL,*starts = NULL,count,slen; 52e8dd6687SHong Zhang PetscInt *rvalues,*svalues,recvtotal; 53df826632SBarry Smith PetscMPIInt *onodes1,*olengths1; 540298fd71SBarry Smith MPI_Request *send_waits = NULL,*recv_waits = NULL; 55df826632SBarry Smith MPI_Status recv_status,*send_status; 56181dd334SBarry Smith Vec tvec,diag; 57ca320bd4SBarry Smith Mat tmat; 58003249c0SBarry Smith const PetscScalar *d,*values; 59003249c0SBarry Smith const PetscInt *cols; 60df826632SBarry Smith 61df826632SBarry Smith PetscFunctionBegin; 62dc9360f3SBarry Smith if (pc->setupcalled) { 639566063dSJacob Faibussowitsch PetscCall(KSPGetOperators(red->ksp,NULL,&tmat)); 649566063dSJacob Faibussowitsch PetscCall(MatCreateSubMatrix(pc->pmat,red->is,red->is,MAT_REUSE_MATRIX,&tmat)); 659566063dSJacob Faibussowitsch PetscCall(KSPSetOperators(red->ksp,tmat,tmat)); 66dc9360f3SBarry Smith } else { 67b862ddfaSBarry Smith PetscInt NN; 68b862ddfaSBarry Smith 699566063dSJacob Faibussowitsch PetscCall(PetscObjectGetComm((PetscObject)pc,&comm)); 709566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(comm,&size)); 719566063dSJacob Faibussowitsch PetscCall(PetscObjectGetNewTag((PetscObject)pc,&tag)); 72df826632SBarry Smith 73ca320bd4SBarry Smith /* count non-diagonal rows on process */ 749566063dSJacob Faibussowitsch PetscCall(MatGetOwnershipRange(pc->mat,&rstart,&rend)); 75ca320bd4SBarry Smith cnt = 0; 76df826632SBarry Smith for (i=rstart; i<rend; i++) { 779566063dSJacob Faibussowitsch PetscCall(MatGetRow(pc->mat,i,&nz,&cols,&values)); 78003249c0SBarry Smith for (PetscInt j=0; j<nz; j++) { 79003249c0SBarry Smith if (values[j] != 0 && cols[j] != i) { 80003249c0SBarry Smith cnt++; 81003249c0SBarry Smith break; 82003249c0SBarry Smith } 83003249c0SBarry Smith } 849566063dSJacob Faibussowitsch PetscCall(MatRestoreRow(pc->mat,i,&nz,&cols,&values)); 85df826632SBarry Smith } 869566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(cnt,&rows)); 879566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(rend - rstart - cnt,&drows)); 88ca320bd4SBarry Smith 89ca320bd4SBarry Smith /* list non-diagonal rows on process */ 90181dd334SBarry Smith cnt = 0; dcnt = 0; 91df826632SBarry Smith for (i=rstart; i<rend; i++) { 92003249c0SBarry Smith PetscBool diagonly = PETSC_TRUE; 939566063dSJacob Faibussowitsch PetscCall(MatGetRow(pc->mat,i,&nz,&cols,&values)); 94003249c0SBarry Smith for (PetscInt j=0; j<nz; j++) { 95003249c0SBarry Smith if (values[j] != 0 && cols[j] != i) { 96003249c0SBarry Smith diagonly = PETSC_FALSE; 97003249c0SBarry Smith break; 98003249c0SBarry Smith } 99003249c0SBarry Smith } 100003249c0SBarry Smith if (!diagonly) rows[cnt++] = i; 101181dd334SBarry Smith else drows[dcnt++] = i - rstart; 1029566063dSJacob Faibussowitsch PetscCall(MatRestoreRow(pc->mat,i,&nz,&cols,&values)); 103df826632SBarry Smith } 104ca320bd4SBarry Smith 10526283091SBarry Smith /* create PetscLayout for non-diagonal rows on each process */ 1069566063dSJacob Faibussowitsch PetscCall(PetscLayoutCreate(comm,&map)); 1079566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetLocalSize(map,cnt)); 1089566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetBlockSize(map,1)); 1099566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(map)); 110df826632SBarry Smith rstart = map->rstart; 111df826632SBarry Smith rend = map->rend; 112df826632SBarry Smith 11326283091SBarry Smith /* create PetscLayout for load-balanced non-diagonal rows on each process */ 1149566063dSJacob Faibussowitsch PetscCall(PetscLayoutCreate(comm,&nmap)); 1151c2dc1cbSBarry Smith PetscCall(MPIU_Allreduce(&cnt,&ncnt,1,MPIU_INT,MPI_SUM,comm)); 1169566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetSize(nmap,ncnt)); 1179566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetBlockSize(nmap,1)); 1189566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(nmap)); 119df826632SBarry Smith 1209566063dSJacob Faibussowitsch PetscCall(MatGetSize(pc->pmat,&NN,NULL)); 12163a3b9bcSJacob Faibussowitsch PetscCall(PetscInfo(pc,"Number of diagonal rows eliminated %" PetscInt_FMT ", percentage eliminated %g\n",NN-ncnt,(double)(((PetscReal)(NN-ncnt))/((PetscReal)(NN))))); 122003249c0SBarry Smith 123003249c0SBarry Smith if (size > 1) { 124003249c0SBarry Smith /* the following block of code assumes MPI can send messages to self, which is not supported for MPI-uni hence we need to handle the size 1 case as a special case */ 125ca320bd4SBarry Smith /* 126ca320bd4SBarry Smith this code is taken from VecScatterCreate_PtoS() 127ca320bd4SBarry Smith Determines what rows need to be moved where to 128ca320bd4SBarry Smith load balance the non-diagonal rows 129ca320bd4SBarry Smith */ 130df826632SBarry Smith /* count number of contributors to each processor */ 1319566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(size,&sizes,cnt,&owner)); 1329566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(sizes,size)); 133df826632SBarry Smith j = 0; 134df826632SBarry Smith nsends = 0; 135df826632SBarry Smith for (i=rstart; i<rend; i++) { 136df826632SBarry Smith if (i < nmap->range[j]) j = 0; 137df826632SBarry Smith for (; j<size; j++) { 138df826632SBarry Smith if (i < nmap->range[j+1]) { 13976ec1555SBarry Smith if (!sizes[j]++) nsends++; 140ca320bd4SBarry Smith owner[i-rstart] = j; 141df826632SBarry Smith break; 142df826632SBarry Smith } 143df826632SBarry Smith } 144df826632SBarry Smith } 145df826632SBarry Smith /* inform other processors of number of messages and max length*/ 1469566063dSJacob Faibussowitsch PetscCall(PetscGatherNumberOfMessages(comm,NULL,sizes,&nrecvs)); 1479566063dSJacob Faibussowitsch PetscCall(PetscGatherMessageLengths(comm,nsends,nrecvs,sizes,&onodes1,&olengths1)); 1489566063dSJacob Faibussowitsch PetscCall(PetscSortMPIIntWithArray(nrecvs,onodes1,olengths1)); 149df826632SBarry Smith recvtotal = 0; for (i=0; i<nrecvs; i++) recvtotal += olengths1[i]; 150df826632SBarry Smith 151df826632SBarry Smith /* post receives: rvalues - rows I will own; count - nu */ 1529566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(recvtotal,&rvalues,nrecvs,&source,nrecvs,&recv_waits)); 153df826632SBarry Smith count = 0; 154df826632SBarry Smith for (i=0; i<nrecvs; i++) { 1559566063dSJacob Faibussowitsch PetscCallMPI(MPI_Irecv((rvalues+count),olengths1[i],MPIU_INT,onodes1[i],tag,comm,recv_waits+i)); 156df826632SBarry Smith count += olengths1[i]; 157df826632SBarry Smith } 158df826632SBarry Smith 159df826632SBarry Smith /* do sends: 160df826632SBarry Smith 1) starts[i] gives the starting index in svalues for stuff going to 161df826632SBarry Smith the ith processor 162df826632SBarry Smith */ 1639566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(cnt,&svalues,nsends,&send_waits,size,&starts)); 164df826632SBarry Smith starts[0] = 0; 16576ec1555SBarry Smith for (i=1; i<size; i++) starts[i] = starts[i-1] + sizes[i-1]; 1662fa5cd67SKarl Rupp for (i=0; i<cnt; i++) svalues[starts[owner[i]]++] = rows[i]; 167181dd334SBarry Smith for (i=0; i<cnt; i++) rows[i] = rows[i] - rstart; 168181dd334SBarry Smith red->drows = drows; 169181dd334SBarry Smith red->dcnt = dcnt; 1709566063dSJacob Faibussowitsch PetscCall(PetscFree(rows)); 171181dd334SBarry Smith 172df826632SBarry Smith starts[0] = 0; 17376ec1555SBarry Smith for (i=1; i<size; i++) starts[i] = starts[i-1] + sizes[i-1]; 174df826632SBarry Smith count = 0; 175df826632SBarry Smith for (i=0; i<size; i++) { 17676ec1555SBarry Smith if (sizes[i]) { 1779566063dSJacob Faibussowitsch PetscCallMPI(MPI_Isend(svalues+starts[i],sizes[i],MPIU_INT,i,tag,comm,send_waits+count++)); 178df826632SBarry Smith } 179df826632SBarry Smith } 180df826632SBarry Smith 181df826632SBarry Smith /* wait on receives */ 182df826632SBarry Smith count = nrecvs; 183df826632SBarry Smith slen = 0; 184df826632SBarry Smith while (count) { 1859566063dSJacob Faibussowitsch PetscCallMPI(MPI_Waitany(nrecvs,recv_waits,&imdex,&recv_status)); 186df826632SBarry Smith /* unpack receives into our local space */ 1879566063dSJacob Faibussowitsch PetscCallMPI(MPI_Get_count(&recv_status,MPIU_INT,&n)); 188df826632SBarry Smith slen += n; 189df826632SBarry Smith count--; 190df826632SBarry Smith } 19163a3b9bcSJacob Faibussowitsch PetscCheck(slen == recvtotal,PETSC_COMM_SELF,PETSC_ERR_PLIB,"Total message lengths %" PetscInt_FMT " not expected %" PetscInt_FMT,slen,recvtotal); 1929566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(comm,slen,rvalues,PETSC_COPY_VALUES,&red->is)); 193911f9fe8SBarry Smith 194003249c0SBarry Smith /* free all work space */ 1959566063dSJacob Faibussowitsch PetscCall(PetscFree(olengths1)); 1969566063dSJacob Faibussowitsch PetscCall(PetscFree(onodes1)); 1979566063dSJacob Faibussowitsch PetscCall(PetscFree3(rvalues,source,recv_waits)); 1989566063dSJacob Faibussowitsch PetscCall(PetscFree2(sizes,owner)); 199ca320bd4SBarry Smith if (nsends) { /* wait on sends */ 2009566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(nsends,&send_status)); 2019566063dSJacob Faibussowitsch PetscCallMPI(MPI_Waitall(nsends,send_waits,send_status)); 2029566063dSJacob Faibussowitsch PetscCall(PetscFree(send_status)); 203df826632SBarry Smith } 2049566063dSJacob Faibussowitsch PetscCall(PetscFree3(svalues,send_waits,starts)); 205003249c0SBarry Smith } else { 2069566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(comm,cnt,rows,PETSC_OWN_POINTER,&red->is)); 207003249c0SBarry Smith red->drows = drows; 208003249c0SBarry Smith red->dcnt = dcnt; 209003249c0SBarry Smith slen = cnt; 210003249c0SBarry Smith } 2119566063dSJacob Faibussowitsch PetscCall(PetscLayoutDestroy(&map)); 2129566063dSJacob Faibussowitsch PetscCall(PetscLayoutDestroy(&nmap)); 213df826632SBarry Smith 2149566063dSJacob Faibussowitsch PetscCall(VecCreateMPI(comm,slen,PETSC_DETERMINE,&red->b)); 2159566063dSJacob Faibussowitsch PetscCall(VecDuplicate(red->b,&red->x)); 2169566063dSJacob Faibussowitsch PetscCall(MatCreateVecs(pc->pmat,&tvec,NULL)); 2179566063dSJacob Faibussowitsch PetscCall(VecScatterCreate(tvec,red->is,red->b,NULL,&red->scatter)); 2189566063dSJacob Faibussowitsch PetscCall(VecDestroy(&tvec)); 2199566063dSJacob Faibussowitsch PetscCall(MatCreateSubMatrix(pc->pmat,red->is,red->is,MAT_INITIAL_MATRIX,&tmat)); 2209566063dSJacob Faibussowitsch PetscCall(KSPSetOperators(red->ksp,tmat,tmat)); 2219566063dSJacob Faibussowitsch PetscCall(MatDestroy(&tmat)); 2221d805cfdSBarry Smith } 223181dd334SBarry Smith 224181dd334SBarry Smith /* get diagonal portion of matrix */ 2259566063dSJacob Faibussowitsch PetscCall(PetscFree(red->diag)); 2269566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(red->dcnt,&red->diag)); 2279566063dSJacob Faibussowitsch PetscCall(MatCreateVecs(pc->pmat,&diag,NULL)); 2289566063dSJacob Faibussowitsch PetscCall(MatGetDiagonal(pc->pmat,diag)); 2299566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(diag,&d)); 2302fa5cd67SKarl Rupp for (i=0; i<red->dcnt; i++) red->diag[i] = 1.0/d[red->drows[i]]; 2319566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(diag,&d)); 2329566063dSJacob Faibussowitsch PetscCall(VecDestroy(&diag)); 2339566063dSJacob Faibussowitsch PetscCall(KSPSetUp(red->ksp)); 234df826632SBarry Smith PetscFunctionReturn(0); 235df826632SBarry Smith } 236df826632SBarry Smith 237df826632SBarry Smith static PetscErrorCode PCApply_Redistribute(PC pc,Vec b,Vec x) 238df826632SBarry Smith { 239df826632SBarry Smith PC_Redistribute *red = (PC_Redistribute*)pc->data; 240181dd334SBarry Smith PetscInt dcnt = red->dcnt,i; 241181dd334SBarry Smith const PetscInt *drows = red->drows; 242181dd334SBarry Smith PetscScalar *xwork; 243181dd334SBarry Smith const PetscScalar *bwork,*diag = red->diag; 244df826632SBarry Smith 245df826632SBarry Smith PetscFunctionBegin; 246181dd334SBarry Smith if (!red->work) { 2479566063dSJacob Faibussowitsch PetscCall(VecDuplicate(b,&red->work)); 248181dd334SBarry Smith } 249181dd334SBarry Smith /* compute the rows of solution that have diagonal entries only */ 2509566063dSJacob Faibussowitsch PetscCall(VecSet(x,0.0)); /* x = diag(A)^{-1} b */ 2519566063dSJacob Faibussowitsch PetscCall(VecGetArray(x,&xwork)); 2529566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(b,&bwork)); 2532fa5cd67SKarl Rupp for (i=0; i<dcnt; i++) xwork[drows[i]] = diag[i]*bwork[drows[i]]; 2549566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(dcnt)); 2559566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(red->work,&xwork)); 2569566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(b,&bwork)); 257181dd334SBarry Smith /* update the right hand side for the reduced system with diagonal rows (and corresponding columns) removed */ 2589566063dSJacob Faibussowitsch PetscCall(MatMult(pc->pmat,x,red->work)); 2599566063dSJacob Faibussowitsch PetscCall(VecAYPX(red->work,-1.0,b)); /* red->work = b - A x */ 260181dd334SBarry Smith 2619566063dSJacob Faibussowitsch PetscCall(VecScatterBegin(red->scatter,red->work,red->b,INSERT_VALUES,SCATTER_FORWARD)); 2629566063dSJacob Faibussowitsch PetscCall(VecScatterEnd(red->scatter,red->work,red->b,INSERT_VALUES,SCATTER_FORWARD)); 2639566063dSJacob Faibussowitsch PetscCall(KSPSolve(red->ksp,red->b,red->x)); 2649566063dSJacob Faibussowitsch PetscCall(KSPCheckSolve(red->ksp,pc,red->x)); 2659566063dSJacob Faibussowitsch PetscCall(VecScatterBegin(red->scatter,red->x,x,INSERT_VALUES,SCATTER_REVERSE)); 2669566063dSJacob Faibussowitsch PetscCall(VecScatterEnd(red->scatter,red->x,x,INSERT_VALUES,SCATTER_REVERSE)); 267df826632SBarry Smith PetscFunctionReturn(0); 268df826632SBarry Smith } 269df826632SBarry Smith 270df826632SBarry Smith static PetscErrorCode PCDestroy_Redistribute(PC pc) 271df826632SBarry Smith { 272df826632SBarry Smith PC_Redistribute *red = (PC_Redistribute*)pc->data; 273df826632SBarry Smith 274df826632SBarry Smith PetscFunctionBegin; 2759566063dSJacob Faibussowitsch PetscCall(VecScatterDestroy(&red->scatter)); 2769566063dSJacob Faibussowitsch PetscCall(ISDestroy(&red->is)); 2779566063dSJacob Faibussowitsch PetscCall(VecDestroy(&red->b)); 2789566063dSJacob Faibussowitsch PetscCall(VecDestroy(&red->x)); 2799566063dSJacob Faibussowitsch PetscCall(KSPDestroy(&red->ksp)); 2809566063dSJacob Faibussowitsch PetscCall(VecDestroy(&red->work)); 2819566063dSJacob Faibussowitsch PetscCall(PetscFree(red->drows)); 2829566063dSJacob Faibussowitsch PetscCall(PetscFree(red->diag)); 2839566063dSJacob Faibussowitsch PetscCall(PetscFree(pc->data)); 284df826632SBarry Smith PetscFunctionReturn(0); 285df826632SBarry Smith } 286df826632SBarry Smith 2874416b707SBarry Smith static PetscErrorCode PCSetFromOptions_Redistribute(PetscOptionItems *PetscOptionsObject,PC pc) 288df826632SBarry Smith { 289df826632SBarry Smith PC_Redistribute *red = (PC_Redistribute*)pc->data; 290df826632SBarry Smith 291df826632SBarry Smith PetscFunctionBegin; 2929566063dSJacob Faibussowitsch PetscCall(KSPSetFromOptions(red->ksp)); 293df826632SBarry Smith PetscFunctionReturn(0); 294df826632SBarry Smith } 295df826632SBarry Smith 2965e7ef714SBarry Smith /*@ 2975e7ef714SBarry Smith PCRedistributeGetKSP - Gets the KSP created by the PCREDISTRIBUTE 2985e7ef714SBarry Smith 2995e7ef714SBarry Smith Not Collective 3005e7ef714SBarry Smith 3015e7ef714SBarry Smith Input Parameter: 3025e7ef714SBarry Smith . pc - the preconditioner context 3035e7ef714SBarry Smith 3045e7ef714SBarry Smith Output Parameter: 3055e7ef714SBarry Smith . innerksp - the inner KSP 3065e7ef714SBarry Smith 3075e7ef714SBarry Smith Level: advanced 3085e7ef714SBarry Smith 3095e7ef714SBarry Smith @*/ 3105e7ef714SBarry Smith PetscErrorCode PCRedistributeGetKSP(PC pc,KSP *innerksp) 3115e7ef714SBarry Smith { 3125e7ef714SBarry Smith PC_Redistribute *red = (PC_Redistribute*)pc->data; 3135e7ef714SBarry Smith 3145e7ef714SBarry Smith PetscFunctionBegin; 3155e7ef714SBarry Smith PetscValidHeaderSpecific(pc,PC_CLASSID,1); 3165e7ef714SBarry Smith PetscValidPointer(innerksp,2); 3175e7ef714SBarry Smith *innerksp = red->ksp; 3185e7ef714SBarry Smith PetscFunctionReturn(0); 3195e7ef714SBarry Smith } 3205e7ef714SBarry Smith 321df826632SBarry Smith /* -------------------------------------------------------------------------------------*/ 322df826632SBarry Smith /*MC 323*7caa67d9SBarry Smith PCREDISTRIBUTE - Redistributes a matrix for load balancing, removing the rows (and the corresponding columns) that only have a diagonal entry and then 324*7caa67d9SBarry Smith applys a KSP to that new smaller matrix 325df826632SBarry Smith 326df826632SBarry Smith Options for the redistribute preconditioners can be set with -redistribute_ksp_xxx <values> and -redistribute_pc_xxx <values> 327df826632SBarry Smith 32895452b02SPatrick Sanan Notes: 32995452b02SPatrick Sanan Usually run this with -ksp_type preonly 330181dd334SBarry Smith 331*7caa67d9SBarry Smith If you have used `MatZeroRows()` to eliminate (for example, Dirichlet) boundary conditions for a symmetric problem then you can use, for example, -ksp_type preonly 332181dd334SBarry Smith -pc_type redistribute -redistribute_ksp_type cg -redistribute_pc_type bjacobi -redistribute_sub_pc_type icc to take advantage of the symmetry. 333181dd334SBarry Smith 3342dfef595SBarry Smith This does NOT call a partitioner to reorder rows to lower communication; the ordering of the rows in the original matrix and redistributed matrix is the same. 3352dfef595SBarry Smith 33695452b02SPatrick Sanan Developer Notes: 33795452b02SPatrick Sanan Should add an option to this preconditioner to use a partitioner to redistribute the rows to lower communication. 3382dfef595SBarry Smith 339df826632SBarry Smith Level: intermediate 340df826632SBarry Smith 341*7caa67d9SBarry Smith .seealso: `PCCreate()`, `PCSetType()`, `PCType`, `PCRedistributeGetKSP()`, `MatZeroRows()` 342df826632SBarry Smith M*/ 343df826632SBarry Smith 3448cc058d9SJed Brown PETSC_EXTERN PetscErrorCode PCCreate_Redistribute(PC pc) 345df826632SBarry Smith { 346df826632SBarry Smith PC_Redistribute *red; 347911f9fe8SBarry Smith const char *prefix; 348df826632SBarry Smith 349df826632SBarry Smith PetscFunctionBegin; 3509566063dSJacob Faibussowitsch PetscCall(PetscNewLog(pc,&red)); 351df826632SBarry Smith pc->data = (void*)red; 352df826632SBarry Smith 353df826632SBarry Smith pc->ops->apply = PCApply_Redistribute; 3540a545947SLisandro Dalcin pc->ops->applytranspose = NULL; 355df826632SBarry Smith pc->ops->setup = PCSetUp_Redistribute; 356df826632SBarry Smith pc->ops->destroy = PCDestroy_Redistribute; 357df826632SBarry Smith pc->ops->setfromoptions = PCSetFromOptions_Redistribute; 358df826632SBarry Smith pc->ops->view = PCView_Redistribute; 359911f9fe8SBarry Smith 3609566063dSJacob Faibussowitsch PetscCall(KSPCreate(PetscObjectComm((PetscObject)pc),&red->ksp)); 3619566063dSJacob Faibussowitsch PetscCall(KSPSetErrorIfNotConverged(red->ksp,pc->erroriffailure)); 3629566063dSJacob Faibussowitsch PetscCall(PetscObjectIncrementTabLevel((PetscObject)red->ksp,(PetscObject)pc,1)); 3639566063dSJacob Faibussowitsch PetscCall(PetscLogObjectParent((PetscObject)pc,(PetscObject)red->ksp)); 3649566063dSJacob Faibussowitsch PetscCall(PCGetOptionsPrefix(pc,&prefix)); 3659566063dSJacob Faibussowitsch PetscCall(KSPSetOptionsPrefix(red->ksp,prefix)); 3669566063dSJacob Faibussowitsch PetscCall(KSPAppendOptionsPrefix(red->ksp,"redistribute_")); 367df826632SBarry Smith PetscFunctionReturn(0); 368df826632SBarry Smith } 369