Published April 22, 2024
| Version v1
Dataset
Open
Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"
Creators
- 1. Universidad Nacional de Educacion a Distancia (UNED)
- 2. ITIS Software, University of Malaga
- 3. I3US, University of Seville
Description
Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"
This repository is organized in two main folders:
1. randconfig+ includes the source code of our tool randconfig+, which improves the randomness and correctness of the conf tool (a built-in Linux kernel tool for generating random samples of kernel configurations). It has two subfolders:
- source: includes the source code of randconfig+.
- bin: includes the compiled version of randconfig+.
2. experimental_validation includes the experimental validation of randconfig+ reported in the paper.
- systems: includes the 10 Linux Kernel versions analyzed in the paper.
- scripts_for_sample_generation: Bash shell scripts to generate the data.
- data: includes the following data generated by the experimental validation:
+ Generated samples (subfolder configuration_samples). The samples are available in two formats: CSV and Apache Arrow.
+ Entropies and number of distinct values per configuration option.
+ Data regarding the correctness of the samples and the time spent to generate them (subfolder correctness_and_runtime).
- statistical_analysis: R scripts to perform the statistical analysis of the data (subfolder statistical_analysis).
- plots: graphs produced from the data statistical analysis.
Files
randconfig+.zip
Files
(2.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:06f316cf96fb4b0860fc8907c9105222
|
2.2 GB | Preview Download |
Additional details
Dates
- Submitted
-
2024-02-22