pony - The occam-π network environment

Mario Schweigler; Adam T. Sampson

pony - The occam-π network environment

Mario Schweigler^*
, Adam T. Sampson

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

8 Citations (Scopus)

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-n parallel processing language provides such a simple yet powerful concurrency model that is based on CSP and the π-calculus. This paper presents pony, the Occam-it Network Environment, occam-it 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.

Original language	English
Title of host publication	Communicating Process Architectures 2006
Editors	J. Kerridge, P. H. Welch, F. R. M. Barnes
Pages	77-108
Number of pages	32
Volume	64
ISBN (Electronic)	978-1-60750-205-0
Publication status	Published - Sept 2006

Publication series

Name	Concurrent Systems Engineering Series
Publisher	IOS Press
ISSN (Print)	1383-7575
ISSN (Electronic)	1879-8039

Keywords

Benchmarks
Concurrency
CSP
Inter-processor
Intra-processor
KRoC
Networking
Occom-pi
Pony
Unified model

ASJC Scopus subject areas

General Computer Science
General Engineering

Cite this

@inproceedings{9a15f5c5da4d4b008f94d7024406663f,

title = "pony - The occam-π network environment",

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-n parallel processing language provides such a simple yet powerful concurrency model that is based on CSP and the π-calculus. This paper presents pony, the Occam-it Network Environment, occam-it 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.",

keywords = "Benchmarks, Concurrency, CSP, Inter-processor, Intra-processor, KRoC, Networking, Occom-pi, Pony, Unified model",

author = "Mario Schweigler and Sampson, \{Adam T.\}",

year = "2006",

month = sep,

language = "English",

isbn = "978-1-58603-671-3",

volume = "64",

series = "Concurrent Systems Engineering Series",

publisher = "IOS Press",

pages = "77--108",

editor = "J. Kerridge and Welch, \{P. H.\} and Barnes, \{F. R. M.\}",

booktitle = "Communicating Process Architectures 2006",

}

TY - GEN

T1 - pony - The occam-π network environment

AU - Schweigler, Mario

AU - Sampson, Adam T.

PY - 2006/9

Y1 - 2006/9

N2 - 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-n parallel processing language provides such a simple yet powerful concurrency model that is based on CSP and the π-calculus. This paper presents pony, the Occam-it Network Environment, occam-it 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.

AB - 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-n parallel processing language provides such a simple yet powerful concurrency model that is based on CSP and the π-calculus. This paper presents pony, the Occam-it Network Environment, occam-it 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.

KW - Benchmarks

KW - Concurrency

KW - CSP

KW - Inter-processor

KW - Intra-processor

KW - KRoC

KW - Networking

KW - Occom-pi

KW - Pony

KW - Unified model

UR - https://www.scopus.com/pages/publications/33749538918

M3 - Conference contribution

AN - SCOPUS:33749538918

SN - 978-1-58603-671-3

VL - 64

T3 - Concurrent Systems Engineering Series

SP - 77

EP - 108

BT - Communicating Process Architectures 2006

A2 - Kerridge, J.

A2 - Welch, P. H.

A2 - Barnes, F. R. M.

ER -

pony - The occam-π network environment

Abstract

Publication series

Keywords

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this