АРХІТЕКТУРА ЕКСПЕРТНОЇ СИСТЕМИ ДЛЯ АНАЛІЗУ ЗНІМКІВ ПАМ’ЯТІ

Анотація

Запропоновано архітектуру експертної системи на основі правил, що призначена для аналізу знімків пам’яті програмних додатків з метою виявлення і усунення не-ефективного використання пам’яті. Система використовує продукційні правила, що ґрунтуються на знаннях про типи об’єктів та їхні властивості (зокрема, незмінність), статистику алокацій та розподіл об’єктів у пам’яті. Розроблено формальну модель представлення знімку пам’яті як сукупності об’єктів з певними атрибутами, введено критерії виявлення дублікатів незмінної інформації та надлишкового резервування пам’яті. Описано механізми групування об’єктів за типами і значеннями для діагно-стики дублювання даних, а також методи визначення неефективних алокацій, зокре-ма, надмірного розміру структур даних відносно їх корисного вмісту). Система генерує рекомендації у вигляді інструкцій щодо оптимізації коду, а саме впровадження кешування або пулів об’єктів, перерозподіл структури даних тощо. В системі здійснюється оцінювання очікуваного виграшу в пам’яті. Наведено математичні фор-малізації для опису вхідних даних, операцій групування, фільтрації та порівняння об’єктів.