| #!/usr/bin/env python |
| |
| import json, sys, time |
| |
| def is_inside(range1, range2): |
| a = range1["ts"]; b = a + range1["dur"] |
| c = range2["ts"]; d = c + range2["dur"] |
| return (a >= c and a <= d) and (b >= c and b <= d) |
| |
| def is_before(range1, range2): |
| b = range1["ts"] + range1["dur"]; c = range2["ts"] |
| return b <= c |
| |
| log_contents = json.loads(sys.stdin.read()) |
| events = log_contents["traceEvents"] |
| codegens = [event for event in events if event["name"] == "CodeGen Function"] |
| frontends = [event for event in events if event["name"] == "Frontend"] |
| backends = [event for event in events if event["name"] == "Backend"] |
| |
| beginning_of_time = log_contents["beginningOfTime"] / 1000000 |
| seconds_since_epoch = time.time() |
| |
| # Make sure that the 'beginningOfTime' is not later than now. |
| if beginning_of_time > seconds_since_epoch: |
| sys.exit("'beginningOfTime' should represent the absolute time when the " |
| "process has started") |
| |
| if not all([any([is_inside(codegen, frontend) for frontend in frontends]) |
| for codegen in codegens]): |
| sys.exit("Not all CodeGen sections are inside any Frontend section!") |
| |
| if not all([all([is_before(frontend, backend) for frontend in frontends]) |
| for backend in backends]): |
| sys.exit("Not all Frontend section are before all Backend sections!") |
