1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
#!/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!")
|
