Amesos2 - Direct Sparse Solver Interfaces Version of the Day
Amesos2_CssMKL_decl.hpp
Go to the documentation of this file.
1// @HEADER
2// *****************************************************************************
3// Amesos2: Templated Direct Sparse Solver Package
4//
5// Copyright 2011 NTESS and the Amesos2 contributors.
6// SPDX-License-Identifier: BSD-3-Clause
7// *****************************************************************************
8// @HEADER
9
10
22#ifndef AMESOS2_CSSMKL_DECL_HPP
23#define AMESOS2_CSSMKL_DECL_HPP
24
25#include <map>
26
27#include <Teuchos_StandardParameterEntryValidators.hpp>
28
30#include "Amesos2_SolverCore.hpp"
31#include "Amesos2_CssMKL_FunctionMap.hpp"
32
33
34namespace Amesos2 {
35
36
47 template <class Matrix,
48 class Vector>
49 class CssMKL : public SolverCore<Amesos2::CssMKL, Matrix, Vector>
50 {
51 friend class SolverCore<Amesos2::CssMKL,Matrix,Vector>; // Give our base access
52 // to our private
53 // implementation funcs
54 public:
55
57 static const char* name; // declaration. Initialization outside.
58
59 typedef CssMKL<Matrix,Vector> type;
60 typedef SolverCore<Amesos2::CssMKL,Matrix,Vector> super_type;
61
62 // Since typedef's are not inheritted, go grab them
63 typedef typename super_type::scalar_type scalar_type;
64 typedef typename super_type::local_ordinal_type local_ordinal_type;
65 typedef typename super_type::global_ordinal_type global_ordinal_type;
66 typedef typename super_type::global_size_type global_size_type;
67 typedef typename super_type::node_type node_type;
68 typedef Tpetra::Map<local_ordinal_type,
69 global_ordinal_type,
70 node_type> map_type;
71
72 typedef TypeMap<Amesos2::PardisoMKL,scalar_type> type_map;
73
74 typedef typename type_map::type solver_scalar_type;
75 typedef typename type_map::magnitude_type solver_magnitude_type;
76
77 // This may be PMKL::_INTEGER_t or long long int depending on the
78 // mapping and input ordinal
79 typedef typename TypeMap<Amesos2::PardisoMKL,global_ordinal_type>::type int_t;
80
81 /* For CssMKL we dispatch based on the integer type instead of
82 * the scalar type:
83 * - _INTEGER_t => use the cluster_sparse_solver(...) method
84 * - long long int => use the cluster_sparse_solver_64(...) method
85 */
86 typedef FunctionMap<Amesos2::CssMKL,int_t> function_map;
87
88 typedef Kokkos::DefaultHostExecutionSpace HostExecSpaceType;
89 typedef Kokkos::View<int_t*, HostExecSpaceType> host_size_type_array;
90 typedef Kokkos::View<int_t*, HostExecSpaceType> host_ordinal_type_array;
91 typedef Kokkos::View<solver_scalar_type*, HostExecSpaceType> host_value_type_array;
92
94
95
102 CssMKL(Teuchos::RCP<const Matrix> A,
103 Teuchos::RCP<Vector> X,
104 Teuchos::RCP<const Vector> B);
105
106
108 ~CssMKL( );
109
111
112 private:
113
121 int preOrdering_impl();
122
123
132
133
140
141
152 int solve_impl(const Teuchos::Ptr<MultiVecAdapter<Vector> > X,
153 const Teuchos::Ptr<const MultiVecAdapter<Vector> > B) const;
154
155
161 bool matrixShapeOK_impl() const;
162
163
182 void setParameters_impl(const Teuchos::RCP<Teuchos::ParameterList> & parameterList );
183
184
189 Teuchos::RCP<const Teuchos::ParameterList> getValidParameters_impl() const;
190
191
200 bool loadA_impl(EPhase current_phase);
201
202
204
225 void check_css_mkl_error(EPhase phase, int_t error) const;
226
236 void set_css_mkl_matrix_type(int_t mtype = 0);
237 void set_css_mkl_default_parameters(void* pt[], int_t iparm[]) const;
238
239
240 /* Declare private variables necessary for interaction with the
241 * CssMKL TPL.
242 *
243 * For example, the following Arrays are persisting storage arrays
244 * for A, X, and B that can be used with solvers expecting a
245 * compressed-row representation of the matrix A.
246 */
247
249 host_value_type_array nzvals_view_;
250 host_value_type_array nzvals_temp_;
252 host_ordinal_type_array colind_view_;
254 host_size_type_array rowptr_view_;
256 mutable Teuchos::Array<solver_scalar_type> xvals_;
258 mutable Teuchos::Array<solver_scalar_type> bvals_;
259
261 mutable void* pt_[64];
263 int_t mtype_;
265 int_t n_;
267 Teuchos::Array<int_t> perm_;
269 mutable int_t nrhs_;
270
271 bool css_initialized_;
272 bool is_contiguous_;
273
275 int_t msglvl_;
276
279 int_t iparm_[64];
280
281 // We will deal with 1 factor at a time
282 static const int_t maxfct_;
283 static const int_t mnum_;
284
285
286 static const bool complex_
287 = Meta::or_<std::is_same_v<solver_scalar_type, PMKL::_MKL_Complex8>,
288 std::is_same_v<solver_scalar_type, PMKL::_DOUBLE_COMPLEX_t>>::value;
289
290 MPI_Fint CssComm_;
291 Teuchos::RCP<const map_type> css_rowmap_;
292 Teuchos::RCP<const map_type> css_contig_rowmap_;
293 Teuchos::RCP<const map_type> css_contig_colmap_;
294
295}; // End class CssMKL
296
297
298// Specialize the solver_traits struct for CssMKL.
299template <>
300struct solver_traits<CssMKL> {
301#ifdef HAVE_TEUCHOS_COMPLEX
302 typedef Meta::make_list6<float,
303 double,
304 std::complex<float>,
305 std::complex<double>,
306 PMKL::_MKL_Complex8,
307 PMKL::_DOUBLE_COMPLEX_t> supported_scalars;
308#else
309typedef Meta::make_list2<float,
310 double> supported_scalars;
311#endif
312};
313
314} // end namespace Amesos
315
316#endif // AMESOS2_CSSMKL_DECL_HPP
Provides access to interesting solver traits.
Amesos2 interface to the CssMKL package.
Definition Amesos2_CssMKL_decl.hpp:50
Teuchos::Array< solver_scalar_type > xvals_
Persisting, contiguous, 1D store for X.
Definition Amesos2_CssMKL_decl.hpp:256
void * pt_[64]
CssMKL internal data address pointer.
Definition Amesos2_CssMKL_decl.hpp:261
bool loadA_impl(EPhase current_phase)
Reads matrix data into internal structures.
Definition Amesos2_CssMKL_def.hpp:456
int_t mtype_
The matrix type. We deal only with unsymmetrix matrices.
Definition Amesos2_CssMKL_decl.hpp:263
host_size_type_array rowptr_view_
Stores the row indices of the nonzero entries.
Definition Amesos2_CssMKL_decl.hpp:254
void check_css_mkl_error(EPhase phase, int_t error) const
Throws an appropriate runtime error in the event that error < 0 .
Definition Amesos2_CssMKL_def.hpp:548
Teuchos::Array< solver_scalar_type > bvals_
Persisting, contiguous, 1D store for B.
Definition Amesos2_CssMKL_decl.hpp:258
int_t msglvl_
The messaging level. Set to 1 if you wish for Pardiso MKL to print statistical info.
Definition Amesos2_CssMKL_decl.hpp:275
host_value_type_array nzvals_view_
Stores the values of the nonzero entries for CssMKL.
Definition Amesos2_CssMKL_decl.hpp:249
static const char * name
The name of this solver interface.
Definition Amesos2_CssMKL_decl.hpp:57
int preOrdering_impl()
Performs pre-ordering on the matrix to increase efficiency.
Definition Amesos2_CssMKL_def.hpp:121
host_ordinal_type_array colind_view_
Stores the location in Ai_ and Aval_ that starts row j.
Definition Amesos2_CssMKL_decl.hpp:252
Teuchos::Array< int_t > perm_
Permutation vector.
Definition Amesos2_CssMKL_decl.hpp:267
int numericFactorization_impl()
CssMKL specific numeric factorization.
Definition Amesos2_CssMKL_def.hpp:169
int symbolicFactorization_impl()
Perform symbolic factorization of the matrix using CssMKL.
Definition Amesos2_CssMKL_def.hpp:131
bool matrixShapeOK_impl() const
Determines whether the shape of the matrix is OK for this solver.
Definition Amesos2_CssMKL_def.hpp:272
int solve_impl(const Teuchos::Ptr< MultiVecAdapter< Vector > > X, const Teuchos::Ptr< const MultiVecAdapter< Vector > > B) const
CssMKL specific solve.
Definition Amesos2_CssMKL_def.hpp:202
Teuchos::RCP< const Teuchos::ParameterList > getValidParameters_impl() const
Definition Amesos2_CssMKL_def.hpp:380
int_t iparm_[64]
Definition Amesos2_CssMKL_decl.hpp:279
int_t n_
Number of equations in the sparse linear system.
Definition Amesos2_CssMKL_decl.hpp:265
void set_css_mkl_matrix_type(int_t mtype=0)
Definition Amesos2_CssMKL_def.hpp:602
void setParameters_impl(const Teuchos::RCP< Teuchos::ParameterList > &parameterList)
Definition Amesos2_CssMKL_def.hpp:281
int_t nrhs_
number of righthand-side vectors
Definition Amesos2_CssMKL_decl.hpp:269
Amesos2::SolverCore: A templated interface for interaction with third-party direct sparse solvers.
Definition Amesos2_SolverCore_decl.hpp:72
Passes functions to TPL functions based on type.
Definition Amesos2_FunctionMap.hpp:43
Map types to solver-specific data-types and enums.
Definition Amesos2_TypeMap.hpp:48
Provides traits about solvers.
Definition Amesos2_SolverTraits.hpp:37