Tumblelog by Soup.io
Newer posts are loading.
You are at the newest post.
Click here to check if anything new just came in.

December 18 2013

Mio: A High-Performance Multicore IO Manager for GHC

Evaluations of the GHC RTS [...] show that it does not scale well on multicore processors, leading to poor performance of many network applications that try to use lightweight Haskell threads. In this paper, we show that the GHC IO manager, which is a crucial component of the GHC RTS, is the scaling bottleneck. Through a series of experiments, we identify key data structure, scheduling, and dispatching bottlenecks of the GHC IO manager. We then design a new multicore IO manager named Mio that eliminates all these bottlenecks. Our evaluations show that the new Mio manager improves realistic web server throughput by 6.5x and reduces expected web server response time by 5.7x. We also show that with Mio, McNettle (an SDN controller written in Haskell) can scale effectively to 40+ cores, reach a throughput of over 20 million new requests per second on a single machine, and hence become the fastest of all existing SDN controllers.

Mio: A High-Performance Multicore IO Manager for GHC

Evaluations of the GHC RTS [...] show that it does not scale well on multicore processors, leading to poor performance of many network applications that try to use lightweight Haskell threads. In this paper, we show that the GHC IO manager, which is a crucial component of the GHC RTS, is the scaling bottleneck. Through a series of experiments, we identify key data structure, scheduling, and dispatching bottlenecks of the GHC IO manager. We then design a new multicore IO manager named Mio that eliminates all these bottlenecks. Our evaluations show that the new Mio manager improves realistic web server throughput by 6.5x and reduces expected web server response time by 5.7x. We also show that with Mio, McNettle (an SDN controller written in Haskell) can scale effectively to 40+ cores, reach a throughput of over 20 million new requests per second on a single machine, and hence become the fastest of all existing SDN controllers.

December 26 2012

A History of Haskell - Being Lazy With Class

Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler - This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.

A History of Haskell - Being Lazy With Class

Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler - This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.

Theorems for free!

Philip Wadler - From the type of a polymorphic function we can derive a theorem that it satisfies. Every function of the same type satisfies the same theorem. This provides a free source of useful theorems, courtesy of Reynolds' abstraction theorem for the polymorphic lambda calculus.

Theorems for free!

Philip Wadler - From the type of a polymorphic function we can derive a theorem that it satisfies. Every function of the same type satisfies the same theorem. This provides a free source of useful theorems, courtesy of Reynolds' abstraction theorem for the polymorphic lambda calculus.

September 05 2012

Composing Dataflow Analyses and Transformations

Sorin Lerner, David Grove, and Craig Chambers POPL '02

Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation

Norman Ramsey, John Dias, and Simon Peyton Jones. Haskell Symposium 2010.

August 24 2011

June 21 2010

December 24 2009

December 02 2009

Cooperative Task Management without Manual Stack Management

Atul Adya, Jon Howell, Marvin Theimer, William J. Bolosky, John R. Douceur

November 09 2009

Multi-Finger Interactions with Papers on Augmented Tabletops

Son Do-Lenh, Frederic Kaplan, Akshit Sharma, Pierre Dillenbourg

November 05 2009

November 03 2009

Dustminer: Troubleshooting Interactive Complexity Bugs in Sensor Networks

Mohammad Maifi Hasan Khan, Hieu Khac Le, Hossein Ahmadi, Tarek F. Abdelzaher, Jiawei Han

October 19 2009

October 06 2009

Semantic Patches

Yoann Padioleau, Julia L. Lawall, Gilles Muller
Older posts are this way If this message doesn't go away, click anywhere on the page to continue loading posts.
Could not load more posts
Maybe Soup is currently being updated? I'll try again automatically in a few seconds...
Just a second, loading more posts...
You've reached the end.

Don't be the product, buy the product!

Schweinderl