はじめてのにき

_ 殺人整数オーバーフロー、レースコンディションをそえて

なんか前に概要見たことある気がするけど、 Therac-25 というのが、4人かな、殺したというのの話を斜め読みしてみた

色々あるけど、 PDF だと文字列検索できないのでテキストになってるこれがわかりやすそうだった

http://courses.cs.vt.edu/~cs3604/lib/Therac_25/Therac_2.html

http://courses.cs.vt.edu/~cs3604/lib/Therac_25/Therac_3.html

別々のバグが2つあった感じかな。整数オーバーフローの方は、 setTimeout(SetUp) みたいな感じで自分を再スケジュールしまくる子がぐるぐる回ってて、この子は SetUp 中ですよーみたいなフラグを flag++ みたいな感じでセットしてると。しかし flag は 8bit なので簡単に整数オーバーフローしてしまい、たまたま flag が 0 になってる時に実行しちゃうとこのチェックが無くて、なんか全力で撃つ時は必ず動いてなきゃな装置がまだ動いてない段階で撃っちゃう、て感じかな

このバージョンより前のバージョンだと、ハードウェア的にそれはやらない、てチェックが入ってたけど、「なんかソフトウェアでチェックするからいいやん」と外した結果こうなった…と

安全のためには2レイヤ目が必要、てのがよくわかるというか

(00:40)

_ 訃報を見て

周回遅れですいませんが、なんということもない

http://www.asj.or.jp/tennet/archives/msg07622.html

なんとなく故人に思いはあるものの、お会いしたことあるかといえば1度あるか無いかあやしいくらい、というか脳味噌がスポンジでできてるんでさっぱりわからないよ、てことでなんともかんともだった。正味のとこ僕ごときがなんか言っていいのか

まあでもそんな気難しいキャラでもなかった気がするし、個々人が適当なことを言ったとして怒るような人ではなかったと感じる。なんか僕ごときが語ってよいのかとかは知らない。まあ気にしないとして直近で一番印象に残ってるのはこれ

https://photos.app.goo.gl/9r1h4PhscO2tpoKz2

2016年のICFPCの問題、「えっこれプログラムで鶴を折るとか難しすぎない？鶴が折れる前に心が折れちゃうよ？？」みたいなくだらない、冗談混じりの会話をしたのであった。

まあでも真に自分のかのひとへの印象を言えと言われると、そんな最近のことはすっとんで、というかあまり物事を覚えていないので覚えていなくて…… icfp のコンテストで特に 2004,2005 年あたりで尋常じゃなく優秀な成績を収めていたあたりに行くような気がする。 id:tanakh さんのはてなへの記述で、なるほどこのたなかっていうとんでもない人にさらに優秀な人がくっついてるのだな……

とかそんなことをぼんやり思ったように思う。その時は僕は明らかに彼らに嫉妬していた。今はどうだろうな

(23:14)