Struct RunRecord¶
Defined in File schedule_document.hpp
Struct Documentation¶
-
struct RunRecord¶
Public Members
-
std::map<std::string, std::size_t> extents¶
-
std::map<std::string, std::size_t> batch_targets¶
-
std::map<std::size_t, std::size_t> n_batches¶
-
std::map<std::string, std::size_t> footprint¶
value id -> bytes (largest result a production left in its cell: a per-batch slice or partial inside a loop block; a persistent value seeded from the previous run and not re-produced is measured at seeding, as the whole value it then holds)
-
std::map<std::string, std::size_t> size¶
value id -> bytes of the complete value: the assembled result of a value produced per batch, else what its production left
-
std::map<std::string, std::size_t> builds¶
-
std::map<std::string, std::size_t> leaf_bytes¶
value id -> bytes of a leaf as the executor fetched it or, persistent, seeded it (the largest form, when more than once); leaves are not productions, so they appear here and never in builds / footprint / size
-
std::map<std::string, std::string> planner¶
optimizer settings excluded from the fingerprint
-
std::map<std::string, std::size_t> extents¶