xref: /petsc/src/ksp/pc/impls/vpbjacobi/kokkos/vpbjacobi_kok.kokkos.cxx (revision 6dc07963ba61819cb03657c4b2102f60fce644f1)
1f1be3500SJunchao Zhang #include <petscvec_kokkos.hpp>
2f1be3500SJunchao Zhang #include <../src/vec/vec/impls/seq/kokkos/veckokkosimpl.hpp>
3f1be3500SJunchao Zhang #include <petscdevice.h>
4f1be3500SJunchao Zhang #include <../src/ksp/pc/impls/vpbjacobi/vpbjacobi.h>
59d13fa56SJunchao Zhang #include <../src/mat/impls/aij/seq/kokkos/aijkok.hpp> // for MatInvertVariableBlockDiagonal_SeqAIJKokkos
6*6dc07963SJunchao Zhang #include <KokkosBlas2_gemv.hpp>
7f1be3500SJunchao Zhang 
8f1be3500SJunchao Zhang /* A class that manages helper arrays assisting parallel PCApply() with Kokkos */
9f1be3500SJunchao Zhang struct PC_VPBJacobi_Kokkos {
10f1be3500SJunchao Zhang   /* Cache the old sizes to check if we need realloc */
11f1be3500SJunchao Zhang   PetscInt n;       /* number of rows of the local matrix */
12f1be3500SJunchao Zhang   PetscInt nblocks; /* number of point blocks */
139d13fa56SJunchao Zhang   PetscInt nsize;   /* sum of sizes (elements) of the point blocks */
14f1be3500SJunchao Zhang 
15f1be3500SJunchao Zhang   /* Helper arrays that are pre-computed on host and then copied to device.
16f1be3500SJunchao Zhang     bs:     [nblocks+1], "csr" version of bsizes[]
17f1be3500SJunchao Zhang     bs2:    [nblocks+1], "csr" version of squares of bsizes[]
189d13fa56SJunchao Zhang     blkMap: [n], row i of the local matrix belongs to the blkMap[i]-th block
19f1be3500SJunchao Zhang   */
209d13fa56SJunchao Zhang   PetscIntKokkosDualView bs_dual, bs2_dual, blkMap_dual;
219d13fa56SJunchao Zhang   PetscScalarKokkosView  diag; // buffer to store diagonal blocks
229d13fa56SJunchao Zhang   PetscScalarKokkosView  work; // work buffer, with the same size as diag[]
239d13fa56SJunchao Zhang   PetscLogDouble         setupFlops;
24f1be3500SJunchao Zhang 
259d13fa56SJunchao Zhang   // clang-format off
269d13fa56SJunchao Zhang   // n:               size of the matrix
279d13fa56SJunchao Zhang   // nblocks:         number of blocks
289d13fa56SJunchao Zhang   // nsize:           sum bsizes[i]^2 for i=0..nblocks
299d13fa56SJunchao Zhang   // bsizes[nblocks]: sizes of blocks
309d13fa56SJunchao Zhang   PC_VPBJacobi_Kokkos(PetscInt n, PetscInt nblocks, PetscInt nsize, const PetscInt *bsizes) :
319d13fa56SJunchao Zhang     n(n), nblocks(nblocks), nsize(nsize), bs_dual(NoInit("bs_dual"), nblocks + 1),
329d13fa56SJunchao Zhang     bs2_dual(NoInit("bs2_dual"), nblocks + 1), blkMap_dual(NoInit("blkMap_dual"), n),
339d13fa56SJunchao Zhang     diag(NoInit("diag"), nsize), work(NoInit("work"), nsize)
34d71ae5a4SJacob Faibussowitsch   {
359d13fa56SJunchao Zhang     PetscCallVoid(BuildHelperArrays(bsizes));
36f1be3500SJunchao Zhang   }
379d13fa56SJunchao Zhang   // clang-format on
38f1be3500SJunchao Zhang 
39f1be3500SJunchao Zhang private:
409d13fa56SJunchao Zhang   PetscErrorCode BuildHelperArrays(const PetscInt *bsizes)
41d71ae5a4SJacob Faibussowitsch   {
42f1be3500SJunchao Zhang     PetscInt *bs_h     = bs_dual.view_host().data();
43f1be3500SJunchao Zhang     PetscInt *bs2_h    = bs2_dual.view_host().data();
449d13fa56SJunchao Zhang     PetscInt *blkMap_h = blkMap_dual.view_host().data();
45f1be3500SJunchao Zhang 
46f1be3500SJunchao Zhang     PetscFunctionBegin;
479d13fa56SJunchao Zhang     setupFlops = 0.0;
48f1be3500SJunchao Zhang     bs_h[0] = bs2_h[0] = 0;
49f1be3500SJunchao Zhang     for (PetscInt i = 0; i < nblocks; i++) {
509d13fa56SJunchao Zhang       PetscInt m   = bsizes[i];
519d13fa56SJunchao Zhang       bs_h[i + 1]  = bs_h[i] + m;
529d13fa56SJunchao Zhang       bs2_h[i + 1] = bs2_h[i] + m * m;
539d13fa56SJunchao Zhang       for (PetscInt j = 0; j < m; j++) blkMap_h[bs_h[i] + j] = i;
549d13fa56SJunchao Zhang       // m^3/3 FMA for A=LU factorization; m^3 FMA for solving (LU)X=I to get the inverse
559d13fa56SJunchao Zhang       setupFlops += 8.0 * m * m * m / 3;
56f1be3500SJunchao Zhang     }
579d13fa56SJunchao Zhang 
589d13fa56SJunchao Zhang     PetscCallCXX(bs_dual.modify_host());
599d13fa56SJunchao Zhang     PetscCallCXX(bs2_dual.modify_host());
609d13fa56SJunchao Zhang     PetscCallCXX(blkMap_dual.modify_host());
619d13fa56SJunchao Zhang     PetscCallCXX(bs_dual.sync_device());
629d13fa56SJunchao Zhang     PetscCallCXX(bs2_dual.sync_device());
639d13fa56SJunchao Zhang     PetscCallCXX(blkMap_dual.sync_device());
649d13fa56SJunchao Zhang     PetscCall(PetscLogCpuToGpu(sizeof(PetscInt) * (2 * (nblocks + 1) + n)));
653ba16761SJacob Faibussowitsch     PetscFunctionReturn(PETSC_SUCCESS);
66f1be3500SJunchao Zhang   }
67f1be3500SJunchao Zhang };
68f1be3500SJunchao Zhang 
6969eda9daSJed Brown template <PetscBool transpose>
7069eda9daSJed Brown static PetscErrorCode PCApplyOrTranspose_VPBJacobi_Kokkos(PC pc, Vec x, Vec y)
71d71ae5a4SJacob Faibussowitsch {
72f1be3500SJunchao Zhang   PC_VPBJacobi              *jac   = (PC_VPBJacobi *)pc->data;
73f1be3500SJunchao Zhang   PC_VPBJacobi_Kokkos       *pckok = static_cast<PC_VPBJacobi_Kokkos *>(jac->spptr);
74f1be3500SJunchao Zhang   ConstPetscScalarKokkosView xv;
75f1be3500SJunchao Zhang   PetscScalarKokkosView      yv;
769d13fa56SJunchao Zhang   PetscScalarKokkosView      diag   = pckok->diag;
77f1be3500SJunchao Zhang   PetscIntKokkosView         bs     = pckok->bs_dual.view_device();
78f1be3500SJunchao Zhang   PetscIntKokkosView         bs2    = pckok->bs2_dual.view_device();
799d13fa56SJunchao Zhang   PetscIntKokkosView         blkMap = pckok->blkMap_dual.view_device();
80*6dc07963SJunchao Zhang   const char                *label  = transpose ? "PCApplyTranspose_VPBJacobi" : "PCApply_VPBJacobi";
81f1be3500SJunchao Zhang 
82f1be3500SJunchao Zhang   PetscFunctionBegin;
839a56b474SJunchao Zhang   PetscCall(PetscLogGpuTimeBegin());
84f1be3500SJunchao Zhang   VecErrorIfNotKokkos(x);
85f1be3500SJunchao Zhang   VecErrorIfNotKokkos(y);
86f1be3500SJunchao Zhang   PetscCall(VecGetKokkosView(x, &xv));
87f1be3500SJunchao Zhang   PetscCall(VecGetKokkosViewWrite(y, &yv));
88*6dc07963SJunchao Zhang #if 0 // TODO: Why the TeamGemv version is 2x worse than the naive one?
89*6dc07963SJunchao Zhang   PetscCallCXX(Kokkos::parallel_for(
90*6dc07963SJunchao Zhang     label, Kokkos::TeamPolicy<>(jac->nblocks, Kokkos::AUTO()), KOKKOS_LAMBDA(const KokkosTeamMemberType &team) {
91*6dc07963SJunchao Zhang       PetscInt           bid  = team.league_rank();    // block id
92*6dc07963SJunchao Zhang       PetscInt           n    = bs(bid + 1) - bs(bid); // size of this block
93*6dc07963SJunchao Zhang       const PetscScalar *bbuf = &diag(bs2(bid));
94*6dc07963SJunchao Zhang       const PetscScalar *xbuf = &xv(bs(bid));
95*6dc07963SJunchao Zhang       PetscScalar       *ybuf = &yv(bs(bid));
96*6dc07963SJunchao Zhang       const auto        &B    = Kokkos::View<const PetscScalar **, Kokkos::LayoutLeft>(bbuf, n, n); // wrap it in a 2D view in column-major order
97*6dc07963SJunchao Zhang       const auto        &x1   = ConstPetscScalarKokkosView(xbuf, n);
98*6dc07963SJunchao Zhang       const auto        &y1   = PetscScalarKokkosView(ybuf, n);
99*6dc07963SJunchao Zhang       if (transpose) {
100*6dc07963SJunchao Zhang         KokkosBlas::TeamGemv<KokkosTeamMemberType, KokkosBlas::Trans::Transpose>::invoke(team, 1., B, x1, 0., y1); // y1 = 0.0 * y1 + 1.0 * B^T * x1
101*6dc07963SJunchao Zhang       } else {
102*6dc07963SJunchao Zhang         KokkosBlas::TeamGemv<KokkosTeamMemberType, KokkosBlas::Trans::NoTranspose>::invoke(team, 1., B, x1, 0., y1); // y1 = 0.0 * y1 + 1.0 * B * x1
103*6dc07963SJunchao Zhang       }
104*6dc07963SJunchao Zhang     }));
105*6dc07963SJunchao Zhang #else
1069371c9d4SSatish Balay   PetscCallCXX(Kokkos::parallel_for(
10769eda9daSJed Brown     label, pckok->n, KOKKOS_LAMBDA(PetscInt row) {
108*6dc07963SJunchao Zhang       const PetscScalar *Bp, *xp;
109f1be3500SJunchao Zhang       PetscScalar       *yp;
110f1be3500SJunchao Zhang       PetscInt           i, j, k, m;
111f1be3500SJunchao Zhang 
1129d13fa56SJunchao Zhang       k  = blkMap(row);                             /* k-th block/matrix */
113f1be3500SJunchao Zhang       m  = bs(k + 1) - bs(k);                       /* block size of the k-th block */
114f1be3500SJunchao Zhang       i  = row - bs(k);                             /* i-th row of the block */
115*6dc07963SJunchao Zhang       Bp = &diag(bs2(k) + i * (transpose ? m : 1)); /* Bp points to the first entry of i-th row/column */
116f1be3500SJunchao Zhang       xp = &xv(bs(k));
117f1be3500SJunchao Zhang       yp = &yv(bs(k));
118f1be3500SJunchao Zhang 
119f1be3500SJunchao Zhang       yp[i] = 0.0;
1209371c9d4SSatish Balay       for (j = 0; j < m; j++) {
121*6dc07963SJunchao Zhang         yp[i] += Bp[0] * xp[j];
122*6dc07963SJunchao Zhang         Bp += transpose ? 1 : m;
1239371c9d4SSatish Balay       }
124f1be3500SJunchao Zhang     }));
125*6dc07963SJunchao Zhang #endif
126f1be3500SJunchao Zhang   PetscCall(VecRestoreKokkosView(x, &xv));
127f1be3500SJunchao Zhang   PetscCall(VecRestoreKokkosViewWrite(y, &yv));
1289a56b474SJunchao Zhang   PetscCall(PetscLogGpuFlops(pckok->nsize * 2)); /* FMA on entries in all blocks */
1299a56b474SJunchao Zhang   PetscCall(PetscLogGpuTimeEnd());
1303ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
131f1be3500SJunchao Zhang }
132f1be3500SJunchao Zhang 
133d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCDestroy_VPBJacobi_Kokkos(PC pc)
134d71ae5a4SJacob Faibussowitsch {
135f1be3500SJunchao Zhang   PC_VPBJacobi *jac = (PC_VPBJacobi *)pc->data;
136f1be3500SJunchao Zhang 
137f1be3500SJunchao Zhang   PetscFunctionBegin;
138f1be3500SJunchao Zhang   PetscCallCXX(delete static_cast<PC_VPBJacobi_Kokkos *>(jac->spptr));
139f1be3500SJunchao Zhang   PetscCall(PCDestroy_VPBJacobi(pc));
1403ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
141f1be3500SJunchao Zhang }
142f1be3500SJunchao Zhang 
143d71ae5a4SJacob Faibussowitsch PETSC_INTERN PetscErrorCode PCSetUp_VPBJacobi_Kokkos(PC pc)
144d71ae5a4SJacob Faibussowitsch {
145f1be3500SJunchao Zhang   PC_VPBJacobi        *jac   = (PC_VPBJacobi *)pc->data;
146f1be3500SJunchao Zhang   PC_VPBJacobi_Kokkos *pckok = static_cast<PC_VPBJacobi_Kokkos *>(jac->spptr);
1479d13fa56SJunchao Zhang   PetscInt             i, nlocal, nblocks, nsize = 0;
148f1be3500SJunchao Zhang   const PetscInt      *bsizes;
149f1be3500SJunchao Zhang 
150f1be3500SJunchao Zhang   PetscFunctionBegin;
151f1be3500SJunchao Zhang   PetscCall(MatGetVariableBlockSizes(pc->pmat, &nblocks, &bsizes));
1529d13fa56SJunchao Zhang   PetscCall(MatGetLocalSize(pc->pmat, &nlocal, NULL));
1539d13fa56SJunchao Zhang   PetscCheck(!nlocal || nblocks, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONGSTATE, "Must call MatSetVariableBlockSizes() before using PCVPBJACOBI");
154f1be3500SJunchao Zhang 
1559d13fa56SJunchao Zhang   if (!jac->diag) {
1569d13fa56SJunchao Zhang     PetscInt max_bs = -1, min_bs = PETSC_MAX_INT;
1579d13fa56SJunchao Zhang     for (i = 0; i < nblocks; i++) {
1589d13fa56SJunchao Zhang       min_bs = PetscMin(min_bs, bsizes[i]);
1599d13fa56SJunchao Zhang       max_bs = PetscMax(max_bs, bsizes[i]);
1609d13fa56SJunchao Zhang       nsize += bsizes[i] * bsizes[i];
1619d13fa56SJunchao Zhang     }
1629d13fa56SJunchao Zhang     jac->nblocks = nblocks;
1639d13fa56SJunchao Zhang     jac->min_bs  = min_bs;
1649d13fa56SJunchao Zhang     jac->max_bs  = max_bs;
1659d13fa56SJunchao Zhang   }
1669d13fa56SJunchao Zhang 
1679d13fa56SJunchao Zhang   // If one calls MatSetVariableBlockSizes() multiple times and sizes have been changed (is it allowed?), we delete the old and rebuild anyway
1689d13fa56SJunchao Zhang   if (pckok && (pckok->n != nlocal || pckok->nblocks != nblocks || pckok->nsize != nsize)) {
169f1be3500SJunchao Zhang     PetscCallCXX(delete pckok);
170f1be3500SJunchao Zhang     pckok = nullptr;
171f1be3500SJunchao Zhang   }
172f1be3500SJunchao Zhang 
1739d13fa56SJunchao Zhang   PetscCall(PetscLogGpuTimeBegin());
1749d13fa56SJunchao Zhang   if (!pckok) {
1759d13fa56SJunchao Zhang     PetscCallCXX(pckok = new PC_VPBJacobi_Kokkos(nlocal, nblocks, nsize, bsizes));
1769d13fa56SJunchao Zhang     jac->spptr = pckok;
177f1be3500SJunchao Zhang   }
178f1be3500SJunchao Zhang 
1799d13fa56SJunchao Zhang   // Extract diagonal blocks from the matrix and compute their inverse
1809d13fa56SJunchao Zhang   const auto &bs     = pckok->bs_dual.view_device();
1819d13fa56SJunchao Zhang   const auto &bs2    = pckok->bs2_dual.view_device();
1829d13fa56SJunchao Zhang   const auto &blkMap = pckok->blkMap_dual.view_device();
1839d13fa56SJunchao Zhang   PetscCall(MatInvertVariableBlockDiagonal_SeqAIJKokkos(pc->pmat, bs, bs2, blkMap, pckok->work, pckok->diag));
18469eda9daSJed Brown   pc->ops->apply          = PCApplyOrTranspose_VPBJacobi_Kokkos<PETSC_FALSE>;
18569eda9daSJed Brown   pc->ops->applytranspose = PCApplyOrTranspose_VPBJacobi_Kokkos<PETSC_TRUE>;
186f1be3500SJunchao Zhang   pc->ops->destroy        = PCDestroy_VPBJacobi_Kokkos;
1879d13fa56SJunchao Zhang   PetscCall(PetscLogGpuTimeEnd());
1889d13fa56SJunchao Zhang   PetscCall(PetscLogGpuFlops(pckok->setupFlops));
1893ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
190f1be3500SJunchao Zhang }
191