Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs
المؤلف
المصدر
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-13، 13ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-04-26
دولة النشر
مصر
عدد الصفحات
13
التخصصات الرئيسية
الطب البشري
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
This paper introduces new approaches for the analysis of frequent statement and dereference elimination for imperative and object-oriented distributed programs running on parallel machines equipped with hierarchical memories.
The paper uses languages whose address spaces are globally partitioned.
Distributed programs allow defining data layout and threads writing to and reading from other thread memories.
Three type systems (for imperative distributed programs) are the tools of the proposed techniques.
The first type system defines for every program point a set of calculated (ready) statements and memory accesses.
The second type system uses an enriched version of types of the first type system and determines which of the ready statements and memory accesses are used later in the program.
The third type system uses the information gather so far to eliminate unnecessary statement computations and memory accesses (the analysis of frequent statement and dereference elimination).
Extensions to these type systems are also presented to cover object-oriented distributed programs.
Two advantages of our work over related work are the following.
The hierarchical style of concurrent parallel computers is similar to the memory model used in this paper.
In our approach, each analysis result is assigned a type derivation (serves as a correctness proof).
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
El-Zawawy, Mohamed A.. 2014. Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs. The Scientific World Journal،Vol. 2014, no. 2014, pp.1-13.
https://search.emarefa.net/detail/BIM-1051283
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
El-Zawawy, Mohamed A.. Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs. The Scientific World Journal No. 2014 (2014), pp.1-13.
https://search.emarefa.net/detail/BIM-1051283
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
El-Zawawy, Mohamed A.. Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs. The Scientific World Journal. 2014. Vol. 2014, no. 2014, pp.1-13.
https://search.emarefa.net/detail/BIM-1051283
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1051283
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر