xref: /petsc/src/dm/impls/plex/tests/ex24.c (revision d0609ced746bc51b019815ca91d747429db24893)
1c4762a1bSJed Brown static char help[] = "Test that MatPartitioning and PetscPartitioner interfaces are equivalent when using PETSCPARTITIONERMATPARTITIONING\n\n";
2c4762a1bSJed Brown static char FILENAME[] = "ex24.c";
3c4762a1bSJed Brown 
4c4762a1bSJed Brown #include <petscdmplex.h>
5c4762a1bSJed Brown #include <petscviewerhdf5.h>
6c4762a1bSJed Brown 
7c4762a1bSJed Brown #if defined(PETSC_HAVE_PTSCOTCH)
8c4762a1bSJed Brown EXTERN_C_BEGIN
9c4762a1bSJed Brown #include <ptscotch.h>
10c4762a1bSJed Brown EXTERN_C_END
11c4762a1bSJed Brown #endif
12c4762a1bSJed Brown 
13c4762a1bSJed Brown typedef struct {
14c4762a1bSJed Brown   PetscBool compare_is;                   /* Compare ISs and PetscSections */
15c4762a1bSJed Brown   PetscBool compare_dm;                   /* Compare DM */
16c4762a1bSJed Brown   PetscBool tpw;                          /* Use target partition weights */
17c4762a1bSJed Brown   char      partitioning[64];
18c4762a1bSJed Brown   char      repartitioning[64];
19c4762a1bSJed Brown } AppCtx;
20c4762a1bSJed Brown 
21c4762a1bSJed Brown static PetscErrorCode ProcessOptions(MPI_Comm comm, AppCtx *options)
22c4762a1bSJed Brown {
23c4762a1bSJed Brown   PetscBool      repartition = PETSC_TRUE;
24c4762a1bSJed Brown 
25c4762a1bSJed Brown   PetscFunctionBegin;
26c4762a1bSJed Brown   options->compare_is = PETSC_FALSE;
27c4762a1bSJed Brown   options->compare_dm = PETSC_FALSE;
2830602db0SMatthew G. Knepley 
29*d0609cedSBarry Smith   PetscOptionsBegin(comm, "", "Meshing Interpolation Test Options", "DMPLEX");
309566063dSJacob Faibussowitsch   PetscCall(PetscOptionsBool("-compare_is", "Compare ISs and PetscSections?", FILENAME, options->compare_is, &options->compare_is, NULL));
319566063dSJacob Faibussowitsch   PetscCall(PetscOptionsBool("-compare_dm", "Compare DMs?", FILENAME, options->compare_dm, &options->compare_dm, NULL));
329566063dSJacob Faibussowitsch   PetscCall(PetscStrncpy(options->partitioning,MATPARTITIONINGPARMETIS,sizeof(options->partitioning)));
339566063dSJacob Faibussowitsch   PetscCall(PetscOptionsString("-partitioning","The mat partitioning type to test","None",options->partitioning, options->partitioning,sizeof(options->partitioning),NULL));
349566063dSJacob Faibussowitsch   PetscCall(PetscOptionsBool("-repartition", "Partition again after the first partition?", FILENAME, repartition, &repartition, NULL));
35c4762a1bSJed Brown   if (repartition) {
369566063dSJacob Faibussowitsch     PetscCall(PetscStrncpy(options->repartitioning,MATPARTITIONINGPARMETIS,64));
379566063dSJacob Faibussowitsch     PetscCall(PetscOptionsString("-repartitioning","The mat partitioning type to test (second partitioning)","None", options->repartitioning, options->repartitioning,sizeof(options->repartitioning),NULL));
38c4762a1bSJed Brown   } else {
39c4762a1bSJed Brown     options->repartitioning[0] = '\0';
40c4762a1bSJed Brown   }
419566063dSJacob Faibussowitsch   PetscCall(PetscOptionsBool("-tpweight", "Use target partition weights", FILENAME, options->tpw, &options->tpw, NULL));
42*d0609cedSBarry Smith   PetscOptionsEnd();
43c4762a1bSJed Brown   PetscFunctionReturn(0);
44c4762a1bSJed Brown }
45c4762a1bSJed Brown 
46c4762a1bSJed Brown static PetscErrorCode ScotchResetRandomSeed()
47c4762a1bSJed Brown {
48362febeeSStefano Zampini   PetscFunctionBegin;
49c4762a1bSJed Brown #if defined(PETSC_HAVE_PTSCOTCH)
50c4762a1bSJed Brown   SCOTCH_randomReset();
51c4762a1bSJed Brown #endif
52c4762a1bSJed Brown   PetscFunctionReturn(0);
53c4762a1bSJed Brown }
54c4762a1bSJed Brown 
55c4762a1bSJed Brown static PetscErrorCode CreateMesh(MPI_Comm comm, AppCtx *user, DM *dm)
56c4762a1bSJed Brown {
57c4762a1bSJed Brown   PetscFunctionBegin;
589566063dSJacob Faibussowitsch   PetscCall(DMCreate(comm, dm));
599566063dSJacob Faibussowitsch   PetscCall(DMSetType(*dm, DMPLEX));
609566063dSJacob Faibussowitsch   PetscCall(DMPlexDistributeSetDefault(*dm, PETSC_FALSE));
619566063dSJacob Faibussowitsch   PetscCall(DMSetFromOptions(*dm));
629566063dSJacob Faibussowitsch   PetscCall(DMViewFromOptions(*dm, NULL, "-dm_view"));
63c4762a1bSJed Brown   PetscFunctionReturn(0);
64c4762a1bSJed Brown }
65c4762a1bSJed Brown 
66c4762a1bSJed Brown int main(int argc, char **argv)
67c4762a1bSJed Brown {
68c4762a1bSJed Brown   MPI_Comm       comm;
69c4762a1bSJed Brown   DM             dm1, dm2, dmdist1, dmdist2;
7030602db0SMatthew G. Knepley   DMPlexInterpolatedFlag interp;
71c4762a1bSJed Brown   MatPartitioning mp;
72c4762a1bSJed Brown   PetscPartitioner part1, part2;
73c4762a1bSJed Brown   AppCtx         user;
74c4762a1bSJed Brown   IS             is1=NULL, is2=NULL;
75c4762a1bSJed Brown   IS             is1g, is2g;
76c4762a1bSJed Brown   PetscSection   s1=NULL, s2=NULL, tpws = NULL;
77c4762a1bSJed Brown   PetscInt       i;
78c4762a1bSJed Brown   PetscBool      flg;
79c4762a1bSJed Brown   PetscMPIInt    size;
80c4762a1bSJed Brown 
819566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc, &argv, NULL,help));
82c4762a1bSJed Brown   comm = PETSC_COMM_WORLD;
839566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(comm,&size));
849566063dSJacob Faibussowitsch   PetscCall(ProcessOptions(comm, &user));
859566063dSJacob Faibussowitsch   PetscCall(CreateMesh(comm, &user, &dm1));
869566063dSJacob Faibussowitsch   PetscCall(CreateMesh(comm, &user, &dm2));
87c4762a1bSJed Brown 
88c4762a1bSJed Brown   if (user.tpw) {
899566063dSJacob Faibussowitsch     PetscCall(PetscSectionCreate(comm, &tpws));
909566063dSJacob Faibussowitsch     PetscCall(PetscSectionSetChart(tpws, 0, size));
91c4762a1bSJed Brown     for (i=0;i<size;i++) {
92c4762a1bSJed Brown       PetscInt tdof = i%2 ? 2*i -1 : i+2;
939566063dSJacob Faibussowitsch       PetscCall(PetscSectionSetDof(tpws, i, tdof));
94c4762a1bSJed Brown     }
95c4762a1bSJed Brown     if (size > 1) { /* test zero tpw entry */
969566063dSJacob Faibussowitsch       PetscCall(PetscSectionSetDof(tpws, 0, 0));
97c4762a1bSJed Brown     }
989566063dSJacob Faibussowitsch     PetscCall(PetscSectionSetUp(tpws));
99c4762a1bSJed Brown   }
100c4762a1bSJed Brown 
101c4762a1bSJed Brown   /* partition dm1 using PETSCPARTITIONERPARMETIS */
1029566063dSJacob Faibussowitsch   PetscCall(ScotchResetRandomSeed());
1039566063dSJacob Faibussowitsch   PetscCall(DMPlexGetPartitioner(dm1, &part1));
1049566063dSJacob Faibussowitsch   PetscCall(PetscObjectSetOptionsPrefix((PetscObject)part1,"p1_"));
1059566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerSetType(part1, user.partitioning));
1069566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerSetFromOptions(part1));
1079566063dSJacob Faibussowitsch   PetscCall(PetscSectionCreate(comm, &s1));
1089566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerDMPlexPartition(part1, dm1, tpws, s1, &is1));
109c4762a1bSJed Brown 
110c4762a1bSJed Brown   /* partition dm2 using PETSCPARTITIONERMATPARTITIONING with MATPARTITIONINGPARMETIS */
1119566063dSJacob Faibussowitsch   PetscCall(ScotchResetRandomSeed());
1129566063dSJacob Faibussowitsch   PetscCall(DMPlexGetPartitioner(dm2, &part2));
1139566063dSJacob Faibussowitsch   PetscCall(PetscObjectSetOptionsPrefix((PetscObject)part2,"p2_"));
1149566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerSetType(part2, PETSCPARTITIONERMATPARTITIONING));
1159566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerMatPartitioningGetMatPartitioning(part2, &mp));
1169566063dSJacob Faibussowitsch   PetscCall(MatPartitioningSetType(mp, user.partitioning));
1179566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerSetFromOptions(part2));
1189566063dSJacob Faibussowitsch   PetscCall(PetscSectionCreate(comm, &s2));
1199566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerDMPlexPartition(part2, dm2, tpws, s2, &is2));
120c4762a1bSJed Brown 
1219566063dSJacob Faibussowitsch   PetscCall(ISOnComm(is1, comm, PETSC_USE_POINTER, &is1g));
1229566063dSJacob Faibussowitsch   PetscCall(ISOnComm(is2, comm, PETSC_USE_POINTER, &is2g));
1239566063dSJacob Faibussowitsch   PetscCall(ISViewFromOptions(is1g, NULL, "-seq_is1_view"));
1249566063dSJacob Faibussowitsch   PetscCall(ISViewFromOptions(is2g, NULL, "-seq_is2_view"));
125c4762a1bSJed Brown   /* compare the two ISs */
126c4762a1bSJed Brown   if (user.compare_is) {
1279566063dSJacob Faibussowitsch     PetscCall(ISEqualUnsorted(is1g, is2g, &flg));
1289566063dSJacob Faibussowitsch     if (!flg) PetscCall(PetscPrintf(comm, "ISs are not equal with type %s with size %d.\n",user.partitioning,size));
129c4762a1bSJed Brown   }
1309566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is1g));
1319566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is2g));
132c4762a1bSJed Brown 
133c4762a1bSJed Brown   /* compare the two PetscSections */
1349566063dSJacob Faibussowitsch   PetscCall(PetscSectionViewFromOptions(s1, NULL, "-seq_s1_view"));
1359566063dSJacob Faibussowitsch   PetscCall(PetscSectionViewFromOptions(s2, NULL, "-seq_s2_view"));
136c4762a1bSJed Brown   if (user.compare_is) {
1379566063dSJacob Faibussowitsch     PetscCall(PetscSectionCompare(s1, s2, &flg));
1389566063dSJacob Faibussowitsch     if (!flg) PetscCall(PetscPrintf(comm, "PetscSections are not equal with %s with size %d.\n",user.partitioning,size));
139c4762a1bSJed Brown   }
140c4762a1bSJed Brown 
141c4762a1bSJed Brown   /* distribute both DMs */
1429566063dSJacob Faibussowitsch   PetscCall(ScotchResetRandomSeed());
1439566063dSJacob Faibussowitsch   PetscCall(DMPlexDistribute(dm1, 0, NULL, &dmdist1));
1449566063dSJacob Faibussowitsch   PetscCall(ScotchResetRandomSeed());
1459566063dSJacob Faibussowitsch   PetscCall(DMPlexDistribute(dm2, 0, NULL, &dmdist2));
146c4762a1bSJed Brown 
147c4762a1bSJed Brown   /* cleanup */
1489566063dSJacob Faibussowitsch   PetscCall(PetscSectionDestroy(&tpws));
1499566063dSJacob Faibussowitsch   PetscCall(PetscSectionDestroy(&s1));
1509566063dSJacob Faibussowitsch   PetscCall(PetscSectionDestroy(&s2));
1519566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is1));
1529566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is2));
1539566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&dm1));
1549566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&dm2));
155c4762a1bSJed Brown 
156c4762a1bSJed Brown   /* if distributed DMs are NULL (sequential case), then quit */
157b122ec5aSJacob Faibussowitsch   if (!dmdist1 && !dmdist2) return 0;
158c4762a1bSJed Brown 
1599566063dSJacob Faibussowitsch   PetscCall(DMViewFromOptions(dmdist1, NULL, "-dm_dist1_view"));
1609566063dSJacob Faibussowitsch   PetscCall(DMViewFromOptions(dmdist2, NULL, "-dm_dist2_view"));
161c4762a1bSJed Brown 
162c4762a1bSJed Brown   /* compare the two distributed DMs */
163c4762a1bSJed Brown   if (user.compare_dm) {
1649566063dSJacob Faibussowitsch     PetscCall(DMPlexEqual(dmdist1, dmdist2, &flg));
1659566063dSJacob Faibussowitsch     if (!flg) PetscCall(PetscPrintf(comm, "Distributed DMs are not equal %s with size %d.\n",user.partitioning,size));
166c4762a1bSJed Brown   }
167c4762a1bSJed Brown 
168c4762a1bSJed Brown   /* if repartitioning is disabled, then quit */
169b122ec5aSJacob Faibussowitsch   if (user.repartitioning[0] == '\0') return 0;
170c4762a1bSJed Brown 
171c4762a1bSJed Brown   if (user.tpw) {
1729566063dSJacob Faibussowitsch     PetscCall(PetscSectionCreate(comm, &tpws));
1739566063dSJacob Faibussowitsch     PetscCall(PetscSectionSetChart(tpws, 0, size));
174c4762a1bSJed Brown     for (i=0;i<size;i++) {
175c4762a1bSJed Brown       PetscInt tdof = i%2 ? i+1 : size - i;
1769566063dSJacob Faibussowitsch       PetscCall(PetscSectionSetDof(tpws, i, tdof));
177c4762a1bSJed Brown     }
1789566063dSJacob Faibussowitsch     PetscCall(PetscSectionSetUp(tpws));
179c4762a1bSJed Brown   }
180c4762a1bSJed Brown 
181c4762a1bSJed Brown   /* repartition distributed DM dmdist1 */
1829566063dSJacob Faibussowitsch   PetscCall(ScotchResetRandomSeed());
1839566063dSJacob Faibussowitsch   PetscCall(DMPlexGetPartitioner(dmdist1, &part1));
1849566063dSJacob Faibussowitsch   PetscCall(PetscObjectSetOptionsPrefix((PetscObject)part1,"dp1_"));
1859566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerSetType(part1, user.repartitioning));
1869566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerSetFromOptions(part1));
1879566063dSJacob Faibussowitsch   PetscCall(PetscSectionCreate(comm, &s1));
1889566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerDMPlexPartition(part1, dmdist1, tpws, s1, &is1));
189c4762a1bSJed Brown 
190c4762a1bSJed Brown   /* repartition distributed DM dmdist2 */
1919566063dSJacob Faibussowitsch   PetscCall(ScotchResetRandomSeed());
1929566063dSJacob Faibussowitsch   PetscCall(DMPlexGetPartitioner(dmdist2, &part2));
1939566063dSJacob Faibussowitsch   PetscCall(PetscObjectSetOptionsPrefix((PetscObject)part2,"dp2_"));
1949566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerSetType(part2, PETSCPARTITIONERMATPARTITIONING));
1959566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerMatPartitioningGetMatPartitioning(part2, &mp));
1969566063dSJacob Faibussowitsch   PetscCall(MatPartitioningSetType(mp, user.repartitioning));
1979566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerSetFromOptions(part2));
1989566063dSJacob Faibussowitsch   PetscCall(PetscSectionCreate(comm, &s2));
1999566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerDMPlexPartition(part2, dmdist2, tpws, s2, &is2));
200c4762a1bSJed Brown 
201c4762a1bSJed Brown   /* compare the two ISs */
2029566063dSJacob Faibussowitsch   PetscCall(ISOnComm(is1, comm, PETSC_USE_POINTER, &is1g));
2039566063dSJacob Faibussowitsch   PetscCall(ISOnComm(is2, comm, PETSC_USE_POINTER, &is2g));
2049566063dSJacob Faibussowitsch   PetscCall(ISViewFromOptions(is1g, NULL, "-dist_is1_view"));
2059566063dSJacob Faibussowitsch   PetscCall(ISViewFromOptions(is2g, NULL, "-dist_is2_view"));
206c4762a1bSJed Brown   if (user.compare_is) {
2079566063dSJacob Faibussowitsch     PetscCall(ISEqualUnsorted(is1g, is2g, &flg));
2089566063dSJacob Faibussowitsch     if (!flg) PetscCall(PetscPrintf(comm, "Distributed ISs are not equal, with %s with size %d.\n",user.repartitioning,size));
209c4762a1bSJed Brown   }
2109566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is1g));
2119566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is2g));
212c4762a1bSJed Brown 
213c4762a1bSJed Brown   /* compare the two PetscSections */
2149566063dSJacob Faibussowitsch   PetscCall(PetscSectionViewFromOptions(s1, NULL, "-dist_s1_view"));
2159566063dSJacob Faibussowitsch   PetscCall(PetscSectionViewFromOptions(s2, NULL, "-dist_s2_view"));
216c4762a1bSJed Brown   if (user.compare_is) {
2179566063dSJacob Faibussowitsch     PetscCall(PetscSectionCompare(s1, s2, &flg));
2189566063dSJacob Faibussowitsch     if (!flg) PetscCall(PetscPrintf(comm, "Distributed PetscSections are not equal, with %s with size %d.\n",user.repartitioning,size));
219c4762a1bSJed Brown   }
220c4762a1bSJed Brown 
221c4762a1bSJed Brown   /* redistribute both distributed DMs */
2229566063dSJacob Faibussowitsch   PetscCall(ScotchResetRandomSeed());
2239566063dSJacob Faibussowitsch   PetscCall(DMPlexDistribute(dmdist1, 0, NULL, &dm1));
2249566063dSJacob Faibussowitsch   PetscCall(ScotchResetRandomSeed());
2259566063dSJacob Faibussowitsch   PetscCall(DMPlexDistribute(dmdist2, 0, NULL, &dm2));
226c4762a1bSJed Brown 
227c4762a1bSJed Brown   /* compare the two distributed DMs */
2289566063dSJacob Faibussowitsch   PetscCall(DMPlexIsInterpolated(dm1, &interp));
22930602db0SMatthew G. Knepley   if (interp == DMPLEX_INTERPOLATED_NONE) {
2309566063dSJacob Faibussowitsch     PetscCall(DMPlexEqual(dm1, dm2, &flg));
2319566063dSJacob Faibussowitsch     if (!flg) PetscCall(PetscPrintf(comm, "Redistributed DMs are not equal, with %s with size %d.\n",user.repartitioning,size));
232c4762a1bSJed Brown   }
233c4762a1bSJed Brown 
234c4762a1bSJed Brown   /* cleanup */
2359566063dSJacob Faibussowitsch   PetscCall(PetscSectionDestroy(&tpws));
2369566063dSJacob Faibussowitsch   PetscCall(PetscSectionDestroy(&s1));
2379566063dSJacob Faibussowitsch   PetscCall(PetscSectionDestroy(&s2));
2389566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is1));
2399566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is2));
2409566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&dm1));
2419566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&dm2));
2429566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&dmdist1));
2439566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&dmdist2));
2449566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
245b122ec5aSJacob Faibussowitsch   return 0;
246c4762a1bSJed Brown }
247c4762a1bSJed Brown 
248c4762a1bSJed Brown /*TEST
249c4762a1bSJed Brown 
250c4762a1bSJed Brown   test:
251c4762a1bSJed Brown     # partition sequential mesh loaded from Exodus file
252c4762a1bSJed Brown     suffix: 0
253c4762a1bSJed Brown     nsize: {{1 2 3 4 8}}
254c4762a1bSJed Brown     requires: chaco parmetis ptscotch exodusii
25530602db0SMatthew G. Knepley     args: -dm_plex_filename ${PETSC_DIR}/share/petsc/datafiles/meshes/blockcylinder-50.exo
256c4762a1bSJed Brown     args: -partitioning {{chaco parmetis ptscotch}} -repartitioning {{parmetis ptscotch}} -tpweight {{0 1}}
257c4762a1bSJed Brown   test:
258c4762a1bSJed Brown     # repartition mesh already partitioned naively by MED loader
259c4762a1bSJed Brown     suffix: 1
260c4762a1bSJed Brown     nsize: {{1 2 3 4 8}}
261c4762a1bSJed Brown     TODO: MED
262c4762a1bSJed Brown     requires: parmetis ptscotch med
26330602db0SMatthew G. Knepley     args: -dm_plex_filename ${PETSC_DIR}/share/petsc/datafiles/meshes/cylinder.med
264c4762a1bSJed Brown     args: -repartition 0 -partitioning {{parmetis ptscotch}}
265c4762a1bSJed Brown   test:
266c4762a1bSJed Brown     # partition mesh generated by ctetgen using scotch, then repartition with scotch, diff view
267c4762a1bSJed Brown     suffix: 3
268c4762a1bSJed Brown     nsize: 4
269c4762a1bSJed Brown     requires: ptscotch ctetgen
27030602db0SMatthew G. Knepley     args: -dm_plex_dim 3 -dm_plex_box_faces 2,3,2 -partitioning ptscotch -repartitioning ptscotch
271c4762a1bSJed Brown     args: -p1_petscpartitioner_view -p2_petscpartitioner_view -dp1_petscpartitioner_view -dp2_petscpartitioner_view -tpweight {{0 1}}
272c4762a1bSJed Brown   test:
273c4762a1bSJed Brown     # partition mesh generated by ctetgen using partitioners supported both by MatPartitioning and PetscPartitioner
274c4762a1bSJed Brown     suffix: 4
275c4762a1bSJed Brown     nsize: {{1 2 3 4 8}}
276c4762a1bSJed Brown     requires: chaco parmetis ptscotch ctetgen
27730602db0SMatthew G. Knepley     args: -dm_plex_dim 3 -dm_plex_box_faces {{2,3,4  5,4,3  7,11,5}} -partitioning {{chaco parmetis ptscotch}} -repartitioning {{parmetis ptscotch}} -tpweight {{0 1}}
278c4762a1bSJed Brown 
279c4762a1bSJed Brown TEST*/
280