trace.hpp

#pragma once
 
#include <cstddef>
#include <cstdint>
#include <vector>
 
#include "ravel/clock.hpp"
 
namespace ravel {
 
enum class TraceEventKind : std::uint8_t {
  TaskSpawned,
  TaskResumed,
  TaskFinished,
  TaskThrew,
  MessageSent,
  MessageDropped,
  MessageDelivered,
  DiskWritten,
  DiskSynced,
  DiskFailed,   
  DiskCrashed,
};
 
const char* to_string(TraceEventKind kind) noexcept;
 
enum class TraceSubject : std::uint8_t { Task, Channel, Disk };
TraceSubject subject_of(TraceEventKind kind) noexcept;
 
struct TraceEvent {
  VirtualClock::Tick time;
  std::size_t subject;  
  TraceEventKind kind;
 
  bool operator==(const TraceEvent&) const = default;
};
 
class Trace {
 public:
  void record(const TraceEvent& event);
 
  const std::vector<TraceEvent>& events() const noexcept { return events_; }
  std::uint64_t digest() const noexcept { return digest_; }
 
 private:
  std::vector<TraceEvent> events_;
  std::uint64_t digest_ = 0xCBF29CE484222325ULL;  
};
 
}  // namespace ravel