Performance

This page displays the latest benchmark numbers for seL4 from the publicly available sel4bench repository.

Benchmark results

HardwareIRQ path cycle countIPC microbenchmark, client→serverIPC microbenchmark, server→clientSabre I.mx6 (Cortex A9 @1GHz)645301321SkyLake (IA32 @3.4GHz)1186358356SkyLake (X64 @3.4GHz)1652624631SkyLake with no meltdown mitigations (X64 @3.4GHz)1217402404Jetson TX1 AARCH64 (Cortex A57 @1.9GHz)855380385HiFive Unleashed (RISC-V @1.5GHz)1000.5476.5527.5

IRQ path cycle count
Time in cycles to invoke a user-level interrupt handler running in the same address space as the interrupted thread.

IPC benchmark, client→server
Time in cycles for half an IPC between address spaces.

IPC Benchmark, server→client
Time in cycles for the IPC reply between address spaces.

Compilation details

HardwareCompilerBuild commandDocker imageSabre I.mx6 (Cortex A9 @1GHz)arm-linux-gnueabi-gcc GNU 8.3.0../init-build.sh -DPLATFORM=sabre -DHARDWARE=TRUE -DAARCH32=TRUE -DRELEASE=TRUE -DFAULT=TRUE -DFASTPATH=TRUEtrustworthysystems/sel4SkyLake (IA32 @3.4GHz)gcc GNU 8.4.0../init-build.sh -DPLATFORM=ia32 -DHARDWARE=TRUE -DRELEASE=TRUE -DFAULT=TRUE -DFASTPATH=TRUEtrustworthysystems/sel4SkyLake (X64 @3.4GHz)gcc GNU 8.4.0../init-build.sh -DPLATFORM=x86_64 -DHARDWARE=TRUE -DRELEASE=TRUE -DFAULT=TRUE -DFASTPATH=TRUEtrustworthysystems/sel4SkyLake with no meltdown mitigations (X64 @3.4GHz)gcc GNU 8.4.0../init-build.sh -DPLATFORM=x86_64 -DKernelArch=x86 -DHARDWARE=TRUE -DKernelSkimWindow=FALSE -DRELEASE=TRUE -DFAULT=TRUE -DFASTPATH=TRUEtrustworthysystems/sel4Jetson TX1 AARCH64 (Cortex A57 @1.9GHz)aarch64-linux-gnu-gcc GNU 8.3.0../init-build.sh -DPLATFORM=tx1 -DHARDWARE=TRUE -DAARCH64=TRUE -DRELEASE=TRUE -DFAULT=TRUE -DFASTPATH=TRUEtrustworthysystems/sel4HiFive Unleashed (RISC-V @1.5GHz)riscv64-unknown-linux-gnu-gcc GNU 10.2.0../init-build.sh -DPLATFORM=hifive -DHARDWARE=TRUE -DRELEASE=TRUE -DFAULT=TRUE -DFASTPATH=TRUE -DRISCV64=TRUEtrustworthysystems/sel4-riscv

Source code

RepositoryCommitGitHub sel4bench-manifest83d4476132418c37b3a712d3ee190ae1c0490764