Measuring and Modeling Hyper-threaded Processor Performance