2024-03-29 19:37 AEDT

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

-Relationships
+Relationships

-Notes

~0000752

juliensf (administrator)

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

~0000753

wangp (developer)

We can do that.

~0000754

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.

~0000766

wangp (developer)

Winpthreads support exists upstream and in our branch.
+Notes

-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