companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
Inline_ has joined #ocaml
Inline has quit [Killed (iridium.libera.chat (Nickname regained by services))]
Inline_ is now known as Inline
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
Inline has quit [Read error: Connection reset by peer]
Inline has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
Haudegen has quit [Quit: Bin weg.]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 265 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
Inline has quit [Ping timeout: 244 seconds]
euphores has quit [Ping timeout: 248 seconds]
euphores has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]
alfiee has joined #ocaml
tremon has quit [Quit: getting boxed in]
alfiee has quit [Ping timeout: 248 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 245 seconds]
agentcasey_ has joined #ocaml
agentcasey has quit [Ping timeout: 260 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 246 seconds]
bartholin has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 245 seconds]
Serpent7776 has joined #ocaml
bartholin has quit [Quit: Leaving]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]
mange has quit [Quit: Zzz...]
dhil has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 245 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
infinity0 has quit [Ping timeout: 245 seconds]
Inline has joined #ocaml
Inline has quit [Ping timeout: 248 seconds]
infinity0 has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 245 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 268 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
Inline has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
Haudegen has quit [Quit: Bin weg.]
tremon has joined #ocaml
wickedshell has quit [Ping timeout: 260 seconds]
Inline_ has joined #ocaml
Inline is now known as Guest8877
Guest8877 has quit [Killed (mercury.libera.chat (Nickname regained by services))]
Inline_ is now known as Inline
Inline has quit [Quit: Leaving]
<discocaml> <romain.beauxis> Hi again! I have a segfault most likely due to a faulty C binding. The stack trace seems to be a corruption of the `bf_large_tree`:
<discocaml> <romain.beauxis> ```
<discocaml> <romain.beauxis> Program terminated with signal SIGSEGV, Segmentation fault.
<discocaml> <romain.beauxis> #0 bf_large_wosize (n=0xffffffffffffffff) at freelist.c:847
<discocaml> <romain.beauxis> #1 bf_search (wosz=220) at freelist.c:1022
<discocaml> <romain.beauxis> #2 bf_insert_block (n=0x7fc655814f18) at freelist.c:1209
<discocaml> <romain.beauxis> #3 0x000055b59a5524f6 in bf_insert_remnant (v=140489814789912) at freelist.c:1315
<discocaml> <romain.beauxis> #4 bf_alloc_from_large (set_least=0, bound=<optimized out>, p=<optimized out>, wosz=<optimized out>) at freelist.c:1467
<discocaml> <romain.beauxis> #5 bf_allocate_from_tree (wosz=<optimized out>, set_least=0) at freelist.c:1501
<discocaml> <romain.beauxis> #6 0x000055b59a5371e9 in caml_fl_allocate (wo_sz=1024) at caml/freelist.h:40
<discocaml> <romain.beauxis> #7 caml_alloc_shr_aux (profinfo=0, track=1, tag=254, wosize=1024) at memory.c:471
<discocaml> <romain.beauxis> #8 caml_alloc_shr_with_profinfo (profinfo=0, tag=254, wosize=1024) at memory.c:526
<discocaml> <romain.beauxis> #9 caml_alloc_shr (wosize=1024, tag=254) at memory.c:537
<discocaml> <romain.beauxis> #10 0x000055b59a5378ad in caml_alloc (wosize=wosize@entry=1024, tag=tag@entry=254) at alloc.c:52
<discocaml> <romain.beauxis> #11 0x000055b59a4ea35d in convert_to_planar_float_array (swr=0x7fc68405aaf0, in_nb_samples=<optimized out>, out_nb_samples=<optimized out>, out_vect=0x7fc69d7f8c08) at swresample_stubs.c:381
<discocaml> <romain.beauxis> ```
<discocaml> <romain.beauxis> Does anyone have a suggestion as to how to approach debugging this? This seems pretty daunting. Compiler is OCaml 4.14
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 272 seconds]
Guest10 has joined #ocaml
<Guest10> what package in the opam-repository contains the opam binary? `opam install opam-client` is apparently not the one I was looking for. None of `opam search opam` gives a hint what package it might be.
Haudegen has joined #ocaml
<Guest10> ah, it is opam-devel ...
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
Guest10 has quit [Quit: Client closed]
wickedshell has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
<rustyne> romain.beauxis: is it recordable with rr?
alfiee has joined #ocaml
<discocaml> <romain.beauxis> rustyne: what is rr? 🙂
alfiee has quit [Ping timeout: 265 seconds]
<discocaml> <romain.beauxis> https://github.com/rr-debugger/rr got it!
Haudegen has quit [Quit: Bin weg.]
dhil has quit [Ping timeout: 246 seconds]
<discocaml> <romain.beauxis> Unfortunately it doesn't look like it rustyne, the machine is on a cloud platform and does not have the featue enabled in the kernel.
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
terrorjack has joined #ocaml
<discocaml> <sim642> It's crashing inside caml_alloc and not even GC? That's weird
Haudegen has joined #ocaml
alfiee has joined #ocaml
<discocaml> <contificate> the `n` looks heavily suspicious, I'd trace where that comes from via the call stack
<discocaml> <contificate> ```ocaml
<discocaml> <contificate> Caml_inline mlsize_t bf_large_wosize (struct large_free_block *n) {
<discocaml> <contificate> return Wosize_val((value)(n));
<discocaml> <contificate> }
<discocaml> <contificate> ```
<discocaml> <contificate> casting saturated bits `0xffff...` to `value`? oh dear
alfiee has quit [Ping timeout: 252 seconds]
Everything has quit [Quit: leaving]
malte has quit [Remote host closed the connection]
malte has joined #ocaml
<discocaml> <romain.beauxis> yeah one of the node value became `0xfff...`
<discocaml> <romain.beauxis> Looks like a corruption of `bf_large_tree`
<discocaml> <romain.beauxis> That's where `rr` would have be GREAT
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
Tuplanolla has joined #ocaml
chiselfu1e has joined #ocaml
chiselfuse has quit [Ping timeout: 264 seconds]
alexherbo2 has joined #ocaml
<discocaml> <contificate> oh, you don't have a reliable reproduction?
alexherbo2 has quit [Remote host closed the connection]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 268 seconds]
dhil has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
dhil has quit [Ping timeout: 265 seconds]
oriba has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
<discocaml> <romain.beauxis> I wish no this happens after hours of running in complex application
<discocaml> <romain.beauxis> If the tree contains values are there code path that would replace the pointer with `0xffff...`?
<discocaml> <romain.beauxis> I wish no this happens after hours of running a complex application
bartholin has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 276 seconds]
Serpent7776 has quit [Ping timeout: 276 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
bartholin has quit [Quit: Leaving]
wbooze has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 245 seconds]
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]