Показати скорочений опис матеріалу
dc.contributor.author | Литвинов, В. В. | |
dc.contributor.author | Казимир, В. В. | |
dc.contributor.author | Гавсієвич, І. Б. | |
dc.date.accessioned | 2015-09-26T14:04:19Z | |
dc.date.available | 2015-09-26T14:04:19Z | |
dc.date.issued | 2005 | |
dc.identifier.issn | № 4 Математичні машини і системи | |
dc.identifier.uri | http://ir.stu.cn.ua/123456789/5384 | |
dc.description | Литвинов, В. В. Алгоритм паралельного виконання та синхронізації Е-мережі / В. В. Литвинов, В. В. Казимир, І. Б. Гавсієвич // Математичні машини і системи. - 2005. - № 4. - С. 72-83. | en_US |
dc.description.abstract | В статті розглядаються принципи паралельного виконання Е-мережевих імітаційних моделей на основі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок в межах консервативного підходу з застосуванням методу запобігання взаємних блокувань на базі NULL- повідомлень. Для досягнення поставленої мети формалізовано алгоритми роботи Е-мережевого переходу та планувальника при традиційному послідовному моделюванні, виділено паралельні процеси переходів і планувальника, а також розроблено їхній формальний опис за допомогою процесної алгебри CSP Т. Хоара. The paper is devoted to theoretical and practical problems of performing E-nets imitation models with using conservative approach. The E-nets transition’s algorithm and sequential scheduler’s algorithm were formalized. The parallel processes of transitions and scheduler were marked out and described on Hoare’s CSP language. : В статье рассматриваются принципы параллельного выполнения Е-сетевых имитационных моделей на основе процессо-ориентированной парадигмы и построения алгоритма синхронизации параллельных участков в рамках консервативного подхода с применением метода предотвращения взаимных блокировок на базе NULL-сообщений. Для достижения поставленной цели формализовано алгоритм работы Е-сетевого перехода и планировщика при традиционном последовательном моделировании, выделены параллельные процессы переходов и планировщика, а также разработано их формальное описание с помощью процессной алгебры CSP Т. Хоара. | en_US |
dc.language.iso | uk | en_US |
dc.relation.ispartofseries | науковий журнал;№ 4 | |
dc.subject | distributed simulation | en_US |
dc.subject | parallel program synchronization | en_US |
dc.subject | E-nets | en_US |
dc.subject | conservative approach | en_US |
dc.subject | CSP | en_US |
dc.subject | розподілене імітаційне моделювання | en_US |
dc.subject | синхронізація паралельних програм | en_US |
dc.subject | Е-мережі | en_US |
dc.subject | консервативна схема | en_US |
dc.subject | распределенное имитационное моделирование | en_US |
dc.subject | синхронизация параллельных программ | en_US |
dc.subject | Е-сети | en_US |
dc.subject | консервативная схема | en_US |
dc.title | Алгоритм паралельного виконання та синхронізації Е-мережі | en_US |
dc.type | Article | en_US |