论文信息 - Three Unique Implementations of Processes for PyCSP

Three Unique Implementations of Processes for PyCSP

In this work we motivate and describe three unique implementations of processes for PyCSP: process, thread and greenlet based. The overall purpose is to demonstrate the feasibility of Communicating Sequential Processes as a framework for different application types and target platforms. The result is a set of three imple- mentations of PyCSP with identical interfaces to the point where a PyCSP developer need only change which implementation is imported to switch to any of the other im- plementations. The three implementations have different strengths; processes favors parallel processing, threading portability and greenlets favor many processes with fre- quent communication. The paper includes examples of applications in all three cate- gories.

[1] Christian Tismer. Continuations and Stackless Python , 1999 .

[2] Donald Ervin Knuth,et al. The Art of Computer Programming, Volume II: Seminumerical Algorithms , 1970 .

[3] Damian J. Dimmich,et al. A Cell Transterpreter , 2006, CPA.

[4] Neil Brown,et al. C++CSP2: A Many-to-Many Threading Model for Multicore Architectures , 2007, CPA.

[5] Wilson Ifill,et al. Integrating and Extending JCSP , .

[6] Wilson Ifill,et al. PyCSP-Communicating Sequential Processes for Python , 2007 .

[7] Adam T. Sampson,et al. Multicore scheduling for lightweight communicating processes , 2009, Sci. Comput. Program..

[8] Oliver Faust,et al. Transfer Request Broker: Resolving Input-Output Choice , 2008, CPA.

[9] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.

[10] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .

[11] M. D. MacLaren. The Art of Computer Programming. Volume 2: Seminumerical Algorithms (Donald E. Knuth) , 1970 .

[12] Frederick R. M. Barnes,et al. Blocking System Calls in KRoC/Linux , 2000 .

[13] Brian Vinter,et al. PyCSP Revisited , 2009, CPA.