• Deutsch
  • English

Unifying Events and Threads: Language Support for Network Services

Dimension Value
  • Discipline
  • Engineering Sciences
    • Computer Science
  • Project Working Hours
  • Not Specified
  • Research Study Hybrid Value Creation
  • Not Specified
  • Funding Institutions
  • National governmental Funding
    • Other
  • Other Funding Institutions
  • National Science Foundation
Contact Person/s: Dr. Stephan Zdancewic

Unifying Events and Threads: Language Support for Network Services ()

This 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 type systems 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.

This project was described byAdmin Istrator (20. June 2011 - 12:32)
This project was last edited by Sanja Tumbas (9. July 2012 - 23:38)

Further information

This Project is related to the following Organization/s