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 committed Aug 23, 2023
1 parent 407fecc commit 0e7e478
Showing 1 changed file with 71 additions and 71 deletions.
142 changes: 71 additions & 71 deletions content/About/Performance/home.pml
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">655</td>
<td class="data-stddev">(14)</td>
<td class="data-mean">653</td>
<td class="data-stddev">(15)</td>
<td class="data-mean">317</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">341</td>
<td class="data-stddev">(4)</td>
<td class="data-mean">917</td>
<td class="data-stddev">(12)</td>
<td class="data-mean">335</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">916</td>
<td class="data-stddev">(13)</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">1840</td>
<td class="data-stddev">(278)</td>
<td class="data-mean">622</td>
<td class="data-stddev">(5)</td>
<td class="data-mean">1833</td>
<td class="data-stddev">(286)</td>
<td class="data-mean">629</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">637</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">1433</td>
<td class="data-stddev">(78)</td>
<td class="data-mean">1440</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">1307</td>
<td class="data-stddev">(206)</td>
<td class="data-mean">383</td>
<td class="data-stddev">(4)</td>
<td class="data-mean">1237</td>
<td class="data-stddev">(207)</td>
<td class="data-mean">380</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">389</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">770</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">764</td>
<td class="data-stddev">(81)</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">869</td>
<td class="data-stddev">(32)</td>
<td class="data-mean">402</td>
<td class="data-stddev">(0)</td>
<td class="data-mean">418</td>
<td class="data-mean">872</td>
<td class="data-stddev">(40)</td>
<td class="data-mean">403</td>
<td class="data-stddev">(6)</td>
<td class="data-mean">913</td>
<td class="data-stddev">(7)</td>
<td class="data-mean">408</td>
<td class="data-stddev">(0)</td>
<td class="data-mean">888</td>
<td class="data-stddev">(24)</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">961</td>
<td class="data-stddev">(33)</td>
<td class="data-mean">515</td>
<td class="data-stddev">(123)</td>
<td class="data-mean">632</td>
<td class="data-stddev">(16)</td>
<td class="data-mean">1366</td>
<td class="data-stddev">(67)</td>
<td class="data-mean">980</td>
<td class="data-stddev">(88)</td>
<td class="data-mean">493</td>
<td class="data-stddev">(86)</td>
<td class="data-mean">640</td>
<td class="data-stddev">(28)</td>
<td class="data-mean">1377</td>
<td class="data-stddev">(77)</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">848</td>
<td class="data-stddev">(15)</td>
<td class="data-mean">323</td>
<td class="data-mean">851</td>
<td class="data-stddev">(16)</td>
<td class="data-mean">324</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">363</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">1203</td>
<td class="data-stddev">(20)</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">1174</td>
<td class="data-stddev">(18)</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">2093</td>
<td class="data-stddev">(476)</td>
<td class="data-mean">651</td>
<td class="data-stddev">(13)</td>
<td class="data-mean">648</td>
<td class="data-stddev">(4)</td>
<td class="data-mean">1694</td>
<td class="data-stddev">(10)</td>
<td class="data-mean">2167</td>
<td class="data-stddev">(467)</td>
<td class="data-mean">640</td>
<td class="data-stddev">(15)</td>
<td class="data-mean">642</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">1696</td>
<td class="data-stddev">(11)</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">1647</td>
<td class="data-mean">1652</td>
<td class="data-stddev">(332)</td>
<td class="data-mean">383</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">407</td>
<td class="data-stddev">(6)</td>
<td class="data-mean">1065</td>
<td class="data-stddev">(9)</td>
<td class="data-mean">382</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">410</td>
<td class="data-stddev">(5)</td>
<td class="data-mean">1064</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">949</td>
<td class="data-stddev">(29)</td>
<td class="data-mean">417</td>
<td class="data-stddev">(9)</td>
<td class="data-mean">434</td>
<td class="data-stddev">(13)</td>
<td class="data-mean">983</td>
<td class="data-stddev">(14)</td>
<td class="data-mean">943</td>
<td class="data-stddev">(19)</td>
<td class="data-mean">418</td>
<td class="data-stddev">(11)</td>
<td class="data-mean">430</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">966</td>
<td class="data-stddev">(17)</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">1978</td>
<td class="data-stddev">(39)</td>
<td class="data-mean">687</td>
<td class="data-stddev">(60)</td>
<td class="data-mean">870</td>
<td class="data-stddev">(89)</td>
<td class="data-mean">2596</td>
<td class="data-stddev">(89)</td>
<td class="data-mean">1974</td>
<td class="data-stddev">(35)</td>
<td class="data-mean">684</td>
<td class="data-stddev">(53)</td>
<td class="data-mean">856</td>
<td class="data-stddev">(30)</td>
<td class="data-mean">2591</td>
<td class="data-stddev">(99)</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-08-22 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/c0720bc53ee9ac064f14df0eb90ed2c2fcf8eb89/default.xml">c0720bc5</a>.</p>
<p>This page was generated on 2023-08-23 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/4eab95087be142572a863042a1ecfcf3c5ec9b9f/default.xml">4eab9508</a>.</p>

0 comments on commit 0e7e478

Please sign in to comment.