De Nicola, Rocco and Pugliese, Rosario and Rowstron, Antony I. T. Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2000). Lecture Notes in Computer Science, 1906 . Springer, pp. 66-80. ISBN 3-540-41020-1 (2000)Full text not available from this repository.
In this paper we describe the proof of an optimisation that can be applied to tuple space based run-time systems (as used in Linda). The optimisation allows, under certain circumstances, for a tuple that has been destructively removed from a shared tuple space (for example, by a Linda in) to be returned as the result for a non-destructive read (for example, a Linda rd) for a different process. The optimisation has been successfully used in a prototype run-time system.
|Item Type:||Book Section|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Research Area:||Computer Science and Applications|
|Depositing User:||Rocco De Nicola|
|Date Deposited:||09 Jun 2011 08:43|
|Last Modified:||11 Jul 2011 14:36|
Actions (login required)