Revised 3.5
This commit is contained in:
parent
ba02c6957a
commit
e099c26937
1 changed files with 25 additions and 22 deletions
47
report.lyx
47
report.lyx
|
@ -5846,24 +5846,12 @@ Techniques for ensuring reliability
|
||||||
|
|
||||||
\begin_layout Standard
|
\begin_layout Standard
|
||||||
One of the main goals of the project is to achieve high reliability.
|
One of the main goals of the project is to achieve high reliability.
|
||||||
The term
|
The term 'reliable system' is defined by the IEEE as
|
||||||
\begin_inset Quotes eld
|
\end_layout
|
||||||
\end_inset
|
|
||||||
|
|
||||||
reliable system
|
\begin_layout Quotation
|
||||||
\begin_inset Quotes erd
|
A system with the ability of a system or component to perform its required
|
||||||
\end_inset
|
functions under stated conditions for a specified period of time
|
||||||
|
|
||||||
is defined by the IEEE as a system with
|
|
||||||
\begin_inset Quotes eld
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
the ability of a system or component to perform its required functions under
|
|
||||||
stated conditions for a specified period of time
|
|
||||||
\begin_inset Quotes erd
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\begin_inset CommandInset citation
|
\begin_inset CommandInset citation
|
||||||
LatexCommand citet
|
LatexCommand citet
|
||||||
key "ieee_90"
|
key "ieee_90"
|
||||||
|
@ -5871,10 +5859,13 @@ key "ieee_90"
|
||||||
\end_inset
|
\end_inset
|
||||||
|
|
||||||
.
|
.
|
||||||
There are some tools for creating reliable applications built in to Erlang.
|
\end_layout
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
There are some tools for creating reliable applications built in to Erlang:
|
||||||
|
|
||||||
\begin_inset ERT
|
\begin_inset ERT
|
||||||
status open
|
status collapsed
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
\begin_layout Plain Layout
|
||||||
|
|
||||||
|
@ -5902,14 +5893,22 @@ E"}
|
||||||
\end_layout
|
\end_layout
|
||||||
|
|
||||||
\begin_layout Itemize
|
\begin_layout Itemize
|
||||||
Links between processes.
|
|
||||||
|
\series bold
|
||||||
|
Links between processes
|
||||||
|
\series default
|
||||||
|
.
|
||||||
When a process spawns a new child process, and the child process later
|
When a process spawns a new child process, and the child process later
|
||||||
exits, the parent process is notified of the exit.
|
exits, the parent process is notified of the exit.
|
||||||
|
|
||||||
\end_layout
|
\end_layout
|
||||||
|
|
||||||
\begin_layout Itemize
|
\begin_layout Itemize
|
||||||
Transparent distribution over a network of processors.
|
|
||||||
|
\series bold
|
||||||
|
Transparent distribution over a network of processors
|
||||||
|
\series default
|
||||||
|
.
|
||||||
When several nodes participate in a network, it does not matter on which
|
When several nodes participate in a network, it does not matter on which
|
||||||
of these machines a process is run.
|
of these machines a process is run.
|
||||||
Communication between processes does not depend on the node in which each
|
Communication between processes does not depend on the node in which each
|
||||||
|
@ -5918,7 +5917,11 @@ Transparent distribution over a network of processors.
|
||||||
\end_layout
|
\end_layout
|
||||||
|
|
||||||
\begin_layout Itemize
|
\begin_layout Itemize
|
||||||
Hot code replacements.
|
|
||||||
|
\series bold
|
||||||
|
Hot code replacements
|
||||||
|
\series default
|
||||||
|
.
|
||||||
Two versions of the same module can reside in the memory of Erlang at any
|
Two versions of the same module can reside in the memory of Erlang at any
|
||||||
time.
|
time.
|
||||||
This means that a simple swap between these versions can take place very
|
This means that a simple swap between these versions can take place very
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue