Telamon
|
Provides the foundational structure of a normalized structure which the simulated algorithm is required to adhere to. More...
#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"
Go to the source code of this file.
Namespaces | |
telamon_simulator | |
This module encapsulates the implementation of the simulator. | |
Variables | |
template<typename Commit > | |
concept | telamon_simulator::Commits |
Requires commit to be iterable and its items to satisfy CasWithVersioning. More... | |
template<typename LockFree > | |
concept | telamon_simulator::NormalizedRepresentation |
Here are the operations which are required to be described in the lock-free algorithm in order to use the simulation. There are 3 types which the lock-free has to define according to its specifics as well as 3 functions. More... | |
Provides the foundational structure of a normalized structure which the simulated algorithm is required to adhere to.