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

[Camm Maguire]

Greetings!

"Mike Thomas" <address@hidden> writes:

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

Agreed as to the priority, but AFAICT, all that is needed is a working
mprotect, which apparently is in the mingw libc, and a proper passing
of the fault address into the si_faddr field of the siginfo structure
passed to the handler.  At some point you might just try to add
#define SGC to config.h, fire up gcl (if it compiles), and then
(si::sgc-on t), which should run a test of the address recovery
mechanism and report failures if any.

Take care,

> Cheers
> 
> Mike Thomas.
> 
> 
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah