О моделировании и оценке качества программ с пересекающимися локальностями

Исследуются модели поведения программ, в которых локальности могут пересекаться и существуют участки нелокального поведения. Выводятся приближенные формулы для важнейших характеристик таких программ — стационарного распределения размера рабочего комплекта и стационарной частоты страничных сбоев.