Rust part10at TECHRust part10 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト529:はちみつ餃子 21/05/08 17:23:48.71 //zoyCL6.net 暴走した場合にでもうてる手札を用意しておくってのと、 暴走しないように細部まで検証しておくってのは両立する話 530:デフォルトの名無しさん 21/05/08 17:27:07.74 QshNNe4V.net いうほどコーナーケースってほどでもないだろ。 割と考慮されて当然のケースだわ。 まあlinux単体がその品質を担保できてるとも思わんけど。 531:デフォルトの名無しさん 21/05/08 17:33:15.67 3vrEhaHR.net 原子力関係だけでなく航空機や宇宙機もだが制御不能になるのが一番ヤバイんで バグ出しは常識的な範囲で行って、あとはリカバリ系に注力した方がシステムの信頼性は向上する 歴史的に見ても事故るシステムの多くはこの辺をガバっている事が多いし 532:デフォルトの名無しさん 21/05/08 17:57:46.72 e+sagIsH.net 別に ハイテク旅客機が落ちるのは自動制御と手動操縦のモード切替仕様を パイロットが熟知しておらず緊急時に操縦桿を奪い合う格闘になったから であってソフトは仕様通りだった 『ハイテク飛行機はなぜ落ちるか』（ブルーバックス）のｲﾝｼﾃﾞﾝﾄの数々を見たらﾜｶﾙ 原子炉の制御系はそもそも暴走させないように金かけて形式検証する 人間が本気になったらどんだけバグをなくすために金と手間を掛けられるかというと スペースシャトルのSSMEの制御装置のソフトがどんだけ徹底したデバッグが行われたかを見たらﾜｶﾙ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch