RE: [Gcl-devel] Re: ACL2 2.8 Debian packages

[Mike Thomas]

Hi Camm/Bill.

Sorry for the late reply.

| > >    >    >    First, the Windows issue is entirely, to my
| understanding, a
| > >    >    > lack of SGC on this platform, due to a lack of
| mprotect and/or
| > >    >    > SIGSEGV trapping.  Perhaps Mike could comment on the
| > >    >    > possibilities in the road ahead on this issue.  Without SGC,
| > >    >    > every GC will page fault all the memory in the
| heap, which can be
| > >    >    > quite expensive for big images.

I haven't looked into SGC for about 18 months; the state of play at the time
was that I found no way ahead. As there are worse problems on Windows I have
pushed this one down the list.

Cheers

Mike Thomas.