Unifying Events and Threads: Language Support for Network Services

Zdancewic，来自宾夕法尼亚州的Stephan A.U统一事件和线程：网络服务的语言支持这项研究调查了基于语言的技术，这些技术为推理和实现大规模并发网络服务(如Web服务器、游戏、聊天室和对等应用程序)提供了更好的抽象。其核心思想是统一多线程和事件驱动的并发模型，提供这两种编程风格的优点。这种统一的并发模型在内部以延续传递的方式构造代码，并使用Monad的类型理论方法在系统的线程和事件视图之间进行调解，该方法将首先通过使用Haskell编程语言构建高性能的Web服务器进行测试。在这一工作阶段获得的经验的推动下，其余的研究将集中于以两种方式扩大方法。首先，我们将研究设计大型网络服务堆栈的分层方法。其次，将探索使抽象适应多处理器体系结构的方法。这两个阶段的研究都将利用富有表现力的静态类型系统，以消除抽象边界带来的开销，并允许程序员利用并行性。这项研究的预期结果是改进编程语言支持和设计方法，以构建健壮的、高度并发的软件。

ABSTRACT0541040Zdancewic, Stephan A.U of PennsylvaniaUnifying Events and Threads: Language Support for Network ServicesThis research investigates language-based techniques that provide better abstractions for reasoning about and implementing massively concurrent network services such as web servers, games, chat rooms, and peer-to-peer applications. The core idea is to unify the multithreaded and event-driven models of concurrency, providing the benefits of both styles of programming. This unified concurrency model internally structures code in continuation-passing style and uses the type theoretic approach of monads to mediate between the thread and event views of the system.The approach will be tested first by building a high-performance web server using the Haskell programming language. Driven by the experience gained in that phase of the work, the remainder of the research will concentrate on scaling up the methodology in two ways. First, a layered approach to designing large network service stacks will be investigated. Second, ways of adapting the abstractions to work for multiprocessor architectures will be explored. Both of these phases of the research will draw on expressive static typesystems to eliminate overheads introduced by abstraction boundaries and allow programmers to exploit parallelism. The expected outcome of this research is improved programming language support and design methodologies for building robust, highly concurrent software.