Move total bonded count to LocalTopologyChecker
[alexxy/gromacs.git] / src / gromacs / domdec / localtopologychecker.h
1 /*
2  * This file is part of the GROMACS molecular simulation package.
3  *
4  * Copyright (c) 2021, by the GROMACS development team, led by
5  * Mark Abraham, David van der Spoel, Berk Hess, and Erik Lindahl,
6  * and including many others, as listed in the AUTHORS file in the
7  * top-level source directory and at http://www.gromacs.org.
8  *
9  * GROMACS is free software; you can redistribute it and/or
10  * modify it under the terms of the GNU Lesser General Public License
11  * as published by the Free Software Foundation; either version 2.1
12  * of the License, or (at your option) any later version.
13  *
14  * GROMACS is distributed in the hope that it will be useful,
15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
17  * Lesser General Public License for more details.
18  *
19  * You should have received a copy of the GNU Lesser General Public
20  * License along with GROMACS; if not, see
21  * http://www.gnu.org/licenses, or write to the Free Software Foundation,
22  * Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA.
23  *
24  * If you want to redistribute modifications to GROMACS, please
25  * consider that scientific software is very special. Version
26  * control is crucial - bugs must be traceable. We will be happy to
27  * consider code for inclusion in the official distribution, but
28  * derived work must not be called official GROMACS. Details are found
29  * in the README & COPYING files - if they are missing, get the
30  * official version at http://www.gromacs.org.
31  *
32  * To help us fund GROMACS development, we humbly ask that you cite
33  * the research papers on the package. Check out http://www.gromacs.org.
34  */
35 /*! \libinternal \file
36  *
37  * \brief This file declares functionality for checking whether
38  * local topologies describe all bonded interactions.
39  *
40  * \inlibraryapi
41  * \ingroup module_domdec
42  */
43
44 #ifndef GMX_DOMDEC_LOCALTOPOLOGYCHECKER_H
45 #define GMX_DOMDEC_LOCALTOPOLOGYCHECKER_H
46
47 #include <optional>
48
49 #include "gromacs/math/vectypes.h"
50
51 struct gmx_domdec_t;
52 struct gmx_localtop_t;
53 struct gmx_mtop_t;
54 struct t_commrec;
55 struct t_inputrec;
56
57 namespace gmx
58 {
59 class MDLogger;
60 template<typename>
61 class ArrayRef;
62 enum class DDBondedChecking : bool;
63 } // namespace gmx
64
65 namespace gmx
66 {
67
68 struct LocalTopologyChecker
69 {
70 public:
71     //! Constructor
72     LocalTopologyChecker(const gmx_mtop_t& mtop, bool useUpdateGroups);
73     /*! \brief Data to help check local topology construction
74      *
75      * Partitioning could incorrectly miss a bonded interaction.
76      * However, checking for that requires a global communication
77      * stage, which does not otherwise happen during partitioning. So,
78      * for performance, we do that alongside the first global energy
79      * reduction after a new DD is made. These variables handle
80      * whether the check happens, its input for this domain, output
81      * across all domains, and the expected value it should match. */
82     /*! \{ */
83     /*! \brief Number of bonded interactions found in the local
84      * topology for this domain. */
85     int numBondedInteractionsToReduce = 0;
86     /*! \brief Whether to check at the next global communication
87      * stage the total number of bonded interactions found.
88      *
89      * Cleared after that number is found. */
90     bool shouldCheckNumberOfBondedInteractions = false;
91     /*! \brief The total number of bonded interactions found in
92      * the local topology across all domains.
93      *
94      * Only has a value after reduction across all ranks, which is
95      * removed when it is again time to check after a new
96      * partition. */
97     std::optional<int> numBondedInteractionsOverAllDomains;
98     //! The number of bonded interactions computed from the full system topology
99     int expectedNumGlobalBondedInteractions = 0;
100     /*! \} */
101 };
102
103 } // namespace gmx
104
105 //! Set that the local topology should be checked via observables reduction
106 void scheduleCheckOfLocalTopology(gmx_domdec_t* dd, int numBondedInteractionsToReduce);
107
108 /*! \brief Return whether the total bonded interaction count across
109  * domains should be checked in observables reduction. */
110 bool shouldCheckNumberOfBondedInteractions(const gmx_domdec_t& dd);
111
112 //! Return the number of bonded interactions in this domain.
113 int numBondedInteractions(const gmx_domdec_t& dd);
114
115 /*! \brief Set total bonded interaction count across domains. */
116 void setNumberOfBondedInteractionsOverAllDomains(gmx_domdec_t* dd, int newValue);
117
118 /*! \brief Check whether bonded interactions are missing from the reverse topology
119  * produced by domain decomposition.
120  *
121  * Must only be called when DD is active.
122  *
123  * \param[in]    mdlog                                  Logger
124  * \param[in]    cr                                     Communication object
125  * \param[in]    top_global                             Global topology for the error message
126  * \param[in]    top_local                              Local topology for the error message
127  * \param[in]    x                                      Position vector for the error message
128  * \param[in]    box                                    Box matrix for the error message
129  */
130 void checkNumberOfBondedInteractions(const gmx::MDLogger&           mdlog,
131                                      t_commrec*                     cr,
132                                      const gmx_mtop_t&              top_global,
133                                      const gmx_localtop_t*          top_local,
134                                      gmx::ArrayRef<const gmx::RVec> x,
135                                      const matrix                   box);
136
137 #endif