Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

segfault en byte-code et mode natif #2905

Closed
vicuna opened this issue Aug 17, 2001 · 1 comment
Closed

segfault en byte-code et mode natif #2905

vicuna opened this issue Aug 17, 2001 · 1 comment
Labels

Comments

@vicuna
Copy link

vicuna commented Aug 17, 2001

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

Bug description

Bonjour,

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 ()
#3 0x809c547 in minor_collection ()
#4 0x809b5d5 in garbage_collection ()
#5 0x80a5480 in caml_call_gc ()
#6 0x1ca31 in ?? ()
#7 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 ()
#3 0x805f087 in minor_collection ()
#4 0x8051397 in alloc_small ()
#5 0x805baf0 in alloc_custom ()
#6 0x8052f4a in copy_int32 ()
#7 0x80530c1 in int32_shift_left ()
#8 0x805cd78 in interprete ()
#9 0x805e054 in caml_main ()
#10 0x8050bee in main ()
#11 0x400a49cb in __libc_start_main () at ../sysdeps/generic/libc-start.c:122

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

@vicuna
Copy link
Author

vicuna commented Aug 28, 2001

Comment author: administrator

Nearly impossible to reproduce.

@vicuna vicuna closed this as completed Aug 28, 2001
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant