1c4762a1bSJed Brown static char help[] = "Reads a PETSc matrix from a file partitions it\n\n"; 2c4762a1bSJed Brown 3c4762a1bSJed Brown /* 4c4762a1bSJed Brown Include "petscmat.h" so that we can use matrices. Note that this file 5c4762a1bSJed Brown automatically includes: 6c4762a1bSJed Brown petscsys.h - base PETSc routines petscvec.h - vectors 7c4762a1bSJed Brown petscmat.h - matrices 8c4762a1bSJed Brown petscis.h - index sets 9c4762a1bSJed Brown petscviewer.h - viewers 10c4762a1bSJed Brown 11c4762a1bSJed Brown Example of usage: 12c4762a1bSJed Brown mpiexec -n 3 ex73 -f <matfile> -mat_partitioning_type parmetis/scotch -viewer_binary_skip_info -nox 13c4762a1bSJed Brown */ 14c4762a1bSJed Brown #include <petscmat.h> 15c4762a1bSJed Brown 16d71ae5a4SJacob Faibussowitsch int main(int argc, char **args) 17d71ae5a4SJacob Faibussowitsch { 18c4762a1bSJed Brown MatType mtype = MATMPIAIJ; /* matrix format */ 19c4762a1bSJed Brown Mat A, B; /* matrix */ 20c4762a1bSJed Brown PetscViewer fd; /* viewer */ 21c4762a1bSJed Brown char file[PETSC_MAX_PATH_LEN]; /* input file name */ 22c4762a1bSJed Brown PetscBool flg, viewMats, viewIS, viewVecs, useND, noVecLoad = PETSC_FALSE; 23b122ec5aSJacob Faibussowitsch PetscInt *nlocal, m, n; 24c4762a1bSJed Brown PetscMPIInt rank, size; 25c4762a1bSJed Brown MatPartitioning part; 26c4762a1bSJed Brown IS is, isn; 27c4762a1bSJed Brown Vec xin, xout; 28c4762a1bSJed Brown VecScatter scat; 29c4762a1bSJed Brown 30327415f7SBarry Smith PetscFunctionBeginUser; 31c8025a54SPierre Jolivet PetscCall(PetscInitialize(&argc, &args, NULL, help)); 329566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD, &size)); 339566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &rank)); 349566063dSJacob Faibussowitsch PetscCall(PetscOptionsHasName(NULL, NULL, "-view_mats", &viewMats)); 359566063dSJacob Faibussowitsch PetscCall(PetscOptionsHasName(NULL, NULL, "-view_is", &viewIS)); 369566063dSJacob Faibussowitsch PetscCall(PetscOptionsHasName(NULL, NULL, "-view_vecs", &viewVecs)); 379566063dSJacob Faibussowitsch PetscCall(PetscOptionsHasName(NULL, NULL, "-use_nd", &useND)); 389566063dSJacob Faibussowitsch PetscCall(PetscOptionsHasName(NULL, NULL, "-novec_load", &noVecLoad)); 39c4762a1bSJed Brown 40c4762a1bSJed Brown /* 41c4762a1bSJed Brown Determine file from which we read the matrix 42c4762a1bSJed Brown */ 439566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetString(NULL, NULL, "-f", file, sizeof(file), &flg)); 44c4762a1bSJed Brown 45c4762a1bSJed Brown /* 46c4762a1bSJed Brown Open binary file. Note that we use FILE_MODE_READ to indicate 47c4762a1bSJed Brown reading from this file. 48c4762a1bSJed Brown */ 499566063dSJacob Faibussowitsch PetscCall(PetscViewerBinaryOpen(PETSC_COMM_WORLD, file, FILE_MODE_READ, &fd)); 50c4762a1bSJed Brown 51c4762a1bSJed Brown /* 52c4762a1bSJed Brown Load the matrix and vector; then destroy the viewer. 53c4762a1bSJed Brown */ 549566063dSJacob Faibussowitsch PetscCall(MatCreate(PETSC_COMM_WORLD, &A)); 559566063dSJacob Faibussowitsch PetscCall(MatSetType(A, mtype)); 569566063dSJacob Faibussowitsch PetscCall(MatLoad(A, fd)); 57c4762a1bSJed Brown if (!noVecLoad) { 589566063dSJacob Faibussowitsch PetscCall(VecCreate(PETSC_COMM_WORLD, &xin)); 599566063dSJacob Faibussowitsch PetscCall(VecLoad(xin, fd)); 60c4762a1bSJed Brown } else { 619566063dSJacob Faibussowitsch PetscCall(MatCreateVecs(A, &xin, NULL)); 629566063dSJacob Faibussowitsch PetscCall(VecSetRandom(xin, NULL)); 63c4762a1bSJed Brown } 649566063dSJacob Faibussowitsch PetscCall(PetscViewerDestroy(&fd)); 65c4762a1bSJed Brown if (viewMats) { 669566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Original matrix:\n")); 679566063dSJacob Faibussowitsch PetscCall(MatView(A, PETSC_VIEWER_DRAW_WORLD)); 68c4762a1bSJed Brown } 69c4762a1bSJed Brown if (viewVecs) { 709566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Original vector:\n")); 719566063dSJacob Faibussowitsch PetscCall(VecView(xin, PETSC_VIEWER_STDOUT_WORLD)); 72c4762a1bSJed Brown } 73c4762a1bSJed Brown 74c4762a1bSJed Brown /* Partition the graph of the matrix */ 759566063dSJacob Faibussowitsch PetscCall(MatPartitioningCreate(PETSC_COMM_WORLD, &part)); 769566063dSJacob Faibussowitsch PetscCall(MatPartitioningSetAdjacency(part, A)); 779566063dSJacob Faibussowitsch PetscCall(MatPartitioningSetFromOptions(part)); 78c4762a1bSJed Brown 79c4762a1bSJed Brown /* get new processor owner number of each vertex */ 80c4762a1bSJed Brown if (useND) { 819566063dSJacob Faibussowitsch PetscCall(MatPartitioningApplyND(part, &is)); 82c4762a1bSJed Brown } else { 839566063dSJacob Faibussowitsch PetscCall(MatPartitioningApply(part, &is)); 84c4762a1bSJed Brown } 85c4762a1bSJed Brown if (viewIS) { 869566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "IS1 - new processor ownership:\n")); 879566063dSJacob Faibussowitsch PetscCall(ISView(is, PETSC_VIEWER_STDOUT_WORLD)); 88c4762a1bSJed Brown } 89c4762a1bSJed Brown 90c4762a1bSJed Brown /* get new global number of each old global number */ 919566063dSJacob Faibussowitsch PetscCall(ISPartitioningToNumbering(is, &isn)); 92c4762a1bSJed Brown if (viewIS) { 939566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "IS2 - new global numbering:\n")); 949566063dSJacob Faibussowitsch PetscCall(ISView(isn, PETSC_VIEWER_STDOUT_WORLD)); 95c4762a1bSJed Brown } 96c4762a1bSJed Brown 97c4762a1bSJed Brown /* get number of new vertices for each processor */ 989566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(size, &nlocal)); 999566063dSJacob Faibussowitsch PetscCall(ISPartitioningCount(is, size, nlocal)); 1009566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is)); 101c4762a1bSJed Brown 102c4762a1bSJed Brown /* get old global number of each new global number */ 1039566063dSJacob Faibussowitsch PetscCall(ISInvertPermutation(isn, useND ? PETSC_DECIDE : nlocal[rank], &is)); 104c4762a1bSJed Brown if (viewIS) { 1059566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "IS3=inv(IS2) - old global number of each new global number:\n")); 1069566063dSJacob Faibussowitsch PetscCall(ISView(is, PETSC_VIEWER_STDOUT_WORLD)); 107c4762a1bSJed Brown } 108c4762a1bSJed Brown 109c4762a1bSJed Brown /* move the matrix rows to the new processes they have been assigned to by the permutation */ 1109566063dSJacob Faibussowitsch PetscCall(MatCreateSubMatrix(A, is, is, MAT_INITIAL_MATRIX, &B)); 1119566063dSJacob Faibussowitsch PetscCall(PetscFree(nlocal)); 1129566063dSJacob Faibussowitsch PetscCall(ISDestroy(&isn)); 1139566063dSJacob Faibussowitsch PetscCall(MatDestroy(&A)); 1149566063dSJacob Faibussowitsch PetscCall(MatPartitioningDestroy(&part)); 115c4762a1bSJed Brown if (viewMats) { 1169566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Partitioned matrix:\n")); 1179566063dSJacob Faibussowitsch PetscCall(MatView(B, PETSC_VIEWER_DRAW_WORLD)); 118c4762a1bSJed Brown } 119c4762a1bSJed Brown 120c4762a1bSJed Brown /* move the vector rows to the new processes they have been assigned to */ 1219566063dSJacob Faibussowitsch PetscCall(MatGetLocalSize(B, &m, &n)); 12277433607SBarry Smith PetscCall(VecCreateFromOptions(PETSC_COMM_WORLD, NULL, 1, m, PETSC_DECIDE, &xout)); 1239566063dSJacob Faibussowitsch PetscCall(VecScatterCreate(xin, is, xout, NULL, &scat)); 1249566063dSJacob Faibussowitsch PetscCall(VecScatterBegin(scat, xin, xout, INSERT_VALUES, SCATTER_FORWARD)); 1259566063dSJacob Faibussowitsch PetscCall(VecScatterEnd(scat, xin, xout, INSERT_VALUES, SCATTER_FORWARD)); 1269566063dSJacob Faibussowitsch PetscCall(VecScatterDestroy(&scat)); 127c4762a1bSJed Brown if (viewVecs) { 1289566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Mapped vector:\n")); 1299566063dSJacob Faibussowitsch PetscCall(VecView(xout, PETSC_VIEWER_STDOUT_WORLD)); 130c4762a1bSJed Brown } 1319566063dSJacob Faibussowitsch PetscCall(VecDestroy(&xout)); 1329566063dSJacob Faibussowitsch PetscCall(ISDestroy(&is)); 133c4762a1bSJed Brown 134c4762a1bSJed Brown { 135c4762a1bSJed Brown PetscInt rstart, i, *nzd, *nzo, nzl, nzmax = 0, *ncols, nrow, j; 136c4762a1bSJed Brown Mat J; 137c4762a1bSJed Brown const PetscInt *cols; 138c4762a1bSJed Brown const PetscScalar *vals; 139c4762a1bSJed Brown PetscScalar *nvals; 140c4762a1bSJed Brown 1419566063dSJacob Faibussowitsch PetscCall(MatGetOwnershipRange(B, &rstart, NULL)); 1429566063dSJacob Faibussowitsch PetscCall(PetscCalloc2(2 * m, &nzd, 2 * m, &nzo)); 143c4762a1bSJed Brown for (i = 0; i < m; i++) { 1449566063dSJacob Faibussowitsch PetscCall(MatGetRow(B, i + rstart, &nzl, &cols, NULL)); 145c4762a1bSJed Brown for (j = 0; j < nzl; j++) { 146c4762a1bSJed Brown if (cols[j] >= rstart && cols[j] < rstart + n) { 147c4762a1bSJed Brown nzd[2 * i] += 2; 148c4762a1bSJed Brown nzd[2 * i + 1] += 2; 149c4762a1bSJed Brown } else { 150c4762a1bSJed Brown nzo[2 * i] += 2; 151c4762a1bSJed Brown nzo[2 * i + 1] += 2; 152c4762a1bSJed Brown } 153c4762a1bSJed Brown } 154c4762a1bSJed Brown nzmax = PetscMax(nzmax, nzd[2 * i] + nzo[2 * i]); 1559566063dSJacob Faibussowitsch PetscCall(MatRestoreRow(B, i + rstart, &nzl, &cols, NULL)); 156c4762a1bSJed Brown } 1579566063dSJacob Faibussowitsch PetscCall(MatCreateAIJ(PETSC_COMM_WORLD, 2 * m, 2 * m, PETSC_DECIDE, PETSC_DECIDE, 0, nzd, 0, nzo, &J)); 1589566063dSJacob Faibussowitsch PetscCall(PetscInfo(0, "Created empty Jacobian matrix\n")); 1599566063dSJacob Faibussowitsch PetscCall(PetscFree2(nzd, nzo)); 1609566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(nzmax, &ncols, nzmax, &nvals)); 1619566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(nvals, nzmax)); 162c4762a1bSJed Brown for (i = 0; i < m; i++) { 1639566063dSJacob Faibussowitsch PetscCall(MatGetRow(B, i + rstart, &nzl, &cols, &vals)); 164c4762a1bSJed Brown for (j = 0; j < nzl; j++) { 165c4762a1bSJed Brown ncols[2 * j] = 2 * cols[j]; 166c4762a1bSJed Brown ncols[2 * j + 1] = 2 * cols[j] + 1; 167c4762a1bSJed Brown } 168c4762a1bSJed Brown nrow = 2 * (i + rstart); 1699566063dSJacob Faibussowitsch PetscCall(MatSetValues(J, 1, &nrow, 2 * nzl, ncols, nvals, INSERT_VALUES)); 170c4762a1bSJed Brown nrow = 2 * (i + rstart) + 1; 1719566063dSJacob Faibussowitsch PetscCall(MatSetValues(J, 1, &nrow, 2 * nzl, ncols, nvals, INSERT_VALUES)); 1729566063dSJacob Faibussowitsch PetscCall(MatRestoreRow(B, i + rstart, &nzl, &cols, &vals)); 173c4762a1bSJed Brown } 1749566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY)); 1759566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY)); 176c4762a1bSJed Brown if (viewMats) { 177*0b4b7b1cSBarry Smith PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Jacobian matrix nonzero structure:\n")); 1789566063dSJacob Faibussowitsch PetscCall(MatView(J, PETSC_VIEWER_DRAW_WORLD)); 179c4762a1bSJed Brown } 1809566063dSJacob Faibussowitsch PetscCall(MatDestroy(&J)); 1819566063dSJacob Faibussowitsch PetscCall(PetscFree2(ncols, nvals)); 182c4762a1bSJed Brown } 183c4762a1bSJed Brown 184c4762a1bSJed Brown /* 185c4762a1bSJed Brown Free work space. All PETSc objects should be destroyed when they 186c4762a1bSJed Brown are no longer needed. 187c4762a1bSJed Brown */ 1889566063dSJacob Faibussowitsch PetscCall(MatDestroy(&B)); 1899566063dSJacob Faibussowitsch PetscCall(VecDestroy(&xin)); 1909566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 191b122ec5aSJacob Faibussowitsch return 0; 192c4762a1bSJed Brown } 193c4762a1bSJed Brown 194c4762a1bSJed Brown /*TEST 195c4762a1bSJed Brown 196c4762a1bSJed Brown test: 197c4762a1bSJed Brown nsize: 3 198dfd57a17SPierre Jolivet requires: parmetis datafilespath !complex double !defined(PETSC_USE_64BIT_INDICES) 199c4762a1bSJed Brown args: -nox -f ${DATAFILESPATH}/matrices/arco1 -mat_partitioning_type parmetis -viewer_binary_skip_info -novec_load 200c4762a1bSJed Brown 201c4762a1bSJed Brown test: 202dfd57a17SPierre Jolivet requires: parmetis !complex double !defined(PETSC_USE_64BIT_INDICES) 203c4762a1bSJed Brown output_file: output/ex73_1.out 204c4762a1bSJed Brown suffix: parmetis_nd_32 205c4762a1bSJed Brown nsize: 3 206c4762a1bSJed 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 207c4762a1bSJed Brown 208c4762a1bSJed Brown test: 209dfd57a17SPierre Jolivet requires: parmetis !complex double defined(PETSC_USE_64BIT_INDICES) 210c4762a1bSJed Brown output_file: output/ex73_1.out 211c4762a1bSJed Brown suffix: parmetis_nd_64 212c4762a1bSJed Brown nsize: 3 213c4762a1bSJed 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 214c4762a1bSJed Brown 215c4762a1bSJed Brown test: 216dfd57a17SPierre Jolivet requires: ptscotch !complex double !defined(PETSC_USE_64BIT_INDICES) defined(PETSC_HAVE_SCOTCH_PARMETIS_V3_NODEND) 217c4762a1bSJed Brown output_file: output/ex73_1.out 218c4762a1bSJed Brown suffix: ptscotch_nd_32 219c4762a1bSJed Brown nsize: 4 220c4762a1bSJed 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 221c4762a1bSJed Brown 222c4762a1bSJed Brown test: 223dfd57a17SPierre Jolivet requires: ptscotch !complex double defined(PETSC_USE_64BIT_INDICES) defined(PETSC_HAVE_SCOTCH_PARMETIS_V3_NODEND) 224c4762a1bSJed Brown output_file: output/ex73_1.out 225c4762a1bSJed Brown suffix: ptscotch_nd_64 226c4762a1bSJed Brown nsize: 4 227c4762a1bSJed 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 228c4762a1bSJed Brown 229c4762a1bSJed Brown TEST*/ 230