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.
|