© University of Kent - Contact | Feedback | Legal | FOI | Cookies
pony - The occam-pi Network Environment
Mario Schweigler and Adam Sampson
In Peter Welch, Jon Kerridge, and Fred Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 182-196, Amsterdam, The Netherlands, September 2006. IOS Press.Abstract
Although concurrency is generally perceived to be a `hard' subject, it can in fact be very simple --- provided that the underlying model is simple. The occam-pi parallel processing language provides such a simple yet powerful concurrency model that is based on CSP and the pi-calculus. This paper presents pony, the occam-pi Network Environment. occam-pi and pony provide a new, unified, concurrency model that bridges inter- and intra-processor concurrency. This enables the development of distributed applications in a transparent, dynamic and highly scalable way. The first part of this paper discusses the philosophy behind pony, explains how it is used, and gives a brief overview of its implementation. The second part evaluates pony's performance by presenting a number of benchmarks.
Download publication 232 kbytes (PDF)
Bibtex Record
@inproceedings{2426, author = {Mario Schweigler and Adam Sampson}, title = {{pony - The occam-pi Network Environment}}, month = {September}, year = {2006}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2006/2426}, publication_type = {inproceedings}, submission_id = {6017_1159143824}, ISBN = {1-58603-671-8}, booktitle = {Communicating Process Architectures 2006}, editor = {Peter Welch and Jon Kerridge and Fred Barnes}, volume = {64}, series = {Concurrent Systems Engineering Series}, address = {Amsterdam, The Netherlands}, publisher = {IOS Press}, ISSN = {1383-7575}, refereed = {yes}, }