Re: segfault en byte-code et mode natif

[vicuna]

Original bug ID: 488
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

David Mentre David.Mentre@inria.fr writes:

J'ai testé avec O'Caml 3.01, le même bug apparait.

Une précision que j'avais oublié : j'utilise l'option -with-pthread pour
mon environnement.

Je vais essayer de compiler un environement Caml avec le debug dans le
C pour donner une trace un peu plus significative.

Je ne sais pas si c'est vraiment plus significatif, mais la voici :

(gdb) r
Starting program: /afs/inria.fr/rocq/home/solidor/mentre/postdoc/development/foosayfisa/test/run_tests
[New Thread 14908 (manager thread)]
[New Thread 14907 (initial thread)]
[New Thread 14909]
crypto
file
logged_file
directory
message [New Thread 14910]
[New Thread 14911]

node [New Thread 14912]

Program received signal SIGSEGV, Segmentation fault.
0x804fb26 in bigarray_finalize (v=1076256400) at bigarray_stubs.c:402
402 if (-- b->proxy->refcount == 0) {
(gdb) bt
#0 0x804fb26 in bigarray_finalize (v=1076256400) at bigarray_stubs.c:402
#1 0x805e89e in sweep_slice (work=24427) at major_gc.c:232
#2 0x805ead1 in major_collection_slice () at major_gc.c:312
#3 0x805f0a7 in minor_collection () at minor_gc.c:163
#4 0x8051397 in alloc_small (wosize=2, tag=255) at alloc.c:58
#5 0x805bb10 in alloc_custom (ops=0x8064970, size=4, mem=0, max=1) at custom.c:33
#6 0x8052f4a in copy_int32 (i=-324403200) at ints.c:172
#7 0x80530c1 in int32_shift_left (v1=1075322900, v2=33) at ints.c:213
#8 0x805cd98 in interprete (prog=0x401e3008, prog_size=205868) at interp.c:836
#9 0x805e074 in caml_main (argv=0xbffffac4) at startup.c:381
#10 0x8050bee in main (argc=1, argv=0xbffffac4) at main.c:41

Sinon, j'ai essayé de compiler ocamlrund qui semble être l'exécuteur de
byte code avec le debug activé (en substitutant ocamlrund à ocamlrun
dans le répertoire de l'installation (ocaml-3.02-debug/bin)).
Malheureusement, je n'arrive pas à exécuter mon programme dessus :

pochi(mentre):/<1>development/foosayfisa [1353] /local/mentre/install/ocaml-3.02-debug/bin/ocamlmktop -thread unix.cma threads.cma bigarray.cma -o debugcaml
[...]
pochi(mentre):/<1>development/foosayfisa [1354] ./debugcaml ./test/run_tests
File "./test/run_tests", line 1, characters 0-1:
Illegal character (\127)

Amicalement,
d.

David.Mentre@inria.fr
Opinions expressed here are only mine.

[vicuna]

Comment author: administrator

Salut,

On Fri, Aug 17, 2001 at 11:38:48AM +0200, David.Mentre@inria.fr wrote:

J'ai testé avec O'Caml 3.01, le même bug apparait.

Peux-tu préciser d'abord si tu as ajouté du code C de ton cru, dans ton
programme. Si oui, c'est sûrement là qu'il faut chercher le problème.
Si non, il y a probablement un bug chez nous.

--
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/

[vicuna]

Comment author: administrator

Daniel de Rauglaudre daniel.de_rauglaudre@inria.fr writes:

Si non, il y a probablement un bug chez nous.

Non, je n'ai pas rajouté de code C. 100% pure Caml. Comme je le disais,
je peux donner mon source si ça peut aider.

d.

David.Mentre@inria.fr
Opinions expressed here are only mine.

[vicuna]

Comment author: administrator

Nearly impossible to reproduce.