5266

Ypnos: declarative, parallel structured grid programming

Dominic A. Orchard, Max Bolingbroke, Alan Mycroft
University of Cambridge, Cambridge, United Kingdom
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming, DAMP ’10, 2010

@inproceedings{orchard2010ypnos,

   title={Ypnos: declarative, parallel structured grid programming},

   author={Orchard, D.A. and Bolingbroke, M. and Mycroft, A.},

   booktitle={Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming},

   pages={15–24},

   year={2010},

   organization={ACM}

}

Download Download (PDF)   View View   Source Source   

1738

views

A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to parallelisation can be long, tedious, prone to errors, hard to debug, and often architecture-specific. We present a declarative domain-specific language, Ypnos, for expressing structured grid computations which encourages manual specification of causally sequential operations but then allows a simple, predictable, static analysis to generate optimised, parallel implementations. We introduce the language and provide some discussion on the theoretical aspects of the language semantics, particularly the structuring of computations around the category theoretic notion of a comonad.
No votes yet.
Please wait...

* * *

* * *

HGPU group © 2010-2024 hgpu.org

All rights belong to the respective authors

Contact us: