Skip to content

Commit

Permalink
CI: update performance results
Browse files Browse the repository at this point in the history 
Signed-off-by: seL4 CI <[email protected]>
  • Loading branch information
@seL4-ci
seL4-ci committed Mar 16, 2024
1 parent 12e1ff6 commit 3fb25d9
Showing 1 changed file with 71 additions and 71 deletions.
142 changes: 71 additions & 71 deletions content/About/Performance/home.pml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,66 +32,66 @@ priority (255) process in a different address space</li>
<td class="data-table-right">32</td>
<td>A9/i.MX6/Sabre</td>
<td class="data-table-right">1.0 GHz</td>
<td class="data-mean">573</td>
<td class="data-stddev">(10)</td>
<td class="data-mean">316</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">335</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">813</td>
<td class="data-mean">566</td>
<td class="data-stddev">(11)</td>
<td class="data-mean">317</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">336</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">819</td>
<td class="data-stddev">(7)</td>
</tr> <tr>
<td>x86_64</td>
<td class="data-table-right">64</td>
<td>i7-4770/Haswell</td>
<td class="data-table-right">3.4 GHz</td>
<td class="data-mean">1676</td>
<td class="data-stddev">(248)</td>
<td class="data-mean">587</td>
<td class="data-mean">1662</td>
<td class="data-stddev">(254)</td>
<td class="data-mean">584</td>
<td class="data-stddev">(13)</td>
<td class="data-mean">594</td>
<td class="data-stddev">(13)</td>
<td class="data-mean">1246</td>
<td class="data-stddev">(75)</td>
<td class="data-mean">1249</td>
<td class="data-stddev">(77)</td>
</tr> <tr>
<td>x86_64</td>
<td class="data-table-right">64</td>
<td>i7-6700/Skylake (without meltdown mitigation)</td>
<td class="data-table-right">3.4 GHz</td>
<td class="data-mean">1257</td>
<td class="data-stddev">(207)</td>
<td class="data-mean">1221</td>
<td class="data-stddev">(204)</td>
<td class="data-mean">382</td>
<td class="data-stddev">(4)</td>
<td class="data-mean">388</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">390</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">767</td>
<td class="data-stddev">(82)</td>
<td class="data-mean">766</td>
<td class="data-stddev">(83)</td>
</tr> <tr>
<td>Armv8a</td>
<td class="data-table-right">64</td>
<td>A57/Tx1/Jetson</td>
<td class="data-table-right">1.9 GHz</td>
<td class="data-mean">667</td>
<td class="data-stddev">(38)</td>
<td class="data-mean">405</td>
<td class="data-stddev">(8)</td>
<td class="data-mean">416</td>
<td class="data-stddev">(6)</td>
<td class="data-mean">960</td>
<td class="data-stddev">(19)</td>
<td class="data-mean">664</td>
<td class="data-stddev">(35)</td>
<td class="data-mean">403</td>
<td class="data-stddev">(5)</td>
<td class="data-mean">415</td>
<td class="data-stddev">(1)</td>
<td class="data-mean">968</td>
<td class="data-stddev">(10)</td>
</tr> <tr>
<td>RV64IMAC</td>
<td class="data-table-right">64</td>
<td>U54-MC/SiFive Freedom U540/Hifive</td>
<td class="data-table-right">1.5 GHz</td>
<td class="data-mean">983</td>
<td class="data-stddev">(76)</td>
<td class="data-mean">495</td>
<td class="data-stddev">(99)</td>
<td class="data-mean">652</td>
<td class="data-stddev">(96)</td>
<td class="data-mean">1371</td>
<td class="data-stddev">(75)</td>
<td class="data-mean">988</td>
<td class="data-stddev">(78)</td>
<td class="data-mean">475</td>
<td class="data-stddev">(14)</td>
<td class="data-mean">649</td>
<td class="data-stddev">(84)</td>
<td class="data-mean">1382</td>
<td class="data-stddev">(84)</td>
</tr></table>

<h2>MCS</h2>
Expand All @@ -110,66 +110,66 @@ priority (255) process in a different address space</li>
<td class="data-table-right">32</td>
<td>A9/i.MX6/Sabre</td>
<td class="data-table-right">1.0 GHz</td>
<td class="data-mean">832</td>
<td class="data-stddev">(17)</td>
<td class="data-mean">322</td>
<td class="data-mean">826</td>
<td class="data-stddev">(15)</td>
<td class="data-mean">323</td>
<td class="data-stddev">(4)</td>
<td class="data-mean">362</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">364</td>
<td class="data-stddev">(5)</td>
<td class="data-mean">1212</td>
<td class="data-stddev">(16)</td>
<td class="data-mean">1227</td>
<td class="data-stddev">(15)</td>
</tr> <tr>
<td>x86_64</td>
<td class="data-table-right">64</td>
<td>i7-4770/Haswell</td>
<td class="data-table-right">3.4 GHz</td>
<td class="data-mean">2020</td>
<td class="data-stddev">(424)</td>
<td class="data-mean">591</td>
<td class="data-stddev">(22)</td>
<td class="data-mean">2009</td>
<td class="data-stddev">(427)</td>
<td class="data-mean">599</td>
<td class="data-stddev">(17)</td>
<td class="data-mean">603</td>
<td class="data-stddev">(12)</td>
<td class="data-mean">1596</td>
<td class="data-stddev">(14)</td>
<td class="data-stddev">(11)</td>
<td class="data-mean">1599</td>
<td class="data-stddev">(16)</td>
</tr> <tr>
<td>x86_64</td>
<td class="data-table-right">64</td>
<td>i7-6700/Skylake (without meltdown mitigation)</td>
<td class="data-table-right">3.4 GHz</td>
<td class="data-mean">1681</td>
<td class="data-stddev">(340)</td>
<td class="data-mean">389</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">412</td>
<td class="data-stddev">(4)</td>
<td class="data-mean">1663</td>
<td class="data-stddev">(327)</td>
<td class="data-mean">390</td>
<td class="data-stddev">(5)</td>
<td class="data-mean">408</td>
<td class="data-stddev">(7)</td>
<td class="data-mean">1064</td>
<td class="data-stddev">(8)</td>
<td class="data-stddev">(11)</td>
</tr> <tr>
<td>Armv8a</td>
<td class="data-table-right">64</td>
<td>A57/Tx1/Jetson</td>
<td class="data-table-right">1.9 GHz</td>
<td class="data-mean">760</td>
<td class="data-stddev">(27)</td>
<td class="data-mean">416</td>
<td class="data-stddev">(1)</td>
<td class="data-mean">456</td>
<td class="data-mean">765</td>
<td class="data-stddev">(30)</td>
<td class="data-mean">428</td>
<td class="data-stddev">(7)</td>
<td class="data-mean">443</td>
<td class="data-stddev">(8)</td>
<td class="data-mean">970</td>
<td class="data-stddev">(11)</td>
<td class="data-mean">957</td>
<td class="data-stddev">(16)</td>
</tr> <tr>
<td>RV64IMAC</td>
<td class="data-table-right">64</td>
<td>U54-MC/SiFive Freedom U540/Hifive</td>
<td class="data-table-right">1.5 GHz</td>
<td class="data-mean">1988</td>
<td class="data-stddev">(75)</td>
<td class="data-mean">681</td>
<td class="data-stddev">(20)</td>
<td class="data-mean">893</td>
<td class="data-stddev">(75)</td>
<td class="data-mean">2578</td>
<td class="data-stddev">(81)</td>
<td class="data-mean">1989</td>
<td class="data-stddev">(90)</td>
<td class="data-mean">709</td>
<td class="data-stddev">(72)</td>
<td class="data-mean">881</td>
<td class="data-stddev">(53)</td>
<td class="data-mean">2579</td>
<td class="data-stddev">(61)</td>
</tr></table>

<h2>Compilation Details</h2>
Expand Down Expand Up @@ -268,4 +268,4 @@ docker file repository</a></p><h3>Default</h3>
</tr></table>

<h2>Source Code</h2>
<p>This page was generated on 2024-03-14 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/461f10957d8bc38472cf00a4f8628460e7f49df0/default.xml">461f1095</a>.</p>
<p>This page was generated on 2024-03-16 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/99745b4d344d7c1d09e92ded77a3b01e4b96623f/default.xml">99745b4d</a>.</p>

0 comments on commit 3fb25d9

Please sign in to comment.