事务事件的编程习惯用法
Programming Idioms for Transactional Events
摘要：
transmittance events（TE）是Concurrent ML（CML）的扩展，CML是一种同步消息传递的编程模型。以前的工作主要集中在TE的形式语义及其实现。本文考虑编程习惯用法，特别是那些与对应的CML习惯用法意外不同的编程习惯用法。首先，我们解决了TE中客户端-服务器协议的一个微妙问题。其次，我们认为，CML的包装和保护原语不翻译以及TE，我们建议有用的变通办法。最后，我们讨论了如何重写CML协议，使用中止动作。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
