Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
نویسندگان
چکیده
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 di erent process. The optimisation has been successfully used in a prototype run-time system.
منابع مشابه
Proving the correctness of optimising destructiveand non - destructive reads over tuple
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 diierent process. T...
متن کاملProving the correctness of optimising destructiveand non - destructive reads over tuple spacesRocco
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 diierent process. T...
متن کاملLeaf area estimation by a simple and non-destructive method
In this study, the relation between leaf area and its dimensions was estimated using a non-destructive method. This method is based on this fact that the leaf shape does not change during the growing season. In this method, leaf area during the growing season is estimated based on the dimensions of the smallest leaf in the initial stage of plant growth or at any growth stage by measuring the le...
متن کاملDesign of Nondestructive System for Hardness of Carbonitrided Steel Parts Using Eddy Current Testing Method: Case study on the Tappet Parts
In this paper, a non-destructive eddy current test system was designed to evaluate the surface hardness of the carbonitrided steel parts. For this purpose, various samples of the tappet were used after the surface hardening and grinding operations as control samples and, if necessary, were subjected to destructive and non-destructive tests. Microstructural studies were performed with a microsco...
متن کاملThickness Measuring of Thin Metal by Non Destructive with Fuzzy Logic Control System
Non-Destructive Testing & Evaluation methods are developed to inspect and investigate materials and structures. Ultrasonic Testing is an NDT method can be used for measuring the thickness of objects, as one of its significant applications. The objective of this paper is designing and applying an intelligent UT fuzzy control system for evaluating the thickness of thin metal objects in a range of...
متن کامل