Automatyczna ekstrakcja zale?no?ci i transformacje p?tli w j?zyku C do przekszta?ceń optymalizuj?cych w systemach osadzonych

摘要

W poni?szym artykule zaprezentowano metody wyszukiwania p?tli programowych i zale?no?ci mi?dzy ich iteracjami. Analiza zale?no?ci pozwala na okre?lenie, które fragmenty analizowanego kodu programu mog? zosta? wykonane niezale?nie. Przedstawiono analiz? programów w ANSI C, ze wskazaniem mo?liwo?ci wykorzystania wyników analizy do zmniejszenia u?ycia zasobów w systemach osadzonych. Zautomatyzowanie analizy pozwala okre?li? klasy algorytmów i ich implementacje, które mog? by? optymalizowane, oraz charakter tych optymalizacji.