adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]
glass has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
theglass has quit [Ping timeout: 264 seconds]
omarramo has quit [Ping timeout: 255 seconds]
omarramo has joined #ocaml
olle has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
omarramo has quit [Ping timeout: 245 seconds]
omarramo has joined #ocaml
omarramo has quit [Ping timeout: 246 seconds]
silver has quit [Read error: Connection reset by peer]
mfp has quit [Ping timeout: 268 seconds]
jao has quit [Ping timeout: 245 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 245 seconds]
q9929t has joined #ocaml
q9929t has quit [Client Quit]
gravicappa has joined #ocaml
iovec has joined #ocaml
AnAverageHuman has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
AnAverageHuman has joined #ocaml
AnAverageHuman has quit [Remote host closed the connection]
AnAverageHuman has joined #ocaml
ggole has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
gravicappa has quit [Ping timeout: 255 seconds]
FreeBirdLjj has joined #ocaml
KeyJoo has joined #ocaml
olle has joined #ocaml
jao has joined #ocaml
glass has left #ocaml [#ocaml]
theglass has joined #ocaml
kakadu_ has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
bartholin has quit [Remote host closed the connection]
<def`> cuvius: has the OCaml runtime been made aware of the second thread?
<cuvius> def`: yes, the thread is started with Thread.create
<def`> cuvius: it could be a starvation problem; the scheduler sees that the main thread is always busy and does not schedule the second one
Anarchos has joined #ocaml
<def`> cuvius: which version of OCaml are you using and on which OS?
<cuvius> def`: When I look at the stack trace with gdb when the program deadlocks, it appears to me that callback attempts to acquire the runtime lock, but it is already held: https://gist.github.com/andreas/6e03cc2393a0fe392f2b3c51ef44ae0e
<cuvius> def`: 4.06.0 on OSX
<def`> cuvius: it is thread 2 that is holding the lock?
<cuvius> def`: I'm not 100% how the OCaml threads map to the threads displayed in GDB, but my current assumption is that thread 1 is already holding the lock because it is the main application thread.
<def`> cuvius: thread 1 is the one that is trying to acquire the lock
<cuvius> def`: exactly! :)
<def`> thread 2 is executing blocking code, so it should release the lock before calling to C
<cuvius> def`: to my knowledge, thread 2 is not holding the runtime lock
<cuvius> def`: I've probably not explained the scenario well enough. I'm currently writing up an issue on the ctypes github repo with more details.
<def`> good luck :]
jao has joined #ocaml
<cuvius> def`: Here's the Github issue... hope it sheds more light on the issue :) https://github.com/ocamllabs/ocaml-ctypes/issues/592
jnavila has joined #ocaml
olle has quit [Remote host closed the connection]
mfp has joined #ocaml
tane_ has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
asymptotically has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
bartholin has joined #ocaml
silver has joined #ocaml
jao has joined #ocaml
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
Haudegen has joined #ocaml
iovec has quit []
tane_ has quit [Quit: Leaving]
jao has quit [Ping timeout: 255 seconds]
marvin2 has joined #ocaml
jao has joined #ocaml
SpiceGuid has joined #ocaml
KeyJoo has quit [Quit: KeyJoo]
SpiceGuid has quit [Ping timeout: 250 seconds]
jao has quit [Ping timeout: 245 seconds]
q9929t has joined #ocaml
jao has joined #ocaml
pierpal has joined #ocaml
jao has quit [Ping timeout: 255 seconds]
gravicappa has joined #ocaml
q9929t has quit [Quit: q9929t]
jao has joined #ocaml
zolk3ri has joined #ocaml
jao has quit [Read error: Connection timed out]
jao has joined #ocaml
cantstanya has quit [Remote host closed the connection]
cantstanya has joined #ocaml
cantstanya has quit [Remote host closed the connection]
cantstanya has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
ravenousmoose has joined #ocaml
jao has joined #ocaml
AnAverageHuman has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dhil has joined #ocaml
tane has joined #ocaml
tg has quit [Ping timeout: 258 seconds]
tg has joined #ocaml
omarramo has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
AnAverageHuman has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
AnAverageHuman has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
gravicappa has quit [Ping timeout: 245 seconds]
ravenousmoose has joined #ocaml
FreeBirdLjj has joined #ocaml
cuvius has quit [Quit: Connection closed for inactivity]
zolk3ri has quit [Remote host closed the connection]
jbrown has joined #ocaml
jao has joined #ocaml
cuvius has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has joined #ocaml
omarramo has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 246 seconds]
Serpent7776 has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
dhil has quit [Ping timeout: 268 seconds]
Haudegen has quit [Remote host closed the connection]
kroot_ has joined #ocaml
<andreypopp> Do you think Merlin's `references` query might be modified to search for all modules not just the current one?
Haudegen has joined #ocaml
ravenousmoose has joined #ocaml
ravenousmoose has quit [Client Quit]
FreeBirdLjj has joined #ocaml
ravenousmoose has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
Ulrar has quit [Ping timeout: 258 seconds]
Ulrar has joined #ocaml
bartholin has quit [Remote host closed the connection]
ggole has quit [Quit: Leaving]
kakekongen has quit [Ping timeout: 250 seconds]
jbrown has quit [Ping timeout: 245 seconds]
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has joined #ocaml
Serpent7776 has quit [Quit: leaving]
jnavila has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 250 seconds]
kvda has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Geimhreadh has joined #ocaml
tane has quit [Quit: Leaving]
asymptotically has quit [Quit: Leaving]
kvda has joined #ocaml
Geimhreadh has quit [Quit: *vanishes into the mythical real world*]
jbrown has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
cuvius has quit [Quit: Connection closed for inactivity]
Haudegen has quit [Remote host closed the connection]