ФОРМАЛЬНЫЙ КРИТЕРИЙ ВЫБОРА ОПТИМАЛЬНОЙ МЕТОДИКИ ДИНАМИЧЕСКОГО УПРАВЛЕНИЯ ПАМЯТЬЮ НА ОСНОВЕ АНАЛИЗА ХАРАКТЕРИСТИК ПРИКЛАДНОГО ПРОГРА

摘要

Предложен формальный способ количественной оценки эффективности методики управления динамической памятью в зависимости от особенностей поведения прикладного программного обеспечения. Этим способом исследованы некоторые популярные методики. Сформулирован критерий для автоматического выбора методики для применения на конкретной аппаратной платформе.