Progress Report – Microkernel2013/03/21

Benchmark SurveyJemBench

◦Sequential Micro Benchmarks, Kernel Benchmarks,

Application Benchmarks

◦Multithreaded Parallel Benchmarks, Streaming �

Benchmarks

AnTuTuSmartBench 2012GeekBench

AnTuTuAnTuTu Test Suite

◦2013/01◦Charge

AnTuTu Benchmark◦Free on Google Play

http://cn.antutu.com/index.shtml

SmartBench 2012A multi-core friendly benchmark

application that measures the overall performance of a smartphone.

Reports both Productivity and Gaming Index.

Last updated: 2012/01/28

GeekbenchProvides a comprehensive set of

benchmarks engineered to quickly and accurately measure processor and memory performance.

Available for a variety of platforms:◦Windows, Mac, Linux, Android,

BlackBerry, and iPhone.◦NT. 30 on Google Play.◦Source code available for Linux

version.http://www.primatelabs.com/geekbench/

Geekbench(Cont.)Measures the following performance:

◦Integer Performance encrypts and decrypts values in memory;

compress and decompress text file and image in memory; find prime numbers below 200,000.

◦Floating Point Performance◦Memory Performance

Load and store values between memory and registers; allocates and deallocates blocks of memory;…

◦Stream Performance

Something ElseFiasco and L4Linux on

pandaboard

NextMulti VM instances on

pandaboardL4RE Documentation study

◦RE: Runtime Environment◦MOE and Sigma0