Proving the correctness of optimising destructive and non-destructive reads over tuple spaces
- Rocco De Nicola ,
- Rosario Pugliese ,
- Ant Rowstron
International Conference on Coordination Languages and Models |
Published by Springer Berlin Heidelberg
In this paper we describe the proof of an optimization that can be applied to tuple space based run-time systems (as used in Linda). The optimization 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 diff erent process. The optimization has been successfully used in a prototype run-time system.