Loading [MathJax]/extensions/tex2jax.js
OGS
NumLib::StaggeredCoupling Class Reference

Detailed Description

A class designed to manage the solution of coupled equations using the staggered method.

Definition at line 46 of file StaggeredCoupling.h.

#include <StaggeredCoupling.h>

Public Member Functions

 StaggeredCoupling (const int global_coupling_max_iterations, std::vector< CouplingNodeVariant > &&coupling_nodes)
 
 ~StaggeredCoupling ()
 
void initializeCoupledSolutions (std::vector< GlobalVector * > const &process_solutions)
 
template<typename ProcessData , typename Output >
NumLib::NonlinearSolverStatus execute (const double t, const double dt, const std::size_t timestep_id, std::vector< GlobalVector * > &process_solutions, std::vector< GlobalVector * > const &process_solutions_prev, std::vector< std::unique_ptr< ProcessData > > const &per_process_data, std::vector< Output > const &outputs, ProcessSolver< ProcessData, Output > const &solve_one_time_step_one_process)
 

Private Types

template<typename ProcessData , typename Output >
using ProcessSolver
 
using CouplingNodeVariant = std::variant<CouplingNode, RootCouplingNode>
 

Private Member Functions

template<typename ProcessData , typename Output >
std::tuple< NumLib::NonlinearSolverStatus, bool > executeConcrete (std::vector< CouplingNodeVariant > &coupling_nodes, const int max_iterations, const double t, const double dt, const std::size_t timestep_id, std::vector< GlobalVector * > &process_solutions, std::vector< GlobalVector * > const &process_solutions_prev, std::vector< std::unique_ptr< ProcessData > > const &per_process_data, std::vector< Output > const &outputs, ProcessSolver< ProcessData, Output > const &solve_one_time_step_one_process)
 
template<typename ProcessData , typename Output >
std::tuple< NumLib::NonlinearSolverStatus, bool > executeSubCoupling (CouplingNodeVariant &coupling_node, const double t, const double dt, const std::size_t timestep_id, std::vector< GlobalVector * > &process_solutions, std::vector< GlobalVector * > const &process_solutions_prev, std::vector< std::unique_ptr< ProcessData > > const &per_process_data, std::vector< Output > const &outputs, ProcessSolver< ProcessData, Output > const &solve_one_time_step_one_process)
 
template<typename ProcessData , typename Output >
NumLib::NonlinearSolverStatus executeSingleIteration (int const global_coupling_iteration, CouplingNode const &regular_coupling_node, const double t, const double dt, const std::size_t timestep_id, std::vector< GlobalVector * > &process_solutions, std::vector< GlobalVector * > const &process_solutions_prev, std::vector< std::unique_ptr< ProcessData > > const &per_process_data, std::vector< Output > const &outputs, ProcessSolver< ProcessData, Output > const &solve_one_time_step_one_process)
 
void setFirstIterationIndicator (std::vector< CouplingNodeVariant > const &coupling_nodes)
 Set the indicator of the first staggered coupling iteration be true.
 
void resetCouplingConvergenceCriteria (std::vector< CouplingNodeVariant > const &coupling_nodes)
 
bool checkCouplingConvergence (const bool convergence_of_last_process, CouplingNode const &coupling_node, GlobalVector const &x) const
 
void updatePreviousSolution (int const process_id, GlobalVector const &x)
 

Private Attributes

const int global_coupling_max_iterations_
 Maximum iteration number of the coupling loop of the staggered scheme.
 
std::vector< CouplingNodeVariantcoupling_nodes_
 
std::vector< GlobalVector * > solutions_of_last_cpl_iteration_
 

Member Typedef Documentation

◆ CouplingNodeVariant

Definition at line 56 of file StaggeredCoupling.h.

◆ ProcessSolver

template<typename ProcessData , typename Output >
using NumLib::StaggeredCoupling::ProcessSolver
private
Initial value:
std::vector<GlobalVector*>& ,
std::vector<GlobalVector*> const& ,
std::size_t const , double const ,
double const , ProcessData const& ,
std::vector<Output> const& )>
Status of the non-linear solver.

Definition at line 49 of file StaggeredCoupling.h.

Constructor & Destructor Documentation

◆ StaggeredCoupling()

NumLib::StaggeredCoupling::StaggeredCoupling ( const int global_coupling_max_iterations,
std::vector< CouplingNodeVariant > && coupling_nodes )
inline

Definition at line 59 of file StaggeredCoupling.h.

61 : global_coupling_max_iterations_(global_coupling_max_iterations),
62 coupling_nodes_(std::move(coupling_nodes))
63 {
64 }
const int global_coupling_max_iterations_
Maximum iteration number of the coupling loop of the staggered scheme.
std::vector< CouplingNodeVariant > coupling_nodes_

◆ ~StaggeredCoupling()

NumLib::StaggeredCoupling::~StaggeredCoupling ( )

Definition at line 23 of file StaggeredCoupling.cpp.

24{
26 {
28 }
29}
std::vector< GlobalVector * > solutions_of_last_cpl_iteration_
virtual void releaseVector(GlobalVector const &x)=0
static NUMLIB_EXPORT VectorProvider & provider

References NumLib::GlobalVectorProvider::provider, NumLib::VectorProvider::releaseVector(), and solutions_of_last_cpl_iteration_.

Member Function Documentation

◆ checkCouplingConvergence()

bool NumLib::StaggeredCoupling::checkCouplingConvergence ( const bool convergence_of_last_process,
CouplingNode const & coupling_node,
GlobalVector const & x ) const
private

Definition at line 72 of file StaggeredCoupling.cpp.

76{
77 bool is_coupling_iteration_converged = convergence_of_last_process;
78
79 auto& x_old = *solutions_of_last_cpl_iteration_[coupling_node.process_id];
80 // Since x_old can be immediately refreshed after computing dx,
81 // it is assigned with dx to save memory usage
82 MathLib::LinAlg::axpy(x_old, -1.0, x); // save dx = x - x_old to x_old.
83 INFO(
84 "------- Checking convergence criterion for coupled "
85 "solution of process {:s} with ID {:d} -------",
86 coupling_node.process_name, coupling_node.process_id);
87 // Note: x_old stores dx
88 coupling_node.convergence_criterion->checkDeltaX(x_old, x);
89
90 is_coupling_iteration_converged =
91 is_coupling_iteration_converged &&
92 coupling_node.convergence_criterion->isSatisfied();
93
94 return is_coupling_iteration_converged;
95}
void INFO(fmt::format_string< Args... > fmt, Args &&... args)
Definition Logging.h:35
void axpy(PETScVector &y, PetscScalar const a, PETScVector const &x)
Definition LinAlg.cpp:57

References MathLib::LinAlg::axpy(), NumLib::CouplingNode::convergence_criterion, INFO(), NumLib::CouplingNode::process_id, NumLib::CouplingNode::process_name, and solutions_of_last_cpl_iteration_.

Referenced by executeConcrete().

◆ execute()

template<typename ProcessData , typename Output >
NumLib::NonlinearSolverStatus NumLib::StaggeredCoupling::execute ( const double t,
const double dt,
const std::size_t timestep_id,
std::vector< GlobalVector * > & process_solutions,
std::vector< GlobalVector * > const & process_solutions_prev,
std::vector< std::unique_ptr< ProcessData > > const & per_process_data,
std::vector< Output > const & outputs,
ProcessSolver< ProcessData, Output > const & solve_one_time_step_one_process )

It solves the equations of all coupled processes by the staggered method, and it returns nonlinear solver status.

Definition at line 21 of file StaggeredCoupling-impl.h.

28{
29 auto const [nonlinear_solver_status, coupling_iteration_converged] =
31 timestep_id, process_solutions, process_solutions_prev,
32 per_process_data, outputs,
33 solve_one_time_step_one_process);
34
35 if (!coupling_iteration_converged)
36 {
37 WARN(
38 "The coupling iterations reaches its maximum number in time step "
39 "#{:d} at t = {:g} s",
40 timestep_id, t);
41 }
42
43 return nonlinear_solver_status;
44}
void WARN(fmt::format_string< Args... > fmt, Args &&... args)
Definition Logging.h:40
std::tuple< NumLib::NonlinearSolverStatus, bool > executeConcrete(std::vector< CouplingNodeVariant > &coupling_nodes, const int max_iterations, const double t, const double dt, const std::size_t timestep_id, std::vector< GlobalVector * > &process_solutions, std::vector< GlobalVector * > const &process_solutions_prev, std::vector< std::unique_ptr< ProcessData > > const &per_process_data, std::vector< Output > const &outputs, ProcessSolver< ProcessData, Output > const &solve_one_time_step_one_process)

References coupling_nodes_, executeConcrete(), global_coupling_max_iterations_, and WARN().

◆ executeConcrete()

template<typename ProcessData , typename Output >
std::tuple< NumLib::NonlinearSolverStatus, bool > NumLib::StaggeredCoupling::executeConcrete ( std::vector< CouplingNodeVariant > & coupling_nodes,
const int max_iterations,
const double t,
const double dt,
const std::size_t timestep_id,
std::vector< GlobalVector * > & process_solutions,
std::vector< GlobalVector * > const & process_solutions_prev,
std::vector< std::unique_ptr< ProcessData > > const & per_process_data,
std::vector< Output > const & outputs,
ProcessSolver< ProcessData, Output > const & solve_one_time_step_one_process )
private

It solves the equation of each coupling process (treated as a coupling node) via function recursion, and it returns nonlinear solver status, and an indicator of coupling iteration convergence.

Definition at line 81 of file StaggeredCoupling-impl.h.

89{
90 setFirstIterationIndicator(coupling_nodes);
91
92 NumLib::NonlinearSolverStatus nonlinear_solver_status{true, -1};
93
94 bool coupling_iteration_converged = true;
95 for (int global_coupling_iteration = 0;
96 global_coupling_iteration < max_iterations;
97 global_coupling_iteration++,
99 {
100 coupling_iteration_converged = true;
101
102 INFO("Global coupling iteration #{:d} started.",
103 global_coupling_iteration);
104 BaseLib::RunTime coupling_iteration_timer;
105 coupling_iteration_timer.start();
106
107 for (auto& coupling_node : coupling_nodes)
108 {
109 // For the dummy root node, perform sub-coupling computation.
110 if (std::holds_alternative<RootCouplingNode>(coupling_node))
111 {
112 auto const [local_nonlinear_solver_status,
113 local_coupling_iteration_converged] =
115 coupling_node, t, dt, timestep_id, process_solutions,
116 process_solutions_prev, per_process_data, outputs,
117 solve_one_time_step_one_process);
118
119 if (!local_nonlinear_solver_status.error_norms_met)
120 {
121 coupling_iteration_converged = false;
122 return {local_nonlinear_solver_status,
123 coupling_iteration_converged};
124 }
125
126 coupling_iteration_converged =
127 coupling_iteration_converged &&
128 local_coupling_iteration_converged;
129 continue;
130 }
131
132 CouplingNode const& regular_coupling_node =
133 std::get<CouplingNode>(coupling_node);
134
135 nonlinear_solver_status = executeSingleIteration(
136 global_coupling_iteration, regular_coupling_node, t, dt,
137 timestep_id, process_solutions, process_solutions_prev,
138 per_process_data, outputs, solve_one_time_step_one_process);
139
140 if (!nonlinear_solver_status.error_norms_met)
141 {
142 WARN(
143 "The nonlinear solver failed in time step #{:d} at t = "
144 "{:g} s for process {:s}.",
145 timestep_id, t, regular_coupling_node.process_name);
146 coupling_iteration_converged = false;
147 return {nonlinear_solver_status, coupling_iteration_converged};
148 }
149
150 auto const& x =
151 *process_solutions[regular_coupling_node.process_id];
152
153 // It is unnecessary to check convergence for a process at the first
154 // iteration
155 if (global_coupling_iteration > 0)
156 {
157 coupling_iteration_converged = checkCouplingConvergence(
158 coupling_iteration_converged, regular_coupling_node, x);
159 }
160
161 updatePreviousSolution(regular_coupling_node.process_id, x);
162
163 } // end of for (auto& process_data : _per_process_data)
164
165 // At least to run two coupling iterations, meaning that the coupling
166 // has at least two coupling nodes.
167 INFO("Global coupling iteration #{:d} took {:g} s.",
168 global_coupling_iteration, coupling_iteration_timer.elapsed());
169 if (coupling_iteration_converged && global_coupling_iteration > 0)
170 {
171 break;
172 }
173 }
174
175 return {nonlinear_solver_status, coupling_iteration_converged};
176}
Count the running time.
Definition RunTime.h:29
double elapsed() const
Get the elapsed time in seconds.
Definition RunTime.h:42
void start()
Start the timer.
Definition RunTime.h:32
NumLib::NonlinearSolverStatus executeSingleIteration(int const global_coupling_iteration, CouplingNode const &regular_coupling_node, const double t, const double dt, const std::size_t timestep_id, std::vector< GlobalVector * > &process_solutions, std::vector< GlobalVector * > const &process_solutions_prev, std::vector< std::unique_ptr< ProcessData > > const &per_process_data, std::vector< Output > const &outputs, ProcessSolver< ProcessData, Output > const &solve_one_time_step_one_process)
void resetCouplingConvergenceCriteria(std::vector< CouplingNodeVariant > const &coupling_nodes)
void setFirstIterationIndicator(std::vector< CouplingNodeVariant > const &coupling_nodes)
Set the indicator of the first staggered coupling iteration be true.
bool checkCouplingConvergence(const bool convergence_of_last_process, CouplingNode const &coupling_node, GlobalVector const &x) const
std::tuple< NumLib::NonlinearSolverStatus, bool > executeSubCoupling(CouplingNodeVariant &coupling_node, const double t, const double dt, const std::size_t timestep_id, std::vector< GlobalVector * > &process_solutions, std::vector< GlobalVector * > const &process_solutions_prev, std::vector< std::unique_ptr< ProcessData > > const &per_process_data, std::vector< Output > const &outputs, ProcessSolver< ProcessData, Output > const &solve_one_time_step_one_process)
void updatePreviousSolution(int const process_id, GlobalVector const &x)

References checkCouplingConvergence(), BaseLib::RunTime::elapsed(), executeSingleIteration(), executeSubCoupling(), INFO(), NumLib::CouplingNode::process_id, NumLib::CouplingNode::process_name, resetCouplingConvergenceCriteria(), setFirstIterationIndicator(), BaseLib::RunTime::start(), updatePreviousSolution(), and WARN().

Referenced by execute(), and executeSubCoupling().

◆ executeSingleIteration()

template<typename ProcessData , typename Output >
NumLib::NonlinearSolverStatus NumLib::StaggeredCoupling::executeSingleIteration ( int const global_coupling_iteration,
CouplingNode const & regular_coupling_node,
const double t,
const double dt,
const std::size_t timestep_id,
std::vector< GlobalVector * > & process_solutions,
std::vector< GlobalVector * > const & process_solutions_prev,
std::vector< std::unique_ptr< ProcessData > > const & per_process_data,
std::vector< Output > const & outputs,
ProcessSolver< ProcessData, Output > const & solve_one_time_step_one_process )
private

Definition at line 47 of file StaggeredCoupling-impl.h.

56{
57 BaseLib::RunTime time_timestep_process;
58 time_timestep_process.start();
59
60 auto const process_id = regular_coupling_node.process_id;
61 auto const& process_name = regular_coupling_node.process_name;
62 INFO("Solve process #{:d} (named as {:s})", process_id, process_name);
63
64 auto& process_data = *(per_process_data[process_id]);
65
66 process_data.nonlinear_solver_status = solve_one_time_step_one_process(
67 process_solutions, process_solutions_prev, timestep_id, t, dt,
68 process_data, outputs);
69
70 INFO(
71 "[time] Solving process #{:d} (named as {:s}) took {:g} s in "
72 "time step #{} coupling iteration #{}.",
73 process_id, process_name, time_timestep_process.elapsed(), timestep_id,
74 global_coupling_iteration);
75
76 return process_data.nonlinear_solver_status;
77}

References BaseLib::RunTime::elapsed(), INFO(), NumLib::CouplingNode::process_id, NumLib::CouplingNode::process_name, and BaseLib::RunTime::start().

Referenced by executeConcrete().

◆ executeSubCoupling()

template<typename ProcessData , typename Output >
std::tuple< NumLib::NonlinearSolverStatus, bool > NumLib::StaggeredCoupling::executeSubCoupling ( CouplingNodeVariant & coupling_node,
const double t,
const double dt,
const std::size_t timestep_id,
std::vector< GlobalVector * > & process_solutions,
std::vector< GlobalVector * > const & process_solutions_prev,
std::vector< std::unique_ptr< ProcessData > > const & per_process_data,
std::vector< Output > const & outputs,
ProcessSolver< ProcessData, Output > const & solve_one_time_step_one_process )
private

Definition at line 180 of file StaggeredCoupling-impl.h.

188{
189 INFO("--- Execute sub-coupling:");
190 RootCouplingNode& root_coupling_node =
191 std::get<RootCouplingNode>(coupling_node);
192 const int local_max_iterations =
193 std::get<CouplingNode>(root_coupling_node.sub_coupling_nodes.front())
194 .max_iterations;
195
196 auto const [sub_nonlinear_solver_status, sub_coupling_iteration_converged] =
198 root_coupling_node.sub_coupling_nodes, local_max_iterations, t, dt,
199 timestep_id, process_solutions, process_solutions_prev,
200 per_process_data, outputs, solve_one_time_step_one_process);
201
202 INFO("--- End sub-coupling.");
203 return {sub_nonlinear_solver_status, sub_coupling_iteration_converged};
204}

References executeConcrete(), INFO(), and NumLib::RootCouplingNode::sub_coupling_nodes.

Referenced by executeConcrete().

◆ initializeCoupledSolutions()

void NumLib::StaggeredCoupling::initializeCoupledSolutions ( std::vector< GlobalVector * > const & process_solutions)

This function fills the vector of solutions of coupled processes of processes, solutions_of_coupled_processes_, and initializes the vector of solutions of the previous coupling iteration, _solutions_of_last_cpl_iteration.

Definition at line 31 of file StaggeredCoupling.cpp.

33{
34 for (auto const* const x : process_solutions)
35 {
36 // Create a vector to store the solution of the last coupling iteration
39
40 // append a solution vector of suitable size
41 solutions_of_last_cpl_iteration_.emplace_back(&x0);
42 }
43}
virtual GlobalVector & getVector(std::size_t &id)=0
Get an uninitialized vector with the given id.
void copy(PETScVector const &x, PETScVector &y)
Definition LinAlg.cpp:37

References MathLib::LinAlg::copy(), NumLib::VectorProvider::getVector(), NumLib::GlobalVectorProvider::provider, and solutions_of_last_cpl_iteration_.

◆ resetCouplingConvergenceCriteria()

void NumLib::StaggeredCoupling::resetCouplingConvergenceCriteria ( std::vector< CouplingNodeVariant > const & coupling_nodes)
private

Definition at line 59 of file StaggeredCoupling.cpp.

61{
62 auto is_regular_node = [](const CouplingNodeVariant& node)
63 { return std::holds_alternative<CouplingNode>(node); };
64
65 for (auto& coupling_node :
66 coupling_nodes | ranges::views::filter(is_regular_node))
67 {
68 std::get<CouplingNode>(coupling_node).convergence_criterion->reset();
69 }
70}
std::variant< CouplingNode, RootCouplingNode > CouplingNodeVariant
constexpr List filter(Pred, SomeListOfTypes<> *)
Definition TMP.h:49

Referenced by executeConcrete().

◆ setFirstIterationIndicator()

void NumLib::StaggeredCoupling::setFirstIterationIndicator ( std::vector< CouplingNodeVariant > const & coupling_nodes)
private

Set the indicator of the first staggered coupling iteration be true.

Definition at line 45 of file StaggeredCoupling.cpp.

47{
48 auto is_regular_node = [](const CouplingNodeVariant& node)
49 { return std::holds_alternative<CouplingNode>(node); };
50
51 for (auto const& coupling_node :
52 coupling_nodes | ranges::views::filter(is_regular_node))
53 {
54 std::get<CouplingNode>(coupling_node)
55 .convergence_criterion->preFirstIteration();
56 }
57}

Referenced by executeConcrete().

◆ updatePreviousSolution()

void NumLib::StaggeredCoupling::updatePreviousSolution ( int const process_id,
GlobalVector const & x )
private

Definition at line 97 of file StaggeredCoupling.cpp.

99{
100 auto& x_old = *solutions_of_last_cpl_iteration_[process_id];
101 MathLib::LinAlg::copy(x, x_old);
102}

References MathLib::LinAlg::copy(), and solutions_of_last_cpl_iteration_.

Referenced by executeConcrete().

Member Data Documentation

◆ coupling_nodes_

std::vector<CouplingNodeVariant> NumLib::StaggeredCoupling::coupling_nodes_
private

Coupling graph for the staggered scheme. It looks like:

x ... x o o / \ / \ / \ / \ x ... x x ... x

where x represents a coupling node, and o represents a dummy root coupling node.

Definition at line 105 of file StaggeredCoupling.h.

Referenced by execute().

◆ global_coupling_max_iterations_

const int NumLib::StaggeredCoupling::global_coupling_max_iterations_
private

Maximum iteration number of the coupling loop of the staggered scheme.

Definition at line 93 of file StaggeredCoupling.h.

Referenced by execute().

◆ solutions_of_last_cpl_iteration_

std::vector<GlobalVector*> NumLib::StaggeredCoupling::solutions_of_last_cpl_iteration_
private

Solutions of the previous coupling iteration for the convergence criteria of the coupling iteration.

Definition at line 150 of file StaggeredCoupling.h.

Referenced by ~StaggeredCoupling(), checkCouplingConvergence(), initializeCoupledSolutions(), and updatePreviousSolution().


The documentation for this class was generated from the following files: