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