Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://ir.stu.cn.ua/123456789/5384
Назва: | Алгоритм паралельного виконання та синхронізації Е-мережі |
Автори: | Литвинов, В. В. Казимир, В. В. Гавсієвич, І. Б. |
Ключові слова: | distributed simulation parallel program synchronization E-nets conservative approach CSP розподілене імітаційне моделювання синхронізація паралельних програм Е-мережі консервативна схема распределенное имитационное моделирование синхронизация параллельных программ Е-сети консервативная схема |
Дата публікації: | 2005 |
Серія/номер: | науковий журнал;№ 4 |
Короткий огляд (реферат): | В статті розглядаються принципи паралельного виконання Е-мережевих імітаційних моделей на основі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок в межах консервативного підходу з застосуванням методу запобігання взаємних блокувань на базі 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 Т. Хоара. |
Опис: | Литвинов, В. В. Алгоритм паралельного виконання та синхронізації Е-мережі / В. В. Литвинов, В. В. Казимир, І. Б. Гавсієвич // Математичні машини і системи. - 2005. - № 4. - С. 72-83. |
URI (Уніфікований ідентифікатор ресурсу): | http://ir.stu.cn.ua/123456789/5384 |
ISSN: | № 4 Математичні машини і системи |
Розташовується у зібраннях: | Литвинов В. В.: наукові статті |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
algoritm-paralelnogo-vikonannya-ta-sinhronizatsiyi-e-merezhi.pdf | стаття | 277,2 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.