异步并发编程的等式建模-Archive ouverte HAL
通信Dans Un Congrès Anneée:2020年

异步并发编程的等式建模

大卫·贾宁
Bordelais de Recherche en Informatique实验室
个人简历

Résumé

异步并发编程是一种广泛应用的技术，它提供了一些简单的并发原语，这些原语受到限制，导致生成的并发程序没有死锁。在本文中，我们开发、研究并扩展了底层应用程序程序员接口的形式化模型。为此，我们通过将monad引用唯一绑定到运行monad操作以及相关的异步原语fork和read的概念，正式定义了monad的扩展。预期的语义是通过两系列方程式来指定的，这两个方程式将这些扩展原语的行为与底层的单子原语联系起来。由于这些方程，我们恢复了承诺的一个相当一般的概念，并证明了它们诱导了一个与底层单体同构的单体。我们还展示了同步和异步反应式数据流编程是如何最终从异步并发的形式化中派生出来的，从一元操作到一元操作流，统一地提升fork和read原语。我们的提案通过Haskell IO monad的具体扩展进行了全面说明，该扩展允许证明所提出的方程的可靠性和所得到的API的适用性。

与葡萄园

逻辑[math.LO] 多媒体[cs.MM] Théorie et langage formel[法语] 儿子[cs.SD] 语言编程[cs.PL]
菲奇尔校长
无花果树
Janin-TFP2020.pdf（265.62 Ko） 特勒充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

大卫·贾宁 : 连接您的联系人和贡献者

https://hal.science/hal-02865894

Soumis le:2020-09:58:31年12月12日

Dernière修改le:vendredi 5 avril 2024-09:25:54

Télé充电器倒可视化

日期和版本

哈尔-02865894， 版本1 (12-06-2020)

身份证明人

  • HAL Id： hal-02865894，版本1

Citer公司

大卫·贾宁。异步并发编程的等式建模。第21届函数式程序设计趋势国际研讨会Aleksander Byrski和John Hugues，2020年2月，波兰克拉科夫。⟨哈尔-02865894⟩

出口商

BibTeX公司 XML-TEI公司 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

中国科学院
71 磋商
321 交易费用

合作伙伴

更多