xref: /petsc/src/dm/tests/ex6.c (revision 609caa7c8c030312b00807b4f015fd827bb80932)
1c4762a1bSJed Brown static char help[] = "Tests various 3-dimensional DMDA routines.\n\n";
2c4762a1bSJed Brown 
3c4762a1bSJed Brown #include <petscdm.h>
4c4762a1bSJed Brown #include <petscdmda.h>
5c4762a1bSJed Brown #include <petscao.h>
6c4762a1bSJed Brown 
main(int argc,char ** argv)7d71ae5a4SJacob Faibussowitsch int main(int argc, char **argv)
8d71ae5a4SJacob Faibussowitsch {
9c4762a1bSJed Brown   PetscMPIInt     rank;
10c4762a1bSJed Brown   PetscInt        M = 3, N = 5, P = 3, s = 1, w = 2, nloc, l, i, j, k, kk, m = PETSC_DECIDE, n = PETSC_DECIDE, p = PETSC_DECIDE;
11c4762a1bSJed Brown   PetscInt        Xs, Xm, Ys, Ym, Zs, Zm, iloc, *iglobal;
12c4762a1bSJed Brown   const PetscInt *ltog;
13c4762a1bSJed Brown   PetscInt       *lx = NULL, *ly = NULL, *lz = NULL;
14c4762a1bSJed Brown   PetscBool       test_order = PETSC_FALSE;
15c4762a1bSJed Brown   DM              da;
16c4762a1bSJed Brown   PetscViewer     viewer;
17c4762a1bSJed Brown   Vec             local, global;
18c4762a1bSJed Brown   PetscScalar     value;
19c4762a1bSJed Brown   DMBoundaryType  bx = DM_BOUNDARY_NONE, by = DM_BOUNDARY_NONE, bz = DM_BOUNDARY_NONE;
20c4762a1bSJed Brown   DMDAStencilType stencil_type = DMDA_STENCIL_BOX;
21c4762a1bSJed Brown   AO              ao;
22c4762a1bSJed Brown   PetscBool       flg = PETSC_FALSE;
23c4762a1bSJed Brown 
24327415f7SBarry Smith   PetscFunctionBeginUser;
25c8025a54SPierre Jolivet   PetscCall(PetscInitialize(&argc, &argv, NULL, help));
269566063dSJacob Faibussowitsch   PetscCall(PetscViewerDrawOpen(PETSC_COMM_WORLD, 0, "", 300, 0, 400, 300, &viewer));
27c4762a1bSJed Brown 
28c4762a1bSJed Brown   /* Read options */
299566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-NX", &M, NULL));
309566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-NY", &N, NULL));
319566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-NZ", &P, NULL));
329566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-m", &m, NULL));
339566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-n", &n, NULL));
349566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-p", &p, NULL));
359566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-s", &s, NULL));
369566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-w", &w, NULL));
37c4762a1bSJed Brown   flg = PETSC_FALSE;
389566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-star", &flg, NULL));
39c4762a1bSJed Brown   if (flg) stencil_type = DMDA_STENCIL_STAR;
40c4762a1bSJed Brown   flg = PETSC_FALSE;
419566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-box", &flg, NULL));
42c4762a1bSJed Brown   if (flg) stencil_type = DMDA_STENCIL_BOX;
43c4762a1bSJed Brown 
44c4762a1bSJed Brown   flg = PETSC_FALSE;
459566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-xperiodic", &flg, NULL));
46c4762a1bSJed Brown   if (flg) bx = DM_BOUNDARY_PERIODIC;
47c4762a1bSJed Brown   flg = PETSC_FALSE;
489566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-xghosted", &flg, NULL));
49c4762a1bSJed Brown   if (flg) bx = DM_BOUNDARY_GHOSTED;
50c4762a1bSJed Brown   flg = PETSC_FALSE;
519566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-xnonghosted", &flg, NULL));
52c4762a1bSJed Brown 
53c4762a1bSJed Brown   flg = PETSC_FALSE;
549566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-yperiodic", &flg, NULL));
55c4762a1bSJed Brown   if (flg) by = DM_BOUNDARY_PERIODIC;
56c4762a1bSJed Brown   flg = PETSC_FALSE;
579566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-yghosted", &flg, NULL));
58c4762a1bSJed Brown   if (flg) by = DM_BOUNDARY_GHOSTED;
59c4762a1bSJed Brown   flg = PETSC_FALSE;
609566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-ynonghosted", &flg, NULL));
61c4762a1bSJed Brown 
62c4762a1bSJed Brown   flg = PETSC_FALSE;
639566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-zperiodic", &flg, NULL));
64c4762a1bSJed Brown   if (flg) bz = DM_BOUNDARY_PERIODIC;
65c4762a1bSJed Brown   flg = PETSC_FALSE;
669566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-zghosted", &flg, NULL));
67c4762a1bSJed Brown   if (flg) bz = DM_BOUNDARY_GHOSTED;
68c4762a1bSJed Brown   flg = PETSC_FALSE;
699566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-znonghosted", &flg, NULL));
70c4762a1bSJed Brown 
719566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-testorder", &test_order, NULL));
72c4762a1bSJed Brown 
73c4762a1bSJed Brown   flg = PETSC_FALSE;
749566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-distribute", &flg, NULL));
75c4762a1bSJed Brown   if (flg) {
7608401ef6SPierre Jolivet     PetscCheck(m != PETSC_DECIDE, PETSC_COMM_WORLD, PETSC_ERR_USER_INPUT, "Must set -m option with -distribute option");
779566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(m, &lx));
78c4762a1bSJed Brown     for (i = 0; i < m - 1; i++) lx[i] = 4;
79c4762a1bSJed Brown     lx[m - 1] = M - 4 * (m - 1);
8008401ef6SPierre Jolivet     PetscCheck(n != PETSC_DECIDE, PETSC_COMM_WORLD, PETSC_ERR_USER_INPUT, "Must set -n option with -distribute option");
819566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(n, &ly));
82c4762a1bSJed Brown     for (i = 0; i < n - 1; i++) ly[i] = 2;
83c4762a1bSJed Brown     ly[n - 1] = N - 2 * (n - 1);
8408401ef6SPierre Jolivet     PetscCheck(p != PETSC_DECIDE, PETSC_COMM_WORLD, PETSC_ERR_USER_INPUT, "Must set -p option with -distribute option");
859566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(p, &lz));
86c4762a1bSJed Brown     for (i = 0; i < p - 1; i++) lz[i] = 2;
87c4762a1bSJed Brown     lz[p - 1] = P - 2 * (p - 1);
88c4762a1bSJed Brown   }
89c4762a1bSJed Brown 
90c4762a1bSJed Brown   /* Create distributed array and get vectors */
919566063dSJacob Faibussowitsch   PetscCall(DMDACreate3d(PETSC_COMM_WORLD, bx, by, bz, stencil_type, M, N, P, m, n, p, w, s, lx, ly, lz, &da));
929566063dSJacob Faibussowitsch   PetscCall(DMSetFromOptions(da));
939566063dSJacob Faibussowitsch   PetscCall(DMSetUp(da));
949566063dSJacob Faibussowitsch   PetscCall(PetscFree(lx));
959566063dSJacob Faibussowitsch   PetscCall(PetscFree(ly));
969566063dSJacob Faibussowitsch   PetscCall(PetscFree(lz));
979566063dSJacob Faibussowitsch   PetscCall(DMView(da, viewer));
989566063dSJacob Faibussowitsch   PetscCall(DMCreateGlobalVector(da, &global));
999566063dSJacob Faibussowitsch   PetscCall(DMCreateLocalVector(da, &local));
100c4762a1bSJed Brown 
101c4762a1bSJed Brown   /* Set global vector; send ghost points to local vectors */
102c4762a1bSJed Brown   value = 1;
1039566063dSJacob Faibussowitsch   PetscCall(VecSet(global, value));
1049566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalBegin(da, global, INSERT_VALUES, local));
1059566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalEnd(da, global, INSERT_VALUES, local));
106c4762a1bSJed Brown 
107c4762a1bSJed Brown   /* Scale local vectors according to processor rank; pass to global vector */
1089566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &rank));
109c4762a1bSJed Brown   value = rank;
1109566063dSJacob Faibussowitsch   PetscCall(VecScale(local, value));
1119566063dSJacob Faibussowitsch   PetscCall(DMLocalToGlobalBegin(da, local, INSERT_VALUES, global));
1129566063dSJacob Faibussowitsch   PetscCall(DMLocalToGlobalEnd(da, local, INSERT_VALUES, global));
113c4762a1bSJed Brown 
114c4762a1bSJed Brown   if (!test_order) { /* turn off printing when testing ordering mappings */
115c4762a1bSJed Brown     if (M * N * P < 40) {
1169566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_WORLD, "\nGlobal Vector:\n"));
1179566063dSJacob Faibussowitsch       PetscCall(VecView(global, PETSC_VIEWER_STDOUT_WORLD));
1189566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_WORLD, "\n"));
119c4762a1bSJed Brown     }
120c4762a1bSJed Brown   }
121c4762a1bSJed Brown 
122c4762a1bSJed Brown   /* Send ghost points to local vectors */
1239566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalBegin(da, global, INSERT_VALUES, local));
1249566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalEnd(da, global, INSERT_VALUES, local));
125c4762a1bSJed Brown 
126c4762a1bSJed Brown   flg = PETSC_FALSE;
1279566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-local_print", &flg, NULL));
128c4762a1bSJed Brown   if (flg) {
129c4762a1bSJed Brown     PetscViewer sviewer;
1309566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPushSynchronized(PETSC_VIEWER_STDOUT_WORLD));
1319566063dSJacob Faibussowitsch     PetscCall(PetscSynchronizedPrintf(PETSC_COMM_WORLD, "\nLocal Vector: processor %d\n", rank));
1329566063dSJacob Faibussowitsch     PetscCall(PetscViewerGetSubViewer(PETSC_VIEWER_STDOUT_WORLD, PETSC_COMM_SELF, &sviewer));
1339566063dSJacob Faibussowitsch     PetscCall(VecView(local, sviewer));
1349566063dSJacob Faibussowitsch     PetscCall(PetscViewerRestoreSubViewer(PETSC_VIEWER_STDOUT_WORLD, PETSC_COMM_SELF, &sviewer));
1359566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPopSynchronized(PETSC_VIEWER_STDOUT_WORLD));
136c4762a1bSJed Brown   }
137c4762a1bSJed Brown 
138a5b23f4aSJose E. Roman   /* Tests mappings between application/PETSc orderings */
139c4762a1bSJed Brown   if (test_order) {
140c4762a1bSJed Brown     ISLocalToGlobalMapping ltogm;
141c4762a1bSJed Brown 
1429566063dSJacob Faibussowitsch     PetscCall(DMGetLocalToGlobalMapping(da, &ltogm));
1439566063dSJacob Faibussowitsch     PetscCall(ISLocalToGlobalMappingGetSize(ltogm, &nloc));
1449566063dSJacob Faibussowitsch     PetscCall(ISLocalToGlobalMappingGetIndices(ltogm, &ltog));
145c4762a1bSJed Brown 
1469566063dSJacob Faibussowitsch     PetscCall(DMDAGetGhostCorners(da, &Xs, &Ys, &Zs, &Xm, &Ym, &Zm));
1479566063dSJacob Faibussowitsch     PetscCall(DMDAGetAO(da, &ao));
1489566063dSJacob Faibussowitsch     /* PetscCall(AOView(ao,PETSC_VIEWER_STDOUT_WORLD)); */
1499566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(nloc, &iglobal));
150c4762a1bSJed Brown 
151c4762a1bSJed Brown     /* Set iglobal to be global indices for each processor's local and ghost nodes,
152c4762a1bSJed Brown        using the DMDA ordering of grid points */
153c4762a1bSJed Brown     kk = 0;
154c4762a1bSJed Brown     for (k = Zs; k < Zs + Zm; k++) {
155c4762a1bSJed Brown       for (j = Ys; j < Ys + Ym; j++) {
156c4762a1bSJed Brown         for (i = Xs; i < Xs + Xm; i++) {
157c4762a1bSJed Brown           iloc = w * ((k - Zs) * Xm * Ym + (j - Ys) * Xm + i - Xs);
158ad540459SPierre Jolivet           for (l = 0; l < w; l++) iglobal[kk++] = ltog[iloc + l];
159c4762a1bSJed Brown         }
160c4762a1bSJed Brown       }
161c4762a1bSJed Brown     }
162c4762a1bSJed Brown 
163c4762a1bSJed Brown     /* Map this to the application ordering (which for DMDAs is just the natural ordering
164c4762a1bSJed Brown        that would be used for 1 processor, numbering most rapidly by x, then y, then z) */
1659566063dSJacob Faibussowitsch     PetscCall(AOPetscToApplication(ao, nloc, iglobal));
166c4762a1bSJed Brown 
167c4762a1bSJed Brown     /* Then map the application ordering back to the PETSc DMDA ordering */
1689566063dSJacob Faibussowitsch     PetscCall(AOApplicationToPetsc(ao, nloc, iglobal));
169c4762a1bSJed Brown 
170c4762a1bSJed Brown     /* Verify the mappings */
171c4762a1bSJed Brown     kk = 0;
172c4762a1bSJed Brown     for (k = Zs; k < Zs + Zm; k++) {
173c4762a1bSJed Brown       for (j = Ys; j < Ys + Ym; j++) {
174c4762a1bSJed Brown         for (i = Xs; i < Xs + Xm; i++) {
175c4762a1bSJed Brown           iloc = w * ((k - Zs) * Xm * Ym + (j - Ys) * Xm + i - Xs);
176c4762a1bSJed Brown           for (l = 0; l < w; l++) {
177c4762a1bSJed Brown             if (iglobal[kk] != ltog[iloc + l]) {
17863a3b9bcSJacob Faibussowitsch               PetscCall(PetscPrintf(MPI_COMM_WORLD, "[%d] Problem with mapping: z=%" PetscInt_FMT ", j=%" PetscInt_FMT ", i=%" PetscInt_FMT ", l=%" PetscInt_FMT ", petsc1=%" PetscInt_FMT ", petsc2=%" PetscInt_FMT "\n", rank, k, j, i, l, ltog[iloc + l], iglobal[kk]));
179c4762a1bSJed Brown             }
180c4762a1bSJed Brown             kk++;
181c4762a1bSJed Brown           }
182c4762a1bSJed Brown         }
183c4762a1bSJed Brown       }
184c4762a1bSJed Brown     }
1859566063dSJacob Faibussowitsch     PetscCall(PetscFree(iglobal));
1869566063dSJacob Faibussowitsch     PetscCall(ISLocalToGlobalMappingRestoreIndices(ltogm, &ltog));
187c4762a1bSJed Brown   }
188c4762a1bSJed Brown 
189c4762a1bSJed Brown   /* Free memory */
1909566063dSJacob Faibussowitsch   PetscCall(PetscViewerDestroy(&viewer));
1919566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&local));
1929566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&global));
1939566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&da));
1949566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
195b122ec5aSJacob Faibussowitsch   return 0;
196c4762a1bSJed Brown }
197c4762a1bSJed Brown 
198c4762a1bSJed Brown /*TEST
199c4762a1bSJed Brown 
200c4762a1bSJed Brown     test:
201c4762a1bSJed Brown       args: -testorder -nox
202*3886731fSPierre Jolivet       output_file: output/empty.out
203c4762a1bSJed Brown 
204c4762a1bSJed Brown  TEST*/
205