ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

timeout x86_64 sel4: do not expect a precise time 

On x86 64 bit with SeL4, the test needs around 80MB that must be
completely composed of 4KB-pages due to current limitations of the SeL4
port. Thus, Core must flush the page table caches pretty often during
the test which is an expensive high-prior operation and makes it
impossible to provide a highly precise time.
This commit is contained in:
Martin Stein 2017-11-28 10:41:15 +01:00 committed by Christian Helmuth
parent 99ddaaa9d7
commit 3d12e7b242
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
repos/os/run/timeout.run
View File

@ -33,6 +33,15 @@ proc precise_time { } {
#
if {[expr [have_spec arm] && ![have_spec hw]]} { return false }
#
# On x86 64 bit with SeL4, the test needs around 80MB that must be
# completely composed of 4KB-pages due to current limitations of the SeL4
# port. Thus, Core must flush the page table caches pretty often during
# the test which is an expensive high-prior operation and makes it
# impossible to provide a highly precise time.
#
if {[have_spec x86_64] && [have_spec sel4]} { return false }
#
# Older x86 machines do not have an invariant timestamp
#