Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment

Barnes, Frederick R.M. and Welch, Peter H. (2001) Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. In: Chalmers, Alan and Mirmehdi, Majid and Muller, Henk, eds. Communicating Process Architectures 2001. Concurrent Systems Engineering Series, No. 59 (59). IOS Press, Amsterdam, The Netherlands pp. 243-264. ISBN 1 58603 202 X. (Full text available)

PDF
Download (206kB)
[img]
Preview
Postscript
Download (229kB)
[img]
Preview

Abstract

F.R.M. Barnes and P.H. Welch Communicating Process Architectures 2001 (WoTUG 24) Traditional imperative languages (such as C) and modern object-oriented languages are plagued by uncontrolled resource aliasing problems. Add in concurrency and the problems compound exponentially. Improperly synchronised access to shared (i.e. aliased) resources leads to problems of race-hazard, deadlock, livelock and starvation. This paper describes the binding into occam (a concurrent processing language based on CSP) of a secure, dynamic and efficient way of sharing data between parallel processes with minimal synchronisation overheads. The key new facilities provided are: a movement semantics for assignment and communication, strict zero-aliasing, apparently dynamic memory allocation and automatic zero-or-very-small-unit-time garbage collection. The implementation of this mechanism is also presented, along with some initial performance figures (e.g. 80ns for mobile communication on an 800 MHz Pentium 3). With occam becoming available on a variety of microprocessors for GUI building, internet services and small-memory-footprint embedded products, these capabilities are timely. Lessons are drawn for concurrency back in OO languages - and especially for the JCSP (CSP for Java) package library.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: mobiles CSP occam dynamic-memory mobile-data
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:58
Last Modified: 17 Apr 2014 14:27
Resource URI: http://kar.kent.ac.uk/id/eprint/13552 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year