commit 703987c7ddb63e1cd7abcefe5d726eef87f6bf8f
parent b0713f9e698d5d81403ae1a2f75db789df4eef26
Author: Ivan Gankevich <igankevich@ya.ru>
Date: Wed, 15 Feb 2017 12:30:47 +0300
Sync the final paragraph.
Diffstat:
2 files changed, 22 insertions(+), 20 deletions(-)
diff --git a/phd-diss-ru.org b/phd-diss-ru.org
@@ -3020,16 +3020,18 @@ TODO translate
подход эффективнее контрольных точек восстановления.
Слабым местом описанных методов является период времени, начиная с отказа
-главного узла и заканчивая обнаружением сбоя подчиненным узлом. Если до момента
-восстановления главного объекта из копии резервный узел выходит из строя, то
-состояние выполнения программы полностью теряется без возможности его
-восстановить, кроме как перезапуском с самого начала. Длина этого опасного
-промежутка времени может быть уменьшена, но исключить его полностью невозможно.
-Этот результат согласуется с исследованиями теории "невыполнимости" в рамках
-которой доказывается невозможность распределенного консенсуса с хотя бы одним
-процессом, дающим сбой\nbsp{}cite:fischer1985impossibility и невозможность
-надежной передачи данных в случае сбоя одного из
-узлов\nbsp{}cite:fekete1993impossibility.
+руководящего узла и заканчивая обнаружением сбоя подчиненным узлом,
+восстановлением главного объекта из копии и получением нового подчиненного
+объекта вместе с копией его родителя подчиненным узлом. Если в любой момент
+времени из этого периода резервный узел выходит из строя, то состояние
+выполнения программы полностью теряется без возможности его восстановить, кроме
+как перезапуском с самого начала. Протяженность этого опасного промежутка
+времени может быть минимизирована, но полностью исключить вероятность внезапного
+завершения программы невозможно. Этот результат согласуется с исследованиями
+/теории невыполнимости/ в рамках которой доказывается невозможность
+распределенного консенсуса с хотя бы одним процессом, дающим
+сбой\nbsp{}cite:fischer1985impossibility и невозможность надежной передачи
+данных в случае сбоя одного из узлов\nbsp{}cite:fekete1993impossibility.
* Заключение
**** Итоги исследования.
diff --git a/phd-diss.org b/phd-diss.org
@@ -2926,16 +2926,16 @@ practical, because it would require saving the state of a parallel programme
which equals to the total amount of memory it occupies on each cluster node,
which in turn would not make it more efficient than checkpoints.
-The weak point of the proposed technology is the length of the period of time
-starting from a failure of principal node up to the moment when the failure is
-detected, the first kernel is restored and new subordinate kernel with the
-parent's copy is received by a subordinate node. If during this period of time
-backup node fails, execution state of application is completely lost, and there
-is no way to recover it other than fully restarting the application. The length
-of the dangerous period can be minimised but the possibility of a abrupt
-programme stop can not be fully eliminated. This result is consistent with the
-scrutiny of "impossibility theory", in the framework of which it is proved the
-impossibility of the distributed consensus with one faulty
+The weak point of the proposed algorithm is the period of time starting from a
+failure of principal node up to the moment when the failure is detected, the
+main kernel is restored and new subordinate kernel with the parent's copy is
+received by a subordinate node. If at any time during this period backup node
+fails, execution state of a programme is completely lost, and there is no way to
+recover it other than restarting the programme from the beginning. The duration
+of the dangerous period can be minimised, but the probability of an abrupt
+programme termination can not be fully eliminated. This result is consistent
+with the scrutiny of /impossibility theory/, in the framework of which it is
+proved the impossibility of the distributed consensus with one faulty
process\nbsp{}cite:fischer1985impossibility and impossibility of reliable
communication in the presence of node
failures\nbsp{}cite:fekete1993impossibility.
