C、C++の最適化について語るスレ 2

1 名前：デフォルトの名無しさん mailto:sage [2007/04/29(日) 09:54:14 ] コンパイラ性能、コンパイルオプション、コードの最適化などについて語りましょう。 主に速度面の最適化を中心としますが、サイズなどの最適化もどうぞ。 なお、OS、CPU、コンパイラなどは限定しません 前スレ C、C++の最適化について語るスレ pc11.2ch.net/test/read.cgi/tech/1084676298/ 552 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 20:20:27 ] >>551 じゃ、アセンブラでどう書いたら高速になるのかコードを晒してくおくれ 553 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 20:24:49 ] 何が「じゃ」なんだろ。まったく話が繋がってない。 554 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 20:30:54 ] >>552 最適化技法の専門書でも読め 555 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 20:38:59 ] C++のソースレベルで見ても ロード/ストアの形にするのも基本だし カウンタ(i)を用意して非定数のlimitと比較するくらいなら、first/last形にするのが常識だし (まあこれは0との比較に変えてるみたいだからいいか) といっても、その程度は最適化コンパイラなら当たり前にやっていることだけど 556 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 20:42:18 ] で、結局、「グローバルに最適化」とは何なのだろう。 557 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 21:16:13 ] >>538の「大局的な最適化」と同じ意味だろう。 別に何かの規格で定められた専門的な用語ではないはずだ。 いや、わかっててネチっこく絡んでるだけなら、野暮な説明だけど。 558 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 21:29:52 ] おまいらもっと速いアセンブラのコード晒してやれよ 559 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 21:33:39 ] >>557 いや、だから「どこを見てコンパイラが大域的な最適化をしていると判断したか」という話よ。 単に「自分の書いた(付け焼刃の)アセンブラより速かったから 大域的な最適化をしているに違いない」と言ってるとしか見えないわけさ。 560 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 21:51:33 ] >>559 543 名前：536[sage] 投稿日：2008/03/13(木) 19:09:16 もちろんコンパイラが吐き出してるソースチェックしたよ そしたら グローバルに最適化されてるってことがわかったんだよ 561 名前：ヽ・´∀｀・,,）っ━━━━━━┓ mailto:sage [2008/03/13(木) 21:55:30 ] VC++は、インラーインアッセンブルルルルァ使った関数はインライン展開とかできません。 562 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 21:58:27 ] 余計意味わかりませんけど。 例えば、そのグローバルな最適化によって、 >>547はどのようなアセンブラコードになるのですかね？ 563 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 22:00:06 ] 　　　　　　☆ ﾁﾝ　　　　　ﾏﾁｸﾀﾋﾞﾚﾀ〜 　　　　　　　　　　　　　　　　　　　　　　　　ﾏﾁｸﾀﾋﾞﾚﾀ〜 　　 　 　 ☆　ﾁﾝ　　〃　 ∧＿∧　　　／￣￣￣￣￣￣￣￣￣￣￣￣￣ 　 　 　 　　ヽ　＿＿_＼（＼・∀・）　＜　速いアセンブラソースまだ〜？ 　 　 　 　 　 　 ＼＿／⊂　⊂＿ )　　 ＼＿＿＿＿＿＿＿＿＿＿＿＿＿ 　 　 　 　 　 ／￣￣￣￣￣￣ ／| 　　　　　　　|￣￣￣￣￣￣￣|　 | 　　　　　　　|　　愛媛みかん　|／ 564 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 22:34:20 ] 団子さんのレスが期待されるところだ 565 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 22:43:23 ] いやもうレスしただろ 566 名前：ヽ・´∀｀・,,）っ━━━━━━┓ mailto:sage [2008/03/13(木) 22:57:30 ] SSEの使えないコードは汗んブラないのが俺のモナー よく読んでないけど使えそうだけどな 567 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 23:16:51 ] >>559 > いや、だから「どこを見てコンパイラが大域的な最適化をしていると判断したか」という話よ。 このタイミングで急に新しい話題始めるんですかー。 568 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 23:17:12 ] loop は遅いから使わないってのは基本だと思うんだがなあ。 569 名前：ヽ・´∀｀・,,）っ━━━━━━┓ mailto:sage [2008/03/13(木) 23:27:44 ] コンパイラより自分でアセンブったコードの方が速いと根拠もなく信じてる人もたまにいるので。 570 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 23:29:10 ] そんなん信じてる馬鹿ここにはまずこないんじゃないの 571 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 23:31:02 ] x86・RISCやキャッシュてんこ盛りのプロセッサだと今時のコンパイラを超えるのは至難だろうな。 組み込み系の貧弱な石ならアセンブラの方が速い事は多々あるけど。 572 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 23:31:52 ] コンストラクタ無し/デストラクタ無し/初期化されず説明の無いメンバ変数。 速いコードは書けないが、動かないコード晒されると更にやる気を削がれるな。 >>556 SSE使えるならむしろCって考え方も。 >>568 最近はmicro op fusionとかやってるから高級な命令の方がAMDみたく都合よくなるんじゃない? 573 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 23:34:07 ] 安価ミスった。556じゃなくて>>566 574 名前：ヽ・´∀｀・,,）っ━━━━━━┓ mailto:sage [2008/03/13(木) 23:36:35 ] VCなんかだとthisポインタはecx渡しになるからそこんとこ考えてコード組む必要がある。 575 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 00:20:39 ] >>548 ところで、このコードは正しい結果が出るか確認したか？ 576 名前：ヽ・´∀｀・,,）っ━━━━━━┓ mailto:sage [2008/03/14(金) 00:23:47 ] んでもって>>548はecx使っちゃってるね 577 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 12:16:54 ] >>548 86のアセンブラなんて１０年以上やってないんで自信ないんだが、途中でキャリーフラグ消えてないか？ キャリー使わずにCで書いても同じくらいの速さのコードは出そうだが。 578 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 13:01:13 ] >>577 mov, lea, loop はキャリーに影響しない add edi, 4 でなく lea edi, [edi + 4] とするのはそのためでもある 579 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 21:39:30 ] >>578 andも？ 580 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 22:07:37 ] >>579 少しは自分で調べろ 581 名前：ヽ・´∀｀・,,）っ━━━━━━┓ mailto:sage [2008/03/15(土) 00:05:39 ] andは書き換えるだろ。 MMX/SSEもフラグレジスタを書き換えない。 582 名前：デフォルトの名無しさん mailto:sage [2008/03/17(月) 10:24:25 ] Cとインラインアセンブラのソースを睨めっこしても意味ないだろ 逆汗しないと 583 名前：デフォルトの名無しさん mailto:sage [2008/03/17(月) 10:36:22 ] はぁ? 584 名前：デフォルトの名無しさん mailto:sage [2008/03/17(月) 10:57:39 ] はぁ。 585 名前：デフォルトの名無しさん mailto:sage [2008/03/17(月) 12:13:54 ] ハァ〜ン 586 名前：デフォルトの名無しさん [2008/03/18(火) 20:20:53 ] 例A) gethoge()->fuga(); gethoge()->piyo(); 例B) hoge *p = gethoge(); p->fuga(); p->piyo(); gethogeはprivate変数へのアクセサと仮定して、 この場合例AとBでどっちの方が早いのだろう？ fugaやpiyoがもっとたくさんあるのなら後者だろうけど 2回だけだとポインタこさえるコストも考えるとごっちゃになってきた。 587 名前：デフォルトの名無しさん mailto:sage [2008/03/18(火) 21:40:21 ] ちゃんとインライン化されれば同じようなもんだろ。 588 名前：デフォルトの名無しさん mailto:sage [2008/03/19(水) 10:47:54 ] >>586 処理時間で A >= B って感じ。 「ポインタこさえるコスト」とか言うが、 A でもコンパイラが ポインタを作る。しかも繰り返し。 589 名前：デフォルトの名無しさん mailto:sage [2008/03/19(水) 12:29:58 ] fugaの中でhogeが書き換わる可能性を考慮すると、AとBでは結果が異なる可能性がありそうな気も 590 名前：デフォルトの名無しさん mailto:sage [2008/03/21(金) 13:27:23 ] それをいうならgethogeじゃない？ fuga一回しか呼んでないじゃん 591 名前：デフォルトの名無しさん mailto:sage [2008/03/21(金) 21:02:41 ] fugaとpiyoを呼んでprivate変数の状態を変えるとか考えないのか？ 592 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 09:42:59 ] vtuneって各関数でのメモリアクセス数って調べられますか？ 593 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 12:24:39 ] 遅延量や、キャッシュミスもわかる。 594 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 14:16:56 ] memoryのpageinput/outputを監視すれば 各関数のメモリアクセスは調べられそうですね ありがとうございます。 595 名前：デフォルトの名無しさん [2008/03/26(水) 14:44:33 ] >>594 writeとreadはいらないの？ 596 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 15:25:04 ] >>595 メモリアクセスはin/outだけじゃ・・・ 597 名前：デフォルトの名無しさん [2008/03/26(水) 16:07:31 ] vtunesの使いかた分かんね。 どうやったらプログラム実行終了時の 各関数のそれぞれにおいてのメモリアクセス数が出るんだ 598 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 18:58:16 ] >>597 命令ごとのメモリや演算器、キャッシュ、バスのタイミングが見える。プロファイラなんかとは次元が違う。 599 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 21:43:23 ] >>598 それぞれのメモリアクセスはどこみればいいのか分からん 全体の1秒あたりのメモリアクセスは出てるけど 600 名前：デフォルトの名無しさん [2008/03/29(土) 09:07:38 ] vectorって配列に比べて最適化されにくい？ 601 名前：ヽ・´∀｀・,,）っ━━━━━━┓ mailto:sage [2008/03/29(土) 09:13:42 ] そうでもないよ 602 名前：デフォルトの名無しさん mailto:sage [2008/03/29(土) 09:40:39 ] ダンゴさんは博識にもほどがあるな 603 名前：デフォルトの名無しさん mailto:sage [2008/03/29(土) 09:56:57 ] スタックに置く場合以外は同じだろうね。 604 名前：デフォルトの名無しさん mailto:sage [2008/03/29(土) 12:12:58 ] 602 名前：あぼ〜ん[あぼ〜ん] 投稿日：あぼ〜ん 605 名前：ヽ・´∀｀・,,）っ━━━━━━┓ mailto:sage [2008/03/29(土) 12:29:13 ] 上に同じ 606 名前：デフォルトの名無しさん mailto:sage [2008/03/29(土) 23:47:37 ] 「TASさん」みたいなノリですね、わかります。 607 名前：デフォルトの名無しさん mailto:sage [2008/03/30(日) 00:55:13 ] ダンゴさんの書き込みでスレが再加熱したな 608 名前：デフォルトの名無しさん mailto:sage [2008/03/30(日) 00:59:22 ] 607 名前：あぼ〜ん[あぼ〜ん] 投稿日：あぼ〜ん 609 名前：デフォルトの名無しさん [2008/03/30(日) 02:23:09 ] 608 名前：あぼ〜ん[あぼ〜ん] 投稿日：あぼ〜ん 610 名前：デフォルトの名無しさん mailto:sage [2008/03/30(日) 10:57:30 ] あぼ〜ん推奨ワード：ダンゴ、だんご、団子 611 名前：デフォルトの名無しさん mailto:sage [2008/03/30(日) 11:22:37 ] 610 名前：あぼ〜ん[あぼ〜ん] 投稿日：あぼ〜ん 612 名前：デフォルトの名無しさん mailto:sage [2008/03/30(日) 17:47:20 ] >>610-611 ｗ 613 名前：デフォルトの名無しさん mailto:sage [2008/03/31(月) 02:51:59 ] ｗ　ってどういう意味？ 614 名前：デフォルトの名無しさん mailto:sage [2008/03/31(月) 03:08:41 ] 藁ｗ 615 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 00:18:25 ] >>614 には失望した 616 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 01:05:43 ] なら俺は干草 617 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 10:00:38 ] >>600 コンパイラによるがされにくい。 PGIでは、vectorのまま[]でアクセスしたループはベクトル化してくれないが、 一旦ポインタに変換してループを書くとベクトル化する。 618 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 10:52:06 ] vector使うなら、operator[]を使わずにiteratorを使うだろ。常考 619 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 15:40:33 ] iteratorなんかつかったら余計に最適化されねーっての。 620 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 16:37:25 ] されますが何か。 621 名前：デフォルトの名無しさん mailto:sage [2008/04/02(水) 15:05:29 ] その手があったか。 vectorに限って言えばiteratorはまず間違いなくポインタだろ。 ということは最適化される。 622 名前：619 mailto:sage [2008/04/02(水) 16:20:53 ] すんません。 vector<double>::iterator p = v.begin(); を使って、 p[i] でアクセスしたらポインタと同等の最適化されました。 ただ、for文の終了条件を p != v.end() なんてことしたら ループの回数が不明ということで最適化除外されました。 623 名前：ヽ・´∀｀・,,）っ━━━━━━┓ mailto:sage [2008/04/02(水) 17:00:57 ] std::vector<F32vec4> から派生の方向で アクセッサ？ほぼ再実装だね 624 名前：ヽ・´∀｀・,,）っ━━━━━━┓ mailto:sage [2008/04/02(水) 17:02:21 ] >>622 コンパイラは？ 625 名前：デフォルトの名無しさん mailto:sage [2008/04/02(水) 23:37:03 ] ダンゴさんはVCの最適化については一言言いたいところがあるようだな 626 名前：デフォルトの名無しさん mailto:sage [2008/04/02(水) 23:48:28 ] >>624 PGI 627 名前：デフォルトの名無しさん [2008/04/03(木) 00:23:08 ] 623 名前：あぼ〜ん[あぼ〜ん] 投稿日：あぼ〜ん 628 名前：デフォルトの名無しさん mailto:sage [2008/04/03(木) 13:17:37 ] ＞p != v.end() 毎回インスタンス変数見るのか。 for(int i=0,sz=v.size(); i<sz; i++){...} for(iterator i=0,end=v.end(); i!=end; i++){...} のどちらかだろ常考。 629 名前：デフォルトの名無しさん mailto:sage [2008/04/03(木) 14:51:29 ] 本来その程度の事は自動でやってくれるべきだけどね。 高級アセンブラだから細かいところに気を使うんだよな。 630 名前：デフォルトの名無しさん mailto:sage [2008/04/03(木) 15:13:25 ] それを自動でやったらvolatileを勝手に外すくらいの暴挙じゃね？ 正当にやれるのは、v自体がローカル変数で、 ポインタを取られてないことを解析出来る場合だけど、 その前提を維持するより一時ローカル変数に移した方が簡単だと思う。 631 名前：デフォルトの名無しさん mailto:sage [2008/04/03(木) 16:33:26 ] ああそうか。あー!面倒くさい! もうローカルでポインタを取得してないメンバ変数やグローバル変数が 外から変更される可能性がある場合は全部volatile付けるって事でいいよw なんてやってるとvolatileだらけでどっちが面倒くさいんだか分からなくなってくるな。 632 名前：デフォルトの名無しさん mailto:sage [2008/04/03(木) 18:15:58 ] パソコンだとマルチスレッドなんてあるから、 volatileが付いていてもいなくても 付いているのと同じように扱われている気がする（ローカルな自動変数以外）。 633 名前：デフォルトの名無しさん mailto:sage [2008/04/03(木) 19:18:06 ] volatileは厳密にメモリのアクセス回数を決めるための物だから 同じってことは無いだろうけどね。 634 名前：デフォルトの名無しさん mailto:sage [2008/04/03(木) 19:31:48 ] >>633 釣りかネタだよね？ 635 名前：デフォルトの名無しさん mailto:sage [2008/04/03(木) 20:56:39 ] バカの可能性もあるな。(w 636 名前：デフォルトの名無しさん mailto:sage [2008/04/03(木) 21:06:50 ] 流れ見てないんだが… ここは「volatile 宣言最強！！！」って言わなくちゃいけないところですか? はずしてたらごめんなさい 637 名前：デフォルトの名無しさん mailto:sage [2008/04/03(木) 21:08:45 ] volatile は毎回メモリにアクセスするようにするものだとか マジレスしたらいけない流れなんだろうな。 638 名前：デフォルトの名無しさん mailto:sage [2008/04/03(木) 21:32:10 ] お前らボラれてるぞ 639 名前：ヽ・´∀｀・,,）っ━━━━━━┓ mailto:sage [2008/04/03(木) 21:33:36 ] volatileは最適化抑制です。 640 名前：636 mailto:sage [2008/04/03(木) 21:36:48 ] >>637 > volatile は毎回メモリにアクセスするようにするもの なのは, いいんだけど >>634 な, ものがあったから ちょっと言ってみたかった 641 名前：636 mailto:sage [2008/04/03(木) 21:43:32 ] >>639 そんなもん分かってて遊んでるんだからほっとけや 642 名前：デフォルトの名無しさん mailto:sage [2008/04/03(木) 21:49:31 ] volatile is a hint to the implementation to avoid aggressive optimization involving the object because the value of the object might be changed by means undetectable by an implementation. 643 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 01:29:39 ] ダンゴさんのレスがピシッと決まったな。 644 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 02:20:00 ] 643 名前：あぼ〜ん[あぼ〜ん] 投稿日：あぼ〜ん 645 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 04:20:10 ] さすがダンゴさん 646 名前：デフォルトの名無しさん [2008/04/04(金) 11:12:12 ] 644 名前：あぼ〜ん[あぼ〜ん] 投稿日：あぼ〜ん 647 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 11:15:58 ] ＞名前：あぼ〜ん[あぼ〜ん] 投稿日：あぼ〜ん これもあぼ〜んしとくわ 648 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 21:51:09 ] >volatileは最適化抑制 厳密には違うけどまぁ別にいいや 649 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 21:56:37 ] volatile は処理系には検知できない手段によってオブジェクトの値が変更をうける可能性がある場合に オブジェクトへの積極的な最適化を抑制するための処理系へのヒントである。 650 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 22:19:36 ] 1: int i; 2: i = 1; 3: i = 2; 4: i = 3; こうしたとき2行目3行目の代入された数値は使われないので、最適化されて消される。 しかしデバイス制御などでiがデバイスのアドレスの場合、消されては困る場合がある。 こういう時、宣言の前にvolatileを付けたら最適化されないので意図した動きを得られる。 651 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 22:22:27 ] マルチスレッドかメモリマップド I/O で使うのが定番だな。 652 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 22:56:39 ] > マルチスレッド マルチスレッドでのvolatileについてはダンゴさんが一言ありそうだ

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef