/**ファイルシステム総合スレその7**/

[過去ﾛｸﾞ] /**ファイルシステム総合スレその7**/ (955ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

328(1): 2007/04/15(日)00:12 ID:A3vtsAbr(1) AAS
なにいってんだ。
HansがReiser4の開発から抜けるだけの公算が高いだろ。
Reiseer4はNamesys社が引き続き行うのにその言い草は無い。

だいたい、>>327もいってるように「難癖」なのだから
マージしない方がおかしい。

誰が考えても一連の流れはおかしいのに収束に向かわないという事は
それほどの大物が黒幕だという事？

329: 2007/04/15(日)00:32 ID:a1YDYQoa(1) AAS
>>328
Namesysってそんなに開発力あるのか？
ほとんどHansだけだと思ってた。

330: 2007/04/15(日)00:36 ID:K6eWMSSA(1) AAS
Reiser4から5も6も権利一切を誰かに譲りますみたいな話が出てなかったっけ。

331(1): 2007/04/15(日)11:22 ID:d2Q38sCM(1/4) AAS
>>326
Q.冗長なassertが多くないですか？
A.お前はセキュリティの素人か？これが最強なんだよ？わかってる？

みたいな感じだったはず。

332(2): 2007/04/15(日)11:29 ID:oxd97bM6(1/4) AAS
>>326
基盤系はなにがあっても死んだらまずいのでは？
むかし坂村健氏が講義でいってたよ。通常のアプリケーションならともかく
OSなどの基盤系では死んでしまうわけには行かないから使えないと。
FSがどちらに属するかは微妙だけどDBMSなどとは違い、基盤系とするのが普通じゃなかろうか。

333: 2007/04/15(日)11:31 ID:d2Q38sCM(2/4) AAS
>>332
基盤系って括りがそもそもおかしいのでどうでもいいです。
その昔の変な先生が間違ったことを言っていたのでは。

334(1): 2007/04/15(日)11:36 ID:XBpUZbvh(1) AAS
カーネルの挙動が変なと死ぬのは同じくらい辛いとおもうよ

335: 2007/04/15(日)11:38 ID://tGROeT(1) AAS
>>331
原文読んだけど、そんなニュアンスではなかった。

・消せと言う意見には反対
・なぜから、セキュリティの専門家の意見ではないから
・漏れ（=Hans）もかつてはassertゲェッと思っていた
・が、reiser4の開発でDOD（出資者だな）の専門家から学ばされた
・彼らの安全性に関するスタンダードに従う価値は高いよ

という内容だった。ただ、それ以前から関係が悪化していたことを
踏まえると、読んだ側には冒頭の「they are not security experts」とか
書いてるところでカチカチカッチーンって感じだったんだろうね。

336(1): 2007/04/15(日)11:46 ID:1iaTM/ra(1/2) AAS
とある系列会社のプロジェクトの火消しに行かされた事がある。
まったく assert を使っていない自前のライブラリを使っていたので、
仕様にそってアサーションするようにしたら、
「あんたが来てからエラー表示が増えた。バグが増えた。」
って怒られた。唖然とした。

337: 2007/04/15(日)11:46 ID:oxd97bM6(2/4) AAS
>>334
変な先生ってｱﾅﾀ、滅亡しかけているとはいえトロンの創始者だょ

338(1): 2007/04/15(日)11:53 ID:oxd97bM6(3/4) AAS
>>336
エラー表示が増えたのは確かだろうね。
バグは増えたのではなく、かかれていたものが露呈しただけなワケだけど
同じコードでもassertいれないときはなんとなくうまく動くこともあるんだよね。
もしかして、見えざる神の手によるコンバイル時最適化じゃなかろうか（嘘）

339: 2007/04/15(日)11:55 ID:d2Q38sCM(3/4) AAS
>>338
どっかのスタックが壊れてたりしそうっすねｗ

340(1): 2007/04/15(日)11:57 ID:akjI4/2c(1) AAS
この文脈で坂村先生の話を持ち出すのはおかしいと思う。
どっちかというと、FSのエラーでディスクに誤データが書き込まれる方が「死んだらまずい」に相当するのではあるまいか。

341(2): 2007/04/15(日)12:24 ID:1iaTM/ra(2/2) AAS
>>332 死ねない、それは一理ある。
しかしそれは assertion とは無関係の話。
だって実稼動するバイナリはくときには assert() なんて消えてるでしょ。

多くの実装ではリリースビルドの際に assert() はバイナリ吐かないように
なってるし、プロジェクトによってはログにメッセージを吐いて
何事も無かったかのように通過するような assert() に置き換えられている
ものもある。

342: 2007/04/15(日)12:26 ID:d2Q38sCM(4/4) AAS
>>341
一般的な理想論は敢えてしまいませんか？

343: 2007/04/15(日)12:47 ID:e/AcCsTx(1) AAS
消せと言った側の理屈は、コーディングスタンダードに従えってことでしょ
assertが良いか悪いかとは別の次元の要求
オレ流正義を貫きたいだけの人のコードはマージしないから他所で好きに作って
っていうのは難癖じゃなく真っ当な対応かと

344: 2007/04/15(日)13:05 ID:+g+iSlzK(1/4) AAS
>　消せと言った側の理屈は、コーディングスタンダードに従えってことでしょ

実際と違う
原文読もうよな

345(1): 2007/04/15(日)13:56 ID:+g+iSlzK(2/4) AAS
LKML
外部ﾘﾝｸ:lkml.org
8. Remove all assertions because they clutter the code and make it hard to read

346(1): 2007/04/15(日)15:33 ID:oxd97bM6(4/4) AAS
>>340-341
実働ｼｽﾃﾑではテスト時にうまく動いても、ユーザの予期できない使用でバグが露呈することがある。
しかしいかなる状況であっても制御不能になることは避けなければならない
という言い方をしていたと記憶している。
その意味でassertは使えない、という話だったと思う。

>>345
コード読みにくいから消せってのでは、言い掛かり以外の何者でもないように見えるけど
それほど多くのassertいれてたんだろうか。

347(1): 2007/04/15(日)17:10 ID:lpIFzX7p(1/2) AAS
>>346
手元の奴でこんな感じだな

% zcat ./reiser4-for-2.6.11-3.patch.gz |grep assert |wc
3847 18265 212260
% zcat ./reiser4-for-2.6.17-3.patch.gz |grep assert |wc
3538 15552 179184

もとのパッチが8万行ぐらい

上下前次 1-新書関写板覧索設栞歴

あと 608 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.017s