具有进程创建和同步的概率并行程序
On Probabilistic Parallel Programs with Process Creation and Synchronisation
摘要：
我们开始研究的概率并行程序与动态进程的创建和同步。为此，我们引入概率分裂-连接系统（PSJS），并行程序的模型，概括了概率下推系统（一个模型，顺序概率过程程序，相当于递归马尔可夫链）和随机分支过程（一个经典的数学模型，在各个领域的应用，如生物学，物理学和语言处理）。我们的pSJS模型允许并行进程的递归生成;生成的进程可以同步并返回值。我们研究了pSJS的基本性能指标，特别是空间，工作和时间的分配和期望。我们的结果扩展和改进先前已知的结果所包含的模型。我们还展示了如何在实践中进行性能分析，并提出了两个案例研究，说明了建模能力的PSJS。
英文摘要：
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a model for parallel programs, generalising both probabilistic pushdown systems (a model for sequential probabilistic procedural programs which is equivalent to recursive Markov chains) and stochastic branching processes (a classical mathematical model with applications in various areas such as biology, physics, and language processing). Our pSJS model allows for a possibly recursive spawning of parallel processes; the spawned processes can synchronise and return values. We study the basic performance measures of pSJSs, especially the distribution and expectation of space, work and time. Our results extend and improve previously known results on the subsumed models. We also show how to do performance analysis in practice, and present two case studies illustrating the modelling power of pSJSs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
