xref: /petsc/src/mat/tests/ex42.c (revision 609caa7c8c030312b00807b4f015fd827bb80932)
1c4762a1bSJed Brown static char help[] = "Tests MatIncreaseOverlap() and MatCreateSubmatrices() for the parallel case.\n\
2c4762a1bSJed Brown This example is similar to ex40.c; here the index sets used are random.\n\
3c4762a1bSJed Brown Input arguments are:\n\
4c4762a1bSJed Brown   -f <input_file> : file to load.  For example see $PETSC_DIR/share/petsc/datafiles/matrices\n\
5c4762a1bSJed Brown   -nd <size>      : > 0  no of domains per processor \n\
6c4762a1bSJed Brown   -ov <overlap>   : >=0  amount of overlap between domains\n\n";
7c4762a1bSJed Brown 
8c4762a1bSJed Brown #include <petscmat.h>
9c4762a1bSJed Brown 
main(int argc,char ** args)10d71ae5a4SJacob Faibussowitsch int main(int argc, char **args)
11d71ae5a4SJacob Faibussowitsch {
12c4762a1bSJed Brown   PetscInt    nd = 2, ov = 1, i, j, lsize, m, n, *idx, bs;
13c4762a1bSJed Brown   PetscMPIInt rank, size;
14c4762a1bSJed Brown   PetscBool   flg;
15c4762a1bSJed Brown   Mat         A, B, *submatA, *submatB;
16c4762a1bSJed Brown   char        file[PETSC_MAX_PATH_LEN];
17c4762a1bSJed Brown   PetscViewer fd;
18c4762a1bSJed Brown   IS         *is1, *is2;
19c4762a1bSJed Brown   PetscRandom r;
20c4762a1bSJed Brown   PetscBool   test_unsorted = PETSC_FALSE;
21c4762a1bSJed Brown   PetscScalar rand;
22c4762a1bSJed Brown 
23327415f7SBarry Smith   PetscFunctionBeginUser;
24c8025a54SPierre Jolivet   PetscCall(PetscInitialize(&argc, &args, NULL, help));
259566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD, &size));
269566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &rank));
279566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetString(NULL, NULL, "-f", file, sizeof(file), NULL));
289566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-nd", &nd, NULL));
299566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-ov", &ov, NULL));
309566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-test_unsorted", &test_unsorted, NULL));
31c4762a1bSJed Brown 
32c4762a1bSJed Brown   /* Read matrix A and RHS */
339566063dSJacob Faibussowitsch   PetscCall(PetscViewerBinaryOpen(PETSC_COMM_WORLD, file, FILE_MODE_READ, &fd));
349566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD, &A));
359566063dSJacob Faibussowitsch   PetscCall(MatSetType(A, MATAIJ));
369566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(A));
379566063dSJacob Faibussowitsch   PetscCall(MatLoad(A, fd));
389566063dSJacob Faibussowitsch   PetscCall(PetscViewerDestroy(&fd));
39c4762a1bSJed Brown 
40c4762a1bSJed Brown   /* Read the same matrix as a seq matrix B */
419566063dSJacob Faibussowitsch   PetscCall(PetscViewerBinaryOpen(PETSC_COMM_SELF, file, FILE_MODE_READ, &fd));
429566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_SELF, &B));
439566063dSJacob Faibussowitsch   PetscCall(MatSetType(B, MATSEQAIJ));
449566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(B));
459566063dSJacob Faibussowitsch   PetscCall(MatLoad(B, fd));
469566063dSJacob Faibussowitsch   PetscCall(PetscViewerDestroy(&fd));
47c4762a1bSJed Brown 
489566063dSJacob Faibussowitsch   PetscCall(MatGetBlockSize(A, &bs));
49c4762a1bSJed Brown 
50c4762a1bSJed Brown   /* Create the Random no generator */
519566063dSJacob Faibussowitsch   PetscCall(MatGetSize(A, &m, &n));
529566063dSJacob Faibussowitsch   PetscCall(PetscRandomCreate(PETSC_COMM_SELF, &r));
539566063dSJacob Faibussowitsch   PetscCall(PetscRandomSetFromOptions(r));
54c4762a1bSJed Brown 
55c4762a1bSJed Brown   /* Create the IS corresponding to subdomains */
569566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nd, &is1));
579566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nd, &is2));
589566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(m, &idx));
59ad540459SPierre Jolivet   for (i = 0; i < m; i++) idx[i] = i;
60c4762a1bSJed Brown 
61c4762a1bSJed Brown   /* Create the random Index Sets */
62c4762a1bSJed Brown   for (i = 0; i < nd; i++) {
63da81f932SPierre Jolivet     /* Skip a few,so that the IS on different procs are different*/
6448a46eb9SPierre Jolivet     for (j = 0; j < rank; j++) PetscCall(PetscRandomGetValue(r, &rand));
659566063dSJacob Faibussowitsch     PetscCall(PetscRandomGetValue(r, &rand));
66c4762a1bSJed Brown     lsize = (PetscInt)(rand * (m / bs));
67c4762a1bSJed Brown     /* shuffle */
68c4762a1bSJed Brown     for (j = 0; j < lsize; j++) {
69c4762a1bSJed Brown       PetscInt k, swap, l;
70c4762a1bSJed Brown 
719566063dSJacob Faibussowitsch       PetscCall(PetscRandomGetValue(r, &rand));
72c4762a1bSJed Brown       k = j + (PetscInt)(rand * ((m / bs) - j));
73c4762a1bSJed Brown       for (l = 0; l < bs; l++) {
74c4762a1bSJed Brown         swap            = idx[bs * j + l];
75c4762a1bSJed Brown         idx[bs * j + l] = idx[bs * k + l];
76c4762a1bSJed Brown         idx[bs * k + l] = swap;
77c4762a1bSJed Brown       }
78c4762a1bSJed Brown     }
799566063dSJacob Faibussowitsch     if (!test_unsorted) PetscCall(PetscSortInt(lsize * bs, idx));
809566063dSJacob Faibussowitsch     PetscCall(ISCreateGeneral(PETSC_COMM_SELF, lsize * bs, idx, PETSC_COPY_VALUES, is1 + i));
819566063dSJacob Faibussowitsch     PetscCall(ISCreateGeneral(PETSC_COMM_SELF, lsize * bs, idx, PETSC_COPY_VALUES, is2 + i));
829566063dSJacob Faibussowitsch     PetscCall(ISSetBlockSize(is1[i], bs));
839566063dSJacob Faibussowitsch     PetscCall(ISSetBlockSize(is2[i], bs));
84c4762a1bSJed Brown   }
85c4762a1bSJed Brown 
86c4762a1bSJed Brown   if (!test_unsorted) {
879566063dSJacob Faibussowitsch     PetscCall(MatIncreaseOverlap(A, nd, is1, ov));
889566063dSJacob Faibussowitsch     PetscCall(MatIncreaseOverlap(B, nd, is2, ov));
89c4762a1bSJed Brown 
90c4762a1bSJed Brown     for (i = 0; i < nd; ++i) {
919566063dSJacob Faibussowitsch       PetscCall(ISSort(is1[i]));
929566063dSJacob Faibussowitsch       PetscCall(ISSort(is2[i]));
93c4762a1bSJed Brown     }
94c4762a1bSJed Brown   }
95c4762a1bSJed Brown 
969566063dSJacob Faibussowitsch   PetscCall(MatCreateSubMatrices(A, nd, is1, is1, MAT_INITIAL_MATRIX, &submatA));
979566063dSJacob Faibussowitsch   PetscCall(MatCreateSubMatrices(B, nd, is2, is2, MAT_INITIAL_MATRIX, &submatB));
98c4762a1bSJed Brown 
99c4762a1bSJed Brown   /* Now see if the serial and parallel case have the same answers */
100c4762a1bSJed Brown   for (i = 0; i < nd; ++i) {
1019566063dSJacob Faibussowitsch     PetscCall(MatEqual(submatA[i], submatB[i], &flg));
1026aad120cSJose E. Roman     PetscCheck(flg, PETSC_COMM_SELF, PETSC_ERR_PLIB, "%" PetscInt_FMT "-th parallel submatA != seq submatB", i);
103c4762a1bSJed Brown   }
104c4762a1bSJed Brown 
105c4762a1bSJed Brown   /* Free Allocated Memory */
106c4762a1bSJed Brown   for (i = 0; i < nd; ++i) {
1079566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is1[i]));
1089566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is2[i]));
109c4762a1bSJed Brown   }
1109566063dSJacob Faibussowitsch   PetscCall(MatDestroySubMatrices(nd, &submatA));
1119566063dSJacob Faibussowitsch   PetscCall(MatDestroySubMatrices(nd, &submatB));
112c4762a1bSJed Brown 
1139566063dSJacob Faibussowitsch   PetscCall(PetscRandomDestroy(&r));
1149566063dSJacob Faibussowitsch   PetscCall(PetscFree(is1));
1159566063dSJacob Faibussowitsch   PetscCall(PetscFree(is2));
1169566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A));
1179566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B));
1189566063dSJacob Faibussowitsch   PetscCall(PetscFree(idx));
1199566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
120b122ec5aSJacob Faibussowitsch   return 0;
121c4762a1bSJed Brown }
122c4762a1bSJed Brown 
123c4762a1bSJed Brown /*TEST
124c4762a1bSJed Brown 
125c4762a1bSJed Brown    build:
126c4762a1bSJed Brown       requires: !complex
127c4762a1bSJed Brown 
128c4762a1bSJed Brown    test:
129c4762a1bSJed Brown       nsize: 3
130dfd57a17SPierre Jolivet       requires: datafilespath double !defined(PETSC_USE_64BIT_INDICES) !complex
131c4762a1bSJed Brown       args: -f ${DATAFILESPATH}/matrices/arco1 -nd 5 -ov 2
132*3886731fSPierre Jolivet       output_file: output/empty.out
133c4762a1bSJed Brown 
134c4762a1bSJed Brown    test:
135c4762a1bSJed Brown       suffix: 2
136c4762a1bSJed Brown       args: -f ${DATAFILESPATH}/matrices/arco1 -nd 8 -ov 2
137dfd57a17SPierre Jolivet       requires: datafilespath double !defined(PETSC_USE_64BIT_INDICES) !complex
138*3886731fSPierre Jolivet       output_file: output/empty.out
139c4762a1bSJed Brown 
140c4762a1bSJed Brown    test:
141c4762a1bSJed Brown       suffix: unsorted_baij_mpi
142c4762a1bSJed Brown       nsize: 3
143dfd57a17SPierre Jolivet       requires: datafilespath double !defined(PETSC_USE_64BIT_INDICES) !complex
144c4762a1bSJed Brown       args: -f ${DATAFILESPATH}/matrices/cfd.1.10 -nd 8 -mat_type baij -test_unsorted
145*3886731fSPierre Jolivet       output_file: output/empty.out
146c4762a1bSJed Brown 
147c4762a1bSJed Brown    test:
148c4762a1bSJed Brown       suffix: unsorted_baij_seq
149dfd57a17SPierre Jolivet       requires: datafilespath double !defined(PETSC_USE_64BIT_INDICES) !complex
150c4762a1bSJed Brown       args: -f ${DATAFILESPATH}/matrices/cfd.1.10 -nd 8 -mat_type baij -test_unsorted
151*3886731fSPierre Jolivet       output_file: output/empty.out
152c4762a1bSJed Brown 
153c4762a1bSJed Brown    test:
154c4762a1bSJed Brown       suffix: unsorted_mpi
155c4762a1bSJed Brown       nsize: 3
156dfd57a17SPierre Jolivet       requires: datafilespath double !defined(PETSC_USE_64BIT_INDICES) !complex
157c4762a1bSJed Brown       args: -f ${DATAFILESPATH}/matrices/arco1 -nd 8 -test_unsorted
158*3886731fSPierre Jolivet       output_file: output/empty.out
159c4762a1bSJed Brown 
160c4762a1bSJed Brown    test:
161c4762a1bSJed Brown       suffix: unsorted_seq
162dfd57a17SPierre Jolivet       requires: datafilespath double !defined(PETSC_USE_64BIT_INDICES) !complex
163c4762a1bSJed Brown       args: -f ${DATAFILESPATH}/matrices/arco1 -nd 8 -test_unsorted
164*3886731fSPierre Jolivet       output_file: output/empty.out
165c4762a1bSJed Brown 
166c4762a1bSJed Brown TEST*/
167