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