Результаты (
русский) 2:
[копия]Скопировано!
На рисунке 14.6, три процесса P, Q и R общаются друг с другом с помощью передачи сообщений. Пусть каждый процесс спонтанно записать три контрольно - пропускных пунктов в случае возможного rollback- они выделены жирным кругами. Предположим теперь, что процесс R не удалось после передачи последнего сообщения M7. Таким образом , ее состояние будет откат к r2. Так как отправка сообщения по R является nulli- Fied, его прием m7 на Q также должны быть аннулированы, а состояние Q будет откатить к q2.
Это позволит свести на нет отправку последнего сообщения М5 от Q до P, и , следовательно, состояние P имеет откат к p2.
переводится, пожалуйста, подождите..
