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