Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000486OCamlOCaml generalpublic2001-08-17 10:352001-08-28 16:45
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000486: segfault en byte-code et mode natif
DescriptionBonjour,

Je continue dans le monde magique de segfault au pays de Caml. :)

Ce coups-ci, j'ai réussi à avoir un backtrace dans gdb. Apparement, ça
merdouille dans entre bigarray et le GC, aussi bien en mode natif qu'en
byte code (cf. les deux traces).

Je peux filer mon programme si vous voulez. Je vais essayer de compiler
un environement Caml avec le debug dans le C pour donner une trace un
peu plus significative.

Si je peux aider en quoi que ce soit, il n'y a qu'à demander.

Amicalement,
d.

== Trace 1 ==

(gdb) r
Starting program: /afs/inria.fr/rocq/home/solidor/mentre/postdoc/development/foosayfisa/test/run_tests.opt
[New Thread 7190 (manager thread)]
[New Thread 7189 (initial thread)]
[New Thread 7191]
crypto
file
logged_file
directory
message [New Thread 7192]
[New Thread 7193]

node [New Thread 7194]

Program received signal SIGSEGV, Segmentation fault.
0x8099e76 in bigarray_finalize (v=1075230160) at bigarray_stubs.c:402
402 if (-- b->proxy->refcount == 0) {
(gdb) bt
#0 0x8099e76 in bigarray_finalize (v=1075230160) at bigarray_stubs.c:402
#1 0x809bd4e in sweep_slice ()
#2 0x809bf76 in major_collection_slice ()
0000003 0x809c547 in minor_collection ()
0000004 0x809b5d5 in garbage_collection ()
0000005 0x80a5480 in caml_call_gc ()
0000006 0x1ca31 in ?? ()
0000007 0x1ca31 in ?? ()
Cannot access memory at address 0x1edd9.

== Trace 2 ==
(gdb) r
Starting program: /afs/inria.fr/rocq/home/solidor/mentre/postdoc/development/foosayfisa/test/run_tests
[New Thread 7478 (manager thread)]
[New Thread 7477 (initial thread)]
[New Thread 7479]
crypto
file
logged_file
directory
message [New Thread 7480]
[New Thread 7481]

node [New Thread 7482]

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 0x805e87e in sweep_slice ()
#2 0x805eab1 in major_collection_slice ()
0000003 0x805f087 in minor_collection ()
0000004 0x8051397 in alloc_small ()
0000005 0x805baf0 in alloc_custom ()
0000006 0x8052f4a in copy_int32 ()
0000007 0x80530c1 in int32_shift_left ()
0000008 0x805cd78 in interprete ()
0000009 0x805e054 in caml_main ()
0000010 0x8050bee in main ()
0000011 0x400a49cb in __libc_start_main () at ../sysdeps/generic/libc-start.c:122

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

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0002329)
administrator (administrator)
2001-08-28 16:44

Nearly impossible to reproduce.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker