|
The Sparta Modeling Framework
|
Public Attributes | |
| arch_id_t | start_arch_id = UINT64_MAX |
| arch_id_t | end_arch_id = UINT64_MAX |
| tick_t | start_tick = UINT64_MAX |
| tick_t | end_tick = UINT64_MAX |
| std::vector< char > | chkpt_bytes |
Definition at line 297 of file CherryPickFastCheckpointer.hpp.
| std::vector<char> sparta::serialization::checkpoint::CherryPickFastCheckpointer::ChkptWindowBytes::chkpt_bytes |
Definition at line 302 of file CherryPickFastCheckpointer.hpp.
| arch_id_t sparta::serialization::checkpoint::CherryPickFastCheckpointer::ChkptWindowBytes::end_arch_id = UINT64_MAX |
Definition at line 299 of file CherryPickFastCheckpointer.hpp.
| tick_t sparta::serialization::checkpoint::CherryPickFastCheckpointer::ChkptWindowBytes::end_tick = UINT64_MAX |
Definition at line 301 of file CherryPickFastCheckpointer.hpp.
| arch_id_t sparta::serialization::checkpoint::CherryPickFastCheckpointer::ChkptWindowBytes::start_arch_id = UINT64_MAX |
Definition at line 298 of file CherryPickFastCheckpointer.hpp.
| tick_t sparta::serialization::checkpoint::CherryPickFastCheckpointer::ChkptWindowBytes::start_tick = UINT64_MAX |
Definition at line 300 of file CherryPickFastCheckpointer.hpp.