محلی سازی خطا مبتنی بر طیف برای تشخیص خطاهای همزمان

عنوان محلی سازی خطا مبتنی بر طیف برای تشخیص خطاهای همزمان
نویسنده کوجا، فیض الله، سوزر، حسن، ابرئو، ر.
تاریخ انتشار: 2013
محل انتشار - Springer Science + Business Media
موضوع اشکال زدایی، Multithreading، خطاهای همزمان، ایمنی رشته، تجزیه و تحلیل دینامیکی، محلی سازی خطا مبتنی بر طیف
نوع كتاب
زبان انگلیسی
دیجیتال بله
نسخه خطی خیر
کتابخانه: دانشگاه اوزیغین
شناسه دارایی کتابخانه 978-3-642-41707-8
شماره ثبت bba83f7d-8d80-4627-8f46-76daee66e796
محل کتابخانه علوم کامپیوتر
تاریخ 2013
یادداشت‌ها با توجه به محدودیت های کپی رایت، دسترسی به متن کامل این مقاله تنها از طریق اشتراک امکان پذیر است.
متن نمونه خطاهای همزمانی در زمان اجرا توسط رزوه های خاصی فعال می شوند. تکنیک‌های سنتی محلی‌سازی خطا و تحلیل استاتیکی برای تشخیص کارآمد این گسل‌ها کوتاهی می‌کنند. تکنیک‌های پویا-محلی‌سازی خطا بر تعیین دقیق الگوهای دسترسی به داده‌ها که در معرض خطاهای همزمان هستند، تمرکز دارند. در این مقاله، ما یک تکنیک محلی‌سازی خطا مبتنی بر طیف را برای بومی‌سازی بلوک‌های کد معیوب پیشنهاد می‌کنیم. ما به‌طور سیستماتیک برنامه را برای ایجاد نسخه‌هایی که در ترکیب‌های خاصی از رشته‌های درون‌پیچ اجرا می‌شوند، ابزار می‌کنیم. ما آزمایش‌هایی را روی همه این نسخه‌ها اجرا می‌کنیم و از محلی‌سازی خطا مبتنی بر طیف برای ارتباط خطاهای شناسایی‌شده با بلوک‌های کد همزمان استفاده می‌کنیم. ما ابزاری را پیاده‌سازی کرده‌ایم و رویکرد خود را روی چندین مطالعه موردی صنعتی اعمال کرده‌ایم. مطالعات موردی نشان می‌دهد که رویکرد ما می‌تواند به‌طور مؤثر و کارآمد خطاهای همزمانی را بومی‌سازی کند.
DOI 10.1007/978-3-642-41707-8_16
Cilt 8254
مشاهده در منبع دانشگاه اوزیغین دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات
دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات دانشگاه اوزیغین

محلی سازی خطا مبتنی بر طیف برای تشخیص خطاهای همزمان

نویسنده کوجا، فیض الله، سوزر، حسن، ابرئو، ر.
تاریخ انتشار 2013
محل انتشار - Springer Science + Business Media
موضوع اشکال زدایی، Multithreading، خطاهای همزمان، ایمنی رشته، تجزیه و تحلیل دینامیکی، محلی سازی خطا مبتنی بر طیف
نوع كتاب
زبان انگلیسی
دیجیتال بله
نسخه خطی خیر
کتابخانه دانشگاه اوزیغین
شناسه دارایی کتابخانه 978-3-642-41707-8
شماره ثبت bba83f7d-8d80-4627-8f46-76daee66e796
محل کتابخانه علوم کامپیوتر
تاریخ 2013
یادداشت‌ها با توجه به محدودیت های کپی رایت، دسترسی به متن کامل این مقاله تنها از طریق اشتراک امکان پذیر است.
متن نمونه خطاهای همزمانی در زمان اجرا توسط رزوه های خاصی فعال می شوند. تکنیک‌های سنتی محلی‌سازی خطا و تحلیل استاتیکی برای تشخیص کارآمد این گسل‌ها کوتاهی می‌کنند. تکنیک‌های پویا-محلی‌سازی خطا بر تعیین دقیق الگوهای دسترسی به داده‌ها که در معرض خطاهای همزمان هستند، تمرکز دارند. در این مقاله، ما یک تکنیک محلی‌سازی خطا مبتنی بر طیف را برای بومی‌سازی بلوک‌های کد معیوب پیشنهاد می‌کنیم. ما به‌طور سیستماتیک برنامه را برای ایجاد نسخه‌هایی که در ترکیب‌های خاصی از رشته‌های درون‌پیچ اجرا می‌شوند، ابزار می‌کنیم. ما آزمایش‌هایی را روی همه این نسخه‌ها اجرا می‌کنیم و از محلی‌سازی خطا مبتنی بر طیف برای ارتباط خطاهای شناسایی‌شده با بلوک‌های کد همزمان استفاده می‌کنیم. ما ابزاری را پیاده‌سازی کرده‌ایم و رویکرد خود را روی چندین مطالعه موردی صنعتی اعمال کرده‌ایم. مطالعات موردی نشان می‌دهد که رویکرد ما می‌تواند به‌طور مؤثر و کارآمد خطاهای همزمانی را بومی‌سازی کند.
DOI 10.1007/978-3-642-41707-8_16
Cilt 8254
دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات
دانشگاه اوزیغین شما در حال هدایت مجدد هستید...

لطفاً صبر کنید