オペランドスタック
オペランドスタック（英: operand stack）とは、スタックマシンなどの仮想機械が使用するオペランド用のスタックで、メモリ内の領域の1つ。スタックマシンでは、コールスタックと区別して、オペコードを実行する際にオペランド用に使用するスタックを用意する場合があり、これをオペランドスタックと呼ぶ。
Java仮想マシン
[編集]Java仮想マシンでは、コールスタックとして、オペランドスタックとは別の、スレッドごとに作られるJava仮想マシンスタック（Java Virtual Machine stack）に、フレーム（frame）と呼ばれる小分けされた領域がある[1]。オペランドスタックは、そのフレーム内の領域の種類の1つである。スタックの一種である。[2]
オペランドスタックはJava仮想マシンの機械語の命令（オペコード）から直接使用される。Java仮想マシンはスタックマシンであり、レジスタが無いため、オペランドスタックを作業領域に使って計算などを実行する。例えば、ローカル変数の int の値を2つ iload命令でオペランドスタックにプッシュし、iadd命令でその2つをポップし、加算する、というような使い方がされる。
オペランドスタック1つの領域サイズは32ビットで、long 型と double 型だけは2つ分のサイズ（64ビット）を使用する。
Javaクラスファイルのロード時チェックにより、オペランドスタックに積まれた時の型以外の使用をすること（float でプッシュした値を int として使用するなど）は一部の命令を除き禁止されている。
.NET
[編集].NET の共通中間言語ではオペランドスタックの事を評価スタック（evaluation stack）と呼んでいる。[3]
Python仮想機械
[編集]Python仮想機械ではオペランドスタックの事をインタープリタ・スタック（interpreter stack）と呼んでいる。[4]
関連項目
[編集]参照
[編集]- ^ “2.5.2. Java Virtual Machine Stacks - Chapter 2. The Structure of the Java Virtual Machine”. docs.oracle.com. 26 March 2024閲覧。
- ^ “2.6.2. Operand Stacks - Chapter 2. The Structure of the Java Virtual Machine”. docs.oracle.com. 26 March 2024閲覧。
- ^ “ECMA-335 - Ecma International”. Ecma International. 26 March 2024閲覧。
- ^ “dis --- Python バイトコードの逆アセンブラ”. Python documentation. 26 March 2024閲覧。