Therac-25という放射線治療器で死亡事故が起きたバグ.PDP-11のアセンブラで1バイトをフラグにしてインクリメントして256回目に0になったそう、、、
このTweet見た。
人が死ぬバグってあるんだな...今まで平和なプログラミングしかしたことないや。https://t.co/8EtfrW0pvp pic.twitter.com/zF9ZNLfUtu
— Daiius (@DaiiusJmst) 2017年7月17日
えー、死亡事故が起きたバグがあったのか、、、 どんなのか見てみた。 これとか。
このプログラムは1人のプログラマによってPDP-11のアセンブラで書かれています。
セットアップ中、セットアップテストは他のイベントが発生するのを待って
再スケジュールされるため、数百回実行されます。
事故を起こしたコードでは、Class3変数は、セットアップテストを通過するたびに
1ずつインクリメントされます。
class3変数は1バイトなので、最大値255までしか含めることができません。
したがって、セットアップテストコードを256回通過するたびに、
変数はオーバーフローし、0になります。
このとき上部コリメータの障害は検出されません。
ということのようです。
こわーー。C++と直接関係しているというわけではないですが、、、
« なか卯で「5種野菜と唐あげのロカボ担々麺」を食べた。こんにゃく麺だが気にならなくてボリュームもたっぷり。 | トップページ | セブンイレブンで売っている蒙古タンメン中本 北極のカップ麺を食べた。さすがに辛い！ »
「日記・コラム・つぶやき」カテゴリの記事
- スマホRF駆け出しエンジニアの豆知識: ⑩パワーアンプの近くにある電源系のICはエンベロープトラッカー。ETモードとAPTモードがある。(2021.09.17)
- 高周波（RF・マイクロ波・ミリ波・5G）関連ニュース2021年9月15日 iPhone13の内部構造、IEEE Microwave magazineの特集はマイクロ波と機械学習、Microwave Journalは車載へのUWB応用、Huaweiは2030年に6Gを狙う、など。(2021.09.16)
- 新型コロナウイルス、日本の陽性者数＆ワクチン接種者数総計をプロット＆中国、韓国、アメリカ、ドイツ、フランス、イギリスの陽性者数もプロット（9/12更新）。先週より減ったといっても先週がひどすぎるので全然減速して見えない。韓国もコンスタントに上がってる。(2021.09.12)
- 高周波回路シミュレータQucsStudioを使ってみる（その４） 電磁界シミュレーション（FDTD）機能を使ってKeysight ADSのMomentumの例題のフィルタ（スタブLPF)を計算。(2021.09.13)
- タカラトミーの電池なし、手で転がしてキャパシタを充電して走るテコロチャージのプラレールが発売される。過去の特許(チョロQ、Q-eyes)を見てみる。電気二重層キャパシタを使ってるっぽい？(2021.09.08)
トラックバック
この記事へのトラックバック一覧です： Therac-25という放射線治療器で死亡事故が起きたバグ.PDP-11のアセンブラで1バイトをフラグにしてインクリメントして256回目に0になったそう、、、:
« なか卯で「5種野菜と唐あげのロカボ担々麺」を食べた。こんにゃく麺だが気にならなくてボリュームもたっぷり。 | トップページ | セブンイレブンで売っている蒙古タンメン中本 北極のカップ麺を食べた。さすがに辛い！ »
コメント