| STAPL API Reference |
Modules Classes |
|
This class is used to store directory entries in the container_directory class and subsequently, its base class directory. It models the map concept. For most pContainers, it is a safe assumption to expect that most GIDs will be mapped to the home location and that there will be only a small amount of GIDs that differ from this closed-form solution (through migration, etc.) More...
Public Member Functions | |
| interval_registry (void) | |
| Construct a registry with a stateless home functor. | |
| interval_registry (Home const &home) | |
| Construct a registry with a given home function. More... | |
| template<typename Partition , typename Mapper > | |
| void | reset_home (Partition const &partition, Mapper const &mapper) |
| Resets the partition and mapper stored in m_home. More... | |
| void | clear (void) |
| Clear all of the currently mapped GIDs in the registry. | |
| bool | empty (void) const |
| Return whether or not this registry has any entries. | |
| value_type | operator[] (key_type const &key) const |
| Lookup in the registry on which location a GID resides. More... | |
| void | insert (std::pair< key_type, value_type > const &val) |
| Register the locality of a single GID. More... | |
| template<typename Keys > | |
| void | insert (std::pair< Keys, value_type > const &val) |
| Register the locality of a range of GIDs. More... | |
| const_iterator | find (key_type const &key) const |
| Lookup in the registry on which location a GID resides. More... | |
| void | erase (key_type const &key) |
| Erase a mapping of a GID from a location. More... | |
| const_iterator | end (void) const |
| Returns a value representing the end of the registry. | |
| bool | contains (key_type const &key) const |
| Returns whether or not a given key is mapped in the registry. More... | |
| std::pair< key_type, location_type > | shift_right (key_type const &key) |
Return the first element in the interval to right of that containing key as well as the location key is mapped to. More... | |
| std::pair< key_type, location_type > | shift_left (key_type const &key, key_type const &target_key) |
Remove the last key in the interval containing key. Return the last key in the adjacent interval to the left together with the location this interval maps to, so that last gid can be updated. More... | |
Public Types | |
| typedef Home::gid_type | key_type |
| GID type. | |
| typedef Home::value_type | value_type |
| Location type. | |
| typedef storage_type::const_iterator | const_iterator |
This class is used to store directory entries in the container_directory class and subsequently, its base class directory. It models the map concept. For most pContainers, it is a safe assumption to expect that most GIDs will be mapped to the home location and that there will be only a small amount of GIDs that differ from this closed-form solution (through migration, etc.)
For this registry, GIDs are explicitly stored in aggregates through the use of an interval_map from the Boost ICL library. That is, if the registry logically stores the GIDs {0, 1, 2, 5, 6, 7}, they will be aggregated into the ranges {[0..2], [5..7]}. This requires that the GIDs can be properly aggregated into intervals.
| Home | The manager function object |
| The | less than comparator used internally in the ICL map. |
|
explicit |
Construct a registry with a given home function.
| home | The manager function object |
| void stapl::interval_registry< Home, Compare >::reset_home | ( | Partition const & | partition, |
| Mapper const & | mapper | ||
| ) |
Resets the partition and mapper stored in m_home.
| partition | view-based partition of a data distribution. |
| mapper | view-based mapper of a data distribution. |
| value_type stapl::interval_registry< Home, Compare >::operator[] | ( | key_type const & | key | ) | const |
Lookup in the registry on which location a GID resides.
| key | Key to look up in the registry |
| void stapl::interval_registry< Home, Compare >::insert | ( | std::pair< key_type, value_type > const & | val | ) |
Register the locality of a single GID.
| val | Key-value pair to insert into the registry |
| void stapl::interval_registry< Home, Compare >::insert | ( | std::pair< Keys, value_type > const & | val | ) |
Register the locality of a range of GIDs.
| val | Key-value pair where the first is an interval of GIDs and the second is the location |
| const_iterator stapl::interval_registry< Home, Compare >::find | ( | key_type const & | key | ) | const |
Lookup in the registry on which location a GID resides.
| key | Key to look up in the registry |
| void stapl::interval_registry< Home, Compare >::erase | ( | key_type const & | key | ) |
Erase a mapping of a GID from a location.
| key | Key to remove from the directory |
| bool stapl::interval_registry< Home, Compare >::contains | ( | key_type const & | key | ) | const |
Returns whether or not a given key is mapped in the registry.
| key | The key to query |
| std::pair<key_type, location_type> stapl::interval_registry< Home, Compare >::shift_right | ( | key_type const & | key | ) |
Return the first element in the interval to right of that containing key as well as the location key is mapped to.
Used for insertion in dynamic containers.
| std::pair<key_type, location_type> stapl::interval_registry< Home, Compare >::shift_left | ( | key_type const & | key, |
| key_type const & | target_key | ||
| ) |
Remove the last key in the interval containing key. Return the last key in the adjacent interval to the left together with the location this interval maps to, so that last gid can be updated.
Used for erasure in dynamic containers.
1.8.13