linux-conf-perf
This is tool for automatic performance analysis. It calculates impact on performance per symbol.
TOOL IS IN DEVELOPMENT AND NOT WORKING PROPERLY
Folders
scriptsIn this folder are all python scriptspase_kconfigContains program for extracting dependences from Kconfig files to format for PicoSAT.write_configFixes configuration and compares it against generated one.permute_confInteractive program for setting measure base.sharedShared filesnovabootScript Novabootpicosat-959Program PicoSAT
jobfilesIn this folder are placed files generated with local scripts.outputContains output of executed boots.resultIn this folder are expected to be files with values from benchmarks.logTo this folder are logged all program outputs.linuxSubmodule of linux kernelbuildrootSubmodule of Buildroot
Configuration files
Main configuration is in file conf.py and has python syntax.
Important settings are commented inside file.
Configuration must be done before executing make run or make init.
Usage
Before any other steps, create Linux configuration and setup boot target with benchmark.
You can run make test for testing if setup is correct.
For configuration of measured symbols, run make mpermute_conf.
To execute tests, run make run.
Output of benchmarks must be analyzed after execution of all different configurations.
Files in folder output contains benchmark outputs. You should ensure, that values for
benchmark are extracted and saved to folder result to file with same name as source.
Final evaluation is done by make evaluate.
