脳log[20190206]

2019年02月06日 (水) こういう考え方すごく好き。“The fact that some types are atomic, and others are not is dangerous: even if the original code was written by people who knew that volatile int access was atomic, maintainers in future may need to expand that to a volatile long to handle scale -at which point atomicity of access is lost.” だけど自分が「知っている側の人間」だと境界で綱渡りをしたくなったりもする。だから最初から「混ぜるな」「条件を付けるな」ってことだ。それは “dangerous” だと。■以前に自分の言葉でこう書いている。「条件付きの正しさというものを俺は信用しない。条件は見落とされ誤って判断され、正しさはいずれ失われる。」