[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Gcl-devel] Re: ACL2 2.8 Debian packages
From: |
Mike Thomas |
Subject: |
RE: [Gcl-devel] Re: ACL2 2.8 Debian packages |
Date: |
Mon, 24 May 2004 08:27:46 +1000 |
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.
- [Gcl-devel] Re: ACL2 2.8 Debian packages, Camm Maguire, 2004/05/13
- [Gcl-devel] Re: ACL2 2.8 Debian packages, Matt Kaufmann, 2004/05/13
- [Gcl-devel] Re: ACL2 2.8 Debian packages, Camm Maguire, 2004/05/13
- [Gcl-devel] Re: ACL2 2.8 Debian packages, Matt Kaufmann, 2004/05/13
- Re: [Gcl-devel] Re: ACL2 2.8 Debian packages, Camm Maguire, 2004/05/14
- Re: [Gcl-devel] Re: ACL2 2.8 Debian packages, Matt Kaufmann, 2004/05/14
- Re: [Gcl-devel] Re: ACL2 2.8 Debian packages, Bill Pase, 2004/05/16
- Re: [Gcl-devel] Re: ACL2 2.8 Debian packages, Camm Maguire, 2004/05/18
- Re: [Gcl-devel] Re: ACL2 2.8 Debian packages, Bill Pase, 2004/05/20
- RE: [Gcl-devel] Re: ACL2 2.8 Debian packages,
Mike Thomas <=
- Re: [Gcl-devel] Re: ACL2 2.8 Debian packages, Camm Maguire, 2004/05/27
- RE: [Gcl-devel] Re: ACL2 2.8 Debian packages, Mike Thomas, 2004/05/28