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