#!/usr/bin/env python3 import os import re import sys import json import math import argparse from collections import OrderedDict num_stddev = 1 def mean(_data): return sum(_data) / float(len(_data)) if len(_data) > 0 else 0.0 def stddev(_data): if len(_data) == 0: return 0.0 _mean = mean(_data) _variance = sum([((x - _mean) ** 2) for x in _data]) / float(len(_data)) return _variance**0.5 class validation(object): def __init__(self, _exp_re, _pp_re, _virt, _expected, _tolerance): self.experiment_filter = re.compile(_exp_re) self.progress_pt_filter = re.compile(_pp_re) self.virtual_speedup = int(_virt) self.program_speedup = float(_expected) self.tolerance = float(_tolerance) def validate( self, _exp_name, _pp_name, _virt_speedup, _prog_speedup, _prog_speedup_stddev, _base_speedup_stddev, ): if ( not re.search(self.experiment_filter, _exp_name) or not re.search(self.progress_pt_filter, _pp_name) or _virt_speedup != self.virtual_speedup ): return None _tolerance = self.tolerance if _base_speedup_stddev > 2.0 * self.tolerance: sys.stderr.write( f" [{_exp_name}][{_pp_name}][{_virt_speedup}] base speedup has stddev > 2 * tolerance (+/- {_base_speedup_stddev:.3f}). Relaxing validation...\n" ) _tolerance += math.sqrt(_base_speedup_stddev) elif _prog_speedup_stddev > 2.0 * self.tolerance: sys.stderr.write( f" [{_exp_name}][{_pp_name}][{_virt_speedup}] program speedup has stddev > 2 * tolerance (+/- {_prog_speedup_stddev:.3f}). Relaxing validation...\n" ) _tolerance += math.sqrt(_prog_speedup_stddev) return _prog_speedup >= (self.program_speedup - _tolerance) and _prog_speedup <= ( self.program_speedup + _tolerance ) class experiment_data(object): def __init__(self, _speedup): self.speedup = _speedup self.duration = [] def __iadd__(self, _val): self.duration += [float(_val)] def __len__(self): return len(self.duration) def __eq__(self, rhs): return self.speedup == rhs.speedup def __neq__(self, rhs): return not self == rhs def __lt__(self, rhs): return self.speedup < rhs.speedup def mean(self): return mean(self.duration) def stddev(self): return stddev(self.duration) class line_speedup(object): def __init__(self, _name="", _prog="", _exp_data=None, _exp_base=None): self.name = _name self.prog = _prog self.data = _exp_data self.base = _exp_base def virtual_speedup(self): if self.data is None or self.base is None: return 0.0 return self.data.speedup def compute_speedup(self): if self.data is None or self.base is None: return 0.0 return ((self.base.mean() - self.data.mean()) / self.base.mean()) * 100 def compute_speedup_stddev(self): if self.data is None or self.base is None: return 0.0 _data = [] _base = self.base.mean() for ditr in self.data.duration: _data += [((_base - ditr) / _base) * 100] return stddev(_data) def get_name(self): return ":".join( [ os.path.basename(x) if os.path.isfile(x) else x for x in self.name.split(":") ] ) def __str__(self): if self.data is None or self.base is None: return f"{self.name}" _line_speedup = self.compute_speedup() _line_stddev = ( float(num_stddev) * self.compute_speedup_stddev() ) # 3 stddev == 99.87% _name = self.get_name() return f"[{_name}][{self.prog}][{self.data.speedup:3}] speedup: {_line_speedup:6.1f} +/- {_line_stddev:6.2f} %" def __eq__(self, rhs): return ( self.name == rhs.name and self.prog == rhs.prog and self.data == rhs.data and self.base == rhs.base ) def __neq__(self, rhs): return not self == rhs def __lt__(self, rhs): if self.name != rhs.name: return self.name < rhs.name elif self.prog != rhs.prog: return self.prog < rhs.prog elif self.data != rhs.data: return self.data < rhs.data elif self.base != rhs.base: return self.base < rhs.base return False class experiment_progress(object): def __init__(self, _data): self.data = _data def get_impact(self): """ speedup_c = [x.compute_speedup() for x in self.data] speedup_v = [x.virtual_speedup() for x in self.data] impact = [] for i in range(len(self.data) - 1): x = speedup_v[i + 1] - speedup_v[i] y_low = speedup_c[i] y_upp = speedup_c[i + 1] a_low = x * min([y_low, y_upp]) a_high = 0.5 * x * (max([y_low, y_upp]) - min([y_low, y_upp])) impact += [a_low + a_high] """ impact = [x.compute_speedup() for x in self.data] return [sum(impact), mean(impact), stddev(impact)] def __len__(self): return len(self.data) def __str__(self): _impact_v = self.get_impact() _name = self.data[0].get_name() _prog = self.data[0].prog _impact = [ f"[{_name}][{_prog}][sum] impact: {_impact_v[0]:6.1f}", f"[{_name}][{_prog}][avg] impact: {_impact_v[1]:6.1f} +/- {_impact_v[2]:6.2f}", ] return "\n".join([f"{x}" for x in self.data] + _impact) def __lt__(self, rhs): self.data.sort() return self.get_impact()[0] < rhs.get_impact()[0] def find_or_insert(_data, _value): if _value not in _data: _data[_value] = experiment_data(_value) return _data[_value] def process_data(data, _data, args): if not _data: return data _selection_filter = re.compile(args.experiments) _progresspt_filter = re.compile(args.progress_points) for record in _data["omnitrace"]["causal"]["records"]: for exp in record["experiments"]: _speedup = exp["virtual_speedup"] _duration = exp["duration"] _file = exp["selection"]["info"]["file"] _line = exp["selection"]["info"]["line"] _func = exp["selection"]["info"]["dfunc"] _sym_addr = exp["selection"]["symbol_address"] _selected = ":".join([_file, f"{_line}"]) if _sym_addr == 0 else _func if not re.search(_selection_filter, _selected): continue if _selected not in data: data[_selected] = {} for pts in exp["progress_points"]: _name = pts["name"] if not re.search(_progresspt_filter, _name): continue if _name not in data[_selected]: data[_selected][_name] = {} if "delta" in pts: _delt = pts["delta"] if _delt > 0: itr = find_or_insert(data[_selected][_name], _speedup) itr += float(_duration) / float(_delt) else: _diff = pts["arrival"] - pts["departure"] + 1 _rate = pts["arrival"] / float(_duration) if _rate > 0: itr = find_or_insert(data[_selected][_name], _speedup) itr += float(_diff) / float(_rate) else: _delt = pts["laps"] if _delt > 0: itr = find_or_insert(data[_selected][_name], _speedup) itr += float(_duration) / float(_delt) return data def compute_speedups(_data, args): data = {} for selected, pitr in _data.items(): if selected not in data: data[selected] = {} for progpt, ditr in pitr.items(): data[selected][progpt] = OrderedDict(sorted(ditr.items())) from os.path import dirname ret = [] for selected, pitr in _data.items(): for progpt, ditr in pitr.items(): if 0 not in ditr.keys(): # print(f"missing baseline data for {progpt} in {selected}...") continue _baseline = ditr[0].mean() for speedup, itr in ditr.items(): if len(args.speedups) > 0 and speedup not in args.speedups: continue if speedup != itr.speedup: raise ValueError(f"in {selected}: {speedup} != {itr.speedup}") _val = line_speedup(selected, progpt, itr, ditr[0]) ret.append(_val) ret.sort() _last_name = None _last_prog = None result = [] for itr in ret: if itr.name != _last_name or itr.prog != _last_prog: result.append([]) result[-1].append(itr) _last_name = itr.name _last_prog = itr.prog _data = [] for itr in result: _data.append(experiment_progress(itr)) _data.sort() return _data def get_validations(args): data = [] _len = len(args.validate) if _len == 0: return data elif _len % 5 != 0: raise ValueError( "validation requires format: {experiment regex} {progress-point regex} {virtual-speedup} {expected-speedup} {tolerance} (i.e. 5 args per validation. There are {} extra/missing arguments".format( _len % 5 ) ) v = args.validate for i in range(int(_len / 5)): off = 5 * i data.append( validation(v[off + 0], v[off + 1], v[off + 2], v[off + 3], v[off + 4]) ) return data def main(): import argparse parser = argparse.ArgumentParser() parser.add_argument( "-e", "--experiments", type=str, help="Regex for experiments", default=".*" ) parser.add_argument( "-p", "--progress-points", type=str, help="Regex for progress points", default=".*", ) parser.add_argument( "-n", "--num-points", type=int, help="Minimum number of data points", default=5 ) parser.add_argument( "-i", "--input", type=str, nargs="*", help="Input file(s)", required=True ) parser.add_argument( "-s", "--speedups", type=int, help="List of speedup values to report", nargs="*", default=[], ) parser.add_argument( "-d", "--stddev", type=int, help="Number of standard deviations to report", default=1, ) parser.add_argument( "-v", "--validate", type=str, nargs="*", help="Validate speedup: {experiment regex} {progress-point regex} {virtual-speedup} {expected-speedup} {tolerance}", default=[], ) args = parser.parse_args() num_stddev = args.stddev num_speedups = len(args.speedups) if num_speedups > 0 and args.num_points > num_speedups: args.num_points = num_speedups data = {} for inp in args.input: with open(inp, "r") as f: inp_data = json.load(f) data = process_data(data, inp_data, args) results = compute_speedups(data, args) for itr in results: if len(itr) < args.num_points: continue print("") print(f"{itr}") sys.stdout.flush() validations = get_validations(args) expected_validations = len(validations) correct_validations = 0 if expected_validations > 0: print(f"\nPerforming {expected_validations} validations...\n") for eitr in results: _experiment = eitr.data[0].get_name() _progresspt = eitr.data[0].prog _base_speedup_stddev = eitr.data[0].compute_speedup_stddev() for ditr in eitr.data: _virt_speedup = ditr.virtual_speedup() _prog_speedup = ditr.compute_speedup() _prog_speedup_stddev = ditr.compute_speedup_stddev() for vitr in validations: _v = vitr.validate( _experiment, _progresspt, _virt_speedup, _prog_speedup, _prog_speedup_stddev, _base_speedup_stddev, ) if _v is None: continue if _v is True: correct_validations += 1 else: sys.stderr.write( f" [{_experiment}][{_progresspt}][{_virt_speedup}] failed validation: {_prog_speedup:8.3f} != {vitr.program_speedup} +/- {vitr.tolerance}\n" ) if expected_validations != correct_validations: sys.stderr.flush() sys.stderr.write( f"\nCausal profiling predictions not validated. Expected {expected_validations}, found {correct_validations}\n" ) sys.stderr.flush() sys.exit(-1) elif expected_validations > 0: print(f"Causal profiling predictions validated: {expected_validations}") if __name__ == "__main__": main()