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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2005
Автори:	Литвинов, В.В., Казимир, В.В., Гавсієвич, І.Б.
Формат:	Стаття
Мова:	Ukrainian
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2005
Назва видання:	Математичні машини і системи
Теми:	Моделювання і управління великими системами
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/58468
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Алгоритм паралельного виконання та синхронізації Е-мережі / В.В. Литвинов, В.В. Казимир, І.Б. Гавсієвич // Мат. машини і системи. — 2005. — № 4. — С. 72-83. — Бібліогр.: 9 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-58468
record_format	dspace
spelling	irk-123456789-584682014-04-05T10:18:19Z Алгоритм паралельного виконання та синхронізації Е-мережі Литвинов, В.В. Казимир, В.В. Гавсієвич, І.Б. Моделювання і управління великими системами В статті розглядаються принципи паралельного виконання Е-мережевих імітаційних моделей на основі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок в межах консервативного підходу з застосуванням методу запобігання взаємних блокувань на базі NULL- повідомлень. Для досягнення поставленої мети формалізовано алгоритми роботи Е-мережевого переходу та планувальника при традиційному послідовному моделюванні, виділено паралельні процеси переходів і планувальника, а також розроблено їхній формальний опис за допомогою процесної алгебри CSP Т. Хоара. В статье рассматриваются принципы параллельного выполнения Е-сетевых имитационных моделей на основе процессо-ориентированной парадигмы и построения алгоритма синхронизации параллельных участков в рамках консервативного подхода с применением метода предотвращения взаимных блокировок на базе 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. 2005 Article Алгоритм паралельного виконання та синхронізації Е-мережі / В.В. Литвинов, В.В. Казимир, І.Б. Гавсієвич // Мат. машини і системи. — 2005. — № 4. — С. 72-83. — Бібліогр.: 9 назв. — укр. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/58468 681.3.06, 519.8 uk Математичні машини і системи Інститут проблем математичних машин і систем НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Ukrainian
topic	Моделювання і управління великими системами Моделювання і управління великими системами
spellingShingle	Моделювання і управління великими системами Моделювання і управління великими системами Литвинов, В.В. Казимир, В.В. Гавсієвич, І.Б. Алгоритм паралельного виконання та синхронізації Е-мережі Математичні машини і системи
description	В статті розглядаються принципи паралельного виконання Е-мережевих імітаційних моделей на основі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок в межах консервативного підходу з застосуванням методу запобігання взаємних блокувань на базі NULL- повідомлень. Для досягнення поставленої мети формалізовано алгоритми роботи Е-мережевого переходу та планувальника при традиційному послідовному моделюванні, виділено паралельні процеси переходів і планувальника, а також розроблено їхній формальний опис за допомогою процесної алгебри CSP Т. Хоара.
format	Article
author	Литвинов, В.В. Казимир, В.В. Гавсієвич, І.Б.
author_facet	Литвинов, В.В. Казимир, В.В. Гавсієвич, І.Б.
author_sort	Литвинов, В.В.
title	Алгоритм паралельного виконання та синхронізації Е-мережі
title_short	Алгоритм паралельного виконання та синхронізації Е-мережі
title_full	Алгоритм паралельного виконання та синхронізації Е-мережі
title_fullStr	Алгоритм паралельного виконання та синхронізації Е-мережі
title_full_unstemmed	Алгоритм паралельного виконання та синхронізації Е-мережі
title_sort	алгоритм паралельного виконання та синхронізації е-мережі
publisher	Інститут проблем математичних машин і систем НАН України
publishDate	2005
topic_facet	Моделювання і управління великими системами
url	http://dspace.nbuv.gov.ua/handle/123456789/58468
citation_txt	Алгоритм паралельного виконання та синхронізації Е-мережі / В.В. Литвинов, В.В. Казимир, І.Б. Гавсієвич // Мат. машини і системи. — 2005. — № 4. — С. 72-83. — Бібліогр.: 9 назв. — укр.
series	Математичні машини і системи
work_keys_str_mv	AT litvinovvv algoritmparalelʹnogovikonannâtasinhronízacííemereží AT kazimirvv algoritmparalelʹnogovikonannâtasinhronízacííemereží AT gavsíêvičíb algoritmparalelʹnogovikonannâtasinhronízacííemereží
first_indexed	2023-10-18T18:32:13Z
last_indexed	2023-10-18T18:32:13Z
_version_	1796144476824010752

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

Репозитарії

Схожі ресурси