production_mode.hpp

Go to the documentation of this file.

#pragma once

 
#include <cstdint>
#include <optional>
#include <string_view>
 
namespace pulp::timeline {


enum class ProductionMode : std::uint8_t {
    Synchronous,
    Buffered,
};

enum class ReproducibilityClass : std::uint8_t {
    Deterministic,
    Tolerance,
    Materialized,
    BestEffort,
};

std::string_view production_mode_name(ProductionMode mode) noexcept;
std::string_view reproducibility_class_name(ReproducibilityClass reproducibility) noexcept;

std::optional<ProductionMode> production_mode_from_name(std::string_view name) noexcept;
std::optional<ReproducibilityClass>
reproducibility_class_from_name(std::string_view name) noexcept;

std::uint8_t replay_strength(ReproducibilityClass reproducibility) noexcept;

ReproducibilityClass weakest(ReproducibilityClass left, ReproducibilityClass right) noexcept;

bool is_bit_reproducible(ReproducibilityClass reproducibility) noexcept;

inline constexpr std::uint64_t kMaxProductionLookaheadMs = 60'000;

struct ProductionDeclaration {
    ProductionMode mode = ProductionMode::Synchronous;
    ReproducibilityClass reproducibility = ReproducibilityClass::Deterministic;
    std::uint64_t lookahead_ms = 0;
};

enum class ProductionDeclarationErrorCode : std::uint8_t {
    None,
    SynchronousDeclaresLookahead,
    BufferedDeclaresNoLookahead,
    LookaheadExceedsLimit,
};

ProductionDeclarationErrorCode
validate_production_declaration(const ProductionDeclaration& declaration) noexcept;

 
} // namespace pulp::timeline