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