xref: /petsc/src/mat/tests/ex92.c (revision 9566063d113dddea24716c546802770db7481bc0)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown static char help[] = "Tests MatIncreaseOverlap(), MatCreateSubMatrices() for parallel MatSBAIJ format.\n";
3c4762a1bSJed Brown /* Example of usage:
4c4762a1bSJed Brown       mpiexec -n 2 ./ex92 -nd 2 -ov 3 -mat_block_size 2 -view_id 0 -test_overlap -test_submat
5c4762a1bSJed Brown */
6c4762a1bSJed Brown #include <petscmat.h>
7c4762a1bSJed Brown 
8c4762a1bSJed Brown int main(int argc,char **args)
9c4762a1bSJed Brown {
10c4762a1bSJed Brown   Mat            A,Atrans,sA,*submatA,*submatsA;
11c4762a1bSJed Brown   PetscMPIInt    size,rank;
12c4762a1bSJed Brown   PetscInt       bs=1,mbs=10,ov=1,i,j,k,*rows,*cols,nd=2,*idx,rstart,rend,sz,M,N,Mbs;
13c4762a1bSJed Brown   PetscScalar    *vals,rval,one=1.0;
14c4762a1bSJed Brown   IS             *is1,*is2;
15c4762a1bSJed Brown   PetscRandom    rand;
16c4762a1bSJed Brown   PetscBool      flg,TestOverlap,TestSubMat,TestAllcols,test_sorted=PETSC_FALSE;
17c4762a1bSJed Brown   PetscInt       vid = -1;
18c4762a1bSJed Brown #if defined(PETSC_USE_LOG)
19c4762a1bSJed Brown   PetscLogStage  stages[2];
20c4762a1bSJed Brown #endif
21c4762a1bSJed Brown 
22*9566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&args,(char*)0,help));
23*9566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD,&size));
24*9566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD,&rank));
25c4762a1bSJed Brown 
26*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-mat_block_size",&bs,NULL));
27*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-mat_mbs",&mbs,NULL));
28*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-ov",&ov,NULL));
29*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-nd",&nd,NULL));
30*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-view_id",&vid,NULL));
31*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsHasName(NULL,NULL, "-test_overlap", &TestOverlap));
32*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsHasName(NULL,NULL, "-test_submat", &TestSubMat));
33*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsHasName(NULL,NULL, "-test_allcols", &TestAllcols));
34*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-test_sorted",&test_sorted,NULL));
35c4762a1bSJed Brown 
36*9566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD,&A));
37*9566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(A,mbs*bs,mbs*bs,PETSC_DECIDE,PETSC_DECIDE));
38*9566063dSJacob Faibussowitsch   PetscCall(MatSetType(A,MATBAIJ));
39*9566063dSJacob Faibussowitsch   PetscCall(MatSeqBAIJSetPreallocation(A,bs,PETSC_DEFAULT,NULL));
40*9566063dSJacob Faibussowitsch   PetscCall(MatMPIBAIJSetPreallocation(A,bs,PETSC_DEFAULT,NULL,PETSC_DEFAULT,NULL));
41c4762a1bSJed Brown 
42*9566063dSJacob Faibussowitsch   PetscCall(PetscRandomCreate(PETSC_COMM_WORLD,&rand));
43*9566063dSJacob Faibussowitsch   PetscCall(PetscRandomSetFromOptions(rand));
44c4762a1bSJed Brown 
45*9566063dSJacob Faibussowitsch   PetscCall(MatGetOwnershipRange(A,&rstart,&rend));
46*9566063dSJacob Faibussowitsch   PetscCall(MatGetSize(A,&M,&N));
47c4762a1bSJed Brown   Mbs  = M/bs;
48c4762a1bSJed Brown 
49*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(bs,&rows));
50*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(bs,&cols));
51*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(bs*bs,&vals));
52*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(M,&idx));
53c4762a1bSJed Brown 
54c4762a1bSJed Brown   /* Now set blocks of values */
55c4762a1bSJed Brown   for (j=0; j<bs*bs; j++) vals[j] = 0.0;
56c4762a1bSJed Brown   for (i=0; i<Mbs; i++) {
57c4762a1bSJed Brown     cols[0] = i*bs; rows[0] = i*bs;
58c4762a1bSJed Brown     for (j=1; j<bs; j++) {
59c4762a1bSJed Brown       rows[j] = rows[j-1]+1;
60c4762a1bSJed Brown       cols[j] = cols[j-1]+1;
61c4762a1bSJed Brown     }
62*9566063dSJacob Faibussowitsch     PetscCall(MatSetValues(A,bs,rows,bs,cols,vals,ADD_VALUES));
63c4762a1bSJed Brown   }
64c4762a1bSJed Brown   /* second, add random blocks */
65c4762a1bSJed Brown   for (i=0; i<20*bs; i++) {
66*9566063dSJacob Faibussowitsch     PetscCall(PetscRandomGetValue(rand,&rval));
67c4762a1bSJed Brown     cols[0] = bs*(PetscInt)(PetscRealPart(rval)*Mbs);
68*9566063dSJacob Faibussowitsch     PetscCall(PetscRandomGetValue(rand,&rval));
69c4762a1bSJed Brown     rows[0] = rstart + bs*(PetscInt)(PetscRealPart(rval)*mbs);
70c4762a1bSJed Brown     for (j=1; j<bs; j++) {
71c4762a1bSJed Brown       rows[j] = rows[j-1]+1;
72c4762a1bSJed Brown       cols[j] = cols[j-1]+1;
73c4762a1bSJed Brown     }
74c4762a1bSJed Brown 
75c4762a1bSJed Brown     for (j=0; j<bs*bs; j++) {
76*9566063dSJacob Faibussowitsch       PetscCall(PetscRandomGetValue(rand,&rval));
77c4762a1bSJed Brown       vals[j] = rval;
78c4762a1bSJed Brown     }
79*9566063dSJacob Faibussowitsch     PetscCall(MatSetValues(A,bs,rows,bs,cols,vals,ADD_VALUES));
80c4762a1bSJed Brown   }
81c4762a1bSJed Brown 
82*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY));
83*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY));
84c4762a1bSJed Brown 
85c4762a1bSJed Brown   /* make A a symmetric matrix: A <- A^T + A */
86*9566063dSJacob Faibussowitsch   PetscCall(MatTranspose(A,MAT_INITIAL_MATRIX, &Atrans));
87*9566063dSJacob Faibussowitsch   PetscCall(MatAXPY(A,one,Atrans,DIFFERENT_NONZERO_PATTERN));
88*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&Atrans));
89*9566063dSJacob Faibussowitsch   PetscCall(MatTranspose(A,MAT_INITIAL_MATRIX, &Atrans));
90*9566063dSJacob Faibussowitsch   PetscCall(MatEqual(A, Atrans, &flg));
91c4762a1bSJed Brown   if (flg) {
92*9566063dSJacob Faibussowitsch     PetscCall(MatSetOption(A,MAT_SYMMETRIC,PETSC_TRUE));
93c4762a1bSJed Brown   } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_PLIB,"A+A^T is non-symmetric");
94*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&Atrans));
95c4762a1bSJed Brown 
96c4762a1bSJed Brown   /* create a SeqSBAIJ matrix sA (= A) */
97*9566063dSJacob Faibussowitsch   PetscCall(MatConvert(A,MATSBAIJ,MAT_INITIAL_MATRIX,&sA));
98c4762a1bSJed Brown   if (vid >= 0 && vid < size) {
99*9566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(PETSC_VIEWER_STDOUT_WORLD,"A:\n"));
100*9566063dSJacob Faibussowitsch     PetscCall(MatView(A,PETSC_VIEWER_STDOUT_WORLD));
101*9566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(PETSC_VIEWER_STDOUT_WORLD,"sA:\n"));
102*9566063dSJacob Faibussowitsch     PetscCall(MatView(sA,PETSC_VIEWER_STDOUT_WORLD));
103c4762a1bSJed Brown   }
104c4762a1bSJed Brown 
105c4762a1bSJed Brown   /* Test sA==A through MatMult() */
106*9566063dSJacob Faibussowitsch   PetscCall(MatMultEqual(A,sA,10,&flg));
10728b400f6SJacob Faibussowitsch   PetscCheck(flg,PETSC_COMM_SELF,PETSC_ERR_ARG_WRONG,"Error in MatConvert(): A != sA");
108c4762a1bSJed Brown 
109c4762a1bSJed Brown   /* Test MatIncreaseOverlap() */
110*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nd,&is1));
111*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nd,&is2));
112c4762a1bSJed Brown 
113c4762a1bSJed Brown   for (i=0; i<nd; i++) {
114c4762a1bSJed Brown     if (!TestAllcols) {
115*9566063dSJacob Faibussowitsch       PetscCall(PetscRandomGetValue(rand,&rval));
116c4762a1bSJed Brown       sz   = (PetscInt)((0.5+0.2*PetscRealPart(rval))*mbs); /* 0.5*mbs < sz < 0.7*mbs */
117c4762a1bSJed Brown 
118c4762a1bSJed Brown       for (j=0; j<sz; j++) {
119*9566063dSJacob Faibussowitsch         PetscCall(PetscRandomGetValue(rand,&rval));
120c4762a1bSJed Brown         idx[j*bs] = bs*(PetscInt)(PetscRealPart(rval)*Mbs);
121c4762a1bSJed Brown         for (k=1; k<bs; k++) idx[j*bs+k] = idx[j*bs]+k;
122c4762a1bSJed Brown       }
123*9566063dSJacob Faibussowitsch       PetscCall(ISCreateGeneral(PETSC_COMM_SELF,sz*bs,idx,PETSC_COPY_VALUES,is1+i));
124*9566063dSJacob Faibussowitsch       PetscCall(ISCreateGeneral(PETSC_COMM_SELF,sz*bs,idx,PETSC_COPY_VALUES,is2+i));
125c4762a1bSJed Brown       if (rank == vid) {
126*9566063dSJacob Faibussowitsch         PetscCall(PetscPrintf(PETSC_COMM_SELF," [%d] IS sz[%" PetscInt_FMT "]: %" PetscInt_FMT "\n",rank,i,sz));
127*9566063dSJacob Faibussowitsch         PetscCall(ISView(is2[i],PETSC_VIEWER_STDOUT_SELF));
128c4762a1bSJed Brown       }
129a5b23f4aSJose E. Roman     } else { /* Test all rows and columns */
130c4762a1bSJed Brown       sz   = M;
131*9566063dSJacob Faibussowitsch       PetscCall(ISCreateStride(PETSC_COMM_SELF,sz,0,1,is1+i));
132*9566063dSJacob Faibussowitsch       PetscCall(ISCreateStride(PETSC_COMM_SELF,sz,0,1,is2+i));
133c4762a1bSJed Brown 
134c4762a1bSJed Brown       if (rank == vid) {
135c4762a1bSJed Brown         PetscBool colflag;
136*9566063dSJacob Faibussowitsch         PetscCall(ISIdentity(is2[i],&colflag));
137*9566063dSJacob Faibussowitsch         PetscCall(PetscPrintf(PETSC_COMM_SELF,"[%d] is2[%" PetscInt_FMT "], colflag %d\n",rank,i,colflag));
138*9566063dSJacob Faibussowitsch         PetscCall(ISView(is2[i],PETSC_VIEWER_STDOUT_SELF));
139c4762a1bSJed Brown       }
140c4762a1bSJed Brown     }
141c4762a1bSJed Brown   }
142c4762a1bSJed Brown 
143*9566063dSJacob Faibussowitsch   PetscCall(PetscLogStageRegister("MatOv_SBAIJ",&stages[0]));
144*9566063dSJacob Faibussowitsch   PetscCall(PetscLogStageRegister("MatOv_BAIJ",&stages[1]));
145c4762a1bSJed Brown 
146c4762a1bSJed Brown   /* Test MatIncreaseOverlap */
147c4762a1bSJed Brown   if (TestOverlap) {
148*9566063dSJacob Faibussowitsch     PetscCall(PetscLogStagePush(stages[0]));
149*9566063dSJacob Faibussowitsch     PetscCall(MatIncreaseOverlap(sA,nd,is2,ov));
150*9566063dSJacob Faibussowitsch     PetscCall(PetscLogStagePop());
151c4762a1bSJed Brown 
152*9566063dSJacob Faibussowitsch     PetscCall(PetscLogStagePush(stages[1]));
153*9566063dSJacob Faibussowitsch     PetscCall(MatIncreaseOverlap(A,nd,is1,ov));
154*9566063dSJacob Faibussowitsch     PetscCall(PetscLogStagePop());
155c4762a1bSJed Brown 
156c4762a1bSJed Brown     if (rank == vid) {
157*9566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_SELF,"\n[%d] IS from BAIJ:\n",rank));
158*9566063dSJacob Faibussowitsch       PetscCall(ISView(is1[0],PETSC_VIEWER_STDOUT_SELF));
159*9566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_SELF,"\n[%d] IS from SBAIJ:\n",rank));
160*9566063dSJacob Faibussowitsch       PetscCall(ISView(is2[0],PETSC_VIEWER_STDOUT_SELF));
161c4762a1bSJed Brown     }
162c4762a1bSJed Brown 
163c4762a1bSJed Brown     for (i=0; i<nd; ++i) {
164*9566063dSJacob Faibussowitsch       PetscCall(ISEqual(is1[i],is2[i],&flg));
165c4762a1bSJed Brown       if (!flg) {
166dd400576SPatrick Sanan         if (rank == 0) {
167*9566063dSJacob Faibussowitsch           PetscCall(ISSort(is1[i]));
168*9566063dSJacob Faibussowitsch           PetscCall(ISSort(is2[i]));
169c4762a1bSJed Brown         }
17098921bdaSJacob Faibussowitsch         SETERRQ(PETSC_COMM_SELF,PETSC_ERR_PLIB,"i=%" PetscInt_FMT ", is1 != is2",i);
171c4762a1bSJed Brown       }
172c4762a1bSJed Brown     }
173c4762a1bSJed Brown   }
174c4762a1bSJed Brown 
175c4762a1bSJed Brown   /* Test MatCreateSubmatrices */
176c4762a1bSJed Brown   if (TestSubMat) {
177c4762a1bSJed Brown     if (test_sorted) {
178c4762a1bSJed Brown       for (i = 0; i < nd; ++i) {
179*9566063dSJacob Faibussowitsch         PetscCall(ISSort(is1[i]));
180c4762a1bSJed Brown       }
181c4762a1bSJed Brown     }
182*9566063dSJacob Faibussowitsch     PetscCall(MatCreateSubMatrices(A,nd,is1,is1,MAT_INITIAL_MATRIX,&submatA));
183*9566063dSJacob Faibussowitsch     PetscCall(MatCreateSubMatrices(sA,nd,is1,is1,MAT_INITIAL_MATRIX,&submatsA));
184c4762a1bSJed Brown 
185*9566063dSJacob Faibussowitsch     PetscCall(MatMultEqual(A,sA,10,&flg));
18628b400f6SJacob Faibussowitsch     PetscCheck(flg,PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"A != sA");
187c4762a1bSJed Brown 
188c4762a1bSJed Brown     /* Now test MatCreateSubmatrices with MAT_REUSE_MATRIX option */
189*9566063dSJacob Faibussowitsch     PetscCall(MatCreateSubMatrices(A,nd,is1,is1,MAT_REUSE_MATRIX,&submatA));
190*9566063dSJacob Faibussowitsch     PetscCall(MatCreateSubMatrices(sA,nd,is1,is1,MAT_REUSE_MATRIX,&submatsA));
191*9566063dSJacob Faibussowitsch     PetscCall(MatMultEqual(A,sA,10,&flg));
19228b400f6SJacob Faibussowitsch     PetscCheck(flg,PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"MatCreateSubmatrices(): A != sA");
193c4762a1bSJed Brown 
194*9566063dSJacob Faibussowitsch     PetscCall(MatDestroySubMatrices(nd,&submatA));
195*9566063dSJacob Faibussowitsch     PetscCall(MatDestroySubMatrices(nd,&submatsA));
196c4762a1bSJed Brown   }
197c4762a1bSJed Brown 
198c4762a1bSJed Brown   /* Free allocated memory */
199c4762a1bSJed Brown   for (i=0; i<nd; ++i) {
200*9566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is1[i]));
201*9566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is2[i]));
202c4762a1bSJed Brown   }
203*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(is1));
204*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(is2));
205*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(idx));
206*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(rows));
207*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(cols));
208*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(vals));
209*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A));
210*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&sA));
211*9566063dSJacob Faibussowitsch   PetscCall(PetscRandomDestroy(&rand));
212*9566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
213b122ec5aSJacob Faibussowitsch   return 0;
214c4762a1bSJed Brown }
215c4762a1bSJed Brown 
216c4762a1bSJed Brown /*TEST
217c4762a1bSJed Brown 
218c4762a1bSJed Brown    test:
219c4762a1bSJed Brown       args: -ov {{1 3}} -mat_block_size {{2 8}} -test_overlap -test_submat
220c4762a1bSJed Brown       output_file: output/ex92_1.out
221c4762a1bSJed Brown 
222c4762a1bSJed Brown    test:
223c4762a1bSJed Brown       suffix: 2
224c4762a1bSJed Brown       nsize: {{3 4}}
225c4762a1bSJed Brown       args: -ov {{1 3}} -mat_block_size {{2 8}} -test_overlap -test_submat
226c4762a1bSJed Brown       output_file: output/ex92_1.out
227c4762a1bSJed Brown 
228c4762a1bSJed Brown    test:
229c4762a1bSJed Brown       suffix: 3
230c4762a1bSJed Brown       nsize: {{3 4}}
231c4762a1bSJed Brown       args: -ov {{1 3}} -mat_block_size {{2 8}} -test_overlap -test_allcols
232c4762a1bSJed Brown       output_file: output/ex92_1.out
233c4762a1bSJed Brown 
234c4762a1bSJed Brown    test:
235c4762a1bSJed Brown       suffix: 3_sorted
236c4762a1bSJed Brown       nsize: {{3 4}}
237c4762a1bSJed Brown       args: -ov {{1 3}} -mat_block_size {{2 8}} -test_overlap -test_allcols -test_sorted
238c4762a1bSJed Brown       output_file: output/ex92_1.out
239c4762a1bSJed Brown 
240c4762a1bSJed Brown    test:
241c4762a1bSJed Brown       suffix: 4
242c4762a1bSJed Brown       nsize: {{3 4}}
243c4762a1bSJed Brown       args: -ov {{1 3}} -mat_block_size {{2 8}} -test_submat -test_allcols
244c4762a1bSJed Brown       output_file: output/ex92_1.out
245c4762a1bSJed Brown 
246c4762a1bSJed Brown TEST*/
247