Lavinium RAW Data

Lavinium RAW Data This repository contains the experimental results of Lavinium exploration and subsequent real-hardware validation. 1. Lavinium Exploration Results Folder Data: WCET Optimization raw data of Lavininum. Benchmarks: Malardalen: Mälardalen WCET benchmark suite. PolyBench: collection of computational kernels for polyhedral optimizations. CSV Header: Each CSV shares the following header Column Description id Row index benchmark Name of the benchmark program function Function within the benchmark that was optimized passes LLVM optimization passes selected by the strategy wcet Estimated WCET (cycles) reported by LLVMTA Files: results_association.csv, results_clean.csv, results_genetic.csv, results_greedy.csv, results_pruned.csv, results_random.csv Each file corresponds to a different optimization algorithm 2. Validation with optimizations on real hardware Data: Empirical measurement of execution times on physical hardware (R9A02G021 MCU) using the best optimized binary founded by Lavinium for each Mälardalen benchmark. CSV Header: Each CSV shares the following header Column Description benchmark Benchmark name execution_time Observed execution time on real hardware in clock cycles Files: execution_assoc-cleaning.csv, execution_association.csv, execution_cartesian-pruned.csv, execution_genetic.csv, execution_greedy.csv, execution_none.csv, execution_random.csv Each file corresponds to a different optimization algorithm