Issue 5640 in pharo: CoqVM segfaults on Ubutu 11.10 amd64

Status: New
Owner: ----

New issue 5640 by [hidden email]: CoqVM segfaults on Ubutu 11.10  
amd64
http://code.google.com/p/pharo/issues/detail?id=5640

Running CogVM segfaults, with or without image options. With -help it  
prints the help message first.

It seems to run fine under strace or gdb!

I've tested the Coq-linux.zip from  
http://www.pharo-project.org/pharo-download
and CogVM-Unix-13307.zip from https://gforge.inria.fr/frs/?group_id=1299

dmesg shows lines like

[ 4120.164366] CogVM[7250]: segfault at c ip 00000000f77610df sp  
00000000ff91cfd0 error 4 in ld-2.13.so[f775f000+e000]

This is on Ubuntu 11.10.

uname -a reports
Linux brandon-desktop 3.0.0-17-server #30-Ubuntu SMP Thu Mar 8 22:15:30 UTC  
2012 x86_64 x86_64 x86_64 GNU/Linux

I have no trouble on Debian 6.0.4, which uses ld-2.11.3.so


_______________________________________________
Pharo-bugtracker mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-bugtracker

Updates:
        Cc: [hidden email] [hidden email]

Comment #1 on issue 5640 by marianopeck: CoqVM segfaults on Ubutu 11.10  
amd64
http://code.google.com/p/pharo/issues/detail?id=5640

Hi. Can you try with Eliot VM from here:  
http://www.mirandabanda.org/files/Cog/VM/VM.r2550/coglinux.tgz  ?  just to  
see if we have a difference there.




_______________________________________________
Pharo-bugtracker mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-bugtracker

Comment #2 on issue 5640 by [hidden email]: CoqVM segfaults on Ubutu  
11.10 amd64
http://code.google.com/p/pharo/issues/detail?id=5640

11.10 64bits? do you have x11 32 bits installed?


_______________________________________________
Pharo-bugtracker mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-bugtracker

Comment #3 on issue 5640 by [hidden email]: CoqVM segfaults on Ubutu  
11.10 amd64
http://code.google.com/p/pharo/issues/detail?id=5640

I see the same symptoms with the VM from your link, and even down to  
working correctly under gdb with the Pharo-1.4 image.

I have ia32-libs installed, which includes a /usr/lib32/libX11.so.6.3.0
ldd shows no unresolved dependencies for any of the *.so or vm-* files
from Cog-linux.zip.
(I don't see how it could run successfully under gdb if I didn't).


_______________________________________________
Pharo-bugtracker mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-bugtracker

Comment #4 on issue 5640 by [hidden email]: CoqVM segfaults on Ubutu  
11.10 amd64
http://code.google.com/p/pharo/issues/detail?id=5640

this should be a cog bug entry:

http://code.google.com/p/cog/issues


_______________________________________________
Pharo-bugtracker mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-bugtracker

Comment #5 on issue 5640 by [hidden email]: CoqVM segfaults on Ubutu  
11.10 amd64
http://code.google.com/p/pharo/issues/detail?id=5640

moved bug entry to the cog tracker:

http://code.google.com/p/cog/issues/detail?id=77


_______________________________________________
Pharo-bugtracker mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-bugtracker

Updates:
        Status: Moved

Comment #6 on issue 5640 by [hidden email]: CoqVM segfaults on Ubutu  
11.10 amd64
http://code.google.com/p/pharo/issues/detail?id=5640

Moved to: Issue cog:78


_______________________________________________
Pharo-bugtracker mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-bugtracker