An Approximate Method for Analysing Data Dependence at Runtime Based on Abstract Interpretation : (Record no. 5679)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 07308nam a2200265 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | EG-NbEJU |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20241201113116.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240608b2022 ua | m||| 00| 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | EG-NbEJU |
| Language of cataloging | eng |
| Transcribing agency | EG-NbEJU |
| Modifying agency | EG-NbEJU |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| Language code of summary or abstract | ara |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Mohammed , Mostafa Mohammed Abbas |
| 245 13 - TITLE STATEMENT | |
| Title | An Approximate Method for Analysing Data Dependence at Runtime Based on Abstract Interpretation : |
| Remainder of title | 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 / |
| Statement of responsibility, etc. | by Mostafa Mohammed Abbas Mohammed |
| 246 15 - VARYING FORM OF TITLE | |
| Title proper/short title | طريقة تقريبية لتحليل تبعية البيانات أثناء التنفيذ : |
| Remainder of title | رسالة علمية مقدمة إلى المدرسة التخصصية للدراسات العليا : كلية الإلكترونيات و الاتصالات و هندسة الحاسبات : الجامعة المصرية اليابانية للعلوم و التكنولوجيا كاستيفاء جزئي لمتطلبات الحصول على درجة دكتوراه الفلسفة في هندسة و علوم الحاسب / إعداد مصطفي محمد عباس محمد |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Alexandria : |
| Name of publisher, distributor, etc. | Mostafa Mohammed Abbas Mohammed |
| Date of publication, distribution, etc. | 2022 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 91 leaves ; |
| Dimensions | 30 cm |
| 500 ## - GENERAL NOTE | |
| General note | Includes a title page in Arabic |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (Ph.D.) |
| Degree type | Doctoral |
| Name of granting institution | Egypt - Japan University of Science and Technology (E-JUST) - School of Electronics , Communications and Computer Engineering - Computer Science and Engineering Department |
| Year degree granted | 2022 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | يعد تحليل تبعية التعليمات عملية لابد منها لتنفيذ التعليمات علي التوازي حيث انه يبين الأجزاء القابلة للتنفيذ علي التوازي في التعليمات التسلسلية التحليل الديناميكي يتطلب بشكل عام وقت تنفيذ كبير و مساحة ذاكرة كبيرة حيث يتم تتبع كل تعليمة وصول إلى الذاكرة نتيجة لذلك هناك العديد من المحاولات في الأبحاث السابقة لتحقيق توازن بين الدقة و وقت التشغيل الزائد تعتمد الطرق السابقة على التحليل العشوائي للتعليمات و التحليل المتوازي و استبعاد تبعية التعليمات المكتشفة استاتيكيا من التحليل الديناميكي تقترح هذه الرسالة طريقة تنميط خفيفة الأعباء لتحليل تبعية تعليمات بيانات الذاكرة في المستوى الثنائي (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% من إستهلاك الذاكرة الاصلي للبرامج مما يجعلها طريقة واعدة |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
| Additional physical form available note | Issued also as a digital file (for more information please check our Digital Repository) |
| 546 ## - LANGUAGE NOTE | |
| Language note | The text is in English and the extract is in Arabic |
| 590 ## - EJUST Faculty and Academic Program | |
| EJUST Faculty | (ECCE) School of Electronics, Communications and Computer Engineering |
| EJUST Academic Program | (CSE) Computer Science Engineering |
| 901 ## - Cataloger information | |
| Cataloger Name | HaGeR |
| 902 ## - PDF File name | |
| PDF File name | TH_01_ (58) |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Suppress in OPAC | No |
| Koha item type | Dissertations |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Fayza Aboulnaga Central Library | مكتبة فايزة أبو النجا المركزية بالحرم الجامعي | Fayza Aboulnaga Central Library | مكتبة فايزة أبو النجا المركزية بالحرم الجامعي | 08/18/2024 | CSE PhD. 2022 01 | 10013449 | 08/18/2024 | C. 1 | 08/18/2024 | Dissertations |