Departmental Papers (CIS)

Date of this Version

June 2007

Document Type

Conference Paper

Comments

Postprint version. Published in ACM SIGPLAN Notices, Proceedings of the PLDI 2007 Conference, Volume 42, Issue 6, June 2007, pages 189-199.
Publisher URL: http://doi.acm.org/10.1145/1273442.1250756

Abstract

This paper proposes to combine two seemingly opposed programming models for building massively concurrent network services: the event-driven model and the multithreaded model. The result is a hybrid design that offers the best of both worlds—the ease of use and expressiveness of threads and the flexibility and performance of events.

This paper shows how the hybrid model can be implemented entirely at the application level using concurrency monads in Haskell, which provides type-safe abstractions for both events and threads. This approach simplifies the development of massively concurrent software in a way that scales to real-world network services. The Haskell implementation supports exceptions, symmetrical multiprocessing, software transactional memory, asynchronous I/O mechanisms and application-level network protocol stacks. Experimental results demonstrate that this monad-based approach has good performance: the threads are extremely lightweight (scaling to ten million threads), and the I/O performance compares favorably to that of Linux NPTL.

Share

COinS
 

Date Posted: 19 March 2008

This document has been peer reviewed.