アカウント名:
パスワード:
「データ損失が発生しないことを数学的に証明した」のに、データの損失がほぼ起きないファイルシステムを作っただと？
これ単に、OSクラッシュでデータ損失しないことを証明しただけじゃね？ハード故障でも損失しないことを証明することは、そりゃ無理でしょう。
RAIDにしたところで、HDDが飛んだあとも交換せずに使い続ければいずれデータは飛ぶ。
公理「決して故障しない理想的なハードが存在する」の下での証明？
「存在する」では故障するハードにあたったときアウトだから、公理「ハードウェアは決して故障しない」では?
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
Stableって古いって意味だっけ？ -- Debian初級
何その嫌がらせ (スコア:0)
「データ損失が発生しないことを数学的に証明した」のに、
データの損失がほぼ起きないファイルシステムを作っただと？
Re: (スコア:0)
これ単に、OSクラッシュでデータ損失しないことを証明しただけじゃね？
ハード故障でも損失しないことを証明することは、そりゃ無理でしょう。
RAIDにしたところで、HDDが飛んだあとも交換せずに使い続ければいずれデータは飛ぶ。
Re:何その嫌がらせ (スコア:0)
公理「決して故障しない理想的なハードが存在する」の下での証明？
Re: (スコア:0)
「存在する」では故障するハードにあたったときアウトだから、公理「ハードウェアは決して故障しない」では?