RE: [Caml-list] SMP multithreading

2010-11-20 Thread Jon Harrop
This is actually a quick way to use multiple cores with ocaml. Find a often called function that takes considerable time and offload it to C Or HLVM, F#, Scala, Clojure or any of the other languages that permit shared memory parallelism. C is particularly poor in this regard so I would not just

Re: [Caml-list] SMP multithreading

2010-11-20 Thread Goswin von Brederlow
Jon Harrop jonathandeanhar...@googlemail.com writes: This is actually a quick way to use multiple cores with ocaml. Find a often called function that takes considerable time and offload it to C Or HLVM, F#, Scala, Clojure or any of the other languages that permit shared memory parallelism. C

Re: [Caml-list] SMP multithreading

2010-11-19 Thread Christophe TROESTLER
On Thu, 18 Nov 2010 00:08:19 +0100, Christophe Raffalli wrote: And OCaml on GPU ? We just tested a recent GPU card with 480 processors at 900Mhz ... this is qui impressive ... and supported by matlab via cuda-lapack (http://www.culatools.com/) ... I imagine we could at least use cuda-lapack

Re: [Caml-list] SMP multithreading

2010-11-19 Thread Eray Ozkural
There seem to be solutions in theory. I think a colleague had pointed out one of the papers below, so there is indeed something like a lock-free garbage collector. Then, why do we worry about much synchronization overhead? I don't quite understand. Maurice

Re: [Caml-list] SMP multithreading

2010-11-19 Thread Goswin von Brederlow
Christophe TROESTLER christophe.troestler+oc...@umh.ac.be writes: On Thu, 18 Nov 2010 00:08:19 +0100, Christophe Raffalli wrote: And OCaml on GPU ? We just tested a recent GPU card with 480 processors at 900Mhz ... this is qui impressive ... and supported by matlab via cuda-lapack

Re: [Caml-list] SMP multithreading

2010-11-18 Thread Eray Ozkural
-list@yquem.inria.fr *Subject:* Re: [Caml-list] SMP multithreading On Wed, Nov 17, 2010 at 8:50 AM, Gabriel Kerneis kern...@pps.jussieu.fr wrote: On Wed, Nov 17, 2010 at 06:27:14AM +0200, Eray Ozkural wrote: As I said even in C good results can be achieved, I've seen that, so I know

RE: [Caml-list] SMP multithreading

2010-11-18 Thread David Allsopp
Edgar Friendly wrote: It looks like high-performance computing of the near future will be built out of many machines (message passing), each with many cores (SMP). One could use message passing for all communication in such a system, but a hybrid approach might be best for this architecture,

Re: [Caml-list] SMP multithreading

2010-11-18 Thread Christophe Raffalli
Hello, And OCaml on GPU ? We just tested a recent GPU card with 480 processors at 900Mhz ... this is qui impressive ... and supported by matlab via cuda-lapack (http://www.culatools.com/) ... I imagine we could at least use cuda-lapack from OCaml ? Cheers, Christophe signature.asc

RE: [Caml-list] SMP multithreading

2010-11-18 Thread Jon Harrop
Can you cite any papers from this century? ;-) Cheers, Jon. From: Eray Ozkural [mailto:examach...@gmail.com] Sent: 17 November 2010 13:41 To: Eray Ozkural; Jon Harrop; caml-list@yquem.inria.fr Subject: Re: [Caml-list] SMP multithreading On Wed, Nov 17, 2010 at 8:50 AM, Gabriel

Re: [Caml-list] SMP multithreading

2010-11-18 Thread Eray Ozkural
13:41 *To:* Eray Ozkural; Jon Harrop; caml-list@yquem.inria.fr *Subject:* Re: [Caml-list] SMP multithreading On Wed, Nov 17, 2010 at 8:50 AM, Gabriel Kerneis kern...@pps.jussieu.fr wrote: On Wed, Nov 17, 2010 at 06:27:14AM +0200, Eray Ozkural wrote: As I said even in C good results can

Re: [Caml-list] SMP multithreading

2010-11-17 Thread Eray Ozkural
On Wed, Nov 17, 2010 at 8:50 AM, Gabriel Kerneis kern...@pps.jussieu.frwrote: On Wed, Nov 17, 2010 at 06:27:14AM +0200, Eray Ozkural wrote: As I said even in C good results can be achieved, I've seen that, so I know it's doable with ocaml, just a difficult kind of compiler. The functional

Re: [Caml-list] SMP multithreading

2010-11-17 Thread Wolfgang Draxinger
Am Mon, 15 Nov 2010 22:05:52 +0100 schrieb Philippe Wang m...@philippewang.info: Take the current Apple Mac Pro for instance (I take this reference because it's easy to find and it doesn't evolve very often), with 12-core configuration. - Two 2.93GHz 6-Core Intel Xeon “Westmere” (12 cores) -

Re: [Caml-list] SMP multithreading

2010-11-16 Thread Gerd Stolpmann
Am Montag, den 15.11.2010, 22:46 -0800 schrieb Edgar Friendly: On 11/15/2010 09:27 AM, Wolfgang Draxinger wrote: Hi, I've just read http://caml.inria.fr/pub/ml-archives/caml-list/2002/11/64c14acb90cb14bedb2cacb73338fb15.en.html in particular this paragraph: | What about

Re: [Caml-list] SMP multithreading

2010-11-16 Thread Norman Hardy
On 2010 Nov 15, at 22:46 , Edgar Friendly wrote: It looks like high-performance computing of the near future will be built out of many machines (message passing), each with many cores (SMP). One could use message passing for all communication in such a system, but a hybrid approach might

Re: [Caml-list] SMP multithreading

2010-11-16 Thread Eray Ozkural
On Tue, Nov 16, 2010 at 7:04 PM, Gerd Stolpmann i...@gerd-stolpmann.dewrote: Am Montag, den 15.11.2010, 22:46 -0800 schrieb Edgar Friendly: * As somebody mentioned implicit parallelization: Don't expect anything from this. Even if a good compiler finds ways to parallelize

Re: [Caml-list] SMP multithreading

2010-11-16 Thread Gerd Stolpmann
Am Dienstag, den 16.11.2010, 22:35 +0200 schrieb Eray Ozkural: On Tue, Nov 16, 2010 at 7:04 PM, Gerd Stolpmann i...@gerd-stolpmann.de wrote: Am Montag, den 15.11.2010, 22:46 -0800 schrieb Edgar Friendly: * As somebody mentioned implicit parallelization: Don't

Re: [Caml-list] SMP multithreading

2010-11-16 Thread Eray Ozkural
On Wed, Nov 17, 2010 at 12:13 AM, Gerd Stolpmann i...@gerd-stolpmann.dewrote: Am Dienstag, den 16.11.2010, 22:35 +0200 schrieb Eray Ozkural: On Tue, Nov 16, 2010 at 7:04 PM, Gerd Stolpmann i...@gerd-stolpmann.de wrote: Am Montag, den 15.11.2010, 22:46 -0800 schrieb Edgar

Re: [Caml-list] SMP multithreading

2010-11-16 Thread Wolfgang Draxinger
On Wed, 17 Nov 2010 01:04:54 +0200 Eray Ozkural examach...@gmail.com wrote: [readworthy text] I'd like to point out how the big competitor to OCaml deals with it. The GHC Haskell system has SMP parallization built in for some time, and it does it quite well. Wolfgang

Re: [Caml-list] SMP multithreading

2010-11-16 Thread Eray Ozkural
On Wed, Nov 17, 2010 at 1:52 AM, Wolfgang Draxinger wdraxinger.maill...@draxit.de wrote: On Wed, 17 Nov 2010 01:04:54 +0200 Eray Ozkural examach...@gmail.com wrote: [readworthy text] I'd like to point out how the big competitor to OCaml deals with it. The GHC Haskell system has SMP

RE: [Caml-list] SMP multithreading

2010-11-16 Thread Jon Harrop
Wolfgang wrote: I'd like to point out how the big competitor to OCaml deals with it. The GHC Haskell system has SMP parallization built in for some time, and it does it quite well. I beg to differ. Upon trying to reproduce many of the Haskell community's results, I found that even their own

RE: [Caml-list] SMP multithreading

2010-11-16 Thread Jon Harrop
To: Gerd Stolpmann Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] SMP multithreading On Wed, Nov 17, 2010 at 12:13 AM, Gerd Stolpmann i...@gerd-stolpmann.de wrote: Am Dienstag, den 16.11.2010, 22:35 +0200 schrieb Eray Ozkural: On Tue, Nov 16, 2010 at 7:04 PM, Gerd Stolpmann i...@gerd

Re: [Caml-list] SMP multithreading

2010-11-16 Thread Eray Ozkural
but I doubt it will ever be realized. Cheers, Jon. *From:* caml-list-boun...@yquem.inria.fr [mailto: caml-list-boun...@yquem.inria.fr] *On Behalf Of *Eray Ozkural *Sent:* 16 November 2010 23:05 *To:* Gerd Stolpmann *Cc:* caml-list@yquem.inria.fr *Subject:* Re: [Caml-list] SMP

Re: [Caml-list] SMP multithreading

2010-11-16 Thread Gabriel Kerneis
On Wed, Nov 17, 2010 at 06:27:14AM +0200, Eray Ozkural wrote: As I said even in C good results can be achieved, I've seen that, so I know it's doable with ocaml, just a difficult kind of compiler. The functional features would expose more concurrency. Could you share a pointer to a paper

[Caml-list] SMP multithreading

2010-11-15 Thread Wolfgang Draxinger
Hi, I've just read http://caml.inria.fr/pub/ml-archives/caml-list/2002/11/64c14acb90cb14bedb2cacb73338fb15.en.html in particular this paragraph: | 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

Re: [Caml-list] SMP multithreading

2010-11-15 Thread Edgar Friendly
On 11/15/2010 09:27 AM, Wolfgang Draxinger wrote: Hi, I've just read http://caml.inria.fr/pub/ml-archives/caml-list/2002/11/64c14acb90cb14bedb2cacb73338fb15.en.html in particular this paragraph: | What about hyperthreading? Well, I believe it's the last convulsive | movement of SMP's corpse