PAUL BONE

Paul Bone is a software engineer and computer scientist. His interests include programming languages, declarative programming, programming language implementation, parallelism and concurrency. Paul works for Mozilla on Firefox's JavaScript engine's garbage collector by day, and the Plasma programming language by night... Recently we built a system that uses profiling data to automatically parallelize Mercury programs by finding conjunctions with expensive conjuncts that can run in parallel with minimal synchronization delays. This worked very well in many cases, but in cases of tail recursion, we got much lower speedups than we expected, due to excessive memory usage. In this paper, we present a novel program transformation that eliminates this problem, and also allows recursive calls inside parallel conjunctions to take advantage of tail recursion optimization. Our benchmark results show that our new transformation greatly increases the speedups we can get from parallel Mercury..

Primary location: Wellington New Zealand