Розроблено теоретичні та практичні основи побудови розподілених систем імітаційного моделювання на базі вдосконалення формального апарату Е-мереж за рахунок застосування додаткових механізмів синхронізації. Описано алгоритми роботи Е-мережевого переходу та планувальника подій у термінах алгебри взаємодіючих послідовно-паралельних процесів. Теоретично обгрунтовано положення про неефективність використання алгоритму класичного послідовного планування подій в Е-мережах за умов розподіленого моделювання. Розглянуто метод синхронізації паралельного виконання Е-мережевих переходів, що використовує NULL-повідомлення для запобігання взаємних блокувань. Проаналізовано розподілену систему імітаційного моделювання багатопроцесорних комп'ютерів, мереж персональних комп'ютерів, MPI-кластерів на основі механізмів підтримки напівнатурного моделювання, технології зберігання Е-мережевих моделей і графічного інтерфейсу користувача. Експериментально досліджено властивості даної системи, доведено достовірність результатів за моделями систем масового обслуговування, оцінено продуктивність системи в різних розподілених середовищах.

  Скачати повний текст