love-pingoo has quit ["Connection reset by by pear"]
Skal has quit [Remote closed the connection]
slipstream-- has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
smimou has quit ["bli"]
mikeX_ has joined #ocaml
mikeX has quit [Read error: 110 (Connection timed out)]
tspier2|Abwesend is now known as tspier2
b00t has joined #ocaml
Submarine has joined #ocaml
ellisonch has joined #ocaml
b00t has quit [Client Quit]
b00t has joined #ocaml
mikeX_ has quit ["leaving"]
tspier2 has quit ["Leaving"]
pauldia has joined #ocaml
Submarine has quit ["Leaving"]
Poopsmith has quit [Read error: 104 (Connection reset by peer)]
chimikal has quit [Read error: 104 (Connection reset by peer)]
Poopsmith has joined #ocaml
chimikal has joined #ocaml
dark_light has quit ["Fui embora"]
dark_light has joined #ocaml
dark_light has quit [Read error: 104 (Connection reset by peer)]
dark_light has joined #ocaml
__DL__ has joined #ocaml
Snark has joined #ocaml
Skal has joined #ocaml
m3ga has joined #ocaml
pauldia has quit [Read error: 110 (Connection timed out)]
pauldia has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
joshcryer has joined #ocaml
pango is now known as pangoafk
_JusSx_ has joined #ocaml
Smerdyakov has quit ["Leaving"]
pangoafk is now known as pango
b00t has quit [Remote closed the connection]
robajs has joined #ocaml
<robajs>
hi
<robajs>
what is current status of suport ocaml on multiple cpus (smp, etc)?
<robajs>
and what about multiple cores?
<zmdkrbou>
ocaml doesn't take advantage of smp configurations
<sieni>
I don't think there is much difference between multiple cores and multiple cpus
<zmdkrbou>
same thing for multiple cores
<robajs>
is there any chance for change? :-)
<sieni>
decent garbage collection seems to be pretty difficult on multithreaded programs at least without decent operating system support
<zmdkrbou>
nope
<robajs>
hmm :-(
<zmdkrbou>
because of the gc
<zmdkrbou>
it's no concurrent gc there is in ocaml
<zmdkrbou>
and they don't seem to be willing to rewrite one
<zmdkrbou>
(the gc currently used is well done and proved using coq, and it would be *hard* to do the same for a concurrent gc)
<zmdkrbou>
at least until research on concurrency has given some results ...
<robajs>
it seems to me as a big drawback for any serious use of ocaml
<zmdkrbou>
yup
<sieni>
if one is satisfied with message passing instead of shared memory multithreading, then a multithreaded implementation of e.g. concurrent ml sounds feasible
<robajs>
what would you say is ocaml killer app? :-)
<sieni>
mldonkey ;-)
<bluestorm>
unison ?
<bluestorm>
(hevea ? :-° )
Anarchos has joined #ocaml
<sieni>
(and of course ocaml is written in ocaml ;-)
Anarchos has quit ["Vision[0.8.5-0418]: i've been blurred!"]
<zmdkrbou>
coq
Smerdyakov has joined #ocaml
robajs has quit ["Beware of programmers who carry screwdrivers."]
smimou has joined #ocaml
pauldia has quit [Read error: 110 (Connection timed out)]
Boojum has joined #ocaml
Snark has quit [Read error: 110 (Connection timed out)]
Boojum is now known as Snark
mikeX has joined #ocaml
ellisonch has quit ["Leaving"]
Bigb[a]ng is now known as Bigbang
joshcryer has quit [Client Quit]
bluestorm has quit [Read error: 104 (Connection reset by peer)]
bluestorm has joined #ocaml
pauldia has joined #ocaml
Revision17 has joined #ocaml
bluestorm has quit ["Leaving"]
p-f has joined #ocaml
Snark has quit ["Leaving"]
__DL__ has quit [Remote closed the connection]
p-f has left #ocaml []
pauldia has quit [Connection timed out]
GCarrier has joined #ocaml
Bigbang is now known as Bigb[a]ng
PierreTramo_ has joined #ocaml
PierreTramo_ has quit ["Ex-Chat"]
PierreTramo has joined #ocaml
GCarrier has quit [Read error: 113 (No route to host)]
_JusSx_ has quit ["leaving"]
smimou has quit ["bli"]
mikeX has quit [Read error: 110 (Connection timed out)]