Here's an IBM article showing Linux running faster on a hyper-threaded CPU: http://www-106.ibm.com/developerworks/linux/library/l-htl/?ca=dgr-lnxw01HyperThread