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
fcg.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_FCG_HPP_
34 #define GKO_CORE_SOLVER_FCG_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 
75 template <typename ValueType = default_precision>
76 class Fcg : public EnableLinOp<Fcg<ValueType>>, public Preconditionable {
77  friend class EnableLinOp<Fcg>;
78  friend class EnablePolymorphicObject<Fcg, LinOp>;
79 
80 public:
81  using value_type = ValueType;
82 
88  std::shared_ptr<const LinOp> get_system_matrix() const
89  {
90  return system_matrix_;
91  }
92 
98  std::shared_ptr<const LinOp> get_preconditioner() const override
99  {
100  return preconditioner_;
101  }
102 
104  {
108  std::vector<std::shared_ptr<const stop::CriterionFactory>>
109  GKO_FACTORY_PARAMETER(criteria, nullptr);
110 
114  std::shared_ptr<const LinOpFactory> GKO_FACTORY_PARAMETER(
115  preconditioner, nullptr);
116  };
119 
120 protected:
121  void apply_impl(const LinOp *b, LinOp *x) const override;
122 
123  void apply_impl(const LinOp *alpha, const LinOp *b, const LinOp *beta,
124  LinOp *x) const override;
125 
126  explicit Fcg(std::shared_ptr<const Executor> exec)
127  : EnableLinOp<Fcg>(std::move(exec))
128  {}
129 
130  explicit Fcg(const Factory *factory,
131  std::shared_ptr<const LinOp> system_matrix)
132  : EnableLinOp<Fcg>(factory->get_executor(),
133  transpose(system_matrix->get_size())),
134  parameters_{factory->get_parameters()},
135  system_matrix_{std::move(system_matrix)}
136  {
137  if (parameters_.preconditioner) {
138  preconditioner_ =
139  parameters_.preconditioner->generate(system_matrix_);
140  } else {
141  preconditioner_ = matrix::Identity<ValueType>::create(
142  this->get_executor(), this->get_size()[0]);
143  }
144  stop_criterion_factory_ =
145  stop::combine(std::move(parameters_.criteria));
146  }
147 
148 private:
149  std::shared_ptr<const LinOp> system_matrix_{};
150  std::shared_ptr<const LinOp> preconditioner_{};
151  std::shared_ptr<const stop::CriterionFactory> stop_criterion_factory_{};
152 };
153 
154 
155 } // namespace solver
156 } // namespace gko
157 
158 
159 #endif // GKO_CORE_SOLVER_FCG_HPP
const parameters_type & get_parameters() const noexcept
Returns the parameters of the factory.
Definition: abstract_factory.hpp:175
std::vector< std::shared_ptr< const stop::CriterionFactory > > criteria
Criterion factories.
Definition: fcg.hpp:109
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.
Definition: fcg.hpp:117
std::shared_ptr< const LinOp > get_preconditioner() const override
Returns the preconditioner operator used by the solver.
Definition: fcg.hpp:98
The Ginkgo namespace.
Definition: abstract_factory.hpp:45
std::shared_ptr< const LinOpFactory > preconditioner
Preconditioner factory.
Definition: fcg.hpp:115
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
std::shared_ptr< const LinOp > get_system_matrix() const
Gets the system operator (matrix) of the linear system.
Definition: fcg.hpp:88
A LinOp implementing this interface can be preconditioned.
Definition: lin_op.hpp:465
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
FCG or the flexible conjugate gradient method is an iterative type Krylov subspace method which is su...
Definition: fcg.hpp:76
#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