|
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.