<fluxx>
the bits that interest me are: Shared-memory multiprocessors havenever really "taken off", at least in the general public. [as an argument for why to not do it]
<fluxx>
which might chance in next four years or so
<fluxx>
although, "In summary: there is no SMP support in OCaml, and it is very veryunlikely that there will ever be. If you're into parallelism, betterinvestigate message-passing interfaces."
<Mussorgsky>
now, I don't know much about pentium 4 HT, but would caml threads take advantage of it?
<fluxx>
no
<fluxx>
at present
<fluxx>
"What about hyperthreading? Well, I believe it's the last convulsive movement of SMP's corpse :-) We'll see how it goes market-wise. At any rate, the speedups announced for hyperthreading in the Pentium 4 are below a factor of 1.5; probably not enough to offset the overhead of making the OCaml runtime system thread-safe."
<fluxx>
but, that analysis of what ht is might be wrong
<Mussorgsky>
if multicore processors get common, this would be a problem
<fluxx>
I admit that message passing is a great model for writing parallel software, but it won't give you the top performance on an smp host
<fluxx>
obviously the sharing of memory still needs to be designed for that purpose
<fluxx>
you could still me passing messages, but you only need to pass references to messages, no copying
<fluxx>
s/ me/ be/
<fluxx>
one of the problems they mention is the difficulties of writing a concurrent gc..
<fluxx>
but I think even a one with stop-the-world-gc, but on multiple cpu's, could be useful
<Mussorgsky>
yes, concurrent gc is exactly what I am interested about
<pango>
actually, they designed SMP safe gcs before... it's just that they reverted to something simpler with ocaml
<Mussorgsky>
I know
<Mussorgsky>
Why was Concurrent Caml Light abandoned? Too complex; too hard to debug
<Mussorgsky>
(despite the existence of a machine-checked proof of correctness);
<Mussorgsky>
and dubious practical interest.
<Mussorgsky>
the part "dubious practical interest" is something that can change
rillig has joined #ocaml
DarkFader has joined #ocaml
<DarkFader>
hi, I'm new to this language... I have a string 's' which contains a '?' character... but the following gives me a '?' character: (if Str.string_match (Str.regexp "\\?") s 0 then '&' else '?');
<DarkFader>
perhaps someone can help
<pango>
I'm not sure I understand the problem you have...
<pango>
btw, you could have used String.contains instead of using regexps...