L4Ka Project

L4Ka::Pistachio/amd64 Performance

The performance measurements were performed on the following system configuration:

  • AMD Opteron 242, 1.6GHz
    flush filter enabled

The following graph shows incremental costs for transfering larger messages of untyped message registers. The benchmark was performed using pingpong and with FastPath—a hand-optimized assembler IPC path—enabled. The kernel was compiled with GCC 3.3.

A full context switch on this system takes about 0.14µs.