Ginkgo  Generated from tags/v1.0.0^0 branch based on master. Ginkgo version 1.0.0
A numerical linear algebra library targeting many-core architectures
cg.hpp
1 /*******************************<GINKGO LICENSE>******************************
2 Copyright (c) 2017-2019, the Ginkgo authors
3 All rights reserved.
4 
5 Redistribution and use in source and binary forms, with or without
6 modification, are permitted provided that the following conditions
7 are met:
8 
9 1. Redistributions of source code must retain the above copyright
10 notice, this list of conditions and the following disclaimer.
11 
12 2. Redistributions in binary form must reproduce the above copyright
13 notice, this list of conditions and the following disclaimer in the
14 documentation and/or other materials provided with the distribution.
15 
16 3. Neither the name of the copyright holder nor the names of its
17 contributors may be used to endorse or promote products derived from
18 this software without specific prior written permission.
19 
20 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
21 IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
22 TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
23 PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
24 HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
25 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
26 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
27 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
28 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
29 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
30 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
31 ******************************<GINKGO LICENSE>*******************************/
32 
33 #ifndef GKO_CORE_SOLVER_CG_HPP_
34 #define GKO_CORE_SOLVER_CG_HPP_
35 
36 
37 #include <vector>
38 
39 
40 #include <ginkgo/core/base/array.hpp>
41 #include <ginkgo/core/base/lin_op.hpp>
42 #include <ginkgo/core/base/math.hpp>
43 #include <ginkgo/core/base/types.hpp>
44 #include <ginkgo/core/log/logger.hpp>
45 #include <ginkgo/core/matrix/identity.hpp>
46 #include <ginkgo/core/stop/combined.hpp>
47 #include <ginkgo/core/stop/criterion.hpp>
48 
49 
50 namespace gko {
51 namespace solver {
52 
53 
70 template <typename ValueType = default_precision>
71 class Cg : public EnableLinOp<Cg<ValueType>>, public Preconditionable {
72  friend class EnableLinOp<Cg>;
73  friend class EnablePolymorphicObject<Cg, LinOp>;
74 
75 public:
76  using value_type = ValueType;
77 
83  std::shared_ptr<const LinOp> get_system_matrix() const
84  {
85  return system_matrix_;
86  }
87 
93  std::shared_ptr<const LinOp> get_preconditioner() const override
94  {
95  return preconditioner_;
96  }
97 
99  {
103  std::vector<std::shared_ptr<const stop::CriterionFactory>>
104  GKO_FACTORY_PARAMETER(criteria, nullptr);
105 
109  std::shared_ptr<const LinOpFactory> GKO_FACTORY_PARAMETER(
110  preconditioner, nullptr);
111  };
114 
115 protected:
116  void apply_impl(const LinOp *b, LinOp *x) const override;
117 
118  void apply_impl(const LinOp *alpha, const LinOp *b, const LinOp *beta,
119  LinOp *x) const override;
120 
121  explicit Cg(std::shared_ptr<const Executor> exec)
122  : EnableLinOp<Cg>(std::move(exec))
123  {}
124 
125  explicit Cg(const Factory *factory,
126  std::shared_ptr<const LinOp> system_matrix)
127  : EnableLinOp<Cg>(factory->get_executor(),
128  transpose(system_matrix->get_size())),
129  parameters_{factory->get_parameters()},
130  system_matrix_{std::move(system_matrix)}
131  {
132  if (parameters_.preconditioner) {
133  preconditioner_ =
134  parameters_.preconditioner->generate(system_matrix_);
135  } else {
136  preconditioner_ = matrix::Identity<ValueType>::create(
137  this->get_executor(), this->get_size()[0]);
138  }
139  stop_criterion_factory_ =
140  stop::combine(std::move(parameters_.criteria));
141  }
142 
143 private:
144  std::shared_ptr<const LinOp> system_matrix_{};
145  std::shared_ptr<const LinOp> preconditioner_{};
146  std::shared_ptr<const stop::CriterionFactory> stop_criterion_factory_{};
147 };
148 
149 
150 } // namespace solver
151 } // namespace gko
152 
153 
154 #endif // GKO_CORE_SOLVER_CG_HPP
CG or the conjugate gradient method is an iterative type Krylov subspace method which is suitable for...
Definition: cg.hpp:71
Definition: cg.hpp:112
const parameters_type & get_parameters() const noexcept
Returns the parameters of the factory.
Definition: abstract_factory.hpp:175
This mixin inherits from (a subclass of) PolymorphicObject and provides a base implementation of a ne...
Definition: polymorphic_object.hpp:505
#define GKO_FACTORY_PARAMETER(_name,...)
Creates a factory parameter in the factory parameters structure.
Definition: lin_op.hpp:751
STL namespace.
The Ginkgo namespace.
Definition: abstract_factory.hpp:45
std::shared_ptr< const LinOpFactory > preconditioner
Preconditioner factory.
Definition: cg.hpp:110
std::shared_ptr< const LinOp > get_system_matrix() const
Gets the system operator (matrix) of the linear system.
Definition: cg.hpp:83
The EnableLinOp mixin can be used to provide sensible default implementations of the majority of the ...
Definition: lin_op.hpp:509
const dim< 2 > & get_size() const noexcept
Returns the size of the operator.
Definition: lin_op.hpp:221
A LinOp implementing this interface can be preconditioned.
Definition: lin_op.hpp:465
std::vector< std::shared_ptr< const stop::CriterionFactory > > criteria
Criterion factories.
Definition: cg.hpp:104
std::shared_ptr< const Executor > get_executor() const noexcept
Returns the Executor of the object.
Definition: polymorphic_object.hpp:201
#define GKO_CREATE_FACTORY_PARAMETERS(_parameters_name, _factory_name)
This Macro will generate a new type containing the parameters for the factory _factory_name.
Definition: lin_op.hpp:611
This class is a utility which efficiently implements the identity matrix (a linear operator which map...
Definition: identity.hpp:63
std::shared_ptr< const CriterionFactory > combine(FactoryContainer &&factories)
Combines multiple criterion factories into a single combined criterion factory.
Definition: combined.hpp:116
#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:691
#define GKO_ENABLE_BUILD_METHOD(_factory_name)
Defines a build method for the factory, simplifying its construction by removing the repetitive typin...
Definition: lin_op.hpp:730
constexpr dim< 2, DimensionType > transpose(const dim< 2, DimensionType > &dimensions) noexcept
Returns a dim<2> object with its dimensions swapped.
Definition: dim.hpp:234
std::shared_ptr< const LinOp > get_preconditioner() const override
Returns the preconditioner operator used by the solver.
Definition: cg.hpp:93