DocumentCode :
2299706
Title :
Program dependence analysis for concurrency exploitation in programs composed of abstract data type modules
Author :
Yu, Guohui ; Welch, Lonnie R.
Author_Institution :
Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
fYear :
1994
fDate :
26-29 Oct 1994
Firstpage :
66
Lastpage :
73
Abstract :
In object-based design and implementation, application programs are constructed by layering reusable abstract data type (ADT) module instances. An ADT instance is often used to manage more than one data object. There is contention for getting access to the instance if the multiple data objects need to be accessed concurrently. To resolve the contention, the ADT instance is replicated and the copies are placed in different processors so that each of the multiple clients can use the clones to concurrently access different data objects. To exploit the concurrency automatically, program dependence relations are analyzed. In this paper, the program dependence graph (PDG), which was previously used to describe data and control dependence relations among statements, is extended to include instance dependence relations. Several theorems are proved with respect to the instance dependence properties of the new PDG graph. A technique is presented for determining the upper bound on the number of clones of each module instance that can be used concurrently. The technique employs dependence analysis techniques at the statement, method, and instance levels of granularities
Keywords :
abstract data types; concurrency control; object-oriented programming; software reusability; abstract data type modules; application programs; concurrency exploitation; dependence analysis techniques; granularities; instance dependence relations; object-based design; program dependence analysis; program dependence graph; program dependence relations; reusable abstract data type module instances; upper bound; Cloning; Concurrent computing; Costs; Crisis management; Programming; Software development management; Software maintenance; Software systems; Software testing; Upper bound;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Parallel and Distributed Processing, 1994. Proceedings. Sixth IEEE Symposium on
Conference_Location :
Dallas, TX
Print_ISBN :
0-8186-6427-4
Type :
conf
DOI :
10.1109/SPDP.1994.346180
Filename :
346180
Link To Document :
بازگشت