Java仮想マシン（ジャバかそうマシン、英語: Java virtual machine、Java VM、JVM）は、Javaバイトコードとして定義された命令セットを実行するスタック型の仮想マシン。APIやいくつかのツールとセットでJava実行環境（JRE）としてリリースされている。この環境を移植することで、さまざまな環境でJavaのプログラムを実行することができる。

（12、C6 などの数値は16進法表記）

	-0	-1	-2	-3	-4	-5	-6	-7	-8	-9	-A	-B	-C	-D	-E	-F
0-	00 nop	01 aconst_null	02 iconst_m1	03 iconst_0	04 iconst_1	05 iconst_2	06 iconst_3	07 iconst_4	08 iconst_5	09 lconst_0	0A lconst_1	0B fconst_0	0C fconst_1	0D fconst_2	0E dconst_0	0F dconst_1
1-	10 bipush	11 sipush	12 ldc	13 ldc_w	14 ldc2_w	15 iload	16 lload	17 fload	18 dload	19 aload	1A iload_0	1B iload_1	1C iload_2	1D iload_3	1E lload_0	1F lload_1
2-	20 lload_2	21 lload_3	22 fload_0	23 fload_1	24 fload_2	25 fload_3	26 dload_0	27 dload_1	28 dload_2	29 dload_3	2A aload_0	2B aload_1	2C aload_2	2D aload_3	2E iaload	2F laload
3-	30 faload	31 daload	32 aaload	33 baload	34 caload	35 saload	36 istore	37 lstore	38 fstore	39 dstore	3A astore	3B istore_0	3C istore_1	3D istore_2	3E istore_3	3F lstore_0
4-	40 lstore_1	41 lstore_2	42 lstore_3	43 fstore_0	44 fstore_1	45 fstore_2	46 fstore_3	47 dstore_0	48 dstore_1	49 dstore_2	4A dstore_3	4B astore_0	4C astore_1	4D astore_2	4E astore_3	4F iastore
5-	50 lastore	51 fastore	52 dastore	53 aastore	54 bastore	55 castore	56 sastore	57 pop	58 pop2	59 dup	5A dup_x1	5B dup_x2	5C dup2	5D dup2_x1	5E dup2_x2	5F swap
6-	60 iadd	61 ladd	62 fadd	63 dadd	64 isub	65 lsub	66 fsub	67 dsub	68 imul	69 lmul	6A fmul	6B dmul	6C idiv	6D ldiv	6E fdiv	6F ddiv
7-	70 irem	71 lrem	72 frem	73 drem	74 ineg	75 lneg	76 fneg	77 dneg	78 ishl	79 lshl	7A ishr	7B lshr	7C iushr	7D lushr	7E iand	7F land
8-	80 ior	81 lor	82 ixor	83 lxor	84 iinc	85 i2l	86 i2f	87 i2d	88 l2i	89 l2f	8A l2d	8B f2i	8C f2l	8D f2d	8E d2i	8F d2l
9-	90 d2f	91 i2b	92 i2c	93 i2s	94 lcmp	95 fcmpl	96 fcmpg	97 dcmpl	98 dcmpg	99 ifeq	9A ifne	9B iflt	9C ifge	9D ifgt	9E ifle	9F if_icmpeq
A-	A0 if_icmpne	A1 if_icmplt	A2 if_icmpge	A3 if_icmpgt	A4 if_icmple	A5 if_acmpeq	A6 if_acmpne	A7 goto	A8 jsr	A9 ret	AA tableswitch	AB lookupswitch	AC ireturn	AD lreturn	AE freturn	AF dreturn
B-	B0 areturn	B1 return	B2 getstatic	B3 putstatic	B4 getfield	B5 putfield	B6 invokevirtual	B7 invokespecial	B8 invokestatic	B9 invokeinterface	BA invokedynamic	BB new	BC newarray	BD anewarray	BE arraylength	BF athrow
C-	C0 checkcast	C1 instanceof	C2 monitorenter	C3 monitorexit	C4 wide	C5 multianewarray	C6 ifnull	C7 ifnonnull	C8 goto_w	C9 jsr_w	CA breakpoint	CB 未定義	CC 未定義	CD 未定義	CE 未定義	CF 未定義
D-	D0 未定義	D1 未定義	D2 未定義	D3 未定義	D4 未定義	D5 未定義	D6 未定義	D7 未定義	D8 未定義	D9 未定義	DA 未定義	DB 未定義	DC 未定義	DD 未定義	DE 未定義	DF 未定義
E-	E0 未定義	E1 未定義	E2 未定義	E3 未定義	E4 未定義	E5 未定義	E6 未定義	E7 未定義	E8 未定義	E9 未定義	EA 未定義	EB 未定義	EC 未定義	ED 未定義	EE 未定義	EF 未定義
F-	F0 未定義	F1 未定義	F2 未定義	F3 未定義	F4 未定義	F5 未定義	F6 未定義	F7 未定義	F8 未定義	F9 未定義	FA 未定義	FB 未定義	FC 未定義	FD 未定義	FE impdep1	FF impdep2

• bipush、 sipush - byte値、 short値をスタックに積む。
• ldc - コンスタントプール内の4バイトの定数(int値、float値、java.lang.String)の内1バイト以内でエントリ番号を指定できるものをスタックに積む。
• ldc_w - エントリ番号が1バイトでは足りないときに使う。
• ldc2_w - コンスタントプール内の8バイトの定数(long値、double値)をスタックに積む。
• iconst_m1、 iconst_0、 iconst_1、 iconst_2、 iconst_3、 iconst_4、 iconst_5 - intの-1、0、1、2、3、4、5をスタックに積む。
• lconst_0、 lconst_1 - longの0、1をスタックに積む
• fconst_0、 fconst_1、 fconst_2 - floatの0、1、2をスタックに積む
• dconst_0、 dconst_1 - doubleの0、1をスタックに積む。
• aconst_null - スタックにnullを積む。
• pop、 pop2 - スタックから1、2ワード取り除く
• dup、 dup2
• dup_x1、 dup2_x1
• dup_x2、 dup2_x2
• swap

• iload、 lload、 fload、 dload、 aload - 局所変数からint値、 long値、 float値、 double値、 参照値を取り出してスタックに積む。
• iload_0、 iload_1、 iload_2、 iload_3 - 0、1、2、3番目の局所変数からint値を取り出してスタックに積む。
• lload_0、 lload_1、 lload_2、 lload_3 - 0、1、2、3番目の局所変数からlong値を取り出してスタックに積む。
• fload_0、 fload_1、 fload_2、 fload_3 - 0、1、2、3番目の局所変数からfloat値を取り出してスタックに積む。
• dload_0、 dload_1、 dload_2、 dload_3 - 0、1、2、3番目の局所変数からdouble値を取り出してスタックに積む。
• aload_0、 aload_1、 aload_2、 aload_3 - 0、1、2、3番目の局所変数から参照値を取り出してスタックに積む。
• istore、 lstore、 fstore、 dstore、 astore - int値、 long値、 float値、 double値、 参照値を局所変数に格納。
• istore_0、 istore_1、 istore_2、 istore_3 - int値を0、1、2、3番目の局所変数に格納する。
• lstore_0、 lstore_1、 lstore_2、 lstore_3 - long値を0、1、2、3番目の局所変数に格納する。
• fstore_0、 fstore_1、 fstore_2、 fstore_3 - float値を0、1、2、3番目の局所変数に格納する。
• dstore_0、 dstore_1、 dstore_2、 dstore_3 - double値を0、1、2、3番目の局所変数に格納する。
• astore_0、 astore_1、 astore_2、 astore_3 - 参照値を0、1、2、3番目の局所変数に格納する。

• ifeq、 ifnull、 iflt、 ifle、 ifne、 ifnonnull、 ifgt、 ifge - スタックの値が0、 null、 0未満、 0以下、 0以外、 null以外、 0より大きい、 0以上の場合に指定の番地に制御を移す。
• if_icmpeq、 if_icmpne、 if_icmplt、 if_icmpgt、 if_icmple、 if_icmpge - 2つのint値が等しい、等しくない、＜、＞、≦、≧の場合に指定の番地に制御を移す。
• if_acmpeq、 if_acmpne - 2つの参照値が等しい、等しくない場合に指定の番地に制御を移す。

• goto、 goto_w - それぞれ2バイト形式（符号付き16ビット）、4バイト形式（符号付き32ビット）でもつ相対番地をこの命令の番地に加えた番地に制御を移す（JavaにGO TO命令はなくても、このようにJava仮想マシンにgoto命令はある）。
• jsr、 jsr_w - サブルーチンの先頭に制御を移す。gotoと違い、戻り番地を保存する。戻り番地の値はそれぞれ、制御を移す前の番地+3、制御を移す前の番地+5となる。
• ret - サブルーチンから呼び出し元の戻り番地に制御を移す。番地が格納されている局所変数を指定する。
• lookupswitch - switch文のcase式の値が不連続である場合に、値を探しながら飛び越し先を探し、飛び越しを行う。
• tableswitch - switch文のcase式の値が連続である場合に、（キーがインデクス値、値が飛び越し先番地の）表を使って飛び越しを行う。（高速である）

• invokevirtual - インスタンスメソッドを呼び出す。
• invokespecial - インスタンス初期化メソッド、プライベートメソッド、スーパークラスのインスタンスメソッドを呼び出す。
• invokestatic - クラスメソッドを呼び出す
• invokeinterface - インターフェイスメソッドを呼び出す。

• return - スタックに値を残さずに、呼び出し元の戻り番地に制御を移す。
• ireturn、 lreturn、 freturn、 dreturn、 areturn - スタックに int値、 long値、 float値、 double値を残して、サブルーチンの呼び出し元の戻り番地に制御を移す。

• checkcast - 参照値が指し示すインスタンスの型を確認。
• instanceof - スタックから参照値をpopし、それが指定された型と同じであれば1を、異なれば0をスタックに積む。
• i2l、 i2f、 i2d、 i2b、 i2c、 i2s - int値をlong値、 float値、 double値、 byte値、 char値、 short値に変換したものをスタックに残す。
• l2i、 l2f、 l2d - long値をint値に、 float値に、 double値に変換したものをスタックに残す。
• f2i、 f2l、 f2d - float値をint値に、 long値に、 double値に変換したものをスタックに残す。
• d2i、 d2l、 d2f - double値をint値に、 long値に、 float値に変換したものをスタックに残す。

• dcmpg、 dcmpl - double同士を比較し、1（大きい）、0（等しい）または-1（小さい）をスタックに残す。「-g」と「-l」の違いはオペランドがNaNだったときの扱いの差。（以下同様）
• fcmpg、 fcmpl - float同士を比較する。
• lcmp - long同士を比較する。

• iinc - intの値を、符号付き1バイト（値の範囲は-128～127）の直接記述した定数だけ（符号付きで32ビットに拡張したうえで）増減する。
• iadd、 ladd、 fadd、 dadd - int値、 long値、 float値、 double値 で、スタックから取りだした第一の値に第二の値を加え、スタックに積む。
• isub、 lsub、 fsub、 dsub - int値、 long値、 float値、 double値 で、スタックから取りだした第一の値から第二の値を引き、スタックに積む。
• imul、 lmul、 fmul、 dmul - int値、 long値、 float値、 double値 で、スタックから取りだした第一の値に第二の値を掛け、スタックに積む。
• idiv、 ldiv、 fdiv、 ddiv - int値、 long値、 float値、 double値 で、スタックから取りだした第一の値を第二の値で割った商を、スタックに積む。
• irem、 lrem、 frem、 drem - int値、 long値、 float値、 double値 で、スタックから取りだした第一の値を第二の値で割った余り（value1 - (value1 / value2) * value2）を、スタックに積む。
• ineg、 lneg、 fneg、 dneg - int値、 long値、 float値、 double値 で、スタックから取りだした値の符号を反転した値（たとえば入力が123なら-123、-123なら123、0なら0）（すなわち2の補数）をスタックに積む。

• ishl、 lshl - int値、 long値 を指定ビットだけ左にシフトした値をスタックに残す。
• ishr、 lshr - int値、 long値 を指定ビットだけ右に算術シフトした値をスタックに残す。負数はシフト後も負に維持される。
• iushr、 lushr - int値、 long を指定ビットだけ右に論理シフトした値をスタックに残す。
• iand、 land - int値、 long値 の2オペランドのAND（ビットごとの論理積）を求め、スタックに残す。
• ior、 lor - int値、 long の2オペランドの OR（ビットごとの論理和）を求め、スタックに残す。
• ixor、 lxor - int値、 long の2オペランドのXOR（ビットごとの排他的論理和）を求め、スタックに残す。

• new - インスタンスの生成
• putfield、 getfield - メンバ変数への値の代入、値の取り出し
• putstatic、 getstatic - クラス変数への値の代入、値の取り出し

• iaload、 laload、 faload、 daload、 aaload、 baload、 caload、 saload - 配列の指定された位置にあるint値、 long値、 float値、double値、参照値、byteまたはboolean値、char値、 short値をスタックに残す。
• iastore、 lastore、 fastore、 dastore、 aastore、 bastore、 castore、 sastore - 配列にint値、 long値、 float値、 double値、 参照値、 byteまたはboolean値、 char値、 short値を格納する。
• newarray - 数値や文字の配列を作成し、その参照値をスタックに残す。
• anewarray - 参照値の配列を作成し、その参照値をスタックに残す。
• multianewarray - 多次元配列を作成し、その参照値をスタックに残す。
• arraylength - 配列の長さを求め、スタックに残す。

• athrow - java.lang.Throwableのインスタンスで例外やエラーを発生させる。
• nop - 何もしない (no operation)。
• breakpoint - デバッガがブレークポイントの実装に使える命令。
• monitorenter - オブジェクトのモニタをロックする。既に他のスレッドにロックされていれば待たされる。
• monitorexit - オブジェクトのモニタをアンロックする。他のスレッドのロック待ちは再度試行される。
• wide - ロード／ストア系命令やret、iincのインデックスを16ビットに拡張する。iincでは定数も16ビットに拡張する。

エンタープライズ用（デスクトップ用を包含）としては、オラクル、IBM、HPなどの各社から実装系がリリースされている。OS上でアプリケーションとして動作する形態が一般的である。

Windowsにも標準でJava仮想マシンが実装されていたが、マイクロソフトがサン・マイクロシステムズとの契約に反して自社仕様の拡張機能を付加したため、Windows XP以降のOSではJavaの技術使用ライセンスを失った。

また、オープンソースコミュニティの手によってIKVM.NETという共通言語ランタイム上で動作するJava仮想マシンの実装も進められている。

変わった試みとしてGNU SmalltalkのVM上で構築されたJava仮想マシンが存在する。^[1]

picoJava, Jazelle などJava仮想マシンの命令がハードウェア実装されたプロセッサ、すなわちバイトコードを直接実行可能なプロセッサも存在する。

最初のJava仮想マシンの実装（JDK 1.0）はインタプリタ型であったため、動作速度が他のアプリケーションに比べて遅い場合があった。そのため、メソッドの実行直前（Just in Time）にバイトコードをCPUのネイティブコードにコンパイルして実行する形式（JITコンパイラ）を、ボーランドや IBMなどがリリースした。サン・マイクロシステムズの実装もJDK 1.1からJITコンパイラを搭載した。

加えて、JDK 1.2から、サン・マイクロシステムズはHotSpotという高速化技術を導入した。HotSpotはJITコンパイラの一種だが、常にJITコンパイルを行うのではなく、実行回数が規定回数を超えたメソッド (Hotspot) のみをJITコンパイルする。これにより、JITコンパイルによる無駄なリソースの消費を防いだり、インタプリタ実行時のプロファイリング情報をJITコンパイル利用できる利点がある。HotSpotには用途別に、クライアントVM（コンパイルは高速だが生成されるネイティブコードが相対的にあまり最適化されない）と、サーバVM（コンパイルは低速だが生成されるネイティブコードが相対的により最適化される）がある。

• グリーンスレッド - pthread等、OSが提供するスレッドライブラリを直接使わずJavaで仮想的なスレッドを作り実行する形式。現在はあまり利用されていない。
• ネイティブスレッド - OSが提供するスレッドライブラリとJavaスレッドが1x1で対応する形式。

• 世代別GC - ヒープを2つ以上の世代に分割し、それぞれに異なるアルゴリズム（およびデータ構造）を適用する方式。

• コピーGC
• Mark & Sweep
• Mostly Concurrent Mark & Sweep
• Mark & Compact

• 動作環境
• Apache Harmony
• Dalvik仮想マシン
• HotSpot
• IcedTea
• IKVM.NET
• Kaffe
• leJOS
• SableVM

• The Java Virtual Machine Specification -Java SE 7 Edition- （英語）