専用仮想マシンへのコンパイル

[marihachi]

AiScript専用のバイトコードを生成する

レジスタマシンにする？
Luaもこの方式らしい

• インタプリタよりパフォーマンス良さそう
• むつかしそう

[ikasoba]

実装する際、レジスタと変数をどう割り当てるのか難しそうですね
レジスタは有限にしかないので、スコープとかが合わさってくるとより複雑になりそう・・・😵

luaはレジスタが256個あってそれを超える数の変数を定義しようとするとエラーになるらしいです
それなら単純そうだし、luaのスコープ周りの挙動がわかれば意外と実装できそうな気もするかもしれない？:thinking:

ただ、変数をより多く作りたいケースもあるかもしれない・・・？:thinking:

[FineArchs]

パーサー（コンパイラ？）がバイトコードを生成してインタープリタ？がそれを読み取って実行する感じですか？（今で言うASTをバイト列に置き換える感じ）

[ikasoba]

そんな感じですね、単にASTをバイト列にシリアライズすれば良いわけではないのが難しい所です

[marihachi]

有限個のレジスタだけだと枯渇しますし、メモリモデルが必要かもですね
ただjs環境前提ならレジスタ数無限でも良いかもしれません

[marihachi]

レジスタ割当については、各レジスタが使用フラグを持って、スコープを抜けたとかで解放していけばいいのかなと思いました

[FineArchs]

レジスタ割当については、各レジスタが使用フラグを持って、スコープを抜けたとかで解放していけばいいのかなと思いました

eval {
  var a = 'hoge'
  @func(){ return a}
}
func()

みたいな状況だとaが解放されているのにfuncにアクセスされてしまうという問題が起きそう？

[ikasoba]

evalでスコープが生成されるからそのスコープの外からはfuncは参照できないし大丈夫そう

[FineArchs]

確かに

var func = null
eval {
  var a = 'hoge'
  func = @(){ return a }
}
func()

問題になるのはこういうケースですね

[ikasoba]

あ～詰めが甘いとありそう
新しいブロックとかで参照される変数は開放するのを除外すれば行けそうかな:thinking:

[marihachi]

パーサー（コンパイラ？）がバイトコードを生成してインタープリタ？がそれを読み取って実行する感じですか？（今で言うASTをバイト列に置き換える感じ）

少し違います
パーサーとインタプリタの間にコードジェネレーターが挟まるようになりますね

[FineArchs]

確かにさすがにパーサーで直接バイト列を生成するのは厳しそうですね…

[FineArchs]

新しいブロックとかで参照される変数は開放するのを除外すれば行けそうかな🤔

今のところ参照を保持するのは配列、オブジェクト、関数なのでその3つだけ対策すれば良さそう？

[ikasoba]

うーん、配列やオブジェクトだと値を参照するので、レジスタからの読み取りは発生しないはずなので、関数のみで良さそう？(JavaScript上にランタイムを実装するのであれば)
ただ、配列やオブジェクトの構造の中身も確認しないといけなさそうですね

[FineArchs]

あー、確かに配列やオブジェクトの要素への代入に関しては値渡しだから関数と同じ問題は起こらないのか