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