Ginkgo  Generated from pipelines/2662685947 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 
79 template <typename ValueType = default_precision, bool ReverseApply = false,
80  typename IndexType = int32>
81 class Ilu : public LinOp, public Transposable {
82 public:
83  using value_type = ValueType;
84  static constexpr bool performs_reverse_apply = ReverseApply;
85  using index_type = IndexType;
86  using transposed_type = Ilu;
87 
88  class Factory;
89 
91  : public enable_parameters_type<parameters_type, Factory> {
95  std::shared_ptr<const LinOpFactory> l_solver_factory{};
96 
100  std::shared_ptr<const LinOpFactory> u_solver_factory{};
101 
105  std::shared_ptr<const LinOpFactory> factorization_factory{};
106 
114 
122  {
123  this->u_solver_generator = std::move(solver);
124  this->deferred_factories["u_solver"] = [](const auto& exec,
125  auto& params) {
126  if (!params.u_solver_generator.is_empty()) {
127  params.u_solver_factory =
128  params.u_solver_generator.on(exec);
129  }
130  };
131  return *this;
132  }
133 
134  parameters_type& with_factorization(
136  {
137  this->factorization_generator = std::move(factorization);
138  this->deferred_factories["factorization"] = [](const auto& exec,
139  auto& params) {
140  if (!params.factorization_generator.is_empty()) {
141  params.factorization_factory =
142  params.factorization_generator.on(exec);
143  }
144  };
145  return *this;
146  }
147 
148  private:
149  deferred_factory_parameter<const LinOpFactory> l_solver_generator;
150  deferred_factory_parameter<const LinOpFactory> u_solver_generator;
151  deferred_factory_parameter<const LinOpFactory> factorization_generator;
152  };
153 
156 
174  static parameters_type parse(
175  const config::pnode& config, const config::registry& context,
176  const config::type_descriptor& td_for_child =
177  config::make_type_descriptor<value_type, index_type>());
178 
184  std::shared_ptr<const LinOp> get_l_solver() const { return l_solver_; }
185 
191  std::shared_ptr<const LinOp> get_u_solver() const { return u_solver_; }
192 
193  std::unique_ptr<LinOp> transpose() const override;
194 
195  std::unique_ptr<LinOp> conj_transpose() const override;
196 
202  Ilu& operator=(const Ilu& other);
203 
210  Ilu& operator=(Ilu&& other);
211 
216  Ilu(const Ilu& other);
217 
223  Ilu(Ilu&& other);
224 
225 protected:
226  void apply_impl(const LinOp* b, LinOp* x) const override;
227 
228  void apply_impl(const LinOp* alpha, const LinOp* b, const LinOp* beta,
229  LinOp* x) const override;
230 
231  explicit Ilu(std::shared_ptr<const Executor> exec);
232 
233  explicit Ilu(const Factory* factory, std::shared_ptr<const LinOp> lin_op);
234 
242  void set_cache_to(const LinOp* b) const;
243 
244 private:
245  std::shared_ptr<const LinOp> l_solver_{};
246  std::shared_ptr<const LinOp> u_solver_{};
257  mutable struct cache_struct {
258  cache_struct() = default;
259  ~cache_struct() = default;
260  cache_struct(const cache_struct&) {}
261  cache_struct(cache_struct&&) {}
262  cache_struct& operator=(const cache_struct&) { return *this; }
263  cache_struct& operator=(cache_struct&&) { return *this; }
264  std::unique_ptr<LinOp> intermediate{};
265  } cache_;
266 };
267 
268 
269 } // namespace preconditioner
270 } // namespace gko
271 
272 
273 #endif // GKO_PUBLIC_CORE_PRECONDITIONER_ILU_HPP_
gko::preconditioner::Ilu::Factory
Definition: ilu.hpp:154
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 U matrix.
Definition: ilu.hpp:191
gko::preconditioner::Ilu::parameters_type::l_solver_factory
std::shared_ptr< const LinOpFactory > l_solver_factory
Factory for the L solver.
Definition: ilu.hpp:95
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 U solver.
Definition: ilu.hpp:100
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:20
gko::preconditioner::Ilu::parameters_type::factorization_factory
std::shared_ptr< const LinOpFactory > factorization_factory
Factory for the factorization.
Definition: ilu.hpp:105
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 L matrix.
Definition: ilu.hpp:184
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:900
gko::preconditioner::Ilu::parameters_type
Definition: ilu.hpp:90
gko::default_precision
double default_precision
Precision used if no precision is explicitly specified.
Definition: types.hpp:172
gko::int32
std::int32_t int32
32-bit signed integral type.
Definition: types.hpp:107
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:386
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:203
gko::deferred_factory_parameter
Represents a factory parameter of factory type that can either initialized by a pre-existing factory ...
Definition: abstract_factory.hpp:301
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:120
gko::preconditioner::Ilu
The Incomplete LU (ILU) preconditioner solves the equation for a given lower triangular matrix L,...
Definition: ilu.hpp:81