TACIT is the timing-accurate core instruction trace format that is simple, efficient, and profiler-friendly.
It is also named "L-trace" under some cases, to match other risc-v trace standard naming conventions.
Comparing to other trace formats that focus on compression efficiency, it tries to capture timestamps for all control flow changes.
This includes precise timing of taken and non-taken branches, inferable and uninferable jumps.
TACIT provides rich timing information to profilers while trying to be simple and efficient in encoding.
cargo run -- --binary [binary] --encoded-trace [/path/to/trace] [optional arguments]--to_txt- attach an analysis endpoint to dump all trace events and instructions decoded to a text file for reading--to-json- attach an analysis endpoint to dump all trace events to a json file--to-afdo- attach an analysis endpoint to convert traces to branch counts and range counts, for afdo tools to consume--to_gcda- attach an analysis endpoint to convert traces to a .gcda file. Needs to speicify the source gcno file--gcno [path/to/.gcno]- specify the path to the .gcno file for the gcda endpoint to use
--to_speedscope- attach an analysis endpoint to convert traces to speedscope json format for stack frame visualization--to_vpp- attach an analysis endpoint to analyze traces for the path variation time for identifying optimization opportunities
TACIT decoder is designed with effortless integration of new analysis endpoints. To do this, the user need to:
- Add an argument to enable the analysis in
src/main.rs. - Implement the interface in
backend/abstract_receiver.rs, including:_bump_checksum. This can be however the analysis wish to check for the integrity of the generated alaysis._receive_entry. This is what the analyzer should behave upon each new trace event._flush. This is the behavior of the analyzer after all events are processed.