-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathtemplate.html
60 lines (51 loc) · 1.36 KB
/
template.html
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
51
52
53
54
55
56
57
58
59
60
<!DOCTYPE html>
<html>
<head>
<link rel="stylesheet" type="text/css" href="octane.css"/>
</head>
<body>
<h2>Bootstrapping SafeTypeScript Compiler</h2>
<p>
In this experiment, we bootstrap the Safe TypeScript compiler. We report numbers for bootstrapping using following configs:
<ol type="a">
<li>
<b>Safe</b>: Uses differential tagging scheme, stores RTTI tags with the objects themselves.
</li>
<li>
<b>Safe Optimized</b>: Same as Safe, but with runtime checks inlined.
</li>
<li>
<b>Safe with Weak Maps</b>: Uses differential tagging scheme, stores RTTI tags in a separate Weak Map
</li>
<li>
<b>Safe*</b>: Uses eager RTTI tagging, stores tags with the objects themselves
</li>
</ol>
The numbers in parentheses are overheads. For configurations Safe, the overhead is over Plain. For all other configurations, the overhead is over Safe.
</p>
<p></p>
<p></p>
<table>
<caption align="bottom">Time taken to bootstrap the Safe TypeScript compiler.</b>.</caption>
<tr>
<th>Configuration</th>
<th>Time(sec)</th>
</tr>
include(data.html)
</table>
<h2>TypeChecking TypeScript Compiler v1.1</h2>
<p>
In this experiment, we typecheck v1.1 of the TypeScript compiler.
</p>
<p></p>
<p></p>
<table>
<caption align="bottom">Time taken to typecheck TypeScript compiler v1.1.</b>.</caption>
<tr>
<th>Configuration</th>
<th>Time(sec)</th>
</tr>
include(newtsdata.html)
</table>
</body>
</html>