xref: /petsc/src/dm/impls/patch/patch.c (revision 63a3b9bc7a1f24f247904ccba9383635fe6abade)
1af0996ceSBarry Smith #include <petsc/private/dmpatchimpl.h>   /*I      "petscdmpatch.h"   I*/
23a19ef87SMatthew G Knepley #include <petscdmda.h>
30c312b8eSJed Brown #include <petscsf.h>
43a19ef87SMatthew G Knepley 
55ee0e871SMatthew G Knepley /*
65ee0e871SMatthew G Knepley Solver loop to update \tau:
75ee0e871SMatthew G Knepley 
85ee0e871SMatthew G Knepley   DMZoom(dmc, &dmz)
95ee0e871SMatthew G Knepley   DMRefine(dmz, &dmf),
105ee0e871SMatthew G Knepley   Scatter Xcoarse -> Xzoom,
115ee0e871SMatthew G Knepley   Interpolate Xzoom -> Xfine (note that this may be on subcomms),
125ee0e871SMatthew G Knepley   Smooth Xfine using two-step smoother
135ee0e871SMatthew G Knepley     normal smoother plus Kaczmarz---moves back and forth from dmzoom to dmfine
145ee0e871SMatthew G Knepley   Compute residual Rfine
155ee0e871SMatthew G Knepley   Restrict Rfine to Rzoom_restricted
165ee0e871SMatthew G Knepley   Scatter Rzoom_restricted -> Rcoarse_restricted
175ee0e871SMatthew G Knepley   Compute global residual Rcoarse
185ee0e871SMatthew G Knepley   TauCoarse = Rcoarse - Rcoarse_restricted
195ee0e871SMatthew G Knepley */
205ee0e871SMatthew G Knepley 
2160c22052SBarry Smith /*@C
2260c22052SBarry Smith   DMPatchZoom - Create patches of a DMDA on subsets of processes, indicated by commz
2359583ba0SMatthew G Knepley 
24d083f849SBarry Smith   Collective on dm
25a487c981SJed Brown 
2659583ba0SMatthew G Knepley   Input Parameters:
2759583ba0SMatthew G Knepley   + dm - the DM
2860c22052SBarry Smith   . lower,upper - the upper right corner and the lower left corner of the requested patch
2960c22052SBarry Smith   - commz - the new communicator for the patch, MPI_COMM_NULL indicates that the given rank will not own a patch
3059583ba0SMatthew G Knepley 
3159583ba0SMatthew G Knepley   Output Parameters:
3259583ba0SMatthew G Knepley   + dmz  - the patch DM
3360c22052SBarry Smith   . sfz  - the PetscSF mapping the patch+halo to the zoomed version (optional)
3460c22052SBarry Smith   - sfzr - the PetscSF mapping the patch to the restricted zoomed version
3559583ba0SMatthew G Knepley 
3659583ba0SMatthew G Knepley   Level: intermediate
3759583ba0SMatthew G Knepley 
3860c22052SBarry Smith .seealso: DMPatchSolve(), DMDACreatePatchIS()
3960c22052SBarry Smith @*/
4060c22052SBarry Smith PetscErrorCode DMPatchZoom(DM dm, MatStencil lower, MatStencil upper, MPI_Comm commz, DM *dmz, PetscSF *sfz, PetscSF *sfzr)
4159583ba0SMatthew G Knepley {
4259583ba0SMatthew G Knepley   DMDAStencilType st;
43bd1050a3SMatthew G Knepley   MatStencil      blower, bupper, loclower, locupper;
44bd1050a3SMatthew G Knepley   IS              is;
45bd1050a3SMatthew G Knepley   const PetscInt  *ranges, *indices;
460298fd71SBarry Smith   PetscInt        *localPoints  = NULL;
470298fd71SBarry Smith   PetscSFNode     *remotePoints = NULL;
48392fa6c6SMatthew G Knepley   PetscInt        dim, dof;
4960c22052SBarry Smith   PetscInt        M, N, P, rM, rN, rP, halo = 1, sxb, syb, szb, sxr, syr, szr, exr, eyr, ezr, mxb, myb, mzb, i, j, k, l, q;
50bd1050a3SMatthew G Knepley   PetscMPIInt     size;
513b5e53cdSSajid Ali   PetscBool       patchis_offproc = PETSC_TRUE;
5260c22052SBarry Smith   Vec             X;
5359583ba0SMatthew G Knepley 
5459583ba0SMatthew G Knepley   PetscFunctionBegin;
5560c22052SBarry Smith   if (!sfz) halo = 0;
569566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)dm), &size));
5759583ba0SMatthew G Knepley   /* Create patch DM */
589566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(dm, &dim, &M, &N, &P, NULL,NULL,NULL, &dof, NULL,NULL,NULL,NULL, &st));
59a07761baSMatthew G Knepley 
60a07761baSMatthew G Knepley   /* Get piece for rank r, expanded by halo */
61392fa6c6SMatthew G Knepley   bupper.i = PetscMin(M, upper.i + halo); blower.i = PetscMax(lower.i - halo, 0);
62392fa6c6SMatthew G Knepley   bupper.j = PetscMin(N, upper.j + halo); blower.j = PetscMax(lower.j - halo, 0);
63392fa6c6SMatthew G Knepley   bupper.k = PetscMin(P, upper.k + halo); blower.k = PetscMax(lower.k - halo, 0);
64392fa6c6SMatthew G Knepley   rM       = bupper.i - blower.i;
65392fa6c6SMatthew G Knepley   rN       = bupper.j - blower.j;
66392fa6c6SMatthew G Knepley   rP       = bupper.k - blower.k;
6759583ba0SMatthew G Knepley 
68bb71ef15SMatthew G Knepley   if (commz != MPI_COMM_NULL) {
699566063dSJacob Faibussowitsch     PetscCall(DMDACreate(commz, dmz));
709566063dSJacob Faibussowitsch     PetscCall(DMSetDimension(*dmz, dim));
719566063dSJacob Faibussowitsch     PetscCall(DMDASetSizes(*dmz, rM, rN, rP));
729566063dSJacob Faibussowitsch     PetscCall(DMDASetNumProcs(*dmz, PETSC_DECIDE, PETSC_DECIDE, PETSC_DECIDE));
739566063dSJacob Faibussowitsch     PetscCall(DMDASetBoundaryType(*dmz, DM_BOUNDARY_NONE, DM_BOUNDARY_NONE, DM_BOUNDARY_NONE));
749566063dSJacob Faibussowitsch     PetscCall(DMDASetDof(*dmz, dof));
759566063dSJacob Faibussowitsch     PetscCall(DMDASetStencilType(*dmz, st));
769566063dSJacob Faibussowitsch     PetscCall(DMDASetStencilWidth(*dmz, 0));
779566063dSJacob Faibussowitsch     PetscCall(DMDASetOwnershipRanges(*dmz, NULL, NULL, NULL));
789566063dSJacob Faibussowitsch     PetscCall(DMSetFromOptions(*dmz));
799566063dSJacob Faibussowitsch     PetscCall(DMSetUp(*dmz));
809566063dSJacob Faibussowitsch     PetscCall(DMDAGetCorners(*dmz, &sxb, &syb, &szb, &mxb, &myb, &mzb));
81bd1050a3SMatthew G Knepley     sxr  = PetscMax(sxb,     lower.i - blower.i);
82bd1050a3SMatthew G Knepley     syr  = PetscMax(syb,     lower.j - blower.j);
83bd1050a3SMatthew G Knepley     szr  = PetscMax(szb,     lower.k - blower.k);
84bd1050a3SMatthew G Knepley     exr  = PetscMin(sxb+mxb, upper.i - blower.i);
85bd1050a3SMatthew G Knepley     eyr  = PetscMin(syb+myb, upper.j - blower.j);
86bd1050a3SMatthew G Knepley     ezr  = PetscMin(szb+mzb, upper.k - blower.k);
879566063dSJacob Faibussowitsch     PetscCall(PetscMalloc2(dof*rM*rN*PetscMax(rP,1),&localPoints,dof*rM*rN*PetscMax(rP,1),&remotePoints));
88bb71ef15SMatthew G Knepley   } else {
89bb71ef15SMatthew G Knepley     sxr = syr = szr = exr = eyr = ezr = sxb = syb = szb = mxb = myb = mzb = 0;
90bb71ef15SMatthew G Knepley   }
91392fa6c6SMatthew G Knepley 
9259583ba0SMatthew G Knepley   /* Create SF for restricted map */
939566063dSJacob Faibussowitsch   PetscCall(DMCreateGlobalVector(dm,&X));
949566063dSJacob Faibussowitsch   PetscCall(VecGetOwnershipRanges(X,&ranges));
958865f1eaSKarl Rupp 
96bd1050a3SMatthew G Knepley   loclower.i = blower.i + sxr; locupper.i = blower.i + exr;
97bd1050a3SMatthew G Knepley   loclower.j = blower.j + syr; locupper.j = blower.j + eyr;
98bd1050a3SMatthew G Knepley   loclower.k = blower.k + szr; locupper.k = blower.k + ezr;
998865f1eaSKarl Rupp 
1009566063dSJacob Faibussowitsch   PetscCall(DMDACreatePatchIS(dm, &loclower, &locupper, &is, patchis_offproc));
1019566063dSJacob Faibussowitsch   PetscCall(ISGetIndices(is, &indices));
1028865f1eaSKarl Rupp 
10360c22052SBarry Smith   if (dim < 3) {mzb = 1; ezr = 1;}
104392fa6c6SMatthew G Knepley   q = 0;
105bd1050a3SMatthew G Knepley   for (k = szb; k < szb+mzb; ++k) {
106bd1050a3SMatthew G Knepley     if ((k < szr) || (k >= ezr)) continue;
107bd1050a3SMatthew G Knepley     for (j = syb; j < syb+myb; ++j) {
108bd1050a3SMatthew G Knepley       if ((j < syr) || (j >= eyr)) continue;
109bd1050a3SMatthew G Knepley       for (i = sxb; i < sxb+mxb; ++i) {
11060c22052SBarry Smith         for (l=0; l<dof; l++) {
11160c22052SBarry Smith           const PetscInt lp = l + dof*(((k-szb)*rN + (j-syb))*rM + i-sxb);
112bd1050a3SMatthew G Knepley           PetscInt       r;
113392fa6c6SMatthew G Knepley 
114bd1050a3SMatthew G Knepley           if ((i < sxr) || (i >= exr)) continue;
115392fa6c6SMatthew G Knepley           localPoints[q]        = lp;
1169566063dSJacob Faibussowitsch           PetscCall(PetscFindInt(indices[q], size+1, ranges, &r));
1178865f1eaSKarl Rupp 
118bd1050a3SMatthew G Knepley           remotePoints[q].rank  = r < 0 ? -(r+1) - 1 : r;
119bd1050a3SMatthew G Knepley           remotePoints[q].index = indices[q] - ranges[remotePoints[q].rank];
120bd1050a3SMatthew G Knepley           ++q;
121392fa6c6SMatthew G Knepley         }
122392fa6c6SMatthew G Knepley       }
123392fa6c6SMatthew G Knepley     }
12460c22052SBarry Smith   }
1259566063dSJacob Faibussowitsch   PetscCall(ISRestoreIndices(is, &indices));
1269566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is));
1279566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PetscObjectComm((PetscObject)dm), sfzr));
1289566063dSJacob Faibussowitsch   PetscCall(PetscObjectSetName((PetscObject) *sfzr, "Restricted Map"));
1299566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(*sfzr, dof*M*N*P, q, localPoints, PETSC_COPY_VALUES, remotePoints, PETSC_COPY_VALUES));
130392fa6c6SMatthew G Knepley 
13160c22052SBarry Smith   if (sfz) {
132392fa6c6SMatthew G Knepley     /* Create SF for buffered map */
133bd1050a3SMatthew G Knepley     loclower.i = blower.i + sxb; locupper.i = blower.i + sxb+mxb;
134bd1050a3SMatthew G Knepley     loclower.j = blower.j + syb; locupper.j = blower.j + syb+myb;
135bd1050a3SMatthew G Knepley     loclower.k = blower.k + szb; locupper.k = blower.k + szb+mzb;
1368865f1eaSKarl Rupp 
1379566063dSJacob Faibussowitsch     PetscCall(DMDACreatePatchIS(dm, &loclower, &locupper, &is, patchis_offproc));
1389566063dSJacob Faibussowitsch     PetscCall(ISGetIndices(is, &indices));
1398865f1eaSKarl Rupp 
140392fa6c6SMatthew G Knepley     q = 0;
141392fa6c6SMatthew G Knepley     for (k = szb; k < szb+mzb; ++k) {
142392fa6c6SMatthew G Knepley       for (j = syb; j < syb+myb; ++j) {
143392fa6c6SMatthew G Knepley         for (i = sxb; i < sxb+mxb; ++i, ++q) {
144bd1050a3SMatthew G Knepley           PetscInt r;
145392fa6c6SMatthew G Knepley 
146bd1050a3SMatthew G Knepley           localPoints[q]        = q;
1479566063dSJacob Faibussowitsch           PetscCall(PetscFindInt(indices[q], size+1, ranges, &r));
148bd1050a3SMatthew G Knepley           remotePoints[q].rank  = r < 0 ? -(r+1) - 1 : r;
149bd1050a3SMatthew G Knepley           remotePoints[q].index = indices[q] - ranges[remotePoints[q].rank];
150392fa6c6SMatthew G Knepley         }
151392fa6c6SMatthew G Knepley       }
152392fa6c6SMatthew G Knepley     }
1539566063dSJacob Faibussowitsch     PetscCall(ISRestoreIndices(is, &indices));
1549566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is));
1559566063dSJacob Faibussowitsch     PetscCall(PetscSFCreate(PetscObjectComm((PetscObject)dm), sfz));
1569566063dSJacob Faibussowitsch     PetscCall(PetscObjectSetName((PetscObject) *sfz, "Buffered Map"));
1579566063dSJacob Faibussowitsch     PetscCall(PetscSFSetGraph(*sfz, M*N*P, q, localPoints, PETSC_COPY_VALUES, remotePoints, PETSC_COPY_VALUES));
15860c22052SBarry Smith   }
159392fa6c6SMatthew G Knepley 
1609566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&X));
1619566063dSJacob Faibussowitsch   PetscCall(PetscFree2(localPoints, remotePoints));
16259583ba0SMatthew G Knepley   PetscFunctionReturn(0);
16359583ba0SMatthew G Knepley }
16459583ba0SMatthew G Knepley 
165bd1050a3SMatthew G Knepley typedef enum {PATCH_COMM_TYPE_WORLD = 0, PATCH_COMM_TYPE_SELF = 1} PatchCommType;
166bd1050a3SMatthew G Knepley 
16759583ba0SMatthew G Knepley PetscErrorCode DMPatchSolve(DM dm)
16859583ba0SMatthew G Knepley {
16982f516ccSBarry Smith   MPI_Comm       comm;
170bb71ef15SMatthew G Knepley   MPI_Comm       commz;
171bb71ef15SMatthew G Knepley   DM             dmc;
172392fa6c6SMatthew G Knepley   PetscSF        sfz, sfzr;
173bb71ef15SMatthew G Knepley   Vec            XC;
174bb71ef15SMatthew G Knepley   MatStencil     patchSize, commSize, gridRank, lower, upper;
175bb71ef15SMatthew G Knepley   PetscInt       M, N, P, i, j, k, l, m, n, p = 0;
176bb71ef15SMatthew G Knepley   PetscMPIInt    rank, size;
177bb71ef15SMatthew G Knepley   PetscInt       debug = 0;
17859583ba0SMatthew G Knepley 
17959583ba0SMatthew G Knepley   PetscFunctionBegin;
1809566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetComm((PetscObject)dm,&comm));
1819566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(comm, &rank));
1829566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(comm, &size));
1839566063dSJacob Faibussowitsch   PetscCall(DMPatchGetCoarse(dm, &dmc));
1849566063dSJacob Faibussowitsch   PetscCall(DMPatchGetPatchSize(dm, &patchSize));
1859566063dSJacob Faibussowitsch   PetscCall(DMPatchGetCommSize(dm, &commSize));
1869566063dSJacob Faibussowitsch   PetscCall(DMPatchGetCommSize(dm, &commSize));
1879566063dSJacob Faibussowitsch   PetscCall(DMGetGlobalVector(dmc, &XC));
1889566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(dmc, NULL, &M, &N, &P, &l, &m, &n, NULL,NULL,NULL,NULL,NULL,NULL));
189bb71ef15SMatthew G Knepley   M    = PetscMax(M, 1); l = PetscMax(l, 1);
190bb71ef15SMatthew G Knepley   N    = PetscMax(N, 1); m = PetscMax(m, 1);
191bb71ef15SMatthew G Knepley   P    = PetscMax(P, 1); n = PetscMax(n, 1);
1928865f1eaSKarl Rupp 
193bb71ef15SMatthew G Knepley   gridRank.i = rank       % l;
194bb71ef15SMatthew G Knepley   gridRank.j = rank/l     % m;
195bb71ef15SMatthew G Knepley   gridRank.k = rank/(l*m) % n;
1968865f1eaSKarl Rupp 
197bb71ef15SMatthew G Knepley   if (commSize.i*commSize.j*commSize.k == size || commSize.i*commSize.j*commSize.k == 0) {
198bb71ef15SMatthew G Knepley     commSize.i = l; commSize.j = m; commSize.k = n;
199bb71ef15SMatthew G Knepley     commz      = comm;
200bb71ef15SMatthew G Knepley   } else if (commSize.i*commSize.j*commSize.k == 1) {
201bb71ef15SMatthew G Knepley     commz = PETSC_COMM_SELF;
202bb71ef15SMatthew G Knepley   } else {
203bb71ef15SMatthew G Knepley     const PetscMPIInt newComm = ((gridRank.k/commSize.k)*(m/commSize.j) + gridRank.j/commSize.j)*(l/commSize.i) + (gridRank.i/commSize.i);
204bb71ef15SMatthew G Knepley     const PetscMPIInt newRank = ((gridRank.k%commSize.k)*commSize.j     + gridRank.j%commSize.j)*commSize.i     + (gridRank.i%commSize.i);
205bb71ef15SMatthew G Knepley 
2069566063dSJacob Faibussowitsch     PetscCallMPI(MPI_Comm_split(comm, newComm, newRank, &commz));
2079566063dSJacob Faibussowitsch     if (debug) PetscCall(PetscPrintf(PETSC_COMM_SELF, "Rank %d color %d key %d commz %p\n", rank, newComm, newRank, (void*)(MPI_Aint)commz));
208bb71ef15SMatthew G Knepley   }
209bb71ef15SMatthew G Knepley   /*
210bb71ef15SMatthew G Knepley    Assumptions:
211bb71ef15SMatthew G Knepley      - patchSize divides gridSize
212bb71ef15SMatthew G Knepley      - commSize divides gridSize
213bb71ef15SMatthew G Knepley      - commSize divides l,m,n
214bb71ef15SMatthew G Knepley    Ignore multiple patches per rank for now
215bb71ef15SMatthew G Knepley 
216bb71ef15SMatthew G Knepley    Multiple ranks per patch:
217bb71ef15SMatthew G Knepley      - l,m,n divides patchSize
218bb71ef15SMatthew G Knepley      - commSize divides patchSize
219bb71ef15SMatthew G Knepley    */
220392fa6c6SMatthew G Knepley   for (k = 0; k < P; k += PetscMax(patchSize.k, 1)) {
221392fa6c6SMatthew G Knepley     for (j = 0; j < N; j += PetscMax(patchSize.j, 1)) {
222392fa6c6SMatthew G Knepley       for (i = 0; i < M; i += PetscMax(patchSize.i, 1), ++p) {
223bb71ef15SMatthew G Knepley         MPI_Comm    commp = MPI_COMM_NULL;
2240298fd71SBarry Smith         DM          dmz   = NULL;
2252f857c34SHong Zhang #if 0
2260298fd71SBarry Smith         DM          dmf     = NULL;
2270298fd71SBarry Smith         Mat         interpz = NULL;
2282f857c34SHong Zhang #endif
2290298fd71SBarry Smith         Vec         XZ       = NULL;
2300298fd71SBarry Smith         PetscScalar *xcarray = NULL;
2310298fd71SBarry Smith         PetscScalar *xzarray = NULL;
232bb87e006SMatthew G Knepley 
233bb71ef15SMatthew G Knepley         if ((gridRank.k/commSize.k == p/(l/commSize.i * m/commSize.j) % n/commSize.k) &&
234bb71ef15SMatthew G Knepley             (gridRank.j/commSize.j == p/(l/commSize.i)                % m/commSize.j) &&
235bb71ef15SMatthew G Knepley             (gridRank.i/commSize.i == p                               % l/commSize.i)) {
236*63a3b9bcSJacob Faibussowitsch           if (debug) PetscCall(PetscPrintf(PETSC_COMM_SELF, "Rank %d is accepting Patch %" PetscInt_FMT "\n", rank, p));
237bb71ef15SMatthew G Knepley           commp = commz;
238bb71ef15SMatthew G Knepley         }
239bb87e006SMatthew G Knepley         /* Zoom to coarse patch */
240392fa6c6SMatthew G Knepley         lower.i = i; lower.j = j; lower.k = k;
241392fa6c6SMatthew G Knepley         upper.i = i + patchSize.i; upper.j = j + patchSize.j; upper.k = k + patchSize.k;
2429566063dSJacob Faibussowitsch         PetscCall(DMPatchZoom(dmc, lower, upper, commp, &dmz, &sfz, &sfzr));
243da80777bSKarl Rupp         lower.c = 0; /* initialize member, otherwise compiler issues warnings */
244da80777bSKarl Rupp         upper.c = 0; /* initialize member, otherwise compiler issues warnings */
245*63a3b9bcSJacob Faibussowitsch         if (debug) PetscCall(PetscPrintf(comm, "Patch %" PetscInt_FMT ": (%" PetscInt_FMT ", %" PetscInt_FMT ", %" PetscInt_FMT ")--(%" PetscInt_FMT ", %" PetscInt_FMT ", %" PetscInt_FMT ")\n", p, lower.i, lower.j, lower.k, upper.i, upper.j, upper.k));
2469566063dSJacob Faibussowitsch         if (dmz) PetscCall(DMView(dmz, PETSC_VIEWER_STDOUT_(commz)));
2479566063dSJacob Faibussowitsch         PetscCall(PetscSFView(sfz,  PETSC_VIEWER_STDOUT_(comm)));
2489566063dSJacob Faibussowitsch         PetscCall(PetscSFView(sfzr, PETSC_VIEWER_STDOUT_(comm)));
24959583ba0SMatthew G Knepley         /* Scatter Xcoarse -> Xzoom */
2509566063dSJacob Faibussowitsch         if (dmz) PetscCall(DMGetGlobalVector(dmz, &XZ));
2519566063dSJacob Faibussowitsch         if (XZ)  PetscCall(VecGetArray(XZ, &xzarray));
2529566063dSJacob Faibussowitsch         PetscCall(VecGetArray(XC, &xcarray));
2539566063dSJacob Faibussowitsch         PetscCall(PetscSFBcastBegin(sfz, MPIU_SCALAR, xcarray, xzarray,MPI_REPLACE));
2549566063dSJacob Faibussowitsch         PetscCall(PetscSFBcastEnd(sfz, MPIU_SCALAR, xcarray, xzarray,MPI_REPLACE));
2559566063dSJacob Faibussowitsch         PetscCall(VecRestoreArray(XC, &xcarray));
2569566063dSJacob Faibussowitsch         if (XZ)  PetscCall(VecRestoreArray(XZ, &xzarray));
257bd1050a3SMatthew G Knepley #if 0
25859583ba0SMatthew G Knepley         /* Interpolate Xzoom -> Xfine, note that this may be on subcomms */
2599566063dSJacob Faibussowitsch         PetscCall(DMRefine(dmz, MPI_COMM_NULL, &dmf));
2609566063dSJacob Faibussowitsch         PetscCall(DMCreateInterpolation(dmz, dmf, &interpz, NULL));
2619566063dSJacob Faibussowitsch         PetscCall(DMInterpolate(dmz, interpz, dmf));
26259583ba0SMatthew G Knepley         /* Smooth Xfine using two-step smoother, normal smoother plus Kaczmarz---moves back and forth from dmzoom to dmfine */
26359583ba0SMatthew G Knepley         /* Compute residual Rfine */
26459583ba0SMatthew G Knepley         /* Restrict Rfine to Rzoom_restricted */
265bd1050a3SMatthew G Knepley #endif
26659583ba0SMatthew G Knepley         /* Scatter Rzoom_restricted -> Rcoarse_restricted */
2679566063dSJacob Faibussowitsch         if (XZ)  PetscCall(VecGetArray(XZ, &xzarray));
2689566063dSJacob Faibussowitsch         PetscCall(VecGetArray(XC, &xcarray));
2699566063dSJacob Faibussowitsch         PetscCall(PetscSFReduceBegin(sfzr, MPIU_SCALAR, xzarray, xcarray, MPIU_SUM));
2709566063dSJacob Faibussowitsch         PetscCall(PetscSFReduceEnd(sfzr, MPIU_SCALAR, xzarray, xcarray, MPIU_SUM));
2719566063dSJacob Faibussowitsch         PetscCall(VecRestoreArray(XC, &xcarray));
2729566063dSJacob Faibussowitsch         if (XZ)  PetscCall(VecRestoreArray(XZ, &xzarray));
2739566063dSJacob Faibussowitsch         if (dmz) PetscCall(DMRestoreGlobalVector(dmz, &XZ));
27459583ba0SMatthew G Knepley         /* Compute global residual Rcoarse */
27559583ba0SMatthew G Knepley         /* TauCoarse = Rcoarse - Rcoarse_restricted */
276bb87e006SMatthew G Knepley 
2779566063dSJacob Faibussowitsch         PetscCall(PetscSFDestroy(&sfz));
2789566063dSJacob Faibussowitsch         PetscCall(PetscSFDestroy(&sfzr));
2799566063dSJacob Faibussowitsch         PetscCall(DMDestroy(&dmz));
280a07761baSMatthew G Knepley       }
281392fa6c6SMatthew G Knepley     }
282392fa6c6SMatthew G Knepley   }
2839566063dSJacob Faibussowitsch   PetscCall(DMRestoreGlobalVector(dmc, &XC));
28459583ba0SMatthew G Knepley   PetscFunctionReturn(0);
28559583ba0SMatthew G Knepley }
28659583ba0SMatthew G Knepley 
28760c22052SBarry Smith PetscErrorCode DMPatchView_ASCII(DM dm, PetscViewer viewer)
2883a19ef87SMatthew G Knepley {
2893a19ef87SMatthew G Knepley   DM_Patch          *mesh = (DM_Patch*) dm->data;
2903a19ef87SMatthew G Knepley   PetscViewerFormat format;
291392fa6c6SMatthew G Knepley   const char        *name;
2923a19ef87SMatthew G Knepley 
2933a19ef87SMatthew G Knepley   PetscFunctionBegin;
2949566063dSJacob Faibussowitsch   PetscCall(PetscViewerGetFormat(viewer, &format));
2953a19ef87SMatthew G Knepley   /* if (format == PETSC_VIEWER_ASCII_INFO_DETAIL) */
2969566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetName((PetscObject) dm, &name));
2979566063dSJacob Faibussowitsch   PetscCall(PetscViewerASCIIPrintf(viewer, "Patch DM %s\n", name));
2989566063dSJacob Faibussowitsch   PetscCall(PetscViewerASCIIPushTab(viewer));
2999566063dSJacob Faibussowitsch   PetscCall(PetscViewerASCIIPrintf(viewer, "Coarse DM\n"));
3009566063dSJacob Faibussowitsch   PetscCall(DMView(mesh->dmCoarse, viewer));
3019566063dSJacob Faibussowitsch   PetscCall(PetscViewerASCIIPopTab(viewer));
3023a19ef87SMatthew G Knepley   PetscFunctionReturn(0);
3033a19ef87SMatthew G Knepley }
3043a19ef87SMatthew G Knepley 
3053a19ef87SMatthew G Knepley PetscErrorCode DMView_Patch(DM dm, PetscViewer viewer)
3063a19ef87SMatthew G Knepley {
3073a19ef87SMatthew G Knepley   PetscBool      iascii, isbinary;
3083a19ef87SMatthew G Knepley 
3093a19ef87SMatthew G Knepley   PetscFunctionBegin;
3103a19ef87SMatthew G Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
3113a19ef87SMatthew G Knepley   PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2);
3129566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii));
3139566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERBINARY, &isbinary));
3143a19ef87SMatthew G Knepley   if (iascii) {
3159566063dSJacob Faibussowitsch     PetscCall(DMPatchView_ASCII(dm, viewer));
31611aeaf0aSBarry Smith   }
3173a19ef87SMatthew G Knepley   PetscFunctionReturn(0);
3183a19ef87SMatthew G Knepley }
3193a19ef87SMatthew G Knepley 
3203a19ef87SMatthew G Knepley PetscErrorCode DMDestroy_Patch(DM dm)
3213a19ef87SMatthew G Knepley {
3223a19ef87SMatthew G Knepley   DM_Patch       *mesh = (DM_Patch*) dm->data;
3233a19ef87SMatthew G Knepley 
3243a19ef87SMatthew G Knepley   PetscFunctionBegin;
3258865f1eaSKarl Rupp   if (--mesh->refct > 0) PetscFunctionReturn(0);
3269566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&mesh->dmCoarse));
3273a19ef87SMatthew G Knepley   /* This was originally freed in DMDestroy(), but that prevents reference counting of backend objects */
3289566063dSJacob Faibussowitsch   PetscCall(PetscFree(mesh));
3293a19ef87SMatthew G Knepley   PetscFunctionReturn(0);
3303a19ef87SMatthew G Knepley }
3313a19ef87SMatthew G Knepley 
3323a19ef87SMatthew G Knepley PetscErrorCode DMSetUp_Patch(DM dm)
3333a19ef87SMatthew G Knepley {
3343a19ef87SMatthew G Knepley   DM_Patch       *mesh = (DM_Patch*) dm->data;
3353a19ef87SMatthew G Knepley 
3363a19ef87SMatthew G Knepley   PetscFunctionBegin;
3373a19ef87SMatthew G Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
3389566063dSJacob Faibussowitsch   PetscCall(DMSetUp(mesh->dmCoarse));
3393a19ef87SMatthew G Knepley   PetscFunctionReturn(0);
3403a19ef87SMatthew G Knepley }
3413a19ef87SMatthew G Knepley 
3423a19ef87SMatthew G Knepley PetscErrorCode DMCreateGlobalVector_Patch(DM dm, Vec *g)
3433a19ef87SMatthew G Knepley {
3443a19ef87SMatthew G Knepley   DM_Patch       *mesh = (DM_Patch*) dm->data;
3453a19ef87SMatthew G Knepley 
3463a19ef87SMatthew G Knepley   PetscFunctionBegin;
3473a19ef87SMatthew G Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
3489566063dSJacob Faibussowitsch   PetscCall(DMCreateGlobalVector(mesh->dmCoarse, g));
3493a19ef87SMatthew G Knepley   PetscFunctionReturn(0);
3503a19ef87SMatthew G Knepley }
3513a19ef87SMatthew G Knepley 
3523a19ef87SMatthew G Knepley PetscErrorCode DMCreateLocalVector_Patch(DM dm, Vec *l)
3533a19ef87SMatthew G Knepley {
3543a19ef87SMatthew G Knepley   DM_Patch       *mesh = (DM_Patch*) dm->data;
3553a19ef87SMatthew G Knepley 
3563a19ef87SMatthew G Knepley   PetscFunctionBegin;
3573a19ef87SMatthew G Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
3589566063dSJacob Faibussowitsch   PetscCall(DMCreateLocalVector(mesh->dmCoarse, l));
3593a19ef87SMatthew G Knepley   PetscFunctionReturn(0);
3603a19ef87SMatthew G Knepley }
3613a19ef87SMatthew G Knepley 
362276c5506SMatthew G. Knepley PetscErrorCode DMCreateSubDM_Patch(DM dm, PetscInt numFields, const PetscInt fields[], IS *is, DM *subdm)
3633a19ef87SMatthew G Knepley {
36482f516ccSBarry Smith   SETERRQ(PetscObjectComm((PetscObject)dm), PETSC_ERR_SUP, "Tell me to code this");
3653a19ef87SMatthew G Knepley }
366392fa6c6SMatthew G Knepley 
367392fa6c6SMatthew G Knepley PetscErrorCode DMPatchGetCoarse(DM dm, DM *dmCoarse)
368392fa6c6SMatthew G Knepley {
369392fa6c6SMatthew G Knepley   DM_Patch *mesh = (DM_Patch*) dm->data;
370392fa6c6SMatthew G Knepley 
371392fa6c6SMatthew G Knepley   PetscFunctionBegin;
372392fa6c6SMatthew G Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
373392fa6c6SMatthew G Knepley   *dmCoarse = mesh->dmCoarse;
374392fa6c6SMatthew G Knepley   PetscFunctionReturn(0);
375392fa6c6SMatthew G Knepley }
376392fa6c6SMatthew G Knepley 
377392fa6c6SMatthew G Knepley PetscErrorCode DMPatchGetPatchSize(DM dm, MatStencil *patchSize)
378392fa6c6SMatthew G Knepley {
379392fa6c6SMatthew G Knepley   DM_Patch *mesh = (DM_Patch*) dm->data;
380392fa6c6SMatthew G Knepley 
381392fa6c6SMatthew G Knepley   PetscFunctionBegin;
382392fa6c6SMatthew G Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
383392fa6c6SMatthew G Knepley   PetscValidPointer(patchSize, 2);
384392fa6c6SMatthew G Knepley   *patchSize = mesh->patchSize;
385392fa6c6SMatthew G Knepley   PetscFunctionReturn(0);
386392fa6c6SMatthew G Knepley }
387392fa6c6SMatthew G Knepley 
388392fa6c6SMatthew G Knepley PetscErrorCode DMPatchSetPatchSize(DM dm, MatStencil patchSize)
389392fa6c6SMatthew G Knepley {
390392fa6c6SMatthew G Knepley   DM_Patch *mesh = (DM_Patch*) dm->data;
391392fa6c6SMatthew G Knepley 
392392fa6c6SMatthew G Knepley   PetscFunctionBegin;
393392fa6c6SMatthew G Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
394392fa6c6SMatthew G Knepley   mesh->patchSize = patchSize;
395392fa6c6SMatthew G Knepley   PetscFunctionReturn(0);
396392fa6c6SMatthew G Knepley }
397bb71ef15SMatthew G Knepley 
398bb71ef15SMatthew G Knepley PetscErrorCode DMPatchGetCommSize(DM dm, MatStencil *commSize)
399bb71ef15SMatthew G Knepley {
400bb71ef15SMatthew G Knepley   DM_Patch *mesh = (DM_Patch*) dm->data;
401bb71ef15SMatthew G Knepley 
402bb71ef15SMatthew G Knepley   PetscFunctionBegin;
403bb71ef15SMatthew G Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
404bb71ef15SMatthew G Knepley   PetscValidPointer(commSize, 2);
405bb71ef15SMatthew G Knepley   *commSize = mesh->commSize;
406bb71ef15SMatthew G Knepley   PetscFunctionReturn(0);
407bb71ef15SMatthew G Knepley }
408bb71ef15SMatthew G Knepley 
409bb71ef15SMatthew G Knepley PetscErrorCode DMPatchSetCommSize(DM dm, MatStencil commSize)
410bb71ef15SMatthew G Knepley {
411bb71ef15SMatthew G Knepley   DM_Patch *mesh = (DM_Patch*) dm->data;
412bb71ef15SMatthew G Knepley 
413bb71ef15SMatthew G Knepley   PetscFunctionBegin;
414bb71ef15SMatthew G Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
415bb71ef15SMatthew G Knepley   mesh->commSize = commSize;
416bb71ef15SMatthew G Knepley   PetscFunctionReturn(0);
417bb71ef15SMatthew G Knepley }
418