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
main(int argc,char ** args)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) {
1770b4b7b1cSBarry 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
200*3886731fSPierre Jolivet output_file: output/empty.out
201c4762a1bSJed Brown
202c4762a1bSJed Brown test:
203dfd57a17SPierre Jolivet requires: parmetis !complex double !defined(PETSC_USE_64BIT_INDICES)
204*3886731fSPierre Jolivet output_file: output/empty.out
205c4762a1bSJed Brown suffix: parmetis_nd_32
206c4762a1bSJed Brown nsize: 3
207c4762a1bSJed 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
208c4762a1bSJed Brown
209c4762a1bSJed Brown test:
210dfd57a17SPierre Jolivet requires: parmetis !complex double defined(PETSC_USE_64BIT_INDICES)
211*3886731fSPierre Jolivet output_file: output/empty.out
212c4762a1bSJed Brown suffix: parmetis_nd_64
213c4762a1bSJed Brown nsize: 3
214c4762a1bSJed 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
215c4762a1bSJed Brown
216c4762a1bSJed Brown test:
217dfd57a17SPierre Jolivet requires: ptscotch !complex double !defined(PETSC_USE_64BIT_INDICES) defined(PETSC_HAVE_SCOTCH_PARMETIS_V3_NODEND)
218*3886731fSPierre Jolivet output_file: output/empty.out
219c4762a1bSJed Brown suffix: ptscotch_nd_32
220c4762a1bSJed Brown nsize: 4
221c4762a1bSJed 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
222c4762a1bSJed Brown
223c4762a1bSJed Brown test:
224dfd57a17SPierre Jolivet requires: ptscotch !complex double defined(PETSC_USE_64BIT_INDICES) defined(PETSC_HAVE_SCOTCH_PARMETIS_V3_NODEND)
225*3886731fSPierre Jolivet output_file: output/empty.out
226c4762a1bSJed Brown suffix: ptscotch_nd_64
227c4762a1bSJed Brown nsize: 4
228c4762a1bSJed 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
229c4762a1bSJed Brown
230c4762a1bSJed Brown TEST*/
231