NormalizedRepresentation.hh

Go to the documentation of this file.

 
#ifndef TELAMON_NORMALIZED_REPRESENTATION_HH
#define TELAMON_NORMALIZED_REPRESENTATION_HH
 
#include <concepts>
#include <variant>
#include <vector>
#include <thread>
#include <algorithm>
#include <ranges>
#include <mutex>
#include <numeric>
#include <utility>
#include <iterator>
#include <optional>
 
#include <extern/expected_lite/expected.hpp>
 
#include "Versioning.hh"
 
namespace telamon_simulator {
 
template<typename Commit>
concept Commits = requires (Commit desc) {
    requires std::ranges::input_range<Commit>;
    requires CasWithVersioning<std::ranges::range_value_t<Commit>>;
};
 
template<typename LockFree>
concept NormalizedRepresentation = requires (LockFree lf,
                                             ContentionFailureCounter &contention,
                                             const typename LockFree::Input &inp,
                                             const typename LockFree::Commit &desc,
                                             const nonstd::expected<std::monostate, std::optional<int>> &executed
){
    typename LockFree::Input;
    typename LockFree::Output;
    typename LockFree::Commit;
 
    requires Commits<typename LockFree::Commit>;
    requires std::is_copy_constructible_v<typename LockFree::Commit>;
 
    { lf.generator(inp, contention) } -> std::same_as<std::optional<typename LockFree::Commit>>;
    { lf.wrap_up(executed, desc, contention) } -> std::same_as<nonstd::expected<std::optional<typename LockFree::Output>, std::monostate>>;
    { lf.fast_path(inp, contention) } -> std::same_as<std::optional<typename LockFree::Output>>;
};
 
}
 
#endif // TELAMON_NORMALIZED_REPRESENTATION_HH