xref: /petsc/src/mat/tests/ex73.c (revision b122ec5aa1bd4469eb4e0673542fb7de3f411254)
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;
29*b122ec5aSJacob 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*b122ec5aSJacob Faibussowitsch   CHKERRQ(PetscInitialize(&argc,&args,(char*)0,help));
375f80ce2aSJacob Faibussowitsch   CHKERRMPI(MPI_Comm_size(PETSC_COMM_WORLD,&size));
385f80ce2aSJacob Faibussowitsch   CHKERRMPI(MPI_Comm_rank(PETSC_COMM_WORLD,&rank));
395f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsHasName(NULL,NULL, "-view_mats", &viewMats));
405f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsHasName(NULL,NULL, "-view_is", &viewIS));
415f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsHasName(NULL,NULL, "-view_vecs", &viewVecs));
425f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsHasName(NULL,NULL, "-use_nd", &useND));
435f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsHasName(NULL,NULL, "-novec_load", &noVecLoad));
44c4762a1bSJed Brown 
45c4762a1bSJed Brown   /*
46c4762a1bSJed Brown      Determine file from which we read the matrix
47c4762a1bSJed Brown   */
485f80ce2aSJacob Faibussowitsch   CHKERRQ(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   */
545f80ce2aSJacob Faibussowitsch   CHKERRQ(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   */
595f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreate(PETSC_COMM_WORLD,&A));
605f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetType(A,mtype));
615f80ce2aSJacob Faibussowitsch   CHKERRQ(MatLoad(A,fd));
62c4762a1bSJed Brown   if (!noVecLoad) {
635f80ce2aSJacob Faibussowitsch     CHKERRQ(VecCreate(PETSC_COMM_WORLD,&xin));
645f80ce2aSJacob Faibussowitsch     CHKERRQ(VecLoad(xin,fd));
65c4762a1bSJed Brown   } else {
665f80ce2aSJacob Faibussowitsch     CHKERRQ(MatCreateVecs(A,&xin,NULL));
675f80ce2aSJacob Faibussowitsch     CHKERRQ(VecSetRandom(xin,NULL));
68c4762a1bSJed Brown   }
695f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerDestroy(&fd));
70c4762a1bSJed Brown   if (viewMats) {
715f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"Original matrix:\n"));
725f80ce2aSJacob Faibussowitsch     CHKERRQ(MatView(A,PETSC_VIEWER_DRAW_WORLD));
73c4762a1bSJed Brown   }
74c4762a1bSJed Brown   if (viewVecs) {
755f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"Original vector:\n"));
765f80ce2aSJacob Faibussowitsch     CHKERRQ(VecView(xin,PETSC_VIEWER_STDOUT_WORLD));
77c4762a1bSJed Brown   }
78c4762a1bSJed Brown 
79c4762a1bSJed Brown   /* Partition the graph of the matrix */
805f80ce2aSJacob Faibussowitsch   CHKERRQ(MatPartitioningCreate(PETSC_COMM_WORLD,&part));
815f80ce2aSJacob Faibussowitsch   CHKERRQ(MatPartitioningSetAdjacency(part,A));
825f80ce2aSJacob Faibussowitsch   CHKERRQ(MatPartitioningSetFromOptions(part));
83c4762a1bSJed Brown 
84c4762a1bSJed Brown   /* get new processor owner number of each vertex */
85c4762a1bSJed Brown   if (useND) {
865f80ce2aSJacob Faibussowitsch     CHKERRQ(MatPartitioningApplyND(part,&is));
87c4762a1bSJed Brown   } else {
885f80ce2aSJacob Faibussowitsch     CHKERRQ(MatPartitioningApply(part,&is));
89c4762a1bSJed Brown   }
90c4762a1bSJed Brown   if (viewIS) {
915f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"IS1 - new processor ownership:\n"));
925f80ce2aSJacob Faibussowitsch     CHKERRQ(ISView(is,PETSC_VIEWER_STDOUT_WORLD));
93c4762a1bSJed Brown   }
94c4762a1bSJed Brown 
95c4762a1bSJed Brown   /* get new global number of each old global number */
965f80ce2aSJacob Faibussowitsch   CHKERRQ(ISPartitioningToNumbering(is,&isn));
97c4762a1bSJed Brown   if (viewIS) {
985f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"IS2 - new global numbering:\n"));
995f80ce2aSJacob Faibussowitsch     CHKERRQ(ISView(isn,PETSC_VIEWER_STDOUT_WORLD));
100c4762a1bSJed Brown   }
101c4762a1bSJed Brown 
102c4762a1bSJed Brown   /* get number of new vertices for each processor */
1035f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscMalloc1(size,&nlocal));
1045f80ce2aSJacob Faibussowitsch   CHKERRQ(ISPartitioningCount(is,size,nlocal));
1055f80ce2aSJacob Faibussowitsch   CHKERRQ(ISDestroy(&is));
106c4762a1bSJed Brown 
107c4762a1bSJed Brown   /* get old global number of each new global number */
1085f80ce2aSJacob Faibussowitsch   CHKERRQ(ISInvertPermutation(isn,useND ? PETSC_DECIDE : nlocal[rank],&is));
109c4762a1bSJed Brown   if (viewIS) {
1105f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"IS3=inv(IS2) - old global number of each new global number:\n"));
1115f80ce2aSJacob Faibussowitsch     CHKERRQ(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 */
1155f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateSubMatrix(A,is,is,MAT_INITIAL_MATRIX,&B));
1165f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscFree(nlocal));
1175f80ce2aSJacob Faibussowitsch   CHKERRQ(ISDestroy(&isn));
1185f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&A));
1195f80ce2aSJacob Faibussowitsch   CHKERRQ(MatPartitioningDestroy(&part));
120c4762a1bSJed Brown   if (viewMats) {
1215f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"Partitioned matrix:\n"));
1225f80ce2aSJacob Faibussowitsch     CHKERRQ(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 */
1265f80ce2aSJacob Faibussowitsch   CHKERRQ(MatGetLocalSize(B,&m,&n));
1275f80ce2aSJacob Faibussowitsch   CHKERRQ(VecCreateMPI(PETSC_COMM_WORLD,m,PETSC_DECIDE,&xout));
1285f80ce2aSJacob Faibussowitsch   CHKERRQ(VecScatterCreate(xin,is,xout,NULL,&scat));
1295f80ce2aSJacob Faibussowitsch   CHKERRQ(VecScatterBegin(scat,xin,xout,INSERT_VALUES,SCATTER_FORWARD));
1305f80ce2aSJacob Faibussowitsch   CHKERRQ(VecScatterEnd(scat,xin,xout,INSERT_VALUES,SCATTER_FORWARD));
1315f80ce2aSJacob Faibussowitsch   CHKERRQ(VecScatterDestroy(&scat));
132c4762a1bSJed Brown   if (viewVecs) {
1335f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"Mapped vector:\n"));
1345f80ce2aSJacob Faibussowitsch     CHKERRQ(VecView(xout,PETSC_VIEWER_STDOUT_WORLD));
135c4762a1bSJed Brown   }
1365f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&xout));
1375f80ce2aSJacob Faibussowitsch   CHKERRQ(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 
1465f80ce2aSJacob Faibussowitsch     CHKERRQ(MatGetOwnershipRange(B,&rstart,NULL));
1475f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscCalloc2(2*m,&nzd,2*m,&nzo));
148c4762a1bSJed Brown     for (i=0; i<m; i++) {
1495f80ce2aSJacob Faibussowitsch       CHKERRQ(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]);
1605f80ce2aSJacob Faibussowitsch       CHKERRQ(MatRestoreRow(B,i+rstart,&nzl,&cols,NULL));
161c4762a1bSJed Brown     }
1625f80ce2aSJacob Faibussowitsch     CHKERRQ(MatCreateAIJ(PETSC_COMM_WORLD,2*m,2*m,PETSC_DECIDE,PETSC_DECIDE,0,nzd,0,nzo,&J));
1635f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscInfo(0,"Created empty Jacobian matrix\n"));
1645f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscFree2(nzd,nzo));
1655f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscMalloc2(nzmax,&ncols,nzmax,&nvals));
1665f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscArrayzero(nvals,nzmax));
167c4762a1bSJed Brown     for (i=0; i<m; i++) {
1685f80ce2aSJacob Faibussowitsch       CHKERRQ(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);
1745f80ce2aSJacob Faibussowitsch       CHKERRQ(MatSetValues(J,1,&nrow,2*nzl,ncols,nvals,INSERT_VALUES));
175c4762a1bSJed Brown       nrow = 2*(i+rstart) + 1;
1765f80ce2aSJacob Faibussowitsch       CHKERRQ(MatSetValues(J,1,&nrow,2*nzl,ncols,nvals,INSERT_VALUES));
1775f80ce2aSJacob Faibussowitsch       CHKERRQ(MatRestoreRow(B,i+rstart,&nzl,&cols,&vals));
178c4762a1bSJed Brown     }
1795f80ce2aSJacob Faibussowitsch     CHKERRQ(MatAssemblyBegin(J,MAT_FINAL_ASSEMBLY));
1805f80ce2aSJacob Faibussowitsch     CHKERRQ(MatAssemblyEnd(J,MAT_FINAL_ASSEMBLY));
181c4762a1bSJed Brown     if (viewMats) {
1825f80ce2aSJacob Faibussowitsch       CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"Jacobian matrix structure:\n"));
1835f80ce2aSJacob Faibussowitsch       CHKERRQ(MatView(J,PETSC_VIEWER_DRAW_WORLD));
184c4762a1bSJed Brown     }
1855f80ce2aSJacob Faibussowitsch     CHKERRQ(MatDestroy(&J));
1865f80ce2aSJacob Faibussowitsch     CHKERRQ(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   */
1935f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&B));
1945f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&xin));
195*b122ec5aSJacob Faibussowitsch   CHKERRQ(PetscFinalize());
196*b122ec5aSJacob 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