Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Paper on asynchronous exceptions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-09-13 (19:19)
From: Daniel_Bünzli <daniel.buenzli@e...>
Subject: Paper on asynchronous exceptions

For the sake of completeness. After the discussion on thread  
cancellation a friend of mine pointed me to this [1] paper. It  
describes the design, semantics and implementation of a raise_in  
operation in Haskell.

The paper does a good job in describing the problems of this  
operation. It also shows how to solve them by introducing two  
combinators to unconditionally block or unblock asynchronous  
exceptions in a given scope.



  author = {Simon Marlow and Simon Peyton Jones and Andrew Moran and  
John Reppy},
  title = {Asynchronous exceptions in Haskell},
  booktitle = {PLDI '01: Proceedings of the ACM SIGPLAN 2001  
conference on Programming language design and implementation},
  year = {2001},
  isbn = {1-58113-414-2},
  pages = {274--285},
  location = {Snowbird, Utah, United States},
  doi = {},
  publisher = {ACM Press},
  address = {New York, NY, USA},