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 <ci@sel4.systems>
  • Loading branch information
@seL4-ci
seL4-ci committed Oct 23, 2023
1 parent 5872cd2 commit 0d44cb2
Showing 1 changed file with 63 additions and 63 deletions.
126 changes: 63 additions & 63 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">626</td>
<td class="data-mean">629</td>
<td class="data-stddev">(12)</td>
<td class="data-mean">316</td>
<td class="data-mean">317</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">348</td>
<td class="data-stddev">(11)</td>
<td class="data-mean">912</td>
<td class="data-stddev">(14)</td>
<td class="data-mean">337</td>
<td class="data-stddev">(5)</td>
<td class="data-mean">920</td>
<td class="data-stddev">(12)</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">1789</td>
<td class="data-stddev">(281)</td>
<td class="data-mean">629</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">1751</td>
<td class="data-stddev">(278)</td>
<td class="data-mean">628</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">638</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">1443</td>
<td class="data-mean">1444</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">1305</td>
<td class="data-stddev">(220)</td>
<td class="data-mean">382</td>
<td class="data-mean">1258</td>
<td class="data-stddev">(203)</td>
<td class="data-mean">381</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">389</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">767</td>
<td class="data-mean">769</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">865</td>
<td class="data-stddev">(30)</td>
<td class="data-mean">403</td>
<td class="data-stddev">(6)</td>
<td class="data-mean">866</td>
<td class="data-stddev">(29)</td>
<td class="data-mean">405</td>
<td class="data-stddev">(8)</td>
<td class="data-mean">408</td>
<td class="data-stddev">(0)</td>
<td class="data-mean">900</td>
<td class="data-stddev">(12)</td>
<td class="data-stddev">(1)</td>
<td class="data-mean">881</td>
<td class="data-stddev">(14)</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">960</td>
<td class="data-stddev">(28)</td>
<td class="data-mean">467</td>
<td class="data-mean">958</td>
<td class="data-stddev">(24)</td>
<td class="data-mean">493</td>
<td class="data-stddev">(92)</td>
<td class="data-mean">631</td>
<td class="data-stddev">(7)</td>
<td class="data-mean">634</td>
<td class="data-stddev">(9)</td>
<td class="data-mean">1352</td>
<td class="data-stddev">(51)</td>
<td class="data-mean">1368</td>
<td class="data-stddev">(73)</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">861</td>
<td class="data-stddev">(17)</td>
<td class="data-mean">860</td>
<td class="data-stddev">(18)</td>
<td class="data-mean">323</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">364</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">1177</td>
<td class="data-stddev">(22)</td>
<td class="data-mean">1211</td>
<td class="data-stddev">(21)</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">2094</td>
<td class="data-stddev">(480)</td>
<td class="data-mean">644</td>
<td class="data-stddev">(16)</td>
<td class="data-mean">643</td>
<td class="data-mean">2122</td>
<td class="data-stddev">(467)</td>
<td class="data-mean">639</td>
<td class="data-stddev">(15)</td>
<td class="data-mean">645</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">1696</td>
<td class="data-stddev">(11)</td>
<td class="data-mean">1693</td>
<td class="data-stddev">(10)</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">1624</td>
<td class="data-stddev">(337)</td>
<td class="data-mean">383</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">407</td>
<td class="data-stddev">(4)</td>
<td class="data-mean">1065</td>
<td class="data-mean">1662</td>
<td class="data-stddev">(340)</td>
<td class="data-mean">384</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">405</td>
<td class="data-stddev">(6)</td>
<td class="data-mean">1064</td>
<td class="data-stddev">(12)</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">949</td>
<td class="data-stddev">(20)</td>
<td class="data-mean">416</td>
<td class="data-stddev">(7)</td>
<td class="data-mean">429</td>
<td class="data-stddev">(1)</td>
<td class="data-mean">1009</td>
<td class="data-stddev">(9)</td>
<td class="data-mean">950</td>
<td class="data-stddev">(19)</td>
<td class="data-mean">421</td>
<td class="data-stddev">(16)</td>
<td class="data-mean">431</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">997</td>
<td class="data-stddev">(12)</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">1998</td>
<td class="data-stddev">(71)</td>
<td class="data-mean">687</td>
<td class="data-stddev">(68)</td>
<td class="data-mean">899</td>
<td class="data-stddev">(71)</td>
<td class="data-mean">2590</td>
<td class="data-mean">2008</td>
<td class="data-stddev">(82)</td>
<td class="data-mean">720</td>
<td class="data-stddev">(112)</td>
<td class="data-mean">866</td>
<td class="data-stddev">(69)</td>
<td class="data-mean">2591</td>
<td class="data-stddev">(97)</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 2023-10-23 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/3ff9e3c711b4c0a9168f46e3a8e31f62aa951d4d/default.xml">3ff9e3c7</a>.</p>
<p>This page was generated on 2023-10-23 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/7213cb33baca4429d1c1abadc5ba7e63d6bdf72b/default.xml">7213cb33</a>.</p>

0 comments on commit 0d44cb2

Please sign in to comment.