Composable Asynchronous Events

作者：Ziarek Lukasz^*; Sivaramakrishnan K C; Jagannathan Suresh

来源：ACM Sigplan Notices, 2011, 46(6): 628-639.

DOI：10.1145/1993316.1993572

• Design
• Languages
• Theory
• Asynchrony
• Concurrent ML
• First-Class Events
• Composability
• Message-Passing

Although asynchronous communication is an important feature of many concurrent systems, building composable abstractions that leverage asynchrony is challenging. This is because an asynchronous operation necessarily involves two distinct threads of control - the thread that initiates the operation, and the thread that discharges it. Existing attempts to marry composability with asynchrony either entail sacrificing performance (by limiting the degree of asynchrony permitted), or modularity (by forcing natural abstraction boundaries to be broken).
In this paper, we present the design and rationale for asynchronous events, an abstraction that enables composable construction of complex asynchronous protocols without sacrificing the benefits of abstraction or performance. Asynchronous events are realized in the context of Concurrent ML's first-class event abstraction [16]. We discuss the definition of a number of useful asynchronous abstractions that can be built on top of asynchronous events (e. g., composable callbacks) and provide a detailed case study of how asynchronous events can be used to substantially improve the modularity and performance of an I/O-intensive highly concurrent server application.

• 出版日期2011-6