|
Известия Кабардино-Балкарского научного центра РАН, 2010, выпуск 3, страницы 143–148
(Mi izkab656)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
ИНФОРМАТИКА
Алгоритм банкира и мертвые точки
Ю. М. Бишенов Институт информатики и проблем регионального управления КБНЦ РАН, 360000, г. Нальчик, ул. И. Арманд, 37-а
Аннотация:
В работе разработан алгоритм распределения идентичных ресурсов (в том числе и финансовых), учитывающий семантику модальной логики, выраженной в клеточном автомате переходов состояний. Полученное явное условие безопасности и устойчивости к системным блокировкам точно определяет стратегию предотвращения опасных состояний в
поведении системы.
Ключевые слова:
сцепление, мертвая точка, блокировка, тупик, повторно используемые
ресурсы, алгоритм предотвращения мертвых точек.
Поступила в редакцию: 17.05.2010
Образец цитирования:
Ю. М. Бишенов, “Алгоритм банкира и мертвые точки”, Известия Кабардино-Балкарского научного центра РАН, 2010, № 3, 143–148
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/izkab656 https://www.mathnet.ru/rus/izkab/y2010/i3/p143
|
Статистика просмотров: |
Страница аннотации: | 45 | PDF полного текста: | 20 | Список литературы: | 20 |
|