bench.xml 2.52 KB
Newer Older
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
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page>

<title>Benchmarks</title>
<banner>Benchmarks</banner>

<!-- ********* Left panel ********* -->
<navig>
<toc/>
<box>
<p>
This page briefly presents preliminary benchmarks on the CDuce prototype. 
</p>

<ul>
<li><a href="/cgi-bin/cduce">Online demo</a></li>
<li><a href="/">Home page</a></li>
</ul>
</box>
</navig>

<!-- ********* Main panel ********* -->

<main>

<box title="Methodology" link="meth">
27
28
29
30
<p>
<b>This page is under construction.</b>
</p>

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
<p>
The benchmarks were performed on a Linux box, Athlon 750, 128 Mb RAM.
</p>
</box>

<box title="CDuce alone" link="cduce">
</box>

<box title="CDuce vs. XDuce" link="xduce">

<p>
<a href="bench/addrbook.cd">CDuce source</a> -
<a href="bench/addrbook.q">XDuce source</a> -
<a href="bench/addrbook.ml">OCaml file</a> (to generate random documents).
</p>


<table border="1">
 <tr> <td>Addrbook</td> 
      <th>XDuce 0.2.4</th> 
      <th>XDuce 0.2.4 + patopt</th> 
      <th>XDuce 0.4.0 + patopt</th> 
      <th>CDuce</th> </tr>

 <tr align="right"> <th>Type-checking</th> 
56
      <td>0.04</td> <td>0.05</td> <td>0.15</td> <td>0.04</td> </tr>
57
58
59
60
61
 <tr align="right"> <th>Small file (60 Ko)</th>
      <td>1.56</td> <td>0.14</td> <td>9.6</td> <td>0.09</td> </tr>
 <tr align="right"> <th>Medium file (600 Ko)</th>
      <td>260</td> <td>1.16</td> <td>*</td> <td>0.46</td> </tr>
 <tr align ="right"> <th>Large file (6 Mb)</th>
62
      <td>*</td> <td>31.05</td> <td>*</td> <td>6.37</td> </tr>
63
64
65

</table>

66
67
The * corresponds to checks stopped after ten minutes.

68
69
70
</box>

<box title="CDuce vs. XSLT" link="xslt">
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99

We also performed benchmarks between CDuce and a fast XSLT processor (the
{\tt xsltproc} program from <a href="http://xmlsoft.org/XSLT/">
Gnome libxslt library</a>).

<p>
<a href="bench/addrbook.cd">CDuce source</a> -
<a href="bench/addrbook.xslt1.xml">XSLT source</a> -
<a href="bench/addrbook.xslt2.xml">XSLT source (another version)</a> -
<a href="bench/addrbook.ml">OCaml file</a> (to generate random documents).
</p>


<table border="1">
 <tr> <td>sort</td> 
      <th>XSLT (1)</th> 
      <th>XSLT (2)</th> 
      <th>CDuce</th> </tr>

 <tr align="right"> <th>5 Mb</th> 
      <td>8.90 / 9.05</td> <td>8.05 / 8.26</td> <td>5.30 / 5.40</td> </tr>
 <tr align="right"> <th>27 Mb</th>
      <td>47.10 / 320.80</td> <td>68.40 / 324.50</td> <td>33.85 / 83.65</td> </tr>
</table>

The two numbers correspond respectively to total CPU user time
(parsing + transformation), and total wall-clock time (parsing + transformation
+ system time).

100
101
102
103
104
</box>

</main>

</page>