commit af573182ce764361fd3e57d073fc5411eeaa3fa7
parent 4c9d898cb213618e22b087d07c17ba16ae63488e
Author: Ivan Gankevich <igankevich@ya.ru>
Date: Wed, 15 Feb 2017 11:26:09 +0300
Sync p2.
Diffstat:
2 files changed, 16 insertions(+), 5 deletions(-)
diff --git a/phd-diss-ru.org b/phd-diss-ru.org
@@ -2976,6 +2976,15 @@ TODO translate
этом случае состояние текущего шага вычислений теряется полностью, и его можно
восстановить только перезапуском программы с начала.
+Управляющие объекты являются абстракциями, отделяющие распределенное приложение
+от физических устройств: для непрерывной работы программы не важно, сколько
+узлов кластера в данный момент работают. Управляющие объекты позволяют
+отказаться от выделения физического резервного узла для обеспечения устойчивости
+к выходу из строя руководящего узла: в рамках иерархии управляющих объектов
+любой физический узел (кроме руководящего) может выполнять роль резервного.
+Наконец, иерархия управляющих объектов позволяет обрабатывать сбои прозрачно для
+программиста, определяя порядок действий из внутреннего состояния объекта.
+
Проведенные эксперименты показывают, что параллельной программе необходимо
иметь несколько последовательных этапов выполнения, чтобы сделать ее устойчивой
к сбоям узлов. Несмотря на то что вероятность сбоя резервного узла меньше
diff --git a/phd-diss.org b/phd-diss.org
@@ -2888,11 +2888,13 @@ lost, and the only way to restore it is to restart the application from the
beginning.
Kernels are means of abstraction that decouple distributed application from
-physical hardware: it does not matter how many nodes are online for an
-application to run successfully. Kernels eliminate the need to allocate a
-physical backup node to make principal node highly-available, with kernel
-hierarchy approach any node can act as a backup one. Finally, kernels can handle
-subordinate node failures in a way that is transparent to a programmer.
+physical hardware: it does not matter how many cluster nodes are currently
+available for a programme to run without interruption. Kernels eliminate the
+need to allocate a physical backup node to tolerate principal node failures: in
+the framework of kernel hierarchy any physical node (except the principal one)
+can act as a backup one. Finally, kernels allow handling failures in a way that
+is transparent to a programmer, deriving the order of actions from the internal
+state of a kernel.
The disadvantage of this approach is evident: there is no way of making existing
middleware highly-available without rewriting their source code. Although, our
