US8561068B2 - Optimizing Processor-Managed Resources Based on the Behavior of a Virtual Machine Monitor