An Approximate Method for Analysing Data Dependence at Runtime Based on Abstract Interpretation : A Thesis Submitted to the Graduate School of Electronics , Communications and Computer Engineering : Egypt - Japan University of Science and Technology (E - JUST) : In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Computer Science and Engineering / by Mostafa Mohammed Abbas Mohammed
Material type:
- طريقة تقريبية لتحليل تبعية البيانات أثناء التنفيذ : رسالة علمية مقدمة إلى المدرسة التخصصية للدراسات العليا : كلية الإلكترونيات و الاتصالات و هندسة الحاسبات : الجامعة المصرية اليابانية للعلوم و التكنولوجيا كاستيفاء جزئي لمتطلبات الحصول على درجة دكتوراه الفلسفة في هندسة و علوم الحاسب / إعداد مصطفي محمد عباس محمد [Added title page title]
Item type | Current library | Call number | Copy number | Status | Barcode | |
---|---|---|---|---|---|---|
![]() |
Fayza Aboulnaga Central Library | مكتبة فايزة أبو النجا المركزية بالحرم الجامعي | CSE PhD. 2022 01 (Browse shelf(Opens below)) | C. 1 | Not for loan | 10013449 |
Browsing Fayza Aboulnaga Central Library | مكتبة فايزة أبو النجا المركزية بالحرم الجامعي shelves Close shelf browser (Hides shelf browser)
Includes a title page in Arabic
Thesis (Ph.D.) Doctoral Egypt - Japan University of Science and Technology (E-JUST) - School of Electronics , Communications and Computer Engineering - Computer Science and Engineering Department 2022
يعد تحليل تبعية التعليمات عملية لابد منها لتنفيذ التعليمات علي التوازي حيث انه يبين الأجزاء القابلة للتنفيذ علي التوازي في التعليمات التسلسلية التحليل الديناميكي يتطلب بشكل عام وقت تنفيذ كبير و مساحة ذاكرة كبيرة حيث يتم تتبع كل تعليمة وصول إلى الذاكرة نتيجة لذلك هناك العديد من المحاولات في الأبحاث السابقة لتحقيق توازن بين الدقة و وقت التشغيل الزائد تعتمد الطرق السابقة على التحليل العشوائي للتعليمات و التحليل المتوازي و استبعاد تبعية التعليمات المكتشفة استاتيكيا من التحليل الديناميكي تقترح هذه الرسالة طريقة تنميط خفيفة الأعباء لتحليل تبعية تعليمات بيانات الذاكرة في المستوى الثنائي (Binary level) الطريقة المقترحة تدمج تقنيتين تقترح التقنية الأولى تمثيل جميع مواقع الذاكرة المرصودة عن طريق المجالات المجردة (Abstract domains) التقنية الثانية تقترح الاستخدام الديناميكي لتقنيات الترجمة المجردة التقنية المقترحة الاولي تستخدم طريقة بسيطة لتجريد تحليل المسار التنفيذي للتعليمات باستخدام مجال النطاقات و المجال النمطي المتطابق لتحليل تبعية التعليمات بتكلفة تشغيل أقل من حيث وقت التشغيل و الذاكرة المستخدمة تقوم التقنية بجمع و تلخيص جميع عناوين الذاكرة لكل التعليمات الاستاتيكية التي تستخدم في الوصول للذاكرة تتميز هذه التقنية بعدم الحاجة إلى الاحتفاظ بذاكرة اضافية كبيرة حيث تتطلب فقط تحليل لكل زوج من التعليمات الاستاتيكية لاكتشاف تبعية التعليمات و ذلك من خلال اختبار تقاطع بسيط للمجالات المجردة المستخدمة علاوة على ذلك فإن الجمع بين مجال النطاقات و المجال النمطي المتطابق يعمل على تحسين الدقة مقارنة باستخدام مجال النطاقات بصورة منفردة خاصة عندما يحدث وصول للبيانات بشكل متباعد و لتحسين الدقة ايضا تم تقسيم الذاكرة إلى مقاطع حيث تخزن عناوين الذاكرة لكل مقطع بشكل تجريدي منفصل و يتم اختبار التقاطع للمجالات المجردة لكل مقطع بشكل مستقل التقنية المقترحة الثانية تعتبر تقنية بديلة لإجراء التحليل الاستاتيكي للتعليمات و لكن في وقت التشغيل بمعرفة المعلومات المتاحة قبل تنفيذ الحلقات التكرارية مباشرة مما يؤدي إلى تحسين الدقة تعتمد تقنية الترجمة المجردة على استخدام مجالات النطاقات و النمطية المتطابقة و المنصفة لاكتشاف تبعية تعليمات الوصول للذاكرة في البرامج الثنائية (Binary program) في وقت التشغيل تتميز الترجمة المجردة بكونها مرتبطة بدلالات التنفيذ مما يجعلها مشابهة لعملية نمذجة المقترحة تنفيذ التعليمات الثنائي تم بناء التقنيات المقترحة باستخدام منصة Intel Pin و تم تقييمها باستخدام مجموعات المعايير القياسية : PolyBench NPB و SPEC2006 أظهرت نتائج التقنية المقترحة الأولي مقارنة بالأعمال السابقة متوسط تسريع في وقت التنفيذ بمقدار 5.4 مرة و تستهلك مقدار 25 ميجا بايت من الذاكرة أي حوالي 2 من الاستهلاك الأصلي للبرامج و بمتوسط دقة 82.7 تصل الى 96% عند تقسيم الذاكرة الي مقاطع بينما أظهرت نتائج التقنية المقترحة الثانية متوسط تسريع في وقت التنفيذ بمقدار 18.9 مرة و تستهلك مقدار 660 ميجا بايت من الذاكرة أي حوالي 17% من الاستهلاك الأصلي للبرامج و بمتوسط دقة .90.4 أظهرت نتائج هذه الرسالة، أي عند الدمج بين تقنية التمثيل مع تقنية الترجمة المجردة متوسط دقة قدرها 85% مع متوسط تسريع وقت التنفيذ 23.6 مرة مقارنة بالطرق المقترحة ذات الصلة في الأبحاث السابقة و تستهلك مقدار 25 ميجا بايت من الذاكرة أي حوالي 2% من إستهلاك الذاكرة الاصلي للبرامج مما يجعلها طريقة واعدة
Issued also as a digital file (for more information please check our Digital Repository)
The text is in English and the extract is in Arabic
(ECCE) School of Electronics, Communications and Computer Engineering (CSE) Computer Science Engineering
There are no comments on this title.