xref: /petsc/src/mat/tests/ex73.c (revision 9566063d113dddea24716c546802770db7481bc0)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown static char help[] = "Reads a PETSc matrix from a file partitions it\n\n";
3c4762a1bSJed Brown 
4c4762a1bSJed Brown /*T
5c4762a1bSJed Brown    Concepts: partitioning
6c4762a1bSJed Brown    Processors: n
7c4762a1bSJed Brown T*/
8c4762a1bSJed Brown 
9c4762a1bSJed Brown /*
10c4762a1bSJed Brown   Include "petscmat.h" so that we can use matrices.  Note that this file
11c4762a1bSJed Brown   automatically includes:
12c4762a1bSJed Brown      petscsys.h       - base PETSc routines   petscvec.h - vectors
13c4762a1bSJed Brown      petscmat.h - matrices
14c4762a1bSJed Brown      petscis.h     - index sets
15c4762a1bSJed Brown      petscviewer.h - viewers
16c4762a1bSJed Brown 
17c4762a1bSJed Brown   Example of usage:
18c4762a1bSJed Brown     mpiexec -n 3 ex73 -f <matfile> -mat_partitioning_type parmetis/scotch -viewer_binary_skip_info -nox
19c4762a1bSJed Brown */
20c4762a1bSJed Brown #include <petscmat.h>
21c4762a1bSJed Brown 
22c4762a1bSJed Brown int main(int argc,char **args)
23c4762a1bSJed Brown {
24c4762a1bSJed Brown   MatType         mtype = MATMPIAIJ; /* matrix format */
25c4762a1bSJed Brown   Mat             A,B;               /* matrix */
26c4762a1bSJed Brown   PetscViewer     fd;                /* viewer */
27c4762a1bSJed Brown   char            file[PETSC_MAX_PATH_LEN];         /* input file name */
28c4762a1bSJed Brown   PetscBool       flg,viewMats,viewIS,viewVecs,useND,noVecLoad = PETSC_FALSE;
29b122ec5aSJacob Faibussowitsch   PetscInt        *nlocal,m,n;
30c4762a1bSJed Brown   PetscMPIInt     rank,size;
31c4762a1bSJed Brown   MatPartitioning part;
32c4762a1bSJed Brown   IS              is,isn;
33c4762a1bSJed Brown   Vec             xin, xout;
34c4762a1bSJed Brown   VecScatter      scat;
35c4762a1bSJed Brown 
36*9566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&args,(char*)0,help));
37*9566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD,&size));
38*9566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD,&rank));
39*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsHasName(NULL,NULL, "-view_mats", &viewMats));
40*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsHasName(NULL,NULL, "-view_is", &viewIS));
41*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsHasName(NULL,NULL, "-view_vecs", &viewVecs));
42*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsHasName(NULL,NULL, "-use_nd", &useND));
43*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsHasName(NULL,NULL, "-novec_load", &noVecLoad));
44c4762a1bSJed Brown 
45c4762a1bSJed Brown   /*
46c4762a1bSJed Brown      Determine file from which we read the matrix
47c4762a1bSJed Brown   */
48*9566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetString(NULL,NULL,"-f",file,sizeof(file),&flg));
49c4762a1bSJed Brown 
50c4762a1bSJed Brown   /*
51c4762a1bSJed Brown        Open binary file.  Note that we use FILE_MODE_READ to indicate
52c4762a1bSJed Brown        reading from this file.
53c4762a1bSJed Brown   */
54*9566063dSJacob Faibussowitsch   PetscCall(PetscViewerBinaryOpen(PETSC_COMM_WORLD,file,FILE_MODE_READ,&fd));
55c4762a1bSJed Brown 
56c4762a1bSJed Brown   /*
57c4762a1bSJed Brown       Load the matrix and vector; then destroy the viewer.
58c4762a1bSJed Brown   */
59*9566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD,&A));
60*9566063dSJacob Faibussowitsch   PetscCall(MatSetType(A,mtype));
61*9566063dSJacob Faibussowitsch   PetscCall(MatLoad(A,fd));
62c4762a1bSJed Brown   if (!noVecLoad) {
63*9566063dSJacob Faibussowitsch     PetscCall(VecCreate(PETSC_COMM_WORLD,&xin));
64*9566063dSJacob Faibussowitsch     PetscCall(VecLoad(xin,fd));
65c4762a1bSJed Brown   } else {
66*9566063dSJacob Faibussowitsch     PetscCall(MatCreateVecs(A,&xin,NULL));
67*9566063dSJacob Faibussowitsch     PetscCall(VecSetRandom(xin,NULL));
68c4762a1bSJed Brown   }
69*9566063dSJacob Faibussowitsch   PetscCall(PetscViewerDestroy(&fd));
70c4762a1bSJed Brown   if (viewMats) {
71*9566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Original matrix:\n"));
72*9566063dSJacob Faibussowitsch     PetscCall(MatView(A,PETSC_VIEWER_DRAW_WORLD));
73c4762a1bSJed Brown   }
74c4762a1bSJed Brown   if (viewVecs) {
75*9566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Original vector:\n"));
76*9566063dSJacob Faibussowitsch     PetscCall(VecView(xin,PETSC_VIEWER_STDOUT_WORLD));
77c4762a1bSJed Brown   }
78c4762a1bSJed Brown 
79c4762a1bSJed Brown   /* Partition the graph of the matrix */
80*9566063dSJacob Faibussowitsch   PetscCall(MatPartitioningCreate(PETSC_COMM_WORLD,&part));
81*9566063dSJacob Faibussowitsch   PetscCall(MatPartitioningSetAdjacency(part,A));
82*9566063dSJacob Faibussowitsch   PetscCall(MatPartitioningSetFromOptions(part));
83c4762a1bSJed Brown 
84c4762a1bSJed Brown   /* get new processor owner number of each vertex */
85c4762a1bSJed Brown   if (useND) {
86*9566063dSJacob Faibussowitsch     PetscCall(MatPartitioningApplyND(part,&is));
87c4762a1bSJed Brown   } else {
88*9566063dSJacob Faibussowitsch     PetscCall(MatPartitioningApply(part,&is));
89c4762a1bSJed Brown   }
90c4762a1bSJed Brown   if (viewIS) {
91*9566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"IS1 - new processor ownership:\n"));
92*9566063dSJacob Faibussowitsch     PetscCall(ISView(is,PETSC_VIEWER_STDOUT_WORLD));
93c4762a1bSJed Brown   }
94c4762a1bSJed Brown 
95c4762a1bSJed Brown   /* get new global number of each old global number */
96*9566063dSJacob Faibussowitsch   PetscCall(ISPartitioningToNumbering(is,&isn));
97c4762a1bSJed Brown   if (viewIS) {
98*9566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"IS2 - new global numbering:\n"));
99*9566063dSJacob Faibussowitsch     PetscCall(ISView(isn,PETSC_VIEWER_STDOUT_WORLD));
100c4762a1bSJed Brown   }
101c4762a1bSJed Brown 
102c4762a1bSJed Brown   /* get number of new vertices for each processor */
103*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(size,&nlocal));
104*9566063dSJacob Faibussowitsch   PetscCall(ISPartitioningCount(is,size,nlocal));
105*9566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is));
106c4762a1bSJed Brown 
107c4762a1bSJed Brown   /* get old global number of each new global number */
108*9566063dSJacob Faibussowitsch   PetscCall(ISInvertPermutation(isn,useND ? PETSC_DECIDE : nlocal[rank],&is));
109c4762a1bSJed Brown   if (viewIS) {
110*9566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"IS3=inv(IS2) - old global number of each new global number:\n"));
111*9566063dSJacob Faibussowitsch     PetscCall(ISView(is,PETSC_VIEWER_STDOUT_WORLD));
112c4762a1bSJed Brown   }
113c4762a1bSJed Brown 
114c4762a1bSJed Brown   /* move the matrix rows to the new processes they have been assigned to by the permutation */
115*9566063dSJacob Faibussowitsch   PetscCall(MatCreateSubMatrix(A,is,is,MAT_INITIAL_MATRIX,&B));
116*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(nlocal));
117*9566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&isn));
118*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A));
119*9566063dSJacob Faibussowitsch   PetscCall(MatPartitioningDestroy(&part));
120c4762a1bSJed Brown   if (viewMats) {
121*9566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Partitioned matrix:\n"));
122*9566063dSJacob Faibussowitsch     PetscCall(MatView(B,PETSC_VIEWER_DRAW_WORLD));
123c4762a1bSJed Brown   }
124c4762a1bSJed Brown 
125c4762a1bSJed Brown   /* move the vector rows to the new processes they have been assigned to */
126*9566063dSJacob Faibussowitsch   PetscCall(MatGetLocalSize(B,&m,&n));
127*9566063dSJacob Faibussowitsch   PetscCall(VecCreateMPI(PETSC_COMM_WORLD,m,PETSC_DECIDE,&xout));
128*9566063dSJacob Faibussowitsch   PetscCall(VecScatterCreate(xin,is,xout,NULL,&scat));
129*9566063dSJacob Faibussowitsch   PetscCall(VecScatterBegin(scat,xin,xout,INSERT_VALUES,SCATTER_FORWARD));
130*9566063dSJacob Faibussowitsch   PetscCall(VecScatterEnd(scat,xin,xout,INSERT_VALUES,SCATTER_FORWARD));
131*9566063dSJacob Faibussowitsch   PetscCall(VecScatterDestroy(&scat));
132c4762a1bSJed Brown   if (viewVecs) {
133*9566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Mapped vector:\n"));
134*9566063dSJacob Faibussowitsch     PetscCall(VecView(xout,PETSC_VIEWER_STDOUT_WORLD));
135c4762a1bSJed Brown   }
136*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&xout));
137*9566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is));
138c4762a1bSJed Brown 
139c4762a1bSJed Brown   {
140c4762a1bSJed Brown     PetscInt          rstart,i,*nzd,*nzo,nzl,nzmax = 0,*ncols,nrow,j;
141c4762a1bSJed Brown     Mat               J;
142c4762a1bSJed Brown     const PetscInt    *cols;
143c4762a1bSJed Brown     const PetscScalar *vals;
144c4762a1bSJed Brown     PetscScalar       *nvals;
145c4762a1bSJed Brown 
146*9566063dSJacob Faibussowitsch     PetscCall(MatGetOwnershipRange(B,&rstart,NULL));
147*9566063dSJacob Faibussowitsch     PetscCall(PetscCalloc2(2*m,&nzd,2*m,&nzo));
148c4762a1bSJed Brown     for (i=0; i<m; i++) {
149*9566063dSJacob Faibussowitsch       PetscCall(MatGetRow(B,i+rstart,&nzl,&cols,NULL));
150c4762a1bSJed Brown       for (j=0; j<nzl; j++) {
151c4762a1bSJed Brown         if (cols[j] >= rstart && cols[j] < rstart+n) {
152c4762a1bSJed Brown           nzd[2*i] += 2;
153c4762a1bSJed Brown           nzd[2*i+1] += 2;
154c4762a1bSJed Brown         } else {
155c4762a1bSJed Brown           nzo[2*i] += 2;
156c4762a1bSJed Brown           nzo[2*i+1] += 2;
157c4762a1bSJed Brown         }
158c4762a1bSJed Brown       }
159c4762a1bSJed Brown       nzmax = PetscMax(nzmax,nzd[2*i]+nzo[2*i]);
160*9566063dSJacob Faibussowitsch       PetscCall(MatRestoreRow(B,i+rstart,&nzl,&cols,NULL));
161c4762a1bSJed Brown     }
162*9566063dSJacob Faibussowitsch     PetscCall(MatCreateAIJ(PETSC_COMM_WORLD,2*m,2*m,PETSC_DECIDE,PETSC_DECIDE,0,nzd,0,nzo,&J));
163*9566063dSJacob Faibussowitsch     PetscCall(PetscInfo(0,"Created empty Jacobian matrix\n"));
164*9566063dSJacob Faibussowitsch     PetscCall(PetscFree2(nzd,nzo));
165*9566063dSJacob Faibussowitsch     PetscCall(PetscMalloc2(nzmax,&ncols,nzmax,&nvals));
166*9566063dSJacob Faibussowitsch     PetscCall(PetscArrayzero(nvals,nzmax));
167c4762a1bSJed Brown     for (i=0; i<m; i++) {
168*9566063dSJacob Faibussowitsch       PetscCall(MatGetRow(B,i+rstart,&nzl,&cols,&vals));
169c4762a1bSJed Brown       for (j=0; j<nzl; j++) {
170c4762a1bSJed Brown         ncols[2*j]   = 2*cols[j];
171c4762a1bSJed Brown         ncols[2*j+1] = 2*cols[j]+1;
172c4762a1bSJed Brown       }
173c4762a1bSJed Brown       nrow = 2*(i+rstart);
174*9566063dSJacob Faibussowitsch       PetscCall(MatSetValues(J,1,&nrow,2*nzl,ncols,nvals,INSERT_VALUES));
175c4762a1bSJed Brown       nrow = 2*(i+rstart) + 1;
176*9566063dSJacob Faibussowitsch       PetscCall(MatSetValues(J,1,&nrow,2*nzl,ncols,nvals,INSERT_VALUES));
177*9566063dSJacob Faibussowitsch       PetscCall(MatRestoreRow(B,i+rstart,&nzl,&cols,&vals));
178c4762a1bSJed Brown     }
179*9566063dSJacob Faibussowitsch     PetscCall(MatAssemblyBegin(J,MAT_FINAL_ASSEMBLY));
180*9566063dSJacob Faibussowitsch     PetscCall(MatAssemblyEnd(J,MAT_FINAL_ASSEMBLY));
181c4762a1bSJed Brown     if (viewMats) {
182*9566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Jacobian matrix structure:\n"));
183*9566063dSJacob Faibussowitsch       PetscCall(MatView(J,PETSC_VIEWER_DRAW_WORLD));
184c4762a1bSJed Brown     }
185*9566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&J));
186*9566063dSJacob Faibussowitsch     PetscCall(PetscFree2(ncols,nvals));
187c4762a1bSJed Brown   }
188c4762a1bSJed Brown 
189c4762a1bSJed Brown   /*
190c4762a1bSJed Brown        Free work space.  All PETSc objects should be destroyed when they
191c4762a1bSJed Brown        are no longer needed.
192c4762a1bSJed Brown   */
193*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B));
194*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&xin));
195*9566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
196b122ec5aSJacob Faibussowitsch   return 0;
197c4762a1bSJed Brown }
198c4762a1bSJed Brown 
199c4762a1bSJed Brown /*TEST
200c4762a1bSJed Brown 
201c4762a1bSJed Brown    test:
202c4762a1bSJed Brown       nsize: 3
203dfd57a17SPierre Jolivet       requires: parmetis datafilespath !complex double !defined(PETSC_USE_64BIT_INDICES)
204c4762a1bSJed Brown       args: -nox -f ${DATAFILESPATH}/matrices/arco1 -mat_partitioning_type parmetis -viewer_binary_skip_info -novec_load
205c4762a1bSJed Brown 
206c4762a1bSJed Brown    test:
207dfd57a17SPierre Jolivet       requires: parmetis !complex double !defined(PETSC_USE_64BIT_INDICES)
208c4762a1bSJed Brown       output_file: output/ex73_1.out
209c4762a1bSJed Brown       suffix: parmetis_nd_32
210c4762a1bSJed Brown       nsize: 3
211c4762a1bSJed Brown       args: -nox -f ${wPETSC_DIR}/share/petsc/datafiles/matrices/spd-real-int32-float64 -mat_partitioning_type parmetis -viewer_binary_skip_info -use_nd -novec_load
212c4762a1bSJed Brown 
213c4762a1bSJed Brown    test:
214dfd57a17SPierre Jolivet       requires: parmetis !complex double defined(PETSC_USE_64BIT_INDICES)
215c4762a1bSJed Brown       output_file: output/ex73_1.out
216c4762a1bSJed Brown       suffix: parmetis_nd_64
217c4762a1bSJed Brown       nsize: 3
218c4762a1bSJed Brown       args: -nox -f ${wPETSC_DIR}/share/petsc/datafiles/matrices/spd-real-int64-float64 -mat_partitioning_type parmetis -viewer_binary_skip_info -use_nd -novec_load
219c4762a1bSJed Brown 
220c4762a1bSJed Brown    test:
221dfd57a17SPierre Jolivet       requires: ptscotch !complex double !defined(PETSC_USE_64BIT_INDICES) defined(PETSC_HAVE_SCOTCH_PARMETIS_V3_NODEND)
222c4762a1bSJed Brown       output_file: output/ex73_1.out
223c4762a1bSJed Brown       suffix: ptscotch_nd_32
224c4762a1bSJed Brown       nsize: 4
225c4762a1bSJed Brown       args: -nox -f ${wPETSC_DIR}/share/petsc/datafiles/matrices/spd-real-int32-float64 -mat_partitioning_type ptscotch -viewer_binary_skip_info -use_nd -novec_load
226c4762a1bSJed Brown 
227c4762a1bSJed Brown    test:
228dfd57a17SPierre Jolivet       requires: ptscotch !complex double defined(PETSC_USE_64BIT_INDICES) defined(PETSC_HAVE_SCOTCH_PARMETIS_V3_NODEND)
229c4762a1bSJed Brown       output_file: output/ex73_1.out
230c4762a1bSJed Brown       suffix: ptscotch_nd_64
231c4762a1bSJed Brown       nsize: 4
232c4762a1bSJed Brown       args: -nox -f ${wPETSC_DIR}/share/petsc/datafiles/matrices/spd-real-int64-float64 -mat_partitioning_type ptscotch -viewer_binary_skip_info -use_nd -novec_load
233c4762a1bSJed Brown 
234c4762a1bSJed Brown TEST*/
235