仮想マシンを構築したいのですが、良い参考資料はありますか？[閉まっている]

ゲームコード（本質的にスクリプト）を実行するプラットフォームに依存しない方法として仮想マシンを構築したいと考えています。

私がゲームで知っている仮想マシンはかなり古く、InfocomのZ-Machine、LucasArtsのSCUMM、id SoftwareのQuake 3です。.net開発者として、私はCLRに精通しており、CIL命令を調べて、VMレベル（言語レベル）で実際に実装するものの概要を取得しました。昨年、6502 Assemblerでも少し手を出しました。

問題は、これを実装したい¹ので、もう少し深く掘り下げる必要があります。スタックベースのVMとレジスタベースのVMがあることは知っていますが、どのアプローチがどれが優れているか、また、より多くのアプローチまたはハイブリッドアプローチがあるかどうかはわかりません。メモリ管理に対処し、どの低レベルタイプがVMの一部であるかを判断し、ldstrのようなものが動作する理由を理解する必要があります。

私の唯一の参考書（Z-Machineのものを除く）はCLI Annotated Standardですが、VMに関するより良い、より一般的/基本的な講義があるのでしょうか？基本的にDragon Bookのようなものですが、VM用ですか？レジスタベースのVMを使用するドナルドクヌースのコンピュータープログラミングの技術は知っていますが、特に未完成であるため、そのシリーズがまだどのように適用できるのかわかりません。

明確化：目標は、専用のVMを構築することです。たとえば、InfocomのZ-Machineには、背景色を設定したり、サウンドを再生したりするためのOpCodeが含まれています。したがって、スクリプト（言語TBD）を受け取り、それからバイトコードを生成するコンパイラーに対して、OpCodesとしてVMにどれだけの量が入るかを把握する必要がありますが、そのためには、実際に何をしているのかを理解する必要があります。

¹最新の技術により、高レベルのスクリプト言語をその場で解釈することができます。しかし、その面白さはどこにありますか？:)また、最近では仮想マシンはVMWareタイプのOS仮想化に関連付けられていることが多いため、Googleを検索するのも少し難しいです...

Luaをチェックすることから始めます。サンプル実装としても、最終的に独自のロールを行わないことにした場合は、すぐに使用できる非常に便利なVM /言語としても。

ソースコードは非常に読みやすく、注釈付きソースコードもあります。そして、主な著者であるロベルト・エルサリムスキによって書かれたいくつかのデザイン文書。

最後に、自分の代わりに使用することを選択した場合、ゲーム開発者の間で長い間人気があり、非常に高いパフォーマンスのJIT実装があることがわかります。

スタックベースとレジスタベースについては、スタックベースのVMの方が設計が簡単だと思いますが、コンパイラはより複雑になる可能性があります。Iesualimschyのペーパーノートにあるように、Luaは最初のレジスタベースの言語VMの1つでしたが、その後、LLVM、Dalvik、およびいくつかの最新のJavaScript VMなど、他のいくつかの仮想マシンが発芽しました。

現時点では、リンクするための特定のリソースはありませんが、過去に同様のトピックを調査した結果、Smalltalk VMも学習に役立つことがわかりました。Smalltalkで使用されるバイトコードについて書かれた学術論文や記事が多数あり、そのバイトコードを使用するためのインタープリターやVMの作成もあります。Googleで検索するとsmalltalk vm implementation、smalltalk bytecode interpreter多くの読み物が得られるはずです。

ソースコードを表示したり、実装を試してみたい場合は、SqueakまたはPharoのバージョンをお勧めします。

Selfは基本的にプロトタイプベースのオブジェクトを備えたSmalltalk（JavaScriptに似ています）であるため、関連する言語/ VM Selfにも興味があります。

[スクリプト]ソースコードがマシンまたはランタイム環境にどのように侵入するかを分析することから始めます。

HTMLドキュメントのようなもの<a onclick="dosomething();">がある場合、非常に高速なコンパイラが必要になります。この場合、バイトコードの実行速度はそれほど重要ではありません。ユースケースがJava / .NETに近く、完全にコンパイルできる場合、VMアーキテクチャとバイトコード構造は、JavaバイトコードまたはILに近くなります。

別の基準は、私が「グルーネス」と名付けたものです。もともとスクリプトはグルー言語として開発されました-スクリプトは、さまざまなネイティブ機能（Perl、Python、Ruby、JS）を接続する方法を定義するだけです。その場合、コードのほとんどが言語自体で記述された関数であるJava / .NETの場合よりも、VMおよびバイトコードの有効性はそれほど重要ではありません。

そして、私が使用する最後の主要な基準は、あなたの言語の拡張性です。C ++などで実装された多くのネイティブオブジェクト/関数を言語ランタイムに追加する計画がある場合、VMアーキテクチャはC ++との統合に「便利」である必要があります。たとえば、スクリプトC ++オブジェクトをそのまま公開する場合は、ヒープ管理として参照カウントするだけです（Pythonのように、統合の例としてboost :: pythonを参照してください）。移動/圧縮ヒープ/ GCを使用する場合は、別の話になります。ネイティブのものをランタイムに追加するLuaの方法は、少しトリッキーです（C ++開発者にとって）。

言い換えれば、最初に典型的なユースケースを定義しようとすると、何を読むべきかを提案しやすくなります。