Analytics

STM Analytics generates an analysis report from an execution of STM Runtime. It uses a schedule file (*.stm) which was generated by the stmcompiler and a system log file (filename set at runtime) which was generated by runtime execution. STM Analytics generates a serialized data file which consists of statistics and timing information about all clients and runnables in the system.

stmanalyze Tool

The stmanalyze tool generates an internal representation of schedule and runtime logs. After that, it serializes the internal representation into a *pkl format. This format can be used to combine multiple pkl files. It can be used by external visualizer for visualization.

Input

Variable	Flag	Description
schedule	-s	List of input schedules used during execution. Generated by stmcompiler.
log-file	-l	Input logger file. Generated from a STM Runtime run, logs from different schedules can be present.
pickledresults	-p	Input pickled results from a previous run. Use this option to re-run the verifier on already-processed data.
Out-file	-o	Generated output base file name.
Ram-limit	-R	The maximum amount of RAM to use when processing (in GB).
verbose	-v	Print verbose runtime information.
outputformat	-f	The output format of the stm analytics script. Choose one or more of ”pickle”, ”html” or ”csv”.

Output

Variable	Flag	Description
out-file	-o	Generated output pickle (.pkl) file name.