sponge45 changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/
swater_ has quit ["Quat"]
joshcryer has quit [Client Quit]
mbishop has quit [Remote closed the connection]
postalchris has quit [Read error: 110 (Connection timed out)]
johnnowak has quit []
b00t has joined #ocaml
MisterC has quit [Read error: 110 (Connection timed out)]
MisterC has joined #ocaml
sponge45 has joined #ocaml
Riesz has quit ["Leaving.."]
smimou has quit ["bli"]
jdev has quit ["Lost terminal"]
m3ga has joined #ocaml
jdev has joined #ocaml
slipstream-- has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
m3ga has quit ["disappearing into the sunset"]
mbishop has joined #ocaml
Mr_Awesome has joined #ocaml
Smerdyakov has quit ["Leaving"]
postalchris has joined #ocaml
Mr_Awesomer has joined #ocaml
pango has quit [sterling.freenode.net irc.freenode.net]
tautologico has quit [sterling.freenode.net irc.freenode.net]
Shimei has quit [sterling.freenode.net irc.freenode.net]
Norgg has quit [sterling.freenode.net irc.freenode.net]
zmdkrbou has quit [sterling.freenode.net irc.freenode.net]
jdev has quit [sterling.freenode.net irc.freenode.net]
xian has quit [sterling.freenode.net irc.freenode.net]
Roughest has quit [sterling.freenode.net irc.freenode.net]
pauld has quit [sterling.freenode.net irc.freenode.net]
mellum_ has quit [sterling.freenode.net irc.freenode.net]
ppsmimou has quit [sterling.freenode.net irc.freenode.net]
descender has quit [sterling.freenode.net irc.freenode.net]
mbishop has quit [sterling.freenode.net irc.freenode.net]
revision17_ has quit [sterling.freenode.net irc.freenode.net]
haelix has quit [sterling.freenode.net irc.freenode.net]
mattam has quit [sterling.freenode.net irc.freenode.net]
batdog has quit [sterling.freenode.net irc.freenode.net]
Mr_Awesome has quit [sterling.freenode.net irc.freenode.net]
levi_home has quit [sterling.freenode.net irc.freenode.net]
stevan has quit [sterling.freenode.net irc.freenode.net]
shawn__ has quit [sterling.freenode.net irc.freenode.net]
descender has joined #ocaml
ppsmimou has joined #ocaml
mellum_ has joined #ocaml
pauld has joined #ocaml
Roughest has joined #ocaml
xian has joined #ocaml
jdev has joined #ocaml
batdog has joined #ocaml
mattam has joined #ocaml
haelix has joined #ocaml
revision17_ has joined #ocaml
mbishop has joined #ocaml
Mr_Awesome has joined #ocaml
levi_home has joined #ocaml
pango has joined #ocaml
tautologico has joined #ocaml
Shimei has joined #ocaml
stevan has joined #ocaml
Norgg has joined #ocaml
zmdkrbou has joined #ocaml
shawn__ has joined #ocaml
Mr_Awesome has quit [Nick collision from services.]
johnnowak has joined #ocaml
Mr_Awesomer is now known as Mr_Awesome
ChoJin has joined #ocaml
johnnowak has quit [Client Quit]
twobitsprite has joined #ocaml
ChoJin has quit ["Leaving"]
postalchris has quit [Read error: 110 (Connection timed out)]
Demitar has quit [Read error: 60 (Operation timed out)]
tautologico has quit [Client Quit]
descender has quit [Remote closed the connection]
descender has joined #ocaml
_velco has joined #ocaml
love-pingoo has joined #ocaml
Submarine has quit ["Leaving"]
revision17_ has quit [Read error: 104 (Connection reset by peer)]
_JusSx_ has joined #ocaml
_velco has quit [Read error: 145 (Connection timed out)]
asm has joined #ocaml
bluestorm has joined #ocaml
Mr_Awesome has quit ["and the Awesome Level drops"]
asm has quit [Remote closed the connection]
sponge45 has quit ["zzzzzzzzzz"]
swater has joined #ocaml
<bluestorm>
hm
<bluestorm>
do you know Ocisgen ?
<bluestorm>
(i'm looking for documentation about the Ocismore module)
buluca has quit [Read error: 104 (Connection reset by peer)]
descender has quit ["Why has elegance found so little following? Elegance has the disadvantage that hard work is needed to achieve it and a good e]
descender has joined #ocaml
smimou has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
<_JusSx_>
what is it?
<bluestorm>
hm
<bluestorm>
ocsigen is an ocaml web server (it looks like, at least)
<bluestorm>
and ocsimore seems to be an extra, undocumented module
faf_ has joined #ocaml
MisterC has quit [Read error: 104 (Connection reset by peer)]
joshcryer has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
bluestorm is now known as bluestorm_aw
_velco has joined #ocaml
_velco has quit [Client Quit]
piggybox has quit [Read error: 60 (Operation timed out)]
piggybox has joined #ocaml
jajs has joined #ocaml
b00t has quit [Client Quit]
bluestorm_aw is now known as bluestorm
bzzbzz has joined #ocaml
jajs has quit ["Quitte"]
ikaros has quit [Read error: 110 (Connection timed out)]
ikaros has joined #ocaml
pantsd has quit [Read error: 60 (Operation timed out)]
Submarine_ has joined #ocaml
Submarine_ has quit [Client Quit]
Smerdyakov has joined #ocaml
pantsd has joined #ocaml
dark_light has joined #ocaml
<dark_light>
I have a question about race conditions. I just wrote this code: http://nopaste.tshw.de/116689561461c6b , there are a mutable record shared between two threads, but one is only concerned about only one field. Is there a possibility for a race condition?
<dark_light>
(Another question: Why a thread tend to dominate the processor for so long time? I recorded here and the first 5560 prints was made only by the Y thread)
<Smerdyakov>
Why are you using shared state instead of CML-style?
<dark_light>
Smerdyakov, tried it and i just can't solve some problems
<Smerdyakov>
Like?
<dark_light>
Smerdyakov, hmmm like.. i have a "database" thread that replies "queries" with, depending on query, a struct or a list of structs
<Smerdyakov>
And where's the problem in that?
<dark_light>
Smerdyakov, but when my function actually uses it, it might be outdated
<Smerdyakov>
That's too nebulous for me to understand.
Submarine_ has joined #ocaml
<dark_light>
Hmmmm well :P actually my main problem is because i am changing the records i receive with <-
<Smerdyakov>
Why would you do that?
<dark_light>
maybe implementing a "changing query" may solve the issue
<dark_light>
Smerdyakov, because some data must be changed
Demitar has joined #ocaml
<dark_light>
Smerdyakov, but i have some issues like: what if i receive a data, someone else changes it and i use the "old" wrong data?
<Smerdyakov>
dark_light, so? You are conflating imperativity mechanisms in OCaml with a logical notion of change. Also, you can use imperativity, but only have it visible from a single thread.
<dark_light>
i am thinking in doing this with mutex.. my problem is: can i use a mutex for each mutable field of a record or i must use one for the whole record?
<dark_light>
Smerdyakov, my current code is using Events in a way i don't like so much. maybe i am misusing it
<Smerdyakov>
dark_light, more information, please.
<dark_light>
Smerdyakov, actually my keyboard is with a strange issue, so i am typing very slowly (when i press "e", both "e" and "w" are pressed.. etc), but i will try :P
<dark_light>
Smerdyakov, to avoid passing a channel to all my childs i made it in a global
<Smerdyakov>
dark_light, why would you avoid that?
<Smerdyakov>
dark_light, well, if it's a non-imperative global, then it might not be a problem.
<dark_light>
to reduce the characters i must type :)
<dark_light>
so my query functions looks like a side-effect one.. like the construct let player_record = query_player playerid
<dark_light>
hmmm.. but. well it looks ugly. and..
<dark_light>
if i receive a list of players and try to message all of them (each has a socket field), a player may quit before i sent a message to him
<dark_light>
(but ok, there must be a exception to handle this)
<Smerdyakov>
You can compose with timeout events to avoid worrying about errant clients.
<dark_light>
compose? timeout events? (never understood a real use for those functions like Event.wrap)
<Smerdyakov>
I'm sorry. I don't have the inclination to give you a CML tutorial here, and I'm not sure if there exist any on the web.
<dark_light>
that's ok :)
* dark_light
still is looking for to know if two threads with the same record but targeting different fields may collide
martin has joined #ocaml
faf_ has left #ocaml []
_velco has joined #ocaml
mbishop has quit [Read error: 113 (No route to host)]
_velco is now known as velco
dark_ has joined #ocaml
dark_light has quit [Read error: 113 (No route to host)]
slipstream has joined #ocaml
batdog is now known as batdog|gone
slipstream-- has quit [Connection timed out]
<dark_>
there will be someday support for native code linking for dynlink module?
Submarine_ is now known as Submarine
jajs has joined #ocaml
bluestorm is now known as bluestorm_aw
martin is now known as mbishop
bluestorm_aw is now known as bluestorm
swater_ has joined #ocaml
swater has quit [Read error: 110 (Connection timed out)]
jajs has quit ["Quitte"]
danly has joined #ocaml
sponge45 has joined #ocaml
danly has quit [Remote closed the connection]
buluca has joined #ocaml
Submarine has quit [Read error: 113 (No route to host)]
shawn__ has quit [Read error: 110 (Connection timed out)]
sponge45 has quit ["zzzzzzzzzz"]
Roughest has quit [Read error: 104 (Connection reset by peer)]