×

基于离散实时和随机过程代数的分布式系统性能评估。 (英语) Zbl 1215.68049号

摘要:我们提出了一个用于离散时间离散事件系统性能评估的过程代数框架。系统的建模建立在具有条件分布离散时间延迟和一般分布随机延迟的过程代数上。在一般情况下,通过离散事件模拟,使用建模语言的工具集进行性能分析。进程代数设置允许并行组合和最大进程运算符的扩展律,因此可以直接操作进程项并以所需的形式转换规范。通过指定和求解\(G/G/1/\ infty \)队列的递归规范来说明这种方法,以及通过指定具有一般分布的不可靠信道的并发交替比特协议的变体。在假设所有延迟都是确定性的特定情况下,我们转向概率定时系统的性能分析。
这项工作使用了离散时间概率奖赏图,其中包括确定性延迟和即时概率选择。在这里,我们扩展了之前对该主题的研究,其中只涉及长期分析,以处理瞬态分析。获得的理论结果允许我们扩展\(\ chi\)-工具集。为了便于说明,我们使用离散事件模拟对一般分布信道、开发的确定性信道分析方法以及指数分布延迟的马尔科夫分析,分析了工具集扩展环境中的并发交替比特协议。

MSC公司:

68平方米 计算机系统环境下的性能评估、排队和调度
64岁以下 分布式系统
第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

MoDeST公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部