Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Bug#708999: axiom: ackermann.input from axiom-test breaks
3 views
Skip to first unread message
Edi Meier
May 20, 2013, 1:40:01 AM5/20/13
to
Package: axiom
Version: 20120501-1
Severity: normal
Dear Camm,
the ackermann.input from axiom-test produces a history stack overflow.
In fricas/open-axiom all 23 tests from ackermann.input are executed.
Thank you very much.
Regards,
Edi
edi@host:~$ axiom
GCL (GNU Common Lisp) 2.6.7 CLtL1 May 6 2012 01:50:10
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter
Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files set to /tmp/
AXIOM Computer Algebra System
Version: Axiom (May 2012)
Timestamp: Wednesday June 13, 2012 at 20:14:11
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave AXIOM and return to shell.
Visit http://axiom-developer.org for more information
-----------------------------------------------------------------------------
Re-reading compress.daase Re-reading interp.daase
Re-reading operation.daase
Re-reading category.daase
Re-reading browse.daase
(1) ->
(1) -> )read ackermann
)set break resume
)spool ackermann.output
Starts dribbling to ackermann.output (2013/5/20, 5:9:37).
)set message test on
)set message auto off
)clear all
)set message time on
--S 1 of 23
ackerslow(m:INT,n:INT):INT ==
m = 0 => n+1
(m>0 and n=0) => ackerslow(m-1,1)
ackerslow(m-1,ackerslow(m,n-1))
Function declaration ackerslow : (Integer,Integer) -> Integer has
been added to workspace.
Type: Void
Time: 0 sec
--R
--R Function declaration ackerslow : (Integer,Integer) -> Integer has
--R been added to workspace.
--R Type:
Void
--I Time: 0
sec
--E 1
--S 2 of 23
ackerslow(0,0)
Compiling function ackerslow with type (Integer,Integer) -> Integer
Daly Bug
--R
--R Compiling function ackerslow with type (Integer,Integer) -> Integer
--R
--R (2) 1
--R Type:
PositiveInteger
--I Time: 0.01 (OT) = 0.01
sec
--E 2
--S 3 of 23
cache:Table(List Integer,Integer):=empty()
(2) table()
Type: Table(List(Integer),Integer)
Time: 0.01 (IN) + 0.01 (OT) = 0.02 sec
--R
--R
--R (3) table()
--R Type:
Table(List(Integer),Integer)
--I Time: 0.01 (OT) = 0.01
sec
--E 3
--S 4 of 23
ackermann(m:INT,n:INT):INT ==
index?((m,n),cache) =>
qelt(cache,(m,n))
m = 0 =>
qsetelt!(cache,(m,n),n+1)
n+1
(m>0 and n=0) =>
result:INT:=ackermann(m-1,1)
qsetelt!(cache,(m-1,1),result)
result
resultinner:INT:=ackermann(m,n-1)
qsetelt!(cache,(m,n-1),resultinner)
result:INT:=ackermann(m-1,resultinner)
qsetelt!(cache,(m-1,resultinner),result)
Function declaration ackermann : (Integer,Integer) -> Integer has
been added to workspace.
Type: Void
Time: 0 sec
--R
--R Function declaration ackermann : (Integer,Integer) -> Integer has
--R been added to workspace.
--R Type:
Void
--I Time: 0
sec
--E 4
--S 5 of 23
ackermann(0,0)
Compiling function ackermann with type (Integer,Integer) -> Integer
Daly Bug
--R
--R Compiling function ackermann with type (Integer,Integer) -> Integer
--R
--R (5) 1
--R Type:
PositiveInteger
--I Time: 0.01 (OT) = 0.01
sec
--E 5
--S 6 of 23
[ackerslow(3,i) for i in 0..10]
Daly Bug
>> System error:
Invocation history stack overflow.
Continuing to read the file...
--R
--R
--R (6) [5,13,29,61,125,253,509,1021,2045,4093,8189]
--R Type:
List(Integer)
--I Time: 7.03 (EV) + 0.28 (GC) = 7.31
sec
--E 6
--S 7 of 23
[ackerslow(3,i) for i in 0..10]
Unrecoverable error: invocation history stack overflow.
edi@host:~$ echo $?
0
edi@host:~$
-- System Information:
Debian Release: jessie/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
Kernel: Linux 3.2.0-4-amd64 (SMP w/2 CPU cores)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages axiom depends on:
ii axiom-databases 20120501-1
ii libc6 2.13-38
ii libgmp10 2:5.0.5+dfsg-2
ii libreadline6 6.2+dfsg-0.1
ii libx11-6 2:1.5.0-1
ii libxpm4 1:3.5.10-1
Versions of packages axiom recommends:
ii axiom-doc 20120501-1
ii axiom-graphics 20120501-1
ii axiom-hypertex 20120501-1
ii axiom-source 20120501-1
Versions of packages axiom suggests:
ii axiom-test 20120501-1
ii axiom-tex 20120501-1
ii nowebm 2.11b-7.1
ii texmacs 1:1.0.7.18-1
-- no debconf information
--
To UNSUBSCRIBE, email to debian-bugs-...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listm...@lists.debian.org
Version: 20120501-1
Severity: normal
Dear Camm,
the ackermann.input from axiom-test produces a history stack overflow.
In fricas/open-axiom all 23 tests from ackermann.input are executed.
Thank you very much.
Regards,
Edi
edi@host:~$ axiom
GCL (GNU Common Lisp) 2.6.7 CLtL1 May 6 2012 01:50:10
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter
Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files set to /tmp/
AXIOM Computer Algebra System
Version: Axiom (May 2012)
Timestamp: Wednesday June 13, 2012 at 20:14:11
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave AXIOM and return to shell.
Visit http://axiom-developer.org for more information
-----------------------------------------------------------------------------
Re-reading compress.daase Re-reading interp.daase
Re-reading operation.daase
Re-reading category.daase
Re-reading browse.daase
(1) ->
(1) -> )read ackermann
)set break resume
)spool ackermann.output
Starts dribbling to ackermann.output (2013/5/20, 5:9:37).
)set message test on
)set message auto off
)clear all
)set message time on
--S 1 of 23
ackerslow(m:INT,n:INT):INT ==
m = 0 => n+1
(m>0 and n=0) => ackerslow(m-1,1)
ackerslow(m-1,ackerslow(m,n-1))
Function declaration ackerslow : (Integer,Integer) -> Integer has
been added to workspace.
Type: Void
Time: 0 sec
--R
--R Function declaration ackerslow : (Integer,Integer) -> Integer has
--R been added to workspace.
--R Type:
Void
--I Time: 0
sec
--E 1
--S 2 of 23
ackerslow(0,0)
Compiling function ackerslow with type (Integer,Integer) -> Integer
Daly Bug
--R
--R Compiling function ackerslow with type (Integer,Integer) -> Integer
--R
--R (2) 1
--R Type:
PositiveInteger
--I Time: 0.01 (OT) = 0.01
sec
--E 2
--S 3 of 23
cache:Table(List Integer,Integer):=empty()
(2) table()
Type: Table(List(Integer),Integer)
Time: 0.01 (IN) + 0.01 (OT) = 0.02 sec
--R
--R
--R (3) table()
--R Type:
Table(List(Integer),Integer)
--I Time: 0.01 (OT) = 0.01
sec
--E 3
--S 4 of 23
ackermann(m:INT,n:INT):INT ==
index?((m,n),cache) =>
qelt(cache,(m,n))
m = 0 =>
qsetelt!(cache,(m,n),n+1)
n+1
(m>0 and n=0) =>
result:INT:=ackermann(m-1,1)
qsetelt!(cache,(m-1,1),result)
result
resultinner:INT:=ackermann(m,n-1)
qsetelt!(cache,(m,n-1),resultinner)
result:INT:=ackermann(m-1,resultinner)
qsetelt!(cache,(m-1,resultinner),result)
Function declaration ackermann : (Integer,Integer) -> Integer has
been added to workspace.
Type: Void
Time: 0 sec
--R
--R Function declaration ackermann : (Integer,Integer) -> Integer has
--R been added to workspace.
--R Type:
Void
--I Time: 0
sec
--E 4
--S 5 of 23
ackermann(0,0)
Compiling function ackermann with type (Integer,Integer) -> Integer
Daly Bug
--R
--R Compiling function ackermann with type (Integer,Integer) -> Integer
--R
--R (5) 1
--R Type:
PositiveInteger
--I Time: 0.01 (OT) = 0.01
sec
--E 5
--S 6 of 23
[ackerslow(3,i) for i in 0..10]
Daly Bug
>> System error:
Invocation history stack overflow.
Continuing to read the file...
--R
--R
--R (6) [5,13,29,61,125,253,509,1021,2045,4093,8189]
--R Type:
List(Integer)
--I Time: 7.03 (EV) + 0.28 (GC) = 7.31
sec
--E 6
--S 7 of 23
[ackerslow(3,i) for i in 0..10]
Unrecoverable error: invocation history stack overflow.
edi@host:~$ echo $?
0
edi@host:~$
-- System Information:
Debian Release: jessie/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
Kernel: Linux 3.2.0-4-amd64 (SMP w/2 CPU cores)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages axiom depends on:
ii axiom-databases 20120501-1
ii libc6 2.13-38
ii libgmp10 2:5.0.5+dfsg-2
ii libreadline6 6.2+dfsg-0.1
ii libx11-6 2:1.5.0-1
ii libxpm4 1:3.5.10-1
Versions of packages axiom recommends:
ii axiom-doc 20120501-1
ii axiom-graphics 20120501-1
ii axiom-hypertex 20120501-1
ii axiom-source 20120501-1
Versions of packages axiom suggests:
ii axiom-test 20120501-1
ii axiom-tex 20120501-1
ii nowebm 2.11b-7.1
ii texmacs 1:1.0.7.18-1
-- no debconf information
--
To UNSUBSCRIBE, email to debian-bugs-...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listm...@lists.debian.org
Camm Maguire
May 21, 2013, 12:50:04 PM5/21/13
to
Greetings! Kindly help me through the output: are all the functions
being compiled? I'm not sure what is a comment.
Take care,
Camm Maguire ca...@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
being compiled? I'm not sure what is a comment.
Take care,
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Liste_...@gmx.de
May 22, 2013, 4:20:02 PM5/22/13
to
Dear Camm,
> Greetings! Kindly help me through the output: are all the functions
> being compiled? I'm not sure what is a comment.
With "hardening-includes" & "hardening-wrapper" installed neither ackerslow() nor ackermann() are sucessfully compiled,
so the result is in both cases:
Daly Bug
One does see the "gazonk0.o" file in the /tmp-Directory.
Thank you very much.
Regards,
Edi
> Greetings! Kindly help me through the output: are all the functions
> being compiled? I'm not sure what is a comment.
so the result is in both cases:
Daly Bug
One does see the "gazonk0.o" file in the /tmp-Directory.
Thank you very much.
Regards,
Edi
Camm Maguire
May 22, 2013, 4:30:02 PM5/22/13
to
Is this with -2?
Liste_...@gmx.de writes:
> Dear Camm,
>
>> Greetings! Kindly help me through the output: are all the functions
>> being compiled? I'm not sure what is a comment.
>
> With "hardening-includes" & "hardening-wrapper" installed neither ackerslow() nor ackermann() are sucessfully compiled,
> so the result is in both cases:
>
> Daly Bug
>
>
> One does see the "gazonk0.o" file in the /tmp-Directory.
>
> Thank you very much.
>
> Regards,
> Edi
>
>
>
Take care,
Liste_...@gmx.de writes:
> Dear Camm,
>
>> Greetings! Kindly help me through the output: are all the functions
>> being compiled? I'm not sure what is a comment.
>
> With "hardening-includes" & "hardening-wrapper" installed neither ackerslow() nor ackermann() are sucessfully compiled,
> so the result is in both cases:
>
> Daly Bug
>
>
> One does see the "gazonk0.o" file in the /tmp-Directory.
>
> Thank you very much.
>
> Regards,
> Edi
>
>
>
--
Camm Maguire ca...@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Camm Maguire ca...@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Liste_...@gmx.de
May 22, 2013, 4:40:02 PM5/22/13
to
Dear Camm,
> Is this with -2?
No, the output you see in the bugreport was with -1.
-2 is still not in testing so I could not test it yet.
Thank you very much.
Regards,
Edi
> Is this with -2?
No, the output you see in the bugreport was with -1.
-2 is still not in testing so I could not test it yet.
Thank you very much.
Regards,
Edi
Liste_...@gmx.de
May 22, 2013, 6:40:01 PM5/22/13
to
Dear Camm,
> > Is this with -2?
>
> No, the output you see in the bugreport was with -1.
> -2 is still not in testing so I could not test it yet.
the good news: testing was updating it's libc so I could installed -2
> > Is this with -2?
>
> No, the output you see in the bugreport was with -1.
> -2 is still not in testing so I could not test it yet.
the bad news : until I remove hardening-includes & hardening-wrapper it doesn't work
Camm Maguire
May 24, 2013, 5:50:02 PM5/24/13
to
Greetings, and thanks for your report!
(sid_amd64)camm@localhost:~/debian/axiom/axiom-20120501$ dpkg -l |grep hard
ii hardening-includes 2.3 all Makefile for enabling compiler flags for security hardening
ii hardening-wrapper 2.3 amd64 Compiler wrapper to enable security hardening flags
ii python-chardet 2.0.1-2 all universal character encoding detector
(sid_amd64)camm@localhost:~/debian/axiom/axiom-20120501$ dpkg -l |grep axiom
ii axiom 20120501-2 amd64 General purpose computer algebra system: main binary and modules
ii axiom-databases 20120501-2 all General purpose computer algebra system: generated text databases
ii axiom-doc 20120501-2 all General purpose computer algebra system: documentation
ii axiom-graphics 20120501-2 amd64 General purpose computer algebra system: graphics subsystem
ii axiom-graphics-data 20120501-2 all General purpose computer algebra system: graphics subsystem
ii axiom-hypertex 20120501-2 amd64 General purpose computer algebra system: hypertex subsystem
ii axiom-hypertex-data 20120501-2 all General purpose computer algebra system: hypertex subsystem
ii axiom-source 20120501-2 all General purpose computer algebra system: source files
ii axiom-test 20120501-2 all General purpose computer algebra system: regression test inputs
ii axiom-tex 20120501-2 all General purpose computer algebra system: style file for TeX
(sid_amd64)camm@localhost:~/debian/axiom/axiom-20120501$ uname -a
Linux localhost 3.8.5-amd64 #12 SMP Wed Apr 10 17:30:31 EDT 2013 x86_64 GNU/Linux
(sid_amd64)camm@localhost:~/debian/axiom/axiom-20120501$
With this setup your original command
draw(5*besselJ(0,sqrt(x**2+y**2)), x=-20..20, y=-20..20);
works just fine. Can you give me a command that fails?
Take care,
Liste_...@gmx.de writes:
> Dear Camm,
>
>> > Is this with -2?
>>
>> No, the output you see in the bugreport was with -1.
>> -2 is still not in testing so I could not test it yet.
>
> the good news: testing was updating it's libc so I could installed -2
> the bad news : until I remove hardening-includes & hardening-wrapper it doesn't work
>
> Thank you very much.
>
> Regards,
> Edi
>
>
>
>
--
(sid_amd64)camm@localhost:~/debian/axiom/axiom-20120501$ dpkg -l |grep hard
ii hardening-includes 2.3 all Makefile for enabling compiler flags for security hardening
ii hardening-wrapper 2.3 amd64 Compiler wrapper to enable security hardening flags
ii python-chardet 2.0.1-2 all universal character encoding detector
(sid_amd64)camm@localhost:~/debian/axiom/axiom-20120501$ dpkg -l |grep axiom
ii axiom 20120501-2 amd64 General purpose computer algebra system: main binary and modules
ii axiom-databases 20120501-2 all General purpose computer algebra system: generated text databases
ii axiom-doc 20120501-2 all General purpose computer algebra system: documentation
ii axiom-graphics 20120501-2 amd64 General purpose computer algebra system: graphics subsystem
ii axiom-graphics-data 20120501-2 all General purpose computer algebra system: graphics subsystem
ii axiom-hypertex 20120501-2 amd64 General purpose computer algebra system: hypertex subsystem
ii axiom-hypertex-data 20120501-2 all General purpose computer algebra system: hypertex subsystem
ii axiom-source 20120501-2 all General purpose computer algebra system: source files
ii axiom-test 20120501-2 all General purpose computer algebra system: regression test inputs
ii axiom-tex 20120501-2 all General purpose computer algebra system: style file for TeX
(sid_amd64)camm@localhost:~/debian/axiom/axiom-20120501$ uname -a
Linux localhost 3.8.5-amd64 #12 SMP Wed Apr 10 17:30:31 EDT 2013 x86_64 GNU/Linux
(sid_amd64)camm@localhost:~/debian/axiom/axiom-20120501$
With this setup your original command
draw(5*besselJ(0,sqrt(x**2+y**2)), x=-20..20, y=-20..20);
works just fine. Can you give me a command that fails?
Take care,
Liste_...@gmx.de writes:
> Dear Camm,
>
>> > Is this with -2?
>>
>> No, the output you see in the bugreport was with -1.
>> -2 is still not in testing so I could not test it yet.
>
> the good news: testing was updating it's libc so I could installed -2
> the bad news : until I remove hardening-includes & hardening-wrapper it doesn't work
>
> Thank you very much.
>
> Regards,
> Edi
>
>
>
>
--
Camm Maguire ca...@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Liste_...@gmx.de
May 25, 2013, 2:50:01 AM5/25/13
to
Dear Camm,
> With this setup your original command
>
> draw(5*besselJ(0,sqrt(x**2+y**2)), x=-20..20, y=-20..20);
>
> works just fine. Can you give me a command that fails?
It seems that you're testing "-2" in "sid", but I'm still in "jessie/testing".
Since "20120501-2" is only in sid but not in "debain testing" yet, even a
# dpkg -i axiom_20120501-2_amd64.deb
fails on my machine because of libc6 was 2.13.
In the last 3 days lots of updates came in for "debian testing", especially
ii libc6:amd64 2.17-3 amd64 Embedded GNU C Library: Shared libraries
ii libc6-dev:amd64 2.17-3 amd64 Embedded GNU C Library: Development Libraries and Header Files
so installing via "dpkg -i axiom_20120501-2_amd64.deb" works now.
draw(5*besselJ(0,sqrt(x**2+y**2)), x=-20..20, y=-20..20)
and
)read ackermann
work until I do
# apt-get install hardening-wrapper
then neither of them work (as they didn't in "-1") anymore.
# dpkg -l | grep axiom
# dpkg -l | grep gcc
ii gcc 4:4.7.2-1 amd64 GNU C compiler
ii gcc-4.7 4.7.2-5 amd64 GNU C compiler
ii gcc-4.7-base:amd64 4.7.2-5 amd64 GCC, the GNU Compiler Collection (base package)
ii libgcc1:amd64 1:4.7.2-5 amd64 GCC support library
#
For
edi@host:/tmp$ objdump -r gazonk0.o
gazonk0.o: file format elf64-x86-64
RELOCATION RECORDS FOR [.text]:
OFFSET TYPE VALUE
0000000000000011 R_X86_64_GOTPCREL vs_base+0xfffffffffffffffc
0000000000000018 R_X86_64_GOTPCREL vs_limit+0xfffffffffffffffc
0000000000000033 R_X86_64_GOTPCREL vs_top+0xfffffffffffffffc
0000000000000048 R_X86_64_GOTPCREL small_fixnum_table+0xfffffffffffffffc
000000000000004f R_X86_64_GOTPCREL Cnil_body+0xfffffffffffffffc
0000000000000064 R_X86_64_GOTPCREL vs_top+0xfffffffffffffffc
000000000000008b R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
00000000000000ad R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
00000000000000c4 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
00000000000000df R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
0000000000000111 R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
000000000000012b R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
000000000000013f R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
0000000000000162 R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
0000000000000179 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
000000000000019f R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
00000000000001b9 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
00000000000001d4 R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
00000000000001fd R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
000000000000021d R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
000000000000022f R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
0000000000000252 R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
0000000000000265 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
00000000000002f8 R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
000000000000031b R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
0000000000000332 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
0000000000000356 R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
000000000000037d R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
0000000000000394 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
00000000000003c7 R_X86_64_GOTPCREL vs_base+0xfffffffffffffffc
00000000000003d6 R_X86_64_GOTPCREL vs_top+0xfffffffffffffffc
00000000000003e1 R_X86_64_PC32 .data.rel.local+0x0000000000000014
00000000000003ed R_X86_64_GOTPCREL vs_top+0xfffffffffffffffc
00000000000003f7 R_X86_64_GOTPCREL vs_base+0xfffffffffffffffc
0000000000000426 R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
000000000000043d R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
000000000000047f R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
0000000000000496 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
00000000000004c2 R_X86_64_GOTPCREL vs_base+0xfffffffffffffffc
00000000000004d1 R_X86_64_GOTPCREL vs_top+0xfffffffffffffffc
0000000000000531 R_X86_64_PLT32 vs_overflow+0xfffffffffffffffc
0000000000000543 R_X86_64_PC32 .data.rel.local+0x0000000000000004
000000000000054a R_X86_64_PC32 .data.rel.local+0x0000000000000014
0000000000000563 R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
000000000000054f R_X86_64_PLT32 call_or_link+0xfffffffffffffffc
0000000000000568 R_X86_64_PLT32 do_init+0xfffffffffffffffc
RELOCATION RECORDS FOR [.data.rel.local]:
OFFSET TYPE VALUE
0000000000000000 R_X86_64_64 .text
0000000000000018 R_X86_64_64 .text+0x0000000000000540
RELOCATION RECORDS FOR [.eh_frame]:
OFFSET TYPE VALUE
0000000000000020 R_X86_64_PC32 .text
000000000000006c R_X86_64_PC32 .text+0x0000000000000540
0000000000000080 R_X86_64_PC32 .text+0x0000000000000560
edi@host:/tmp$
Thank you very much.
Regards,
Edi
--
> With this setup your original command
>
> draw(5*besselJ(0,sqrt(x**2+y**2)), x=-20..20, y=-20..20);
>
> works just fine. Can you give me a command that fails?
Since "20120501-2" is only in sid but not in "debain testing" yet, even a
# dpkg -i axiom_20120501-2_amd64.deb
fails on my machine because of libc6 was 2.13.
In the last 3 days lots of updates came in for "debian testing", especially
ii libc6:amd64 2.17-3 amd64 Embedded GNU C Library: Shared libraries
ii libc6-dev:amd64 2.17-3 amd64 Embedded GNU C Library: Development Libraries and Header Files
so installing via "dpkg -i axiom_20120501-2_amd64.deb" works now.
draw(5*besselJ(0,sqrt(x**2+y**2)), x=-20..20, y=-20..20)
and
)read ackermann
work until I do
# apt-get install hardening-wrapper
then neither of them work (as they didn't in "-1") anymore.
# dpkg -l | grep axiom
ii axiom 20120501-2 amd64 General purpose computer algebra system: main binary and modules
ii axiom-databases 20120501-2 all General purpose computer algebra system: generated text databases
ii axiom-databases 20120501-2 all General purpose computer algebra system: generated text databases
ii axiom-graphics 20120501-2 amd64 General purpose computer algebra system: graphics subsystem
ii axiom-graphics-data 20120501-2 all General purpose computer algebra system: graphics subsystem
ii axiom-hypertex 20120501-2 amd64 General purpose computer algebra system: hypertex subsystem
ii axiom-hypertex-data 20120501-2 all General purpose computer algebra system: hypertex subsystem
ii axiom-source 20120501-2 all General purpose computer algebra system: source files
ii axiom-test 20120501-2 all General purpose computer algebra system: regression test inputs
ii axiom-tex 20120501-2 all General purpose computer algebra system: style file for TeX
<open-axom-packages omitted>
ii axiom-graphics-data 20120501-2 all General purpose computer algebra system: graphics subsystem
ii axiom-hypertex 20120501-2 amd64 General purpose computer algebra system: hypertex subsystem
ii axiom-hypertex-data 20120501-2 all General purpose computer algebra system: hypertex subsystem
ii axiom-source 20120501-2 all General purpose computer algebra system: source files
ii axiom-test 20120501-2 all General purpose computer algebra system: regression test inputs
ii axiom-tex 20120501-2 all General purpose computer algebra system: style file for TeX
# dpkg -l | grep gcc
ii gcc 4:4.7.2-1 amd64 GNU C compiler
ii gcc-4.7 4.7.2-5 amd64 GNU C compiler
ii gcc-4.7-base:amd64 4.7.2-5 amd64 GCC, the GNU Compiler Collection (base package)
ii libgcc1:amd64 1:4.7.2-5 amd64 GCC support library
#
For
--S 2 of 23
ackerslow(0,0)
Compiling function ackerslow with type (Integer,Integer) -> Integer
Daly Bug
here's the
ackerslow(0,0)
Compiling function ackerslow with type (Integer,Integer) -> Integer
Daly Bug
edi@host:/tmp$ objdump -r gazonk0.o
gazonk0.o: file format elf64-x86-64
RELOCATION RECORDS FOR [.text]:
OFFSET TYPE VALUE
0000000000000011 R_X86_64_GOTPCREL vs_base+0xfffffffffffffffc
0000000000000018 R_X86_64_GOTPCREL vs_limit+0xfffffffffffffffc
0000000000000033 R_X86_64_GOTPCREL vs_top+0xfffffffffffffffc
0000000000000048 R_X86_64_GOTPCREL small_fixnum_table+0xfffffffffffffffc
000000000000004f R_X86_64_GOTPCREL Cnil_body+0xfffffffffffffffc
0000000000000064 R_X86_64_GOTPCREL vs_top+0xfffffffffffffffc
000000000000008b R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
00000000000000ad R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
00000000000000c4 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
00000000000000df R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
0000000000000111 R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
000000000000012b R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
000000000000013f R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
0000000000000162 R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
0000000000000179 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
000000000000019f R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
00000000000001b9 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
00000000000001d4 R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
00000000000001fd R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
000000000000021d R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
000000000000022f R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
0000000000000252 R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
0000000000000265 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
00000000000002f8 R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
000000000000031b R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
0000000000000332 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
0000000000000356 R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
000000000000037d R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
0000000000000394 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
00000000000003c7 R_X86_64_GOTPCREL vs_base+0xfffffffffffffffc
00000000000003d6 R_X86_64_GOTPCREL vs_top+0xfffffffffffffffc
00000000000003e1 R_X86_64_PC32 .data.rel.local+0x0000000000000014
00000000000003ed R_X86_64_GOTPCREL vs_top+0xfffffffffffffffc
00000000000003f7 R_X86_64_GOTPCREL vs_base+0xfffffffffffffffc
0000000000000426 R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
000000000000043d R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
000000000000047f R_X86_64_GOTPCREL fcall+0xfffffffffffffffc
0000000000000496 R_X86_64_GOTPCREL fcalln1+0xfffffffffffffffc
00000000000004c2 R_X86_64_GOTPCREL vs_base+0xfffffffffffffffc
00000000000004d1 R_X86_64_GOTPCREL vs_top+0xfffffffffffffffc
0000000000000531 R_X86_64_PLT32 vs_overflow+0xfffffffffffffffc
0000000000000543 R_X86_64_PC32 .data.rel.local+0x0000000000000004
000000000000054a R_X86_64_PC32 .data.rel.local+0x0000000000000014
0000000000000563 R_X86_64_PC32 .data.rel.local+0xfffffffffffffffc
000000000000054f R_X86_64_PLT32 call_or_link+0xfffffffffffffffc
0000000000000568 R_X86_64_PLT32 do_init+0xfffffffffffffffc
RELOCATION RECORDS FOR [.data.rel.local]:
OFFSET TYPE VALUE
0000000000000000 R_X86_64_64 .text
0000000000000018 R_X86_64_64 .text+0x0000000000000540
RELOCATION RECORDS FOR [.eh_frame]:
OFFSET TYPE VALUE
0000000000000020 R_X86_64_PC32 .text
000000000000006c R_X86_64_PC32 .text+0x0000000000000540
0000000000000080 R_X86_64_PC32 .text+0x0000000000000560
edi@host:/tmp$
Thank you very much.
Regards,
Edi
--
Liste_...@gmx.de
May 25, 2013, 4:00:02 AM5/25/13
to
Dear Camm,
> # dpkg -l | grep gcc
> ii gcc 4:4.7.2-1 amd64 GNU C compiler
> ii gcc-4.7 4.7.2-5 amd64 GNU C compiler
> ii gcc-4.7-base:amd64 4.7.2-5 amd64 GCC, the GNU Compiler Collection (base package)
> ii libgcc1:amd64 1:4.7.2-5 amd64 GCC support library
Ok, I missed that one: testing has now "4.7.3-1" (like sid) so I upgraded gcc also
and now I'm really up-to-date:
0 aktualisiert, 0 neu installiert, 0 zu entfernen und 0 nicht aktualisiert.
After a reboot the errors remain:
--S 2 of 23
ackerslow(0,0)
Compiling function ackerslow with type (Integer,Integer) -> Integer
Daly Bug
Also not working:
(1) -> draw(5*besselJ(0,sqrt(x**2+y**2)), x=-20..20, y=-20..20)
Compiling function %D with type (DoubleFloat,DoubleFloat) ->
DoubleFloat
(1) ->
***********************************************************
Not sure what's now so different between between testing and sid besides the kernel:
$ uname -a
Linux host 3.2.0-4-amd64 #1 SMP Debian 3.2.41-2 x86_64 GNU/Linux
> # dpkg -l | grep gcc
> ii gcc 4:4.7.2-1 amd64 GNU C compiler
> ii gcc-4.7 4.7.2-5 amd64 GNU C compiler
> ii gcc-4.7-base:amd64 4.7.2-5 amd64 GCC, the GNU Compiler Collection (base package)
> ii libgcc1:amd64 1:4.7.2-5 amd64 GCC support library
and now I'm really up-to-date:
0 aktualisiert, 0 neu installiert, 0 zu entfernen und 0 nicht aktualisiert.
After a reboot the errors remain:
--S 2 of 23
ackerslow(0,0)
Compiling function ackerslow with type (Integer,Integer) -> Integer
Daly Bug
--S 6 of 23
[ackerslow(3,i) for i in 0..10]
Daly Bug
>> System error:
Invocation history stack overflow.
***********************************************************
[ackerslow(3,i) for i in 0..10]
Daly Bug
>> System error:
Invocation history stack overflow.
Also not working:
(1) -> draw(5*besselJ(0,sqrt(x**2+y**2)), x=-20..20, y=-20..20)
Compiling function %D with type (DoubleFloat,DoubleFloat) ->
DoubleFloat
(1) ->
***********************************************************
Not sure what's now so different between between testing and sid besides the kernel:
$ uname -a
Linux host 3.2.0-4-amd64 #1 SMP Debian 3.2.41-2 x86_64 GNU/Linux
Camm Maguire
Jun 3, 2013, 8:00:01 PM6/3/13
to
Greetings, and thanks so much for your report!
Liste_...@gmx.de writes:
> Dear Camm,
message?
It owuld be very helpful if you you determine what gcc compiler switches
your hardening setup is adding that produce these relocs. Gcl does not
attempt to support all of them, especially as it thinks it is
controlling the switches to the C compiler. (lisp variable
compiler::*cc*). Maybe you could run under strace -f and grep the exec
gcc?
Take care,
Liste_...@gmx.de writes:
> Dear Camm,
>
>
> gazonk0.o: file format elf64-x86-64
>
> RELOCATION RECORDS FOR [.text]:
> OFFSET TYPE VALUE
> 0000000000000011 R_X86_64_GOTPCREL vs_base+0xfffffffffffffffc
> 0000000000000018 R_X86_64_GOTPCREL vs_limit+0xfffffffffffffffc
> 0000000000000033 R_X86_64_GOTPCREL vs_top+0xfffffffffffffffc
This seems to be the problem. Do you still get a relocation error
>
> gazonk0.o: file format elf64-x86-64
>
> RELOCATION RECORDS FOR [.text]:
> OFFSET TYPE VALUE
> 0000000000000011 R_X86_64_GOTPCREL vs_base+0xfffffffffffffffc
> 0000000000000018 R_X86_64_GOTPCREL vs_limit+0xfffffffffffffffc
> 0000000000000033 R_X86_64_GOTPCREL vs_top+0xfffffffffffffffc
message?
It owuld be very helpful if you you determine what gcc compiler switches
your hardening setup is adding that produce these relocs. Gcl does not
attempt to support all of them, especially as it thinks it is
controlling the switches to the C compiler. (lisp variable
compiler::*cc*). Maybe you could run under strace -f and grep the exec
gcc?
Take care,
--
Camm Maguire ca...@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Camm Maguire ca...@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Liste_...@gmx.de
Jun 4, 2013, 11:20:03 AM6/4/13
to
Dear Camm,
> This seems to be the problem. Do you still get a relocation error
> message?
Yep.
> It owuld be very helpful if you you determine what gcc compiler switches
> your hardening setup is adding that produce these relocs. Gcl does not
> attempt to support all of them, especially as it thinks it is
> controlling the switches to the C compiler. (lisp variable
> compiler::*cc*). Maybe you could run under strace -f and grep the exec
> gcc?
I did a "strace -f -ff -o blub axiom" and the lines you're probably interested in are
execve("/usr/bin/gcc", ["gcc", "-c", "-Wall", "-DVOL=volatile", "-fsigned-char", "-Wno-unused-but-set-variable", "-pipe", "-I../h", "-O3", "-fomit-frame-pointer", "-c", "/tmp/gazonk2.c", "-o", "/tmp/gazonk2.o", "-w"], [/* 47 vars */]) = 0
and
execve("/usr/bin/gcc-4.7.real", ["/usr/bin/gcc-4.7.real", "-fstack-protector", "--param=ssp-buffer-size=4", "-fPIE", "-D_FORTIFY_SOURCE=2", "-Wformat", "-Wformat-security", "-Werror=format-security", "-c", "-Wall", "-DVOL=volatile", "-fsigned-char", "-Wno-unused-but-set-variable", "-pipe", "-I../h", "-O3", ...], [/* 47 vars */]) = 0
Thank you very much.
Regards,
Edi
> This seems to be the problem. Do you still get a relocation error
> message?
> It owuld be very helpful if you you determine what gcc compiler switches
> your hardening setup is adding that produce these relocs. Gcl does not
> attempt to support all of them, especially as it thinks it is
> controlling the switches to the C compiler. (lisp variable
> compiler::*cc*). Maybe you could run under strace -f and grep the exec
> gcc?
execve("/usr/bin/gcc", ["gcc", "-c", "-Wall", "-DVOL=volatile", "-fsigned-char", "-Wno-unused-but-set-variable", "-pipe", "-I../h", "-O3", "-fomit-frame-pointer", "-c", "/tmp/gazonk2.c", "-o", "/tmp/gazonk2.o", "-w"], [/* 47 vars */]) = 0
and
execve("/usr/bin/gcc-4.7.real", ["/usr/bin/gcc-4.7.real", "-fstack-protector", "--param=ssp-buffer-size=4", "-fPIE", "-D_FORTIFY_SOURCE=2", "-Wformat", "-Wformat-security", "-Werror=format-security", "-c", "-Wall", "-DVOL=volatile", "-fsigned-char", "-Wno-unused-but-set-variable", "-pipe", "-I../h", "-O3", ...], [/* 47 vars */]) = 0
Thank you very much.
Regards,
Edi
Liste_...@gmx.de
Jun 21, 2013, 7:00:02 AM6/21/13
to
Dear Camm,
> > This seems to be the problem. Do you still get a relocation error
> > message?
>
> Yep.
Today was a kernel-update for testing so it's the same now as in sid (Debian 3.9.6-1 x86_64)
> > This seems to be the problem. Do you still get a relocation error
> > message?
>
> Yep.
but that did not changed anything :(
Could you please add "gcc" to the depends-list?
0 new messages