资源分配是云计算的核心之一,对云计算资源分配算法的性能进行评价可为云计算平台设计提供指导。讨论了两种云计算资源分配算法,提出了一种基于PEPA的资源分配算法的性能评价模型,该模型通过建立云计算系统中各组件之间的交互关系进行形式化分析和推理,获得了云计算系统性能的评价指标。实验通过分析资源分配过程中不同参数变化对系统性能的影响,结果表明,PEPA模型方法可以直接评估资源分配算法性能的优劣,并能够确定算法性能提升的关键因素,从而减少云平台设计过程的周期。
1
进程代数的课件,主要是针对Introduction to Process Algebra这本书的
2019-12-21 22:20:12 417KB 进程代数
1
由我自己整理的对形式化方法中的进程代数给了一个总体的概览,因为国内做这个方向的不过,而且中文资料少得可怜,仅以分享。
2019-12-21 18:52:37 524KB 进程代数 形式化方法
1