《フォールトトレランス》 - 版の履歴

2007年9月3日 (月) 10:01にOrsjwikiによる

2007-09-03T10:01:07Z

2007年8月7日 (火) 07:26にKuwashimaによる

2007-08-07T07:26:26Z

Orsjwiki: "《フォールトトレランス》" を保護しました。 [edit=sysop:move=sysop]

2007-07-19T14:03:06Z

"《フォールトトレランス》" を保護しました。 [edit=sysop:move=sysop]

2007年7月13日 (金) 01:30に122.17.2.240による

2007-07-13T01:30:21Z

2007年7月13日 (金) 01:29に122.17.2.240による

2007-07-13T01:29:17Z

2007年7月12日 (木) 09:03に122.17.2.240による

2007-07-12T09:03:17Z

2007年7月9日 (月) 13:17に122.17.2.240による

2007-07-09T13:17:46Z

122.17.2.240: 新しいページ: ''''【ふぉーるととれらんす (fault tolerance) 】''' 　高信頼化システムを実現するための伝統的な手法のひとつは, システムを構成する...'

2007-07-09T13:16:32Z

新しいページ: ''''【ふぉーるととれらんす (fault tolerance) 】''' 　高信頼化システムを実現するための伝統的な手法のひとつは, システムを構成する...'

新規ページ

'''【ふぉーるととれらんす (fault tolerance) 】'''

　高信頼化システムを実現するための伝統的な手法のひとつは, システムを構成する個々の要素の信頼性を向上させることであり, これは[[フォールトアボイダンス]] (fault~avoidance) とよばれる. 一方, いかに構成要素の信頼性が高くとも, 故障は本質的に避けられないものであるという前提に立ち, それらの要素またはシステムに, 故障に耐え得るような特性を持たせようとする手法が研究されてきた. この高信頼化手法が[[フォールトトレランス]] (fault tolerance) である. 本項では, フォールトトレランスの概念とその実現手法について述べる.

　故障が発生しても, システムの機能に全く支障をきたさないことが, 理想的なフォールトトレランスの特性であるが, 機能の低下をシステムのある範囲だけに留める{フェイルソフト} (fail soft) や, 安全な状態で機能を停止する[[フェイルセーフ]] (fail safe) などの特性まで含めてフォールトトレランスという. この様な広い意味でのフォールトトレランスは, コンピュータシステムの普及とともに重要視されるようになり, 現在, フォールトトレランスは, 主としてコンピュータシステムの耐故障技術として認識されている.

　ラプリエ (J. C. Laprie) は, フォールトアボイダンスとフォールトトトレランスを包括する[[ディペンダビリティ]] (dependability) という統一的な概念を提案した [1, 2, 3]. それは, 「コンピュータシステムのディペンダビリティとは, 実行された仕事 (service) がどの程度正しく行われているかを明らかにするための品質 (quality) を示すものである」として定義された. 図1 に, ラプリエの提案した概念と用語の枠組を示す.

\begin{figure}[htb]
% \begin{center}
%\includegraphics[scale=0.3,bbury=270mm,height=60mm]{B-Final/dependa.eps}
%\includegraphics[bbllx=0, bblly=190mm, bburx=130mm, bbury=270mm, height=60mm]{../b-e/dependa.eps}
\includegraphics[bbllx=0, bblly=190mm, bburx=130mm, bbury=270mm, height=60mm]{0140-dependa.eps}
% \epsfile{file=dependa.eps,scale=0.72}
% \end{center}
\caption{ディペンダビリティの概念と用語の枠組} \label{B-E-07+dependa}
\end{figure}

　ディペンダビリティを阻害する要因として, フォールト (fault) , 誤り(errors), 障害 (failures) の3つが示されている. フォールト (または故障) とは, システムの機能損失や不具合などの原因をいい, 従来の故障の概念に, ソフトウェアのバグやオペレータの操作ミスまで含めた広い意味の用語として定義される. そして, フォールトが表面化してシステム内部に不具合が生じることを誤りという. また, その誤りが, システム外部のユーザ等に認識されたとき障害となるのである [1]. 階層的なシステムでは, これらの用語の関係は再帰的であることに注意したい. 例えば, あるサブシステムに発生した誤りは, そのサブシステムと外部との接点において障害として認識されるが, 同時にその障害は, サブシステムを含むシステム全体にとっての誤りをもたらすフォールトでもある. なお, これらの用語の定義は, フォールトトレランスの研究分野では広く認知されているが, 日本工業規格 JIS X 0014 (信頼性, 保守性及び可用性) 等の定義とは異なることを付け加えておく.

　さて, フォールトトレランス技術とは, 誤りが障害として認識されるまえに, それを検出してマスク (または隠蔽) する技術 (masking), あるいは, マスクできない場合でもその影響をできるだけ狭い範囲に限定し, 速やかに正常状態へ回復させる技術であるといえる. この様な特性は, 基本的に何らかの[[冗長性]] (redundancy) を導入することで得られる. 冗長化の対象となる計算機資源は, ハードウェア, ソフトウェア, 時間の 3 つに分類できる [2]. ハードウェアとソフトウェアの冗長化の多くは, 同一の構成要素を複数個用いることで実現され, 時間についての冗長化は, ひとつの要素を使って同じ処理を繰り返すことで実現される.

　誤りを検出するためには, 例えば, 対象となるハードウェアを二重化冗長構成して結果を照合したり, 誤り検出のための冗長符号を用いたりする. そして, その誤りをマスクするために, TMR (triple modular redundancy) や $N$ バージョンプログラミングなどの多数決冗長方式が用いられる. これらの冗長性は, 静的冗長 (static redundancy) と呼ばれる.

　誤りのマスクに失敗して障害が発生すれば, システムの[[回復技術]] (recovery techniques) が適用される. まず, 例えば待機冗長方式によって, 障害の認められたハードウェアを交換するなどの再構成が実行され, 続いてシステムの論理的一貫性を回復するために, ロールバック等のソフトウェア冗長が用いられる. これら障害回復のための冗長性は, 動的冗長 (dynamic redundancy) とよばれる.

----

'''参考文献'''

[1] J. C. Laprie, "Dependable Computing and Fault Tolerance: Concepts and Terminology," ''Digest of Papers FTCS-15,'' (1985), 2-11.

[2] 当麻喜弘監修, 向殿政男編集, 『コンピュータシステムの高信頼化技術入門』, 日本規格協会, 1988.

[3] 向殿政男編集, 『フォールト・トレラント・コンピューティング』, 丸善, 1989.

[3] 南谷崇, 『フォールトトレラントコンピュータ』, オーム社, 1991.

@@ 36行目: / 36行目: @@
 [3] 向殿政男編集, 『フォールト・トレラント・コンピューティング』, 丸善, 1989.
-[3] 南谷崇, 『フォールトトレラントコンピュータ』, オーム社, 1991.
+[4] 南谷崇, 『フォールトトレラントコンピュータ』, オーム社, 1991.
 [[category:信頼性・保全性|ふぉーるととれらんす]]

← 古い版		2007年8月7日 (火) 07:26時点における版
37行目:		37行目:

	[3] 南谷崇, 『フォールトトレラントコンピュータ』, オーム社, 1991.		[3] 南谷崇, 『フォールトトレラントコンピュータ』, オーム社, 1991.
		+
		+	[[category:信頼性・保全性\|ふぉーるととれらんす]]

@@ 20行目: / 20行目: @@
 　さて, フォールトトレランス技術とは, 誤りが障害として認識されるまえに, それを検出してマスク (または隠蔽) する技術 (masking), あるいは, マスクできない場合でもその影響をできるだけ狭い範囲に限定し, 速やかに正常状態へ回復させる技術であるといえる. この様な特性は, 基本的に何らかの[[冗長性]] (redundancy) を導入することで得られる. 冗長化の対象となる計算機資源は, ハードウェア, ソフトウェア, 時間の 3 つに分類できる [2]. ハードウェアとソフトウェアの冗長化の多くは, 同一の構成要素を複数個用いることで実現され, 時間についての冗長化は, ひとつの要素を使って同じ処理を繰り返すことで実現される.
-　誤りを検出するためには, 例えば, 対象となるハードウェアを二重化冗長構成して結果を照合したり, 誤り検出のための冗長符号を用いたりする. そして, その誤りをマスクするために, TMR (triple modular redundancy) や $<math>N</math>$ バージョンプログラミングなどの多数決冗長方式が用いられる. これらの冗長性は, 静的冗長 (static redundancy) と呼ばれる.
+　誤りを検出するためには, 例えば, 対象となるハードウェアを二重化冗長構成して結果を照合したり, 誤り検出のための冗長符号を用いたりする. そして, その誤りをマスクするために, TMR (triple modular redundancy) や <math>N\, </math> バージョンプログラミングなどの多数決冗長方式が用いられる. これらの冗長性は, 静的冗長 (static redundancy) と呼ばれる.
 　誤りのマスクに失敗して障害が発生すれば, システムの[[回復技術]] (recovery techniques) が適用される. まず, 例えば待機冗長方式によって, 障害の認められたハードウェアを交換するなどの再構成が実行され, 続いてシステムの論理的一貫性を回復するために, ロールバック等のソフトウェア冗長が用いられる. これら障害回復のための冗長性は, 動的冗長 (dynamic redundancy) とよばれる.

← 古い版	2007年7月19日 (木) 14:03時点における版
(相違点なし)

@@ 8行目: / 8行目: @@
-\begin{figure}[htb]
+<center>
-%  \begin{center}
+<table><tr><td align=center>[[画像:0140-dependa.png|center|図１：ディペンダビリティの概念と用語の枠組]]</td></tr>
-%\includegraphics[scale=0.3,bbury=270mm,height=60mm]{B-Final/dependa.eps}
+<td align=center>図１：ディペンダビリティの概念と用語の枠組</td></table>
-%\includegraphics[bbllx=0, bblly=190mm, bburx=130mm, bbury=270mm, height=60mm]{../b-e/dependa.eps}
+</center>
-\includegraphics[bbllx=0, bblly=190mm, bburx=130mm, bbury=270mm, height=60mm]{0140-dependa.eps}
-%    \epsfile{file=dependa.eps,scale=0.72}

@@ 1行目: / 1行目: @@
 '''【ふぉーるととれらんす (fault tolerance) 】'''
-　高信頼化システムを実現するための伝統的な手法のひとつは, システムを構成する個々の要素の信頼性を向上させることであり, これは[[フォールトアボイダンス]] (fault~avoidance) とよばれる. 一方, いかに構成要素の信頼性が高くとも, 故障は本質的に避けられないものであるという前提に立ち, それらの要素またはシステムに, 故障に耐え得るような特性を持たせようとする手法が研究されてきた. この高信頼化手法が[[フォールトトレランス]] (fault tolerance) である. 本項では, フォールトトレランスの概念とその実現手法について述べる.
+　高信頼化システムを実現するための伝統的な手法のひとつは, システムを構成する個々の要素の信頼性を向上させることであり, これは[[フォールトアボイダンス]] (fault avoidance) とよばれる. 一方, いかに構成要素の信頼性が高くとも, 故障は本質的に避けられないものであるという前提に立ち, それらの要素またはシステムに, 故障に耐え得るような特性を持たせようとする手法が研究されてきた. この高信頼化手法が[[フォールトトレランス]] (fault tolerance) である. 本項では, フォールトトレランスの概念とその実現手法について述べる.
 　故障が発生しても, システムの機能に全く支障をきたさないことが, 理想的なフォールトトレランスの特性であるが, 機能の低下をシステムのある範囲だけに留める{フェイルソフト} (fail soft) や, 安全な状態で機能を停止する[[フェイルセーフ]] (fail safe) などの特性まで含めてフォールトトレランスという. この様な広い意味でのフォールトトレランスは, コンピュータシステムの普及とともに重要視されるようになり, 現在, フォールトトレランスは, 主としてコンピュータシステムの耐故障技術として認識されている.