Filters








1,324 Hits in 1.8 sec

Asynchronous exceptions in Haskell

Simon Marlow, Simon Peyton Jones, Andrew Moran, John Reppy
2001 SIGPLAN notices  
We extend our earlier work, in which we added synchronous exceptions to Haskell, to support asynchronous exceptions too.  ...  Asynchronous exceptions, such as timeouts, are important for robust, modular programs, but are extremely difficult to program with -so much so that most programming languages either heavily restrict them  ...  We are also grateful to Claus Reinke for his very detailed comments on an earlier draft of this paper, which, apart from improving the paper generally, led to the correction of a bug in the semantics.  ... 
doi:10.1145/381694.378858 fatcat:m6fufc7xhbdr7j526e6bvxfgfm

Asynchronous exceptions in Haskell

Simon Marlow, Simon Peyton Jones, Andrew Moran, John Reppy
2001 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01  
We extend our earlier work, in which we added synchronous exceptions to Haskell, to support asynchronous exceptions too.  ...  Asynchronous exceptions, such as timeouts, are important for robust, modular programs, but are extremely difficult to program with -so much so that most programming languages either heavily restrict them  ...  We are also grateful to Claus Reinke for his very detailed comments on an earlier draft of this paper, which, apart from improving the paper generally, led to the correction of a bug in the semantics.  ... 
doi:10.1145/378795.378858 dblp:conf/pldi/MarlowJMR01 fatcat:3du7danct5bsdh7m3vtk7tv2bu

Developing High-Performance Server Applications in Haskell, Case Study: A Haskell Web Server

Simon Marlow
2001 Electronical Notes in Theoretical Computer Science  
This paper describes a prototype web server written in Concurrent Haskell, and presents two useful results: firstly, a conforming server could be written with minimal effort, leading to an implementation  ...  in less than 1500 lines of code, and secondly the naive implementation produced reasonable performance.  ...  In order to achieve this, we had to make use of a number of extensions to Haskell, the main ones being concurrency and exceptions.  ... 
doi:10.1016/s1571-0661(05)80548-1 fatcat:a7x5prwgf5ga7j46dgs66jb6yu

A semantics for imprecise exceptions

Simon Peyton Jones, Alastair Reid, Fergus Henderson, Tony Hoare, Simon Marlow
1999 Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation - PLDI '99  
In this paper we propose a design for imprecise exceptions in the lazy functional programming language Haskell.  ...  We sketch a precise semantics for the language extended with exceptions. The paper shows how to extend Haskell with exceptions without crippling the language or its compilers.  ...  Programs written in a monadic style have many fewer transformations than their pure counterparts. We elaborate on this problem in Section 3. No asynchronous exceptions.  ... 
doi:10.1145/301618.301637 dblp:conf/pldi/JonesRHHM99 fatcat:cy4bbxdztnhq5gejo5ursurfsy

A semantics for imprecise exceptions

Simon Peyton Jones, Alastair Reid, Fergus Henderson, Tony Hoare, Simon Marlow
1999 SIGPLAN notices  
In this paper we propose a design for imprecise exceptions in the lazy functional programming language Haskell.  ...  We sketch a precise semantics for the language extended with exceptions. The paper shows how to extend Haskell with exceptions without crippling the language or its compilers.  ...  Programs written in a monadic style have many fewer transformations than their pure counterparts. We elaborate on this problem in Section 3. No asynchronous exceptions.  ... 
doi:10.1145/301631.301637 fatcat:42jaa64v5zavpic6hbo7geqd5y

Parallel and Concurrent Programming in Haskell [chapter]

Simon Marlow
2012 Lecture Notes in Computer Science  
For example, stack overflow and user interrupt (e.g. control-C at the console) are mapped to asynchronous exceptions in Haskell.  ...  Inside a mask, asynchronous exceptions are no longer asynchronous, but they can still be raised by certain operations. In other words, asynchronous exceptions become synchronous inside mask.  ...  This would introduce a vast amount of complexity in the implementation, and it is not at all clear that it is a good feature to allow.  ... 
doi:10.1007/978-3-642-32096-5_7 fatcat:vaj62c3ijre3nof5dchrrlfv4m

ABS: A High-Level Modeling Language for Cloud-Aware Programming [chapter]

Nikolaos Bezirgiannis, Frank de Boer
2016 Lecture Notes in Computer Science  
ABS models are executed by transforming them to distributed-object Haskell code.  ...  In this paper we introduce a programming language that allows Cloud applications to monitor and control their own deployment.  ...  kill() ; Exceptions originating from asynchronous method calls are recorded in the future values and propagated to their callers.  ... 
doi:10.1007/978-3-662-49192-8_35 fatcat:dip4ctemnjaxnlke42s5nbx67q

Dynamic space limits for Haskell

Edward Z. Yang, David Mazières
2014 SIGPLAN notices  
Our system is implemented in GHC, a production-strength compiler for Haskell.  ...  Our system is distinguished by a clear allocator-pays semantics drawn from previous experience with profiling in Haskell and an implementation strategy which uses a block-structured heap to organize containers  ...  Acknowledgments We thank Deian Stefan and Stefan Heule for many useful comments and assistance in preparing the paper, as well as several anonymous referees.  ... 
doi:10.1145/2666356.2594341 fatcat:rktcyiaaznh6xjgfxj2d6tlxqu

Dynamic space limits for Haskell

Edward Z. Yang, David Mazières
2013 Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14  
Our system is implemented in GHC, a production-strength compiler for Haskell.  ...  Our system is distinguished by a clear allocator-pays semantics drawn from previous experience with profiling in Haskell and an implementation strategy which uses a block-structured heap to organize containers  ...  Acknowledgments We thank Deian Stefan and Stefan Heule for many useful comments and assistance in preparing the paper, as well as several anonymous referees.  ... 
doi:10.1145/2594291.2594341 dblp:conf/pldi/YangM14 fatcat:6qt6bvnkaze5xloty6yts4ktxa

Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives

Peng Li, Steve Zdancewic
2007 SIGPLAN notices  
The Haskell implementation supports exceptions, symmetrical multiprocessing, software transactional memory, asynchronous I/O mechanisms and application-level network protocol stacks.  ...  The Haskell implementation supports exceptions, symmetrical multiprocessing, software transactional memory, asynchronous I/O mechanisms and application-level network protocol stacks.  ...  In addition, we would like to thank the PLDI reviewers for their valuable comments and extensive proofreading of the original draft. This work is supported by NSF grant CCF-0541040.  ... 
doi:10.1145/1273442.1250756 fatcat:rznvhyqnf5blzki42yggppjqru

Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives

Peng Li, Steve Zdancewic
2007 Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07  
The Haskell implementation supports exceptions, symmetrical multiprocessing, software transactional memory, asynchronous I/O mechanisms and application-level network protocol stacks.  ...  The Haskell implementation supports exceptions, symmetrical multiprocessing, software transactional memory, asynchronous I/O mechanisms and application-level network protocol stacks.  ...  In addition, we would like to thank the PLDI reviewers for their valuable comments and extensive proofreading of the original draft. This work is supported by NSF grant CCF-0541040.  ... 
doi:10.1145/1250734.1250756 dblp:conf/pldi/LiZ07 fatcat:i4llijobbfdyhafhodhiiznfma

Fault Model Design Space for Cooperative Concurrency [chapter]

Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
2014 Lecture Notes in Computer Science  
-Not by the asynchronous method invocation -By the get on the corresponding future -Possibly by the await - Other methods/objects may be influenced by the exception -In particular, for uncaught exceptions  ...   Exceptions are managed using try ... catch ...  Exceptions may be generated -By the throw e command -By normal commands, such as x:=y/0; -By errors in a remote communication » Asynchronous method invocation  ... 
doi:10.1007/978-3-662-45231-8_3 fatcat:uq4dkkyfmnasfdvwk35llh33ta

Lightweight concurrency primitives for GHC

Peng Li, Simon Marlow, Simon Peyton Jones, Andrew Tolmach
2007 Proceedings of the ACM SIGPLAN workshop on Haskell workshop - Haskell '07  
software libraries written in Haskell.  ...  The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code.  ...  Acknowledgments We would like to thank Tim Harris, Norman Ramsey and Olin Shivers for their warmhearted participation in discussing the new RTS design.  ... 
doi:10.1145/1291201.1291217 dblp:conf/haskell/LiMJT07 fatcat:3sztc6betreyreu6no5gvzcewq

The remote monad design pattern

Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton
2015 Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015  
Finally, we discuss existing instances of the remote monad design pattern found in Haskell libraries.  ...  This gives the Haskell community access to remote capabilities that are not directly supported, at a surprisingly inexpensive cost.  ...  The icons in the sequence diagrams were created by Tomoyuki Miyano, and made available online, at http:/iconarchive.com/.  ... 
doi:10.1145/2804302.2804311 dblp:conf/haskell/GillSDEFGRSS15 fatcat:3grgan5tdncv7p54n52fk5y27y

The remote monad design pattern

Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton
2015 SIGPLAN notices  
Finally, we discuss existing instances of the remote monad design pattern found in Haskell libraries.  ...  This gives the Haskell community access to remote capabilities that are not directly supported, at a surprisingly inexpensive cost.  ...  The icons in the sequence diagrams were created by Tomoyuki Miyano, and made available online, at http:/iconarchive.com/.  ... 
doi:10.1145/2887747.2804311 fatcat:xvva6hn72fajfgq6zizqu5v42m
« Previous Showing results 1 — 15 out of 1,324 results