PyCSP - controlled concurrency

نویسندگان

  • Rune Møllegaard Friborg
  • Brian Vinter
  • John Markus Bjørndalen
چکیده

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, taking 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 using a benchmark.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

PyCSP - Communicating Sequential Processes for Python

The Python programming language is effective for rapidly writing programs and experimenting with them. It is increasingly being used in computational sciences, and in teaching computer science. CSP is effective for describing concurrency. It has become especially relevant with the emergence of commodity multi-core architectures. We are interested in exploring how a combination of Python and CSP...

متن کامل

Csp for Executable Scientific Workflows

This thesis presents CSP as a means of orchestrating the execution of tasks in a scientific workflow. Scientific workflow systems are popular in a wide range of scientific areas, where tasks are organised in directed graphs. Execution of such graphs is handled by the scientific workflow systems and can usually benefit performance-wise from both multiprocessing, cluster and grid environments. Py...

متن کامل

Process-Oriented Collective Operations

Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluster computation, defines a number of collective operations: efficient, reusable algorithms for performing operations among a group of machines in the cluster. In this paper, we describe our techniques for implementing MPI communi...

متن کامل

PyCSP Revisited

PyCSP was introduced two years ago and has since been used by a number of programmers, especially students. The original motivation behind PyCSP was a conviction that both Python and CSP are tools that are especially well suited for programmers and scientists in other fields than computer science. Working under this premise the original PyCSP was very similar to JCSP and the motivation was simp...

متن کامل

Boosting with recombinant vaccinia increases immunogenicity and protective efficacy of malaria DNA vaccine.

To enhance the efficacy of DNA malaria vaccines, we evaluated the effect on protection of immunizing with various combinations of DNA, recombinant vaccinia virus, and a synthetic peptide. Immunization of BALB/c mice with a plasmid expressing Plasmodium yoelii (Py) circumsporozoite protein (CSP) induces H-2Kd-restricted CD8+ cytotoxic T lymphocyte (CTL) responses and CD8+ T cell- and interferon ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • IJIPM

دوره 1  شماره 

صفحات  -

تاریخ انتشار 2010