proof_cache.h

Go to the documentation of this file.

#pragma once
 
#include <atomic>
#include <cstdint>
#include <filesystem>
#include <string>
#include <util/config/options.h>

class proof_cachet
{
public:
  proof_cachet(
    const std::string &dir,
    const optionst &options,
    const std::string &build_identity);

  bool proved(const std::string &cone_key) const;

  void record(const std::string &cone_key) const;
 
  size_t hits() const
  {
    return hit_count;
  }
  size_t misses() const
  {
    return miss_count;
  }
 
private:
  std::filesystem::path entry_path(const std::string &cone_key) const;
 
  std::filesystem::path dir;
  uint64_t context_hash;
  // Solving runs on several threads under --parallel-solving.
  mutable std::atomic<size_t> hit_count{0};
  mutable std::atomic<size_t> miss_count{0};
};

std::string
proof_cache_context(const optionst &options, const std::string &build_identity);

std::string proof_cache_inactive_reason(const optionst &options);

void report_proof_cache_inactive(const std::string &why);

bool proof_cache_contradicted(bool was_hit, bool counterexample_found);

std::string proof_cache_build_identity(const std::string &build_id);