[LLVMdev] GSoC 2009: Extending LLVM IR to aid multi-core code generation

[Milos Puzovic]

2009/3/30 Vikram S. Adve <vadve at cs.uiuc.edu>

[snip]


> -- On the other hand, explicitly parallel languages like Java should
> be able to compile to the 'spawn' instruction but finding 'join'
> points is much more difficult.  E.g., there are ways to express
> "ordering" synchronization that could require non-trivial
> interprocedural analysis to extract.
>
One paradigm that I had in mind when proposing join intrinsic was join
calculus where join points are defined explicitly thus simplifying their
discovery. There has been some work to extend Java with it (Hardware Join
Java) and also there are extensions to C#, VB and OCaml while the language
Comega was designed around join calculus. Compared to these languages I
guess Java would be explicit in spawning but implicit in joining :)

Milos.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090330/ef9f9b1b/attachment.html>