Ginkgo  Generated from pipelines/2662685947 branch based on develop. Ginkgo version 2.0.0
A numerical linear algebra library targeting many-core architectures
ic.hpp
1 // SPDX-FileCopyrightText: 2017 - 2026 The Ginkgo authors
2 //
3 // SPDX-License-Identifier: BSD-3-Clause
4 
5 #ifndef GKO_PUBLIC_CORE_PRECONDITIONER_IC_HPP_
6 #define GKO_PUBLIC_CORE_PRECONDITIONER_IC_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_ic.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 
78 template <typename ValueType = default_precision, typename IndexType = int32>
79 class Ic : public LinOp, public Transposable {
80 public:
81  using value_type = ValueType;
82  using index_type = IndexType;
83  using transposed_type = Ic;
84 
85  class Factory;
86 
88  : public enable_parameters_type<parameters_type, Factory> {
92  std::shared_ptr<const LinOpFactory> l_solver_factory{};
93 
97  std::shared_ptr<const LinOpFactory> factorization_factory{};
98 
106  {
107  this->l_solver_generator = std::move(solver);
108  this->deferred_factories["l_solver"] = [](const auto& exec,
109  auto& params) {
110  if (!params.l_solver_generator.is_empty()) {
111  params.l_solver_factory =
112  params.l_solver_generator.on(exec);
113  }
114  };
115  return *this;
116  }
117 
118  parameters_type& with_factorization(
120  {
121  this->factorization_generator = std::move(factorization);
122  this->deferred_factories["factorization"] = [](const auto& exec,
123  auto& params) {
124  if (!params.factorization_generator.is_empty()) {
125  params.factorization_factory =
126  params.factorization_generator.on(exec);
127  }
128  };
129  return *this;
130  }
131 
132  private:
133  deferred_factory_parameter<const LinOpFactory> l_solver_generator;
134 
135  deferred_factory_parameter<const LinOpFactory> factorization_generator;
136  };
137 
140 
159  static parameters_type parse(
160  const config::pnode& config, const config::registry& context,
161  const config::type_descriptor& td_for_child =
162  config::make_type_descriptor<value_type, index_type>());
163 
169  std::shared_ptr<const LinOp> get_l_solver() const { return l_solver_; }
170 
176  std::shared_ptr<const LinOp> get_lh_solver() const { return lh_solver_; }
177 
178  std::unique_ptr<LinOp> transpose() const override;
179 
180  std::unique_ptr<LinOp> conj_transpose() const override;
181 
187  Ic& operator=(const Ic& other);
188 
195  Ic& operator=(Ic&& other);
196 
201  Ic(const Ic& other);
202 
208  Ic(Ic&& other);
209 
210 protected:
211  void apply_impl(const LinOp* b, LinOp* x) const override;
212 
213  void apply_impl(const LinOp* alpha, const LinOp* b, const LinOp* beta,
214  LinOp* x) const override;
215 
216  explicit Ic(std::shared_ptr<const Executor> exec);
217 
218  explicit Ic(const Factory* factory, std::shared_ptr<const LinOp> lin_op);
219 
227  void set_cache_to(const LinOp* b) const;
228 
229 private:
230  std::shared_ptr<const LinOp> l_solver_{};
231  std::shared_ptr<const LinOp> lh_solver_{};
242  mutable struct cache_struct {
243  cache_struct() = default;
244  ~cache_struct() = default;
245  cache_struct(const cache_struct&) {}
246  cache_struct(cache_struct&&) {}
247  cache_struct& operator=(const cache_struct&) { return *this; }
248  cache_struct& operator=(cache_struct&&) { return *this; }
249  std::unique_ptr<LinOp> intermediate{};
250  } cache_;
251 };
252 
253 
254 } // namespace preconditioner
255 } // namespace gko
256 
257 
258 #endif // GKO_PUBLIC_CORE_PRECONDITIONER_IC_HPP_
gko::preconditioner::Ic::conj_transpose
std::unique_ptr< LinOp > conj_transpose() const override
Returns a LinOp representing the conjugate transpose of the Transposable object.
gko::config::pnode
pnode describes a tree of properties.
Definition: property_tree.hpp:28
gko::LinOp
Definition: lin_op.hpp:117
gko::preconditioner::Ic::parameters_type::factorization_factory
std::shared_ptr< const LinOpFactory > factorization_factory
Factory for the factorization.
Definition: ic.hpp:97
gko::Transposable
Linear operators which support transposition should implement the Transposable interface.
Definition: lin_op.hpp:392
gko::preconditioner::Ic
The Incomplete Cholesky (IC) preconditioner solves the equation for a given lower triangular matrix ...
Definition: ic.hpp:79
gko::preconditioner::Ic::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::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::Ic::get_lh_solver
std::shared_ptr< const LinOp > get_lh_solver() const
Returns the solver which is used for the L^H matrix.
Definition: ic.hpp:176
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::Ic::parameters_type
Definition: ic.hpp:87
gko::preconditioner::Ic::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...
Definition: ic.hpp:104
gko::preconditioner::Ic::get_l_solver
std::shared_ptr< const LinOp > get_l_solver() const
Returns the solver which is used for the provided L matrix.
Definition: ic.hpp:169
gko::preconditioner::Ic::operator=
Ic & operator=(const Ic &other)
Copy-assigns an IC preconditioner.
gko::preconditioner::Ic::Factory
Definition: ic.hpp:138
gko::preconditioner::Ic::parameters_type::l_solver_factory
std::shared_ptr< const LinOpFactory > l_solver_factory
Factory for the L solver.
Definition: ic.hpp:92
gko::preconditioner::Ic::transpose
std::unique_ptr< LinOp > transpose() const override
Returns a LinOp representing the transpose of the Transposable object.
gko::preconditioner::Ic::Ic
Ic(const Ic &other)
Copy-constructs an IC preconditioner.
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