استخراج اطلاعات رفتار پردازنده های ARM برای تحلیل بیشینه زمان اجرای برنامه ها در کاربرد های نهفته بی درنگ

نوع: Type: پایان نامه

مقطع: Segment: کارشناسی ارشد

عنوان: Title: استخراج اطلاعات رفتار پردازنده های ARM برای تحلیل بیشینه زمان اجرای برنامه ها در کاربرد های نهفته بی درنگ

ارائه دهنده: Provider: امیرحسین عسگری - مهندسی کامپیوتر

اساتید راهنما: Supervisors: دکتر مهدی سخائی نیا

اساتید مشاور: Advisory Professors:

اساتید ممتحن یا داور: Examining professors or referees: دکتر یوسف صنعتی - دکتر وحید نصرتی

زمان و تاریخ ارائه: Time and date of presentation: ساعت 16 - تاریخ 1405/7/27

مکان ارائه: Place of presentation: اتاق سمینار کامپیوتر

چکیده: Abstract: تحلیل بیشینه زمان اجرای برنامه (WCET) یکی از مؤلفه‌های مهم در ارزیابی سیستم‌های بی‌درنگ و نهفته است و نیازمند شناخت دقیق مسیرهای اجرایی و ساختار جریان کنترل برنامه است. گراف جریان کنترل (CFG) یکی از ساختارهای اصلی مورد استفاده در این تحلیل است، اما در برخی موارد، به‌ویژه در صورت نبود کد منبع یا تفاوت ساختار کد منبع و فایل اجرایی، لازم است CFG از روی فایل اجرایی بازسازی شود. بازسازی CFG به دلیل وجود دستورهای انتقال کنترل، به‌خصوص انشعاب‌های غیرمستقیم، و همچنین وابستگی آن به ویژگی‌های معماری هدف، چالش‌برانگیز است. در این مقاله، یک رویکرد ترکیبی برای بازسازیCFG فایل‌های اجرایی در معماری AArch64 ارائه می‌شود که تحلیل ایستای کد ماشین را با اطلاعات حاصل از اجرای برنامه ترکیب می‌کند. در این رویکرد، ابزار افرا فایل‌های کد منبع C را برای معماری AArch64 کامپایل کرده و با استفاده از اطلاعات استخراج‌شده از کد اسمبلی و ردگیری های اجرای برنامه، بلاک‌های پایه و روابط جریان کنترل را شناسایی می‌کند. در نهایت، CFG برنامه بر اساس اطلاعات ایستا و پویا بازسازی شده و به‌عنوان یکی از ورودی‌های مراحل بعدی تحلیل WCET مورد استفاده قرار می‌گیرد. عملکرد روش پیشنهادی با ارزیابی پارامترهای مرتبط با فرایند بازسازی CFG بررسی می‌شود. نتایج این ارزیابی، قابلیت رویکرد ارائه‌شده را در بازسازی CFG برای فایل‌های اجرایی AArch64 و فراهم‌کردن ساختار جریان کنترل مورد نیاز برای تحلیل WCET نشان می‌دهد.