arXiv 1602.088632016-02-29cs.PL

实践中的舞蹈

Choreographies in Practice

Luís Cruz-Filipe, Fabrizio Montesi

DOI：: 10.1007/978-3-319-39570-8_8

摘要：

Choreographic Programming是一种并发软件的开发方法，通过构造来保证正确性。这种模式的关键是不允许程序中不匹配的I/O操作，称为编排，然后通过称为端点投影（EPP）的机制根据标准流程模型机械地合成分布式实现。尽管编排编程的承诺，仍然缺乏实际的评估，说明了具体的计算问题与标准的并发解决方案的编排的适用性。在这项工作中，我们探索的潜力编排使用程序编排（PC），我们最近提出的一个模型，编写分布式算法排序（快速排序），求解线性方程组（高斯消除），计算快速傅立叶变换。我们讨论了从这个实验中吸取的教训，为编排语言的使用和未来的改进提供了可能的方向。

英文摘要：

Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O operations in programs, called choreographies, and then mechanically synthesise distributed implementations in terms of standard process models via a mechanism known as EndPoint Projection (EPP). Despite the promise of choreographic programming, there is still a lack of practical evaluations that illustrate the applicability of choreographies to concrete computational problems with standard concurrent solutions. In this work, we explore the potential of choreographies by using Procedural Choreographies (PC), a model that we recently proposed, to write distributed algorithms for sorting (Quicksort), solving linear equations (Gaussian elimination), and computing Fast Fourier Transform. We discuss the lessons learned from this experiment, giving possible directions for the usage and future improvements of choreography languages.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

摘要：

英文摘要：

相关论文