Code Optimization Techniques for Embedded Processors: Methods, Algorithms, and Tools

بلوک‌های سازنده سیستم‌های تعبیه‌شده امروزی و آینده، اجزا یا هسته‌های پیچیده مالکیت معنوی هستند که بسیاری از آنها پردازنده‌های قابل برنامه‌ریزی هستند. به طور سنتی، این پردازنده های تعبیه شده عمدتاً به دلایل کارایی به زبان های اسمبلی برنامه ریزی شده اند. این به معنای برنامه نویسی وقت گیر، اشکال زدایی گسترده و قابلیت حمل کد کم است. الزامات زمان کوتاه و قابل اعتماد بودن سیستم های جاسازی شده بدیهی است که با استفاده از کامپایلرهای زبان سطح بالا (به عنوان مثال C) به جای اسمبلی، بسیار بهتر برآورده می شود. با این حال، استفاده از کامپایلرهای C در مقایسه با برنامه های اسمبلی نوشته شده به صورت دستی، غالباً دارای سربار کیفیت کد است. به دلیل نیاز به سیستم های جاسازی شده کارآمد، این سربار باید بسیار کم باشد تا کامپایلرها در عمل مفید باشند. به نوبه خود، این نیاز به تکنیک‌های کامپایلر جدیدی دارد که محدودیت‌های خاص در سیستم نشانه‌گذاری تعبیه‌شده را در نظر بگیرد. به عنوان مثال، معماری‌های تخصصی DSP و پردازنده‌های چندرسانه‌ای اخیر هستند که هنوز به اندازه کافی توسط کامپایلرهای موجود مورد استفاده قرار نگرفته‌اند.

The building blocks of today's and future embedded systems are complex intellectual property components, or cores, many of which are programmable processors. Traditionally, these embedded processors mostly have been pro­ grammed in assembly languages due to efficiency reasons. This implies time­ consuming programming, extensive debugging, and low code portability. The requirements of short time-to-market and dependability of embedded systems are obviously much better met by using high-level language (e.g. C) compil­ ers instead of assembly. However, the use of C compilers frequently incurs a code quality overhead as compared to manually written assembly programs. Due to the need for efficient embedded systems, this overhead must be very low in order to make compilers useful in practice. In turn, this requires new compiler techniques that take the specific constraints in embedded system de­ sign into account. An example are the specialized architectures of recent DSP and multimedia processors, which are not yet sufficiently exploited by existing compilers.