PBeFS_di_unipi_it::IncrementalDistribution Concept Reference

a distribution whose owners follow the moves More...

#include <PBeFS/astar/Distribution.h>

Concept definition

template<class X, class D>
concept PBeFS_di_unipi_it::IncrementalDistribution = 
 requires( const X & x , const state_t< D > & s , std::uint32_t k ,
           unsigned p ) {
  { x.key( s ) } -> std::same_as< std::uint32_t >;
  { x.key( k , s , s ) } -> std::same_as< std::uint32_t >;
  { x.owner( s , p ) } -> std::convertible_to< unsigned >;
  }

Detailed Description

a distribution whose owners follow the moves

key( s ) is a 32-bit key of s, whose owner among p workers is key_owner( key( s ) , p ), and key( k , s , t ), with k = key( s ) and t a successor of s, is key( t ): a search that keeps the key of each node computes the key, and then the owner, of each successor in the time of the features that its move changes.