Prioritised dynamic communicating and mobile processes

IEE Proceedings: Software

Volumn 150, Issue 2 SPEC, 2003, Pages 121-136

  Barnes, F R M ^a   Welch, P H ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; CONSTRAINT THEORY; EMBEDDED SYSTEMS; MULTIPROCESSING SYSTEMS; PROGRAM COMPILERS; RESOURCE ALLOCATION;

DYNAMIC CONCURRENT SYSTEMS;

MOBILE TELECOMMUNICATION SYSTEMS;

EID: 0038333563     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:20030182     Document Type: Conference Paper

References (50)

1. INMOS LIMITED: 'Occam 2.1 reference manual'. Tech. rep., May 1995. Available at; http://www.wotug.org/occam
2. HOARE, C.A.R.: 'Communicating sequential processes', Commun. ACM 21, 1978, 8, pp. 666-677
3. HOARE, C.A.R.: 'Communicating sequential processes' (Prentice-Hall, London, 1985)
4. ROSCOE, A.W.: 'The theory and practice of concurrency' (Prentice Hall, London, 1997)
5. HOMEWOOD, M., MAY, D., SHEPHERD, D., and SHEPHERD, R.: 'The IMS T800 transputer', IEEE Micro, 1987, pp. 10-26
6. MAY, M.D., THOMPSON, P.W., and WELCH, P.H.: 'Networks, routers and transputers' (IOS Press, Amsterdam, 1993)
7. INMOS LIMITED: 'The T9000 transputer hardware reference manual'. SGS-Thomson Microelectronics, 1993
8. JOY, B., GOSLING, J., and STEELE, G.: 'The Java language specification' (Addison-Wesley, Reading, MA, 1996)
9. JONES, R., and LINS, R.: 'Garbage collection: Algorithms for automatic dynamic memory management' (Wiley, New York, 1996, reprint 1997)
10. KERNIGHAN, B.W., and RITCHIE, D.M.: 'The C progamming language', (Prentice Hall, Englewood Cliffs, 1978, 1st edn.)
11. AMERICAN NATIONAL STANDARDS INSTITUTE: 'Programming languages - C, 1999'. 1999, ISO/IEC 9899:1999
12. STROUSTRUP, B.: 'The C++ programming language' (Addison-Wesley, Reading, MA, 1997, edn.)
13. WELCH, P.H., and WOOD, D.C.: 'The Kent retargetable occam compiler'. Proceedings of WoTUG 19 Parallel processing developments, in O'NEILL, B. (Ed.): 'Concurrent systems engineering' (IOS Press), Amsterdam, March 1996, Vol. 47, pp. 143-166
14. OFA PROJECT: 'Occam For All: Case for support, Feb.1995, Available online at: http://wotug.ukc.ac.uk/parallel/occam/projects/ occam-for-all/ accessed December 2002
15. WELCH, PH., MOORES, J., BARNES, F.R.M., and WOOD, D.C.: 'The KRoC Home Page'. 2000, Available at: http://www.cs.ukc.ac.uk/ projects/ofa/kroc/ accessed December 2002
16. BARNES, F.R.M., and WELCH, PH.: 'Prioritised dynamic communicating processes: Part II. Proceedings of WoTUG 25 Communicating process architectures, in PASCOE, J., WELCH, P., LOADER, R., and SUNDERAM, V (Eds.): 'Concurrent systems engineering' (IOS Press), Amsterdam, September 2002, pp. 353-370
17. WELCH, P.H., and WOOD, D.C.: 'Higher levels of process synchronisation'. Proceedings of WoTUG 20 Parallel programming and Java, in BARKERS, A. (Ed.): 'Concurrent systems engineering' (IOS Press), Amsterdam, The Netherlands, April 1997, pp. 104-129
18. BARNES, F.R.M., and WELCH, P.H.: 'Mobile data types for communicating processes'. Proceedings of the 2001 international conference on Parallel and distributed processing techniques and applications (PDPTA'2001), (CSREA press), June 2001, Vol. 1, pp. 20-26
19. BARNES, F.R.M., and WELCH, P.H.: 'Mobile data, dynamic allocation and zero aliasing: an occam experiment'. Proceedings of WoTUG 24, Communicating process architectures, in CHALMERS, A., MIRMEHDI, M., and MULLER, H. (Eds.): 'Concurrent systems engineering' (IOS Press), Amsterdam, September 2001, Vol. 59, pp. 243-264
20. BARRETT, G.: 'Occam 3 reference manual'. Tech. Rpt., Inmos Limited, Mar. 1992, (http://wotug.ukc.ac.uk/parallel/occam/documentation) accessed December 2002
21. MULLER, H.L., and MAY, D.: 'A simple protocol to communicate channels over channels'. EUROPAR '98 Parallel Processing, LNCS 1470, September 1998, Southampton, UK, Springer Verlag, pp. 591-600
22. MAY, D., and MULLER, H.: 'Copying, moving and borrowing semantics'. Proceedings of WoTUG 14 Communicating process architectures, in CHALMERS, A., MIRMEHDI, M., and MULLER, H. (Eds.): 'Concurrent systems engineering' (IOS Press), Amsterdam, September 2001, Vol. 59, pp. 15-26
23. BARNES, F.R.M.: 'Various extensions to the occam compiler'. 2001, (http://www.cs.ukc.ac.uk/projects/ofa/kroc/occ21-extensions.html) accessed December 2002
24. 24 BARNES, F.R.M.: 'The occam Web-Server Home Page'. 2000, (http:// wotug.ukc.ac.uk/ocweb/.) accessed December 2002
25. PLOEG, E., SUNTER, J.P.E., BARKERS, A.W.P., and ROEBBERS, H.W.: 'Dedicated multipriority scheduling'. Proceedings of WoTUG-17: Progress in transputer and occam research, in MILES, R., and CHALMERS, A. (Eds.): 'Transputer and occam engineering' (IOS Press), The Netherlands, April 1994, Vol. 38, pp. 18-31
26. WELCH, P.H., JUSTO, G.R.R., and WILLCOCK, C.J.: 'Higher-level paradigms for deadlock-free high-performance systems'. Transputer applications and systems'93 in GREBE, R., HEKTOR, J., HILTON, S., JANE, M., and WELCH, P. (Eds.): 'Proceedings of the 1993 World Transputer Congress' (IOS Press, Netherlands), Aachen, Germany, September 1993, Vol. 2, pp. 981-1004, (http://www.cs.ukc. ac.uk/pubs/1993/279)
27. MAY, D., and MULLER, H.L.: 'Using channels for multimedia communication'. Tech. Rpt., Department of Computer Science, University of Bristol, Feb. 1998
28. LOCKE, T.S.: Towards a viable alternative to OO - extending the occam/CSP programming model'. Proceedings of WoTUG 24 Communicating process architectures, in CHALMERS, A., MIRMEHDI, M., and MULLER, H. (Eds.): 'Concurrent systems engineering' (IOS Press), Amsterdam, Sept. 2001, Vol. 59, pp. 329-349
29. WOOD, D.C., and MOORES, J.: 'User-defined data types and operators in occam'. Proceedings of WoTUG 22 Architectures, languages and techniques for concurrent systems, in COOK, B. (Ed.): 'Concurrent systems engineering' (IOS Press), Amsterdam, April 1999, Vol. 57, pp. 121-146
30. WELCH, P.H.: 'Process oriented design for Java - concurrency for all, PDPTA 2000' (CSREA Press) June 2000, Vol. 1, pp. 51-57. See also http://www.cs.ac.uk/projects/ofa/jcsp/ accessed December 2002
31. WELCH, P.H.: 'An occam approach to transputer engineering'. Proceedings of the 3rd. ACM conference on Hypercube concurrent computers and applications, Pasadena, CA, January 1988, see also: http:// www.cs.ukc.ac.uk/pubs/1988/245
32. BARNES, F.R.M., and WELCH, P.H.: 'Prioritised dynamic communicating processes: Part I'. Proceedings of WoTUG 25 Communicating process architectures, in PASCOE, J., WELCH, P., LOADER, R., and SUNDERAM, V. (Eds.): 'Concurrent systems engineering' (IOS Press), Amsterdam, Sept. 2002, Vol. 60, pp. 321-351
33. WOOD, D.C., and BARNES, F.R.M.: Post-mortem debugging in KRoC'. Communicating process architectures, Proceedings of WoTUG 23, in WELCH, P., and BARKERS, A. (Ed.): 'Concurrent systems engineering' (IOS Press), Amsterdam, Sept. 2001, Vol. 60, pp. 329-349
34. MOORES, J.: 'The design and implementation of occam/CSP support for a range of languages and platforms'. PhD Thesis, The University of Kent at Canterbury, Canterbury, Kent CT2 7NF, Dec. 2000
35. VELLA, K.: 'Seamless parallel computing on heterogeneous networks of multiprocessor workstations'. PhD Thesis, The University of Kent at Canterbury, Canterbury, Kent CT2 7NF, Dec. 1998
36. BARNES, F. 'Socket, file and process libraries for occam'. Computing Laboratory, University of Kent at Canterbury, June 2000, (http:// www.cs.ukc.ac.uk/people/rpg/frmb2/documents/.) accessed December 2002
37. GOODACRE, I.N.: 'Occam net chans'. Project Rpt., Computing Laboratory, University of Kent, April 2001
38. SCHWEIGLER, M.: 'The distributed occam Protocol - A new layer on top of TCP/IP to serve occam channels over the internet'. MSc Thesis, Computing Laboratory, University of Kent at Canterbury, Sept. 2001
39. WELCH, P.H., ALDOUS, J.R., and FOSTER, J.: 'CSP networking for Java (JCSP.net)'. Proceedings of ICCS Computational science, in SLOOT, P., TAN, C., DONGARRA, J., and HOEKSTRA, A. (Eds.): Lecture Notes in Computer Science (Springer-Verlag, April 2002), Vol. 2330, pp. 695-708 (http://www.cs.ukc.ac.uk/pubs/2002/1382)
40. WELCH, PH., and VINTER, B.: Cluster computing and JCSP networking'. Proceedings of WoTUG-25 Communicating process architectures, in PASCOE, J., WELCH, P., LOADER, R., and SUNDERAM, V (Eds.): 'Concurrent Systems Engineering' (IOS Press), Amsterdam, Sept. 2002, Vol. 60, pp. 203-222
41. INMOS LIMITED: "The T9000 transputer instruction set manual'. SGS-Thomson Microelectronics, 1993, Document 72 TRN 240 01
42. SUNTER, J.P.E., WIJBRANS, K.C.J., and BARKERS, A.W.P.: 'Co-operative priority scheduling in occam'. Proceedings of the 13th occam user group technical meeting: Real-time Systems with transputers, ZEDAN, H. (Ed.): 'Transputer and occam Engineering' (IOS Press), Amsterdam, Sept. 1990, pp.175-185
43. WELCH, P.H.: 'Multipriority scheduling for transputer-based real-time control1. Proceedings of the 13th occam user group technical meeting: Real-time systems with transputers, in ZEDAN, H. (Ed.): 'Transputer and occam Engineering' (IOS Press), Amsterdam, Sept. 1990, pp. 198-214
44. LIU, C.L., and LAYLAND, J.W.: 'Scheduling algorithms for multi-programming in a hard real-time environment', J. ACM 20, 1973, 1, pp. 46-61
45. GOLDSMITH, M.H., ROSCOE, A.W., and SCOTT, B.G.O.: 'Denotational semantics for Occam2, Part 1', Transput. Commun., 1993, 1, (2), pp. 65-91
46. GOLDSMITH, M.H., ROSCOE, A.W., and SCOTT, B.G.O.: 'Denotational Semantics for Occam2, Part 2', Transput. Commun., 1994, 2, (1), pp. 25-67
47. LAWRENCE, A.E.: 'Extending CSP: denotational semantics', IEE Proc. Softw., 2003, 150, pp. 51-60
48. LAWRENCE, A.E.: 'CSP extended: imperative state and true concurrency', IEE Proc. Softw., 2003, 150, pp. 61-69
49. BARNES, F.R.M.INMOS LIMITED: 'Dynamic occam processes'. Fringe-session presentation at CPA-2000, 2000 (http://frmb.home. cern.ch/frmb/pubs/dynoccam-slides.ps) accessed December 2002
50. FORD, B., BACK, G., BENSON, G., LEPREAU, J., LIN, A., and SHIVERS, O.: 'The flux OSKit: A substrate for kernel and language research'. Proceedings of symposium on operating systems principles, 1997, pp. 38-51 (Software available from: http://www.cs.utah.edu/flux/oskit/) accessed December 2002