Ginkgo  Generated from pipelines/2837190956 branch based on develop. Ginkgo version 2.0.0
A numerical linear algebra library targeting many-core architectures
ilu.hpp
1 // SPDX-FileCopyrightText: 2017 - 2026 The Ginkgo authors
2 //
3 // SPDX-License-Identifier: BSD-3-Clause
4 
5 #ifndef GKO_PUBLIC_CORE_PRECONDITIONER_ILU_HPP_
6 #define GKO_PUBLIC_CORE_PRECONDITIONER_ILU_HPP_
7 
8 
9 #include <memory>
10 #include <type_traits>
11 
12 #include <ginkgo/core/base/abstract_factory.hpp>
13 #include <ginkgo/core/base/composition.hpp>
14 #include <ginkgo/core/base/exception.hpp>
15 #include <ginkgo/core/base/exception_helpers.hpp>
16 #include <ginkgo/core/base/lin_op.hpp>
17 #include <ginkgo/core/base/precision_dispatch.hpp>
18 #include <ginkgo/core/base/type_traits.hpp>
19 #include <ginkgo/core/config/config.hpp>
20 #include <ginkgo/core/config/registry.hpp>
21 #include <ginkgo/core/factorization/par_ilu.hpp>
22 #include <ginkgo/core/matrix/dense.hpp>
23 #include <ginkgo/core/solver/solver_traits.hpp>
24 #include <ginkgo/core/solver/triangular.hpp>
25 #include <ginkgo/core/stop/combined.hpp>
26 #include <ginkgo/core/stop/iteration.hpp>
27 #include <ginkgo/core/stop/residual_norm.hpp>
28 
29 
30 namespace gko {
31 namespace preconditioner {
32 
33 
85 template <typename ValueType = default_precision, bool ReverseApply = false,
86  typename IndexType = int32>
87 class Ilu : public LinOp, public Transposable {
88 public:
89  using value_type = ValueType;
90  static constexpr bool performs_reverse_apply = ReverseApply;
91  using index_type = IndexType;
92  using transposed_type = Ilu;
93 
94  class Factory;
95 
97  : public enable_parameters_type<parameters_type, Factory> {
101  std::shared_ptr<const LinOpFactory> l_solver_factory{};
102 
106  std::shared_ptr<const LinOpFactory> u_solver_factory{};
107 
111  std::shared_ptr<const LinOpFactory> factorization_factory{};
112 
120 
128  {
129  this->u_solver_generator = std::move(solver);
130  this->deferred_factories["u_solver"] = [](const auto& exec,
131  auto& params) {
132  if (!params.u_solver_generator.is_empty()) {
133  params.u_solver_factory =
134  params.u_solver_generator.on(exec);
135  }
136  };
137  return *this;
138  }
139 
140  parameters_type& with_factorization(
142  {
143  this->factorization_generator = std::move(factorization);
144  this->deferred_factories["factorization"] = [](const auto& exec,
145  auto& params) {
146  if (!params.factorization_generator.is_empty()) {
147  params.factorization_factory =
148  params.factorization_generator.on(exec);
149  }
150  };
151  return *this;
152  }
153 
154  private:
155  deferred_factory_parameter<const LinOpFactory> l_solver_generator;
156  deferred_factory_parameter<const LinOpFactory> u_solver_generator;
157  deferred_factory_parameter<const LinOpFactory> factorization_generator;
158  };
159 
162 
180  static parameters_type parse(
181  const config::pnode& config, const config::registry& context,
182  const config::type_descriptor& td_for_child =
183  config::make_type_descriptor<value_type, index_type>());
184 
190  std::shared_ptr<const LinOp> get_l_solver() const { return l_solver_; }
191 
197  std::shared_ptr<const LinOp> get_u_solver() const { return u_solver_; }
198 
199  std::unique_ptr<LinOp> transpose() const override;
200 
201  std::unique_ptr<LinOp> conj_transpose() const override;
202 
208  Ilu& operator=(const Ilu& other);
209 
216  Ilu& operator=(Ilu&& other);
217 
222  Ilu(const Ilu& other);
223 
229  Ilu(Ilu&& other);
230 
231 protected:
232  void apply_impl(const LinOp* b, LinOp* x) const override;
233 
234  void apply_impl(const LinOp* alpha, const LinOp* b, const LinOp* beta,
235  LinOp* x) const override;
236 
237  explicit Ilu(std::shared_ptr<const Executor> exec);
238 
239  explicit Ilu(const Factory* factory, std::shared_ptr<const LinOp> lin_op);
240 
248  void set_cache_to(const LinOp* b) const;
249 
250 private:
251  std::shared_ptr<const LinOp> l_solver_{};
252  std::shared_ptr<const LinOp> u_solver_{};
263  mutable struct cache_struct {
264  cache_struct() = default;
265  ~cache_struct() = default;
266  cache_struct(const cache_struct&) {}
267  cache_struct(cache_struct&&) {}
268  cache_struct& operator=(const cache_struct&) { return *this; }
269  cache_struct& operator=(cache_struct&&) { return *this; }
270  std::unique_ptr<LinOp> intermediate{};
271  } cache_;
272 };
273 
274 
275 } // namespace preconditioner
276 } // namespace gko
277 
278 
279 #endif // GKO_PUBLIC_CORE_PRECONDITIONER_ILU_HPP_
gko::preconditioner::Ilu::Factory
Definition: ilu.hpp:160
gko::preconditioner::Ilu::Ilu
Ilu(const Ilu &other)
Copy-constructs an ILU preconditioner.
gko::config::pnode
pnode describes a tree of properties.
Definition: property_tree.hpp:28
gko::preconditioner::Ilu::parse
static parameters_type parse(const config::pnode &config, const config::registry &context, const config::type_descriptor &td_for_child=config::make_type_descriptor< value_type, index_type >())
Create the parameters from the property_tree.
gko::LinOp
Definition: lin_op.hpp:117
gko::preconditioner::Ilu::operator=
Ilu & operator=(const Ilu &other)
Copy-assigns an ILU preconditioner.
gko::preconditioner::Ilu::get_u_solver
std::shared_ptr< const LinOp > get_u_solver() const
Returns the solver which is used for the provided matrix.
Definition: ilu.hpp:197
gko::preconditioner::Ilu::parameters_type::l_solver_factory
std::shared_ptr< const LinOpFactory > l_solver_factory
Factory for the solver.
Definition: ilu.hpp:101
gko::Transposable
Linear operators which support transposition should implement the Transposable interface.
Definition: lin_op.hpp:392
gko::preconditioner::Ilu::parameters_type::u_solver_factory
std::shared_ptr< const LinOpFactory > u_solver_factory
Factory for the solver.
Definition: ilu.hpp:106
gko::preconditioner::Ilu::transpose
std::unique_ptr< LinOp > transpose() const override
Returns a LinOp representing the transpose of the Transposable object.
gko::config::type_descriptor
This class describes the value and index types to be used when building a Ginkgo type from a configur...
Definition: type_descriptor.hpp:39
gko
The Ginkgo namespace.
Definition: abstract_factory.hpp:19
gko::preconditioner::Ilu::parameters_type::factorization_factory
std::shared_ptr< const LinOpFactory > factorization_factory
Factory for the factorization.
Definition: ilu.hpp:111
gko::preconditioner::Ilu::conj_transpose
std::unique_ptr< LinOp > conj_transpose() const override
Returns a LinOp representing the conjugate transpose of the Transposable object.
gko::preconditioner::Ilu::get_l_solver
std::shared_ptr< const LinOp > get_l_solver() const
Returns the solver which is used for the provided matrix.
Definition: ilu.hpp:190
gko::preconditioner::Ilu::parameters_type::with_l_solver
parameters_type & with_l_solver(deferred_factory_parameter< const LinOpFactory > solver)
When LSolverTypeOrValueType is a concrete solver type, this only accepts the factory from the same co...
GKO_ENABLE_LIN_OP_FACTORY
#define GKO_ENABLE_LIN_OP_FACTORY(_lin_op, _parameters_name, _factory_name)
This macro will generate a default implementation of a LinOpFactory for the LinOp subclass it is defi...
Definition: lin_op.hpp:899
gko::preconditioner::Ilu::parameters_type
Definition: ilu.hpp:96
gko::default_precision
double default_precision
Precision used if no precision is explicitly specified.
Definition: types.hpp:183
gko::int32
std::int32_t int32
32-bit signed integral type.
Definition: types.hpp:118
gko::config::registry
This class stores additional context for creating Ginkgo objects from configuration files.
Definition: registry.hpp:167
GKO_ENABLE_BUILD_METHOD
#define GKO_ENABLE_BUILD_METHOD(_factory_name)
Defines a build method for the factory, simplifying its construction by removing the repetitive typin...
Definition: abstract_factory.hpp:418
gko::enable_parameters_type
The enable_parameters_type mixin is used to create a base implementation of the factory parameters st...
Definition: abstract_factory.hpp:235
gko::deferred_factory_parameter
Represents a factory parameter of factory type that can either initialized by a pre-existing factory ...
Definition: abstract_factory.hpp:333
gko::preconditioner::Ilu::parameters_type::with_u_solver
parameters_type & with_u_solver(deferred_factory_parameter< const LinOpFactory > solver)
When USolverTypeOrValueType is a concrete solver type, this only accepts the factory from the same co...
Definition: ilu.hpp:126
gko::preconditioner::Ilu
The Incomplete LU (ILU) preconditioner solves the equation for a given lower triangular matrix ,...
Definition: ilu.hpp:87