Lazy ST test code

David Feuer

29 Jan 2017 29 Jan '17

2:22 a.m.

I've come up with what might be a fix for a major thread safety bug in lazy ST. Fixing it involved making multiple non-trivial changes to a number of basic functions. Unfortunately, the GHC test suite barely touches lazy ST. Does anyone out there have some code that uses lazy ST in interesting ways but that only relies on the libraries that ship with GHC?

Attachments:

attachment.html (text/html — 384 bytes)

Show replies by date

Albert Y. C. Lai

30 Jan 30 Jan

2:28 p.m.

On 2017-01-29 02:22 AM, David Feuer wrote:

...

I've come up with what might be a fix for a major thread safety bug in lazy ST. Fixing it involved making multiple non-trivial changes to a number of basic functions. Unfortunately, the GHC test suite barely touches lazy ST. Does anyone out there have some code that uses lazy ST in interesting ways but that only relies on the libraries that ship with GHC?

I don't normally use lazy ST, but I have some toy examples at http://lpaste.net/63925 . You may like the fact that I got strictToLazyST involved.

David Feuer

31 Jan 31 Jan

12:48 a.m.

Thanks! I'll include these in my proposed additions to the GHC test suite, with your permission (releasing them under GHC's license terms). On Jan 30, 2017 2:28 PM, "Albert Y. C. Lai" wrote:

...

On 2017-01-29 02:22 AM, David Feuer wrote:

...
I've come up with what might be a fix for a major thread safety bug in lazy ST. Fixing it involved making multiple non-trivial changes to a number of basic functions. Unfortunately, the GHC test suite barely touches lazy ST. Does anyone out there have some code that uses lazy ST in interesting ways but that only relies on the libraries that ship with GHC?

I don't normally use lazy ST, but I have some toy examples at http://lpaste.net/63925 . You may like the fact that I got strictToLazyST involved. _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

Albert Y. C. Lai

12:35 p.m.

OK yes, this is my message of explicit consent (in case it is needed). On 2017-01-31 12:48 AM, David Feuer wrote:

...

Thanks! I'll include these in my proposed additions to the GHC test suite, with your permission (releasing them under GHC's license terms).

On Jan 30, 2017 2:28 PM, "Albert Y. C. Lai" mailto:trebla@vex.net> wrote:

On 2017-01-29 02:22 AM, David Feuer wrote:

I've come up with what might be a fix for a major thread safety bug in lazy ST. Fixing it involved making multiple non-trivial changes to a number of basic functions. Unfortunately, the GHC test suite barely touches lazy ST. Does anyone out there have some code that uses lazy ST in interesting ways but that only relies on the libraries that ship with GHC?

I don't normally use lazy ST, but I have some toy examples at http://lpaste.net/63925 . You may like the fact that I got strictToLazyST involved. _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

3032

Age (days ago)

3034

Last active (days ago)

List overview

Download

3 comments

2 participants

participants (2)

Albert Y. C. Lai
David Feuer

Lazy ST test code

David Feuer

Albert Y. C. Lai

David Feuer

Albert Y. C. Lai

tags

participants (2)