Barrier synchronisation for occam-pi

Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA'05

Volumn 1, Issue , 2005, Pages 173-179

  Barnes, Frederick R M ^a   Welch, Peter H ^a   Sampson, Adam T ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Barriers; Concurrency; CSP; Dynamics; Fine grained; Occam pi; Simulation; Synchronisation; Time

Indexed keywords

BARRIERS; CONCURRENCY; CSP; FINE-GRAINED; OCCAM-PI; SIMULATION; SYNCHRONISATION; TIME;

APPLICATIONS; BENCHMARKING; DISTRIBUTED PARAMETER NETWORKS; DYNAMICS; LINGUISTICS; PARALLEL PROCESSING SYSTEMS; SYNCHRONIZATION;

COMPUTER OPERATING PROCEDURES;

EID: 33746383535     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. P. Welch and D. Wood, "The Kent Retargetable Occam Compiler," in Proceedings of WoTUG 19. IOS Press, Mar. 1996, pp. 143-166, ISBN: 90-5199-261-0.
2. P. Welch, J. Moores, F. Barnes, and D. Wood, "The KRoC Home Page," 2000, available at: http://www.cs.kent.ac.uk/projects/ofa/kroc/.
3. P. Welch and F. Barnes, "Communicating mobile processes: introducing occam-pi," in 25 Years of CSP, ser. Lecture Notes in Computer Science, A. Abdallah, C. Jones, and J. Sanders, Eds., vol. 3525. Springer Verlag, Apr. 2005, pp. 175-210, to appear.
4. F. R. Barnes, "Dynamics and Pragmatics for High Performance Concurrency," Ph.D. dissertation, University of Kent, June 2003.
5. F. Barnes and P. Welch, "Prioritised dynamic communicating and mobile processes," IEE Proceedings - Software, vol. 150, no. 2, pp. 121-136, Apr. 2003.
6. Inmos Limited, "occam 2.1 Reference Manual," Inmos Limited, Tech. Rep., May 1995, available at: http://wotug.org/occam/.
7. R. Milner, Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, 1999, ISBN-10: 0521658691, ISBN-13: 9780521658690.
8. C. Hoare, Communicating Sequential Processes. London: Prentice-Hall, 1985, ISBN: 0-13-153271-5.
9. A. Roscoe, The Theory and Practice of Concurrency. Prentice Hall, 1997, ISBN: 0-13-674409-5.
10. L. Valiant, "A bridging model for parallel computation," Communications of the ACM, vol. 33, no. 8, pp. 103-111, Aug. 1990.
11. M. Schweigler, "Adding Mobility to Networked Channel-Types," in Proceedings of Communicating Process Architectures 2004, Sept. 2004, pp. 107-126, ISBN: 1-58603-458-8.
12. P. H. Welch and D. C. Wood, "Higher Levels of Process Synchronisation," in Proceedings of WoTUG 20. IOS Press, Apr. 1997, pp. 104-129, ISBN: 90-5199-336-6.
13. D. Wood and J. Moores, "User-Defined Data Types and Operators in occam," in Proceedings of WoTUG 22. IOS Press, April 1999, pp. 121-146, ISBN: 90-5199-480-X.
14. M. Poole, "Extended Transputer Code - a Target-Independent Representation of Parallel Programs," in Proceedings of WoTUG 21. IOS Press, Apr. 1998, pp. 187-198, ISBN: 90-5199-391-9.
15. P. Welch, "ALTing on a barrier synchronisation," Private communication, Mar. 2003.
16. J. Woodcock and A. McEwan, "On choice and multiway synchronisation," Private communication, Mar. 2004.
17. B. Vinter, O. J. Anshus, and T. Larsen, "Pastset: A distributed structured shared memory system," in Proceedings of High Performance Computers and Networking Europe, Amsterdam, The Netherlands, Apr. 1999.
18. FDR2 User Manual, Formal Systems (Europe) Ltd., 3, Alfred Street, Oxford. OX1 4EH, UK., May 2000.