xref: /petsc/src/mat/tests/ex73.c (revision dfd57a172ac9fa6c7b5fe6de6ab5df85cefc2996)
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;
29c4762a1bSJed Brown   PetscInt        ierr,*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 
36c4762a1bSJed Brown   ierr = PetscInitialize(&argc,&args,(char*)0,help);if (ierr) return ierr;
37ffc4695bSBarry Smith   ierr = MPI_Comm_size(PETSC_COMM_WORLD,&size);CHKERRMPI(ierr);
38ffc4695bSBarry Smith   ierr = MPI_Comm_rank(PETSC_COMM_WORLD,&rank);CHKERRMPI(ierr);
39c4762a1bSJed Brown   ierr = PetscOptionsHasName(NULL,NULL, "-view_mats", &viewMats);CHKERRQ(ierr);
40c4762a1bSJed Brown   ierr = PetscOptionsHasName(NULL,NULL, "-view_is", &viewIS);CHKERRQ(ierr);
41c4762a1bSJed Brown   ierr = PetscOptionsHasName(NULL,NULL, "-view_vecs", &viewVecs);CHKERRQ(ierr);
42c4762a1bSJed Brown   ierr = PetscOptionsHasName(NULL,NULL, "-use_nd", &useND);CHKERRQ(ierr);
43c4762a1bSJed Brown   ierr = PetscOptionsHasName(NULL,NULL, "-novec_load", &noVecLoad);CHKERRQ(ierr);
44c4762a1bSJed Brown 
45c4762a1bSJed Brown   /*
46c4762a1bSJed Brown      Determine file from which we read the matrix
47c4762a1bSJed Brown   */
48589a23caSBarry Smith   ierr = PetscOptionsGetString(NULL,NULL,"-f",file,sizeof(file),&flg);CHKERRQ(ierr);
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   */
54c4762a1bSJed Brown   ierr = PetscViewerBinaryOpen(PETSC_COMM_WORLD,file,FILE_MODE_READ,&fd);CHKERRQ(ierr);
55c4762a1bSJed Brown 
56c4762a1bSJed Brown   /*
57c4762a1bSJed Brown       Load the matrix and vector; then destroy the viewer.
58c4762a1bSJed Brown   */
59c4762a1bSJed Brown   ierr = MatCreate(PETSC_COMM_WORLD,&A);CHKERRQ(ierr);
60c4762a1bSJed Brown   ierr = MatSetType(A,mtype);CHKERRQ(ierr);
61c4762a1bSJed Brown   ierr = MatLoad(A,fd);CHKERRQ(ierr);
62c4762a1bSJed Brown   if (!noVecLoad) {
63c4762a1bSJed Brown     ierr = VecCreate(PETSC_COMM_WORLD,&xin);CHKERRQ(ierr);
64c4762a1bSJed Brown     ierr = VecLoad(xin,fd);CHKERRQ(ierr);
65c4762a1bSJed Brown   } else {
66c4762a1bSJed Brown     ierr = MatCreateVecs(A,&xin,NULL);CHKERRQ(ierr);
67c4762a1bSJed Brown     ierr = VecSetRandom(xin,NULL);CHKERRQ(ierr);
68c4762a1bSJed Brown   }
69c4762a1bSJed Brown   ierr = PetscViewerDestroy(&fd);CHKERRQ(ierr);
70c4762a1bSJed Brown   if (viewMats) {
71c4762a1bSJed Brown     ierr = PetscPrintf(PETSC_COMM_WORLD,"Original matrix:\n");CHKERRQ(ierr);
72c4762a1bSJed Brown     ierr = MatView(A,PETSC_VIEWER_DRAW_WORLD);CHKERRQ(ierr);
73c4762a1bSJed Brown   }
74c4762a1bSJed Brown   if (viewVecs) {
75c4762a1bSJed Brown     ierr = PetscPrintf(PETSC_COMM_WORLD,"Original vector:\n");CHKERRQ(ierr);
76c4762a1bSJed Brown     ierr = VecView(xin,PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
77c4762a1bSJed Brown   }
78c4762a1bSJed Brown 
79c4762a1bSJed Brown   /* Partition the graph of the matrix */
80c4762a1bSJed Brown   ierr = MatPartitioningCreate(PETSC_COMM_WORLD,&part);CHKERRQ(ierr);
81c4762a1bSJed Brown   ierr = MatPartitioningSetAdjacency(part,A);CHKERRQ(ierr);
82c4762a1bSJed Brown   ierr = MatPartitioningSetFromOptions(part);CHKERRQ(ierr);
83c4762a1bSJed Brown 
84c4762a1bSJed Brown   /* get new processor owner number of each vertex */
85c4762a1bSJed Brown   if (useND) {
86c4762a1bSJed Brown     ierr = MatPartitioningApplyND(part,&is);CHKERRQ(ierr);
87c4762a1bSJed Brown   } else {
88c4762a1bSJed Brown     ierr = MatPartitioningApply(part,&is);CHKERRQ(ierr);
89c4762a1bSJed Brown   }
90c4762a1bSJed Brown   if (viewIS) {
91c4762a1bSJed Brown     ierr = PetscPrintf(PETSC_COMM_WORLD,"IS1 - new processor ownership:\n");CHKERRQ(ierr);
92c4762a1bSJed Brown     ierr = ISView(is,PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
93c4762a1bSJed Brown   }
94c4762a1bSJed Brown 
95c4762a1bSJed Brown   /* get new global number of each old global number */
96c4762a1bSJed Brown   ierr = ISPartitioningToNumbering(is,&isn);CHKERRQ(ierr);
97c4762a1bSJed Brown   if (viewIS) {
98c4762a1bSJed Brown     ierr = PetscPrintf(PETSC_COMM_WORLD,"IS2 - new global numbering:\n");CHKERRQ(ierr);
99c4762a1bSJed Brown     ierr = ISView(isn,PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
100c4762a1bSJed Brown   }
101c4762a1bSJed Brown 
102c4762a1bSJed Brown   /* get number of new vertices for each processor */
103c4762a1bSJed Brown   ierr = PetscMalloc1(size,&nlocal);CHKERRQ(ierr);
104c4762a1bSJed Brown   ierr = ISPartitioningCount(is,size,nlocal);CHKERRQ(ierr);
105c4762a1bSJed Brown   ierr = ISDestroy(&is);CHKERRQ(ierr);
106c4762a1bSJed Brown 
107c4762a1bSJed Brown   /* get old global number of each new global number */
108c4762a1bSJed Brown   ierr = ISInvertPermutation(isn,useND ? PETSC_DECIDE : nlocal[rank],&is);CHKERRQ(ierr);
109c4762a1bSJed Brown   if (viewIS) {
110c4762a1bSJed Brown     ierr = PetscPrintf(PETSC_COMM_WORLD,"IS3=inv(IS2) - old global number of each new global number:\n");CHKERRQ(ierr);
111c4762a1bSJed Brown     ierr = ISView(is,PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
112c4762a1bSJed Brown   }
113c4762a1bSJed Brown 
114c4762a1bSJed Brown   /* move the matrix rows to the new processes they have been assigned to by the permutation */
115c4762a1bSJed Brown   ierr = MatCreateSubMatrix(A,is,is,MAT_INITIAL_MATRIX,&B);CHKERRQ(ierr);
116c4762a1bSJed Brown   ierr = PetscFree(nlocal);CHKERRQ(ierr);
117c4762a1bSJed Brown   ierr = ISDestroy(&isn);CHKERRQ(ierr);
118c4762a1bSJed Brown   ierr = MatDestroy(&A);CHKERRQ(ierr);
119c4762a1bSJed Brown   ierr = MatPartitioningDestroy(&part);CHKERRQ(ierr);
120c4762a1bSJed Brown   if (viewMats) {
121c4762a1bSJed Brown     ierr = PetscPrintf(PETSC_COMM_WORLD,"Partitioned matrix:\n");CHKERRQ(ierr);
122c4762a1bSJed Brown     ierr = MatView(B,PETSC_VIEWER_DRAW_WORLD);CHKERRQ(ierr);
123c4762a1bSJed Brown   }
124c4762a1bSJed Brown 
125c4762a1bSJed Brown   /* move the vector rows to the new processes they have been assigned to */
126c4762a1bSJed Brown   ierr = MatGetLocalSize(B,&m,&n);CHKERRQ(ierr);
127c4762a1bSJed Brown   ierr = VecCreateMPI(PETSC_COMM_WORLD,m,PETSC_DECIDE,&xout);CHKERRQ(ierr);
128c4762a1bSJed Brown   ierr = VecScatterCreate(xin,is,xout,NULL,&scat);CHKERRQ(ierr);
129c4762a1bSJed Brown   ierr = VecScatterBegin(scat,xin,xout,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
130c4762a1bSJed Brown   ierr = VecScatterEnd(scat,xin,xout,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
131c4762a1bSJed Brown   ierr = VecScatterDestroy(&scat);CHKERRQ(ierr);
132c4762a1bSJed Brown   if (viewVecs) {
133c4762a1bSJed Brown     ierr = PetscPrintf(PETSC_COMM_WORLD,"Mapped vector:\n");CHKERRQ(ierr);
134c4762a1bSJed Brown     ierr = VecView(xout,PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
135c4762a1bSJed Brown   }
136c4762a1bSJed Brown   ierr = VecDestroy(&xout);CHKERRQ(ierr);
137c4762a1bSJed Brown   ierr = ISDestroy(&is);CHKERRQ(ierr);
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 
146c4762a1bSJed Brown     ierr = MatGetOwnershipRange(B,&rstart,NULL);CHKERRQ(ierr);
147c4762a1bSJed Brown     ierr = PetscCalloc2(2*m,&nzd,2*m,&nzo);CHKERRQ(ierr);
148c4762a1bSJed Brown     for (i=0; i<m; i++) {
149c4762a1bSJed Brown       ierr = MatGetRow(B,i+rstart,&nzl,&cols,NULL);CHKERRQ(ierr);
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]);
160c4762a1bSJed Brown       ierr  = MatRestoreRow(B,i+rstart,&nzl,&cols,NULL);CHKERRQ(ierr);
161c4762a1bSJed Brown     }
162c4762a1bSJed Brown     ierr = MatCreateAIJ(PETSC_COMM_WORLD,2*m,2*m,PETSC_DECIDE,PETSC_DECIDE,0,nzd,0,nzo,&J);CHKERRQ(ierr);
163c4762a1bSJed Brown     ierr = PetscInfo(0,"Created empty Jacobian matrix\n");CHKERRQ(ierr);
164c4762a1bSJed Brown     ierr = PetscFree2(nzd,nzo);CHKERRQ(ierr);
165c4762a1bSJed Brown     ierr = PetscMalloc2(nzmax,&ncols,nzmax,&nvals);CHKERRQ(ierr);
166c4762a1bSJed Brown     ierr = PetscArrayzero(nvals,nzmax);CHKERRQ(ierr);
167c4762a1bSJed Brown     for (i=0; i<m; i++) {
168c4762a1bSJed Brown       ierr = MatGetRow(B,i+rstart,&nzl,&cols,&vals);CHKERRQ(ierr);
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);
174c4762a1bSJed Brown       ierr = MatSetValues(J,1,&nrow,2*nzl,ncols,nvals,INSERT_VALUES);CHKERRQ(ierr);
175c4762a1bSJed Brown       nrow = 2*(i+rstart) + 1;
176c4762a1bSJed Brown       ierr = MatSetValues(J,1,&nrow,2*nzl,ncols,nvals,INSERT_VALUES);CHKERRQ(ierr);
177c4762a1bSJed Brown       ierr = MatRestoreRow(B,i+rstart,&nzl,&cols,&vals);CHKERRQ(ierr);
178c4762a1bSJed Brown     }
179c4762a1bSJed Brown     ierr = MatAssemblyBegin(J,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
180c4762a1bSJed Brown     ierr = MatAssemblyEnd(J,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
181c4762a1bSJed Brown     if (viewMats) {
182c4762a1bSJed Brown       ierr = PetscPrintf(PETSC_COMM_WORLD,"Jacobian matrix structure:\n");CHKERRQ(ierr);
183c4762a1bSJed Brown       ierr = MatView(J,PETSC_VIEWER_DRAW_WORLD);CHKERRQ(ierr);
184c4762a1bSJed Brown     }
185c4762a1bSJed Brown     ierr = MatDestroy(&J);CHKERRQ(ierr);
186c4762a1bSJed Brown     ierr = PetscFree2(ncols,nvals);CHKERRQ(ierr);
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   */
193c4762a1bSJed Brown   ierr = MatDestroy(&B);CHKERRQ(ierr);
194c4762a1bSJed Brown   ierr = VecDestroy(&xin);CHKERRQ(ierr);
195c4762a1bSJed Brown   ierr = PetscFinalize();
196c4762a1bSJed Brown   return ierr;
197c4762a1bSJed Brown }
198c4762a1bSJed Brown 
199c4762a1bSJed Brown /*TEST
200c4762a1bSJed Brown 
201c4762a1bSJed Brown    test:
202c4762a1bSJed Brown       nsize: 3
203*dfd57a17SPierre 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:
207*dfd57a17SPierre 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:
214*dfd57a17SPierre 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:
221*dfd57a17SPierre 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:
228*dfd57a17SPierre 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