0000350: winpthreads support - Mercury Bugs

2025-10-25 12:28 AEDT

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000350

mercury

Bug

public

2014-08-05 17:36

2014-08-25 14:39

Reporter

wangp

Assigned To

wangp

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000350: winpthreads support

Description

Currently 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.

Tags

No tags attached.

Attached Files

Relationships

Relationships

Notes
~0000752 juliensf (administrator) 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 (developer) 2014-08-06 10:28	We can do that.

~0000754 juliensf (administrator) 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 (developer) 2014-08-25 14:39	Winpthreads support exists upstream and in our branch.

Notes

Date Modified	Username	Field	Change
Issue History
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