CoDiPack  2.3.0
A Code Differentiation Package
SciComp TU Kaiserslautern
Loading...
Searching...
No Matches
threadSafeGlobalAdjoints.hpp
1/*
2 * CoDiPack, a Code Differentiation Package
3 *
4 * Copyright (C) 2015-2024 Chair for Scientific Computing (SciComp), University of Kaiserslautern-Landau
5 * Homepage: http://scicomp.rptu.de
6 * Contact: Prof. Nicolas R. Gauger (codi@scicomp.uni-kl.de)
7 *
8 * Lead developers: Max Sagebaum, Johannes Blühdorn (SciComp, University of Kaiserslautern-Landau)
9 *
10 * This file is part of CoDiPack (http://scicomp.rptu.de/software/codi).
11 *
12 * CoDiPack is free software: you can redistribute it and/or
13 * modify it under the terms of the GNU General Public License
14 * as published by the Free Software Foundation, either version 3 of the
15 * License, or (at your option) any later version.
16 *
17 * CoDiPack is distributed in the hope that it will be useful,
18 * but WITHOUT ANY WARRANTY; without even the implied warranty
19 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
20 *
21 * See the GNU General Public License for more details.
22 * You should have received a copy of the GNU
23 * General Public License along with CoDiPack.
24 * If not, see <http://www.gnu.org/licenses/>.
25 *
26 * For other licensing options please contact us.
27 *
28 * Authors:
29 * - SciComp, University of Kaiserslautern-Landau:
30 * - Max Sagebaum
31 * - Johannes Blühdorn
32 * - Former members:
33 * - Tim Albring
34 */
35#pragma once
36
37#include "../../tools/parallel/parallelToolbox.hpp"
38#include "../../traits/adjointVectorTraits.hpp"
39#include "internalAdjointsInterface.hpp"
40
42namespace codi {
43
52 template<typename T_Gradient, typename T_Identifier, typename T_Tape, typename T_ParallelToolbox>
53 struct ThreadSafeGlobalAdjoints : public InternalAdjointsInterface<T_Gradient, T_Identifier, T_Tape> {
54 public:
55
58 using Gradient = CODI_DD(T_Gradient, double);
59 using Identifier = CODI_DD(T_Identifier, int);
61 using ParallelToolbox = CODI_DD(T_ParallelToolbox, CODI_DEFAULT_PARALLEL_TOOLBOX);
62
66
67 private:
68
69 static std::vector<Gradient> adjoints;
70
73 static ReadWriteMutex adjointsMutex;
74
75 public:
76
78 ThreadSafeGlobalAdjoints(size_t initialSize)
80
84 return adjoints[(size_t)identifier];
85 }
86
89 CODI_INLINE Gradient const& operator[](Identifier const& identifier) const {
90 return adjoints[(size_t)identifier];
91 }
92
95 LockForUse lock(adjointsMutex);
96 return adjoints.data();
97 }
98
100 CODI_INLINE size_t size() const {
101 LockForUse lock(adjointsMutex);
102 return adjoints.size();
103 }
104
106 CODI_NO_INLINE void resize(Identifier const& newSize) {
107 LockForRealloc lock(adjointsMutex);
108 adjoints.resize((size_t)newSize);
109 }
110
112 CODI_INLINE void zeroAll(Identifier const& maxIdentifier) {
113 Identifier maxSize = std::min(maxIdentifier + 1, (Identifier)adjoints.size());
114 for (Identifier i = 0; i < maxSize; i += 1) {
115 adjoints[i] = Gradient();
116 }
117 }
118
121 /* Adjoints in this implementation are a static global member. Therefore, there is no need to swap them. */
122 }
123
127 adjointsMutex.lockRead();
128 }
129
133 adjointsMutex.unlockRead();
134 }
135 };
136
137 template<typename Gradient, typename Identifier, typename Tape, typename ParallelToolbox>
138 std::vector<CODI_DD(Gradient, double)>
139 ThreadSafeGlobalAdjoints<Gradient, Identifier, Tape, ParallelToolbox>::adjoints(1);
140
141 template<typename Gradient, typename Identifier, typename Tape, typename ParallelToolbox>
142 typename CODI_DD(ParallelToolbox, CODI_DEFAULT_PARALLEL_TOOLBOX)::ReadWriteMutex
143 ThreadSafeGlobalAdjoints<Gradient, Identifier, Tape, ParallelToolbox>::adjointsMutex;
144
145#ifndef DOXYGEN_DISABLE
146
148 namespace AdjointVectorTraits {
149 template<typename T_Gradient, typename T_Identifier, typename T_Tape, typename T_ParallelToolbox>
150 struct GradientImplementation<ThreadSafeGlobalAdjoints<T_Gradient, T_Identifier, T_Tape, T_ParallelToolbox>> {
151 public:
152 using Gradient = T_Gradient;
153 };
154 }
155#endif
156}
#define CODI_NO_INLINE
See codi::Config::AvoidedInlines.
Definition config.h:417
#define CODI_INLINE
See codi::Config::ForcedInlines.
Definition config.h:457
#define CODI_DD(Type, Default)
Abbreviation for CODI_DECLARE_DEFAULT.
Definition macros.hpp:94
#define CODI_T(...)
Abbreviation for CODI_TEMPLATE.
Definition macros.hpp:111
CoDiPack - Code Differentiation Package.
Definition codi.hpp:91
Full tape interface that supports all features of CoDiPack.
Definition fullTapeInterface.hpp:84
Abstracts the internal set of adjoint variables provided as part of the tape.
Definition internalAdjointsInterface.hpp:80
codi::LockForRead< ReadWriteMutex > LockForRead
See codi::LockForRead.
Definition parallelToolbox.hpp:91
codi::LockForWrite< ReadWriteMutex > LockForWrite
See codi::LockForWrite.
Definition parallelToolbox.hpp:92
codi::ReadWriteMutex< ThreadInformation, Atomic< int > > ReadWriteMutex
See codi::ReadWriteMutex.
Definition parallelToolbox.hpp:90
Provides global adjoint variables owned by a tape type. Thread-safe for use in parallel taping.
Definition threadSafeGlobalAdjoints.hpp:53
T_Gradient Gradient
See ThreadSafeGlobalAdjoints.
Definition threadSafeGlobalAdjoints.hpp:58
T_Identifier Identifier
Definition threadSafeGlobalAdjoints.hpp:59
void zeroAll(Identifier const &maxIdentifier)
Set all adjoint variables up to and including maxIdentifier to Gradient().
Definition threadSafeGlobalAdjoints.hpp:112
Gradient & operator[](Identifier const &identifier)
Reference access to the adjoint variable identified by identifier.
Definition threadSafeGlobalAdjoints.hpp:83
T_ParallelToolbox ParallelToolbox
See ThreadSafeGlobalAdjoints.
Definition threadSafeGlobalAdjoints.hpp:61
void beginUse()
Declare that the adjoints are in use, e.g., during a tape evaluation, and cannot be resized right now...
Definition threadSafeGlobalAdjoints.hpp:126
void endUse()
Declare that the adjoints are no longer occupied.
Definition threadSafeGlobalAdjoints.hpp:132
void swap(ThreadSafeGlobalAdjoints &)
Swap two sets of adjoint variables. Internally, declares usage of the adjoints.
Definition threadSafeGlobalAdjoints.hpp:120
Gradient const & operator[](Identifier const &identifier) const
Constant reference access to the adjoint variable identified by identifier.
Definition threadSafeGlobalAdjoints.hpp:89
typename ParallelToolbox::LockForWrite LockForRealloc
See ParallelToolbox.
Definition threadSafeGlobalAdjoints.hpp:65
Gradient * data()
Return an array-like object for data access, for example a pointer to an underlying array or a refere...
Definition threadSafeGlobalAdjoints.hpp:94
typename ParallelToolbox::ReadWriteMutex ReadWriteMutex
See ParallelToolbox.
Definition threadSafeGlobalAdjoints.hpp:63
void resize(Identifier const &newSize)
Ensure that identifiers up to newSize can be passed to operator[] without error.
Definition threadSafeGlobalAdjoints.hpp:106
size_t size() const
Returns the number of adjoint variables. Internally, declares usage of the adjoints.
Definition threadSafeGlobalAdjoints.hpp:100
ThreadSafeGlobalAdjoints(size_t initialSize)
Constructor.
Definition threadSafeGlobalAdjoints.hpp:78
typename ParallelToolbox::LockForRead LockForUse
See ParallelToolbox.
Definition threadSafeGlobalAdjoints.hpp:64
T_Tape Tape
See ThreadSafeGlobalAdjoints.
Definition threadSafeGlobalAdjoints.hpp:57