PyCSP - controlled concurrency

Brian Vinter; Rune Møllegaard Friborg; John Markus Bjørndalen

PyCSP - controlled concurrency

Brian Vinter, Rune Møllegaard Friborg, John Markus Bjørndalen

Department of Computer Science

Research output: Contribution to journal › Journal article › Research › peer-review

3 Citations (Scopus)

288 Downloads (Pure)

Abstract

Producing readable and correct programs while at the same time taking advantage of multi-core architectures is a challenge. PyCSP is an implementation of Communicating Sequential Processes algebra (CSP) for the Python programming language, that take advantage of CSP's formal and verifiable approach to controlling concurrency and the readability of Python source code. We describe PyCSP, demonstrate it through examples and demonstrate how PyCSP compares to Pthreads in a master-worker benchmark.

Original language	English
Journal	International Journal of Information Processing and Management
Volume	1
Issue number	2
Pages (from-to)	40-49
Number of pages	10
Publication status	Published - 2010

Access to Document

Vinter_2010_PyCSPAccepted author manuscript, 191 KBLicence: Unspecified

Cite this

@article{d6bbedd0ee5711dfb6d2000ea68e967b,

title = "PyCSP - controlled concurrency",

abstract = "Producing readable and correct programs while at the same time taking advantage of multi-core architectures is a challenge. PyCSP is an implementation of Communicating Sequential Processes algebra (CSP) for the Python programming language, that take advantage of CSP's formal and verifiable approach to controlling concurrency and the readability of Python source code. We describe PyCSP, demonstrate it through examples and demonstrate how PyCSP compares to Pthreads in a master-worker benchmark.",

author = "Brian Vinter and Friborg, {Rune M{\o}llegaard} and Bj{\o}rndalen, {John Markus}",

year = "2010",

language = "English",

volume = "1",

pages = "40--49",

journal = "International Journal of Information Processing and Management",

number = "2",

}

TY - JOUR

T1 - PyCSP - controlled concurrency

AU - Vinter, Brian

AU - Friborg, Rune Møllegaard

AU - Bjørndalen, John Markus

PY - 2010

Y1 - 2010

N2 - Producing readable and correct programs while at the same time taking advantage of multi-core architectures is a challenge. PyCSP is an implementation of Communicating Sequential Processes algebra (CSP) for the Python programming language, that take advantage of CSP's formal and verifiable approach to controlling concurrency and the readability of Python source code. We describe PyCSP, demonstrate it through examples and demonstrate how PyCSP compares to Pthreads in a master-worker benchmark.

AB - Producing readable and correct programs while at the same time taking advantage of multi-core architectures is a challenge. PyCSP is an implementation of Communicating Sequential Processes algebra (CSP) for the Python programming language, that take advantage of CSP's formal and verifiable approach to controlling concurrency and the readability of Python source code. We describe PyCSP, demonstrate it through examples and demonstrate how PyCSP compares to Pthreads in a master-worker benchmark.

M3 - Journal article

VL - 1

SP - 40

EP - 49

JO - International Journal of Information Processing and Management

JF - International Journal of Information Processing and Management

IS - 2

ER -