オペランドスタック
From Wikipedia, the free encyclopedia
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として使用するなど）は一部の命令を除き禁止されている。