📑 Table of Contents▼

Javaバイトコードとは、Javaプログラムの実行時にJava仮想マシンが解釈または実行するバイトコードである。Javaコンパイラはソースコードをこの命令列に変換し、クラスファイルとして保存する。

Javaとの関係

編集

Javaプログラマは、Javaバイトコードについて知ったり理解したりする必要は全くない。しかしながら、IBMのdeveloperWorksに投稿された記事では、「バイトコードを理解することと、どんなバイトコードがJavaコンパイラにより生成される可能性が高いかを理解することは、アセンブラ（アセンブリ言語）の知識がCやC++プログラマの助けになるのと同じように、Javaプログラマの助けになる」と述べられている[1][2][3]。

命令

編集
→「Java仮想マシン § 命令セット仕様」も参照

各バイトは256個の値を持ちうるので、256個のオペコードが可能である。これらのうち、0x00から0xcaまでの範囲と、0xfe、0xffが割り当てられた値である。0xcaはデバッガ用のブレークポイント命令として予約されており、Java言語は使用しない。同様に、0xfeおよび0xffは実装固有の機能に対するバックドアまたはトラップを提供することを意図して予約されており、Java言語は使用しない。

命令はいくつかの大まかな分類に分けられる:

  • ロードおよびストア（例: aload_0, istore）
  • 算術および論理（例: ladd, fcmpl）
  • 型変換（例: i2b, d2i）
  • オブジェクト作成および操作（new, putfield）
  • オペランドスタック管理（例: swap, dup2）
  • 制御の移動（例: ifeq, goto）
  • メソッド呼び出しおよび復帰（例: invokespecial, areturn）

例外のスローやスレッドの同期などのように、多くのより専門化されたタスクのための命令もいくつか存在する。

多くの命令は、扱うオペランドの型を示す接頭辞や接尾辞を持つ。これらは以下の通りである。

接頭辞 / 接尾辞 オペランド型
i integer
l long
s short
b byte
c character
f float
d double
z boolean
a reference

例えば、"iadd" は2つのintegerを加算し、"dadd" は2つのdoubleを加算する。"const"、"load"、そして "store" 命令は、"_n" という形式の接尾辞も取る。nは数字で、 "load" および "store" に対しては0から3までの値を取る。"const" に対してはnの最大値は型により違う。

"const" 命令はスタックに指定された型の値をプッシュする。例えば "iconst_5" は、integer 5をプッシュする。その一方、"dconst_1" はdouble 1をプッシュする。"null" をプッシュする "aconst_null" も存在する。"load" および "store" 命令用の nは、ロードやストアする変数テーブル[要説明]内の場所を指定する。"aload_0" 命令はスタックに変数0であるオブジェクト（このオブジェクトは通常 "this" オブジェクト）をプッシュする。"istore_1" はスタックのトップにあるintegerを変数1にストアする。より大きい数の変数に対しては、この形式の接尾辞は削除し、演算子を使用する必要がある。

計算モデル

編集

Java仮想マシン（の計算モデル）は、いわゆるスタックマシンである。例として、次のようなx86のコードを考える: 

 mov eax, byte [ebp-4]
 mov edx, byte [ebp-8]
 add eax, edx
 mov ecx, eax

2つの値を加算して別の場所にその結果をコピーする。類似のJavaバイトコードは以下のようになる: 

 0 iload_1
 1 iload_2
 2 iadd
 3 istore_3

ここで、加算される2つの値はスタックに積まれ、加算命令によりスタックから値が回収され、加算され、そして結果がスタックに戻される。それからストア命令がスタックのトップの値を変数の場所へ移動する。命令の前にある数は、メソッドの最初から各命令のオフセットを単に表しているだけである。このスタック指向モデルは、この言語のオブジェクト指向の側面にも及ぶ。例えば、"getName()" というメソッドの呼び出しは以下のようになる: 

 Method java.lang.String getName()
 0 aload_0       // "this" オブジェクトが変数テーブルの場所0にストアされる。
 1 getfield #5 <Field java.lang.String name>
                 // この命令はスタックのトップからオブジェクトをポップし、
                 // そのオブジェクトから指定されたフィールドを取得し、
                 // そしてスタックにそのフィールドをプッシュする。
                 // この例では、"name" フィールドがこのクラスの定数プールの5番目に対応する。
 4 areturn       // メソッドからスタックのトップのオブジェクトを返す。

例

編集

以下のJavaコードを考えよう: 

  outer:
  for (int i = 2; i < 1000; i++) {
      for (int j = 2; j < i; j++) {
          if (i % j == 0)
              continue outer;
      }
      System.out.println(i);
  }

上記がメソッド内に置かれていると仮定すると、Javaコンパイラは上記のJavaコードを以下のように翻訳するだろう: 

  0:   iconst_2
  1:   istore_1
  2:   iload_1
  3:   sipush  1000
  6:   if_icmpge       44
  9:   iconst_2
  10:  istore_2
  11:  iload_2
  12:  iload_1
  13:  if_icmpge       31
  16:  iload_1
  17:  iload_2
  18:  irem
  19:  ifne    25
  22:  goto    38
  25:  iinc    2, 1
  28:  goto    11
  31:  getstatic       #84; //フィールド java/lang/System.out:Ljava/io/PrintStream;
  34:  iload_1
  35:  invokevirtual   #85; //メソッド java/io/PrintStream.println:(I)V
  38:  iinc    1, 1
  41:  goto    2
  44:  return

生成

編集
→詳細は「JVM言語の一覧（英語版）」を参照

Javaバイトコードを生成する、Java仮想マシンをターゲットとした最も一般的な言語はJavaである。元々は、サン・マイクロシステムズからのjavacというコンパイラのみが唯一の実装として存在していた。javacはJavaソースコードをJavaバイトコードへとコンパイルする。しかし現在[いつ?]ではJavaバイトコードに対するすべての仕様が利用可能であるため、他のパーティーがJavaバイトコードを生成するコンパイラを提供している。他のコンパイラの例は以下の通り:

  • Jikes（英語版） - JavaからJavaバイトコードへとコンパイルする（IBMにより開発され、C++で実装されている）
  • Espresso - JavaからJavaバイトコードへとコンパイルする（Java 1.0のみ）
  • GCJ - Java用GNUコンパイラで、JavaからJavaバイトコードへとコンパイルする。これはネイティブな機械語にコンパイルすることもでき、GNUコンパイラコレクション (GCC) の一部として利用可能である。

いくつかのプロジェクトは、手動でJavaバイトコードを書くことを可能とするためのJavaアセンブラを提供する。アセンブリコードは、Java仮想マシンをターゲットとするコンパイラによるものを例として、マシンによっても生成される。有名なJavaアセンブラは以下の通り:

  • Jasmin（英語版） - Java仮想マシン命令セットを利用するシンプルなアセンブリライクな構文規則で記述されたJavaクラス用のテキスト記述を得て、Javaクラスファイルを生成する[4]。
  • Jamaica - Java仮想マシン用のマクロアセンブリ言語。Java構文規則はクラスやインタフェースのために利用される。メソッド本体はバイトコード命令を用いて指定される[5]。

その他にも、Java仮想マシンをターゲットとする、Javaとは異なるパラダイムを持つプログラミング言語用に開発されたコンパイラがある。それらは以下の通り:

実行

編集
→「Java仮想マシン」も参照

JavaバイトコードはJava仮想マシン内で実行されるように設計されている。今日ではフリーおよび商用ともに様々な仮想マシンが存在する。

実行するJava仮想マシン内のJavaバイトコードが望ましくない場合、開発者はGCJのようなツールを使用することで、JavaソースコードやJavaバイトコードを直接ネイティブコードにコンパイルすることもできる。いくつかのプロセッサはJavaバイトコードをネイティブに実行することができる。そのようなプロセッサは「Javaプロセッサ」として知られている。

動的言語のサポート

編集
→詳細は「JVM言語の一覧（英語版）」を参照

Java仮想マシン (JVM) のJVM命令セットおよびメソッド呼び出し機構は、メソッド呼び出しのシグネチャをコンパイル時に型チェックする、静的型付けベースと言える。[6]

JSR 292（Java™ プラットフォーム上の動的型付き言語のサポート）[7]により、（静的型検査ベースのinvokevirtualの代わりとして）動的型検査ベースの新規のinvokedynamic命令が追加された。Da Vinci Machineは、動的言語サポート向けのJVM拡張をホストするプロトタイプ仮想マシン実装である。Java SE 7をサポートする全てのJVMにもinvokedynamic命令が含まれる。

関連項目

編集

脚注

編集
  1. ^ Understanding bytecode makes you a better programmer[リンク切れ]
  2. ^ Java bytecode: Understanding bytecode makes you a better programmer | Peter Haggar, Internet Archive
  3. ^ A Formal Introduction to the Compilation of Java, Stephan Diehl, "Software - Practice and Experience", Vol. 28(3), pages 297-327, March 1998.
  4. ^ Jasminホームページ
  5. ^ Jamaica : Java仮想マシン (JVM) マクロアセンブラ
  6. ^ Nutter, Charles (2007年1月3日). “InvokeDynamic: Actually Useful?”. 2008年1月25日閲覧。
  7. ^ see JSR 292

外部リンク

編集

📚 Artikel Terkait di Wikipedia

バイトコード

バイトコード（英: bytecode / byte code）とは、プログラムを仮想マシンが実行できる形に変換した中間命令列である。ソースコードと機械語の中間に位置づけられ、異なる計算機環境間でのプログラムの移植性確保や実行処理の効率化を目的として用いられる。一般に命令はバイト単位で構成され、解釈実

CPython

Interpreter Lock? ^ "bytecode ... the internal representation of a Python program in the CPython interpreter." Python. bytecode - Glossary. Python 3.11

WebAssembly

のプログラミング言語ソフトウェア賞を受賞した。World Wide Web Consortium (W3C) が技術標準を管理しており、有名な大企業なども加盟する非営利団体「Bytecode Alliance」が貢献している。 WebAssembly という命名は、1950年代にまで遡る「アセンブリ言語」の概念を想起させるためのも

Eclipse (統合開発環境)

FindBugsプラグイン Javaソースコードからバグパターンを検出するプラグイン。 Papilioプラグイン Eclipse上でバグ管理システム (BTS) を実現したプラグイン。従来の代表的なBTS（BugzillaやScarabなど）と違い、WebサーバやDBサーバを構築する必要がない。 ByteCode Outline

オペコード

Beginners - Introduction ^ IBMのドキュメント, opcodes in assembler ^ Assembly Language Opcodes ^ Intel 80x86 Assembly Language OpCodes ^ bytecode Definition

中間表現

8でプログラマブルシェーダーが導入された当初はアセンブリ言語を利用してシェーダープログラムを記述していたが、このときすでにDXBC（DirectX Bytecode）と呼ばれるGPUベンダー非依存の中間表現を採用していた。まずDirect3Dランタイムがシェーダーコードのバリデーションを実行し、妥当性や有

Parrot

yなどがあるため、Pythonコミュニティは見守る様子を見せている。 Parrot のコードには3つの形態がある。バイトコード(Parrot Bytecode, PBC)はネイティブでParrotに解釈される機械語であり、ほかの2つのコードはIMCC(旧バージョン)またはPIRC(新バージョン)によ

ARMアーキテクチャ

ARMは、Javaバイトコードをハードウェアでネイティブに実行できる技術を実装した。これはARMやThumbモードと並ぶもう一つの実行モードであり、ARM/Thumbの切り替えと同様にしてアクセスすることができる。後述のJazelle RCTに対してJazelle DBX (Direct Bytecode eXecution)