[過去ﾛｸﾞ] FreeBSDを語れ Part54 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
668: 2022/03/09(水)14:49 AAS
真面目なLinux kernelのバグについての研究結果として引用されているのが多いのはこれ
An Empirical Study of Operating Systems Errors
外部ﾘﾝｸ[pdf]:pdos.csail.mit.edu
1.0〜2.4.1についてソースコードの自動チェッカを使ってバグの性質ごとの数、平均寿命等
を解析している2.4.1においてバグの平均寿命は1.8年（リポジトリに取り入れられてから取り
除かれるまでの時間）
バグの大部分はデバイスドライバにあり、他の部分と比較して3倍から10倍の率で存在する
7年間で160万行コードサイズは増大（そのうちデバイス部分が100万行ぐらい）し、バグの総
数は200を超える
2020年時点で3000万行ぐらい？あまり変わっていないなら概数で4000箇所ぐらいの問題が
「生きている」
OpenBSD2.8とLinux2.4.1との比較ではOpenBSDは20%〜6倍程度品質が低い(オートチェッカ
による比較であり偏っている可能性はあるとはかいてある。6倍というのは特定のチェックに
引っかかったコードの箇所の総数比較であり実数は19箇所）
上下前次1-新書関写板覧索設栞歴
あと 334 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.006s