Re: Designing a language for dataflow/parallelism

tony@tonyRobinson.com writes:


> I'm kicking about the
> idea of designing and implementing a very simple programming language.
>
> One of the objectives is a "safe" language with good optimisation and
> for that I've decided that there will be no explicit pointers.
>
> In C terminology, I'm looking at the problem of detecting at compile
> time whether the writable areas of two structs (and whatever they
> reference) are disjoint in memory. If so then I can maximise code
> reordering, for example the execution of function calls in parallel:


You might want to take a look at


Ennals, R.J. and Sharp, R.W. and Mycroft, A. Linear Types for Packet
Processing. Proc. ESOP'04, Springer-Verlag LNCS vol. 2986: 204-218,
March 2004. http://www.cl.cam.ac.uk/users/am/papers/esop04.pdf


It describes using liner types to keep track of the number of aliases
to a data structure exactly in order to improve parallelism. Some
details may be different from what you need, but it shouldn't be
terribly difficult to modify the idea to suit your needs.


                Torben

Return to the comp.compilers page.
Search the comp.compilers archives again.