Actual source code: patch.c
1: #include <petsc/private/dmpatchimpl.h>
2: #include <petscdmda.h>
3: #include <petscsf.h>
5: /*
6: Solver loop to update \tau:
8: DMZoom(dmc, &dmz)
9: DMRefine(dmz, &dmf),
10: Scatter Xcoarse -> Xzoom,
11: Interpolate Xzoom -> Xfine (note that this may be on subcomms),
12: Smooth Xfine using two-step smoother
13: normal smoother plus Kaczmarz---moves back and forth from dmzoom to dmfine
14: Compute residual Rfine
15: Restrict Rfine to Rzoom_restricted
16: Scatter Rzoom_restricted -> Rcoarse_restricted
17: Compute global residual Rcoarse
18: TauCoarse = Rcoarse - Rcoarse_restricted
19: */
21: /*@C
22: DMPatchZoom - Create patches of a DMDA on subsets of processes, indicated by commz
24: Collective on dm
26: Input Parameters:
27: + dm - the DM
28: . lower - the lower left corner of the requested patch
29: . upper - the upper right corner of the requested patch
30: - commz - the new communicator for the patch, MPI_COMM_NULL indicates that the given rank will not own a patch
32: Output Parameters:
33: + dmz - the patch DM
34: . sfz - the PetscSF mapping the patch+halo to the zoomed version (optional)
35: - sfzr - the PetscSF mapping the patch to the restricted zoomed version
37: Level: intermediate
39: .seealso: DMPatchSolve(), DMDACreatePatchIS()
40: @*/
41: PetscErrorCode DMPatchZoom(DM dm, MatStencil lower, MatStencil upper, MPI_Comm commz, DM *dmz, PetscSF *sfz, PetscSF *sfzr)
42: {
43: DMDAStencilType st;
44: MatStencil blower, bupper, loclower, locupper;
45: IS is;
46: const PetscInt *ranges, *indices;
47: PetscInt *localPoints = NULL;
48: PetscSFNode *remotePoints = NULL;
49: PetscInt dim, dof;
50: 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;
51: PetscMPIInt size;
52: PetscBool patchis_offproc = PETSC_TRUE;
53: Vec X;
55: if (!sfz) halo = 0;
56: MPI_Comm_size(PetscObjectComm((PetscObject)dm), &size);
57: /* Create patch DM */
58: DMDAGetInfo(dm, &dim, &M, &N, &P, NULL,NULL,NULL, &dof, NULL,NULL,NULL,NULL, &st);
60: /* Get piece for rank r, expanded by halo */
61: bupper.i = PetscMin(M, upper.i + halo); blower.i = PetscMax(lower.i - halo, 0);
62: bupper.j = PetscMin(N, upper.j + halo); blower.j = PetscMax(lower.j - halo, 0);
63: bupper.k = PetscMin(P, upper.k + halo); blower.k = PetscMax(lower.k - halo, 0);
64: rM = bupper.i - blower.i;
65: rN = bupper.j - blower.j;
66: rP = bupper.k - blower.k;
68: if (commz != MPI_COMM_NULL) {
69: DMDACreate(commz, dmz);
70: DMSetDimension(*dmz, dim);
71: DMDASetSizes(*dmz, rM, rN, rP);
72: DMDASetNumProcs(*dmz, PETSC_DECIDE, PETSC_DECIDE, PETSC_DECIDE);
73: DMDASetBoundaryType(*dmz, DM_BOUNDARY_NONE, DM_BOUNDARY_NONE, DM_BOUNDARY_NONE);
74: DMDASetDof(*dmz, dof);
75: DMDASetStencilType(*dmz, st);
76: DMDASetStencilWidth(*dmz, 0);
77: DMDASetOwnershipRanges(*dmz, NULL, NULL, NULL);
78: DMSetFromOptions(*dmz);
79: DMSetUp(*dmz);
80: DMDAGetCorners(*dmz, &sxb, &syb, &szb, &mxb, &myb, &mzb);
81: sxr = PetscMax(sxb, lower.i - blower.i);
82: syr = PetscMax(syb, lower.j - blower.j);
83: szr = PetscMax(szb, lower.k - blower.k);
84: exr = PetscMin(sxb+mxb, upper.i - blower.i);
85: eyr = PetscMin(syb+myb, upper.j - blower.j);
86: ezr = PetscMin(szb+mzb, upper.k - blower.k);
87: PetscMalloc2(dof*rM*rN*PetscMax(rP,1),&localPoints,dof*rM*rN*PetscMax(rP,1),&remotePoints);
88: } else {
89: sxr = syr = szr = exr = eyr = ezr = sxb = syb = szb = mxb = myb = mzb = 0;
90: }
92: /* Create SF for restricted map */
93: DMCreateGlobalVector(dm,&X);
94: VecGetOwnershipRanges(X,&ranges);
96: loclower.i = blower.i + sxr; locupper.i = blower.i + exr;
97: loclower.j = blower.j + syr; locupper.j = blower.j + eyr;
98: loclower.k = blower.k + szr; locupper.k = blower.k + ezr;
100: DMDACreatePatchIS(dm, &loclower, &locupper, &is, patchis_offproc);
101: ISGetIndices(is, &indices);
103: if (dim < 3) {mzb = 1; ezr = 1;}
104: q = 0;
105: for (k = szb; k < szb+mzb; ++k) {
106: if ((k < szr) || (k >= ezr)) continue;
107: for (j = syb; j < syb+myb; ++j) {
108: if ((j < syr) || (j >= eyr)) continue;
109: for (i = sxb; i < sxb+mxb; ++i) {
110: for (l=0; l<dof; l++) {
111: const PetscInt lp = l + dof*(((k-szb)*rN + (j-syb))*rM + i-sxb);
112: PetscInt r;
114: if ((i < sxr) || (i >= exr)) continue;
115: localPoints[q] = lp;
116: PetscFindInt(indices[q], size+1, ranges, &r);
118: remotePoints[q].rank = r < 0 ? -(r+1) - 1 : r;
119: remotePoints[q].index = indices[q] - ranges[remotePoints[q].rank];
120: ++q;
121: }
122: }
123: }
124: }
125: ISRestoreIndices(is, &indices);
126: ISDestroy(&is);
127: PetscSFCreate(PetscObjectComm((PetscObject)dm), sfzr);
128: PetscObjectSetName((PetscObject) *sfzr, "Restricted Map");
129: PetscSFSetGraph(*sfzr, dof*M*N*P, q, localPoints, PETSC_COPY_VALUES, remotePoints, PETSC_COPY_VALUES);
131: if (sfz) {
132: /* Create SF for buffered map */
133: loclower.i = blower.i + sxb; locupper.i = blower.i + sxb+mxb;
134: loclower.j = blower.j + syb; locupper.j = blower.j + syb+myb;
135: loclower.k = blower.k + szb; locupper.k = blower.k + szb+mzb;
137: DMDACreatePatchIS(dm, &loclower, &locupper, &is, patchis_offproc);
138: ISGetIndices(is, &indices);
140: q = 0;
141: for (k = szb; k < szb+mzb; ++k) {
142: for (j = syb; j < syb+myb; ++j) {
143: for (i = sxb; i < sxb+mxb; ++i, ++q) {
144: PetscInt r;
146: localPoints[q] = q;
147: PetscFindInt(indices[q], size+1, ranges, &r);
148: remotePoints[q].rank = r < 0 ? -(r+1) - 1 : r;
149: remotePoints[q].index = indices[q] - ranges[remotePoints[q].rank];
150: }
151: }
152: }
153: ISRestoreIndices(is, &indices);
154: ISDestroy(&is);
155: PetscSFCreate(PetscObjectComm((PetscObject)dm), sfz);
156: PetscObjectSetName((PetscObject) *sfz, "Buffered Map");
157: PetscSFSetGraph(*sfz, M*N*P, q, localPoints, PETSC_COPY_VALUES, remotePoints, PETSC_COPY_VALUES);
158: }
160: VecDestroy(&X);
161: PetscFree2(localPoints, remotePoints);
162: return 0;
163: }
165: typedef enum {PATCH_COMM_TYPE_WORLD = 0, PATCH_COMM_TYPE_SELF = 1} PatchCommType;
167: PetscErrorCode DMPatchSolve(DM dm)
168: {
169: MPI_Comm comm;
170: MPI_Comm commz;
171: DM dmc;
172: PetscSF sfz, sfzr;
173: Vec XC;
174: MatStencil patchSize, commSize, gridRank, lower, upper;
175: PetscInt M, N, P, i, j, k, l, m, n, p = 0;
176: PetscMPIInt rank, size;
177: PetscInt debug = 0;
179: PetscObjectGetComm((PetscObject)dm,&comm);
180: MPI_Comm_rank(comm, &rank);
181: MPI_Comm_size(comm, &size);
182: DMPatchGetCoarse(dm, &dmc);
183: DMPatchGetPatchSize(dm, &patchSize);
184: DMPatchGetCommSize(dm, &commSize);
185: DMPatchGetCommSize(dm, &commSize);
186: DMGetGlobalVector(dmc, &XC);
187: DMDAGetInfo(dmc, NULL, &M, &N, &P, &l, &m, &n, NULL,NULL,NULL,NULL,NULL,NULL);
188: M = PetscMax(M, 1); l = PetscMax(l, 1);
189: N = PetscMax(N, 1); m = PetscMax(m, 1);
190: P = PetscMax(P, 1); n = PetscMax(n, 1);
192: gridRank.i = rank % l;
193: gridRank.j = rank/l % m;
194: gridRank.k = rank/(l*m) % n;
196: if (commSize.i*commSize.j*commSize.k == size || commSize.i*commSize.j*commSize.k == 0) {
197: commSize.i = l; commSize.j = m; commSize.k = n;
198: commz = comm;
199: } else if (commSize.i*commSize.j*commSize.k == 1) {
200: commz = PETSC_COMM_SELF;
201: } else {
202: const PetscMPIInt newComm = ((gridRank.k/commSize.k)*(m/commSize.j) + gridRank.j/commSize.j)*(l/commSize.i) + (gridRank.i/commSize.i);
203: const PetscMPIInt newRank = ((gridRank.k%commSize.k)*commSize.j + gridRank.j%commSize.j)*commSize.i + (gridRank.i%commSize.i);
205: MPI_Comm_split(comm, newComm, newRank, &commz);
206: if (debug) PetscPrintf(PETSC_COMM_SELF, "Rank %d color %d key %d commz %p\n", rank, newComm, newRank, (void*)(MPI_Aint)commz);
207: }
208: /*
209: Assumptions:
210: - patchSize divides gridSize
211: - commSize divides gridSize
212: - commSize divides l,m,n
213: Ignore multiple patches per rank for now
215: Multiple ranks per patch:
216: - l,m,n divides patchSize
217: - commSize divides patchSize
218: */
219: for (k = 0; k < P; k += PetscMax(patchSize.k, 1)) {
220: for (j = 0; j < N; j += PetscMax(patchSize.j, 1)) {
221: for (i = 0; i < M; i += PetscMax(patchSize.i, 1), ++p) {
222: MPI_Comm commp = MPI_COMM_NULL;
223: DM dmz = NULL;
224: #if 0
225: DM dmf = NULL;
226: Mat interpz = NULL;
227: #endif
228: Vec XZ = NULL;
229: PetscScalar *xcarray = NULL;
230: PetscScalar *xzarray = NULL;
232: if ((gridRank.k/commSize.k == p/(l/commSize.i * m/commSize.j) % n/commSize.k) &&
233: (gridRank.j/commSize.j == p/(l/commSize.i) % m/commSize.j) &&
234: (gridRank.i/commSize.i == p % l/commSize.i)) {
235: if (debug) PetscPrintf(PETSC_COMM_SELF, "Rank %d is accepting Patch %d\n", rank, p);
236: commp = commz;
237: }
238: /* Zoom to coarse patch */
239: lower.i = i; lower.j = j; lower.k = k;
240: upper.i = i + patchSize.i; upper.j = j + patchSize.j; upper.k = k + patchSize.k;
241: DMPatchZoom(dmc, lower, upper, commp, &dmz, &sfz, &sfzr);
242: lower.c = 0; /* initialize member, otherwise compiler issues warnings */
243: upper.c = 0; /* initialize member, otherwise compiler issues warnings */
244: if (debug) PetscPrintf(comm, "Patch %d: (%d, %d, %d)--(%d, %d, %d)\n", p, lower.i, lower.j, lower.k, upper.i, upper.j, upper.k);
245: if (dmz) DMView(dmz, PETSC_VIEWER_STDOUT_(commz));
246: PetscSFView(sfz, PETSC_VIEWER_STDOUT_(comm));
247: PetscSFView(sfzr, PETSC_VIEWER_STDOUT_(comm));
248: /* Scatter Xcoarse -> Xzoom */
249: if (dmz) DMGetGlobalVector(dmz, &XZ);
250: if (XZ) VecGetArray(XZ, &xzarray);
251: VecGetArray(XC, &xcarray);
252: PetscSFBcastBegin(sfz, MPIU_SCALAR, xcarray, xzarray,MPI_REPLACE);
253: PetscSFBcastEnd(sfz, MPIU_SCALAR, xcarray, xzarray,MPI_REPLACE);
254: VecRestoreArray(XC, &xcarray);
255: if (XZ) VecRestoreArray(XZ, &xzarray);
256: #if 0
257: /* Interpolate Xzoom -> Xfine, note that this may be on subcomms */
258: DMRefine(dmz, MPI_COMM_NULL, &dmf);
259: DMCreateInterpolation(dmz, dmf, &interpz, NULL);
260: DMInterpolate(dmz, interpz, dmf);
261: /* Smooth Xfine using two-step smoother, normal smoother plus Kaczmarz---moves back and forth from dmzoom to dmfine */
262: /* Compute residual Rfine */
263: /* Restrict Rfine to Rzoom_restricted */
264: #endif
265: /* Scatter Rzoom_restricted -> Rcoarse_restricted */
266: if (XZ) VecGetArray(XZ, &xzarray);
267: VecGetArray(XC, &xcarray);
268: PetscSFReduceBegin(sfzr, MPIU_SCALAR, xzarray, xcarray, MPIU_SUM);
269: PetscSFReduceEnd(sfzr, MPIU_SCALAR, xzarray, xcarray, MPIU_SUM);
270: VecRestoreArray(XC, &xcarray);
271: if (XZ) VecRestoreArray(XZ, &xzarray);
272: if (dmz) DMRestoreGlobalVector(dmz, &XZ);
273: /* Compute global residual Rcoarse */
274: /* TauCoarse = Rcoarse - Rcoarse_restricted */
276: PetscSFDestroy(&sfz);
277: PetscSFDestroy(&sfzr);
278: DMDestroy(&dmz);
279: }
280: }
281: }
282: DMRestoreGlobalVector(dmc, &XC);
283: return 0;
284: }
286: PetscErrorCode DMPatchView_ASCII(DM dm, PetscViewer viewer)
287: {
288: DM_Patch *mesh = (DM_Patch*) dm->data;
289: PetscViewerFormat format;
290: const char *name;
292: PetscViewerGetFormat(viewer, &format);
293: /* if (format == PETSC_VIEWER_ASCII_INFO_DETAIL) */
294: PetscObjectGetName((PetscObject) dm, &name);
295: PetscViewerASCIIPrintf(viewer, "Patch DM %s\n", name);
296: PetscViewerASCIIPushTab(viewer);
297: PetscViewerASCIIPrintf(viewer, "Coarse DM\n");
298: DMView(mesh->dmCoarse, viewer);
299: PetscViewerASCIIPopTab(viewer);
300: return 0;
301: }
303: PetscErrorCode DMView_Patch(DM dm, PetscViewer viewer)
304: {
305: PetscBool iascii, isbinary;
309: PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii);
310: PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERBINARY, &isbinary);
311: if (iascii) {
312: DMPatchView_ASCII(dm, viewer);
313: }
314: return 0;
315: }
317: PetscErrorCode DMDestroy_Patch(DM dm)
318: {
319: DM_Patch *mesh = (DM_Patch*) dm->data;
321: if (--mesh->refct > 0) return 0;
322: DMDestroy(&mesh->dmCoarse);
323: /* This was originally freed in DMDestroy(), but that prevents reference counting of backend objects */
324: PetscFree(mesh);
325: return 0;
326: }
328: PetscErrorCode DMSetUp_Patch(DM dm)
329: {
330: DM_Patch *mesh = (DM_Patch*) dm->data;
333: DMSetUp(mesh->dmCoarse);
334: return 0;
335: }
337: PetscErrorCode DMCreateGlobalVector_Patch(DM dm, Vec *g)
338: {
339: DM_Patch *mesh = (DM_Patch*) dm->data;
342: DMCreateGlobalVector(mesh->dmCoarse, g);
343: return 0;
344: }
346: PetscErrorCode DMCreateLocalVector_Patch(DM dm, Vec *l)
347: {
348: DM_Patch *mesh = (DM_Patch*) dm->data;
351: DMCreateLocalVector(mesh->dmCoarse, l);
352: return 0;
353: }
355: PetscErrorCode DMCreateSubDM_Patch(DM dm, PetscInt numFields, const PetscInt fields[], IS *is, DM *subdm)
356: {
357: SETERRQ(PetscObjectComm((PetscObject)dm), PETSC_ERR_SUP, "Tell me to code this");
358: }
360: PetscErrorCode DMPatchGetCoarse(DM dm, DM *dmCoarse)
361: {
362: DM_Patch *mesh = (DM_Patch*) dm->data;
365: *dmCoarse = mesh->dmCoarse;
366: return 0;
367: }
369: PetscErrorCode DMPatchGetPatchSize(DM dm, MatStencil *patchSize)
370: {
371: DM_Patch *mesh = (DM_Patch*) dm->data;
375: *patchSize = mesh->patchSize;
376: return 0;
377: }
379: PetscErrorCode DMPatchSetPatchSize(DM dm, MatStencil patchSize)
380: {
381: DM_Patch *mesh = (DM_Patch*) dm->data;
384: mesh->patchSize = patchSize;
385: return 0;
386: }
388: PetscErrorCode DMPatchGetCommSize(DM dm, MatStencil *commSize)
389: {
390: DM_Patch *mesh = (DM_Patch*) dm->data;
394: *commSize = mesh->commSize;
395: return 0;
396: }
398: PetscErrorCode DMPatchSetCommSize(DM dm, MatStencil commSize)
399: {
400: DM_Patch *mesh = (DM_Patch*) dm->data;
403: mesh->commSize = commSize;
404: return 0;
405: }