Greetings! It appears that you have a flavor of security protection
on your system which is mandating that the sbrk system call is random,
despite GCL's attempt to instruct the kernel to make it non-random.
GCL attemtpts to accomplish this via the ADDR_NO_RANDOMIZE argument to
the personality() system call. Your kernel may not be honoring this.
>From the GCL configure log at the failure point you indicate:
AC_MSG_ERROR([Cannot build with randomized sbrk. Your options:
- upgrade to a kernel/libc that knows about
personality(ADDR_NO_RANDOMIZE)"
- recompile your kernel with CONFIG_COMPAT_BRK (if it has that option)"
- run sysctl kernel.randomize_va_space=0 before using gcl])
I'd suggest trying the sysctl at this point. All GCL apps have the
same attempted workaround code built in.
Please let me know if problems persist here.
Take care,
Peter Dillinger <p...@ccs.neu.edu> writes:
> I recently updated my work machine from Debian Etch to Lenny and I
> think that may have introduced a GCL problem with ACL2. I built ACL2
> 3.5 using the GCL 2.6.7 build that comes with the AMD64 Lenny, and I
> get a
>
> Error: Caught fatal error [memory may be damaged]
> Fast links are on: do (si::use-fast-links nil) for debugging
> Error signalled by ACL2_*1*_ACL2::THM-FN.
> Backtrace: funcall > system:top-level > lisp:lambda-closure > lp >
> acl2_*1*_acl2::ld-fn > ld-fn > acl2_*1*_acl2::thm-fn > thm-fn >
> system:universal-error-handler > system::break-level-for-acl2 > let* >
> UNLESS
>
> if I do this:
>
> - at the first prompt, type Ctrl+C
> - :q
> - :mini-proveall
>
> I can also get it (sometimes) by interrupting a :mini-proveall,
> doing a :q, :ubt 1, and another :mini-proveall.
>
> I seem to recall this was more reliable under Etch, but maybe i'm
> wrong. What's up?
>
> Also, I haven't figured out how to build GCL myself due to
>
> checking for randomized sbrk... yes
> checking for randomized brk remedy... no
> Cannot build with randomized sbrk
>
> Thanks for any info.
>
> --
> Peter Dillinger
> p...@ccs.neu.edu
>
>
>
>
--
Camm Maguire c...@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
_______________________________________________
Gcl-devel mailing list
Gcl-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/gcl-devel
