Алгоритм паралельного виконання та синхронізації Е-мережі

• Datum: 2005
• Hauptverfasser: Литвинов, В.В., Казимир, В.В., Гавсієвич, І.Б.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут проблем математичних машин і систем НАН України 2005
• Schriftenreihe: Математичні машини і системи
• Schlagworte: Моделювання і управління великими системами
• Online Zugang: http://dspace.nbuv.gov.ua/handle/123456789/58468
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Алгоритм паралельного виконання та синхронізації Е-мережі / В.В. Литвинов, В.В. Казимир, І.Б. Гавсієвич // Мат. машини і системи. — 2005. — № 4. — С. 72-83. — Бібліогр.: 9 назв. — укр.

В статті розглядаються принципи паралельного виконання Е-мережевих імітаційних моделей на основі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок в межах консервативного підходу з застосуванням методу запобігання взаємних блокувань на базі NULL- повідомлень. Для досягнення поставленої мети формалізовано алгоритми роботи Е-мережевого переходу та планувальника при традиційному послідовному моделюванні, виділено паралельні процеси переходів і планувальника, а також розроблено їхній формальний опис за допомогою процесної алгебри CSP Т. Хоара.