Re: [Gcl-devel] Re: interrupts in 64-bit GCL

[Camm Maguire]

Greetings!

Yes, safety, which stands for 'safety level 3', essentially passes all
function calls through the interpreter, disables inlining, etc.  2.7.0
has made this less severe, while reserving the old mode for safety
level 4.  In any case, one gets code with most checks with safety
level 2 (declaim (optimize (safety 2))).  The precise definitions were
discussed in an earlier post if interested.  We can revisit this if
desired.

I think one could do an open axiom test of the -g effects with

(setq compiler:*cc* (concatenate 'string compiler::*cc* " -g "))

If you get timing results I'd be interested.

Take care,

Gabriel Dos Reis <address@hidden> writes:

> Camm Maguire <address@hidden> writes:
>
> | Greetings!  You can see the gcc flags emitted with
> | 
> | (trace si::system)
> | 
> | I think the current behavior is
> | 
> | (proclaim '(optimize debug))
> | 
> | Warning:
> | The OPTIMIZE quality DEBUG is unknown.
> | NIL
> | 
> | in 2.6.8 and a no-op in 2.7.0, though it should be fixed in the
> | latter. 
>
> Absolutely right, you are.   I confused 'debug' with 'safety'.
> I just checked what OpenAxiom emits when I say
>
>      open-axiom.trunk/configure --enable-checking
>
> The answer is
>
>    ;; Lisp compiler optimization settings.
>    (defconstant |$LispOptimizeOptions|
>      '(speed safety))
>    (proclaim '(optimize speed safety))
>
>
> so, not 'debug' but 'safety'.  And, now I see I put a comment in the
> configure file saying
>
>    if test x"$axiom_enable_checking" = xyes; then
>       case $axiom_lisp_flavor in
>         gcl) # GCL-2.6.x does not understand debug.
>            axiom_optimize_options="$axiom_optimize_options safety"
>            ;;
>         *) axiom_optimize_options="$axiom_optimize_options safety debug"
>            ;;
>       esac
>       AC_MSG_NOTICE([runtime checking may increase compilation time])
>    fi
>
>
> With safety 3 on, OpenAxiom takes approximately 5 times longer to build
> the entire algebra.  
>
> -- Gaby
>
>
>
>

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