Эта непротиворечивость.

18/4/2017
Вот код двух условных процессов, разделяющих условные общие ресурсы x и y, инициализированные по умолчанию нулями:

P1:
х = 1;
if (у == 0) kill (P2);

P2:
y = 1;
if (x == 0) kill (P1);

Если два процесса связаны соглашением о FIFO-непротиворечивости, то они имеют шанс оба быть убитыми. Вот такая вот загогулина - эти распределённые системы. Правда ведь, интересно?)

Оставить комментарий

Емейл не публикуется. Обязательные поля помечены символом *