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/
accordvenom has joined #ocaml
chiselfu1e has joined #ocaml
chiselfuse has quit [Ping timeout: 264 seconds]
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
Mister_Magister has quit [Quit: bye]
accordvenom has joined #ocaml
Mister_Magister has joined #ocaml
adrien has quit [Ping timeout: 265 seconds]
adrien has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
adrien has quit [Ping timeout: 265 seconds]
adrien has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
Haudegen has quit [Quit: Bin weg.]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
Tuplanolla has quit [Quit: Leaving.]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
anpad has quit [Quit: ZNC 1.8.2 - https://znc.in]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
anpad has joined #ocaml
anpad has quit [Client Quit]
gebn has joined #ocaml
accordvenom has joined #ocaml
chrisz has quit [Ping timeout: 245 seconds]
chrisz has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
anpad has joined #ocaml
accordvenom has joined #ocaml
agentcasey has quit [Quit: ZNC 1.10.x-git-27-bfd731cf - https://znc.in]
agentcasey has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
agentcasey has quit [Quit: ZNC 1.10.x-git-27-bfd731cf - https://znc.in]
agentcasey has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
adrien has quit [Ping timeout: 265 seconds]
adrien has joined #ocaml
cr1901_ has joined #ocaml
cr1901 has quit [Ping timeout: 248 seconds]
desumn has joined #ocaml
adrien has quit [Ping timeout: 252 seconds]
adrien has joined #ocaml
agentcasey has quit [Quit: ZNC 1.10.x-git-27-bfd731cf - https://znc.in]
agentcasey has joined #ocaml
adrien has quit [Ping timeout: 252 seconds]
adrien has joined #ocaml
desumn has quit [Ping timeout: 265 seconds]
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
bartholin has joined #ocaml
Serpent7776 has joined #ocaml
igemnace has quit [Quit: ZNC 1.9.0+deb2build3 - https://znc.in]
igemnace has joined #ocaml
bartholin has quit [Quit: Leaving]
euphores has quit [Read error: Connection reset by peer]
euphores has joined #ocaml
Tuplanolla has joined #ocaml
infinity0 has quit [Ping timeout: 272 seconds]
kaustuv has joined #ocaml
infinity0 has joined #ocaml
Anarchos has joined #ocaml
kaustuv has left #ocaml [ERC 5.6.1-git (IRC client for GNU Emacs 29.4)]
pi3ce has quit [Read error: Connection reset by peer]
pi3ce has joined #ocaml
desumn has joined #ocaml
Haudegen has joined #ocaml
desumn has quit [Ping timeout: 265 seconds]
bartholin has joined #ocaml
<discocaml_> <marisakirisame> I have some C code that do simd over a big floatarray, and i want to invoke it in ocaml.
<discocaml_> <marisakirisame> Everything is fine, but it need to be 16-bytes aligned.
<discocaml_> <marisakirisame>
<discocaml_> <marisakirisame> I think there is two way to achieve this
<discocaml_> <marisakirisame> 0 - malloc/free in C, which give me the right alignment
<discocaml_> <marisakirisame> 1 - over-allocate in ocaml by 16 bytes, then start using it only at the right alignment
<discocaml_> <marisakirisame>
<discocaml_> <marisakirisame> both options have their drawback - (0) require using an allocator which is slower then bump-pointer allocating, and (1) is very ugly. which one is the lesser poison and is there another option?
<Anarchos> marisakirisame where is your big float array allocated ? In C side or in OCaml side ?
<discocaml_> <marisakirisame> I am deciding between the two. I can allocate at both places - it is 4 int128_t disguised as a floatarray for unboxing
<discocaml_> <marisakirisame> i think the downside of (0) is not malloc/free (I can write a pool to store the values), but the overhead from finalizers, which i am not familiar with
<Anarchos> marisakirisame on C side you can use align(16) annotation
<discocaml_> <marisakirisame> yes, exactly. that's what the code (i inherited) does. however if i allocate them on OCaml side (to get away from finalizer and malloc/free) i cant tell ocaml to align them
<Anarchos> way over my head, sorry
<discocaml_> <marisakirisame> no prob! you did help!
Anarchos has quit [Quit: Vision[]: i've been blurred!]
ygrek has joined #ocaml
Serpent7776 has quit [Ping timeout: 252 seconds]
patrick_ is now known as patrick
Anarchos has joined #ocaml
Guest64 has joined #ocaml
Serpent7776 has joined #ocaml
Guest64 has quit [Quit: Client closed]
YuGiOhJCJ has joined #ocaml
_whitelogger has joined #ocaml
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
bartholin has quit [Quit: Leaving]
semarie has quit [Ping timeout: 265 seconds]
Serpent7776 has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml
casastorta has quit [Remote host closed the connection]
casastorta has joined #ocaml
rgrinberg has quit [Ping timeout: 248 seconds]
rgrinberg has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
fcambus has joined #ocaml