xref: /petsc/src/dm/tests/ex6.c (revision 08401ef684002a709c6d3db98a0c9f54a8bcf1ec)
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 
7c4762a1bSJed Brown int main(int argc,char **argv)
8c4762a1bSJed Brown {
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 
249566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&argv,(char*)0,help));
259566063dSJacob Faibussowitsch   PetscCall(PetscViewerDrawOpen(PETSC_COMM_WORLD,0,"",300,0,400,300,&viewer));
26c4762a1bSJed Brown 
27c4762a1bSJed Brown   /* Read options */
289566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-NX",&M,NULL));
299566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-NY",&N,NULL));
309566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-NZ",&P,NULL));
319566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-m",&m,NULL));
329566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-n",&n,NULL));
339566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-p",&p,NULL));
349566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-s",&s,NULL));
359566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-w",&w,NULL));
36c4762a1bSJed Brown   flg  = PETSC_FALSE;
379566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-star",&flg,NULL));
38c4762a1bSJed Brown   if (flg) stencil_type =  DMDA_STENCIL_STAR;
39c4762a1bSJed Brown   flg  = PETSC_FALSE;
409566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-box",&flg,NULL));
41c4762a1bSJed Brown   if (flg) stencil_type =  DMDA_STENCIL_BOX;
42c4762a1bSJed Brown 
43c4762a1bSJed Brown   flg  = PETSC_FALSE;
449566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-xperiodic",&flg,NULL));
45c4762a1bSJed Brown   if (flg) bx = DM_BOUNDARY_PERIODIC;
46c4762a1bSJed Brown   flg  = PETSC_FALSE;
479566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-xghosted",&flg,NULL));
48c4762a1bSJed Brown   if (flg) bx = DM_BOUNDARY_GHOSTED;
49c4762a1bSJed Brown   flg  = PETSC_FALSE;
509566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-xnonghosted",&flg,NULL));
51c4762a1bSJed Brown 
52c4762a1bSJed Brown   flg  = PETSC_FALSE;
539566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-yperiodic",&flg,NULL));
54c4762a1bSJed Brown   if (flg) by = DM_BOUNDARY_PERIODIC;
55c4762a1bSJed Brown   flg  = PETSC_FALSE;
569566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-yghosted",&flg,NULL));
57c4762a1bSJed Brown   if (flg) by = DM_BOUNDARY_GHOSTED;
58c4762a1bSJed Brown   flg  = PETSC_FALSE;
599566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-ynonghosted",&flg,NULL));
60c4762a1bSJed Brown 
61c4762a1bSJed Brown   flg  = PETSC_FALSE;
629566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-zperiodic",&flg,NULL));
63c4762a1bSJed Brown   if (flg) bz = DM_BOUNDARY_PERIODIC;
64c4762a1bSJed Brown   flg  = PETSC_FALSE;
659566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-zghosted",&flg,NULL));
66c4762a1bSJed Brown   if (flg) bz = DM_BOUNDARY_GHOSTED;
67c4762a1bSJed Brown   flg  = PETSC_FALSE;
689566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-znonghosted",&flg,NULL));
69c4762a1bSJed Brown 
709566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-testorder",&test_order,NULL));
71c4762a1bSJed Brown 
72c4762a1bSJed Brown   flg  = PETSC_FALSE;
739566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-distribute",&flg,NULL));
74c4762a1bSJed Brown   if (flg) {
75*08401ef6SPierre Jolivet     PetscCheck(m != PETSC_DECIDE,PETSC_COMM_WORLD,PETSC_ERR_USER_INPUT,"Must set -m option with -distribute option");
769566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(m,&lx));
77c4762a1bSJed Brown     for (i=0; i<m-1; i++) lx[i] = 4;
78c4762a1bSJed Brown     lx[m-1] = M - 4*(m-1);
79*08401ef6SPierre Jolivet     PetscCheck(n != PETSC_DECIDE,PETSC_COMM_WORLD,PETSC_ERR_USER_INPUT,"Must set -n option with -distribute option");
809566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(n,&ly));
81c4762a1bSJed Brown     for (i=0; i<n-1; i++) ly[i] = 2;
82c4762a1bSJed Brown     ly[n-1] = N - 2*(n-1);
83*08401ef6SPierre Jolivet     PetscCheck(p != PETSC_DECIDE,PETSC_COMM_WORLD,PETSC_ERR_USER_INPUT,"Must set -p option with -distribute option");
849566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(p,&lz));
85c4762a1bSJed Brown     for (i=0; i<p-1; i++) lz[i] = 2;
86c4762a1bSJed Brown     lz[p-1] = P - 2*(p-1);
87c4762a1bSJed Brown   }
88c4762a1bSJed Brown 
89c4762a1bSJed Brown   /* Create distributed array and get vectors */
909566063dSJacob Faibussowitsch   PetscCall(DMDACreate3d(PETSC_COMM_WORLD,bx,by,bz,stencil_type,M,N,P,m,n,p,w,s,lx,ly,lz,&da));
919566063dSJacob Faibussowitsch   PetscCall(DMSetFromOptions(da));
929566063dSJacob Faibussowitsch   PetscCall(DMSetUp(da));
939566063dSJacob Faibussowitsch   PetscCall(PetscFree(lx));
949566063dSJacob Faibussowitsch   PetscCall(PetscFree(ly));
959566063dSJacob Faibussowitsch   PetscCall(PetscFree(lz));
969566063dSJacob Faibussowitsch   PetscCall(DMView(da,viewer));
979566063dSJacob Faibussowitsch   PetscCall(DMCreateGlobalVector(da,&global));
989566063dSJacob Faibussowitsch   PetscCall(DMCreateLocalVector(da,&local));
99c4762a1bSJed Brown 
100c4762a1bSJed Brown   /* Set global vector; send ghost points to local vectors */
101c4762a1bSJed Brown   value = 1;
1029566063dSJacob Faibussowitsch   PetscCall(VecSet(global,value));
1039566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalBegin(da,global,INSERT_VALUES,local));
1049566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalEnd(da,global,INSERT_VALUES,local));
105c4762a1bSJed Brown 
106c4762a1bSJed Brown   /* Scale local vectors according to processor rank; pass to global vector */
1079566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD,&rank));
108c4762a1bSJed Brown   value = rank;
1099566063dSJacob Faibussowitsch   PetscCall(VecScale(local,value));
1109566063dSJacob Faibussowitsch   PetscCall(DMLocalToGlobalBegin(da,local,INSERT_VALUES,global));
1119566063dSJacob Faibussowitsch   PetscCall(DMLocalToGlobalEnd(da,local,INSERT_VALUES,global));
112c4762a1bSJed Brown 
113c4762a1bSJed Brown   if (!test_order) { /* turn off printing when testing ordering mappings */
114c4762a1bSJed Brown     if (M*N*P<40) {
1159566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_WORLD,"\nGlobal Vector:\n"));
1169566063dSJacob Faibussowitsch       PetscCall(VecView(global,PETSC_VIEWER_STDOUT_WORLD));
1179566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_WORLD,"\n"));
118c4762a1bSJed Brown     }
119c4762a1bSJed Brown   }
120c4762a1bSJed Brown 
121c4762a1bSJed Brown   /* Send ghost points to local vectors */
1229566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalBegin(da,global,INSERT_VALUES,local));
1239566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalEnd(da,global,INSERT_VALUES,local));
124c4762a1bSJed Brown 
125c4762a1bSJed Brown   flg  = PETSC_FALSE;
1269566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-local_print",&flg,NULL));
127c4762a1bSJed Brown   if (flg) {
128c4762a1bSJed Brown     PetscViewer sviewer;
1299566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPushSynchronized(PETSC_VIEWER_STDOUT_WORLD));
1309566063dSJacob Faibussowitsch     PetscCall(PetscSynchronizedPrintf(PETSC_COMM_WORLD,"\nLocal Vector: processor %d\n",rank));
1319566063dSJacob Faibussowitsch     PetscCall(PetscViewerGetSubViewer(PETSC_VIEWER_STDOUT_WORLD,PETSC_COMM_SELF,&sviewer));
1329566063dSJacob Faibussowitsch     PetscCall(VecView(local,sviewer));
1339566063dSJacob Faibussowitsch     PetscCall(PetscViewerRestoreSubViewer(PETSC_VIEWER_STDOUT_WORLD,PETSC_COMM_SELF,&sviewer));
1349566063dSJacob Faibussowitsch     PetscCall(PetscSynchronizedFlush(PETSC_COMM_WORLD,PETSC_STDOUT));
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);
158c4762a1bSJed Brown           for (l=0; l<w; l++) {
159c4762a1bSJed Brown             iglobal[kk++] = ltog[iloc+l];
160c4762a1bSJed Brown           }
161c4762a1bSJed Brown         }
162c4762a1bSJed Brown       }
163c4762a1bSJed Brown     }
164c4762a1bSJed Brown 
165c4762a1bSJed Brown     /* Map this to the application ordering (which for DMDAs is just the natural ordering
166c4762a1bSJed Brown        that would be used for 1 processor, numbering most rapidly by x, then y, then z) */
1679566063dSJacob Faibussowitsch     PetscCall(AOPetscToApplication(ao,nloc,iglobal));
168c4762a1bSJed Brown 
169c4762a1bSJed Brown     /* Then map the application ordering back to the PETSc DMDA ordering */
1709566063dSJacob Faibussowitsch     PetscCall(AOApplicationToPetsc(ao,nloc,iglobal));
171c4762a1bSJed Brown 
172c4762a1bSJed Brown     /* Verify the mappings */
173c4762a1bSJed Brown     kk=0;
174c4762a1bSJed Brown     for (k=Zs; k<Zs+Zm; k++) {
175c4762a1bSJed Brown       for (j=Ys; j<Ys+Ym; j++) {
176c4762a1bSJed Brown         for (i=Xs; i<Xs+Xm; i++) {
177c4762a1bSJed Brown           iloc = w*((k-Zs)*Xm*Ym + (j-Ys)*Xm + i-Xs);
178c4762a1bSJed Brown           for (l=0; l<w; l++) {
179c4762a1bSJed Brown             if (iglobal[kk] != ltog[iloc+l]) {
1809566063dSJacob Faibussowitsch               PetscCall(PetscPrintf(MPI_COMM_WORLD,"[%D] Problem with mapping: z=%D, j=%D, i=%D, l=%D, petsc1=%D, petsc2=%D\n",rank,k,j,i,l,ltog[iloc+l],iglobal[kk]));
181c4762a1bSJed Brown             }
182c4762a1bSJed Brown             kk++;
183c4762a1bSJed Brown           }
184c4762a1bSJed Brown         }
185c4762a1bSJed Brown       }
186c4762a1bSJed Brown     }
1879566063dSJacob Faibussowitsch     PetscCall(PetscFree(iglobal));
1889566063dSJacob Faibussowitsch     PetscCall(ISLocalToGlobalMappingRestoreIndices(ltogm,&ltog));
189c4762a1bSJed Brown   }
190c4762a1bSJed Brown 
191c4762a1bSJed Brown   /* Free memory */
1929566063dSJacob Faibussowitsch   PetscCall(PetscViewerDestroy(&viewer));
1939566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&local));
1949566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&global));
1959566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&da));
1969566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
197b122ec5aSJacob Faibussowitsch   return 0;
198c4762a1bSJed Brown }
199c4762a1bSJed Brown 
200c4762a1bSJed Brown /*TEST
201c4762a1bSJed Brown 
202c4762a1bSJed Brown     test:
203c4762a1bSJed Brown       args:  -testorder -nox
204c4762a1bSJed Brown 
205c4762a1bSJed Brown  TEST*/
206