Метод оценки частоты выполнения фрагментов кода последовательной программы
Abstract
The goal of this article is to consider the task of determining the execution frequency of program basic blocks. This task is important for such applications as program optimization, paralleling program execution, computing resources allocation, program compaction, and malicious software detection. A new method is proposed in the article for evaluation of basic block execution frequency based on the Monte Carlo method. The method proposed allows us to estimate a number of program runs to get the execution frequency with a given precision.
References
1. Smelianski R.L., Alanko T. On the calculation of control transition probabilities in a program Inform // Processing Letters. 1986. N.3.
2. Смелянский Р.Л., Гурьев Д.Е., Бахмуров А.Г. Об одной математической модели для расчета динамических характеристик программы // Программирование. 1986. N6.
3. Youfeng Wu, James R. Larus Static Branch Frequency and Program Profile Analysis // Proceedings of the 27th annual international symposium on Microarchitecture. 1994. P. 1-11.
4. Thomas Ball , James R. Larus Optimally profiling and tracing programs // ACM Transactions on Programming Languages and Systems (TOPLAS). 1994. P. 1319¬1360.
5. Скрипкин В.А., Моисеенко Е.А. Математические методы исследования опера¬ций в военном деле. М.: Военное издательство министерства обороны СССР, 1979.
6. Гнеденко Б.В. Курс теории вероятностей. 7-е изд. М.: УРСС, 2001. 448 с.
7. Korolev V., Shevtsova I. An improvement of the Berry-Esseen inequality with applications to Poisson and Mixed Poisson random sums // Scandinavian Actuarial Journal. 2010 (to appear).
8. Documentation for the LLVM System [HTML] (http://llvm.cs.uiuc.edu/docs/).
9. The GNU Compiler Collection [HTML] (http://gcc.gnu.org/).
10. Шалимов А.В. Метод компактного представления программ на основе частотных характеристик их поведения // Интеллектуализация обработки инфор¬мации: Тезисы докладов Международной научной конференции / Крымский научный центр НАН Украины. Симферополь, 2008.
Review
For citations:
Shalimov A. . Modeling and Analysis of Information Systems. 2010;17(2):122-132. (In Russ.)
Views:
420
Email this article 