deal.II version GIT relicensing-2084-gab787ef0dd 2024-11-04 03:10:00+00:00
|
#include <deal.II/lac/trilinos_vector.h>
Public Types | |
using | value_type = TrilinosScalar |
using | real_type = TrilinosScalar |
using | size_type = VectorTraits::size_type |
using | iterator = value_type * |
using | const_iterator = const value_type * |
using | reference = internal::VectorReference |
using | const_reference = const internal::VectorReference |
Public Member Functions | |
template<class Archive > | |
void | serialize (Archive &ar, const unsigned int version) |
1: Basic Object-handling | |
Vector () | |
Vector (const Vector &v) | |
Vector (const IndexSet ¶llel_partitioning, const MPI_Comm communicator=MPI_COMM_WORLD) | |
Vector (const IndexSet &local, const IndexSet &ghost, const MPI_Comm communicator=MPI_COMM_WORLD) | |
Vector (const IndexSet ¶llel_partitioning, const Vector &v, const MPI_Comm communicator=MPI_COMM_WORLD) | |
template<typename Number > | |
Vector (const IndexSet ¶llel_partitioning, const ::Vector< Number > &v, const MPI_Comm communicator=MPI_COMM_WORLD) | |
Vector (Vector &&v) | |
~Vector () override=default | |
void | clear () |
void | reinit (const Vector &v, const bool omit_zeroing_entries=false, const bool allow_different_maps=false) |
void | reinit (const IndexSet ¶llel_partitioning, const MPI_Comm communicator=MPI_COMM_WORLD, const bool omit_zeroing_entries=false) |
void | reinit (const IndexSet &locally_owned_entries, const IndexSet &locally_relevant_or_ghost_entries, const MPI_Comm communicator=MPI_COMM_WORLD, const bool vector_writable=false) |
void | reinit (const std::shared_ptr< const Utilities::MPI::Partitioner > &partitioner, const bool make_ghosted=true, const bool vector_writable=false) |
void | reinit (const BlockVector &v, const bool import_data=false) |
void | compress (VectorOperation::values operation) |
Vector & | operator= (const TrilinosScalar s) |
Vector & | operator= (const Vector &v) |
Vector & | operator= (Vector &&v) noexcept |
template<typename Number > | |
Vector & | operator= (const ::Vector< Number > &v) |
void | import_nonlocal_data_for_fe (const ::TrilinosWrappers::SparseMatrix &matrix, const Vector &vector) |
void | import_elements (const LinearAlgebra::ReadWriteVector< double > &rwv, const VectorOperation::values operation) |
void | import (const LinearAlgebra::ReadWriteVector< double > &rwv, const VectorOperation::values operation) |
bool | operator== (const Vector &v) const |
bool | operator!= (const Vector &v) const |
size_type | size () const override |
size_type | locally_owned_size () const |
std::pair< size_type, size_type > | local_range () const |
bool | in_local_range (const size_type index) const |
IndexSet | locally_owned_elements () const |
bool | has_ghost_elements () const |
void | update_ghost_values () const |
TrilinosScalar | operator* (const Vector &vec) const |
real_type | norm_sqr () const |
TrilinosScalar | mean_value () const |
TrilinosScalar | min () const |
TrilinosScalar | max () const |
real_type | l1_norm () const |
real_type | l2_norm () const |
real_type | lp_norm (const TrilinosScalar p) const |
real_type | linfty_norm () const |
TrilinosScalar | add_and_dot (const TrilinosScalar a, const Vector &V, const Vector &W) |
bool | all_zero () const |
bool | is_non_negative () const |
2: Data-Access | |
reference | operator() (const size_type index) |
TrilinosScalar | operator() (const size_type index) const |
reference | operator[] (const size_type index) |
TrilinosScalar | operator[] (const size_type index) const |
void | extract_subvector_to (const std::vector< size_type > &indices, std::vector< TrilinosScalar > &values) const |
virtual void | extract_subvector_to (const ArrayView< const size_type > &indices, const ArrayView< TrilinosScalar > &elements) const override |
template<typename ForwardIterator , typename OutputIterator > | |
void | extract_subvector_to (ForwardIterator indices_begin, const ForwardIterator indices_end, OutputIterator values_begin) const |
iterator | begin () |
const_iterator | begin () const |
iterator | end () |
const_iterator | end () const |
3: Modification of vectors | |
void | set (const std::vector< size_type > &indices, const std::vector< TrilinosScalar > &values) |
void | set (const std::vector< size_type > &indices, const ::Vector< TrilinosScalar > &values) |
void | set (const size_type n_elements, const size_type *indices, const TrilinosScalar *values) |
void | add (const std::vector< size_type > &indices, const std::vector< TrilinosScalar > &values) |
void | add (const std::vector< size_type > &indices, const ::Vector< TrilinosScalar > &values) |
void | add (const size_type n_elements, const size_type *indices, const TrilinosScalar *values) |
Vector & | operator*= (const TrilinosScalar factor) |
Vector & | operator/= (const TrilinosScalar factor) |
Vector & | operator+= (const Vector &V) |
Vector & | operator-= (const Vector &V) |
void | add (const TrilinosScalar s) |
void | add (const Vector &V, const bool allow_different_maps=false) |
void | add (const TrilinosScalar a, const Vector &V) |
void | add (const TrilinosScalar a, const Vector &V, const TrilinosScalar b, const Vector &W) |
void | sadd (const TrilinosScalar s, const Vector &V) |
void | sadd (const TrilinosScalar s, const TrilinosScalar a, const Vector &V) |
void | scale (const Vector &scaling_factors) |
void | equ (const TrilinosScalar a, const Vector &V) |
4: Mixed stuff | |
const Epetra_MultiVector & | trilinos_vector () const |
Epetra_FEVector & | trilinos_vector () |
const Epetra_BlockMap & | trilinos_partitioner () const |
void | print (std::ostream &out, const unsigned int precision=3, const bool scientific=true, const bool across=true) const |
void | swap (Vector &v) noexcept |
std::size_t | memory_consumption () const |
MPI_Comm | get_mpi_communicator () const |
EnableObserverPointer functionality | |
Classes derived from EnableObserverPointer provide a facility to subscribe to this object. This is mostly used by the ObserverPointer class. | |
void | subscribe (std::atomic< bool > *const validity, const std::string &identifier="") const |
void | unsubscribe (std::atomic< bool > *const validity, const std::string &identifier="") const |
unsigned int | n_subscriptions () const |
template<typename StreamType > | |
void | list_subscribers (StreamType &stream) const |
void | list_subscribers () const |
Static Public Member Functions | |
static ::ExceptionBase & | ExcDifferentParallelPartitioning () |
static ::ExceptionBase & | ExcTrilinosError (int arg1) |
static ::ExceptionBase & | ExcAccessToNonLocalElement (size_type arg1, size_type arg2, size_type arg3, size_type arg4) |
static ::ExceptionBase & | ExcInUse (int arg1, std::string arg2, std::string arg3) |
static ::ExceptionBase & | ExcNoSubscriber (std::string arg1, std::string arg2) |
Private Types | |
using | map_value_type = decltype(counter_map)::value_type |
using | map_iterator = decltype(counter_map)::iterator |
Private Member Functions | |
void | check_no_subscribers () const noexcept |
Private Attributes | |
Epetra_CombineMode | last_action |
bool | compressed |
bool | has_ghosts |
std::unique_ptr< Epetra_FEVector > | vector |
std::unique_ptr< Epetra_MultiVector > | nonlocal_vector |
IndexSet | owned_elements |
std::atomic< unsigned int > | counter |
std::map< std::string, unsigned int > | counter_map |
std::vector< std::atomic< bool > * > | validity_pointers |
const std::type_info * | object_info |
Static Private Attributes | |
static std::mutex | mutex |
Friends | |
class | internal::VectorReference |
Related Symbols | |
(Note that these are not member symbols.) | |
void | swap (Vector &u, Vector &v) noexcept |
This class implements a wrapper to use the Trilinos distributed vector class Epetra_FEVector, the (parallel) partitioning of which is governed by an Epetra_Map. The Epetra_FEVector is precisely the kind of vector we deal with all the time - we probably get it from some assembly process, where also entries not locally owned might need to written and hence need to be forwarded to the owner.
The interface of this class is modeled after the existing Vector class in deal.II. It has almost the same member functions, and is often exchangeable. However, since Trilinos only supports a single scalar type (double), it is not templated, and only works with that type.
Note that Trilinos only guarantees that operations do what you expect if the function GlobalAssemble
has been called after vector assembly in order to distribute the data. This is necessary since some processes might have accumulated data of elements that are not owned by themselves, but must be sent to the owning process. In order to avoid using the wrong data, you need to call Vector::compress() before you actually use the vectors.
The parallel functionality of Trilinos is built on top of the Message Passing Interface (MPI). MPI's communication model is built on collective communications: if one process wants something from another, that other process has to be willing to accept this communication. A process cannot query data from another process by calling a remote function, without that other process expecting such a transaction. The consequence is that most of the operations in the base class of this class have to be called collectively. For example, if you want to compute the l2 norm of a parallel vector, all processes across which this vector is shared have to call the l2_norm
function. If you don't do this, but instead only call the l2_norm
function on one process, then the following happens: This one process will call one of the collective MPI functions and wait for all the other processes to join in on this. Since the other processes don't call this function, you will either get a time-out on the first process, or, worse, by the time the next a call to a Trilinos function generates an MPI message on the other processes, you will get a cryptic message that only a subset of processes attempted a communication. These bugs can be very hard to figure out, unless you are well-acquainted with the communication model of MPI, and know which functions may generate MPI messages.
One particular case, where an MPI message may be generated unexpectedly is discussed below.
Trilinos does of course allow read access to individual elements of a vector, but in the distributed case only to elements that are stored locally. We implement this through calls like d=vec(i)
. However, if you access an element outside the locally stored range, an exception is generated.
In contrast to read access, Trilinos (and the respective deal.II wrapper classes) allow to write (or add) to individual elements of vectors, even if they are stored on a different process. You can do this by writing into or adding to elements using the syntax vec(i)=d
or vec(i)+=d
, or similar operations. There is one catch, however, that may lead to very confusing error messages: Trilinos requires application programs to call the compress() function when they switch from performing a set of operations that add to elements, to performing a set of operations that write to elements. The reasoning is that all processes might accumulate addition operations to elements, even if multiple processes write to the same elements. By the time we call compress() the next time, all these additions are executed. However, if one process adds to an element, and another overwrites to it, the order of execution would yield non-deterministic behavior if we don't make sure that a synchronization with compress() happens in between.
In order to make sure these calls to compress() happen at the appropriate time, the deal.II wrappers keep a state variable that store which is the presently allowed operation: additions or writes. If it encounters an operation of the opposite kind, it calls compress() and flips the state. This can sometimes lead to very confusing behavior, in code that may for example look like this:
This code can run into trouble: by the time we see the first addition operation, we need to flush the overwrite buffers for the vector, and the deal.II library will do so by calling compress(). However, it will only do so for all processes that actually do an addition – if the condition is never true for one of the processes, then this one will not get to the actual compress() call, whereas all the other ones do. This gets us into trouble, since all the other processes hang in the call to flush the write buffers, while the one other process advances to the call to compute the l2 norm. At this time, you will get an error that some operation was attempted by only a subset of processes. This behavior may seem surprising, unless you know that write/addition operations on single elements may trigger this behavior.
The problem described here may be avoided by placing additional calls to compress(), or making sure that all processes do the same type of operations at the same time, for example by placing zero additions if necessary.
Parallel vectors come in two kinds: without and with ghost elements. Vectors without ghost elements uniquely partition the vector elements between processors: each vector entry has exactly one processor that owns it. For such vectors, you can read those elements that the processor you are currently on owns, and you can write into any element whether you own it or not: if you don't own it, the value written or added to a vector element will be shipped to the processor that owns this vector element the next time you call compress(), as described above.
What we call a 'ghosted' vector (see vectors with ghost elements ) is simply a view of the parallel vector where the element distributions overlap. The 'ghosted' Trilinos vector in itself has no idea of which entries are ghosted and which are locally owned. In fact, a ghosted vector may not even store all of the elements a non- ghosted vector would store on the current processor. Consequently, for Trilinos vectors, there is no notion of an 'owner' of vector elements in the way we have it in the non-ghost case view.
This explains why we do not allow writing into ghosted vectors on the Trilinos side: Who would be responsible for taking care of the duplicated entries, given that there is not such information as locally owned indices? In other words, since a processor doesn't know which other processors own an element, who would it send a value to if one were to write to it? The only possibility would be to send this information to all other processors, but that is clearly not practical. Thus, we only allow reading from ghosted vectors, which however we do very often.
So how do you fill a ghosted vector if you can't write to it? This only happens through the assignment with a non-ghosted vector. It can go both ways (non-ghosted is assigned to a ghosted vector, and a ghosted vector is assigned to a non-ghosted one; the latter one typically only requires taking out the locally owned part as most often ghosted vectors store a superset of elements of non-ghosted ones). In general, you send data around with that operation and it all depends on the different views of the two vectors. Trilinos also allows you to get subvectors out of a big vector that way.
When writing into Trilinos vectors from several threads in shared memory, several things must be kept in mind as there is no built-in locks in this class to prevent data races. Simultaneous access to the same vector entry at the same time results in data races and must be explicitly avoided by the user. However, it is possible to access different entries of the vector from several threads simultaneously when only one MPI process is present or the vector has been constructed with an additional index set for ghost entries in write mode.
Definition at line 403 of file trilinos_vector.h.
Declare some of the standard types used in all containers. These types parallel those in the C
standard libraries vector<...>
class.
Definition at line 411 of file trilinos_vector.h.
Definition at line 412 of file trilinos_vector.h.
Definition at line 413 of file trilinos_vector.h.
Definition at line 414 of file trilinos_vector.h.
using TrilinosWrappers::MPI::Vector::const_iterator = const value_type * |
Definition at line 415 of file trilinos_vector.h.
using TrilinosWrappers::MPI::Vector::reference = internal::VectorReference |
Definition at line 416 of file trilinos_vector.h.
using TrilinosWrappers::MPI::Vector::const_reference = const internal::VectorReference |
Definition at line 417 of file trilinos_vector.h.
|
privateinherited |
The data type used in counter_map.
Definition at line 238 of file enable_observer_pointer.h.
|
privateinherited |
The iterator type used in counter_map.
Definition at line 243 of file enable_observer_pointer.h.
Default constructor that generates an empty (zero size) vector. The function reinit()
will have to give the vector the correct size and distribution among processes in case of an MPI run.
Definition at line 79 of file trilinos_vector.cc.
Copy constructor using the given vector.
Definition at line 98 of file trilinos_vector.cc.
|
explicit |
This constructor takes an IndexSet that defines how to distribute the individual components among the MPI processors. Since it also includes information about the size of the vector, this is all we need to generate a parallel vector.
Depending on whether the parallel_partitioning
argument uniquely subdivides elements among processors or not, the resulting vector may or may not have ghost elements. See the general documentation of this class for more information.
In case the provided IndexSet forms an overlapping partitioning, it is not clear which elements are owned by which process and locally_owned_elements() will return an IndexSet of size zero.
Definition at line 89 of file trilinos_vector.cc.
Vector< Number >::Vector | ( | const IndexSet & | local, |
const IndexSet & | ghost, | ||
const MPI_Comm | communicator = MPI_COMM_WORLD |
||
) |
Creates a ghosted parallel vector.
Depending on whether the ghost
argument uniquely subdivides elements among processors or not, the resulting vector may or may not have ghost elements. See the general documentation of this class for more information.
Definition at line 138 of file trilinos_vector.cc.
Vector< Number >::Vector | ( | const IndexSet & | parallel_partitioning, |
const Vector & | v, | ||
const MPI_Comm | communicator = MPI_COMM_WORLD |
||
) |
Copy constructor from the TrilinosWrappers vector class. Since a vector of this class does not necessarily need to be distributed among processes, the user needs to supply us with an IndexSet and an MPI communicator that set the partitioning details.
Depending on whether the parallel_partitioning
argument uniquely subdivides elements among processors or not, the resulting vector may or may not have ghost elements. See the general documentation of this class for more information.
Definition at line 119 of file trilinos_vector.cc.
TrilinosWrappers::MPI::Vector::Vector | ( | const IndexSet & | parallel_partitioning, |
const ::Vector< Number > & | v, | ||
const MPI_Comm | communicator = MPI_COMM_WORLD |
||
) |
Copy-constructor from deal.II vectors. Sets the dimension to that of the given vector, and copies all the elements.
Depending on whether the parallel_partitioning
argument uniquely subdivides elements among processors or not, the resulting vector may or may not have ghost elements. See the general documentation of this class for more information.
Move constructor. Creates a new vector by stealing the internal data of the vector v
.
Definition at line 108 of file trilinos_vector.cc.
|
overridedefault |
Destructor.
void Vector< Number >::clear | ( | ) |
Release all memory and return to a state just like after having called the default constructor.
Definition at line 149 of file trilinos_vector.cc.
void Vector< Number >::reinit | ( | const Vector & | v, |
const bool | omit_zeroing_entries = false , |
||
const bool | allow_different_maps = false |
||
) |
Reinit functionality. This function sets the calling vector to the dimension and the parallel distribution of the input vector, but does not copy the elements in v
. If omit_zeroing_entries
is false
, the elements in the vector are initialized with zero. If it is set to true
, the vector entries are in an unspecified state and the user has to set all elements. In the current implementation, this method does not touch the vector entries in case the vector layout is unchanged from before, otherwise entries are set to zero. Note that this behavior might change between releases without notification.
This function has a third argument, allow_different_maps
, that allows for an exchange of data between two equal-sized vectors (but being distributed differently among the processors). A trivial application of this function is to generate a replication of a whole vector on each machine, when the calling vector is built with a map consisting of all indices on each process, and v
is a distributed vector. In this case, the variable omit_zeroing_entries
needs to be set to false
, since it does not make sense to exchange data between differently parallelized vectors without touching the elements.
Definition at line 204 of file trilinos_vector.cc.
void Vector< Number >::reinit | ( | const IndexSet & | parallel_partitioning, |
const MPI_Comm | communicator = MPI_COMM_WORLD , |
||
const bool | omit_zeroing_entries = false |
||
) |
Reinit functionality. This function destroys the old vector content and generates a new one based on the input partitioning. The flag omit_zeroing_entries
determines whether the vector should be filled with zero (false). If the flag is set to true
, the vector entries are in an unspecified state and the user has to set all elements. In the current implementation, this method still sets the entries to zero, but this might change between releases without notification.
Depending on whether the parallel_partitioning
argument uniquely subdivides elements among processors or not, the resulting vector may or may not have ghost elements. See the general documentation of this class for more information.
In case parallel_partitioning
is overlapping, it is not clear which process should own which elements. Hence, locally_owned_elements() returns an empty IndexSet in this case.
Definition at line 163 of file trilinos_vector.cc.
void Vector< Number >::reinit | ( | const IndexSet & | locally_owned_entries, |
const IndexSet & | locally_relevant_or_ghost_entries, | ||
const MPI_Comm | communicator = MPI_COMM_WORLD , |
||
const bool | vector_writable = false |
||
) |
Reinit functionality. This function destroys the old vector content and generates a new one based on the input partitioning. In addition to just specifying one index set as in all the other methods above, this method allows to supply an additional set of ghost entries.
There are two different versions of a vector that can be created. If the flag vector_writable
is set to false
, the vector only allows read access to the joint set of parallel_partitioning
and locally_relevant_or_ghost_entries
. The effect of the reinit method is then equivalent to calling the other reinit method with an index set containing the union of the two provided index sets. In this case, it does not matter whether the second argument contains all locally relevant DoF indices, or only the ones indicating ghost indices: The union between the two index sets is the same in either case.
If the flag vector_writable
is set to true, this creates an alternative storage scheme for ghost elements that allows multiple threads to write into the vector (for the other reinit methods, only one thread is allowed to write into the ghost entries at a time). In this case, the set of ghost elements of the resulting vector is the set difference between the second and first argument – where again it does not matter whether the second argument does or does not contain the locally owned entries specified by the first argument.
Depending on whether the locally_relevant_or_ghost_entries
argument uniquely subdivides elements among processors or not, the resulting vector may or may not have ghost elements. See the general documentation of this class for more information.
Definition at line 363 of file trilinos_vector.cc.
void Vector< Number >::reinit | ( | const std::shared_ptr< const Utilities::MPI::Partitioner > & | partitioner, |
const bool | make_ghosted = true , |
||
const bool | vector_writable = false |
||
) |
Initialize the vector given to the parallel partitioning described in partitioner
using the function above.
You can decide whether your vector will contain ghost elements with make_ghosted
.
The parameter vector_writable
only has effect on ghosted vectors and is ignored for non-ghosted vectors.
Definition at line 421 of file trilinos_vector.cc.
void Vector< Number >::reinit | ( | const BlockVector & | v, |
const bool | import_data = false |
||
) |
Create vector by merging components from a block vector.
Definition at line 285 of file trilinos_vector.cc.
void Vector< Number >::compress | ( | VectorOperation::values | operation | ) |
Compress the underlying representation of the Trilinos object, i.e. flush the buffers of the vector object if it has any. This function is necessary after writing into a vector element-by-element and before anything else can be done on it.
The (defaulted) argument can be used to specify the compress mode (Add
or Insert
) in case the vector has not been written to since the last time this function was called. The argument is ignored if the vector has been added or written to since the last time compress() was called.
See Compressing distributed objects for more information.
Definition at line 609 of file trilinos_vector.cc.
Vector & TrilinosWrappers::MPI::Vector::operator= | ( | const TrilinosScalar | s | ) |
Set all components of the vector to the given number s
. Simply pass this down to the base class, but we still need to declare this function to make the example given in the discussion about making the constructor explicit work. the constructor explicit work.
Since the semantics of assigning a scalar to a vector are not immediately clear, this operator can only be used if you want to set the entire vector to zero. This allows the intuitive notation v=0
.
Copy the given vector. Resize the present vector if necessary. In this case, also the Epetra_Map
that designs the parallel partitioning is taken from the input vector.
The semantics of this operator are complex. If the two vectors have the same size, and if either the left or right hand side vector of the assignment (i.e., either the input vector on the right hand side, or the calling vector to the left of the assignment operator) currently has ghost elements, then the left hand side vector will also have ghost values and will consequently be a read-only vector (see also the glossary entry on the issue). Otherwise, the left hand vector will be a writable vector after this operation. These semantics facilitate having a vector with ghost elements on the left hand side of the assignment, and a vector without ghost elements on the right hand side, with the resulting left hand side vector having the correct values in both its locally owned and its ghost elements.
On the other hand, if the left hand side vector does not have the correct size yet, or is perhaps an entirely uninitialized vector, then the assignment is simply a copy operation in the usual sense: In that case, if the right hand side has no ghost elements (i.e., is a completely distributed vector), then the left hand side will have no ghost elements either. And if the right hand side has ghost elements (and is consequently read-only), then the left hand side will have these same properties after the operation.
Definition at line 447 of file trilinos_vector.cc.
Move the given vector. This operator replaces the present vector with v
by efficiently swapping the internal data structures.
Definition at line 523 of file trilinos_vector.cc.
Vector & TrilinosWrappers::MPI::Vector::operator= | ( | const ::Vector< Number > & | v | ) |
Another copy function. This one takes a deal.II vector and copies it into a TrilinosWrapper vector. Note that since we do not provide any Epetra_map that tells about the partitioning of the vector among the MPI processes, the size of the TrilinosWrapper vector has to be the same as the size of the input vector.
void Vector< Number >::import_nonlocal_data_for_fe | ( | const ::TrilinosWrappers::SparseMatrix & | matrix, |
const Vector & | vector | ||
) |
This reinit function is meant to be used for parallel calculations where some non-local data has to be used. The typical situation where one needs this function is the call of the FEValues<dim>::get_function_values function (or of some derivatives) in parallel. Since it is usually faster to retrieve the data in advance, this function can be called before the assembly forks out to the different processors. What this function does is the following: It takes the information in the columns of the given matrix and looks which data couples between the different processors. That data is then queried from the input vector. Note that you should not write to the resulting vector any more, since the some data can be stored several times on different processors, leading to unpredictable results. In particular, such a vector cannot be used for matrix-vector products as for example done during the solution of linear systems.
Definition at line 554 of file trilinos_vector.cc.
void Vector< Number >::import_elements | ( | const LinearAlgebra::ReadWriteVector< double > & | rwv, |
const VectorOperation::values | operation | ||
) |
Imports all the elements present in the vector's IndexSet from the input vector rwv
. VectorOperation::values operation
is used to decide if the elements in rwv
should be added to the current vector or replace the current elements.
Definition at line 578 of file trilinos_vector.cc.
|
inline |
Definition at line 766 of file trilinos_vector.h.
Test for equality. This function assumes that the present vector and the one to compare with have the same size already, since comparing vectors of different sizes makes not much sense anyway.
Definition at line 761 of file trilinos_vector.cc.
Test for inequality. This function assumes that the present vector and the one to compare with have the same size already, since comparing vectors of different sizes makes not much sense anyway.
Definition at line 778 of file trilinos_vector.cc.
|
overridevirtual |
Return the global dimension of the vector.
Implements ReadVector< TrilinosScalar >.
size_type TrilinosWrappers::MPI::Vector::locally_owned_size | ( | ) | const |
Return the local size of the vector, i.e., the number of indices owned locally.
Return a pair of indices indicating which elements of this vector are stored locally. The first number is the index of the first element stored, the second the index of the one past the last one that is stored locally. If this is a sequential vector, then the result will be the pair (0,N)
, otherwise it will be a pair (i,i+n)
, where n
is the number of elements stored on this processor and and i
is the first element of the vector stored on this processor, corresponding to the half open interval \([i,i+n)\)
Return whether index
is in the local range or not, see also local_range().
IndexSet TrilinosWrappers::MPI::Vector::locally_owned_elements | ( | ) | const |
Return an index set that describes which elements of this vector are owned by the current processor. Note that this index set does not include elements this vector may store locally as ghost elements but that are in fact owned by another processor. As a consequence, the index sets returned on different processors if this is a distributed vector will form disjoint sets that add up to the complete index set. Obviously, if a vector is created on only one processor, then the result would satisfy
bool TrilinosWrappers::MPI::Vector::has_ghost_elements | ( | ) | const |
Return if the vector contains ghost elements. This answer is true if there are ghost elements on at least one process.
void TrilinosWrappers::MPI::Vector::update_ghost_values | ( | ) | const |
This function only exists for compatibility with the LinearAlgebra::distributed::Vector
class and does nothing: this class implements ghost value updates in a different way that is a better fit with the underlying Trilinos vector object.
TrilinosScalar TrilinosWrappers::MPI::Vector::operator* | ( | const Vector & | vec | ) | const |
Return the scalar (inner) product of two vectors. The vectors must have the same size.
real_type TrilinosWrappers::MPI::Vector::norm_sqr | ( | ) | const |
Return the square of the \(l_2\)-norm.
TrilinosScalar TrilinosWrappers::MPI::Vector::mean_value | ( | ) | const |
Mean value of the elements of this vector.
TrilinosScalar TrilinosWrappers::MPI::Vector::min | ( | ) | const |
Compute the minimal value of the elements of this vector.
TrilinosScalar TrilinosWrappers::MPI::Vector::max | ( | ) | const |
Compute the maximal value of the elements of this vector.
real_type TrilinosWrappers::MPI::Vector::l1_norm | ( | ) | const |
\(l_1\)-norm of the vector. The sum of the absolute values.
real_type TrilinosWrappers::MPI::Vector::l2_norm | ( | ) | const |
\(l_2\)-norm of the vector. The square root of the sum of the squares of the elements.
real_type TrilinosWrappers::MPI::Vector::lp_norm | ( | const TrilinosScalar | p | ) | const |
\(l_p\)-norm of the vector. The pth root of the sum of the pth powers of the absolute values of the elements.
real_type TrilinosWrappers::MPI::Vector::linfty_norm | ( | ) | const |
Maximum absolute value of the elements.
TrilinosScalar TrilinosWrappers::MPI::Vector::add_and_dot | ( | const TrilinosScalar | a, |
const Vector & | V, | ||
const Vector & | W | ||
) |
Performs a combined operation of a vector addition and a subsequent inner product, returning the value of the inner product. In other words, the result of this function is the same as if the user called
The reason this function exists is for compatibility with deal.II's own vector classes which can implement this functionality with less memory transfer. However, for Trilinos vectors such a combined operation is not natively supported and thus the cost is completely equivalent as calling the two methods separately.
For complex-valued vectors, the scalar product in the second step is implemented as \(\left<v,w\right>=\sum_i v_i \bar{w_i}\).
Return whether the vector contains only elements with value zero. This is a collective operation. This function is expensive, because potentially all elements have to be checked.
Definition at line 788 of file trilinos_vector.cc.
Return true
if the vector has no negative entries, i.e. all entries are zero or positive. This function is used, for example, to check whether refinement indicators are really all positive (or zero).
Definition at line 818 of file trilinos_vector.cc.
Provide access to a given element, both read and write.
When using a vector distributed with MPI, this operation only makes sense for elements that are actually present on the calling processor. Otherwise, an exception is thrown.
TrilinosScalar Vector< Number >::operator() | ( | const size_type | index | ) | const |
Provide read-only access to an element.
When using a vector distributed with MPI, this operation only makes sense for elements that are actually present on the calling processor. Otherwise, an exception is thrown.
Definition at line 692 of file trilinos_vector.cc.
Provide access to a given element, both read and write.
Exactly the same as operator().
TrilinosScalar TrilinosWrappers::MPI::Vector::operator[] | ( | const size_type | index | ) | const |
Provide read-only access to an element.
Exactly the same as operator().
void TrilinosWrappers::MPI::Vector::extract_subvector_to | ( | const std::vector< size_type > & | indices, |
std::vector< TrilinosScalar > & | values | ||
) | const |
Instead of getting individual elements of a vector via operator(), this function allows getting a whole set of elements at once. The indices of the elements to be read are stated in the first argument, the corresponding values are returned in the second.
If the current vector is called v
, then this function is the equivalent to the code
indices
and values
arrays must be identical.
|
overridevirtual |
Extract a range of elements all at once.
Implements ReadVector< TrilinosScalar >.
void TrilinosWrappers::MPI::Vector::extract_subvector_to | ( | ForwardIterator | indices_begin, |
const ForwardIterator | indices_end, | ||
OutputIterator | values_begin | ||
) | const |
Instead of getting individual elements of a vector via operator(), this function allows getting a whole set of elements at once. In contrast to the previous function, this function obtains the indices of the elements by dereferencing all elements of the iterator range provided by the first two arguments, and puts the vector values into memory locations obtained by dereferencing a range of iterators starting at the location pointed to by the third argument.
If the current vector is called v
, then this function is the equivalent to the code
values_begin
as there are iterators between indices_begin
and indices_end
. iterator TrilinosWrappers::MPI::Vector::begin | ( | ) |
Make the Vector class a bit like the vector<>
class of the C++ standard library by returning iterators to the start and end of the locally owned elements of this vector. The ordering of local elements corresponds to the one given by the global indices in case the vector is constructed from an IndexSet or other methods in deal.II (note that an Epetra_Map can contain elements in arbitrary orders, though).
const_iterator TrilinosWrappers::MPI::Vector::begin | ( | ) | const |
Return constant iterator to the start of the locally owned elements of the vector.
iterator TrilinosWrappers::MPI::Vector::end | ( | ) |
Return an iterator pointing to the element past the end of the array of locally owned entries.
const_iterator TrilinosWrappers::MPI::Vector::end | ( | ) | const |
Return a constant iterator pointing to the element past the end of the array of the locally owned entries.
void TrilinosWrappers::MPI::Vector::set | ( | const std::vector< size_type > & | indices, |
const std::vector< TrilinosScalar > & | values | ||
) |
A collective set operation: instead of setting individual elements of a vector, this function allows to set a whole set of elements at once. The indices of the elements to be set are stated in the first argument, the corresponding values in the second.
void TrilinosWrappers::MPI::Vector::set | ( | const std::vector< size_type > & | indices, |
const ::Vector< TrilinosScalar > & | values | ||
) |
This is a second collective set operation. As a difference, this function takes a deal.II vector of values.
void TrilinosWrappers::MPI::Vector::set | ( | const size_type | n_elements, |
const size_type * | indices, | ||
const TrilinosScalar * | values | ||
) |
This collective set operation is of lower level and can handle anything else — the only thing you have to provide is an address where all the indices are stored and the number of elements to be set.
void TrilinosWrappers::MPI::Vector::add | ( | const std::vector< size_type > & | indices, |
const std::vector< TrilinosScalar > & | values | ||
) |
A collective add operation: This function adds a whole set of values stored in values
to the vector components specified by indices
.
void TrilinosWrappers::MPI::Vector::add | ( | const std::vector< size_type > & | indices, |
const ::Vector< TrilinosScalar > & | values | ||
) |
This is a second collective add operation. As a difference, this function takes a deal.II vector of values.
void TrilinosWrappers::MPI::Vector::add | ( | const size_type | n_elements, |
const size_type * | indices, | ||
const TrilinosScalar * | values | ||
) |
Take an address where n_elements
are stored contiguously and add them into the vector. Handles all cases which are not covered by the other two add()
functions above.
Vector & TrilinosWrappers::MPI::Vector::operator*= | ( | const TrilinosScalar | factor | ) |
Multiply the entire vector by a fixed factor.
Vector & TrilinosWrappers::MPI::Vector::operator/= | ( | const TrilinosScalar | factor | ) |
Divide the entire vector by a fixed factor.
Add the given vector to the present one.
Subtract the given vector from the present one.
void TrilinosWrappers::MPI::Vector::add | ( | const TrilinosScalar | s | ) |
Addition of s
to all components. Note that s
is a scalar and not a vector.
Simple vector addition, equal to the operator+=
.
Though, if the second argument allow_different_maps
is set, then it is possible to add data from a vector that uses a different map, i.e., a vector whose elements are split across processors differently. This may include vectors with ghost elements, for example. In general, however, adding vectors with a different element-to-processor map requires communicating data among processors and, consequently, is a slower operation than when using vectors using the same map.
Definition at line 726 of file trilinos_vector.cc.
void TrilinosWrappers::MPI::Vector::add | ( | const TrilinosScalar | a, |
const Vector & | V | ||
) |
Simple addition of a multiple of a vector, i.e. *this += a*V
.
void TrilinosWrappers::MPI::Vector::add | ( | const TrilinosScalar | a, |
const Vector & | V, | ||
const TrilinosScalar | b, | ||
const Vector & | W | ||
) |
Multiple addition of scaled vectors, i.e. *this += a*V + b*W
.
void TrilinosWrappers::MPI::Vector::sadd | ( | const TrilinosScalar | s, |
const Vector & | V | ||
) |
Scaling and simple vector addition, i.e. this = s(*this) + V
.
void TrilinosWrappers::MPI::Vector::sadd | ( | const TrilinosScalar | s, |
const TrilinosScalar | a, | ||
const Vector & | V | ||
) |
Scaling and simple addition, i.e. this = s(*this) + a*V
.
void TrilinosWrappers::MPI::Vector::scale | ( | const Vector & | scaling_factors | ) |
Scale each element of this vector by the corresponding element in the argument. This function is mostly meant to simulate multiplication (and immediate re-assignment) by a diagonal scaling matrix.
void TrilinosWrappers::MPI::Vector::equ | ( | const TrilinosScalar | a, |
const Vector & | V | ||
) |
Assignment *this = a*V
.
const Epetra_MultiVector & TrilinosWrappers::MPI::Vector::trilinos_vector | ( | ) | const |
Return a const reference to the underlying Trilinos Epetra_MultiVector class.
Epetra_FEVector & TrilinosWrappers::MPI::Vector::trilinos_vector | ( | ) |
Return a (modifiable) reference to the underlying Trilinos Epetra_FEVector class.
const Epetra_BlockMap & TrilinosWrappers::MPI::Vector::trilinos_partitioner | ( | ) | const |
Return a const reference to the underlying Trilinos Epetra_BlockMap that sets the parallel partitioning of the vector.
void Vector< Number >::print | ( | std::ostream & | out, |
const unsigned int | precision = 3 , |
||
const bool | scientific = true , |
||
const bool | across = true |
||
) | const |
Print to a stream. precision
denotes the desired precision with which values shall be printed, scientific
whether scientific notation shall be used. If across
is true
then the vector is printed in a line, while if false
then the elements are printed on a separate line each.
Definition at line 846 of file trilinos_vector.cc.
Swap the contents of this vector and the other vector v
. One could do this operation with a temporary variable and copying over the data elements, but this function is significantly more efficient since it only swaps the pointers to the data of the two vectors and therefore does not need to allocate temporary storage and move data around. Note that the vectors need to be of the same size and base on the same map.
This function is analogous to the swap
function of all C++ standard containers. Also, there is a global function swap(u,v)
that simply calls u.swap(v)
, again in analogy to standard functions.
Definition at line 896 of file trilinos_vector.cc.
std::size_t Vector< Number >::memory_consumption | ( | ) | const |
Estimate for the memory consumption in bytes.
Definition at line 909 of file trilinos_vector.cc.
MPI_Comm TrilinosWrappers::MPI::Vector::get_mpi_communicator | ( | ) | const |
Return the underlying MPI communicator.
|
inherited |
Subscribes a user of the object by storing the pointer validity
. The subscriber may be identified by text supplied as identifier
.
Definition at line 131 of file enable_observer_pointer.cc.
|
inherited |
Unsubscribes a user from the object.
identifier
and the validity
pointer must be the same as the one supplied to subscribe(). Definition at line 151 of file enable_observer_pointer.cc.
|
inlineinherited |
Return the present number of subscriptions to this object. This allows to use this class for reference counted lifetime determination where the last one to unsubscribe also deletes the object.
Definition at line 322 of file enable_observer_pointer.h.
|
inlineinherited |
List the subscribers to the input stream
.
Definition at line 339 of file enable_observer_pointer.h.
|
inherited |
List the subscribers to deallog
.
Definition at line 199 of file enable_observer_pointer.cc.
|
inlineinherited |
Read or write the data of this object to or from a stream for the purpose of serialization using the BOOST serialization library.
This function does not actually serialize any of the member variables of this class. The reason is that what this class stores is only who subscribes to this object, but who does so at the time of storing the contents of this object does not necessarily have anything to do with who subscribes to the object when it is restored. Consequently, we do not want to overwrite the subscribers at the time of restoring, and then there is no reason to write the subscribers out in the first place.
Definition at line 331 of file enable_observer_pointer.h.
|
privatenoexceptinherited |
Check that there are no objects subscribing to this object. If this check passes then it is safe to destroy the current object. It this check fails then this function will either abort or print an error message to deallog (by using the AssertNothrow mechanism), but will not throw an exception.
Definition at line 53 of file enable_observer_pointer.cc.
|
friend |
Definition at line 1406 of file trilinos_vector.h.
Global function swap
which overloads the default implementation of the C++ standard library which uses a temporary object. The function simply exchanges the data of the two vectors.
Definition at line 1422 of file trilinos_vector.h.
|
private |
Trilinos doesn't allow to mix additions to matrix entries and overwriting them (to make synchronization of parallel computations simpler). The way we do it is to, for each access operation, store whether it is an insertion or an addition. If the previous one was of different type, then we first have to flush the Trilinos buffers; otherwise, we can simply go on. Luckily, Trilinos has an object for this which does already all the parallel communications in such a case, so we simply use their model, which stores whether the last operation was an addition or an insertion.
Definition at line 1372 of file trilinos_vector.h.
|
private |
A boolean variable to hold information on whether the vector is compressed or not.
Definition at line 1378 of file trilinos_vector.h.
|
private |
Whether this vector has ghost elements. This is true on all processors even if only one of them has any ghost elements.
Definition at line 1384 of file trilinos_vector.h.
|
private |
Pointer to the actual Epetra vector object. This may represent a vector that is in fact distributed among multiple processors. The object requires an existing Epetra_Map for storing data when setting it up.
Definition at line 1391 of file trilinos_vector.h.
|
private |
A vector object in Trilinos to be used for collecting the non-local elements if the vector was constructed with an additional IndexSet describing ghost elements.
Definition at line 1398 of file trilinos_vector.h.
|
private |
An IndexSet storing the indices this vector owns exclusively.
Definition at line 1403 of file trilinos_vector.h.
|
mutableprivateinherited |
Store the number of objects which subscribed to this object. Initially, this number is zero, and upon destruction it shall be zero again (i.e. all objects which subscribed should have unsubscribed again).
The creator (and owner) of an object is counted in the map below if HE manages to supply identification.
We use the mutable
keyword in order to allow subscription to constant objects also.
This counter may be read from and written to concurrently in multithreaded code: hence we use the std::atomic
class template.
Definition at line 227 of file enable_observer_pointer.h.
|
mutableprivateinherited |
In this map, we count subscriptions for each different identification string supplied to subscribe().
Definition at line 233 of file enable_observer_pointer.h.
|
mutableprivateinherited |
In this vector, we store pointers to the validity bool in the ObserverPointer objects that subscribe to this class.
Definition at line 249 of file enable_observer_pointer.h.
|
mutableprivateinherited |
Pointer to the typeinfo object of this object, from which we can later deduce the class name. Since this information on the derived class is neither available in the destructor, nor in the constructor, we obtain it in between and store it here.
Definition at line 257 of file enable_observer_pointer.h.
|
staticprivateinherited |
A mutex used to ensure data consistency when accessing the mutable
members of this class. This lock is used in the subscribe() and unsubscribe() functions, as well as in list_subscribers()
.
Definition at line 280 of file enable_observer_pointer.h.