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

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

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Математичні машини і системи
Datum:2005
Hauptverfasser: Литвинов, В.В., Казимир, В.В., Гавсієвич, І.Б.
Format: Artikel
Sprache:Ukrainian
Veröffentlicht: Інститут проблем математичних машин і систем НАН України 2005
Schlagworte:
Моделювання і управління великими системами
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/58468
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Алгоритм паралельного виконання та синхронізації Е-мережі / В.В. Литвинов, В.В. Казимир, І.Б. Гавсієвич // Мат. машини і системи. — 2005. — № 4. — С. 72-83. — Бібліогр.: 9 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-58468
record_format dspace
spelling Литвинов, В.В.
Казимир, В.В.
Гавсієвич, І.Б.
2014-03-24T13:21:38Z
2014-03-24T13:21:38Z
2005
Алгоритм паралельного виконання та синхронізації Е-мережі / В.В. Литвинов, В.В. Казимир, І.Б. Гавсієвич // Мат. машини і системи. — 2005. — № 4. — С. 72-83. — Бібліогр.: 9 назв. — укр.
1028-9763
https://nasplib.isofts.kiev.ua/handle/123456789/58468
681.3.06, 519.8
В статті розглядаються принципи паралельного виконання Е-мережевих імітаційних моделей на основі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок в межах консервативного підходу з застосуванням методу запобігання взаємних блокувань на базі 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.
uk
Інститут проблем математичних машин і систем НАН України
Математичні машини і системи
Моделювання і управління великими системами
Алгоритм паралельного виконання та синхронізації Е-мережі
Алгоритм параллельного выполнения и синхронизации Е-сети
The algorithm of E-nets’ parallel execution and synchronization
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Алгоритм паралельного виконання та синхронізації Е-мережі
spellingShingle Алгоритм паралельного виконання та синхронізації Е-мережі
Литвинов, В.В.
Казимир, В.В.
Гавсієвич, І.Б.
Моделювання і управління великими системами
title_short Алгоритм паралельного виконання та синхронізації Е-мережі
title_full Алгоритм паралельного виконання та синхронізації Е-мережі
title_fullStr Алгоритм паралельного виконання та синхронізації Е-мережі
title_full_unstemmed Алгоритм паралельного виконання та синхронізації Е-мережі
title_sort алгоритм паралельного виконання та синхронізації е-мережі
author Литвинов, В.В.
Казимир, В.В.
Гавсієвич, І.Б.
author_facet Литвинов, В.В.
Казимир, В.В.
Гавсієвич, І.Б.
topic Моделювання і управління великими системами
topic_facet Моделювання і управління великими системами
publishDate 2005
language Ukrainian
container_title Математичні машини і системи
publisher Інститут проблем математичних машин і систем НАН України
format Article
title_alt Алгоритм параллельного выполнения и синхронизации Е-сети
The algorithm of E-nets’ parallel execution and synchronization
description В статті розглядаються принципи паралельного виконання Е-мережевих імітаційних моделей на основі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок в межах консервативного підходу з застосуванням методу запобігання взаємних блокувань на базі 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.
issn 1028-9763
url https://nasplib.isofts.kiev.ua/handle/123456789/58468
citation_txt Алгоритм паралельного виконання та синхронізації Е-мережі / В.В. Литвинов, В.В. Казимир, І.Б. Гавсієвич // Мат. машини і системи. — 2005. — № 4. — С. 72-83. — Бібліогр.: 9 назв. — укр.
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ží
AT litvinovvv algoritmparallelʹnogovypolneniâisinhronizaciieseti
AT kazimirvv algoritmparallelʹnogovypolneniâisinhronizaciieseti
AT gavsíêvičíb algoritmparallelʹnogovypolneniâisinhronizaciieseti
AT litvinovvv thealgorithmofenetsparallelexecutionandsynchronization
AT kazimirvv thealgorithmofenetsparallelexecutionandsynchronization
AT gavsíêvičíb thealgorithmofenetsparallelexecutionandsynchronization
first_indexed 2025-11-27T13:46:14Z
last_indexed 2025-11-27T13:46:14Z
_version_ 1850852433381556224

Ähnliche Einträge