6.3.4. ОТКАТ ПРОГРАММЫ

Откатом называется возобновление исполнения процесса, начиная с последней (неустраненной оператором отсечения) точки выбора. Откат выполняется автоматически в случае неудачи какой-либо операции, осуществляемой в ходе исполнения предложения.

В результате отката программы осуществляется восстановление состояний акторов процесса, в котором произошел откат, на момент прохождения последней (неустраненной оператором отсечения) точки выбора (в том числе отмена всех связываний и сцеплений переменных, произошедших в акторах с момента прохождения этой точки, отмена нейтрализации и повторных доказательств акторов, а также отмена всех изменений, внесенных в список задержанных подцелей).

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

Ссылки: актор 7.1, исполнение предложения 6.3.2, исполнение процесса 5.2, нейтрализация актора 7.1, отсечение 8, передача прямого сообщения 7.4.2, переменная 2.1.1, повторные доказательства 7.1, предложение 6, программа 4, процесс 5.2, прямые сообщения 7.4.2, связывание 3.3, состояние актора 7.1, список задержанных подцелей 6.3.2, сцепление переменных 3.3.


Следующий: 7. АКТОРЫ И ПОВТОРНЫЕ ДОКАЗАТЕЛЬСТВА
Предыдущий: 6.3.3. МЕХАНИЗМ ЗАДЕРЖКИ ИСПОЛНЕНИЯ


6.3. СТРАТЕГИЯ УПРАВЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)