xref: /petsc/src/mat/tests/ex167.c (revision b122ec5aa1bd4469eb4e0673542fb7de3f411254)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown static char help[] = "Extract submatrices using unsorted indices. For SEQSBAIJ either sort both rows and columns, or sort none.\n\n";
3c4762a1bSJed Brown /*
4c4762a1bSJed Brown    Take a 4x4 grid and form a 5-point stencil graph Laplacian over it.
5c4762a1bSJed Brown    Partition the grid into two subdomains by splitting into two in the j-direction (slowest varying).
6c4762a1bSJed Brown    Impose an overlap of 1 and order the subdomains with the j-direction varying fastest.
7c4762a1bSJed Brown    Extract the subdomain submatrices, one per rank.
8c4762a1bSJed Brown */
9c4762a1bSJed Brown /* Results:
10c4762a1bSJed Brown     Sequential:
11c4762a1bSJed Brown     - seqaij:   will error out, if rows or columns are unsorted
12c4762a1bSJed Brown     - seqbaij:  will extract submatrices correctly even for unsorted row or column indices
13c4762a1bSJed Brown     - seqsbaij: will extract submatrices correctly even for unsorted row and column indices (both must be sorted or not);
14c4762a1bSJed Brown                 CANNOT automatically report inversions, because MatGetRow is not available.
15c4762a1bSJed Brown     MPI:
16c4762a1bSJed Brown     - mpiaij:   will error out, if columns are unsorted
17c4762a1bSJed Brown     - mpibaij:  will error out, if columns are unsorted.
18c4762a1bSJed Brown     - mpisbaij: will error out, if columns are unsorted; even with unsorted rows will produce correct submatrices;
19c4762a1bSJed Brown                 CANNOT automatically report inversions, because MatGetRow is not available.
20c4762a1bSJed Brown */
21c4762a1bSJed Brown 
22c4762a1bSJed Brown #include <petscmat.h>
23c4762a1bSJed Brown #include <petscis.h>
24c4762a1bSJed Brown 
25c4762a1bSJed Brown int main(int argc,char **args)
26c4762a1bSJed Brown {
27c4762a1bSJed Brown   Mat            A, *S;
28c4762a1bSJed Brown   IS             rowis[2], colis[2];
29c4762a1bSJed Brown   PetscInt       n,N,i,j,k,l,nsub,Jlow[2] = {0,1}, *jlow, Jhigh[2] = {3,4}, *jhigh, row, col, *subindices, ncols;
30c4762a1bSJed Brown   const PetscInt *cols;
31c4762a1bSJed Brown   PetscScalar    v;
32c4762a1bSJed Brown   PetscMPIInt    rank, size, p, inversions, total_inversions;
33c4762a1bSJed Brown   PetscBool      sort_rows, sort_cols, show_inversions;
34c4762a1bSJed Brown 
35*b122ec5aSJacob Faibussowitsch   CHKERRQ(PetscInitialize(&argc,&args,(char*)0,help));
365f80ce2aSJacob Faibussowitsch   CHKERRMPI(MPI_Comm_rank(PETSC_COMM_WORLD,&rank));
375f80ce2aSJacob Faibussowitsch   CHKERRMPI(MPI_Comm_size(PETSC_COMM_WORLD,&size));
382c71b3e2SJacob Faibussowitsch   PetscCheckFalse(size>2,PETSC_COMM_WORLD,PETSC_ERR_ARG_WRONG, "A uniprocessor or two-processor example only.");
39c4762a1bSJed Brown 
405f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreate(PETSC_COMM_WORLD,&A));
41c4762a1bSJed Brown   if (size > 1) {
42c4762a1bSJed Brown     n = 8; N = 16;
43c4762a1bSJed Brown   } else {
44c4762a1bSJed Brown     n = 16; N = 16;
45c4762a1bSJed Brown   }
465f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetSizes(A,n,n,N,N));
475f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetFromOptions(A));
485f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetUp(A));
49c4762a1bSJed Brown 
50c4762a1bSJed Brown   /* Don't care if the entries are set multiple times by different procs. */
51c4762a1bSJed Brown   for (i=0; i<4; ++i) {
52c4762a1bSJed Brown     for (j = 0; j<4; ++j) {
53c4762a1bSJed Brown       row = j*4+i;
54c4762a1bSJed Brown       v   = -1.0;
55c4762a1bSJed Brown       if (i>0) {
565f80ce2aSJacob Faibussowitsch         col =  row-1; CHKERRQ(MatSetValues(A,1,&row,1,&col,&v,INSERT_VALUES));
57c4762a1bSJed Brown       }
58c4762a1bSJed Brown       if (i<3) {
595f80ce2aSJacob Faibussowitsch         col = row+1; CHKERRQ(MatSetValues(A,1,&row,1,&col,&v,INSERT_VALUES));
60c4762a1bSJed Brown       }
61c4762a1bSJed Brown       if (j>0) {
625f80ce2aSJacob Faibussowitsch         col = row-4; CHKERRQ(MatSetValues(A,1,&row,1,&col,&v,INSERT_VALUES));
63c4762a1bSJed Brown       }
64c4762a1bSJed Brown       if (j<3) {
655f80ce2aSJacob Faibussowitsch         col = row+4; CHKERRQ(MatSetValues(A,1,&row,1,&col,&v,INSERT_VALUES));
66c4762a1bSJed Brown       }
67c4762a1bSJed Brown       v    = 4.0;
685f80ce2aSJacob Faibussowitsch       CHKERRQ(MatSetValues(A,1,&row,1,&row,&v,INSERT_VALUES));
69c4762a1bSJed Brown     }
70c4762a1bSJed Brown   }
715f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY));
725f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY));
735f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscPrintf(PETSC_COMM_WORLD, "Original matrix\n"));
745f80ce2aSJacob Faibussowitsch   CHKERRQ(MatView(A,PETSC_VIEWER_STDOUT_WORLD));
75c4762a1bSJed Brown 
76c4762a1bSJed Brown   if (size > 1) {
77c4762a1bSJed Brown     nsub = 1; /* one subdomain per rank */
78c4762a1bSJed Brown   }
79c4762a1bSJed Brown   else {
80c4762a1bSJed Brown     nsub = 2; /* both subdomains on rank 0 */
81c4762a1bSJed Brown   }
82c4762a1bSJed Brown   if (rank) {
83c4762a1bSJed Brown     jlow = Jlow+1; jhigh = Jhigh+1;
84c4762a1bSJed Brown   }
85c4762a1bSJed Brown   else {
86c4762a1bSJed Brown     jlow = Jlow; jhigh = Jhigh;
87c4762a1bSJed Brown   }
88c4762a1bSJed Brown   sort_rows = PETSC_FALSE;
895f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsGetBool(NULL,NULL, "-sort_rows", &sort_rows, NULL));
90c4762a1bSJed Brown   sort_cols = PETSC_FALSE;
915f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsGetBool(NULL,NULL, "-sort_cols", &sort_cols, NULL));
92c4762a1bSJed Brown   for (l = 0; l < nsub; ++l) {
935f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscMalloc1(12, &subindices));
94c4762a1bSJed Brown     k    = 0;
95c4762a1bSJed Brown     for (i = 0; i < 4; ++i) {
96c4762a1bSJed Brown       for (j = jlow[l]; j < jhigh[l]; ++j) {
97c4762a1bSJed Brown         subindices[k] = j*4+i;
98c4762a1bSJed Brown         k++;
99c4762a1bSJed Brown       }
100c4762a1bSJed Brown     }
1015f80ce2aSJacob Faibussowitsch     CHKERRQ(ISCreateGeneral(PETSC_COMM_SELF, 12, subindices, PETSC_OWN_POINTER, rowis+l));
102c4762a1bSJed Brown     if ((sort_rows && !sort_cols) || (!sort_rows && sort_cols)) {
1035f80ce2aSJacob Faibussowitsch       CHKERRQ(ISDuplicate(rowis[l],colis+l));
104c4762a1bSJed Brown     } else {
1055f80ce2aSJacob Faibussowitsch       CHKERRQ(PetscObjectReference((PetscObject)rowis[l]));
106c4762a1bSJed Brown       colis[l] = rowis[l];
107c4762a1bSJed Brown     }
108c4762a1bSJed Brown     if (sort_rows) {
1095f80ce2aSJacob Faibussowitsch       CHKERRQ(ISSort(rowis[l]));
110c4762a1bSJed Brown     }
111c4762a1bSJed Brown     if (sort_cols) {
1125f80ce2aSJacob Faibussowitsch       CHKERRQ(ISSort(colis[l]));
113c4762a1bSJed Brown     }
114c4762a1bSJed Brown   }
115c4762a1bSJed Brown 
1165f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateSubMatrices(A,nsub,rowis,colis,MAT_INITIAL_MATRIX, &S));
117c4762a1bSJed Brown 
118c4762a1bSJed Brown   show_inversions = PETSC_FALSE;
119c4762a1bSJed Brown 
1205f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsGetBool(NULL,NULL, "-show_inversions", &show_inversions, NULL));
121c4762a1bSJed Brown 
122c4762a1bSJed Brown   inversions = 0;
123c4762a1bSJed Brown   for (p = 0; p < size; ++p) {
124c4762a1bSJed Brown     if (p == rank) {
1255f80ce2aSJacob Faibussowitsch       CHKERRQ(PetscPrintf(PETSC_COMM_SELF, "[%" PetscInt_FMT ":%" PetscInt_FMT "]: Number of subdomains: %" PetscInt_FMT ":\n", rank, size, nsub));
126c4762a1bSJed Brown       for (l = 0; l < nsub; ++l) {
127c4762a1bSJed Brown         PetscInt i0, i1;
1285f80ce2aSJacob Faibussowitsch         CHKERRQ(PetscPrintf(PETSC_COMM_SELF, "[%" PetscInt_FMT ":%" PetscInt_FMT "]: Subdomain row IS %" PetscInt_FMT ":\n", rank, size, l));
1295f80ce2aSJacob Faibussowitsch         CHKERRQ(ISView(rowis[l],PETSC_VIEWER_STDOUT_SELF));
1305f80ce2aSJacob Faibussowitsch         CHKERRQ(PetscPrintf(PETSC_COMM_SELF, "[%" PetscInt_FMT ":%" PetscInt_FMT "]: Subdomain col IS %" PetscInt_FMT ":\n", rank, size, l));
1315f80ce2aSJacob Faibussowitsch         CHKERRQ(ISView(colis[l],PETSC_VIEWER_STDOUT_SELF));
1325f80ce2aSJacob Faibussowitsch         CHKERRQ(PetscPrintf(PETSC_COMM_SELF, "[%" PetscInt_FMT ":%" PetscInt_FMT "]: Submatrix %" PetscInt_FMT ":\n", rank, size, l));
1335f80ce2aSJacob Faibussowitsch         CHKERRQ(MatView(S[l],PETSC_VIEWER_STDOUT_SELF));
134c4762a1bSJed Brown         if (show_inversions) {
1355f80ce2aSJacob Faibussowitsch           CHKERRQ(MatGetOwnershipRange(S[l], &i0,&i1));
136c4762a1bSJed Brown           for (i = i0; i < i1; ++i) {
1375f80ce2aSJacob Faibussowitsch             CHKERRQ(MatGetRow(S[l], i, &ncols, &cols, NULL));
138c4762a1bSJed Brown             for (j = 1; j < ncols; ++j) {
139c4762a1bSJed Brown               if (cols[j] < cols[j-1]) {
1405f80ce2aSJacob Faibussowitsch                 CHKERRQ(PetscPrintf(PETSC_COMM_SELF, "***Inversion in row %" PetscInt_FMT ": col[%" PetscInt_FMT "] = %" PetscInt_FMT " < %" PetscInt_FMT " = col[%" PetscInt_FMT "]\n", i, j, cols[j], cols[j-1], j-1));
141c4762a1bSJed Brown                 inversions++;
142c4762a1bSJed Brown               }
143c4762a1bSJed Brown             }
1445f80ce2aSJacob Faibussowitsch             CHKERRQ(MatRestoreRow(S[l], i, &ncols, &cols, NULL));
145c4762a1bSJed Brown           }
146c4762a1bSJed Brown         }
147c4762a1bSJed Brown       }
148c4762a1bSJed Brown     }
1495f80ce2aSJacob Faibussowitsch     CHKERRMPI(MPI_Barrier(PETSC_COMM_WORLD));
150c4762a1bSJed Brown   }
151c4762a1bSJed Brown   if (show_inversions) {
1525f80ce2aSJacob Faibussowitsch     CHKERRMPI(MPI_Reduce(&inversions,&total_inversions,1,MPIU_INT, MPI_SUM,0,PETSC_COMM_WORLD));
1535f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD, "*Total inversions: %" PetscInt_FMT "\n", total_inversions));
154c4762a1bSJed Brown   }
1555f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&A));
156c4762a1bSJed Brown 
157c4762a1bSJed Brown   for (l = 0; l < nsub; ++l) {
1585f80ce2aSJacob Faibussowitsch     CHKERRQ(ISDestroy(&(rowis[l])));
1595f80ce2aSJacob Faibussowitsch     CHKERRQ(ISDestroy(&(colis[l])));
160c4762a1bSJed Brown   }
1615f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroySubMatrices(nsub,&S));
162*b122ec5aSJacob Faibussowitsch   CHKERRQ(PetscFinalize());
163*b122ec5aSJacob Faibussowitsch   return 0;
164c4762a1bSJed Brown }
165