www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - DSLs for high performance computing

reply Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> writes:
A coworker brought this list to my attention: 
https://xstackwiki.modelado.org/DSL%27s

The work on such DSLs (reminiscent of Don's work on optimizing matrix 
operations years ago) seems be on the rise.


Andrei
Jun 18 2014
next sibling parent reply "Guillaume Chatelet" <chatelet.guillaume gmail.com> writes:
On Wednesday, 18 June 2014 at 19:00:26 UTC, Andrei Alexandrescu
wrote:
 A coworker brought this list to my attention: 
 https://xstackwiki.modelado.org/DSL%27s

 The work on such DSLs (reminiscent of Don's work on optimizing 
 matrix operations years ago) seems be on the rise.

I didn't know most of them. I encourage everybody interested in Image/Signal Processing to have a look at Halide Talk https://www.youtube.com/watch?v=3uiEyEKji0M papers http://halide-lang.org/ I don't know if it's already available in the source code but they mention the scheduling part can now be optimized through genetic algorithms : the code will autotune to use the best of your hardware, exploring the space of precomputing (stencil buffer), inlining, multithreading, vectorization, unrolling, sliding window ... Thanks for sharing Andrei :)
Jun 24 2014
parent "matovitch" <camille.brugel laposte.net> writes:
On Tuesday, 24 June 2014 at 21:01:34 UTC, Guillaume Chatelet 
wrote:
 On Wednesday, 18 June 2014 at 19:00:26 UTC, Andrei Alexandrescu
 wrote:
 A coworker brought this list to my attention: 
 https://xstackwiki.modelado.org/DSL%27s

 The work on such DSLs (reminiscent of Don's work on optimizing 
 matrix operations years ago) seems be on the rise.

I didn't know most of them. I encourage everybody interested in Image/Signal Processing to have a look at Halide Talk https://www.youtube.com/watch?v=3uiEyEKji0M papers http://halide-lang.org/ I don't know if it's already available in the source code but they mention the scheduling part can now be optimized through genetic algorithms : the code will autotune to use the best of your hardware, exploring the space of precomputing (stencil buffer), inlining, multithreading, vectorization, unrolling, sliding window ... Thanks for sharing Andrei :)

Halide looks just *mind-blowing* though I couldn't find any project using it on github (other than toy-examples). I couldn't find anything either in the doc about the automatic scheduling they mention in their paper. I am wondering if it is possible to perform linalg operations, it seems rather convolution-oriented. Anyway, it would be awesome to have a D front-end (not that I have the time to code it, I usually just talk ;)). Else : Preferably to DSLs though, I am more waiting something as basic as containers based on std.allocator or a standard multi-dimensional array (with range behaviour based on a permutation of the dimensions and allow borrowed slices of any subspace). Well in fact I am not waiting since I do not have the time to code in D but if I had the time this is what I would be waiting/working for. Keep it up !
Jun 25 2014
prev sibling parent reply "Peter Alexander" <peter.alexander.au gmail.com> writes:
On Wednesday, 18 June 2014 at 19:00:26 UTC, Andrei Alexandrescu 
wrote:
 The work on such DSLs (reminiscent of Don's work on optimizing 
 matrix operations years ago) seems be on the rise.

Is it? It would be good for D if it is, since D has a great offering in that arena, but I haven't seen much, if any, new DSL work recently. Maybe I'm not looking in the right places.
Jun 25 2014
parent reply "deadalnix" <deadalnix gmail.com> writes:
On Thursday, 26 June 2014 at 03:49:45 UTC, Peter Alexander wrote:
 On Wednesday, 18 June 2014 at 19:00:26 UTC, Andrei Alexandrescu 
 wrote:
 The work on such DSLs (reminiscent of Don's work on optimizing 
 matrix operations years ago) seems be on the rise.

Is it? It would be good for D if it is, since D has a great offering in that arena, but I haven't seen much, if any, new DSL work recently. Maybe I'm not looking in the right places.

Hack ?
Jun 25 2014
parent "Peter Alexander" <peter.alexander.au gmail.com> writes:
On Thursday, 26 June 2014 at 03:59:47 UTC, deadalnix wrote:
 On Thursday, 26 June 2014 at 03:49:45 UTC, Peter Alexander 
 wrote:
 On Wednesday, 18 June 2014 at 19:00:26 UTC, Andrei 
 Alexandrescu wrote:
 The work on such DSLs (reminiscent of Don's work on 
 optimizing matrix operations years ago) seems be on the rise.

Is it? It would be good for D if it is, since D has a great offering in that arena, but I haven't seen much, if any, new DSL work recently. Maybe I'm not looking in the right places.

Hack ?

Maybe, although I see Hack as more of an extension of PHP, and I'd say PHP is more general purpose than domain specific. I suppose it depends on your definition of "domain specific". Not worth arguing over, but I take your point.
Jun 25 2014