search

seL4 / sel4bench

sel4 benchmarking applications and support library.
Other
18 stars 30 forks source link

trace_clearMemory: Add benchmark for clearMemory #6

Closed kent-mcleod closed 2 years ago

kent-mcleod commented 3 years ago

This app measures the cycle count for performing clearMemory operations while resetting untyped objects. It performs 100 retyping operations of a 4K sized untyped. Each retype after the first retype will cause the kernel to clear the memory from the object via multiple calls to clearMemory. clearMemory is an internal kernel function that resets the memory of an untyped object in chunks that can be preempted. The chunk size can be controlled by the KernelResetChunkBits option. The larger the chunk size, the longer the kernel will take between preemption points. This affects interrupt latency. However the less preemption checking that the kernel does will result in retyping completing faster. This behavior can be tuned via what KernelResetChunkBits gets set to. The tradeoffs will be different on different platforms as clearMemory will have different behavior based on the caching and memory architecture of each platform the kernel is run on.

Signed-off-by: Kent McLeod kent@kry10.com

axel-h commented 2 years ago

@kent-mcleod Are you planning to merge this PR?

kent-mcleod commented 2 years ago

Closing because I don't plan on merging in the near future.