Profitability-based power allocation for speculative multithreaded systems.