Unifying Events and Threads: Language Support for Network Services

统一事件和线程：网络服务的语言支持

• 批准号: 0541040
• 负责人: Stephan Zdancewic
• 金额: --
• 依托单位: University of Pennsylvania
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-08-01 至 2010-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0541040&HistoricalAwards=false
• 关键词: Unifying; Events; Threads; Language; Support

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.

统一事件和线程：网络服务的语言支持本研究调查了基于语言的技术，这些技术为推理和实现大规模并发网络服务（如Web服务器、游戏、聊天室和对等应用程序）提供了更好的抽象。 核心思想是统一多线程和事件驱动的并发模型，提供两种编程风格的优点。 这个统一的并发模型在内部以连续传递的方式构造代码，并使用monad的类型理论方法在系统的线程和事件视图之间进行调解。首先，将使用Haskell编程语言构建一个高性能的Web服务器来测试这种方法。 在这一阶段工作取得的经验的推动下，研究的其余部分将集中在两个方面推广这一方法。 首先，将研究设计大型网络服务堆栈的分层方法。 其次，将探讨如何使抽象适应多处理器体系结构。 这两个阶段的研究都将利用表达性静态类型系统来消除抽象边界引入的开销，并允许程序员利用并行性。 这项研究的预期成果是改进的编程语言支持和设计方法，构建强大的，高并发的软件。