روشی برای بهبود تشخیص نرم‌افزاری خطاهای کنترلیِ مبتنی بر خطا‌های گذرا در پردازنده‌ها حین اجرای برنامه‌ها

سیستم‌های پردازشی در کاربردهایی مانند ماهواره‌ها، فضاپیماها و رآکتورهای هسته‌ای به علت وجود انواع اشعه، بسیار مستعد تولید خروجی‌های نادرست هستند. در این کاربردها استفاده از تجهیزات الکترونیکی مقاوم هزینه زیادی را تحمیل می‌کند. یک راه برای کاهش هزینه، استفاده از نرم‌افزارهای مقاوم یا بهبودیافته بر روی تجهیزات رایج مانند پردازنده‌های عام است. در این مقاله، روشی جدید برای بهبود اجرای انواع کدها بر روی پردازنده‌ها به منظور تشخیص خطاهای گذرا که در بستر سخت‌افزاری رخ می‌دهد، ارائه می‌گردد. این روش جزء روش‌هایی است که با شناسایی خطاهای کنترلی یا همان تغییر در روند اجرای کد برنامه، خطاهای گذرا را تشخیص می‌دهند. روش پیشنهادی مبتنی بر تخصیص امضاها و استفاده از متغیرهای محاسبه شونده حین اجرا بوده و با افزودن دو امضا و حداکثر سه دستورالعمل کنترلی به هر بلوک پایه بسیاری از خطاهای کنترلی را تشخیص می‌دهد. نتایج شبیه‌سازی و پیاده‌سازی روش پیشنهادی به همراه روش‌های پیشین نشان می‌دهد که روش پیشنهادی با توجه به سه پارامتر میزان پوشش خطا، سربار کارایی و سربار حافظه، بهتر از روش‌های قبلی شناسایی خطاهای کنترلی را انجام می‌دهد.

An Enhanced Method for Detecting Control Flow Errors Caused by Soft Errors in the Processors Running the Programs

The processing systems utilized in the satellites or nuclear reactors are highly susceptible to produce wrong results because of the existence of different radiations. In this paper, a new method is proposed for enhancing the program executions on the faultprone processors in extreme environments. The main goal is the detection of control flow errors caused by soft errors that maybe produced by transient faults occurred in the underlying hardware. This method detects the errors by recognizing the deviations from the proper program flow execution. The proposed method operates by allocating two specific signatures and at most three control instructions to each basic block inside a program. This way, many control flow errors are detected. The experimental results based on the simulation of the proposed method together with the previous methods show that the proposed method detects the control flow errors better than the previous methods with respect to three main parameters including fault coverage, performance overhead and memory overhead.