codi::ParallelReuseIndexManager< T_Index, T_ParallelToolbox > Struct Template Reference

Reuse index manager with a one-to-one relation between tapes and index manager. More...

#include <parallelReuseIndexManager.hpp>

Inheritance diagram for codi::ParallelReuseIndexManager< T_Index, T_ParallelToolbox >:

Public Types
using	Base = ReuseIndexManagerBase<Index, ParallelReuseIndexManager>
	Base class abbreviation.
using	Index = T_Index
	See ParallelReuseIndexManager.
using	ParallelToolbox
	See ParallelReuseIndexManager.
Public Types inherited from codi::ReuseIndexManagerBase< T_Index, ParallelReuseIndexManager< T_Index, T_ParallelToolbox > >
using	Base
	Base class abbreviation.
using	Impl
	See ReuseIndexManagerBase.
using	Index
	See ReuseIndexManagerBase.
using	Position
	See EmptyData.
Public Types inherited from codi::IndexManagerInterface< T_Index >
using	Index = T_Index
	See IndexManagerInterface.
Public Types inherited from codi::EmptyData
using	InternalPosHandle = size_t
	Will always be zero.
using	NestedData = void
	No nested data.
using	Position = EmptyPosition
	No positional data.
Public Types inherited from codi::DataInterface< T_NestedData, T_InternalPosHandle >
using	InternalPosHandle = T_InternalPosHandle
	See DataInterface.
using	NestedData = T_NestedData
	See DataInterface.
using	Position = EmptyPosition
	Contains position data for this DataInterface and all nested interfaces.

Public Member Functions
	ParallelReuseIndexManager (Index const &reservedIndices)
	~ParallelReuseIndexManager ()
	Destructor.
IndexManagerInterface: Methods
void	addToTapeValues (TapeValues &values) const
	Add storage and other information to the tape values.
inlineIndex	getLargestCreatedIndex () const
	Returns the largest created index.
Public Member Functions inherited from codi::ReuseIndexManagerBase< T_Index, ParallelReuseIndexManager< T_Index, T_ParallelToolbox > >
	ReuseIndexManagerBase ()
	~ReuseIndexManagerBase ()
	Destructor.
inlinebool	assignIndex (Index &index)
	Call on assignment of a primal value, e.g. on w for w = a + b.
inlinebool	assignUnusedIndex (Index &index)
	Call on registering input values.
inlinevoid	copyIndex (Index &lhs, Index const &rhs)
	Call on copy of a primal value, e.g. w = a.
inlinevoid	freeIndex (Index &index)
	Call on destruction of a primal value. Usually called from the destructor.
void	updateLargestCreatedIndex (Index const &index)
	Update the largest generated index.
inlinevoid	reset ()
	Reset for a new recording.
void	addToTapeValues (TapeValues &values) const
	Add storage and other information to the tape values.
Public Member Functions inherited from codi::IndexManagerInterface< T_Index >
void	addToTapeValues (TapeValues &values) const
	Add storage and other information to the tape values.
Index	getLargestCreatedIndex () const
	Returns the largest created index.
template<typename Tape>
bool	assignIndex (Index &index)
	Call on assignment of a primal value, e.g. on w for w = a + b.
void	updateLargestCreatedIndex (Index const &index)
	Update the largest generated index.
template<typename Tape>
bool	assignUnusedIndex (Index &index)
	Call on registering input values.
template<typename Tape>
void	copyIndex (Index &lhs, Index const &rhs)
	Call on copy of a primal value, e.g. w = a.
template<typename Tape>
void	freeIndex (Index &index)
	Call on destruction of a primal value. Usually called from the destructor.
void	reset ()
	Reset for a new recording.
Public Member Functions inherited from codi::EmptyData
inlinevoid	pushData ()
	Add data to the storage allocated by the implementation. The method can only be called after a call to reserveItems and only as often as the number of reserved items.
inlinevoid	getDataPointers ()
	Get pointers to the data from the storage implementation. The method can only be called after a call to reserveItems() and data can only be accessed from 0 to the number given by reserveItems (excluding). Afterwards, addDataSize() needs to be called with the actual number of elements that have been written.
inlinevoid	addDataSize (size_t size)
	Add this many items to the data stream, after the data has been manipulated via pointers obtained from getDataPointers().
inlineInternalPosHandle	reserveItems (size_t const &items)
	Reserve this many items on the data stream. See pushData for details.
void	resize (size_t const &totalSize)
void	reset ()
void	resetHard ()
void	resetTo (Position const &pos)
void	erase (Position const &start, Position const &end, bool recursive=true)
inlinesize_t	getDataSize () const
inlinePosition	getPosition () const
inlinesize_t	getPushedDataCount (InternalPosHandle const &startPos)
inlinePosition	getZeroPosition () const
void	addToTapeValues (TapeValues &values) const
	Add amount of stored data to the TapeValues object. Not called on the nested vector.
template<typename = void>
inlinePosition	extractPosition (Position const &pos) const
	Extract the position of a nested DataInterface from the global position object provide by this interface.
void	setNested (NestedData *v)
void	swap (DataInterface &other)
template<int selectedDepth = -1, typename FunctionObject, typename... Args>
inlinevoid	evaluateForward (Position const &start, Position const &end, FunctionObject function, Args &&... args)
	Evaluates the function object with segments of continuous and valid data for all nested DataInterfaces.
template<int selectedDepth = -1, typename FunctionObject, typename... Args>
inlinevoid	evaluateReverse (Position const &start, Position const &end, FunctionObject function, Args &&... args)
	Evaluates the function object with segments of continuous and valid data for all nested DataInterfaces.
template<typename FunctionObject, typename... Args>
inlinevoid	forEachChunk (FunctionObject &function, bool recursive, Args &&... args)
	Calls the function object for each continuous segment of data.
template<typename FunctionObject, typename... Args>
inlinevoid	forEachForward (Position const &start, Position const &end, FunctionObject function, Args &&... args)
	Calls the function object for each item in the data stream. This call is not recursive.
template<typename FunctionObject, typename... Args>
inlinevoid	forEachReverse (Position const &start, Position const &end, FunctionObject function, Args &&... args)
	Calls the function object for each item in the data stream. This call is not recursive.
Public Member Functions inherited from codi::DataInterface< T_NestedData, T_InternalPosHandle >
inlinevoid	addDataSize (size_t const &size)
	Add this many items to the data stream, after the data has been manipulated via pointers obtained from getDataPointers().
template<typename... Data>
inlinevoid	getDataPointers (Data *&... pointers)
	Get pointers to the data from the storage implementation. The method can only be called after a call to reserveItems() and data can only be accessed from 0 to the number given by reserveItems (excluding). Afterwards, addDataSize() needs to be called with the actual number of elements that have been written.
template<typename... Data>
inlinevoid	pushData (Data const &... data)
	Add data to the storage allocated by the implementation. The method can only be called after a call to reserveItems and only as often as the number of reserved items.
inlineInternalPosHandle	reserveItems (size_t const &items)
	Reserve this many items on the data stream. See pushData for details.
void	resize (size_t const &totalSize)
void	reset ()
void	resetHard ()
void	resetTo (Position const &pos)
void	erase (Position const &start, Position const &end, bool recursive=true)
inlinesize_t	getDataSize () const
inlinePosition	getPosition () const
inlinesize_t	getPushedDataCount (InternalPosHandle const &startPos)
inlinePosition	getZeroPosition () const
void	addToTapeValues (TapeValues &values) const
	Add amount of stored data to the TapeValues object. Not called on the nested vector.
template<typename TargetPosition>
inlineTargetPosition	extractPosition (Position const &pos) const
	Extract the position of a nested DataInterface from the global position object provide by this interface.
void	setNested (NestedData *v)
void	swap (DataInterface &other)
template<int selectedDepth = -1, typename FunctionObject, typename... Args>
inlinevoid	evaluateForward (Position const &start, Position const &end, FunctionObject function, Args &&... args)
	Evaluates the function object with segments of continuous and valid data for all nested DataInterfaces.
template<int selectedDepth = -1, typename FunctionObject, typename... Args>
inlinevoid	evaluateReverse (Position const &start, Position const &end, FunctionObject function, Args &&... args)
	Evaluates the function object with segments of continuous and valid data for all nested DataInterfaces.
template<typename FunctionObject, typename... Args>
inlinevoid	forEachChunk (FunctionObject &function, bool recursive, Args &&... args)
	Calls the function object for each continuous segment of data.
template<typename FunctionObject, typename... Args>
inlinevoid	forEachForward (Position const &start, Position const &end, FunctionObject function, Args &&... args)
	Calls the function object for each item in the data stream. This call is not recursive.
template<typename FunctionObject, typename... Args>
inlinevoid	forEachReverse (Position const &start, Position const &end, FunctionObject function, Args &&... args)
	Calls the function object for each item in the data stream. This call is not recursive.

Public Attributes
friend	Base
	Allow the base class to access protected and private members.

Static Public Attributes
IndexManagerInterface: Constants
static bool constexpr	NeedsStaticStorage = false
	< See ReuseIndexManagerBase.
static bool constexpr	CopyNeedsStatement
	No copy optimization is implemented.
static bool constexpr	IsLinear
	< See ReuseIndexManagerBase.
Static Public Attributes inherited from codi::ReuseIndexManagerBase< T_Index, ParallelReuseIndexManager< T_Index, T_ParallelToolbox > >
static bool constexpr	CopyNeedsStatement
	No copy optimization is implemented.
static bool constexpr	IsLinear
	Identifiers are not coupled to statements.
static bool constexpr	NeedsStaticStorage
	Identifiers are managed globally.
Static Public Attributes inherited from codi::IndexManagerInterface< T_Index >
static Index constexpr	InactiveIndex = Index(0)
	Default inactive index for all index managers.
static Index constexpr	InvalidIndex
	Default invalid index for all index mangers (max value for unsigned types).
static bool constexpr	CopyNeedsStatement
	True if no copy optimization is implemented. See IndexManagerInterface.
static bool constexpr	IsLinear
	True if identifiers are coupled to the statements. See IndexManagerInterface.
static bool constexpr	NeedsStaticStorage = false
	True if the index manager is specific to a tape type (and not a tape instance). See IndexManagerInterface.

Additional Inherited Members
Protected Attributes inherited from codi::ReuseIndexManagerBase< T_Index, ParallelReuseIndexManager< T_Index, T_ParallelToolbox > >
size_t	indexSizeIncrement
	Block size for index pool enlargement.
std::vector< Index >	unusedIndices
	Pool of indices that have not been used in this recording yet.
size_t	unusedIndicesPos
	Number of remaining unused indices.
std::vector< Index >	usedIndices
	Pool of indices that have already been used in this recording.
size_t	usedIndicesPos
	Number of remaining used indices.
bool	valid
	Prevent index free after destruction.

Detailed Description

template<typename T_Index, typename T_ParallelToolbox>
struct codi::ParallelReuseIndexManager< T_Index, T_ParallelToolbox >

Reuse index manager with a one-to-one relation between tapes and index manager.

This is a thread-safe implementation of the reuse index management strategy. For the details of reuse index management, see ReuseIndexManagerBase. The key difference is that multiple tape-local index managers can acquire non-overlapping ranges of indices from the same global management.

Template Parameters

T_Index	Type for the identifier, usually an integer type.
T_ParallelToolbox	Tools used to make this index manager thread-safe.

Member Typedef Documentation

ParallelToolbox

template<typename T_Index, typename T_ParallelToolbox>

using codi::ParallelReuseIndexManager< T_Index, T_ParallelToolbox >::ParallelToolbox

Initial value:

 
 T_ParallelToolbox

See ParallelReuseIndexManager.

Constructor & Destructor Documentation

ParallelReuseIndexManager()

template<typename T_Index, typename T_ParallelToolbox>

codi::ParallelReuseIndexManager< T_Index, T_ParallelToolbox >::ParallelReuseIndexManager ( Index const & reservedIndices )

inline

Constructor For a tape class that uses this index manager, all tape instances are expected to pass the same number of reservedIndices to this constructor.

Member Function Documentation

addToTapeValues()

template<typename T_Index, typename T_ParallelToolbox>

void codi::ParallelReuseIndexManager< T_Index, T_ParallelToolbox >::addToTapeValues ( TapeValues & values ) const

inline

Add storage and other information to the tape values.

Parameters

[in,out]

values

Will only create new data entries and no new section. Implementation: Adds max live indices, cur live indices, indices stored, memory used, memory allocated.

getLargestCreatedIndex()

template<typename T_Index, typename T_ParallelToolbox>

inlineIndex codi::ParallelReuseIndexManager< T_Index, T_ParallelToolbox >::getLargestCreatedIndex ( ) const

inline

Returns the largest created index.

This is the largest entry in the adjoint vectors created by the tapes. The following properties are specific to the ReuseIndexManager and inherited by the MultiUseIndexManager:

1. tape resets do not change the largest created index,
2. it is not guaranteed that the largest created index has been assigned to a variable already.

Member Data Documentation

NeedsStaticStorage

template<typename T_Index, typename T_ParallelToolbox>

bool constexpr codi::ParallelReuseIndexManager< T_Index, T_ParallelToolbox >::NeedsStaticStorage = false

staticconstexpr

< See ReuseIndexManagerBase.

Indices are managed globally, but the global part is handled by static members of the manager itself.

---

The documentation for this struct was generated from the following file:

• include/codi/tapes/indices/parallelReuseIndexManager.hpp