[Gc] Linux emulation on Windows 10

Hi.

We use Boehm GC in the Mercury programming language, which is used by the
PrinceXML software.

One of our clients is reporting segfaults using a verion of Prince compiled
for Linux under the new Windows 10 Linux emulation.  The problem can be
worked-around by saying GC_MARKERS=1.

I have no Windows systems, so I'm wondering if anyone is aware of problems
related to parallel marking or stopping and tracing of threads under the new
Linux compatibility layer on Windows 10?  I realize this is probably a long
shot.

Probably the best we can do is somehow detect this environment at runtime
and disable parallel marking then.


-- 
Paul Bone
http://paul.bone.id.au