Статическая блокировка определяется тем, что все взаимодействующие объекты неопределенно долго остаются в каких-либо состояниях, переходы ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Зайцев С.С. Описание реализации протоколов сетей ЭВМ


Статическая блокировка определяется тем, что все взаимодействующие объекты неопределенно долго остаются в каких-либо состояниях, переходы из которых для данного состояния всей системы невозможны. При этом часть объектов может уже достигнуть конечных состояний, но если хотя бы один из них не в конечном, то возникает статическая блокировка. Такая ситуация возникает, если в данный момент не происходит ни одной передачи, а все объекты, не находящиеся в конечных состояниях, ожидают входных сигналов.

(cкачать страницу)

Смотреть книгу на libgen

Статическая блокировка определяется тем,  что все взаимодействующие объекты неопределенно долго остаются в каких-либо состояниях,  переходы из которых для данного состояния всей системы невозможны.  При этом часть объектов может уже достигнуть конечных состояний,  но если хотя бы один из них не в конечном,  то возникает статическая блокировка.  Такая ситуация возникает,  если в данный момент не происходит ни одной передачи,  а все объекты,  не находящиеся в конечных состояниях,  ожидают входных сигналов.