トップページtech
582コメント172KB

プログラミング言語 Lua

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさんNGNG
Lua について語ろう。

http://www.lua.org/
0357sageNGNG
やはり、luaはluaであって
汎用スクリプトには向かん見たいですね。
0358デフォルトの名無しさんNGNG
>>356
 Luaをガベコレレスにしようと一日格闘してみましたが、根が深くて相当
骨が折れますね。で、諦めて色々なケースでパフォーマンスのチェックをし
てみたのですが、普通の利用では30〜40kb程度で動くようです。複雑な再起
でも単純なループでも確保量があまり変わらないのでおそらくこの辺がLua
の標準プールサイズなのかと思われます。うーん…今の所はこれぐらいすね。

>>355
 別にいちゃもんつけてる訳じゃなくて、Luaの正確な挙動を把握しようと
しているだけ。汎用スクリプトとしてのLuaは非常に興味深いので。
まぁメモリアルゴリズムは組み込み用途に合わせて幾つかのアルゴリズムを
選択できると理想的なんだけどね。

 うーん、有意義な話題だと思ったが粘着扱いか…欝だ。
0359デフォルトの名無しさんNGNG
正直HSPの方がましだな
0360デフォルトの名無しさんNGNG
最近>>355みたいな検討違いなバカ多いね。
0361デフォルトの名無しさんNGNG
>>358
>  Luaをガベコレレスにしようと一日格闘してみましたが、根が深くて相当

漏れも Boehm-Demers-Weiser に変えたらどうなるか調べようと思ったけど、
2時間くらいでは終らなかった。
0362デフォルトの名無しさんNGNG
>>358
ガベコレレスなんてできるの?
できたら神、ってもう諦めたのかyo!
0363デフォルトの名無しさんNGNG
構文変えて、違う言語として公開したら、怒られますか?
0364デフォルトの名無しさんNGNG
怒られないよ。少なくとも5.0betaであれば。
それ以前のバージョンはライセンス読んでないから知らない。
0365デフォルトの名無しさんNGNG
じゃ、GOLuaでも作るか。
0366デフォルトの名無しさんNGNG
Lua5.0正式版リリースage

http://www.lua.org/ftp/lua-5.0.tar.gz
0367デフォルトの名無しさんNGNG
>>365
GとOは何の略でいく?

GNU Objective Lua・・・じゃ面白くないし
0368デフォルトの名無しさんNGNG

GOLua is Objective Lua

Luaが土台なら使えるものができるかも!
0369デフォルトの名無しさんNGNG
GOLua is not Overwrite 'Lua'
0370デフォルトの名無しさんNGNG
さてさて、vmを少し追って見たわけだけど、reallocが呼ばれる可能性があるのは、
・テーブルを作るとき
・テーブルサイズが大きくなるとき(グローバル変数定義含む)
・スレッドを作るとき
・ユーザオブジェクトを作るとき
・文字列操作をしたとき
・再起なのでスタックサイズが伸びたとき
・パーサが動いたとき(luaのインタラクティブモードだとこれでいっぱい確保される)
くらいだと分かりました(漏れがあるかもしれんけど)。

つまり、スタックサイズが十分にあれば、
・テーブルを作らない
・テーブルのメンバを増やしたり配列を伸ばしたりしない
・「深い」関数コールや深い再帰をしない
・文字列操作をしない
という条件下ではreallocはまったく呼ばれないみたいです。
当然オブジェクトも増えないからGCも呼ばれない。

上の話題でメモリが開放されないってのはつまり確保されてないからだね。
for i=0,10000 do a = {} end
こういうのを実行すれば定期的にGCが実行されてメモリが開放されてるのも分かるはず。
0371デフォルトの名無しさんNGNG
ついでに固定メモリ(配列)からメモリ確保を行うように独自アロケータを作ってみた。
ほんとはlibcとかのmalloc.cとかまともなのもって来たほうがいいんだと思うんだけど、
読むのめんどくさいので超適当なやつ。
Luaは小さいメモリをたくさん確保するので、それにあわせてみた。

↓差分ファイル。 patchに食わせてね。
http://up.your2ch.net/1050171092.txt

メモリ確保は早くなってるみたい。
% time ./lua -e 'for i=0,10000000 do a = {} end'
4.046u 0.015s 0:04.12 98.3% 129+5465k 0+0io 0pf+0w
% time lua -e 'for i=0,10000000 do a = {} end'
6.429u 0.000s 0:06.50 98.7% 128+240k 0+0io 4pf+0w
0372デフォルトの名無しさんNGNG
>>371
 うわ、またしても神登場だ。ただ、問題視されているのは
for i=0,10000 do a = {} end
で必要とされているメモリはa = {}だけなのにGCの開放タイミングが微妙
なお陰で十数kb近くの確保が行われちゃう事なのね。だから参照カウンタ
方式にして不必要になったらすぐ開放しちゃって欲しいって訳。

 あと、1/60sceとかでループをまわすゲーム用途にはGCが働いた時に負荷
が偏るのも宜しくない訳です。

 うーんでもこの調子で皆でパッチを当てあえばそのうち何とかなりそう
だね。GoLuaができる日も近そうだ。漏れも神目指してがんばるべ。
0373デフォルトの名無しさんNGNG
>>372
参照カウンタだと参照が循環してるとゴミにならないんだけどそれでいいの?
参照が循環しないように注意しながらプログラムすることに不満はない?
0374デフォルトの名無しさんNGNG
>>373
参照カウンタとGCを組み合わせればいいのでは?
0375デフォルトの名無しさんNGNG
>>372
ん、もしかしてgcの基本的な動作が把握出来てない?
あれはスレショルド越えるまでオブジェクトを確保して最後に一気に要らないメモリを開放するという仕組み。
だから不定期にしか解放されないのは問題無い。

最初に数十キロ確保されるのは関数や文字列が確保されるせい。その中に無駄なメモリは無いハズ。
gcを動かさないための条件は上に書いた通り。

ま、任意のオブジェクトをその場で消す機能くらいあってもいいとおもうけどね。
0376デフォルトの名無しさんNGNG
んでもって、GCレスな言語としてのLuaの現実的な使い方としては、
あらかじめ十分な量のオブジェクト(テーブル)を確保しておいて、
実際のループ内では、オブジェクトプールから必要な分を取ってきて
使うという方法。テーブルじゃなくてユーザデータを使うのもいいかもしれない。

そうすれば、確保するオブジェクト量+Luaコードの複雑さで、
必要とされるメモリ量はほぼわかるはず。
あとは、独自アロケータでも用意しとけば安定した運用が出来るわけですな。
ただ、運用では、安全のために、テーブル生成子({})を使えないようにする
必要があるかも?

スクリプト中でメモリ確保を行うような動作をさせたい場合、
毎フレーム強制的にGCを呼ぶという手もあるけど、GCの速度がまだ未知数…。
暇があったら、今度計ってみようと思う。
0377デフォルトの名無しさんNGNG
>>376

それは正しいが、そこまでする必要あるならなんでluaつかう?(
0378デフォルトの名無しさんNGNG
>>377
いや、わからんなら使わないでもいいと思うけどね。熱血で解決。
↓このへんでも読んどくといいんじゃない?PythonをPC、コンソールともに使ったところの記事。
http://www.gamasutra.com/features/20020821/dawson_01.htm
0379デフォルトの名無しさんNGNG
最近luaもオブジェクト嗜好になりつつあるようで、萎え!
0380デフォルトの名無しさんNGNG
>>379
超古参ユーザーでつか?
0381379NGNG
ん?最近ってことでもないのかな?
ソースはVer1のを見たっきり。。。(w
0382デフォルトの名無しさんNGNG
>>377
漏れ的には演算やループや関数呼び出しにメモリ確保がない(=GCが呼ばれない)だけで
十分に利用価値があると思うけどなぁ。
03835.0しか知らない新参者NGNG
>>381
HISTORYによるとオブジェクト指向的な要素が追加されたのは、
1.1→2.0の時のようですな。1995年ころのことらしい。
0384381NGNG
なるほど、TNX!
0385デフォルトの名無しさんNGNG
LUAと直接関係無いですが、
どういった部分にスクリプト機能を導入すると、効果的でしょうか?
いろんな例を知りたいです。宜しくお願いします。
0386デフォルトの名無しさんNGNG
>>377
Luaを含め、内部にVM持ってる系はほとんどがそうだが。
0387デフォルトの名無しさんNGNG
>>377じゃなくて>>382だった。
0388デフォルトの名無しさんNGNG
あ、Luaはgc呼ばれるんだっけ。
寝ぼけてた。すんません。
0389デフォルトの名無しさんNGNG
>>385 いろんな例
ttp://www.lua.org/uses.html
0390デフォルトの名無しさんNGNG
へー、MKD2で使われてんだ
0391デフォルトの名無しさんNGNG
>>386
うん。で、言語的に他に遜色ない記述能力を持ち、かつ、処理系が小さい。
だから、Luaに注目してるわけだが…。
0392デフォルトの名無しさんNGNG
>>391
小さいつったら、他にも沢山ありそうだけど。
あえてLuaに拘る理由って何?
0393デフォルトの名無しさんNGNG
>>392
よければ他のよさげな候補を教えてクレー。
0394デフォルトの名無しさんNGNG
>>392
まぁ、別にどうしても拘ってるってわけじゃないけどね。そう見えた?

組み込みというと、PythonやRubyがそういうのを意識したつくりになってるね。
Perlはどうなんだろう?
Pythonは世代別GCをもってるみたいなんで、Luaよりはリアルタイムな組み込み系に
向いてるかもしれない。そういう実績もあるみたいだし。
Rubyも世代別GCが実装されて、バイトコード化もされたんだっけ?詳しく追ってない。

あとは、Mozillaなんかに使われてるJavaScriptエンジンとか、
Netscapeで使われてたJavaScriptエンジン(njs)とかあたりも、ブラウザ以外の
アプリに組み込みで使われることを意識して作られてるね。
njsは実行効率も結構良いらしい(というのはとある日記の受け売りだけど…)。

言語の速度比較サイトとかみてみると興味深いかも。
http://www.bagley.org/~doug/shootout/

あと、LISPとかScheme系で使えそうなのがいろいろありそうだけど調べてない。
おれも情報求む。
0395デフォルトの名無しさんNGNG
PythonやRubyは組み込むにはちょっとでかいなぁ。
誰でも使いこなせるほどにはコンパクトな仕様じゃない。
あと、ライブラリのスクリプトも同梱しなきゃなんないし。
0396デフォルトの名無しさんNGNG
>>394

lua思ったより早いですよね。

0397394NGNG
あー、そうだ、Luaに興味を持ったのはcoroutine(協調型thread)が使えるからだった。
glueとしてのスクリプトだけじゃなくて、各オブジェクトの振る舞い記述にも使えそう
かなぁ、と。だから拘って見えるのは正解だ。

ちなみにpythonもstackless pythonという実装があって、こいつもおんなじ様なことが
できるみたいね。
http://www.stackless.com/spcpaper.htm
0398デフォルトの名無しさんNGNG
最近の(Stacklessでない方の)Pythonにはgenerator
って仕組みがあってコルーチン的に使えるんだが、
これ以上はスレ違いなのでsage
0399デフォルトの名無しさんNGNG
>>396 tr 早 速
この速さ(と小ささ)は ruby も見習って欲しいです
0400デフォルトの名無しさんNGNG
 Luaの魅力はやっぱコードサイズの小ささだろ。後は組み込みの容易さ。
Pythonは気軽に使うにはちと繁雑。Rubyはライセンスうざいから無視。
 あと、複数帰り値や可変引数の扱いが非常にイイ。そんな訳でGCに絡む
メモリ周りはなんとかしたいですね…。
0401デフォルトの名無しさんNGNG
rubyウザクないよ。デマ流すな。
Artisticライセンス(Perlで使われてるもの)使えばいいでしょ。
0402デフォルトの名無しさんNGNG
Luaは特に小さいとは思えないが。
言語の大きさはほとんどがライブラリの大きさだよ。
0403デフォルトの名無しさんNGNG
>>402
比較するならなんかデータを示してほしーなーとか。
ポインタでもいいから。
0404デフォルトの名無しさんNGNG
ぽいんた?
0405デフォルトの名無しさんNGNG
既存の比較がないなら今から比較してもいいんだが、
組み込み型やクラスを外すとその型やクラスに関係した文法の
意味論が無効になるわけだがその場合同じ言語と呼べるのか否か。
0406デフォルトの名無しさんNGNG
LISP系は全部はずしたら何も出来なくなる…。
0407デフォルトの名無しさんNGNG
ぅあ
0408デフォルトの名無しさんNGNG
世代別GCは、今実装してるっぽい?
どの辺が、"some internal modifications"なんだろ?

http://lua-users.org/lists/lua-l/2002-10/msg00191.html

> what is the current plan for GC in Lua 5 [...]

We are planning to release 5.0, and then to start working in a
generational GC for 5.1. To make a new GC for 5.0 would delay too much
its final release.

-- Roberto

http://lua-users.org/lists/lua-l/2003-01/msg00147.html

>"incremental garbage collection"? Are there plans for an incremental
>collector or is the generational one being summerised (wrongly?) as an
>incremental one? Did I miss something?

You read it right, we plan to have incremental garbage collection in 5.1.
Lua 5.0 already has some internal modifications to allow this but the real
work will begin as soon as Lua 5.0 (final) is released officially.
--lhf
0409デフォルトの名無しさんNGNG
>>400
smallとかどうですか?
http://www.compuphase.com/small.htm

parser無しで50Kくらい。
JIT、デバッガつき。ポインタ、GCが無い。Cライク文法。
実績:
 halflife admin mod
 NoX: free Ultima Online Server
 他
0410デフォルトの名無しさんNGNG
>>409
いいねこれ。
#if とか使えるのが特に。
まさに組み込み向け?
0411デフォルトの名無しさんNGNG
ICIは割とよく聞く名前なんだけどどうかな
ttp://ici.sf.net/
0412デフォルトの名無しさんNGNG
>>ici はパブリックドメインなのがいい!
0413デフォルトの名無しさんNGNG
組み込み向け言語スレ、作った方がよくないか?
light wight 言語萌え
0414デフォルトの名無しさんNGNG
もう少しここで比較してもいいんじゃないかと思う
0415デフォルトの名無しさんNGNG
>>408
 Lua5.1か…。意外とリリースは早いのかな?ところで次世代GCと呼ばれる
ものはどういうものを指すのかな?GC+SmartPointerと見て問題なさげ?

 smallって開発止まってたと思い込んでいたけどそうでもなかったのね。
ところで軽量スクリプト言語でリコンストラクトをサポートしているモノ
ってありますか?記憶領域ブロックを保存することで同じ状態を再現でき
るようなもの。
 Unrealに使われているスクリプトエンジンがそんな感じっぽかったんだ
けど、さすがに汎用ではそんなのないか…。
0416デフォルトの名無しさんNGNG
初歩的な事なんで質問ですが、
sin()とかcos()とかを自前の奴に差し替えたいんですがどうしたらいいんでしょうか?
0417デフォルトの名無しさんNGNG
>>415
>次世代GC
ナニソレ?

>記憶領域ブロックを保存することで同じ状態を再現できるようなもの。
これは永続化の事を言ってるの?だとしたら、全てのオブジェクトを
GCのマークフェーズの様に辿れる状況であれば、オブジェクトの
アドレスをインデックスに変換するだけでファイルから読み書きできる。
自作の言語でも使ってるけど、昔いくつかのLISP処理系でも見かけた。
あと、この機能を抜き出した単体製品もあった。
ただし、ポインタを辿らせる関係で色々設定が必要。
0418デフォルトの名無しさんNGNG
>>415
generational GC のことを言っているなら「次世代 GC」じゃなくて「世代別 GC」

どういうものかは Paul R. Wilson の
Uniprocessor Garbage Collection Techniques あたりでも参照してください。
0419デフォルトの名無しさんNGNG
Lua で採用する次の GC の候補のことなんじゃねえの
0420デフォルトの名無しさんNGNG
>>416
ttp://lua-users.org/wiki/BindingCodeToLua
0421デフォルトの名無しさんNGNG
世代別GC(Generational GC):
ゴミになるオブジェクトのほとんどが新規作成されたオブジェクトであるという
仮定の元に作られたGC。通常は新しいオブジェクトのみを対象としたGCを
行うことで、対象オブジェクト数を減らしGCのスピードを稼いでいる。
http://ruri.csys.ce.hiroshima-cu.ac.jp/~masato/research/master-slide/
http://www.atmarkit.co.jp/fjava/rensai2/webopt06/webopt06.html

インクリメンタルGC(Incremental GC):
GCを分割して行えるようにしたもの。GC時間が分割できるのでリアルタイム向け。
全体のGC時間は大きくなる。
http://members.tripod.co.jp/zzyyb/gc/incremental-collector.html

両方の手法をあわせたものもあるみたい。
>>408のlhfが言ってるincremental garbage collectionがどれをさしてるのかは
分からないが。ただ、参照カウントにはならなそうだね。オーバーヘッドやら
実装の複雑性やらが云々とか書いてあった。
0422デフォルトの名無しさんNGNG
>>420

メッチャ、サンスコ。
0423デフォルトの名無しさんNGNG
sweepをlazyにしたm&s-gcが単純で速い。
markを世代別にすればさらに無駄が少なくなる。
0424デフォルトの名無しさんNGNG
>>417
 まぁなんていうか知らないけど、漏れは再構築機構と呼んでます。漏れの
Luaのな使い方はアプリケーションのステータスやインストラクション情報の
構築なんかなんだけど(ゲームで言えばステージセットや敵の配置やイベント
処理ね)、これをLuaコードで吐き出すのではなくLuaに確保した配列情報を
そのままLuaバイナリイメージで保存してそのまま復元できたりすると便利だろうなぁと。

 例えばアプリのコンフィグデータを扱うような場合を考えてみると便利
さが解ると思います。更に将来的にデータが拡張されたりユーザ数によって
サイズが可変したりなんて場合にも連想配列で扱えると便利ですよね?
0425デフォルトの名無しさんNGNG
コアダンプみたいなものね
しかしインタプリタの実装が変わったらアウトなんでは?
コルーチンを永続化したいのでない限りは、
単にテーブルをシリアライズして持っとけば十分と思うんだが。
0426山崎渉NGNG
(^^)
0427デフォルトの名無しさんNGNG
GCによっては、予期しないエラーが発生したりしないですか?
0428デフォルトの名無しさんNGNG
しない。
つーか主語が何なのか書けよ。質問する前に日本語なんとかしろ。
0429デフォルトの名無しさんNGNG
主語は書いてあるだろgolua!
0430デフォルトの名無しさんNGNG
在日はこれだから困る( ´A`)
0431デフォルトの名無しさんNGNG
luaに刺激されて新しいスクリプトを作ってみたんだけど。。。
演算(+-*/)とif文だけ作って、strip しても既に30kB
luaは脅威だ!!
0432デフォルトの名無しさんNGNG
>>431
ネタですか?
手元にある、
read.eval.gc.cons.car.cdr.quit.defun.lambda.quote.setq.eq.null.atom.
numberp.print.terpri.rplaca.rplacd.progn.cond.and.or.not.list.+.-.*./.divide.>.<
が組み込まれた習作LISPの実行ファイルは19kb、
quote.if.lambda.set!.macro.begin.define.while.with-input-from-file.with-output-to-file.
and.or.quasiquote.unquote.unquote-splicing.sharp-hook.car.cdr.cons.read.write.load.eq?.
strcat.gc.oblist.pair?.null?.symbol?.string?.number?.macro?.newline.memq.apply.substring.
read-char.write-char.list->string.string->list.not.add2.sub2.mul2.div2.mod2.<.>.<=.>=.display.
string-length.string->symbol.symbol->string.length.string->number.number->string.eqv?.
peek-char.back-char.getd.procedure?.closure?.set-car!.set-cdr!.eval.append2.identity
が組み込まれたSchemeの実行ファイルは26kbですが。
ちなみにUPXで圧縮するとそれぞれ10kb, 14kb,。
ソースは両方ともC言語で700行以下。mingw -O2 strip
0433デフォルトの名無しさんNGNG
call/ccも欲しい





ってそういう話題じゃないか…。
0434431NGNG
いや、本当だ。
でも700行でなにがでるんだろう?

今の段かいでwc-lしてみたけど、約2000行いってた。

もちろん、これを1行で書くことも出来るわけだが。。。(w
0435431NGNG
ちなみに、意味のないことかもしれんが1〜100万までを単純ループで
足し算して合計を求めてみたが。。。

<2000行>
real0m1.234s
user0m1.230s
sys0m0.010s

<lua>
real0m1.538s
user0m1.530s
sys0m0.010s

<ruby>
real0m8.752s
user0m8.710s
sys0m0.010s

と、とりあえずは早いみたい。32ビットコードに変換して
実行させてるからかな?(大きさ&速度)

激しくオフトピなのでsage
0436デフォルトの名無しさんNGNG
>>435
rubyってもっと遅くない? >>32
0437デフォルトの名無しさんNGNG
24行もあればBASICインタプリタが
書けることが実証されていますが…
ttp://www.ioccc.org/1990/dds.c
0438デフォルトの名無しさんNGNG
>>437
BASICではないように見えるが…
0439>>436NGNG
これみるとrubyはluaより5倍ぐらい遅いみたいね
十分遅いとおもうけど?(w
0440デフォルトの名無しさんNGNG
>>432
うpしる!!!!

ていうかして下さいお願いします(=´ω`)
0441デフォルトの名無しさんNGNG
>>437
なにいれてもOkしか帰って来ない?
0442デフォルトの名無しさんNGNG
lua の フックの仕方が今一よくわからない。
0443デフォルトの名無しさんNGNG
>>441
$ ./dds
Ok
100 S = 0
Ok
120 FOR I = 1 TO 100
Ok
130 S = S + I
Ok
140 NEXT I
Ok
150 PRINT S
Ok
RUN 100
5050
Ok
0444デフォルトの名無しさんNGNG
ttp://www0.us.ioccc.org/1990/dds.hint
ttp://www0.us.ioccc.org/1990/LANDER.BAS
0445デフォルトの名無しさんNGNG
いつのまにか俺言語自慢大会に?
0446デフォルトの名無しさんNGNG
>>422

すまそ。自己解決。
日本語マニュアル良い感じで訳されて( ・∀・)イイ!!
0447>>443NGNG
TNX!
なるほど出来た、たいしたもんだね。
100万回ループさせたら、桁溢れしたけど(桁溢れを考慮すると)
値は正しいものだった。

ちなみに、速度は。。。
同一環境で。。。

real0m4.990s
user0m4.980s
sys0m0.000s

こちらも、このソースを考えればすごい!

rubyは、オブジェクト指向なので単純比較は出来ないのかもしれんが、
やはり遅いようだね。
0448デフォルトの名無しさんNGNG
四則演算するにもオブジェクト参照とメソッドコールが発生するからね。
0449デフォルトの名無しさんNGNG
1) lua: while
function loop()
 local i = 1000000
 while i > 0 do
  i = i - 1
 end
 return i
end

2) 700行scheme: while
(define (a)
 (let ((i 1000000))
  (while (> i 0)
   (set! i (- i 1)))
  i))

3) 700行scheme: tail call
(define (b)
 (let loop ((i 1000000))
  (if (> i 0) (loop (- i 1))
   i)))

1) 842msec
2) 973msec
3) 2108msec

誤差はあるけど順位は変わらないです。
schemeはread時点でmacro-expand済み。
3)はgcの影響。ちゃんとフロー解析して2)に近づけるのが目標。
0450デフォルトの名無しさんNGNG
みんな、たいした門だ、
やっぱり、こういうことするには大学の情報系出てるか、
独学で難しい理論しってる必要あるの?
0451デフォルトの名無しさんNGNG
大学の情報系出てて難しい理論知ってても、こういう事できない人は多い。
0452デフォルトの名無しさんNGNG
最も大事なのは、やる気、努力、根性、など。
その次に経験が重要で、それらがあれば知識は自然に付いてくる。
ちがうかなぁ?
0453デフォルトの名無しさんNGNG
速度的にはLuaもいいセンいってるのかな?
ソース見てみると結構煩雑に見えるけど。
0454デフォルトの名無しさんNGNG
>>453
たしか、上のほうで誰かがHP書いてくれてたけど、
他のスクリプトと比べてもかなり良い線入ってる漢字がした。
配列がやや遅い漢字もするが、これはハッシュと同一なので
納得できるきもする。

いかが?>ALL
0455デフォルトの名無しさんNGNG
break の文法的制約が繁雑なのと continue がないのは結構不便。
0456デフォルトの名無しさんNGNG
if ... then
end

萎える

あと、 functionなんで古スペル?
■ このスレッドは過去ログ倉庫に格納されています