About Publications Downloads Related Projects Team L4hq.org  
 
Projects
Pistachio
Kickstart
Download
Virtualization
Pre-virtualization
Device Drivers
Multiprocessor
Marzipan
BurnNT
Download
IDL4
Release Notes
Documentation
Download
Persistence
Hazelnut
Download
Getting started
 
Miscellaneous
Mailing lists
Tools
VMwareGateway
Workshops
Google L4Ka.org:
 
 

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.

   
 
 
 
  Mail to webmaster   © 2000-2010 University of Karlsruhe