1c4762a1bSJed Brown static char help[] = "Tests the parallel case for MatIncreaseOverlap(). Input arguments are:\n\
2c4762a1bSJed Brown -f <input_file> : file to load. For example see $PETSC_DIR/share/petsc/datafiles/matrices\n\
3c4762a1bSJed Brown -nd <size> : > 0 number of domains per processor \n\
4c4762a1bSJed Brown -ov <overlap> : >=0 amount of overlap between domains\n\n";
5c4762a1bSJed Brown
6c4762a1bSJed Brown #include <petscmat.h>
7c4762a1bSJed Brown
ISAllGatherDisjoint(IS iis,IS ** ois)8d71ae5a4SJacob Faibussowitsch PetscErrorCode ISAllGatherDisjoint(IS iis, IS **ois)
9d71ae5a4SJacob Faibussowitsch {
10c4762a1bSJed Brown IS *is2, is;
11c4762a1bSJed Brown const PetscInt *idxs;
12c4762a1bSJed Brown PetscInt i, ls, *sizes;
13c4762a1bSJed Brown PetscMPIInt size;
14c4762a1bSJed Brown
15c4762a1bSJed Brown PetscFunctionBeginUser;
169566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)iis), &size));
179566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(size, &is2));
189566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(size, &sizes));
199566063dSJacob Faibussowitsch PetscCall(ISGetLocalSize(iis, &ls));
20c4762a1bSJed Brown /* we don't have a public ISGetLayout */
219566063dSJacob Faibussowitsch PetscCallMPI(MPI_Allgather(&ls, 1, MPIU_INT, sizes, 1, MPIU_INT, PetscObjectComm((PetscObject)iis)));
229566063dSJacob Faibussowitsch PetscCall(ISAllGather(iis, &is));
239566063dSJacob Faibussowitsch PetscCall(ISGetIndices(is, &idxs));
24c4762a1bSJed Brown for (i = 0, ls = 0; i < size; i++) {
259566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(PETSC_COMM_SELF, sizes[i], idxs + ls, PETSC_COPY_VALUES, &is2[i]));
26c4762a1bSJed Brown ls += sizes[i];
27c4762a1bSJed Brown }
289566063dSJacob Faibussowitsch PetscCall(ISRestoreIndices(is, &idxs));
299566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is));
309566063dSJacob Faibussowitsch PetscCall(PetscFree(sizes));
31c4762a1bSJed Brown *ois = is2;
323ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS);
33c4762a1bSJed Brown }
34c4762a1bSJed Brown
main(int argc,char ** args)35d71ae5a4SJacob Faibussowitsch int main(int argc, char **args)
36d71ae5a4SJacob Faibussowitsch {
37c4762a1bSJed Brown PetscInt nd = 2, ov = 1, ndpar, i, start, m, n, end, lsize;
38c4762a1bSJed Brown PetscMPIInt rank;
39c4762a1bSJed Brown PetscBool flg, useND = PETSC_FALSE;
40c4762a1bSJed Brown Mat A, B;
41c4762a1bSJed Brown char file[PETSC_MAX_PATH_LEN];
42c4762a1bSJed Brown PetscViewer fd;
43c4762a1bSJed Brown IS *is1, *is2;
44c4762a1bSJed Brown PetscRandom r;
45c4762a1bSJed Brown PetscScalar rand;
46c4762a1bSJed Brown
47327415f7SBarry Smith PetscFunctionBeginUser;
48c8025a54SPierre Jolivet PetscCall(PetscInitialize(&argc, &args, NULL, help));
499566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &rank));
509566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetString(NULL, NULL, "-f", file, sizeof(file), &flg));
5128b400f6SJacob Faibussowitsch PetscCheck(flg, PETSC_COMM_WORLD, PETSC_ERR_USER, "Must use -f filename to indicate a file containing a PETSc binary matrix");
529566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetInt(NULL, NULL, "-nd", &nd, NULL));
539566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetInt(NULL, NULL, "-ov", &ov, NULL));
549566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(NULL, NULL, "-nested_dissection", &useND, NULL));
55c4762a1bSJed Brown
56c4762a1bSJed Brown /* Read matrix */
579566063dSJacob Faibussowitsch PetscCall(PetscViewerBinaryOpen(PETSC_COMM_WORLD, file, FILE_MODE_READ, &fd));
589566063dSJacob Faibussowitsch PetscCall(MatCreate(PETSC_COMM_WORLD, &A));
599566063dSJacob Faibussowitsch PetscCall(MatSetType(A, MATMPIAIJ));
609566063dSJacob Faibussowitsch PetscCall(MatLoad(A, fd));
619566063dSJacob Faibussowitsch PetscCall(MatSetFromOptions(A));
629566063dSJacob Faibussowitsch PetscCall(PetscViewerDestroy(&fd));
63c4762a1bSJed Brown
64c4762a1bSJed Brown /* Read the matrix again as a sequential matrix */
659566063dSJacob Faibussowitsch PetscCall(PetscViewerBinaryOpen(PETSC_COMM_SELF, file, FILE_MODE_READ, &fd));
669566063dSJacob Faibussowitsch PetscCall(MatCreate(PETSC_COMM_SELF, &B));
679566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQAIJ));
689566063dSJacob Faibussowitsch PetscCall(MatLoad(B, fd));
699566063dSJacob Faibussowitsch PetscCall(MatSetFromOptions(B));
709566063dSJacob Faibussowitsch PetscCall(PetscViewerDestroy(&fd));
71c4762a1bSJed Brown
72c4762a1bSJed Brown /* Create the IS corresponding to subdomains */
73c4762a1bSJed Brown if (useND) {
74c4762a1bSJed Brown MatPartitioning part;
75c4762a1bSJed Brown IS ndmap;
76c4762a1bSJed Brown PetscMPIInt size;
77c4762a1bSJed Brown
78c4762a1bSJed Brown ndpar = 1;
799566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD, &size));
80c4762a1bSJed Brown nd = (PetscInt)size;
819566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(ndpar, &is1));
829566063dSJacob Faibussowitsch PetscCall(MatPartitioningCreate(PETSC_COMM_WORLD, &part));
839566063dSJacob Faibussowitsch PetscCall(MatPartitioningSetAdjacency(part, A));
849566063dSJacob Faibussowitsch PetscCall(MatPartitioningSetFromOptions(part));
859566063dSJacob Faibussowitsch PetscCall(MatPartitioningApplyND(part, &ndmap));
869566063dSJacob Faibussowitsch PetscCall(MatPartitioningDestroy(&part));
879566063dSJacob Faibussowitsch PetscCall(ISBuildTwoSided(ndmap, NULL, &is1[0]));
889566063dSJacob Faibussowitsch PetscCall(ISDestroy(&ndmap));
899566063dSJacob Faibussowitsch PetscCall(ISAllGatherDisjoint(is1[0], &is2));
90c4762a1bSJed Brown } else {
91c4762a1bSJed Brown /* Create the random Index Sets */
929566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(nd, &is1));
939566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(nd, &is2));
94c4762a1bSJed Brown
959566063dSJacob Faibussowitsch PetscCall(MatGetSize(A, &m, &n));
969566063dSJacob Faibussowitsch PetscCall(PetscRandomCreate(PETSC_COMM_SELF, &r));
979566063dSJacob Faibussowitsch PetscCall(PetscRandomSetFromOptions(r));
98c4762a1bSJed Brown for (i = 0; i < nd; i++) {
999566063dSJacob Faibussowitsch PetscCall(PetscRandomGetValue(r, &rand));
100c4762a1bSJed Brown start = (PetscInt)(rand * m);
1019566063dSJacob Faibussowitsch PetscCall(PetscRandomGetValue(r, &rand));
102c4762a1bSJed Brown end = (PetscInt)(rand * m);
103c4762a1bSJed Brown lsize = end - start;
1049371c9d4SSatish Balay if (start > end) {
1059371c9d4SSatish Balay start = end;
1069371c9d4SSatish Balay lsize = -lsize;
1079371c9d4SSatish Balay }
1089566063dSJacob Faibussowitsch PetscCall(ISCreateStride(PETSC_COMM_SELF, lsize, start, 1, is1 + i));
1099566063dSJacob Faibussowitsch PetscCall(ISCreateStride(PETSC_COMM_SELF, lsize, start, 1, is2 + i));
110c4762a1bSJed Brown }
111c4762a1bSJed Brown ndpar = nd;
1129566063dSJacob Faibussowitsch PetscCall(PetscRandomDestroy(&r));
113c4762a1bSJed Brown }
1149566063dSJacob Faibussowitsch PetscCall(MatIncreaseOverlap(A, ndpar, is1, ov));
1159566063dSJacob Faibussowitsch PetscCall(MatIncreaseOverlap(B, nd, is2, ov));
116c4762a1bSJed Brown if (useND) {
117c4762a1bSJed Brown IS *is;
118c4762a1bSJed Brown
1199566063dSJacob Faibussowitsch PetscCall(ISAllGatherDisjoint(is1[0], &is));
1209566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is1[0]));
1219566063dSJacob Faibussowitsch PetscCall(PetscFree(is1));
122c4762a1bSJed Brown is1 = is;
123c4762a1bSJed Brown }
124c4762a1bSJed Brown /* Now see if the serial and parallel case have the same answers */
125c4762a1bSJed Brown for (i = 0; i < nd; ++i) {
1269566063dSJacob Faibussowitsch PetscCall(ISEqual(is1[i], is2[i], &flg));
127c4762a1bSJed Brown if (!flg) {
1289566063dSJacob Faibussowitsch PetscCall(ISViewFromOptions(is1[i], NULL, "-err_view"));
1299566063dSJacob Faibussowitsch PetscCall(ISViewFromOptions(is2[i], NULL, "-err_view"));
13098921bdaSJacob Faibussowitsch SETERRQ(PETSC_COMM_SELF, PETSC_ERR_PLIB, "proc:[%d], i=%" PetscInt_FMT ", flg =%d", rank, i, (int)flg);
131c4762a1bSJed Brown }
132c4762a1bSJed Brown }
133c4762a1bSJed Brown
134c4762a1bSJed Brown /* Free allocated memory */
135c4762a1bSJed Brown for (i = 0; i < nd; ++i) {
1369566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is1[i]));
1379566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is2[i]));
138c4762a1bSJed Brown }
1399566063dSJacob Faibussowitsch PetscCall(PetscFree(is1));
1409566063dSJacob Faibussowitsch PetscCall(PetscFree(is2));
1419566063dSJacob Faibussowitsch PetscCall(MatDestroy(&A));
1429566063dSJacob Faibussowitsch PetscCall(MatDestroy(&B));
1439566063dSJacob Faibussowitsch PetscCall(PetscFinalize());
144b122ec5aSJacob Faibussowitsch return 0;
145c4762a1bSJed Brown }
146c4762a1bSJed Brown
147c4762a1bSJed Brown /*TEST
148c4762a1bSJed Brown
149c4762a1bSJed Brown build:
150c4762a1bSJed Brown requires: !complex
151c4762a1bSJed Brown
152c4762a1bSJed Brown testset:
153c4762a1bSJed Brown nsize: 5
154dfd57a17SPierre Jolivet requires: datafilespath double !defined(PETSC_USE_64BIT_INDICES) !complex
155c4762a1bSJed Brown args: -f ${DATAFILESPATH}/matrices/arco1 -viewer_binary_skip_info -ov 2
156*3886731fSPierre Jolivet output_file: output/empty.out
157c4762a1bSJed Brown test:
158c4762a1bSJed Brown suffix: 1
159c4762a1bSJed Brown args: -nd 7
160c4762a1bSJed Brown test:
161c4762a1bSJed Brown requires: parmetis
162c4762a1bSJed Brown suffix: 1_nd
163c4762a1bSJed Brown args: -nested_dissection -mat_partitioning_type parmetis
164c4762a1bSJed Brown
165c4762a1bSJed Brown testset:
166c4762a1bSJed Brown nsize: 3
167dfd57a17SPierre Jolivet requires: double !defined(PETSC_USE_64BIT_INDICES) !complex
168c4762a1bSJed Brown args: -f ${wPETSC_DIR}/share/petsc/datafiles/matrices/ns-real-int32-float64 -mat_increase_overlap_scalable 1 -ov 2
169*3886731fSPierre Jolivet output_file: output/empty.out
170c4762a1bSJed Brown test:
171c4762a1bSJed Brown suffix: 2
172c4762a1bSJed Brown args: -nd 7
173c4762a1bSJed Brown test:
174c4762a1bSJed Brown requires: parmetis
175c4762a1bSJed Brown suffix: 2_nd
176c4762a1bSJed Brown args: -nested_dissection -mat_partitioning_type parmetis
177c4762a1bSJed Brown
178c4762a1bSJed Brown TEST*/
179