Virtual Machine Execution Control Services