АЛГОРИТМЫ ВЫЧИСЛЕНИЯ ПРЕДИКАТОВ НА МНОЖЕСТВЕ ГЛОБАЛЬНЫХ СОСТОЯНИЙ В СИСТЕМАХ ОТЛАДКИ РАСПРЕДЕЛЕННЫХ ПРИЛОЖЕНИЙ
Жарияланған күні
21.12.2020
Баспа
Федеральное государственное бюджетное образовательное учреждение высшего образования «Пензенский государственный технологический университет»
Басылым атауы
XXI век: итоги прошлого и проблемы настоящего плюс, № 4(52) 21.12.2020
DOI
10.46548/21vek-2020-0951-0002
Автор(лар)
Перекусихина Альбина Николаевна - Пензенский государственный университет архитектуры и строительства
Прошин Иван Александрович - АО «Бэлл интегратор»
Мартышкин Алексей Иванович - Пензенский государственный технологический университет
Истомина Татьяна Викторовна - Пензенский государственный технологический университет
Аннотация(лар)
Предлагаемая статья посвящена исследованию алгоритмов вычисления предикатов на множестве глобальных состояний в системах отладки распределенных приложений. Важнейшей задачей при отладке приложения является проверка выполнения заданного предиката на множестве переменных, характеризующих состояние этого приложения. Для распределенных систем это является проблемой, так как для них характерна неопределенность в оценке текущего глобального состояния выполнения. Хотя данная проблема хорошо изучена и разработаны алгоритмы ее эффективного разрешения, остается неосвещенным ряд вопросов, связанных с разработкой алгоритмов и программы, способных работать с уже существующими средствами для отладки распределенных систем и при этом не требующих внесения существенных изменений в архитектуру и реализацию таких решений. Настоящая статья посвящена разработке алгоритмов для последующей их реализации в программе, позволяющей проверить выполнимость предикатов, заданных пользователем, основываясь на протоколе событий выполнения распределенной системы. Рассмотрены алгоритмы вычисления выполнимости предиката с модальностью «возможно» и с модальностью «определенно» на множестве глобальных состояний Рассматриваются базовые теоретические вопросы, связанные с распределенными системами, описываются проблемы, приводятся некоторые варианты их решения. В заключение представлены основные выводы по проведенным исследованиям.
Мақаланың толық мәтіні
| 15-19.pdf |
|---|