| #!/usr/bin/env python3 |
| |
| import argparse |
| import re |
| import sys |
| |
| def main(argv): |
| parser = argparse.ArgumentParser( |
| prog='parse-time-output', |
| description='Parse the output of /usr/bin/time and output it in LNT-compatible format.') |
| parser.add_argument('input_file', type=argparse.FileType('r'), default='-', |
| help='Path of the file to extract results from. By default, stdin.') |
| parser.add_argument('--benchmark', type=str, required=True, |
| help='The name of the benchmark to use in the resulting LNT output.') |
| parser.add_argument('--extract', type=str, choices=['instructions', 'max_rss', 'cycles', 'peak_memory'], nargs='+', |
| help='The name of the metrics to extract from the time output.') |
| args = parser.parse_args(argv) |
| |
| # Mapping from metric names to field names in the time output. |
| field_mapping = { |
| 'instructions': 'instructions retired', |
| 'max_rss': 'maximum resident set size', |
| 'cycles': 'cycles elapsed', |
| 'peak_memory': 'peak memory footprint', |
| } |
| to_extract = [field_mapping[e] for e in args.extract] |
| |
| metrics = {} |
| for line in args.input_file: |
| match = re.match(r'\s*(\d+)\s+(\w+.*)', line) |
| if match is not None: |
| time_desc = match.group(2) |
| for metric, desc in field_mapping.items(): |
| if time_desc == desc: |
| metrics[metric] = int(match.group(1)) |
| break |
| |
| for metric, value in metrics.items(): |
| print(f'{args.benchmark}.{metric} {value}') |
| |
| if __name__ == '__main__': |
| main(sys.argv[1:]) |