Mercury Bugs - mercury
View Issue Details
0000350mercuryBugpublic2014-08-05 17:362014-08-25 14:39
Assigned Towangp 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000350: winpthreads support
DescriptionCurrently threaded grades are unsafe if using winpthreads with mingw-w64, which is different from pthreads-win32. We build Boehm GC with -DGC_WIN32_THREADS (i.e. Win32 API) but the Mercury runtime still creates threads using the pthread API without registering them with the GC.

A (tiny) change will allow building Boehm GC with winpthreads. We'll try to get that upstream, and then we should upgrade.
TagsNo tags attached.
Attached Files

2014-08-05 18:15   
Can we make the tiny change to the 14.01 branch ourselves, since we won't be upgrading the GC on that?
2014-08-06 10:28   
We can do that.
2014-08-06 10:34   
Incidentally, I think Paul was looking at upgrading the GC on the master branch. I'm not sure how far he got with that though.
2014-08-25 14:39   
Winpthreads support exists upstream and in our branch.

Issue History
2014-08-05 17:36wangpNew Issue
2014-08-05 18:15juliensfNote Added: 0000752
2014-08-06 10:28wangpNote Added: 0000753
2014-08-06 10:34juliensfNote Added: 0000754
2014-08-25 14:39wangpNote Added: 0000766
2014-08-25 14:39wangpStatusnew => resolved
2014-08-25 14:39wangpResolutionopen => fixed
2014-08-25 14:39wangpAssigned To => wangp