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