diff --git a/content/About/Performance/home.pml b/content/About/Performance/home.pml index 4ec5f0b3..58fd77c2 100644 --- a/content/About/Performance/home.pml +++ b/content/About/Performance/home.pml @@ -32,66 +32,66 @@ priority (255) process in a different address space 32 A9/i.MX6/Sabre 1.0 GHz - 655 - (14) + 653 + (15) 317 (2) - 341 - (4) - 917 - (12) + 335 + (3) + 916 + (13) x86_64 64 i7-4770/Haswell 3.4 GHz - 1840 - (278) - 622 - (5) + 1833 + (286) + 629 + (3) 637 (2) - 1433 - (78) + 1440 + (77) x86_64 64 i7-6700/Skylake (without meltdown mitigation) 3.4 GHz - 1307 - (206) - 383 - (4) + 1237 + (207) + 380 + (3) 389 - (2) - 770 + (3) + 764 (81) Armv8a 64 A57/Tx1/Jetson 1.9 GHz - 869 - (32) - 402 - (0) - 418 + 872 + (40) + 403 (6) - 913 - (7) + 408 + (0) + 888 + (24) RV64IMAC 64 U54-MC/SiFive Freedom U540/Hifive 1.5 GHz - 961 - (33) - 515 - (123) - 632 - (16) - 1366 - (67) + 980 + (88) + 493 + (86) + 640 + (28) + 1377 + (77)

MCS

@@ -110,66 +110,66 @@ priority (255) process in a different address space 32 A9/i.MX6/Sabre 1.0 GHz - 848 - (15) - 323 + 851 + (16) + 324 (2) 363 - (3) - 1203 - (20) + (2) + 1174 + (18) x86_64 64 i7-4770/Haswell 3.4 GHz - 2093 - (476) - 651 - (13) - 648 - (4) - 1694 - (10) + 2167 + (467) + 640 + (15) + 642 + (2) + 1696 + (11) x86_64 64 i7-6700/Skylake (without meltdown mitigation) 3.4 GHz - 1647 + 1652 (332) - 383 - (3) - 407 - (6) - 1065 - (9) + 382 + (2) + 410 + (5) + 1064 + (11) Armv8a 64 A57/Tx1/Jetson 1.9 GHz - 949 - (29) - 417 - (9) - 434 - (13) - 983 - (14) + 943 + (19) + 418 + (11) + 430 + (3) + 966 + (17) RV64IMAC 64 U54-MC/SiFive Freedom U540/Hifive 1.5 GHz - 1978 - (39) - 687 - (60) - 870 - (89) - 2596 - (89) + 1974 + (35) + 684 + (53) + 856 + (30) + 2591 + (99)

Compilation Details

@@ -268,4 +268,4 @@ docker file repository

Default

Source Code

-

This page was generated on 2023-08-22 for sel4bench-manifest c0720bc5.

\ No newline at end of file +

This page was generated on 2023-08-23 for sel4bench-manifest 4eab9508.

\ No newline at end of file