xref: /petsc/src/mat/impls/aij/seq/kokkos/aijkok.hpp (revision e8c0849ab8fe171bed529bea27238c9b402db591)
1a4963045SJacob Faibussowitsch #pragma once
292896123SJunchao Zhang #include <petsc_kokkos.hpp>
3c0c276a7Ssdargavi #include <petscmat_kokkos.hpp>
4e907feaaSJunchao Zhang #include <petsc/private/kokkosimpl.hpp>
5394ed5ebSJunchao Zhang #include <../src/mat/impls/aij/seq/aij.h>
642550becSJunchao Zhang #include <KokkosSparse_CrsMatrix.hpp>
742550becSJunchao Zhang #include <KokkosSparse_spiluk.hpp>
87b8d4ba6SJunchao Zhang #include <string>
97b8d4ba6SJunchao Zhang 
107b8d4ba6SJunchao Zhang namespace
117b8d4ba6SJunchao Zhang {
NoInit(std::string label)127b8d4ba6SJunchao Zhang PETSC_NODISCARD inline decltype(auto) NoInit(std::string label)
137b8d4ba6SJunchao Zhang {
147b8d4ba6SJunchao Zhang   return Kokkos::view_alloc(Kokkos::WithoutInitializing, std::move(label));
157b8d4ba6SJunchao Zhang }
167b8d4ba6SJunchao Zhang } // namespace
1742550becSJunchao Zhang 
1842550becSJunchao Zhang using MatRowMapType = PetscInt;
1942550becSJunchao Zhang using MatColIdxType = PetscInt;
2042550becSJunchao Zhang using MatScalarType = PetscScalar;
2142550becSJunchao Zhang 
229371c9d4SSatish Balay template <class MemorySpace>
239371c9d4SSatish Balay using KokkosCsrMatrixType = typename KokkosSparse::CrsMatrix<MatScalarType, MatColIdxType, MemorySpace, void /* MemoryTraits */, MatRowMapType>;
249371c9d4SSatish Balay template <class MemorySpace>
259371c9d4SSatish Balay using KokkosCsrGraphType = typename KokkosCsrMatrixType<MemorySpace>::staticcrsgraph_type;
2642550becSJunchao Zhang 
2742550becSJunchao Zhang using KokkosCsrGraph     = KokkosCsrGraphType<DefaultMemorySpace>;
2845402d8aSJunchao Zhang using KokkosCsrGraphHost = KokkosCsrGraphType<HostMirrorMemorySpace>;
2942550becSJunchao Zhang 
3042550becSJunchao Zhang using KokkosCsrMatrix     = KokkosCsrMatrixType<DefaultMemorySpace>;
3145402d8aSJunchao Zhang using KokkosCsrMatrixHost = KokkosCsrMatrixType<HostMirrorMemorySpace>;
3242550becSJunchao Zhang 
3342550becSJunchao Zhang using MatRowMapKokkosView = KokkosCsrGraph::row_map_type::non_const_type;
3442550becSJunchao Zhang using MatColIdxKokkosView = KokkosCsrGraph::entries_type::non_const_type;
3542550becSJunchao Zhang using MatScalarKokkosView = KokkosCsrMatrix::values_type::non_const_type;
3642550becSJunchao Zhang 
3742550becSJunchao Zhang using MatRowMapKokkosViewHost = KokkosCsrGraphHost::row_map_type::non_const_type;
3842550becSJunchao Zhang using MatColIdxKokkosViewHost = KokkosCsrGraphHost::entries_type::non_const_type;
3942550becSJunchao Zhang using MatScalarKokkosViewHost = KokkosCsrMatrixHost::values_type::non_const_type;
4042550becSJunchao Zhang 
4142550becSJunchao Zhang using ConstMatRowMapKokkosView = KokkosCsrGraph::row_map_type::const_type;
4242550becSJunchao Zhang using ConstMatColIdxKokkosView = KokkosCsrGraph::entries_type::const_type;
4342550becSJunchao Zhang using ConstMatScalarKokkosView = KokkosCsrMatrix::values_type::const_type;
4442550becSJunchao Zhang 
4542550becSJunchao Zhang using ConstMatRowMapKokkosViewHost = KokkosCsrGraphHost::row_map_type::const_type;
4642550becSJunchao Zhang using ConstMatColIdxKokkosViewHost = KokkosCsrGraphHost::entries_type::const_type;
4742550becSJunchao Zhang using ConstMatScalarKokkosViewHost = KokkosCsrMatrixHost::values_type::const_type;
4842550becSJunchao Zhang 
4942550becSJunchao Zhang using MatRowMapKokkosDualView = Kokkos::DualView<MatRowMapType *>;
5042550becSJunchao Zhang using MatColIdxKokkosDualView = Kokkos::DualView<MatColIdxType *>;
5142550becSJunchao Zhang using MatScalarKokkosDualView = Kokkos::DualView<MatScalarType *>;
5242550becSJunchao Zhang 
5342550becSJunchao Zhang using KernelHandle = KokkosKernels::Experimental::KokkosKernelsHandle<MatRowMapType, MatColIdxType, MatScalarType, DefaultExecutionSpace, DefaultMemorySpace, DefaultMemorySpace>;
5442550becSJunchao Zhang 
5542550becSJunchao Zhang using KokkosTeamMemberType = Kokkos::TeamPolicy<DefaultExecutionSpace>::member_type;
5642550becSJunchao Zhang 
5742550becSJunchao Zhang /* For mat->spptr of a factorized matrix */
5842550becSJunchao Zhang struct Mat_SeqAIJKokkosTriFactors {
5942550becSJunchao Zhang   MatRowMapKokkosView   iL_d, iU_d, iLt_d, iUt_d; /* rowmap for L, U, L^t, U^t of A=LU */
6042550becSJunchao Zhang   MatColIdxKokkosView   jL_d, jU_d, jLt_d, jUt_d; /* column ids */
6142550becSJunchao Zhang   MatScalarKokkosView   aL_d, aU_d, aLt_d, aUt_d; /* matrix values */
62aac854edSJunchao Zhang   KernelHandle          kh, khL, khU, khLt, khUt; /* Kernel handles for ILU factorization of A, and TRSV of L, U, L^t, U^t */
63aac854edSJunchao Zhang   PetscScalarKokkosView workVector;
6442550becSJunchao Zhang   PetscBool             transpose_updated;         /* Are L^T, U^T updated wrt L, U*/
6542550becSJunchao Zhang   PetscBool             sptrsv_symbolic_completed; /* Have we completed the symbolic solve for L and U */
6642550becSJunchao Zhang 
67aac854edSJunchao Zhang   MatRowMapKokkosViewHost iL_h, iU_h, iLt_h, iUt_h; // temp. buffers when we do factorization with PETSc on host. We copy L, U to these buffers and then copy to device
68aac854edSJunchao Zhang   MatColIdxKokkosViewHost jL_h, jU_h, jLt_h, jUt_h;
69aac854edSJunchao Zhang   MatScalarKokkosViewHost aL_h, aU_h, aLt_h, aUt_h, D_h; // D is for LDLT factorization
70aac854edSJunchao Zhang   MatScalarKokkosView     D_d;
71aac854edSJunchao Zhang   Mat                     L, U, Lt, Ut; // MATSEQAIJ on host if needed. Their arrays are alias to (iL_h, jL_h, aL_h), (iU_h, jU_h, aU_h) and their transpose.
72aac854edSJunchao Zhang                                         // MatTranspose() on host might be faster than KK's csr transpose on device.
73aac854edSJunchao Zhang 
74aac854edSJunchao Zhang   PetscIntKokkosView rowperm, colperm; // row permutation and column permutation
75aac854edSJunchao Zhang 
Mat_SeqAIJKokkosTriFactorsMat_SeqAIJKokkosTriFactors76aac854edSJunchao Zhang   Mat_SeqAIJKokkosTriFactors(PetscInt n) : workVector("workVector", n)
77aac854edSJunchao Zhang   {
78aac854edSJunchao Zhang     L = U = Lt = Ut   = nullptr;
79aac854edSJunchao Zhang     transpose_updated = sptrsv_symbolic_completed = PETSC_FALSE;
80aac854edSJunchao Zhang   }
8142550becSJunchao Zhang 
~Mat_SeqAIJKokkosTriFactorsMat_SeqAIJKokkosTriFactors8242550becSJunchao Zhang   ~Mat_SeqAIJKokkosTriFactors() { Destroy(); }
8342550becSJunchao Zhang 
DestroyMat_SeqAIJKokkosTriFactors84d71ae5a4SJacob Faibussowitsch   void Destroy()
85d71ae5a4SJacob Faibussowitsch   {
86aac854edSJunchao Zhang     PetscFunctionBeginUser;
8742550becSJunchao Zhang     kh.destroy_spiluk_handle();
8842550becSJunchao Zhang     khL.destroy_sptrsv_handle();
8942550becSJunchao Zhang     khU.destroy_sptrsv_handle();
9042550becSJunchao Zhang     khLt.destroy_sptrsv_handle();
9142550becSJunchao Zhang     khUt.destroy_sptrsv_handle();
92aac854edSJunchao Zhang     PetscCallVoid(MatDestroy(&L));
93aac854edSJunchao Zhang     PetscCallVoid(MatDestroy(&U));
94aac854edSJunchao Zhang     PetscCallVoid(MatDestroy(&Lt));
95aac854edSJunchao Zhang     PetscCallVoid(MatDestroy(&Ut));
96aac854edSJunchao Zhang     L = U = Lt = Ut   = nullptr;
9742550becSJunchao Zhang     transpose_updated = sptrsv_symbolic_completed = PETSC_FALSE;
98aac854edSJunchao Zhang     PetscFunctionReturnVoid();
9942550becSJunchao Zhang   }
10042550becSJunchao Zhang };
10142550becSJunchao Zhang 
10242550becSJunchao Zhang /* For mat->spptr of a regular matrix */
10342550becSJunchao Zhang struct Mat_SeqAIJKokkos {
10442550becSJunchao Zhang   MatRowMapKokkosDualView i_dual;
10542550becSJunchao Zhang   MatColIdxKokkosDualView j_dual;
10642550becSJunchao Zhang   MatScalarKokkosDualView a_dual;
107d1c799ffSJunchao Zhang   PetscBool               host_aij_allocated_by_kokkos = PETSC_FALSE; /* Are host views of a, i, j in the duals allocated by Kokkos? */
10842550becSJunchao Zhang 
109f78ce678SMark Adams   MatRowMapKokkosDualView diag_dual; /* Diagonal pointer, built on demand */
110f78ce678SMark Adams 
11142550becSJunchao Zhang   KokkosCsrMatrix  csrmat;       /* The CSR matrix, used to call KK functions */
11242550becSJunchao Zhang   PetscObjectState nonzerostate; /* State of the nonzero pattern (graph) on device */
11342550becSJunchao Zhang 
11442550becSJunchao Zhang   KokkosCsrMatrix     csrmatT, csrmatH;                     /* Transpose and Hermitian of the matrix (built on demand) */
11542550becSJunchao Zhang   PetscBool           transpose_updated, hermitian_updated; /* Are At, Ah updated wrt the matrix? */
1160e3ece09SJunchao Zhang   MatRowMapKokkosView transpose_perm;                       // A permutation array making Ta(i) = Aa(perm(i)), where T = A^t
11742550becSJunchao Zhang 
118f4747e26SJunchao Zhang   /* Construct a nrows by ncols matrix with given aseq on host. Caller also specifies a nonzero state */
Mat_SeqAIJKokkosMat_SeqAIJKokkos119*421480d9SBarry Smith   Mat_SeqAIJKokkos(Mat A, PetscInt nrows, PetscInt ncols, Mat_SeqAIJ *aseq, PetscObjectState nzstate, PetscBool copyValues = PETSC_TRUE)
120d71ae5a4SJacob Faibussowitsch   {
1214df4a32cSJunchao Zhang     auto exec = PetscGetKokkosExecutionSpace();
12292896123SJunchao Zhang 
123*421480d9SBarry Smith     // a->diag must exist before new Mat_SeqAIJKokkos()
124*421480d9SBarry Smith     const PetscInt *adiag;
125*421480d9SBarry Smith     PetscCallVoid(MatGetDiagonalMarkers_SeqAIJ(A, &adiag, NULL));
126*421480d9SBarry Smith 
127f4747e26SJunchao Zhang     MatScalarKokkosViewHost a_h(aseq->a, aseq->nz);
128f4747e26SJunchao Zhang     MatRowMapKokkosViewHost i_h(const_cast<MatRowMapType *>(aseq->i), nrows + 1);
129f4747e26SJunchao Zhang     MatColIdxKokkosViewHost j_h(aseq->j, aseq->nz);
130f4747e26SJunchao Zhang     MatRowMapKokkosViewHost diag_h(aseq->diag, nrows);
13142550becSJunchao Zhang 
13292896123SJunchao Zhang     auto a_d    = Kokkos::create_mirror_view(Kokkos::WithoutInitializing, exec, a_h);
13392896123SJunchao Zhang     auto i_d    = Kokkos::create_mirror_view_and_copy(exec, i_h);
13492896123SJunchao Zhang     auto j_d    = Kokkos::create_mirror_view_and_copy(exec, j_h);
13592896123SJunchao Zhang     auto diag_d = Kokkos::create_mirror_view_and_copy(exec, diag_h);
13642550becSJunchao Zhang     a_dual      = MatScalarKokkosDualView(a_d, a_h);
13742550becSJunchao Zhang     i_dual      = MatRowMapKokkosDualView(i_d, i_h);
13842550becSJunchao Zhang     j_dual      = MatColIdxKokkosDualView(j_d, j_h);
139f4747e26SJunchao Zhang     diag_dual   = MatColIdxKokkosDualView(diag_d, diag_h);
14042550becSJunchao Zhang 
14142550becSJunchao Zhang     a_dual.modify_host(); /* Since caller provided values on host */
142f3d3cd90SZach Atkins     if (copyValues) (void)KokkosDualViewSyncDevice(a_dual, exec);
14342550becSJunchao Zhang 
14442550becSJunchao Zhang     csrmat = KokkosCsrMatrix("csrmat", ncols, a_d, KokkosCsrGraph(j_d, i_d));
145aac854edSJunchao Zhang     Init(nzstate);
14642550becSJunchao Zhang   }
14742550becSJunchao Zhang 
14842550becSJunchao Zhang   /* Construct with a KokkosCsrMatrix. For performance, only i, j are copied to host, but not the matrix values. */
Mat_SeqAIJKokkosMat_SeqAIJKokkos149d71ae5a4SJacob Faibussowitsch   Mat_SeqAIJKokkos(const KokkosCsrMatrix &csr) : csrmat(csr) /* Shallow-copy csr's views to csrmat */
15042550becSJunchao Zhang   {
15142550becSJunchao Zhang     auto a_d = csr.values;
15242550becSJunchao Zhang     /* Get a non-const version since I don't want to deal with DualView<const T*>, which is not well defined */
15342550becSJunchao Zhang     MatRowMapKokkosView i_d(const_cast<MatRowMapType *>(csr.graph.row_map.data()), csr.graph.row_map.extent(0));
15442550becSJunchao Zhang     auto                j_d = csr.graph.entries;
15545402d8aSJunchao Zhang     auto                a_h = Kokkos::create_mirror_view(Kokkos::WithoutInitializing, HostMirrorMemorySpace(), a_d);
15645402d8aSJunchao Zhang     auto                i_h = Kokkos::create_mirror_view_and_copy(HostMirrorMemorySpace(), i_d);
15745402d8aSJunchao Zhang     auto                j_h = Kokkos::create_mirror_view_and_copy(HostMirrorMemorySpace(), j_d);
15842550becSJunchao Zhang 
159f4747e26SJunchao Zhang     // diag_dual is set until MatAssemblyEnd() where we copy diag from host to device
16042550becSJunchao Zhang     a_dual = MatScalarKokkosDualView(a_d, a_h);
16142550becSJunchao Zhang     a_dual.modify_device(); /* since we did not copy a_d to a_h, we mark device has the latest data */
16242550becSJunchao Zhang     i_dual                       = MatRowMapKokkosDualView(i_d, i_h);
16342550becSJunchao Zhang     j_dual                       = MatColIdxKokkosDualView(j_d, j_h);
164d1c799ffSJunchao Zhang     host_aij_allocated_by_kokkos = PETSC_TRUE; /* That means after deleting aijkok, one shouldn't access aijseq->{a,i,j} anymore! */
16542550becSJunchao Zhang     Init();
16642550becSJunchao Zhang   }
16742550becSJunchao Zhang 
168ecd797f4SJunchao Zhang   // Don't use DualView argument types as we want to be sure that a,i,j on host are allocated by Mat_SeqAIJKokkos itself (vs. by users)
Mat_SeqAIJKokkosMat_SeqAIJKokkos169ecd797f4SJunchao Zhang   Mat_SeqAIJKokkos(PetscInt nrows, PetscInt ncols, PetscInt nnz, const MatRowMapKokkosView &i_d, const MatColIdxKokkosView &j_d, const MatScalarKokkosView &a_d) : Mat_SeqAIJKokkos(KokkosCsrMatrix("csrmat", nrows, ncols, nnz, a_d, i_d, j_d)) { }
17042550becSJunchao Zhang 
a_host_dataMat_SeqAIJKokkos17142550becSJunchao Zhang   MatScalarType *a_host_data() { return a_dual.view_host().data(); }
i_host_dataMat_SeqAIJKokkos17242550becSJunchao Zhang   MatRowMapType *i_host_data() { return i_dual.view_host().data(); }
j_host_dataMat_SeqAIJKokkos17342550becSJunchao Zhang   MatColIdxType *j_host_data() { return j_dual.view_host().data(); }
17442550becSJunchao Zhang 
a_device_dataMat_SeqAIJKokkos17542550becSJunchao Zhang   MatScalarType *a_device_data() { return a_dual.view_device().data(); }
i_device_dataMat_SeqAIJKokkos17642550becSJunchao Zhang   MatRowMapType *i_device_data() { return i_dual.view_device().data(); }
j_device_dataMat_SeqAIJKokkos17742550becSJunchao Zhang   MatColIdxType *j_device_data() { return j_dual.view_device().data(); }
17842550becSJunchao Zhang 
nrowsMat_SeqAIJKokkos17942550becSJunchao Zhang   MatColIdxType nrows() { return csrmat.numRows(); }
ncolsMat_SeqAIJKokkos18042550becSJunchao Zhang   MatColIdxType ncols() { return csrmat.numCols(); }
nnzMat_SeqAIJKokkos18142550becSJunchao Zhang   MatRowMapType nnz() { return csrmat.nnz(); }
18242550becSJunchao Zhang 
18342550becSJunchao Zhang   /* Change the csrmat size to n */
SetColSizeMat_SeqAIJKokkos18442550becSJunchao Zhang   void SetColSize(MatColIdxType n) { csrmat = KokkosCsrMatrix("csrmat", n, a_dual.view_device(), csrmat.graph); }
18542550becSJunchao Zhang 
SetDiagonalMat_SeqAIJKokkos186d71ae5a4SJacob Faibussowitsch   void SetDiagonal(const MatRowMapType *diag)
187d71ae5a4SJacob Faibussowitsch   {
188f78ce678SMark Adams     MatRowMapKokkosViewHost diag_h(const_cast<MatRowMapType *>(diag), nrows());
189f78ce678SMark Adams     auto                    diag_d = Kokkos::create_mirror_view_and_copy(DefaultMemorySpace(), diag_h);
190f78ce678SMark Adams     diag_dual                      = MatRowMapKokkosDualView(diag_d, diag_h);
191f78ce678SMark Adams   }
192f78ce678SMark Adams 
19342550becSJunchao Zhang   /* Shared init stuff */
InitMat_SeqAIJKokkos194aac854edSJunchao Zhang   void Init(PetscObjectState nzstate = 0)
195d71ae5a4SJacob Faibussowitsch   {
196aac854edSJunchao Zhang     nonzerostate      = nzstate;
197aac854edSJunchao Zhang     transpose_updated = PETSC_FALSE;
198aac854edSJunchao Zhang     hermitian_updated = PETSC_FALSE;
19942550becSJunchao Zhang   }
20042550becSJunchao Zhang 
DestroyMatTransposeMat_SeqAIJKokkos201d71ae5a4SJacob Faibussowitsch   PetscErrorCode DestroyMatTranspose(void)
202d71ae5a4SJacob Faibussowitsch   {
20342550becSJunchao Zhang     PetscFunctionBegin;
20442550becSJunchao Zhang     csrmatT = KokkosCsrMatrix(); /* Overwrite with empty matrices */
20542550becSJunchao Zhang     csrmatH = KokkosCsrMatrix();
2063ba16761SJacob Faibussowitsch     PetscFunctionReturn(PETSC_SUCCESS);
20742550becSJunchao Zhang   }
20842550becSJunchao Zhang };
20942550becSJunchao Zhang 
210cc1eb50dSBarry Smith struct MatProductCtx_SeqAIJKokkos {
21142550becSJunchao Zhang   KernelHandle kh;
21242550becSJunchao Zhang   PetscBool    reusesym;
MatProductCtx_SeqAIJKokkosMatProductCtx_SeqAIJKokkos213cc1eb50dSBarry Smith   MatProductCtx_SeqAIJKokkos() : reusesym(PETSC_FALSE) { }
21442550becSJunchao Zhang };
21542550becSJunchao Zhang 
21642550becSJunchao Zhang PETSC_INTERN PetscErrorCode MatSetSeqAIJKokkosWithCSRMatrix(Mat, Mat_SeqAIJKokkos *);
21742550becSJunchao Zhang PETSC_INTERN PetscErrorCode MatCreateSeqAIJKokkosWithCSRMatrix(MPI_Comm, Mat_SeqAIJKokkos *, Mat *);
21842550becSJunchao Zhang PETSC_INTERN PetscErrorCode MatSeqAIJKokkosMergeMats(Mat, Mat, MatReuse, Mat *);
21942550becSJunchao Zhang PETSC_INTERN PetscErrorCode MatSeqAIJKokkosSyncDevice(Mat);
2200e3ece09SJunchao Zhang PETSC_INTERN PetscErrorCode MatSeqAIJKokkosGetKokkosCsrMatrix(Mat, KokkosCsrMatrix *);
2210e3ece09SJunchao Zhang PETSC_INTERN PetscErrorCode MatCreateSeqAIJKokkosWithKokkosCsrMatrix(MPI_Comm, KokkosCsrMatrix, Mat *);
22242550becSJunchao Zhang PETSC_INTERN PetscErrorCode PrintCsrMatrix(const KokkosCsrMatrix &csrmat);
22342550becSJunchao Zhang PETSC_INTERN PetscErrorCode MatConvert_SeqAIJ_SeqAIJKokkos(Mat, MatType, MatReuse, Mat *);
22442550becSJunchao Zhang PETSC_INTERN PetscErrorCode MatSeqAIJKokkosModifyDevice(Mat);
2250e3ece09SJunchao Zhang PETSC_INTERN PetscErrorCode MatSeqAIJKokkosGenerateTranspose_Private(Mat, KokkosCsrMatrix *);
226394ed5ebSJunchao Zhang 
227394ed5ebSJunchao Zhang PETSC_INTERN PetscErrorCode MatSeqAIJGetKokkosView(Mat, MatScalarKokkosView *);
228394ed5ebSJunchao Zhang PETSC_INTERN PetscErrorCode MatSeqAIJRestoreKokkosView(Mat, MatScalarKokkosView *);
229394ed5ebSJunchao Zhang PETSC_INTERN PetscErrorCode MatSeqAIJGetKokkosViewWrite(Mat, MatScalarKokkosView *);
230394ed5ebSJunchao Zhang PETSC_INTERN PetscErrorCode MatSeqAIJRestoreKokkosViewWrite(Mat, MatScalarKokkosView *);
2319d13fa56SJunchao Zhang PETSC_INTERN PetscErrorCode MatInvertVariableBlockDiagonal_SeqAIJKokkos(Mat, const PetscIntKokkosView &, const PetscIntKokkosView &, const PetscIntKokkosView &, PetscScalarKokkosView &, PetscScalarKokkosView &);
232