Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000350mercuryBugpublic2014-08-05 17:362014-08-25 14:39
Reporterwangp 
Assigned Towangp 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
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.
Relationships
Attached Files

Notes
(0000752)
juliensf   
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?
(0000753)
wangp   
2014-08-06 10:28   
We can do that.
(0000754)
juliensf   
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.
(0000766)
wangp   
2014-08-25 14:39   
Winpthreads support exists upstream and in our branch.

Issue History
Date ModifiedUsernameFieldChange
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