2024-05-31 05:26 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000350mercuryBugpublic2014-08-25 14:39
Assigned Towangp 
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




juliensf (administrator)

Can we make the tiny change to the 14.01 branch ourselves, since we won't be upgrading the GC on that?


wangp (developer)

We can do that.


juliensf (administrator)

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.


wangp (developer)

Winpthreads support exists upstream and in our branch.

-Issue History
Date Modified Username Field Change
2014-08-05 17:36 wangp New Issue
2014-08-05 18:15 juliensf Note Added: 0000752
2014-08-06 10:28 wangp Note Added: 0000753
2014-08-06 10:34 juliensf Note Added: 0000754
2014-08-25 14:39 wangp Note Added: 0000766
2014-08-25 14:39 wangp Status new => resolved
2014-08-25 14:39 wangp Resolution open => fixed
2014-08-25 14:39 wangp Assigned To => wangp
+Issue History