Submarine has joined #ocaml
cpst has joined #ocaml
seafoodX has joined #ocaml
seafoodX has quit []
piggybox has joined #ocaml
<
abez>
oracle1: yes
Submarine has quit ["in Soviet Russia, Céline Dion owns you"]
seafoodX has joined #ocaml
cpst_ has joined #ocaml
cpst has quit [Read error: 113 (No route to host)]
hjs has joined #ocaml
bluestorm has joined #ocaml
hjs has left #ocaml []
lde has joined #ocaml
rillig has joined #ocaml
Mr_Awesome has quit ["time to impregnate a moth"]
G has joined #ocaml
Len1 has joined #ocaml
rillig_ has joined #ocaml
Cygal has joined #ocaml
rillig has quit [Read error: 110 (Connection timed out)]
cpst_ is now known as cpst
<
zvrba>
anyone alive?
<
zvrba>
i need help with making a C extension
<
lde>
Everyone's dead. Global warming.
<
lde>
Can I output to a channel from two threads simultaneously?
<
bluestorm>
iirc two ocaml threads never execute simultaneously
<
lde>
Then if one thread waits for input, then other threads hang?
<
zvrba>
there is -thread option to ocamlc
<
bluestorm>
i haven't used ocaml multithreading facilities
<
bluestorm>
but i suppose there is a scheduling here, that prevent such hanging
<
bluestorm>
iirc, threads can be compiled to native threads, or to vm-handled threads (kinds of "green threads" maybe)
<
bluestorm>
the point is that threads doesn't execute "simultaneously" (because of the GC, i think)
<
bluestorm>
whereas forked ocaml process may do that
joshcryer has quit [Read error: 104 (Connection reset by peer)]
<
bluestorm>
s/process/processes/
<
bluestorm>
but anyway, i thought the concurrency primitives were transparent, that is you didn't have to bother at the "real" execution process
<
bluestorm>
so i don't really understand your question
<
lde>
I'm quite new to ocaml, and have little experience with threads.
<
lde>
It the other threads doen't hang on input, indeed.
rillig_ is now known as rillig
rillig has quit ["exit(EXIT_SUCCESS)"]
G_ has joined #ocaml
seafoodX has quit []
G has quit [Read error: 110 (Connection timed out)]
Len1 has quit [Read error: 110 (Connection timed out)]
G_ is now known as G
screwt8 has quit [Remote closed the connection]
dmentre has joined #ocaml
schme has quit [Remote closed the connection]
schme has joined #ocaml
G_ has joined #ocaml
G has quit [Nick collision from services.]
G_ is now known as G
lde has quit [Read error: 110 (Connection timed out)]
G_ has joined #ocaml
G has quit [Read error: 110 (Connection timed out)]
G_ is now known as G
Len1 has joined #ocaml
_blackdog has joined #ocaml
G_ has joined #ocaml
leo037 has joined #ocaml
_blackdog has left #ocaml []
G has quit [Read error: 110 (Connection timed out)]
lde has joined #ocaml
dmentre has left #ocaml []
piggybox has quit [Success]
Smerdyakov has quit [Read error: 110 (Connection timed out)]
cpst has quit [Read error: 110 (Connection timed out)]
slipstream-- has joined #ocaml
zvrba has left #ocaml []
slipstream has quit [Read error: 113 (No route to host)]
piggybox has joined #ocaml
Snark has joined #ocaml
seafoodX has joined #ocaml
seafoodX has quit []
G has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
G_ has quit [Connection timed out]
xtacy[] has joined #ocaml
piggybox has quit ["Leaving"]
Demitar has quit [Read error: 113 (No route to host)]
Snark has quit ["Parti"]
Smerdyakov has joined #ocaml
xtacy[] has quit ["Leaving"]
l_a_m has joined #ocaml
Cygal has quit [Remote closed the connection]
piggybox has joined #ocaml
ygrek has joined #ocaml
_JusSx_ has joined #ocaml
_blackdog has joined #ocaml
_blackdog has left #ocaml []
slipstream has joined #ocaml
slipstream-- has quit [No route to host]
Len1 has quit ["Leaving."]
netx has quit ["Leaving"]
piggybox has quit [Read error: 110 (Connection timed out)]
_blackdog has joined #ocaml
_blackdog has left #ocaml []
jlouis has quit [Read error: 110 (Connection timed out)]
ednarofi has joined #ocaml
Submarine has joined #ocaml
ygrek has quit ["Leaving"]
jlouis has joined #ocaml
piggybox has joined #ocaml
slipstream has quit [heinlein.freenode.net irc.freenode.net]
magnus__ has quit [heinlein.freenode.net irc.freenode.net]
abez has quit [heinlein.freenode.net irc.freenode.net]
slipstream has joined #ocaml
magnus__ has joined #ocaml
abez has joined #ocaml
netx has joined #ocaml
l_a_m has quit [Remote closed the connection]
_blackdog_ has joined #ocaml
_blackdog_ has left #ocaml []
Demitar has joined #ocaml
cpst has joined #ocaml
mbishop has quit [Remote closed the connection]
Ycros has quit [Remote closed the connection]
martin_ has joined #ocaml
martin_ is now known as mbishop
Ycros has joined #ocaml
_JusSx_ has quit ["leaving"]
bluestorm has quit [No route to host]
cpst_ has joined #ocaml
cpst has quit [Read error: 110 (Connection timed out)]
cpst_ is now known as cpst
Submarine has quit ["in Soviet Russia, Céline Dion owns you"]
tty56 has joined #ocaml
tty56_ has quit [Read error: 110 (Connection timed out)]