C++CSP2: A many-to-many threading model for multicore architectures

Concurrent Systems Engineering Series

Volumn 65, Issue , 2007, Pages 183-205

  Brown, Neil ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Atomic instructions; C++; C++CSP; Multicore; Threading

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER ARCHITECTURE; CONCURRENT ENGINEERING; DIGITAL LIBRARIES; MATHEMATICAL MODELS;

ATOMIC INSTRUCTIONS; MANY TO MANY THREADING MODELS; MULTI PROCESSOR MACHINES; MULTICORE ARCHITECTURES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 34948857973     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (28)

1. Anton Shilov. Single-core and multi-core processor shipments to cross-over in 2006 - Intel. http://www.xbitlabs.com/news/cpu/display/ 20051201235525.html, 10 February 2007.
2. Fred Barnes, occam-pi: blending the best of CSP and the pi-calculus, http://www.occam-pi.org/, 10 February 2007.
3. Peter H. Welch. Java Threads in Light of occam/CSP (Tutorial). In Andrè W. P. Bakkers, editor, Proceedings of WoTUG-20: Parallel Programming and Java, pages 282-282, 1997.
4. Neil C. C. Brown and Peter H. Welch. An Introduction to the Kent C++CSP Library. In Jan F. Broenink and Gerald H. Hilderink, editors, Communicating Process Architectures 2003, pages 139-156, 2003.
5. Neil C. C. Brown. C++CSP Networked. In Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, and Peter H. Welch, editors, Communicating Process Architectures 2004, pages 185-200, 2004.
6. B. Orlic, and J.F. Broenink. Redesign of the C++ Communicating Threads Library for Embedded Control Systems. In F. Karelse STW, editor, 5th Progress Symposium on Embedded Systems, pages 141-156, 2004.
7. Alex Lehmberg and Martin N. Olsen. An Introduction to CSP.NET. In Frederick R. M. Barnes, Jon M. Kerridge, and Peter H. Welch, editors, Communicating Process Architectures 2006, pages 13-30, 2006.
8. Kevin Chalmers and Sarah Clayton. CSP for .NET Based on JCSP. In Frederick R. M. Barnes, Jon M. Kerridge, and Peter H. Welch, editors, Communicating Process Architectures 2006, pages 59-76, 2006.
9. Neil Brown. C++CSP2. http://www.cppcsp.net/, 10 February 2007.
10. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
11. Peter Welch. Communicating Sequential Processes for Java. http://www.cs.kent.ac.uk/projects/ofa/jcsp/, 10 February 2007.
12. Gerald Hilderink. Communicating Threads for Java. http://www.ce.utwente. nl/JavaPP/, 10 February 2007.
13. Fred Barnes. Kent Retargetable occam Compiler http://www.cs.kent.ac.uk/ projects/ofa/kroc, 10 February 2007.
14. Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Henry M. Levy. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. ACM Transactions on Computer Systems, 10(1):53-79, 1992.
15. Brian D. Marsh, Michael L. Scott, Thomas J. LeBlanc, and Evangelos P. Markatos. First-class user-level threads. In SOSP'91: Proceedings of the thirteenth ACM symposium on Operating systems principles, pages 110-121, New York, NY, USA, 1991. ACM Press.
16. Per Brinch Hansen. Operating System Principles. Prentice-Hall, 1973.
17. C. A. R. Hoare. Monitors: an operating system structuring concept. Communications of the ACM, 17(10):549-557, 1974.
18. Butler W. Lampson and David D. Redell. Experience with processes and monitors in Mesa. Commun. ACM, 23(2):105-117, 1980.
19. Peter H. Welch and Jeremy M. R. Martin. Formal Analysis of Concurrent Java Systems. In Peter H. Welch and Andrè W. P. Bakkers, editors, Communicating Process Architectures 2000, pages 275-301, 2000.
20. Thorsten Ottosen. Boost.Assignment Documentation, http://www.boost.org/ libs/assign/doc/, 10 February 2007.
21. John M Mellor-Crummey and Michael L. Scott. Algorithms for scalable synchronization on sharedmemory multiprocessors. ACM Transactions on Computer Systems, 9(1):21-65, February 1991.
22. Ulrich Drepper. Futexes are tricky. Technical Report 1.3, Red Hat, December 2005.
23. Peter Welch, Neil Brown, Bernhard Sputh, Kevin Chalmers, and James Moores. Integrating and Extending JCSP. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, pages -, 2007.
24. Kevin Vella. Seamless Parallel Computing On Heterogeneous Networks Of Multiprocessor Workstations. PhD thesis, University of Kent, 1998.
25. Bernhard Herbert Carl Sputh. Software Defined Process Networks. PhD thesis, University of Aberdeen, August 2006. Initial submission.
26. Fred Barnes and Peter Welch. Prioritised Dynamic Communicating Processes - Part I. In James Pascoe, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, pages 321-352, 2002.
27. Neil C. C. Brown. Rain: A New Concurrent Process-Oriented Programming Language. In Frederick R. M. Barnes, Jon M. Kerridge, and Peter H. Welch, editors, Communicating Process Architectures 2006, pages 237-252, 2006.
28. Hans Henrik Happe. TCP Input Threading in High Performance Distributed Systems. In Frederick R. M. Barnes, Jon M. Kerridge, and Peter H. Welch, editors, Communicating Process Architectures 2006, pages 203-214, 2006.