The CHERI benchplot tool/library is an attempt to build a flexible system to run CHERI experiments on CheriBSD and process the results. Ideally the structure is modular and reusable enough that it can be adapted to speed-up data analysis or used as a starting point for custom data analysis and visualization.
The tool uses two configuration files:
- user configuration: by default in
~/.config/cheri-benchplot.json
, specifies cheri SDK information - session configuration: specifies the benchmark/cheribsd instance combinations to run
Currently the runner only supports starting up CHERI-QEMU instances for behavioural analysis and qemu tracing.
There are two modes of operation for the benchplot tool:
- run: Run all combinations of instance/benchmarks in the given session configuration
- analyse: Run all compatible analysis steps (e.g. table generators, plotting, integrity checks...)
The
demo
directory contains examples for the configuration files.
For each benchmark/instance combination a new Benchmark
object is created. This represents a benchmark run and is uniquely
identified by an UUID. The benchmark instance will manage the benchmark run and analysis for a benchmark/instance configuration pair.
Each benchmark contains a set of datasets (DataSetContainer
) that represent data sources.
Each dataset is responsible for generating the commands to produce the data, extract the data from the instance
once the benchmark is done, and load the data for later analysis.
The analysis step is split in two phases:
- For each recorded benchmark run, we load the raw data and identify the baseline benchmark run. The datasets are merged into a single dataframe in the baseline benchmark run, then we aggregate the data to compute statistical metrics (e.g. mean and median) across iterations and deltas between the baseline and non-baseline runs.
- All the analysis steps that depend on datasets we can provide are run. This step uses the loaded and aggregated data from datasets and generates some output representation for it. This is done to split the data ingestion and normalization from the actual data analysis and reporting.
Required branches:
- cheribsd: statcounters-update
- qemu: qemu-experimental-tracing
- netperf: cheri-netperf
- cheri-perfetto: cheri-perfetto
- cheri-benchplot: master
The example runs a simple UDP_RR netperf benchmark and collects data from all supported data sources.
- Build cheribsd:
cheribuild cheribsd-riscv64-purecap --cheribsd/build-alternate-abi-kernels --cheribsd/build-bench-kernels
- Build qemu:
cheribuild qemu --qemu/configure-options '--enable-perfetto-log-instr'
- Build netperf:
cheribuild netperf-riscv64-purecap
- Build cheri-perfetto: this is not currently automated by cheribuild.
cd path/to/cheri-perfetto
mkdir -p out
tools/install-build-deps
# Can either use the shipped gn/ninja or the system gn/ninja
tools/gn gen out/cheri-perfetto
tools/ninja -C out/cheri-perfetto
- Install benchplot and the perfetto python bindings (might be best to use a virtualenv)
pip install -e path/to/cheri-benchplot
pip install -e path/to/cheri-perfetto/src/trace_processor/python
- Make sure the benchplot user configuration in
.config/cheri-benchplot.json
matches the your setup:
{
"sdk_path": "path/to/cherisdk",
"perfetto_path": "path/to/cheri-perfetto/out/cheri-perfetto",
"cheribuild_path": "path/to/cheribuild/cheribuild.py"
}
- Run the demo session:
python benchplot.py demo/demo-netperf-multi-instance/benchplot_config.json run
python benchplot.py demo/demo-netperf-multi-instance/benchplot_config.json analyse