Анализ производительности многопроцессорных систем на основе инвариантности поведения программ диссертация