xref: /petsc/src/ksp/pc/impls/vpbjacobi/kokkos/vpbjacobi_kok.kokkos.cxx (revision d326c3f1c5d950e31249cdd49d2b04d6dbe295f4)
1*d326c3f1SJunchao Zhang #include <petsc_kokkos.hpp>
2f1be3500SJunchao Zhang #include <petscvec_kokkos.hpp>
3f1be3500SJunchao Zhang #include <../src/vec/vec/impls/seq/kokkos/veckokkosimpl.hpp>
4f1be3500SJunchao Zhang #include <petscdevice.h>
5f1be3500SJunchao Zhang #include <../src/ksp/pc/impls/vpbjacobi/vpbjacobi.h>
69d13fa56SJunchao Zhang #include <../src/mat/impls/aij/seq/kokkos/aijkok.hpp> // for MatInvertVariableBlockDiagonal_SeqAIJKokkos
75994c5adSJunchao Zhang #include <../src/mat/impls/aij/mpi/mpiaij.h>          // for Mat_MPIAIJ
86dc07963SJunchao Zhang #include <KokkosBlas2_gemv.hpp>
9f1be3500SJunchao Zhang 
10f1be3500SJunchao Zhang /* A class that manages helper arrays assisting parallel PCApply() with Kokkos */
11f1be3500SJunchao Zhang struct PC_VPBJacobi_Kokkos {
12f1be3500SJunchao Zhang   /* Cache the old sizes to check if we need realloc */
13f1be3500SJunchao Zhang   PetscInt n;       /* number of rows of the local matrix */
14f1be3500SJunchao Zhang   PetscInt nblocks; /* number of point blocks */
159d13fa56SJunchao Zhang   PetscInt nsize;   /* sum of sizes (elements) of the point blocks */
16f1be3500SJunchao Zhang 
17f1be3500SJunchao Zhang   /* Helper arrays that are pre-computed on host and then copied to device.
18f1be3500SJunchao Zhang     bs:     [nblocks+1], "csr" version of bsizes[]
19f1be3500SJunchao Zhang     bs2:    [nblocks+1], "csr" version of squares of bsizes[]
209d13fa56SJunchao Zhang     blkMap: [n], row i of the local matrix belongs to the blkMap[i]-th block
21f1be3500SJunchao Zhang   */
229d13fa56SJunchao Zhang   PetscIntKokkosDualView bs_dual, bs2_dual, blkMap_dual;
239d13fa56SJunchao Zhang   PetscScalarKokkosView  diag; // buffer to store diagonal blocks
249d13fa56SJunchao Zhang   PetscScalarKokkosView  work; // work buffer, with the same size as diag[]
259d13fa56SJunchao Zhang   PetscLogDouble         setupFlops;
26f1be3500SJunchao Zhang 
279d13fa56SJunchao Zhang   // clang-format off
289d13fa56SJunchao Zhang   // n:               size of the matrix
299d13fa56SJunchao Zhang   // nblocks:         number of blocks
309d13fa56SJunchao Zhang   // nsize:           sum bsizes[i]^2 for i=0..nblocks
319d13fa56SJunchao Zhang   // bsizes[nblocks]: sizes of blocks
329d13fa56SJunchao Zhang   PC_VPBJacobi_Kokkos(PetscInt n, PetscInt nblocks, PetscInt nsize, const PetscInt *bsizes) :
339d13fa56SJunchao Zhang     n(n), nblocks(nblocks), nsize(nsize), bs_dual(NoInit("bs_dual"), nblocks + 1),
349d13fa56SJunchao Zhang     bs2_dual(NoInit("bs2_dual"), nblocks + 1), blkMap_dual(NoInit("blkMap_dual"), n),
359d13fa56SJunchao Zhang     diag(NoInit("diag"), nsize), work(NoInit("work"), nsize)
36d71ae5a4SJacob Faibussowitsch   {
379d13fa56SJunchao Zhang     PetscCallVoid(BuildHelperArrays(bsizes));
38f1be3500SJunchao Zhang   }
399d13fa56SJunchao Zhang   // clang-format on
40f1be3500SJunchao Zhang 
41f1be3500SJunchao Zhang private:
429d13fa56SJunchao Zhang   PetscErrorCode BuildHelperArrays(const PetscInt *bsizes)
43d71ae5a4SJacob Faibussowitsch   {
44f1be3500SJunchao Zhang     PetscInt *bs_h     = bs_dual.view_host().data();
45f1be3500SJunchao Zhang     PetscInt *bs2_h    = bs2_dual.view_host().data();
469d13fa56SJunchao Zhang     PetscInt *blkMap_h = blkMap_dual.view_host().data();
47f1be3500SJunchao Zhang 
48f1be3500SJunchao Zhang     PetscFunctionBegin;
499d13fa56SJunchao Zhang     setupFlops = 0.0;
50f1be3500SJunchao Zhang     bs_h[0] = bs2_h[0] = 0;
51f1be3500SJunchao Zhang     for (PetscInt i = 0; i < nblocks; i++) {
529d13fa56SJunchao Zhang       PetscInt m   = bsizes[i];
539d13fa56SJunchao Zhang       bs_h[i + 1]  = bs_h[i] + m;
549d13fa56SJunchao Zhang       bs2_h[i + 1] = bs2_h[i] + m * m;
559d13fa56SJunchao Zhang       for (PetscInt j = 0; j < m; j++) blkMap_h[bs_h[i] + j] = i;
569d13fa56SJunchao Zhang       // m^3/3 FMA for A=LU factorization; m^3 FMA for solving (LU)X=I to get the inverse
579d13fa56SJunchao Zhang       setupFlops += 8.0 * m * m * m / 3;
58f1be3500SJunchao Zhang     }
599d13fa56SJunchao Zhang 
609d13fa56SJunchao Zhang     PetscCallCXX(bs_dual.modify_host());
619d13fa56SJunchao Zhang     PetscCallCXX(bs2_dual.modify_host());
629d13fa56SJunchao Zhang     PetscCallCXX(blkMap_dual.modify_host());
639d13fa56SJunchao Zhang     PetscCallCXX(bs_dual.sync_device());
649d13fa56SJunchao Zhang     PetscCallCXX(bs2_dual.sync_device());
659d13fa56SJunchao Zhang     PetscCallCXX(blkMap_dual.sync_device());
669d13fa56SJunchao Zhang     PetscCall(PetscLogCpuToGpu(sizeof(PetscInt) * (2 * (nblocks + 1) + n)));
673ba16761SJacob Faibussowitsch     PetscFunctionReturn(PETSC_SUCCESS);
68f1be3500SJunchao Zhang   }
69f1be3500SJunchao Zhang };
70f1be3500SJunchao Zhang 
7169eda9daSJed Brown template <PetscBool transpose>
7269eda9daSJed Brown static PetscErrorCode PCApplyOrTranspose_VPBJacobi_Kokkos(PC pc, Vec x, Vec y)
73d71ae5a4SJacob Faibussowitsch {
74f1be3500SJunchao Zhang   PC_VPBJacobi              *jac   = (PC_VPBJacobi *)pc->data;
75f1be3500SJunchao Zhang   PC_VPBJacobi_Kokkos       *pckok = static_cast<PC_VPBJacobi_Kokkos *>(jac->spptr);
76f1be3500SJunchao Zhang   ConstPetscScalarKokkosView xv;
77f1be3500SJunchao Zhang   PetscScalarKokkosView      yv;
789d13fa56SJunchao Zhang   PetscScalarKokkosView      diag   = pckok->diag;
79f1be3500SJunchao Zhang   PetscIntKokkosView         bs     = pckok->bs_dual.view_device();
80f1be3500SJunchao Zhang   PetscIntKokkosView         bs2    = pckok->bs2_dual.view_device();
819d13fa56SJunchao Zhang   PetscIntKokkosView         blkMap = pckok->blkMap_dual.view_device();
826dc07963SJunchao Zhang   const char                *label  = transpose ? "PCApplyTranspose_VPBJacobi" : "PCApply_VPBJacobi";
83f1be3500SJunchao Zhang 
84f1be3500SJunchao Zhang   PetscFunctionBegin;
859a56b474SJunchao Zhang   PetscCall(PetscLogGpuTimeBegin());
86f1be3500SJunchao Zhang   VecErrorIfNotKokkos(x);
87f1be3500SJunchao Zhang   VecErrorIfNotKokkos(y);
88f1be3500SJunchao Zhang   PetscCall(VecGetKokkosView(x, &xv));
89f1be3500SJunchao Zhang   PetscCall(VecGetKokkosViewWrite(y, &yv));
906dc07963SJunchao Zhang #if 0 // TODO: Why the TeamGemv version is 2x worse than the naive one?
916dc07963SJunchao Zhang   PetscCallCXX(Kokkos::parallel_for(
92*d326c3f1SJunchao Zhang     label, Kokkos::TeamPolicy<>(PetscGetKokkosExecutionSpace(), jac->nblocks, Kokkos::AUTO()), KOKKOS_LAMBDA(const KokkosTeamMemberType &team) {
936dc07963SJunchao Zhang       PetscInt           bid  = team.league_rank();    // block id
946dc07963SJunchao Zhang       PetscInt           n    = bs(bid + 1) - bs(bid); // size of this block
956dc07963SJunchao Zhang       const PetscScalar *bbuf = &diag(bs2(bid));
966dc07963SJunchao Zhang       const PetscScalar *xbuf = &xv(bs(bid));
976dc07963SJunchao Zhang       PetscScalar       *ybuf = &yv(bs(bid));
986dc07963SJunchao Zhang       const auto        &B    = Kokkos::View<const PetscScalar **, Kokkos::LayoutLeft>(bbuf, n, n); // wrap it in a 2D view in column-major order
996dc07963SJunchao Zhang       const auto        &x1   = ConstPetscScalarKokkosView(xbuf, n);
1006dc07963SJunchao Zhang       const auto        &y1   = PetscScalarKokkosView(ybuf, n);
1016dc07963SJunchao Zhang       if (transpose) {
1026dc07963SJunchao Zhang         KokkosBlas::TeamGemv<KokkosTeamMemberType, KokkosBlas::Trans::Transpose>::invoke(team, 1., B, x1, 0., y1); // y1 = 0.0 * y1 + 1.0 * B^T * x1
1036dc07963SJunchao Zhang       } else {
1046dc07963SJunchao Zhang         KokkosBlas::TeamGemv<KokkosTeamMemberType, KokkosBlas::Trans::NoTranspose>::invoke(team, 1., B, x1, 0., y1); // y1 = 0.0 * y1 + 1.0 * B * x1
1056dc07963SJunchao Zhang       }
1066dc07963SJunchao Zhang     }));
1076dc07963SJunchao Zhang #else
1089371c9d4SSatish Balay   PetscCallCXX(Kokkos::parallel_for(
109*d326c3f1SJunchao Zhang     label, Kokkos::RangePolicy<>(PetscGetKokkosExecutionSpace(), 0, pckok->n), KOKKOS_LAMBDA(PetscInt row) {
1106dc07963SJunchao Zhang       const PetscScalar *Bp, *xp;
111f1be3500SJunchao Zhang       PetscScalar       *yp;
112f1be3500SJunchao Zhang       PetscInt           i, j, k, m;
113f1be3500SJunchao Zhang 
1149d13fa56SJunchao Zhang       k  = blkMap(row);                             /* k-th block/matrix */
115f1be3500SJunchao Zhang       m  = bs(k + 1) - bs(k);                       /* block size of the k-th block */
116f1be3500SJunchao Zhang       i  = row - bs(k);                             /* i-th row of the block */
1176dc07963SJunchao Zhang       Bp = &diag(bs2(k) + i * (transpose ? m : 1)); /* Bp points to the first entry of i-th row/column */
118f1be3500SJunchao Zhang       xp = &xv(bs(k));
119f1be3500SJunchao Zhang       yp = &yv(bs(k));
120f1be3500SJunchao Zhang 
121f1be3500SJunchao Zhang       yp[i] = 0.0;
1229371c9d4SSatish Balay       for (j = 0; j < m; j++) {
1236dc07963SJunchao Zhang         yp[i] += Bp[0] * xp[j];
1246dc07963SJunchao Zhang         Bp += transpose ? 1 : m;
1259371c9d4SSatish Balay       }
126f1be3500SJunchao Zhang     }));
1276dc07963SJunchao Zhang #endif
128f1be3500SJunchao Zhang   PetscCall(VecRestoreKokkosView(x, &xv));
129f1be3500SJunchao Zhang   PetscCall(VecRestoreKokkosViewWrite(y, &yv));
1309a56b474SJunchao Zhang   PetscCall(PetscLogGpuFlops(pckok->nsize * 2)); /* FMA on entries in all blocks */
1319a56b474SJunchao Zhang   PetscCall(PetscLogGpuTimeEnd());
1323ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
133f1be3500SJunchao Zhang }
134f1be3500SJunchao Zhang 
135d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCDestroy_VPBJacobi_Kokkos(PC pc)
136d71ae5a4SJacob Faibussowitsch {
137f1be3500SJunchao Zhang   PC_VPBJacobi *jac = (PC_VPBJacobi *)pc->data;
138f1be3500SJunchao Zhang 
139f1be3500SJunchao Zhang   PetscFunctionBegin;
140f1be3500SJunchao Zhang   PetscCallCXX(delete static_cast<PC_VPBJacobi_Kokkos *>(jac->spptr));
141f1be3500SJunchao Zhang   PetscCall(PCDestroy_VPBJacobi(pc));
1423ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
143f1be3500SJunchao Zhang }
144f1be3500SJunchao Zhang 
145d71ae5a4SJacob Faibussowitsch PETSC_INTERN PetscErrorCode PCSetUp_VPBJacobi_Kokkos(PC pc)
146d71ae5a4SJacob Faibussowitsch {
147f1be3500SJunchao Zhang   PC_VPBJacobi        *jac   = (PC_VPBJacobi *)pc->data;
148f1be3500SJunchao Zhang   PC_VPBJacobi_Kokkos *pckok = static_cast<PC_VPBJacobi_Kokkos *>(jac->spptr);
1499d13fa56SJunchao Zhang   PetscInt             i, nlocal, nblocks, nsize = 0;
150f1be3500SJunchao Zhang   const PetscInt      *bsizes;
1515994c5adSJunchao Zhang   PetscBool            ismpi;
1525994c5adSJunchao Zhang   Mat                  A;
153f1be3500SJunchao Zhang 
154f1be3500SJunchao Zhang   PetscFunctionBegin;
155f1be3500SJunchao Zhang   PetscCall(MatGetVariableBlockSizes(pc->pmat, &nblocks, &bsizes));
1569d13fa56SJunchao Zhang   PetscCall(MatGetLocalSize(pc->pmat, &nlocal, NULL));
1579d13fa56SJunchao Zhang   PetscCheck(!nlocal || nblocks, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONGSTATE, "Must call MatSetVariableBlockSizes() before using PCVPBJACOBI");
158f1be3500SJunchao Zhang 
1599d13fa56SJunchao Zhang   if (!jac->diag) {
1609d13fa56SJunchao Zhang     PetscInt max_bs = -1, min_bs = PETSC_MAX_INT;
1619d13fa56SJunchao Zhang     for (i = 0; i < nblocks; i++) {
1629d13fa56SJunchao Zhang       min_bs = PetscMin(min_bs, bsizes[i]);
1639d13fa56SJunchao Zhang       max_bs = PetscMax(max_bs, bsizes[i]);
1649d13fa56SJunchao Zhang       nsize += bsizes[i] * bsizes[i];
1659d13fa56SJunchao Zhang     }
1669d13fa56SJunchao Zhang     jac->nblocks = nblocks;
1679d13fa56SJunchao Zhang     jac->min_bs  = min_bs;
1689d13fa56SJunchao Zhang     jac->max_bs  = max_bs;
1699d13fa56SJunchao Zhang   }
1709d13fa56SJunchao Zhang 
1719d13fa56SJunchao Zhang   // If one calls MatSetVariableBlockSizes() multiple times and sizes have been changed (is it allowed?), we delete the old and rebuild anyway
1729d13fa56SJunchao Zhang   if (pckok && (pckok->n != nlocal || pckok->nblocks != nblocks || pckok->nsize != nsize)) {
173f1be3500SJunchao Zhang     PetscCallCXX(delete pckok);
174f1be3500SJunchao Zhang     pckok = nullptr;
175f1be3500SJunchao Zhang   }
176f1be3500SJunchao Zhang 
1779d13fa56SJunchao Zhang   PetscCall(PetscLogGpuTimeBegin());
1789d13fa56SJunchao Zhang   if (!pckok) {
1799d13fa56SJunchao Zhang     PetscCallCXX(pckok = new PC_VPBJacobi_Kokkos(nlocal, nblocks, nsize, bsizes));
1809d13fa56SJunchao Zhang     jac->spptr = pckok;
181f1be3500SJunchao Zhang   }
182f1be3500SJunchao Zhang 
1839d13fa56SJunchao Zhang   // Extract diagonal blocks from the matrix and compute their inverse
1849d13fa56SJunchao Zhang   const auto &bs     = pckok->bs_dual.view_device();
1859d13fa56SJunchao Zhang   const auto &bs2    = pckok->bs2_dual.view_device();
1869d13fa56SJunchao Zhang   const auto &blkMap = pckok->blkMap_dual.view_device();
1875994c5adSJunchao Zhang   PetscCall(PetscObjectBaseTypeCompare((PetscObject)pc->pmat, MATMPIAIJ, &ismpi));
188f4f49eeaSPierre Jolivet   A = ismpi ? static_cast<Mat_MPIAIJ *>(pc->pmat->data)->A : pc->pmat;
1895994c5adSJunchao Zhang   PetscCall(MatInvertVariableBlockDiagonal_SeqAIJKokkos(A, bs, bs2, blkMap, pckok->work, pckok->diag));
19069eda9daSJed Brown   pc->ops->apply          = PCApplyOrTranspose_VPBJacobi_Kokkos<PETSC_FALSE>;
19169eda9daSJed Brown   pc->ops->applytranspose = PCApplyOrTranspose_VPBJacobi_Kokkos<PETSC_TRUE>;
192f1be3500SJunchao Zhang   pc->ops->destroy        = PCDestroy_VPBJacobi_Kokkos;
1939d13fa56SJunchao Zhang   PetscCall(PetscLogGpuTimeEnd());
1949d13fa56SJunchao Zhang   PetscCall(PetscLogGpuFlops(pckok->setupFlops));
1953ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
196f1be3500SJunchao Zhang }
197