Cтраница 1
Статическая блокировка определяется тем, что все взаимодействующие объекты неопределенно долго остаются в каких-либо состояниях, переходы из которых для данного состояния всей системы невозможны. При этом часть объектов может уже достигнуть конечных состояний, но если хотя бы один из них не в конечном, то возникает статическая блокировка. Такая ситуация возникает, если в данный момент не происходит ни одной передачи, а все объекты, не находящиеся в конечных состояниях, ожидают входных сигналов. [1]
Как видно из краткого перечня, все ошибки, за исключением, пожалуй, статической блокировки, требуют активного вмешательства в процесс анализа самого разработчика, которому в свою очередь требуется хорошая диалоговая система, позволяющая в различных режимах получать достаточно информации для анализа. Роль такой системы в ИК Архитектор играет ВЕРСИЯ. [2]
Статическая блокировка определяется тем, что все взаимодействующие объекты неопределенно долго остаются в каких-либо состояниях, переходы из которых для данного состояния всей системы невозможны. При этом часть объектов может уже достигнуть конечных состояний, но если хотя бы один из них не в конечном, то возникает статическая блокировка. Такая ситуация возникает, если в данный момент не происходит ни одной передачи, а все объекты, не находящиеся в конечных состояниях, ожидают входных сигналов. [3]
Допустим, что автоматы находятся в программно-аппаратных средах, рестарт которых вызывает возврат автоматов в начальные состояния и обнуление событий в каналах. Тогда рестарт на стороне базы данных в случае, если система находится в глобальном состоянии В, приведет к статической блокировке, а рестарт на стороне пользователя - к непредусмотренному приему. Оба эти случая показаны на рис. 5.22 и указывают на нарушение свойства самосинхронизуемости. [4]