1read 100read
2012年4月プログラム260: 【最速へ】LowLevelVirtualMachine【LLVM】 (457)
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▼
【Scheme】Schemeインタプリタ Mosh Part1【Lisp】 (195)
テストしにくいコードをテストする方法教えて下さい (316)
Visual Studio 2008 Part 21 (572)
オブジェクト指向は本当に正しいのか? (1001)
Subversion r14 (309)
Ruby で GUI するスレ (375)
【最速へ】LowLevelVirtualMachine【LLVM】
1 :08/05/23 〜 最終レス :12/04/24 Native用言語向け仮想機械、LLVM(低水準仮想機械)について語りませう。 いくら探しても無いので立てました。 本家: ttp://llvm.org/ 参照: ttp://ja.wikipedia.org/wiki/Low_Level_Virtual_Machine
2 : まだ早い 終了
3 : とりあえずLinuxにて素数計算を書いてコンパイルした感想。 現時点ではまだ通常のバイナリと同じか寧ろ遅いようです。 しかも、一つの生成した実行ファイルにVMと本体が同居している せいかファイルサイズが異様にデカい…。 しばらくは様子見と言った感じですかね。生ぬるく見守っていきましょう。
4 : これって何ができるの? 汎用的なjvm?
5 : LLVM インタープリタは別にはやくないべ llvm-gcc で普通に native code にコンパイルしたら? OS X 上で 32 bit モードだと llvm-gcc のほうが普通の gcc より全然早かったけど。 http://accc.riken.jp/HPC/HimenoBMT/index.html でやりました。
6 : CやC++やらFortranとか、もともとNative向けに作られている言語向けのVMで、 JavaVMと同じく実行時の最適化を行う。おまけに実行時に条件分岐が どちらに飛びやすいか、どの命令が使われやすいかなどProfileを取ってバイナリ 自身を書き換え、使えば使うほど勝手に速度を増すらしい。
7 : LLVMの実用例ってどんなのあるんだろうな AppleがLeopardでグラフィックス層に採用したが、 GMA950なMacではBlenderが意味不明なほど重くなってる (Tiger起動時は無問題) 利点がさっぱりわからん
8 : >>7 http://episteme.arstechnica.com/eve/forums/a/tpc/f/8300945231/m/771003390931 Apple はこれの為にわざわざ LLVM の ARM バックエンドを作ったらしいね http://lists.cs.uiuc.edu/pipermail/llvmdev/2007-January/007813.html こういう感じで開発機と本番機のアーキテクチャが違う場合は恩恵が大きい というか、ナイスアイデアだと思った
9 : あー、仮想化としての意味合いが強いのか。なるほどthx
10 : OpenGLのJITをLLVMのJITに置き換えただけでは?
11 : とりあえず50万までの素数計算したときの計測値を貼ってみる。それぞれ10回。 比較対象はLLVM-GCC(ver 2.1)とGCC(ver 4.3)。 対象言語はC++、基本比較回数41,539回。 一応、中枢処理はinline関数版とマクロ版のを用意。 check:41539,score:755 clock/ms LLVM-GCC版 inline関数 :マクロ 4240 :1315 4280 :1265 4190 :1245 4200 :1235 4150 :1255 4210 :1355 4280 :1255 4220 :1305 5 :1275//恐らく何らかのミス 4190 :1185 通常GCC版 inline関数..:マクロ 755 .:1255 825 .:1165 705 .:1125 695 .:1145 695 .:1095 675 .:1135 635 .:1145 855 .:1285 995 .:1255 845 .:1175 Clock関数で測定したんで、値が低いほど早いです。ソースはやや長いので書き込み不可。
12 : >>11 の >check:41539,score:755 clock/ms はゴミなんで気にしないでください。
13 : (llvm-)gcc の最適化オプションは?
14 : >>13 共に-O3です。 inline版はtemplateを多用して いたんですが、コンパイラ的に inline展開した中間コードを 吐くのは苦手なのかな?
15 : う〜ん、姫野ベンチでは LLVM のほうがはやかったので、1さんがどんなソースなのか興味ありますね。どっかのアプロダに置いてくれませんか?
16 : >>15 元々ベンチ用コードじゃないんで 読みづらいかもしれませんが、 時間があれば夜上げておきますよ。 あまりアップローダ使わないんで、 よろしければ、良さげなところを 教えて下さいな。
17 : ttp://codepad.org/ とかじゃダメ?
18 : http://codepad.org/aLVS4Jld こんなんでいいのかな? いくつか、自作ヘッダincludeしてあるけど、 処理その物とは直接関係なかったから上げてはないよ。 あと、正直ベンチ計測したのは2週間くらい前でLinux用のコードを どこにやったか見当たらなかったんだ。ゴメン。 だから代わりに、その後、VCの比較用にWindows向けに弄ったやつを 載せさせてもらうよ。基本的には変わらないはずだから許してね。 (もしかしたら、バグ取りの途中のヤツかも…) それとコードはかなり汚いし、アホだけど、一応処理系毎の最適化を 調べる目的で書いたんだ。その辺に関してはスルーしてね。
19 : そのコードで inline 版とマクロ版がそんなに違うのはやっぱり何かが変なんではないかと思うな ... というか inline/マクロのちがいというより std::vector<int> と int[] の違いなのか。
20 : 過去スレ http://pc11.2ch.net/test/read.cgi/tech/1166508605/
21 : >>19 今回は、配列版だけしか使ってないよ。 そういえば、VCでVectorと配列で測ったら Vector版の方が早かったよ。スレ違いでは有るけど 何でだろうね。 (以降は名無しに戻ります)
22 : >>21 あげてくれたソースコードではコマンドラインオプションで「マクロ」を選ぶと int[] になってて、「インライン」だと vector<int> になってたけど ???
23 : >>22 ホント?コード上はoptionの3bit目を基準に書いてたんだけど、 optionの指定も分岐も問題なさそうだよ? 環境依存か何か書いたかなぁ。
24 : あ、なるほど、読み間違ってました、失礼。
25 : #include <stdio.h> #define TARGET 1000000 int primes[TARGET]; int main(){ int n=0; int i; primes[n++]=2; for(i=3;i<TARGET;i++){ int k; for(k=0;k<n;k++){ if((i%primes[k])==0) break; } if(k==n){ primes[n++]=i; } } printf("total: %d primes¥n",n); return 0; } だけでやってみました。Core Duo 2GHz です。 llvm-gcc-4.2 , gcc-4.2 で -O4 でコンパイルして time ./a.out で計っただけです。結果は llvm-gcc が 21.5 秒、gcc が 23.3 秒、まああんまり変わらないですが。 やっぱ 1 さんのは inline 展開がされてないんではないかと気になりますね。
26 : なるほどね。もしかして、GCCだと__attribute__でinline指定しないと ダメなのかな?あとで、>>25 さんのコードも含めてやってみるよ。 ところで、面白い記事があったから貼っとくね。 http://lucille.atso-net.jp/blog/?p=430 どうやら、物によっては30%も加速するんだって。どんなコードだろ?
27 : >>26 僕はその記事をまえにみたときに自分で姫野ベンチやってみたんですが、 x86 ではたしかにかなり加速しましたよ。なぜか x86-64 ではあまり加速しなかったんですが。1 さんの Linux box は もしかして 64 bit ?
28 : >>27 いや、PenMなんだ。もしかしたら、アーキティクチャが影響したのかも とも思ってたんだけどね。 浮動少数より整数演算が強いってことはSSEとか最適化かかると 逆に弱いかもしれないし。(ASMまで考えて無いからいい加減…。 今は、時間が無いから時間が空いたら色々試して報告してみるよ。
29 : あれ、Linux(Fedora)の標準リポジトリにもう入ってる?
30 : MacのOpenCLもLLVM使うらしいね。 http://lucille.atso-net.jp/blog/?p=526
31 : ttp://www.ottimo.co.jp/koike/ >OpneCLは大学や研究所関係者が泣いて喜ぶかも(笑)そしてリンク時のオプティマイズとは恐れ入りました!
32 : 注目しているのはむしろ Grand Central だと思うけどな
33 : Xlibとか、Win32APIとか、埋め込みSQLなんかの 決まりきった設定系処理なんかにも効き目あるんだろうか?
34 : ttp://clang.llvm.org/StaticAnalysis.html objcスレ向きか?
35 : しばらく前だけど、LLVM2.3のベンチマークが載っていた。 http://journal.mycom.co.jp/news/2008/07/07/016/index.html http://www.stefankrause.net/wp/?p=9 この結果はlliを使っているようなので、 llcを使ってネイティブコンパイルした場合の結果が 気になるところだ。 LLVM2.2のベンチマークはこちら。 http://lucille.atso-net.jp/blog/?p=430 それから、LLVMの勉強会が開かれるらしい。 場所は恵比寿なので、東京近郊の人は行ってみれ。 http://groups.google.co.jp/group/llvm_study/web/%E7%AC%AC%E4%B8%80%E5%9B%9E+llvm+%E5%8B%89%E5%BC%B7%E4%BC%9A
36 : ttp://llvm.org/devmtg/2008-08/
37 : ttp://www.cups.org/articles.php?L562+TNews+P1+Qlpd+ipp >Removed unused variables and assignments found by the LLVM "clang" tool. >Added NULL checks recommended by the LLVM "clang" tool. ttp://lists.cs.uiuc.edu/pipermail/cfe-dev/2008-August/002670.html >this is a basic idea of Blocks: it is closures for C. >It lets you pass around units of computation that can be executed later.
38 : なんだか過疎ってるね なんかネタない?
39 : ttp://llvm.org/devmtg/2008-08-23/
40 : 寝る前にベンチでも取ってみようかと、Mingw32/x86のllvm-gccとllvm-ldでgzipコンパイルしたんですけど、 lliで実行すると ERROR: Program used external function 'close' which could not be resolved! というエラーが出ます。 ビルドがうまくいってないのかと思い、 #include <stdio.h> #include <stdlib.h> int main() { FILE *fp; fp = fopen("out.txt", "w"); if(fp == NULL) { fprintf(stderr, "error: fopen"); exit(1);} fprintf(fp, "hello world\n"); close(fp); return 0; } みたいなコードで試してみたんですが同じエラーが出ました。 close()をコメントアウトすると動いているようです。 mingw版は外部のライブラリとのリンクはまだうまくできないんですかね?
41 : fclose
42 : >>41 ですね・・・失礼しました;; 念のため int main() { close(0); return 0;} というコードでも試してみたんですが、やはりリンクはできないようでした。 gzipをfopen(), fclose()を使うように書き換えてみる or gzipはあきらめるなど また今度試してみようかと思います。
43 : MinGWはmsvcrt.dllを使っていて、そこではcloseがANSI C標準に入っていないという理由で _open/_closeという名前になっているのが原因か? MinGWはろくに使ったことがないけど。
44 : >>39 第1回勉強会か。英語で紹介されるとカッコいいなw 第2回ってないの?あるなら行きたいんだけど
45 : >>42 >>43 の言うとおり、Win32 CRTでは、ANSI C標準に入っていない関数(UNIXで言うところの システムコールも含む)は先頭に_をつけた関数名になる。 だから、MinGWでビルドするならすべて名前を変更しなければならない。 たぶんストリーム関数を使うように書き換えるより、open, close, read, writeあたりを _つきに置き換える方が楽だと思う。
46 : >>43 >>45 ありがとうございます。一部関数を'_'つきに変えたら何とかコンパイルはできました。 ただ挙動がかなりあやしげですが・・・。たとえば引数無しで実行すると反応がなかったり。 一応解凍はできるようになったみたいなんでベンチとってみました。 計測はtimeコマンドでやりました。 結果見るとllvmでいい結果がでてますが、gccでのコンパイル、llvm-gccでのコンパイルともに 完全ではないなので参考までということで。 ちなみに llvm-2.3(gzip-1.2.4) はgzip-1.2.4をllvm-gccでコンパイルし、lliで実行したものです。 llcでのネイティブへの変換はうまくいきませんでした。 gcc-3.4.4(gzip-1.2.4) はgzip-1.2.4をcygwinのgcc-3.4.4でネイティブバイナリにコンパイルしたものです。 cygwin(gzip-1.3.12) は配布されているcygwinのバイナリです。 ==== llvm-2.3(gzip-1.2.4) user 0m0.031s user 0m0.031s user 0m0.015s user 0m0.000s user 0m0.015s ==== gcc-3.4.4(gzip-1.2.4) user 0m5.085s user 0m5.054s user 0m5.054s user 0m5.163s user 0m4.897s ==== cygwin(gzip-1.3.12) user 0m4.914s user 0m5.413s user 0m5.038s user 0m5.163s user 0m5.085s 正しく計測ができていなそうですが、せっかく測ったので。
47 : あと、 gzip-1.2.4をllvmでコンパイルするパッチを http://codepad.org/doeKoAQi に、(パッチ当てた後 BUILD.sh を実行すればコンパイルできるはずです) テストに使用したスクリプトを http://codepad.org/T4LSsUpK に、このスクリプトの実行結果を http://codepad.org/RZyAm3Tb にはりました。
48 : gcc も -O3 だけじゃなくて最適化オプションいろいろ調整すれば もうちょっとはやくなったりするので、何を持って llvm-gcc の速度というか疑問だったりするんですが。
49 : mingwのllvm-gccとcygwinのgccで比較しちゃダメでしょ。 cygwin gccのバイナリの方がが遅いのは当たり前。
50 : うお、よく見たらCygwinと比較してるのか。ダメすぎるぞ。 確かにCygwin版ならopen(2)とかclose(2)とかがそのまま使えたかも知れないが、 それはCygwinでそのあたりの関数群をエミュレーションしてるからだ。だからむちゃくちゃ 遅くなる。 llvm-gcc版と全く同一のコードでビルドできるから、MinGW-gccでもう一度やり直し。
51 : オレ言語コンパイラをllvm対応させるとどんなよいことがありますか?
52 : Alchemy使ってFlash化できるかもしれない。 いや、俺まだ触ってもいないけど。
53 : 最適化とかを自分でやらなくて済むくらいかな でもこれはgccでも一緒か。作業的にはC++で書かれてる分LLVMのが楽そうだけど
54 : いやgccは魔境らしいからLLVMやろうぜ
55 : 一応書いておくと、LLVMの開発系MLは以下で読めるよ。 ttp://lists.cs.uiuc.edu/pipermail/llvmdev/ 今月分 ttp://lists.cs.uiuc.edu/pipermail/llvmdev/2008-December/date.html
56 : clangとLLVMをベースにしたOpenCLの実装が開発中らしい。 http://lists.cs.uiuc.edu/pipermail/llvmdev/2008-December/018913.html
57 : これWindowsだとどう処理されるの? 一応実行中のバイナリは書き換えできないよね?
58 : >>57 実際のところ、実行時最適化は Windows 以外でも使われてない。
59 : やったとしても"バイナリ"を書き換える必要はないだろうけどね
60 : >>56 clangもLLVMもOpenCLも、Appleが主導してるようなものだからなぁ。 結局は積極的に利用するのはAppleくらいなものじゃないのかね。 LLVM-GCCもiPhoneくらいだろ?実際に使ってるの。
61 : その実装はAAPLとは全く別でしょ。 最近VMMに買収されたらしいよ。
62 : >>59 if(a<5&&b<10)break; ってな条件があって成功しない 確率の方が多い時(ループ中のbreakとか) 実際の利用状況としてa<5は頻繁に成立しまう場合は if(b<10&&a<5)break; と書き換えてしまった方が早くならない? とくにファイルに保存したデータの状況によって b<10とa<5の成立頻度が変わる場合は便利な気がする。
63 : それならどのみち分岐予測が効くから違わんのでない?
64 : >>62 (直前のレスを読んだなら)>>59 が言ってる"バイナリ"は、オンメモリの実行コードのことじゃないことはわかっていると思うが… 結局の所、実行ファイルを書き換える必要は無いよな
65 : そう?実行時に書き換える手間が減るからある程度は効果ありそうに思うけど
66 : 実行ファイルとngenのキャッシュ的なものがごっちゃになってる気がする 独自のJITキャッシュデータの話なら、書き換えできるできないの話にはならないし 実行ファイルそのものを書き換えるという話なら、USBに入れて使えない
67 : llvm-gcc -emit-llvm -S で吐き出したコードの中に %val = load i32* getelementptr (%struct.S* @b, i32 0, i32 0) のような、load 命令の中で getelementptr 命令を使っている行がありました。 LLVM IR にこのような文法があるのでしょうか? リファレンスマニュアルを見ましたがこの文法が見当たりませんでした。
68 : llvmを使って新しいカーネル作れないかな?
69 : LLVM の最適化は自動ベクトル化に対応しているでしょうか? 2つの4次ベクトルの要素をすべて取り出して、対応する要素を加算して、 加算の結果をまたベクトルに戻す処理を書いたのですが、opt -std-compile-opts で最適化しても1つのベクトル加算に変換されていませんでした。
70 : >>67 亀レスだけど、ConstantExprのことかな? マニュアルには載っていないので、ソースコードを読まないと分からない。 ExpressionをConstantとして扱う機能だから、 この場合はgetelementptr命令の返却値をload命令の引数にするという意味。 (ConstantExprの場合は括弧が追加される) 「include/llvm/Constants.h」と「lib/VMCore/Constants.cpp」にある 定義を読み「lib/VMCore/AsmWriter.cpp」でLLVM IRとしては どんな文字列が出力されるのか確認すれば、分かるようになるかもね。 分からなければ、自分ではConstantExprを使わずに、 別のInstructionに分けて書けばいいと思ふ。 (この場合はgetelementptr命令の返却値を一度変数に代入する)
71 : 第2回勉強会をやるみたいだね。 興味のある人は参加してみては。 http://atnd.org/events/381
72 : >>71 もう申し込んだよ。楽しみだー。
73 : HLVMのアルファ版が出たようだ。 コンパイラや言語を自作したい人は、これをベースにすると楽ができるのかも。 http://lists.cs.uiuc.edu/pipermail/llvmdev/2009-March/020729.html
74 : 教えてもらいたいんだけど、 LLVMのJITって lli + *.bcのビットコードの状態じゃないと有効じゃないの? llcでネイティブなコードした実行ファイルの状態だと 普通のコンパイラがはいたバイナリと同じ?
75 : そう。 それにデフォルトの状態では特にJITであること生かした動作してない気がする。
76 : >>75 ありがとう。 llvm-ldで実行ファイルできるじゃん って思ったら.bcをlliに渡すラッパーだったw ところで、mingw用のインポートライブラリを 変換する方法ってないんですかね?
77 : 勉強会age このスレまだ100も行ってないのかyo
78 : >>73 軽く読んでみた限り思ったよりHighLevelじゃないしあんまりメリットが見えない。 OCamlはかじった程度なんで間違ってたら解説よろしく。 >>77 ユーザーの絶対数少なそうだし。 勉強会の懇親会で食中毒でも起こったら日本のLLVM関係者の1割ぐらい減るんじゃなかろうか。
79 : >>77 もう明日か。 思いのほか人数増えちゃってgkbrしてます。入りきるかなー・・・。 色々不手際あるかと思いますがゴメンナサイ。と、今から誤っておくます。ヒー 電源タップの数がまずもって全然足りてないので、 ノートPC持ってくる人は満充電にしてきてね!
80 : >>79 電源タップもって行けば会場の電源の容量は足りますか?
81 : 電源容量は・・・調べてませんがノートくらいならまかなえると思います。さすがに。 もし火を吹いたら、消火のご協力をお願い致します。w というか電源タップ持ってきて頂けると非常に有難い!ありがたやー!
82 : >>主催者&発表者各位 お疲れさまでした。なかなか楽しめました。ありがとう。 自分で触っている人あんまりいなかったのかなー。 >>81 おれ電源タップひそかに持っていったんだけど、いらなかったみたいねorz
83 : >>82 ご協力頂き有難うございました! 思ってたより、ノートPC持ってきた人少なかったですねw 新しく買ったノートにLLVM入れたいんだけど、MinGWのインストーラが ネットにつながってくれない・・・。('A`)
84 : 海外出張と重なって勉強会に行けませんでした (泣 次回は参加するぞ〜。
85 : LLVM IRを書きだせる言語は現状、C++、C、Haskell、Ruby、Pythonの5つかな?
86 : デフォルトで入ってるOCamlが入ってないのはなんかのいじめですか
87 : LLVM IRとbitcodeの関係性って、どう理解すればよいの?
88 : LLVM IRのバイナリ表現がbitcode
89 : >>86 m(_ _)m C++、C、OCaml、Haskell、Ruby、Pythonの6つですね。
90 : nVidiaのOpenCL実装にもLLVMとclangが使われているっぽい。 http://lists.cs.uiuc.edu/pipermail/llvmdev/2009-May/022320.html
91 : http://gihyo.jp/admin/clip/01/fdt/200905/12 FreeBSDはclang使えないか模索中
92 : MacRubyもLLVM採用、とまらないLLVM人気 ttp://journal.mycom.co.jp/news/2009/04/03/051/index.html
93 : 今更ネタだがホイ。 Adobe Alchemy登場、C/C++アプリをFlashで動作させる研究にLLVM技術採用 http://journal.mycom.co.jp/news/2008/11/21/005/index.html >Alchemyで変換されたコードはActionScript 3.0よりもかなり高速に動作し、 >ネイティブC/C++コードよりは2倍から10倍遅く動作するとみられる。
94 : unladen swallow で Python も LLVMで動くようになったな。 最適化はこれからだけど。
95 : The Computer Language Benchmarks Gameに早く登場しないかな。 Java -serverがやたら速いから、比較できると良い競争になる。
96 : 今更だけど、clangとllvmでFreeBSDとDragonflyBSDのカーネルコンパイルできたそうです。 ・FreeBSD http://wiki.freebsd.org/BuildingFreeBSDWithClang ・DragonflyBSD http://leaf.dragonflybsd.org/~alexh/clang/clang.html OpenBSDが好きでデスクトップで使ってるんだけど、FreeBSDコミュニティと違って、OpenBSDコミュニティは安定性を最重視して昔のpccに注目してるみたい。 OpenBSDカーネルのコンパイル、今度やってみようかな。
97 : >>93 今更だけど LLVM本体のおかげで速いわけじゃないんだからその引用はどうなんだろう
98 : >>97 たしかLLVMが最適化されたAS3コードを生成するから、同機能の手書きAS3コードよりも速いとか言う話しだったと思う。 どっかでそんな速度比較記事を読んだ覚えがあるんだけどどこだったかな。
99 : それは初耳。 LLのイベントでは仮想関数の少なさ、dynamic型がない、Bytearrayによるポインタの模倣等の結果みたいな話だった。 むしろその言語の特性ではなくバックエンドのアドバンテージによるものならadobeは成果をmxmlcに取り込んでいると思うのだが…
100read 1read
1read 100read
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲
Perlについての質問箱 51箱目 (928)
awkについて語るスレ $2 (680)
★★ Java の宿題ここで答えます Part 71 ★★ (955)
Java 高速GUI SWT 3 (641)
awkについて語るスレ $2 (680)
関数型プログラミング言語Haskell Part18 (288)
--log9.info------------------
【PSP】GOD EATER:ゴッドイーター総合556喰目 (1001)
【3DS】ランナバウト 3D ドライブ:インポッシブル (478)
【3DS】モンハン3G G級初心者スレ 4 【MH3G】 (281)
【2012】クソゲーオブザイヤー part22【携帯】 (1001)
【PSVITA】シェルノサージュ part50 (1001)
【DS】★遊戯王 総合スレ163★【任天堂版】 (479)
【PSP】大戦略シリーズ総合 Turn4 (830)
PSP質問スレpart82 (699)
【PSP】咲-Saki- Portable 十二翻 (747)
【MH3G】開発は反省しろ Part29【葬式・愚痴】 (509)
【Shin'en】NANO ASSAULT (ナノアサルト)【弾爵】 (201)
【3DS】マリオテニス(仮称) (739)
【PSVITA】シェルノサージュ part49 (1001)
【3DS】閃乱カグラ シリーズ総合 84っぱい (315)
【MHP3】モンスターハンターポータブル 3rd HR582 (1001)
【3DS】新・光神話 パルテナの鏡神器評価スレ (1001)
--log55.com------------------
マリン☆第一・二・三級海上特殊無線技士(その4)
◆ 各エリアのレピーター ◆
【FT-817】 HF歩行運用 8台目 【Youkits】
【吉永小百合似?】イノシシばばあを語れ
長野の独占野郎ジーエーアールを称える会
【【【【継続は】愚痴ッター7本目【力なり】】】】
【TL】ツイッターの帝王と呼ばれて・9【RT】
◆TS-590 part10◆