On Thu, 2015-10-22 at 10:59 -0400, Camm Maguire wrote:
> Greetings, and thanks again for your work on this!
>
> Svante Signell <svante.sign...@gmail.com> writes:
>
> > Update:
> > hol88 builds with one manual interrupt:
> >
>> Makefile:36: recipe for target 'latex_type_pp.ml' failed
..
>
> I think you might be using an older gcl, as the symbols have recently
> moved among different packages. If you try the latest versions in
> debian sid with your sysconf patch for gcl, that should work.
>
> Otherwise, pleast let me know.
I do use the latest version of gcl.
I tried to issue the broken parts manually but failed with setting the
library_pathname():
source ../hol88_commandline
-bash: set_library_search_path
[`/home/srs/DEBs/hol88/hol88-2.02.19940316/Library`];;: No such file or
directory
cat hol88_commandline
#!/bin/sh
#set -x
#echo 'set_flag(`abort_when_fail`,true);;'\
'set_library_search_path
[`/home/srs/DEBs/hol88/hol88-2.02.19940316/Library`];;'\
'loadf(library_pathname() ^ `/prettyp/PP_printer`);;'\
'loadf(library_pathname() ^ `/prettyp/PP_parser`);;'\
'PP_to_ML false `latex_type` ``;;'\
'quit();;' | /home/srs/DEBs/hol88/hol88-2.02.19940316/hol
>From the build log and Library/latex-hol/Makefile
##echo 'set_flag(`abort_when_fail`,true);;'\
# 'loadf(library_pathname() ^ `/prettyp/PP_printer`);;'\
# 'loadf(library_pathname() ^ `/prettyp/PP_parser`);;'\
# 'PP_to_ML false `latex_type` ``;;'\
# 'quit();;' | /home/srs/DEBs/hol88/hol88-2.02.19940316/hol
> > maxima still FTBFS at the same place.
> >
> > Seems like there are errors when running gcl for both packages:
> > task(9610) decreasing a bogus port 1701869637 by 1, most probably a bug.
>
> Interesting. My general experience has been lockups almost impossible
> to debug and do anything but a kill -9.
> From the maxima source tree you can do
> cd src
> GCL_ANSI=t gcl
> >(progn (load "../lisp-utils/defsystem.lisp") (funcall (intern (symbol-name
> >:operate-on-system) :mk) "maxima" :load :verbose t) (when (fboundp (quote
> >si::sgc-on))(si::sgc-on t)) (si:save-system "binary-gcl/maxima"))
>
> You can also precede with (si::use-fast-links nil) if you want lisp
> debugging.
I managed to create a batch version, see attached maxima_commandline,
and got an rpctrace (not attached, too big) and a gdb backtrace
(maxima_gdb.txt). Seems like the bugs are in the memory protection
parts.
Interactively:
cd src
GCL_ANSI=t gcl
>(progn (load "../lisp-utils/defsystem.lisp") (funcall (intern (symbol-name
>:operate-on-system) :mk) "maxima" :load :verbose t) (when (fboundp (quote
>si::sgc-on))(si::sgc-on t)) (si:save-system "binary-gcl/maxima"))
Batch:
(cd src; GCL_ANSI=t gcl -batch -eval '(progn (load
"../lisp-utils/defsystem.lisp") (funcall (intern (symbol-name
:operate-on-system) :mk) "maxima" :load :verbose t) (when (fboundp (quote
si::sgc-on))(si::sgc-on t)) (si:save-system "binary-gcl/maxima"))'; )
(cd src; GCL_ANSI=t rpctrace /usr/bin/gcl -batch -eval '(progn (load
"../lisp-utils/defsystem.lisp") (funcall (intern (symbol-name
:operate-on-system) :mk) "maxima" :load :verbose t) (when (fboundp (quote
si::sgc-on))(si::sgc-on t)) (si:save-system "binary-gcl/maxima"))'; ) 2>&1 |
tee rpctrace.out
In another window: kill -9 10895
ps -feM|grep srs
srs 10894 9822 0:01.73 tee standard output rpctrace.out QUILT_REFRESH_AR
srs 10895 10893 0:07.32 rpctrace /usr/bin/gcl -batch -eval (progn (load "
srs 10896 10895 0:01.03 /usr/lib/gcl-2.6.12/unixport/saved_ansi_gcl -dir
gdb ~/DEBs/gcl/gcl-2.6.12/debian/ansi/usr/lib/gcl-2.6.12/unixport/saved_ansi_gcl
(gdb) run
Error:
Fast links are on: do (si::use-fast-links nil) for debugging
Signalled by EVAL.
Condition in EVAL [or a callee]: INTERNAL-SIMPLE-UNBOUND-VARIABLE: Cell error
on RUN: Unbound variable:
Broken at EVAL. Type :H for Help.
1 Return to top level.
>>(progn (load "../lisp-utils/defsystem.lisp") (funcall (intern (symbol-name
>>:operate-on-system) :mk) "maxima" :load :verbose t) (when (fboundp (quote
>>si::sgc-on))(si::sgc-on t)) (si:save-system "binary-gcl/maxima"))
...
; - Providing system maxima
[New Thread 1126.6]
Program received signal SIGSEGV, Segmentation fault.
0x080d94df in memprotect_test () at sgbc.c:425
425 for (;f1<f1e;) *f1++=*f2;
(gdb) set logging on
Copying output to gdb.txt.
(gdb) thread apply all bt full
(gdb) set logging off
Done logging to gdb.txt.
(gdb) quit
Thread 5 (Thread 1126.6):
#0 0x012eab5c in mach_msg_trap ()
at
/home/srs/DEBs/glibc/glibc-2.19/build-tree/hurd-i386-libc/mach/mach_msg_trap.S:2
No locals.
#1 0x012eb33e in __mach_msg (msg=msg@entry=0x1535f50, option=option@entry=3,
send_size=32,
rcv_size=rcv_size@entry=4096, rcv_name=rcv_name@entry=117,
timeout=timeout@entry=0,
notify=notify@entry=0) at msg.c:110
ret = <optimized out>
#2 0x012eb9ff in __mach_msg_server_timeout (demux=demux@entry=0x12fbfa0
<msgport_server>,
max_size=max_size@entry=4096, rcv_name=rcv_name@entry=117,
option=option@entry=0,
timeout=timeout@entry=0) at msgserver.c:150
request = 0x1535f50
reply = 0x1536f60
mr = 0
__PRETTY_FUNCTION__ = "__mach_msg_server_timeout"
#3 0x012ebaeb in __mach_msg_server (demux=demux@entry=0x12fbfa0
<msgport_server>, max_size=4096,
rcv_name=117) at msgserver.c:195
No locals.
#4 0x012fc08d in _hurd_msgport_receive () at msgportdemux.c:67
No locals.
#5 0x66688b92 in ?? ()
No symbol table info available.
Thread 4 (Thread 1126.5):
#0 0x080d94df in memprotect_test () at sgbc.c:425
f1 = 0x1028004
f1e = 0x1029000
b1 = 0x1027020 ' ' <repeats 200 times>...
b2 = 0x1026010 ""
sa = {__sigaction_handler = {sa_handler = 0x80d9330
<memprotect_handler_test>,
sa_sigaction = 0x80d9330 <memprotect_handler_test>}, sa_mask =
151890240, sa_flags = 66}
sao = {__sigaction_handler = {sa_handler = 0x8056990
<segmentation_catcher>,
sa_sigaction = 0x8056990 <segmentation_catcher>}, sa_mask = 0,
sa_flags = 67}
saob = {__sigaction_handler = {sa_handler = 0x8056990
<segmentation_catcher>,
sa_sigaction = 0x8056990 <segmentation_catcher>}, sa_mask = 0,
sa_flags = 67}
#1 0x080e03a5 in do_memprotect_test () at sgbc.c:468
rc = 0
#2 0x080e0477 in sgc_start () at sgbc.c:527
i = <optimized out>
count = <optimized out>
minfree = <optimized out>
v = <optimized out>
omp = 0x8fa2860
tmp = <optimized out>
scale = <optimized out>
__FUNCTION__ = "sgc_start"
#3 0x080e11fa in siLsgc_on () at sgbc.c:1042
No locals.
#4 0x080e3a47 in eval (form=<optimized out>) at eval.c:950
temporary = <optimized out>
fun = 0x90d5558
x = 0x90d4798
top = 0x8e57354
base = 0x8e57350
#5 0x08069711 in Fwhen (form=0x94f5bf0) at conditional.c:161
top = 0x8e5734c
#6 0x080e391f in eval (form=<optimized out>) at eval.c:897
temporary = <optimized out>
fun = 0x90da148
x = <optimized out>
top = <optimized out>
base = <optimized out>
#7 0x0806d549 in Fprogn (body=0x94f5be8) at prog.c:248
top = 0x8e5734c
#8 0x080e391f in eval (form=<optimized out>) at eval.c:897
temporary = <optimized out>
fun = 0x90ced50
x = <optimized out>
top = <optimized out>
base = <optimized out>
#9 0x080e506a in siLevalhook () at eval.c:1068
env = <optimized out>
old_bds_top = 0x8f9e028
lex = 0x8e57254
n = <optimized out>
#10 0x0815d96d in LI20 (V146=0x94f5cc0) at gcl_serror.c:1038
V148 = <optimized out>
V147 = <optimized out>
base = 0x8e57330
sup = 0x8e57340
#11 0x080c5fcf in c_apply_n (f=<optimized out>, n=<optimized out>, x=<optimized
out>)
at ../h/apply_n.h:6
No locals.
#12 0x080c880b in c_apply_n_fun (b=<optimized out>, n=<optimized out>,
fun=<optimized out>)
at ../h/apply_n.h:92
No locals.
#13 call_proc_new (sym=0x90fbb48, link=0x842fc98 <LnkLI138>, argd=1,
first=0x94f5cc0,
ll=0x1029404 "8\304\344\b\260\230\r\t\376\322\025\b") at funlink.c:455
new = 0x10292a8
Xxvl = {0x94f5cc0, 0x0, 0x0, 0x0, 0x8f57ec0, 0x8f57ec0, 0x90c8f90,
0x10295f4, 0x1029260,
0x80bc08d <fLformat+1037>, 0x0, 0x10295f4, 0x90fca70, 0x90fca40,
0x94f6b28, 0x8e4c480,
0x94cf868, 0x8e4c438, 0x1, 0x8fc6bc0, 0x7fffffff, 0x8fc5a48,
0x80e52b0 <fcalln1>,
0x8e57304, 0x8e5730c, 0x8e4c438, 0x94d9068, 0x94cf5a8, 0x90d5a08,
0x80e1edf <c_apply_n+2895>, 0x1, 0x8e4c438, 0x8e4c438, 0x8fc6bc0,
0x8e4c438, 0x1, 0x1,
0x80e3118 <quick_call_sfun+168>, 0x1, 0x94d91c8, 0x1e, 0x8fc6bc0,
0x8e57328, 0x94cf5a8,
0x2, 0x4c17f60f, 0x8fc6bc0, 0x2, 0x8e57328, 0x8e4c438, 0x0,
0x8e5732c, 0x1029340,
0x90d1758, 0x8fc5a48, 0x94f6ae0, 0x1322625 <__ctype_b_loc+5>,
0x4c17f60f, 0x0, 0x8e4c438,
0x9011e98, 0x90d3a80, 0x90fca70, 0x90c8f90, 0x10295f4}
fn = 0x815d800 <LI20>
fun = 0x90fc848
nargs = 1
#14 0x0815c4c1 in LnkTLI138 (first=0x94f5cc0) at gcl_serror.c:1876
V1 = 0x0
ap = 0x1029404 "8\304\344\b\260\230\r\t\376\322\025\b"
#15 0x0815d35c in LI22 (V156=0x94cf868, V157=0x8e4c438, V158=0x8fa2860,
V159=0xa0000001,
V160=0x94f6b28) at gcl_serror.c:1184
V173 = <optimized out>
V174 = <optimized out>
V175 = <optimized out>
V161 = 0x8e4c438
base = 0x8e57304
V170 = <optimized out>
V169 = <optimized out>
V166 = <optimized out>
V165 = <optimized out>
V164 = <optimized out>
V163 = <optimized out>
sup = 0x8e57330
#16 0x080c5f69 in c_apply_n (f=<optimized out>, n=<optimized out>, x=<optimized
out>)
at ../h/apply_n.h:11
No locals.
#17 0x080c880b in c_apply_n_fun (b=<optimized out>, n=<optimized out>,
fun=<optimized out>)
at ../h/apply_n.h:92
No locals.
#18 call_proc_new (sym=0x90fbad0, link=0x842fcb0 <LnkLI163>, argd=5,
first=0x94cf868,
ll=0x10295f4 "\340jO\t") at funlink.c:455
new = 0x1029488
Xxvl = {0x94cf868, 0x8e4c438, 0x8fa2860, 0xa0000001, 0x94f6b28,
0xa0000003,
0x1488c00 <_IO_2_1_stdout_>, 0x8e572ac, 0x8e4c480, 0x4c17f60f,
0x1488c00 <_IO_2_1_stdout_>,
0x94d9048, 0x1, 0x80e3f7c <funcall+988>, 0x94d9048, 0x8e4c438,
0x8e4c438,
0x812d5f3 <LI13+211>, 0x94d9068, 0x94f6a78, 0x90f5828, 0x8e4c438,
0x90d6aa8, 0x8fc6bc0,
0x1e, 0x8e4c438, 0x90d59e0, 0x8e4c438, 0x90f57b0, 0x8e57328,
0x8e57308, 0x90de4b8,
0x8e4c438, 0x80e4f2e <ifuncall1+46>, 0x94d9048, 0xb, 0x94f6a78,
0x8067144 <parse_key+676>,
0x90d6a80, 0x90de4b8, 0x8f57e40, 0x808d912 <apply_key_function+18>,
0x94d9048, 0x94cf5a8,
0x94d9048, 0x1e4c438, 0x94d9048, 0x90de4b8, 0x8f57e40, 0x808d95c
<test_eql+60>, 0x90de4b8,
0x90f3968, 0x8e4c438, 0x8e57308, 0x8f57e40, 0x90de4b8, 0x8e57308,
0x80916a4 <Lmember+452>,
0x94cf5a8, 0x90d6aa8, 0x90d6a80, 0x4c17f60f, 0x94d9048, 0x94f6a78,
0x8e57308}
fn = 0x815cd30 <LI22>
fun = 0x90fc830
nargs = 5
#19 0x0815c461 in LnkTLI163 (first=0x94cf868) at gcl_serror.c:1869
V1 = 0x0
ap = 0x10295e4 "8\304\344\b`(\372\b\001"
#20 0x0815cab6 in LI23 (V181=0x94cf868) at gcl_serror.c:1360
V191 = <optimized out>
V184 = 0x8fa2860
V185 = 0x94f6b28
V182 = 0x94cf868
V183 = 0x8e4c438
ap = <optimized out>
narg = <optimized out>
base = 0x8e572ac
V190 = <optimized out>
V189 = <optimized out>
V187 = <optimized out>
#21 0x080e1edf in c_apply_n (f=<optimized out>, n=<optimized out>, x=<optimized
out>)
at ../h/apply_n.h:6
No locals.
#22 0x080e2f14 in c_apply_n_fun (b=0x8e572a8, n=1, fun=0x1) at ../h/apply_n.h:92
No locals.
#23 call_vfun (fun=fun@entry=0x90fc818) at eval.c:119
n = 1
base = 0x8e572a8
#24 0x080e3ef8 in funcall (fun=0x90fc818) at eval.c:159
rset = 1
temporary = <optimized out>
x = <optimized out>
top = 0x1488c00 <_IO_2_1_stdout_>
lex = <optimized out>
old_bds_top = <optimized out>
b = 151839528
c = <optimized out>
#25 0x080e4af9 in simple_symlispcall (sym=0x90fbc10, base=0x8e572a8, narg=1) at
eval.c:541
fun = 0x90fc818
sup = 0x8e572ac
#26 0x0815de2d in LI19 (V137=0x94cf868) at gcl_serror.c:985
V144 = <optimized out>
V140 = <optimized out>
base = 0x8e57298
V143 = <optimized out>
V141 = <optimized out>
sup = 0x8e572ac
#27 0x080c5fcf in c_apply_n (f=<optimized out>, n=<optimized out>, x=<optimized
out>)
at ../h/apply_n.h:6
No locals.
#28 0x080c880b in c_apply_n_fun (b=<optimized out>, n=<optimized out>,
fun=<optimized out>)
at ../h/apply_n.h:92
No locals.
#29 call_proc_new (sym=0x90dfaa8, link=0x842fc6c <LnkLI89>, argd=1,
first=0x94cf868,
ll=0x10298b4
"H\205O\t\364\230\002\001\320?O\t\311\305\004\bv\032i\t\311\305\004\b@U\037\001\b")
at funlink.c:455
new = 0x1029758
Xxvl = {0x94cf868, 0x1487000, 0x13010e7 <_hurd_sigstate_lock+7>,
0x130115e <_hurd_sigstate_unlock+14>, 0x1487000, 0x6, 0x12d457c,
0x980d <check_match+285>,
0x12df8ac, 0x12df8ac, 0x10042002, 0x2b02 <dl_main+386>, 0x0, 0x8d,
0x0, 0x9691974,
0x102ef98, 0x6, 0x12d535c, 0x28000, 0x12cdc84, 0x6, 0x14d7c04, 0x9707
<check_match+23>,
0x12df87e, 0x11f5534, 0x128c8a4, 0x9691974, 0xe, 0x1029800,
0xc305b922, 0x6182dc9,
0x12cedec, 0x21624, 0x14d7c04, 0x28000, 0x1286270, 0x5, 0x14d7c04,
0x9fd4 <do_lookup_x+1876>, 0xe, 0x1368b4e <_IO_setb+14>, 0x0, 0x0,
0x8e4c438, 0x94f3fd0,
0x167982f2, 0xb3cc17, 0x1286598, 0x21624, 0x8, 0x12888a8, 0x35353534,
0x30323030, 0x0,
0x28000, 0x133ebab <_IO_vfprintf_internal+11>, 0x4c17f60f, 0x0, 0x0,
0x5, 0x8e57290,
0x90d98b8, 0x8e57298, 0x94cf868}
fn = 0x815daa0 <LI19>
fun = 0x90fc860
nargs = 1
#30 0x0815c521 in LnkTLI89 (first=0x94cf868) at gcl_serror.c:1890
V1 = 0x0
ap = 0x10298b4
"H\205O\t\364\230\002\001\320?O\t\311\305\004\bv\032i\t\311\305\004\b@U\037\001\b"
#31 0x0815e0fa in LI18 (V130=0x90c94e0) at gcl_serror.c:888
V134 = 0x94cf868
V135 = 0x90d98b8
V131 = 0x90c94e0
V132 = <optimized out>
ap = 0x10298f4 "8W\r\t\320?O\t\017\366\027L\b\340R\001\003"
narg = <optimized out>
base = 0x8e57290
V133 = <optimized out>
#32 0x080e1ead in c_apply_n (f=<optimized out>, n=<optimized out>, x=<optimized
out>)
at ../h/apply_n.h:9
No locals.
#33 0x080e2f14 in c_apply_n_fun (b=0x8e57284, n=3, fun=0x3) at ../h/apply_n.h:92
No locals.
#34 call_vfun (fun=fun@entry=0x90fc878) at eval.c:119
n = 3
base = 0x8e57284
#35 0x080e3ef8 in funcall (fun=0x90fc878) at eval.c:159
rset = 1
temporary = <optimized out>
x = <optimized out>
top = 0x3
lex = <optimized out>
old_bds_top = <optimized out>
b = 0
c = <optimized out>
#36 0x0815e711 in LI16 (V106=0x90c94e0, V105=0x8e4c438, V104=0x90ca670,
V103=0x90d1770,
V102=0x90d1770) at gcl_serror.c:766
V107 = 0x90c94e0
V109 = 0x90ca670
V110 = 0x90d1770
V112 = <optimized out>
V108 = 0x8e4c438
V111 = 0x90d1770
ap = 0x1029994 "8W\r\t\320?O\t z0\001\001"
narg = <optimized out>
base = 0x8e5727c
V113 = <optimized out>
sup = 0x8e5728c
#37 0x080e1e79 in c_apply_n (f=<optimized out>, n=<optimized out>, x=<optimized
out>)
at ../h/apply_n.h:11
No locals.
#38 0x080e2f14 in c_apply_n_fun (b=0x8e57260, n=7, fun=0x7) at ../h/apply_n.h:92
No locals.
#39 call_vfun (fun=fun@entry=0x90fc8a8) at eval.c:119
n = 7
base = 0x8e57260
#40 0x080e3ef8 in funcall (fun=0x90fc8a8) at eval.c:159
rset = 1
temporary = <optimized out>
x = <optimized out>
top = 0x1101
lex = <optimized out>
old_bds_top = <optimized out>
b = 0
c = <optimized out>
#41 0x080ceda7 in IapplyVector (fun=0x90d09e0, nargs=7, base=0x8e57260) at
nfunlink.c:246
res = <optimized out>
abase = <optimized out>
i = <optimized out>
oldtop = 0x8e57260
atypes = <optimized out>
#42 0x080c28ce in Icall_gen_error_handler (ci=0x8e4c438, cs=0x90d1770,
en=0x90c94e0, es=0x90d1770,
n=7) at error.c:148
b = 0x1029a50
i = <optimized out>
ap = 0x1029ad4 "8W\r\t\320?O\t\210_\374\b@~\365\bXr\345\b r\345\b$Y\r\b"
#43 0x080e3b55 in eval (form=<optimized out>) at eval.c:864
temporary = <optimized out>
fun = <optimized out>
x = <optimized out>
top = <optimized out>
base = <optimized out>
#44 0x080e4fbd in fLeval (x0=0x94f3fd0) at eval.c:1038
lex = 0x8e5720c
#45 0x080cde5f in c_apply_n (f=<optimized out>, n=<optimized out>, x=<optimized
out>)
at ../h/apply_n.h:6
No locals.
#46 0x080ceec5 in c_apply_n_fun (b=<optimized out>, n=<optimized out>,
fun=<optimized out>)
at ../h/apply_n.h:92
No locals.
#47 IapplyVector (fun=0x8fc6b90, nargs=1, base=0x8e57250) at nfunlink.c:236
res = <optimized out>
abase = 0x8e57250
i = <optimized out>
oldtop = 0x8e57250
atypes = <optimized out>
#48 0x080e3e82 in funcall (fun=0x8fc6b90) at eval.c:167
res = <optimized out>
b = 0x8e5724c
n = <optimized out>
temporary = <optimized out>
x = <optimized out>
top = 0x90d7b28
lex = <optimized out>
old_bds_top = <optimized out>
b = 151861888
c = <optimized out>
#49 0x08140ce5 in LI1 () at gcl_top.c:149
V6 = <optimized out>
base = 0x8e57224
V4 = <optimized out>
V2 = <optimized out>
sup = 0x8e57258
#50 0x080e442b in c_apply_n_fun (b=0x8e57224, n=<optimized out>, fun=0x90e4e18)
at ../h/apply_n.h:92
No locals.
#51 call_sfun_no_check (fun=0x90e4e18) at eval.c:103
base = 0x8e57224
#52 super_funcall_no_event (fun=0x90e4e18) at eval.c:613
No locals.
#53 0x0813aa33 in L42 () at gcl_top.c:2878
base = 0x8e57220
sup = 0x8e57224
#54 0x080e3a47 in eval (form=<optimized out>) at eval.c:950
temporary = <optimized out>
fun = 0x90e5738
x = 0x90dbca8
top = 0x8e57220
base = 0x8e57220
#55 0x080e3db2 in funcall (fun=<optimized out>) at eval.c:291
not_pushed = 0
temporary = <optimized out>
x = 0x94f8f70
top = 0x8e5721c
lex = 0x8e57200
old_bds_top = 0x8f9deb8
b = 1
c = <optimized out>
#56 0x08051d29 in main (argc=<optimized out>, argv=0x1029e04, envp=0x1029e10)
at main.c:536
__FUNCTION__ = "main"
