文章基本信息

标题：Programming Idioms for Transactional Events
本地全文：下载
作者：Matthew Kehrt ; Laura Effinger-Dean ; Michael Schmitz 等
期刊名称：Electronic Proceedings in Theoretical Computer Science
电子版ISSN：2075-2180
出版年度：2009
卷号：17
页码：43-48
DOI：10.4204/EPTCS.17.4
出版社：Open Publishing Association
摘要：Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and its implementation. This paper considers programming idioms, particularly those that vary unexpectedly from the corresponding CML idioms. First, we solve a subtle problem with client-server protocols in TE. Second, we argue that CML's wrap and guard primitives do not translate well to TE, and we suggest useful workarounds. Finally, we discuss how to rewrite CML protocols that use abort actions.