「高性能化のための改善が続けられているyesコマンド」記事へのコメント

対照的なのが

[ilonasive (6257)]

GNUのyesコマンドと対照的なのがOpenBSDのyesコマンドのソース [openbsd.org]。

ご覧のとおり見たまんまで、まったく捻りなし。

特徴的なのが、実行開始時にpledgeというシステムコールを発効しているところ。
これを行うことで、それ以降のシステムコールの実行を標準入出力関連のものだけに制限している。
もしyesに脆弱性があっても、それを利用した悪さができにくいようになっている。

改善というのは高性能化だけではない、ってことですな。

Re:

[Anonymous Coward]

楽しいね。
この単純なプログラムでさえ、システムコールを制限しようとする姿勢が。

FreeBSDはどうなんだろう、と思ってみたらちょっと長くて [openbsd.org]読んでない。

Re:

[Anonymous Coward]

リンクミスった。
FreeBSDのは こっち。 [github.com]
ちなみにやってることはOpenBSD + バッファ使った性能向上かなあ。
斜め読みというか、斜め見した感じ。

ちなみにminix 2.0.4のyesは以下。
yes[n++]= '\n';ってなんでやってるんだろう。
argv[1]って最後に終端はいるよね？

/* yes 1.4 - print 'y' or argv[1] continuously. Author: Kees J. Bot
  * 15 Apr 1989
  */
#include
#include
#include
#include

int main(int argc, char **argv)
{
        char *yes;
        static char y

Re:対照的なのが

[tmiura (6268)]

|yes[n++]= '\n';ってなんでやってるんだろう。
|argv[1]って最後に終端はいるよね？

その終端がヌルターミネータだから改行を追加しているのでは。

ヌルターミネータを上書きして大丈夫なのかと一瞬思ったが、writeで長さ指定してた。

Re:対照的なのが

[Helion (8785)]

yes[n++]= '\n';ってなんでやってるんだろう。

これがないと出力が改行なし ("yyyyy...") になっちゃいますね。

Re:

[Anonymous Coward]

なるほど。
意味がわかったでござる。

tmiura氏のNULL Terminatorの話も、説明されてわかった。
\0 を \nで上書きしていると。
writeだから\0はいらないわけね。

Re:

[Anonymous Coward]

plegdeは良いと思うけれど、同じ意味のfor(;;) puts()が繰り返されるのが嫌だな。
私はV7の三項演算子使ったやつの方が好き。

Re:対照的なのが

[Helion (8785)]

これ [tuhs.org]だとループごとにargc>1の判定が入るように見えてちょっと気になります (もちろん実際には最適化されるでしょうけど)

Re:

[Anonymous Coward]

最適化されない気がする。引数が処理中に書き換わる可能性がゼロじゃないと。

Re:

[Anonymous Coward]

argc>1の評価はmain()の呼出毎に不変だから現代のコンパイラなら最適化されるよ。

main(argc, argv)
char **argv;
{
        char *p = argc>1? argv[1]: "y";

        for (;;)
                printf("%s\n", p);
}

みたいな感じに解釈されると思う。

Re:

[Anonymous Coward]

OpenBSDを-O付きでコンパイルする奴は素人

Re:

[Anonymous Coward]

ど素人の質問で恐縮だけど、現代のコンパイラはそのサンプルコードのprintf()が行っている文字列代入も最初の一回しか行わないよう最適化してくれるの？

Re:対照的なのが

[Anonymous Coward]

上のコードをgcc -O3でコンパイルするとこんな風に最適化される

main(argc, argv)
char **argv;
{
                if (argc>1) {
                        for (;;)
                                puts(argv[1]);
                } else {
                        for (;;) {
                                puts("y");
                                puts("y");
                        }
                }
}

printf自体が無駄だと判断してputsに置き換えてるみたい

Re:

[Anonymous Coward]

「printf()が行っている文字列代入」って何のことだろう。
sprintf系ならそう表現するのも分からなくはないが、
fprintfやprintfは書式指定を解釈して出力先のストリームに書き込む動作だから、
引数を除けば出力先のストリームが持つバッファリング処理でしかどこかに格納される事はないよ。

printfによる書式の処理が一回だけになるのか、って意味なら、
ライブラリが静的リンクでリンク時最適化が掛かればワンチャンあるかも程度でほぼ期待できないかと。

printfをインラインにしてくれるstdio.hとかあるんだろうか。あればもうちょい期待出来るが･･･あるのか？

Re:

[Anonymous Coward]

おお、printfの中身までちゃんとバラすんだ。
どういう方法でライブラリ関数を展開しているんだろう。

Re:

[Anonymous Coward]

OpenBSD って if や for の後が単文なら {} つけない流儀?

Re:対照的なのが

[ilonasive (6257)]

Kernel source file style guide (KNF) [openbsd.org]

No braces are used for control statements with zero or only a single statement unless that statement is more than a single line, in which case they are permitted.

OpenBSDカーネルのコーディングスタイルではそのように決まっているので、ユーザランドもそれに倣っていると思われます。