用于多租户应用程序的基于SLA的云资源供应优化机制