| 1 |
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
|
| 2 |
<page>
|
| 3 |
|
| 4 |
<title>Benchmarks</title>
|
| 5 |
<banner>Benchmarks</banner>
|
| 6 |
|
| 7 |
<!-- ********* Left panel ********* -->
|
| 8 |
<navig>
|
| 9 |
<toc/>
|
| 10 |
<box>
|
| 11 |
<p>
|
| 12 |
This page briefly presents preliminary benchmarks on the CDuce prototype.
|
| 13 |
</p>
|
| 14 |
|
| 15 |
<ul>
|
| 16 |
<li><a href="/cgi-bin/cduce">Online demo</a></li>
|
| 17 |
<li><a href="/">Home page</a></li>
|
| 18 |
</ul>
|
| 19 |
</box>
|
| 20 |
</navig>
|
| 21 |
|
| 22 |
<!-- ********* Main panel ********* -->
|
| 23 |
|
| 24 |
<main>
|
| 25 |
|
| 26 |
<box title="Methodology" link="meth">
|
| 27 |
<p>
|
| 28 |
<b>This page is under construction.</b>
|
| 29 |
</p>
|
| 30 |
|
| 31 |
<p>
|
| 32 |
The benchmarks were performed on a Linux box, Athlon 750, 128 Mb RAM.
|
| 33 |
</p>
|
| 34 |
</box>
|
| 35 |
|
| 36 |
<box title="CDuce alone" link="cduce">
|
| 37 |
</box>
|
| 38 |
|
| 39 |
<box title="CDuce vs. XDuce" link="xduce">
|
| 40 |
|
| 41 |
<p>
|
| 42 |
<a href="bench/addrbook.cd">CDuce source</a> -
|
| 43 |
<a href="bench/addrbook.q">XDuce source</a> -
|
| 44 |
<a href="bench/addrbook.ml">OCaml file</a> (to generate random documents).
|
| 45 |
</p>
|
| 46 |
|
| 47 |
|
| 48 |
<table border="1">
|
| 49 |
<tr> <td>Addrbook</td>
|
| 50 |
<th>XDuce 0.2.4</th>
|
| 51 |
<th>XDuce 0.2.4 + patopt</th>
|
| 52 |
<th>XDuce 0.4.0 + patopt</th>
|
| 53 |
<th>CDuce</th> </tr>
|
| 54 |
|
| 55 |
<tr align="right"> <th>Type-checking</th>
|
| 56 |
<td>0.04</td> <td>0.05</td> <td>0.15</td> <td>0.05</td> </tr>
|
| 57 |
<tr align="right"> <th>Small file (60 Ko)</th>
|
| 58 |
<td>1.56</td> <td>0.14</td> <td>9.6</td> <td>0.09</td> </tr>
|
| 59 |
<tr align="right"> <th>Medium file (600 Ko)</th>
|
| 60 |
<td>260</td> <td>1.16</td> <td>*</td> <td>0.46</td> </tr>
|
| 61 |
<tr align ="right"> <th>Large file (6 Mb)</th>
|
| 62 |
<td>*</td> <td>31.05</td> <td>*</td> <td>6.13</td> </tr>
|
| 63 |
|
| 64 |
</table>
|
| 65 |
|
| 66 |
</box>
|
| 67 |
|
| 68 |
<box title="CDuce vs. XSLT" link="xslt">
|
| 69 |
</box>
|
| 70 |
|
| 71 |
</main>
|
| 72 |
|
| 73 |
</page>
|