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 21d71ae5a4SJacob Faibussowitsch static PetscErrorCode ProcessOptions(MPI_Comm comm, AppCtx *options) 22d71ae5a4SJacob Faibussowitsch { 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 29d0609cedSBarry 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)); 42d0609cedSBarry Smith PetscOptionsEnd(); 43*3ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 44c4762a1bSJed Brown } 45c4762a1bSJed Brown 46d71ae5a4SJacob Faibussowitsch static PetscErrorCode ScotchResetRandomSeed() 47d71ae5a4SJacob Faibussowitsch { 48362febeeSStefano Zampini PetscFunctionBegin; 49c4762a1bSJed Brown #if defined(PETSC_HAVE_PTSCOTCH) 50c4762a1bSJed Brown SCOTCH_randomReset(); 51c4762a1bSJed Brown #endif 52*3ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 53c4762a1bSJed Brown } 54c4762a1bSJed Brown 55d71ae5a4SJacob Faibussowitsch static PetscErrorCode CreateMesh(MPI_Comm comm, AppCtx *user, DM *dm) 56d71ae5a4SJacob Faibussowitsch { 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")); 63*3ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 64c4762a1bSJed Brown } 65c4762a1bSJed Brown 66d71ae5a4SJacob Faibussowitsch int main(int argc, char **argv) 67d71ae5a4SJacob Faibussowitsch { 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 81327415f7SBarry Smith PetscFunctionBeginUser; 829566063dSJacob Faibussowitsch PetscCall(PetscInitialize(&argc, &argv, NULL, help)); 83c4762a1bSJed Brown comm = PETSC_COMM_WORLD; 849566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(comm, &size)); 859566063dSJacob Faibussowitsch PetscCall(ProcessOptions(comm, &user)); 869566063dSJacob Faibussowitsch PetscCall(CreateMesh(comm, &user, &dm1)); 879566063dSJacob Faibussowitsch PetscCall(CreateMesh(comm, &user, &dm2)); 88c4762a1bSJed Brown 89c4762a1bSJed Brown if (user.tpw) { 909566063dSJacob Faibussowitsch PetscCall(PetscSectionCreate(comm, &tpws)); 919566063dSJacob Faibussowitsch PetscCall(PetscSectionSetChart(tpws, 0, size)); 92c4762a1bSJed Brown for (i = 0; i < size; i++) { 93c4762a1bSJed Brown PetscInt tdof = i % 2 ? 2 * i - 1 : i + 2; 949566063dSJacob Faibussowitsch PetscCall(PetscSectionSetDof(tpws, i, tdof)); 95c4762a1bSJed Brown } 96c4762a1bSJed Brown if (size > 1) { /* test zero tpw entry */ 979566063dSJacob Faibussowitsch PetscCall(PetscSectionSetDof(tpws, 0, 0)); 98c4762a1bSJed Brown } 999566063dSJacob Faibussowitsch PetscCall(PetscSectionSetUp(tpws)); 100c4762a1bSJed Brown } 101c4762a1bSJed Brown 102c4762a1bSJed Brown /* partition dm1 using PETSCPARTITIONERPARMETIS */ 1039566063dSJacob Faibussowitsch PetscCall(ScotchResetRandomSeed()); 1049566063dSJacob Faibussowitsch PetscCall(DMPlexGetPartitioner(dm1, &part1)); 1059566063dSJacob Faibussowitsch PetscCall(PetscObjectSetOptionsPrefix((PetscObject)part1, "p1_")); 1069566063dSJacob Faibussowitsch PetscCall(PetscPartitionerSetType(part1, user.partitioning)); 1079566063dSJacob Faibussowitsch PetscCall(PetscPartitionerSetFromOptions(part1)); 1089566063dSJacob Faibussowitsch PetscCall(PetscSectionCreate(comm, &s1)); 1099566063dSJacob Faibussowitsch PetscCall(PetscPartitionerDMPlexPartition(part1, dm1, tpws, s1, &is1)); 110c4762a1bSJed Brown 111c4762a1bSJed Brown /* partition dm2 using PETSCPARTITIONERMATPARTITIONING with MATPARTITIONINGPARMETIS */ 1129566063dSJacob Faibussowitsch PetscCall(ScotchResetRandomSeed()); 1139566063dSJacob Faibussowitsch PetscCall(DMPlexGetPartitioner(dm2, &part2)); 1149566063dSJacob Faibussowitsch PetscCall(PetscObjectSetOptionsPrefix((PetscObject)part2, "p2_")); 1159566063dSJacob Faibussowitsch PetscCall(PetscPartitionerSetType(part2, PETSCPARTITIONERMATPARTITIONING)); 1169566063dSJacob Faibussowitsch PetscCall(PetscPartitionerMatPartitioningGetMatPartitioning(part2, &mp)); 1179566063dSJacob Faibussowitsch PetscCall(MatPartitioningSetType(mp, user.partitioning)); 1189566063dSJacob Faibussowitsch PetscCall(PetscPartitionerSetFromOptions(part2)); 1199566063dSJacob Faibussowitsch PetscCall(PetscSectionCreate(comm, &s2)); 1209566063dSJacob Faibussowitsch PetscCall(PetscPartitionerDMPlexPartition(part2, dm2, tpws, s2, &is2)); 121c4762a1bSJed Brown 1229566063dSJacob Faibussowitsch PetscCall(ISOnComm(is1, comm, PETSC_USE_POINTER, &is1g)); 1239566063dSJacob Faibussowitsch PetscCall(ISOnComm(is2, comm, PETSC_USE_POINTER, &is2g)); 1249566063dSJacob Faibussowitsch PetscCall(ISViewFromOptions(is1g, NULL, "-seq_is1_view")); 1259566063dSJacob Faibussowitsch PetscCall(ISViewFromOptions(is2g, NULL, "-seq_is2_view")); 126c4762a1bSJed Brown /* compare the two ISs */ 127c4762a1bSJed Brown if (user.compare_is) { 1289566063dSJacob Faibussowitsch PetscCall(ISEqualUnsorted(is1g, is2g, &flg)); 1299566063dSJacob Faibussowitsch if (!flg) PetscCall(PetscPrintf(comm, "ISs are not equal with type %s with size %d.\n", user.partitioning, size)); 130c4762a1bSJed Brown } 1319566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is1g)); 1329566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is2g)); 133c4762a1bSJed Brown 134c4762a1bSJed Brown /* compare the two PetscSections */ 1359566063dSJacob Faibussowitsch PetscCall(PetscSectionViewFromOptions(s1, NULL, "-seq_s1_view")); 1369566063dSJacob Faibussowitsch PetscCall(PetscSectionViewFromOptions(s2, NULL, "-seq_s2_view")); 137c4762a1bSJed Brown if (user.compare_is) { 1389566063dSJacob Faibussowitsch PetscCall(PetscSectionCompare(s1, s2, &flg)); 1399566063dSJacob Faibussowitsch if (!flg) PetscCall(PetscPrintf(comm, "PetscSections are not equal with %s with size %d.\n", user.partitioning, size)); 140c4762a1bSJed Brown } 141c4762a1bSJed Brown 142c4762a1bSJed Brown /* distribute both DMs */ 1439566063dSJacob Faibussowitsch PetscCall(ScotchResetRandomSeed()); 1449566063dSJacob Faibussowitsch PetscCall(DMPlexDistribute(dm1, 0, NULL, &dmdist1)); 1459566063dSJacob Faibussowitsch PetscCall(ScotchResetRandomSeed()); 1469566063dSJacob Faibussowitsch PetscCall(DMPlexDistribute(dm2, 0, NULL, &dmdist2)); 147c4762a1bSJed Brown 148c4762a1bSJed Brown /* cleanup */ 1499566063dSJacob Faibussowitsch PetscCall(PetscSectionDestroy(&tpws)); 1509566063dSJacob Faibussowitsch PetscCall(PetscSectionDestroy(&s1)); 1519566063dSJacob Faibussowitsch PetscCall(PetscSectionDestroy(&s2)); 1529566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is1)); 1539566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is2)); 1549566063dSJacob Faibussowitsch PetscCall(DMDestroy(&dm1)); 1559566063dSJacob Faibussowitsch PetscCall(DMDestroy(&dm2)); 156c4762a1bSJed Brown 157c4762a1bSJed Brown /* if distributed DMs are NULL (sequential case), then quit */ 158b122ec5aSJacob Faibussowitsch if (!dmdist1 && !dmdist2) return 0; 159c4762a1bSJed Brown 1609566063dSJacob Faibussowitsch PetscCall(DMViewFromOptions(dmdist1, NULL, "-dm_dist1_view")); 1619566063dSJacob Faibussowitsch PetscCall(DMViewFromOptions(dmdist2, NULL, "-dm_dist2_view")); 162c4762a1bSJed Brown 163c4762a1bSJed Brown /* compare the two distributed DMs */ 164c4762a1bSJed Brown if (user.compare_dm) { 1659566063dSJacob Faibussowitsch PetscCall(DMPlexEqual(dmdist1, dmdist2, &flg)); 1669566063dSJacob Faibussowitsch if (!flg) PetscCall(PetscPrintf(comm, "Distributed DMs are not equal %s with size %d.\n", user.partitioning, size)); 167c4762a1bSJed Brown } 168c4762a1bSJed Brown 169c4762a1bSJed Brown /* if repartitioning is disabled, then quit */ 170b122ec5aSJacob Faibussowitsch if (user.repartitioning[0] == '\0') return 0; 171c4762a1bSJed Brown 172c4762a1bSJed Brown if (user.tpw) { 1739566063dSJacob Faibussowitsch PetscCall(PetscSectionCreate(comm, &tpws)); 1749566063dSJacob Faibussowitsch PetscCall(PetscSectionSetChart(tpws, 0, size)); 175c4762a1bSJed Brown for (i = 0; i < size; i++) { 176c4762a1bSJed Brown PetscInt tdof = i % 2 ? i + 1 : size - i; 1779566063dSJacob Faibussowitsch PetscCall(PetscSectionSetDof(tpws, i, tdof)); 178c4762a1bSJed Brown } 1799566063dSJacob Faibussowitsch PetscCall(PetscSectionSetUp(tpws)); 180c4762a1bSJed Brown } 181c4762a1bSJed Brown 182c4762a1bSJed Brown /* repartition distributed DM dmdist1 */ 1839566063dSJacob Faibussowitsch PetscCall(ScotchResetRandomSeed()); 1849566063dSJacob Faibussowitsch PetscCall(DMPlexGetPartitioner(dmdist1, &part1)); 1859566063dSJacob Faibussowitsch PetscCall(PetscObjectSetOptionsPrefix((PetscObject)part1, "dp1_")); 1869566063dSJacob Faibussowitsch PetscCall(PetscPartitionerSetType(part1, user.repartitioning)); 1879566063dSJacob Faibussowitsch PetscCall(PetscPartitionerSetFromOptions(part1)); 1889566063dSJacob Faibussowitsch PetscCall(PetscSectionCreate(comm, &s1)); 1899566063dSJacob Faibussowitsch PetscCall(PetscPartitionerDMPlexPartition(part1, dmdist1, tpws, s1, &is1)); 190c4762a1bSJed Brown 191c4762a1bSJed Brown /* repartition distributed DM dmdist2 */ 1929566063dSJacob Faibussowitsch PetscCall(ScotchResetRandomSeed()); 1939566063dSJacob Faibussowitsch PetscCall(DMPlexGetPartitioner(dmdist2, &part2)); 1949566063dSJacob Faibussowitsch PetscCall(PetscObjectSetOptionsPrefix((PetscObject)part2, "dp2_")); 1959566063dSJacob Faibussowitsch PetscCall(PetscPartitionerSetType(part2, PETSCPARTITIONERMATPARTITIONING)); 1969566063dSJacob Faibussowitsch PetscCall(PetscPartitionerMatPartitioningGetMatPartitioning(part2, &mp)); 1979566063dSJacob Faibussowitsch PetscCall(MatPartitioningSetType(mp, user.repartitioning)); 1989566063dSJacob Faibussowitsch PetscCall(PetscPartitionerSetFromOptions(part2)); 1999566063dSJacob Faibussowitsch PetscCall(PetscSectionCreate(comm, &s2)); 2009566063dSJacob Faibussowitsch PetscCall(PetscPartitionerDMPlexPartition(part2, dmdist2, tpws, s2, &is2)); 201c4762a1bSJed Brown 202c4762a1bSJed Brown /* compare the two ISs */ 2039566063dSJacob Faibussowitsch PetscCall(ISOnComm(is1, comm, PETSC_USE_POINTER, &is1g)); 2049566063dSJacob Faibussowitsch PetscCall(ISOnComm(is2, comm, PETSC_USE_POINTER, &is2g)); 2059566063dSJacob Faibussowitsch PetscCall(ISViewFromOptions(is1g, NULL, "-dist_is1_view")); 2069566063dSJacob Faibussowitsch PetscCall(ISViewFromOptions(is2g, NULL, "-dist_is2_view")); 207c4762a1bSJed Brown if (user.compare_is) { 2089566063dSJacob Faibussowitsch PetscCall(ISEqualUnsorted(is1g, is2g, &flg)); 2099566063dSJacob Faibussowitsch if (!flg) PetscCall(PetscPrintf(comm, "Distributed ISs are not equal, with %s with size %d.\n", user.repartitioning, size)); 210c4762a1bSJed Brown } 2119566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is1g)); 2129566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is2g)); 213c4762a1bSJed Brown 214c4762a1bSJed Brown /* compare the two PetscSections */ 2159566063dSJacob Faibussowitsch PetscCall(PetscSectionViewFromOptions(s1, NULL, "-dist_s1_view")); 2169566063dSJacob Faibussowitsch PetscCall(PetscSectionViewFromOptions(s2, NULL, "-dist_s2_view")); 217c4762a1bSJed Brown if (user.compare_is) { 2189566063dSJacob Faibussowitsch PetscCall(PetscSectionCompare(s1, s2, &flg)); 2199566063dSJacob Faibussowitsch if (!flg) PetscCall(PetscPrintf(comm, "Distributed PetscSections are not equal, with %s with size %d.\n", user.repartitioning, size)); 220c4762a1bSJed Brown } 221c4762a1bSJed Brown 222c4762a1bSJed Brown /* redistribute both distributed DMs */ 2239566063dSJacob Faibussowitsch PetscCall(ScotchResetRandomSeed()); 2249566063dSJacob Faibussowitsch PetscCall(DMPlexDistribute(dmdist1, 0, NULL, &dm1)); 2259566063dSJacob Faibussowitsch PetscCall(ScotchResetRandomSeed()); 2269566063dSJacob Faibussowitsch PetscCall(DMPlexDistribute(dmdist2, 0, NULL, &dm2)); 227c4762a1bSJed Brown 228c4762a1bSJed Brown /* compare the two distributed DMs */ 2299566063dSJacob Faibussowitsch PetscCall(DMPlexIsInterpolated(dm1, &interp)); 23030602db0SMatthew G. Knepley if (interp == DMPLEX_INTERPOLATED_NONE) { 2319566063dSJacob Faibussowitsch PetscCall(DMPlexEqual(dm1, dm2, &flg)); 2329566063dSJacob Faibussowitsch if (!flg) PetscCall(PetscPrintf(comm, "Redistributed DMs are not equal, with %s with size %d.\n", user.repartitioning, size)); 233c4762a1bSJed Brown } 234c4762a1bSJed Brown 235c4762a1bSJed Brown /* cleanup */ 2369566063dSJacob Faibussowitsch PetscCall(PetscSectionDestroy(&tpws)); 2379566063dSJacob Faibussowitsch PetscCall(PetscSectionDestroy(&s1)); 2389566063dSJacob Faibussowitsch PetscCall(PetscSectionDestroy(&s2)); 2399566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is1)); 2409566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is2)); 2419566063dSJacob Faibussowitsch PetscCall(DMDestroy(&dm1)); 2429566063dSJacob Faibussowitsch PetscCall(DMDestroy(&dm2)); 2439566063dSJacob Faibussowitsch PetscCall(DMDestroy(&dmdist1)); 2449566063dSJacob Faibussowitsch PetscCall(DMDestroy(&dmdist2)); 2459566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 246b122ec5aSJacob Faibussowitsch return 0; 247c4762a1bSJed Brown } 248c4762a1bSJed Brown 249c4762a1bSJed Brown /*TEST 250c4762a1bSJed Brown 251c4762a1bSJed Brown test: 252c4762a1bSJed Brown # partition sequential mesh loaded from Exodus file 253c4762a1bSJed Brown suffix: 0 254c4762a1bSJed Brown nsize: {{1 2 3 4 8}} 255c4762a1bSJed Brown requires: chaco parmetis ptscotch exodusii 25630602db0SMatthew G. Knepley args: -dm_plex_filename ${PETSC_DIR}/share/petsc/datafiles/meshes/blockcylinder-50.exo 257c4762a1bSJed Brown args: -partitioning {{chaco parmetis ptscotch}} -repartitioning {{parmetis ptscotch}} -tpweight {{0 1}} 258c4762a1bSJed Brown test: 259c4762a1bSJed Brown # repartition mesh already partitioned naively by MED loader 260c4762a1bSJed Brown suffix: 1 261c4762a1bSJed Brown nsize: {{1 2 3 4 8}} 262c4762a1bSJed Brown TODO: MED 263c4762a1bSJed Brown requires: parmetis ptscotch med 26430602db0SMatthew G. Knepley args: -dm_plex_filename ${PETSC_DIR}/share/petsc/datafiles/meshes/cylinder.med 265c4762a1bSJed Brown args: -repartition 0 -partitioning {{parmetis ptscotch}} 266c4762a1bSJed Brown test: 267c4762a1bSJed Brown # partition mesh generated by ctetgen using scotch, then repartition with scotch, diff view 268c4762a1bSJed Brown suffix: 3 269c4762a1bSJed Brown nsize: 4 270c4762a1bSJed Brown requires: ptscotch ctetgen 27130602db0SMatthew G. Knepley args: -dm_plex_dim 3 -dm_plex_box_faces 2,3,2 -partitioning ptscotch -repartitioning ptscotch 272c4762a1bSJed Brown args: -p1_petscpartitioner_view -p2_petscpartitioner_view -dp1_petscpartitioner_view -dp2_petscpartitioner_view -tpweight {{0 1}} 273c4762a1bSJed Brown test: 274c4762a1bSJed Brown # partition mesh generated by ctetgen using partitioners supported both by MatPartitioning and PetscPartitioner 275c4762a1bSJed Brown suffix: 4 276c4762a1bSJed Brown nsize: {{1 2 3 4 8}} 277c4762a1bSJed Brown requires: chaco parmetis ptscotch ctetgen 27830602db0SMatthew 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}} 279c4762a1bSJed Brown 280c4762a1bSJed Brown TEST*/ 281