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