سنقدم في هذا البحث طريقتين احتماليتين للتحقق من صحة تنفيذ التطبيقات المتوازية
على بنى تفرعية بفرض عدم وجود عقد موثوقة (Oracle) نعتمد عليها في التحقق،
بالإضافة إلى تقديم نموذج الكلفة للآليتين و المقارنة بينهما.
سنهتم في هذا البحث بالتطبيقات المتوازية الممثلة بمخطط تدفق البيانات المبني
ديناميكياً خلال التنفيذ و المنفذة في بيئة تفرعية واسعة غير متجانسة و ديناميكية، تعتمد
مبدأ سرقة العمل لتوزيع المهام بين المعالجات.
In this research, We introduce two probabilistic mechanisms to
certificate parallel applications on distribute architecture supposing
that there are no oracles on which we depend on certification, in
addition to introducing cost model of two mechanisms and compare
them.
In this research, we are interested in parallel applications, which
are represented by data-flow graph that is built dynamically during
the execution and which are executed in a wide distributed
heterogeneous and dynamic environment and these applications
use the principle of work stealing to distribute the tasks among the
processors.
Artificial intelligence review:
Research summary
يتناول هذا البحث طريقتين احتماليتين للتحقق من صحة تنفيذ التطبيقات المتوازية على بنى موزعة غير موثوقة. تعتمد الطريقة الأولى على تكرار تنفيذ المهام على عقد غير موثوقة ومقارنة النتائج للتحقق من صحتها، بينما تعتمد الطريقة الثانية على تكرار التنفيذ بالإضافة إلى انتخاب عقدة موثوقة في حالة عدم التوصل إلى نتيجة مؤكدة. تم تقديم نموذج الكلفة لكلتا الطريقتين ومقارنتهما، مع التركيز على تقليل الكلفة المادية مقارنة بالطرق السابقة التي تعتمد على وجود عقد موثوقة. تم اختبار الطريقتين على تطبيقات متوازية مكونة من مهام مستقلة، مع الإشارة إلى إمكانية تعميم الخوارزميات للتحقق من التطبيقات المكونة من مهام مرتبطة في المستقبل.
Critical review
تقدم الدراسة مساهمة قيمة في مجال التحقق من صحة تنفيذ التطبيقات المتوازية على بنى موزعة غير موثوقة، حيث تقدم حلولاً فعالة من حيث الكلفة مقارنة بالطرق التقليدية. ومع ذلك، يمكن توجيه بعض الانتقادات البناءة. أولاً، الاعتماد على تكرار التنفيذ قد يزيد من زمن التحقق بشكل كبير، خاصة في التطبيقات ذات الحجم الكبير. ثانياً، الدراسة تركز بشكل رئيسي على المهام المستقلة، ومن المهم توسيع البحث ليشمل التطبيقات ذات المهام المرتبطة بشكل أكثر تفصيلاً. أخيراً، قد يكون من المفيد دراسة تأثير العوامل البيئية المختلفة مثل تباين سرعة المعالجات وأمان الشبكة على أداء الخوارزميات المقترحة.
Questions related to the research
-
ما هي الطريقتان الاحتماليتان المقترحتان في البحث للتحقق من صحة تنفيذ التطبيقات المتوازية؟
الطريقة الأولى تعتمد على تكرار تنفيذ المهام على عقد غير موثوقة ومقارنة النتائج للتحقق من صحتها، بينما تعتمد الطريقة الثانية على تكرار التنفيذ بالإضافة إلى انتخاب عقدة موثوقة في حالة عدم التوصل إلى نتيجة مؤكدة.
-
ما هي الفائدة الرئيسية من استخدام العقد غير الموثوقة في التحقق من صحة تنفيذ التطبيقات المتوازية؟
الفائدة الرئيسية هي تقليل الكلفة المادية المرتبطة بتأمين عقد موثوقة، حيث أن تأمين هذه العقد يعتبر مكلفاً للغاية.
-
ما هي البيئة التي تم اختبار الطريقتين المقترحتين فيها؟
تم اختبار الطريقتين على تطبيقات متوازية مكونة من مهام مستقلة، مع الإشارة إلى إمكانية تعميم الخوارزميات للتحقق من التطبيقات المكونة من مهام مرتبطة في المستقبل.
-
ما هي التحديات المحتملة التي قد تواجه تطبيق الطريقتين المقترحتين في بيئات حقيقية؟
من التحديات المحتملة زيادة زمن التحقق بشكل كبير خاصة في التطبيقات ذات الحجم الكبير، وتأثير العوامل البيئية المختلفة مثل تباين سرعة المعالجات وأمان الشبكة على أداء الخوارزميات.
References used
DABROWSKI Ch, 2009- Reliability in grid computing systems, National Institute of Standards and Technology, 100 Bureau Drive, Stop 8970 Gaithersburg, MD 20899-8970, U.S.A, Vol.21.8, Pages 927-959
GAUTIER T, JAFAR S, KRINGS AW, & ROCH J-L, 2005- Theft-Induced Checkpointing for Reconfigurable Dataflow Applications, IEEE, vol 16, 6pp.-6
GHAZAL R, & JAFAR S, 2016- A checkpoint/ recovery Model based on work stealing for grid application, Albaath Magazin, vol 38, pp 71-86