[Haskell-cafe] Call for concurrency bugs!

Dan Burton danburton.email at gmail.com
Sat May 16 03:26:42 UTC 2015


I'm not sure if this is as nuanced as what you're looking for, but the test
suite for enclosed-exceptions involves provoking very particular concurrent
circumstances.

https://github.com/jcristovao/enclosed-exceptions/blob/master/test/main.hs

-- Dan Burton

On Fri, May 15, 2015 at 6:14 AM, Michael Walker <mike at barrucadu.co.uk>
wrote:

> Hi cafe,
>
> I've been working on a little library for testing concurrent Haskell
> programs,
> and would really like some test cases not constructed by myself to throw
> it at.
> If anyone has any examples of buggy concurrency (preferably where it's
> tricky to
> provoke the bugs with conventional testing techniques) that I could use:
> either
> open bugs, or things which have been fixed but were awkward to do so, that
> would
> be really useful.
>
> This is leading up to a paper, hopefully, so examples may go into that:
> anonymously, if preferred.
>
> Thank you.
>
> --
> Michael Walker (http://www.barrucadu.co.uk)
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150515/62d2ad19/attachment.html>


More information about the Haskell-Cafe mailing list