xref: /petsc/src/mat/tests/ex40.c (revision 327415f76d85372a4417cf1aaa14db707d4d6c04)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown static char help[] = "Tests the parallel case for MatIncreaseOverlap(). Input arguments are:\n\
3c4762a1bSJed Brown   -f <input_file> : file to load.  For example see $PETSC_DIR/share/petsc/datafiles/matrices\n\
4c4762a1bSJed Brown   -nd <size>      : > 0  number of domains per processor \n\
5c4762a1bSJed Brown   -ov <overlap>   : >=0  amount of overlap between domains\n\n";
6c4762a1bSJed Brown 
7c4762a1bSJed Brown #include <petscmat.h>
8c4762a1bSJed Brown 
9c4762a1bSJed Brown PetscErrorCode ISAllGatherDisjoint(IS iis, IS** ois)
10c4762a1bSJed Brown {
11c4762a1bSJed Brown   IS             *is2,is;
12c4762a1bSJed Brown   const PetscInt *idxs;
13c4762a1bSJed Brown   PetscInt       i, ls,*sizes;
14c4762a1bSJed Brown   PetscMPIInt    size;
15c4762a1bSJed Brown 
16c4762a1bSJed Brown   PetscFunctionBeginUser;
179566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)iis),&size));
189566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(size,&is2));
199566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(size,&sizes));
209566063dSJacob Faibussowitsch   PetscCall(ISGetLocalSize(iis,&ls));
21c4762a1bSJed Brown   /* we don't have a public ISGetLayout */
229566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Allgather(&ls,1,MPIU_INT,sizes,1,MPIU_INT,PetscObjectComm((PetscObject)iis)));
239566063dSJacob Faibussowitsch   PetscCall(ISAllGather(iis,&is));
249566063dSJacob Faibussowitsch   PetscCall(ISGetIndices(is,&idxs));
25c4762a1bSJed Brown   for (i = 0, ls = 0; i < size; i++) {
269566063dSJacob Faibussowitsch     PetscCall(ISCreateGeneral(PETSC_COMM_SELF,sizes[i],idxs+ls,PETSC_COPY_VALUES,&is2[i]));
27c4762a1bSJed Brown     ls += sizes[i];
28c4762a1bSJed Brown   }
299566063dSJacob Faibussowitsch   PetscCall(ISRestoreIndices(is,&idxs));
309566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is));
319566063dSJacob Faibussowitsch   PetscCall(PetscFree(sizes));
32c4762a1bSJed Brown   *ois = is2;
33c4762a1bSJed Brown   PetscFunctionReturn(0);
34c4762a1bSJed Brown }
35c4762a1bSJed Brown 
36c4762a1bSJed Brown int main(int argc,char **args)
37c4762a1bSJed Brown {
38c4762a1bSJed Brown   PetscInt       nd = 2,ov = 1,ndpar,i,start,m,n,end,lsize;
39c4762a1bSJed Brown   PetscMPIInt    rank;
40c4762a1bSJed Brown   PetscBool      flg, useND = PETSC_FALSE;
41c4762a1bSJed Brown   Mat            A,B;
42c4762a1bSJed Brown   char           file[PETSC_MAX_PATH_LEN];
43c4762a1bSJed Brown   PetscViewer    fd;
44c4762a1bSJed Brown   IS             *is1,*is2;
45c4762a1bSJed Brown   PetscRandom    r;
46c4762a1bSJed Brown   PetscScalar    rand;
47c4762a1bSJed Brown 
48*327415f7SBarry Smith   PetscFunctionBeginUser;
499566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&args,(char*)0,help));
509566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD,&rank));
519566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetString(NULL,NULL,"-f",file,sizeof(file),&flg));
5228b400f6SJacob Faibussowitsch   PetscCheck(flg,PETSC_COMM_WORLD,PETSC_ERR_USER,"Must use -f filename to indicate a file containing a PETSc binary matrix");
539566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-nd",&nd,NULL));
549566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-ov",&ov,NULL));
559566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-nested_dissection",&useND,NULL));
56c4762a1bSJed Brown 
57c4762a1bSJed Brown   /* Read matrix */
589566063dSJacob Faibussowitsch   PetscCall(PetscViewerBinaryOpen(PETSC_COMM_WORLD,file,FILE_MODE_READ,&fd));
599566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD,&A));
609566063dSJacob Faibussowitsch   PetscCall(MatSetType(A,MATMPIAIJ));
619566063dSJacob Faibussowitsch   PetscCall(MatLoad(A,fd));
629566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(A));
639566063dSJacob Faibussowitsch   PetscCall(PetscViewerDestroy(&fd));
64c4762a1bSJed Brown 
65c4762a1bSJed Brown   /* Read the matrix again as a sequential matrix */
669566063dSJacob Faibussowitsch   PetscCall(PetscViewerBinaryOpen(PETSC_COMM_SELF,file,FILE_MODE_READ,&fd));
679566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_SELF,&B));
689566063dSJacob Faibussowitsch   PetscCall(MatSetType(B,MATSEQAIJ));
699566063dSJacob Faibussowitsch   PetscCall(MatLoad(B,fd));
709566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(B));
719566063dSJacob Faibussowitsch   PetscCall(PetscViewerDestroy(&fd));
72c4762a1bSJed Brown 
73c4762a1bSJed Brown   /* Create the IS corresponding to subdomains */
74c4762a1bSJed Brown   if (useND) {
75c4762a1bSJed Brown     MatPartitioning part;
76c4762a1bSJed Brown     IS              ndmap;
77c4762a1bSJed Brown     PetscMPIInt     size;
78c4762a1bSJed Brown 
79c4762a1bSJed Brown     ndpar = 1;
809566063dSJacob Faibussowitsch     PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD,&size));
81c4762a1bSJed Brown     nd   = (PetscInt)size;
829566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(ndpar,&is1));
839566063dSJacob Faibussowitsch     PetscCall(MatPartitioningCreate(PETSC_COMM_WORLD,&part));
849566063dSJacob Faibussowitsch     PetscCall(MatPartitioningSetAdjacency(part,A));
859566063dSJacob Faibussowitsch     PetscCall(MatPartitioningSetFromOptions(part));
869566063dSJacob Faibussowitsch     PetscCall(MatPartitioningApplyND(part,&ndmap));
879566063dSJacob Faibussowitsch     PetscCall(MatPartitioningDestroy(&part));
889566063dSJacob Faibussowitsch     PetscCall(ISBuildTwoSided(ndmap,NULL,&is1[0]));
899566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&ndmap));
909566063dSJacob Faibussowitsch     PetscCall(ISAllGatherDisjoint(is1[0],&is2));
91c4762a1bSJed Brown   } else {
92c4762a1bSJed Brown     /* Create the random Index Sets */
939566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(nd,&is1));
949566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(nd,&is2));
95c4762a1bSJed Brown 
969566063dSJacob Faibussowitsch     PetscCall(MatGetSize(A,&m,&n));
979566063dSJacob Faibussowitsch     PetscCall(PetscRandomCreate(PETSC_COMM_SELF,&r));
989566063dSJacob Faibussowitsch     PetscCall(PetscRandomSetFromOptions(r));
99c4762a1bSJed Brown     for (i=0; i<nd; i++) {
1009566063dSJacob Faibussowitsch       PetscCall(PetscRandomGetValue(r,&rand));
101c4762a1bSJed Brown       start = (PetscInt)(rand*m);
1029566063dSJacob Faibussowitsch       PetscCall(PetscRandomGetValue(r,&rand));
103c4762a1bSJed Brown       end   = (PetscInt)(rand*m);
104c4762a1bSJed Brown       lsize =  end - start;
105c4762a1bSJed Brown       if (start > end) { start = end; lsize = -lsize;}
1069566063dSJacob Faibussowitsch       PetscCall(ISCreateStride(PETSC_COMM_SELF,lsize,start,1,is1+i));
1079566063dSJacob Faibussowitsch       PetscCall(ISCreateStride(PETSC_COMM_SELF,lsize,start,1,is2+i));
108c4762a1bSJed Brown     }
109c4762a1bSJed Brown     ndpar = nd;
1109566063dSJacob Faibussowitsch     PetscCall(PetscRandomDestroy(&r));
111c4762a1bSJed Brown   }
1129566063dSJacob Faibussowitsch   PetscCall(MatIncreaseOverlap(A,ndpar,is1,ov));
1139566063dSJacob Faibussowitsch   PetscCall(MatIncreaseOverlap(B,nd,is2,ov));
114c4762a1bSJed Brown   if (useND) {
115c4762a1bSJed Brown     IS *is;
116c4762a1bSJed Brown 
1179566063dSJacob Faibussowitsch     PetscCall(ISAllGatherDisjoint(is1[0],&is));
1189566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is1[0]));
1199566063dSJacob Faibussowitsch     PetscCall(PetscFree(is1));
120c4762a1bSJed Brown     is1 = is;
121c4762a1bSJed Brown   }
122c4762a1bSJed Brown   /* Now see if the serial and parallel case have the same answers */
123c4762a1bSJed Brown   for (i=0; i<nd; ++i) {
1249566063dSJacob Faibussowitsch     PetscCall(ISEqual(is1[i],is2[i],&flg));
125c4762a1bSJed Brown     if (!flg) {
1269566063dSJacob Faibussowitsch       PetscCall(ISViewFromOptions(is1[i],NULL,"-err_view"));
1279566063dSJacob Faibussowitsch       PetscCall(ISViewFromOptions(is2[i],NULL,"-err_view"));
12898921bdaSJacob Faibussowitsch       SETERRQ(PETSC_COMM_SELF,PETSC_ERR_PLIB,"proc:[%d], i=%" PetscInt_FMT ", flg =%d",rank,i,(int)flg);
129c4762a1bSJed Brown     }
130c4762a1bSJed Brown   }
131c4762a1bSJed Brown 
132c4762a1bSJed Brown   /* Free allocated memory */
133c4762a1bSJed Brown   for (i=0; i<nd; ++i) {
1349566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is1[i]));
1359566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is2[i]));
136c4762a1bSJed Brown   }
1379566063dSJacob Faibussowitsch   PetscCall(PetscFree(is1));
1389566063dSJacob Faibussowitsch   PetscCall(PetscFree(is2));
1399566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A));
1409566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B));
1419566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
142b122ec5aSJacob Faibussowitsch   return 0;
143c4762a1bSJed Brown }
144c4762a1bSJed Brown 
145c4762a1bSJed Brown /*TEST
146c4762a1bSJed Brown 
147c4762a1bSJed Brown    build:
148c4762a1bSJed Brown       requires: !complex
149c4762a1bSJed Brown 
150c4762a1bSJed Brown    testset:
151c4762a1bSJed Brown       nsize: 5
152dfd57a17SPierre Jolivet       requires: datafilespath double !defined(PETSC_USE_64BIT_INDICES) !complex
153c4762a1bSJed Brown       args: -f ${DATAFILESPATH}/matrices/arco1 -viewer_binary_skip_info -ov 2
154c4762a1bSJed Brown       output_file: output/ex40_1.out
155c4762a1bSJed Brown       test:
156c4762a1bSJed Brown         suffix: 1
157c4762a1bSJed Brown         args: -nd 7
158c4762a1bSJed Brown       test:
159c4762a1bSJed Brown         requires: parmetis
160c4762a1bSJed Brown         suffix: 1_nd
161c4762a1bSJed Brown         args: -nested_dissection -mat_partitioning_type parmetis
162c4762a1bSJed Brown 
163c4762a1bSJed Brown    testset:
164c4762a1bSJed Brown       nsize: 3
165dfd57a17SPierre Jolivet       requires: double !defined(PETSC_USE_64BIT_INDICES) !complex
166c4762a1bSJed Brown       args: -f ${wPETSC_DIR}/share/petsc/datafiles/matrices/ns-real-int32-float64 -mat_increase_overlap_scalable 1 -ov 2
167c4762a1bSJed Brown       output_file: output/ex40_1.out
168c4762a1bSJed Brown       test:
169c4762a1bSJed Brown         suffix: 2
170c4762a1bSJed Brown         args: -nd 7
171c4762a1bSJed Brown       test:
172c4762a1bSJed Brown         requires: parmetis
173c4762a1bSJed Brown         suffix: 2_nd
174c4762a1bSJed Brown         args: -nested_dissection -mat_partitioning_type parmetis
175c4762a1bSJed Brown 
176c4762a1bSJed Brown TEST*/
177