Технології збору, аналізу результатів розподіленого моделювання для оцінки протоколів синхронізації логічних процесів з метою їхньої оптимізації. Розробка алгоритму оптимального відображення цифрових систем на граф мережних моделюючих процесорів.
Аннотация к работе
Основні проблеми логічного моделювання включають високу складність організації обчислювальних мереж для розподіленого моделювання цифрових систем, високу складність і розмірність сучасних цифрових систем, для моделювання яких потрібна велика кількість обчислювальних і ємнісних ресурсів. Однак при моделюванні систем на декількох мережних процесорах виникає складна задача оптимального відображення цифрових систем на граф мережних моделюючих процесорів. Розроблені нові методи організації обчислювальної мережі для розподіленого логічного моделювання цифрових систем, які дозволяють прискорити рішення множини завдань моделювання за рахунок їхнього оптимального розташування на мережних моделюючих процесорах (МОДПР), розроблена обєктна модель протоколів синхронізації, що дозволяє змінювати протокол синхронізації без перезапуску МОДПР і запропонований новий спосіб організації списку подій (EVL), що прискорює вставку нових елементів за рахунок застосування дерева часових штампів. Для оптимального розташування множини завдань моделювання на мережних МОДПР у систему вводиться адміністратор процесу моделювання (АПМ), що управляє чергою завдань моделювання та їхнім розподілом по мережним МОДПР. , (1) де - математичне очікування ваги процесорів; - дисперсія ваг процесорів; - найбільше значення дисперсії ваг процесорів при заданій сумі ваг процесорів. змінюється від 0 у найкращому випадку (коли ваги всіх процесорів рівні між собою) до 1 у найгіршому випадку (коли всі елементи перебувають на одному процесорі).Запропоновано структуру мережних моделюючих процесорів, що дозволяє ввести централізовану чергу завдань моделювання для їх наступного оптимального розміщення на вільних моделюючих процесорах; 3) запропонована нова обєктна модель протоколів синхронізації логічних процесів при розподіленому логічному моделюванні, що дозволяє заміняти протоколи синхронізації без перезапуску моделюючих процесорів. Це дозволяє прискорити моделювання за рахунок використання оптимального протоколу синхронізації з набору наявних протоколів; 4) сформульовані нові критерії оптимальності та розроблений багатокритеріальний алгоритм для оптимального відображення цифрових систем, що моделюються, на граф мережних моделюючих процесорів. Запропонована система критеріїв, яка ураховує ступінь звязку, ступінь досяжності, наявність і розміри циклів у графі процесорів, на додаток до існуючих критеріїв оптимальності, які враховують розміри частин схеми й кількість каналів звязків між процесорами.