纯并行过程的定量研究
编程语言
2016-05-05 v1
摘要
本文研究了并发理论中通常用于表征并行性的交错（或纯合并）算子。该算子是导致所谓组合爆炸的主要原因，使得从计算复杂性的角度来看，通过模型检测等方法分析过程行为变得非常困难。我们方法的原创性在于利用高级解析组合学技术，平均地研究这种组合爆炸现象。我们研究了有助于更好地理解表示为平面有根树的过程行为的各种度量：运行次数（对应于树的宽度）、树的期望总大小以及它们的整体形状。我们还展示了定量研究的两个实际成果：(1) 一种用于计算并发运行前缀概率的线性时间算法，以及 (2) 一种用于并发运行均匀随机采样的高效算法。这些为组合爆炸问题提供了有趣的解决方案。
引用
@article{arxiv.1407.1873,
title = {A Quantitative Study of Pure Parallel Processes},
author = {Olivier Bodini and Antoine Genitrini and Frédéric Peschanski},
journal= {arXiv preprint arXiv:1407.1873},
year = {2016}
}