Откатом называется возобновление исполнения процесса, начиная с последней (неустранённой оператором отсечения) точки выбора. Откат выполняется автоматически в случае неудачи какой-либо операции, осуществляемой в ходе исполнения предложения.
В результате отката программы осуществляется восстановление состояний акторов процесса, в котором произошёл откат, на момент прохождения последней (неустранённой оператором отсечения) точки выбора (в том числе отмена всех связываний и сцеплений переменных, произошедших в акторах с момента прохождения этой точки, отмена нейтрализации и повторных доказательств акторов, а также отмена всех изменений, внесённых в список задержанных подцелей).
В результате отката отменяются все прямые сообщения, подготовленные после прохождения последней неустранённой точки выбора для передачи из рассматриваемого процесса.
Ссылки: актор 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. СТРАТЕГИЯ УПРАВЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)