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

Datalogisk Institut

3 Citationer (Scopus)

52 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.

Originalsprog	Engelsk
Tidsskrift	International Journal of Information Processing and Management
Vol/bind	1
Udgave nummer	2
Sider (fra-til)	40-49
Antal sider	10
Status	Udgivet - 2010

Adgang til dokumentet

Vinter_2010_PyCSPAccepteret manuskript, 191 KBLicens: Ikke-specificeret

Citationsformater

@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 -

PyCSP - controlled concurrency

Abstract

Adgang til dokumentet

Fingeraftryk

Citationsformater