commit 483d1dde46c1cf5bd1afe67d74f96fd505cc0538
parent 0eb4ded2937570066d7a5c97b6dea929372e76df
Author: Ivan Gankevich <igankevich@ya.ru>
Date: Thu, 16 Feb 2017 11:27:25 +0300
Fix a type in the command.
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/body.tex b/src/body.tex
@@ -24,7 +24,7 @@ prevent race conditions (for different parent kernels different threads may be
used).
Pipelines implement asynchronous calls to act and react, and try to make as
-many parallel calls as possible considering concurrency of the platform (no. of
+many parallel calls as possible considering concurrency of the platform (no.~of
cores per node and no. of nodes in a cluster). A pipeline consists of a kernel
pool, which contains all the subordinate kernels sent by their parents, and a
thread pool that processes kernels in accordance with rules outlined in the
@@ -68,7 +68,7 @@ leader election algorithm that does not require periodic broadcasting of
messages, and the role is derived from node's IP address. Detailed explanation
of the algorithm is provided in [hpcs-2015-paper].
-\subseciton{Fault tolerance and high availability}
+\subsection{Fault tolerance and high availability}
The scheduler has fault tolerance and high availability built into its
low-level core API. Every failed kernel is restarted on healthy node or on its
