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