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 
29 #include "Amesos2_SolverTraits.hpp"
30 #include "Amesos2_SolverCore.hpp"
31 #include "Amesos2_CssMKL_FunctionMap.hpp"
32 
33 
34 namespace 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,local_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 
276  int_t iparm_[64];
277 
279  static const int_t msglvl_;
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 
293 }; // End class CssMKL
294 
295 
296 // Specialize the solver_traits struct for CssMKL.
297 template <>
298 struct solver_traits<CssMKL> {
299 #ifdef HAVE_TEUCHOS_COMPLEX
300  typedef Meta::make_list6<float,
301  double,
302  std::complex<float>,
303  std::complex<double>,
304  PMKL::_MKL_Complex8,
305  PMKL::_DOUBLE_COMPLEX_t> supported_scalars;
306 #else
307 typedef Meta::make_list2<float,
308  double> supported_scalars;
309 #endif
310 };
311 
312 } // end namespace Amesos
313 
314 #endif // AMESOS2_CSSMKL_DECL_HPP
Amesos2::SolverCore: A templated interface for interaction with third-party direct sparse solvers...
Definition: Amesos2_SolverCore_decl.hpp:71
int_t n_
Number of equations in the sparse linear system.
Definition: Amesos2_CssMKL_decl.hpp:265
Teuchos::Array< solver_scalar_type > bvals_
Persisting, contiguous, 1D store for B.
Definition: Amesos2_CssMKL_decl.hpp:258
void check_css_mkl_error(EPhase phase, int_t error) const
Throws an appropriate runtime error in the event that error &lt; 0 .
Definition: Amesos2_CssMKL_def.hpp:473
Map types to solver-specific data-types and enums.
Definition: Amesos2_TypeMap.hpp:48
Amesos2 interface to the CssMKL package.
Definition: Amesos2_CssMKL_decl.hpp:49
int_t mtype_
The matrix type. We deal only with unsymmetrix matrices.
Definition: Amesos2_CssMKL_decl.hpp:263
int_t iparm_[64]
Definition: Amesos2_CssMKL_decl.hpp:276
Teuchos::Array< int_t > perm_
Permutation vector.
Definition: Amesos2_CssMKL_decl.hpp:267
int preOrdering_impl()
Performs pre-ordering on the matrix to increase efficiency.
Definition: Amesos2_CssMKL_def.hpp:116
static const int_t msglvl_
The messaging level. Set to 1 if you wish for Pardiso MKL to print statistical info.
Definition: Amesos2_CssMKL_decl.hpp:279
host_value_type_array nzvals_view_
Stores the values of the nonzero entries for CssMKL.
Definition: Amesos2_CssMKL_decl.hpp:249
Provides traits about solvers.
Definition: Amesos2_SolverTraits.hpp:37
void set_css_mkl_matrix_type(int_t mtype=0)
Definition: Amesos2_CssMKL_def.hpp:527
bool loadA_impl(EPhase current_phase)
Reads matrix data into internal structures.
Definition: Amesos2_CssMKL_def.hpp:421
int numericFactorization_impl()
CssMKL specific numeric factorization.
Definition: Amesos2_CssMKL_def.hpp:157
bool matrixShapeOK_impl() const
Determines whether the shape of the matrix is OK for this solver.
Definition: Amesos2_CssMKL_def.hpp:254
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:183
void * pt_[64]
CssMKL internal data address pointer.
Definition: Amesos2_CssMKL_decl.hpp:261
Teuchos::RCP< const Teuchos::ParameterList > getValidParameters_impl() const
Definition: Amesos2_CssMKL_def.hpp:350
host_ordinal_type_array colind_view_
Stores the location in Ai_ and Aval_ that starts row j.
Definition: Amesos2_CssMKL_decl.hpp:252
std::string name() const override
Return the name of this solver.
Definition: Amesos2_SolverCore_def.hpp:725
host_size_type_array rowptr_view_
Stores the row indices of the nonzero entries.
Definition: Amesos2_CssMKL_decl.hpp:254
Teuchos::Array< solver_scalar_type > xvals_
Persisting, contiguous, 1D store for X.
Definition: Amesos2_CssMKL_decl.hpp:256
int symbolicFactorization_impl()
Perform symbolic factorization of the matrix using CssMKL.
Definition: Amesos2_CssMKL_def.hpp:126
Passes functions to TPL functions based on type.
Definition: Amesos2_FunctionMap.hpp:42
Provides access to interesting solver traits.
void setParameters_impl(const Teuchos::RCP< Teuchos::ParameterList > &parameterList)
Definition: Amesos2_CssMKL_def.hpp:263
int_t nrhs_
number of righthand-side vectors
Definition: Amesos2_CssMKL_decl.hpp:269