Java VM Implementations

これは、高木浩光氏が作成してJavaHouse-Brewersに投稿したJava VM関連情報のリストを元に、追加情報を加えたものです。

足りない点の指摘、コメントの追加などいただければ幸いです。

最終更新: Tue Aug 28 18:10:38 JST 2001

["Java Programming Information"に戻る]

VM

Java VM (JITコンパイラ)
Java VM (AOTコンパイラ)
Java VM (コンパイラなし)

コンパイラ

Javaコンパイラ
JITコンパイラ
AOTコンパイラ (VM必要)
AOTコンパイラ (VM不必要)
Javaバイトコードから他の言語(Cなど)へのトランスレータ
Java言語から他の言語(Cなど)へのトランスレータ
他言語からJavaバイトコードへのコンパイラ
他言語からJava言語へのトランスレータ

インタプリタ

Javaインタプリタ
Javaで実装された他言語のインタープリタ

ツール類

他言語とJavaのインターフェース
Java コンパイラフロントエンド、プリプロセッサ
Java パーザジェネレータ
ベンチマークと比較
アセンブラ・逆アセンブラ
逆コンパイラ
プロファイル処理
クラスファイル操作のJavaコードを含むもの(ソース付き)
JITの動作の検証

参考資料

最適化コンパイル技法
Java言語仕様の参考文書
VM 作成のための参考文書
GC 作成のための参考文書
JIT 作成のための参考文書
Javaメモリモデルの参考文書
関連会議

■ Java VM (JITコンパイラ)

Sun MicroSystems: Java Development Kit
Windows 95 & NT, Solaris / JDK 1.0 & JDK 1.1 & JDK 1.2 & JDK 1.3
ダウンロード可
http://java.sun.com/products/jdk/1.0.2/
http://java.sun.com/products/jdk/1.1/
http://java.sun.com/products/jdk/1.2/
http://java.sun.com/products/jdk/1.3/
Sun MicroSystems: Java HotSpot Performance Engine
Solaris 2 for SPARC, Windows 95 & 98 & NT / JDK 1.2
http://java.sun.com/products/hotspot/
- The Java HotSpot Performance Engine Architecture, 1999.
- David Stoutamire, Sreeram Duvvuru: The Java HotSpot Performance Engine, JavaOne '99, 1999.
Sun MicroSystems: Java Development Kit for Solaris
Solaris 2 for SPARC & Intel / JDK 1.1 & JDK 1.2
ダウンロード可
http://www.sun.com/solaris/java/
Sun Labs : The Sun Labs Virtual Machine for Research
以前はProduction Releaseに使われていたVM & ExactVM, EVMと呼ばれたば，今はResearchVMと呼ぶ．JIT．学術研究用ライセンスあり
http://www.sunlabs.com/research/java-topics/
- Derek White, Alex Garthwaite: The GC Interface in the EVM, TR-98-67, 1998.
- Ole Agesen: GC Points in a Threaded Environment, TR-98-70, 1998.
- Ole Agesen, David Detlefs, Alex Garthwaite, Ross Knippel, Y.S. Ramakrishna, Derek White: An Efficient Meta-lock for Implementing Ubiquitous Synchronization, TR-99-76, 1999.
Sun Microsystems: Java 2 Platform for Linux
x86 / Linux / JDK 1.2
InpriseのJIT．
http://java.sun.com/features/1999/12/linux.html
Java for all SNI platforms
Reliant UNIX / JDK 1.1 & JDK 1.2
ダウンロード可
http://www.sni.de/servers/w3app/w3app_us/java.htm
Java Platform Ports
JDKの移植状況を示すページ
http://java.sun.com/cgi-bin/java-ports.cgi
IBM: Develpers : Java Technology : Developer kits
Linux, AIX, OS/2 Warp, Windows, VM/ESA, OS/390 / JDK 1.1
ダウンロード可
http://www.ibm.com/Java/jdk/download/
Java Linux
利用可能プラットフォーム一覧 / JDK 1.0 & JDK 1.1 & JDK 1.2
ダウンロード可
http://www.blackdown.org/java-linux.html
Intel: Open Runtime Platform
Linux, Windows 2000/IA32
ダウンロード可．オープンソース． JITやGCの研究用．
http://www.intel.com/research/mrl/orp/
Compaq: Extreme Java Technology
Tru64 UNIX, OpenVMS/Alpha, Alpha NT / JDK 1.1 & JDK 1.2
ダウンロード可
http://www.digital.com/java/
HEWLETT PACKARD: Java
HP-UX / JDK 1.1 & JDK 1.2
ダウンロード可
http://www.unixsolutions.hp.com/products/java/index.html
SiliconGraphics: The Java Environment - Development Tools and Tips -
IRIX / JDK 1.1 & JDK 1.2
ダウンロード可
http://www.sgi.com/developers/devtools/languages/java.html
Kevin Buettner, Scott Hutinger, Brian Keller, Kelvin Hendricks: Java for Linux on the PowerPC
PowerPC用Linux (PowerMacintosh上のMkLinux) / JDK1.1 & 1.2
ダウンロード可 (MetrowerksのJITコンパイラも可)
http://khendricks.ivey.uwo.ca/linuxppc/jdk/ (added by 高橋とおる)
Borland: JBuilder
http://www.borland.com/jbuilder/
SYMANTEC: Visual Cafe
Windows / JDK 1.1
http://www.symantec.com/domain/cafe/index.html
Metrowerks: CodeWarrior
http://www.metrowerks.com/
Microsoft: Microsoft VM
MicrosoftのOS / JDK 1.1相当
ダウンロード可
http://www.microsoft.com/java/
- 日本語訳
- バージョン一覧
Apple Computer: MRJ (Macintosh Runtime for Java)
PowerPC & 68040 / MacOS / JDK 1.1
ダウンロード可
http://www.apple.com/java/
- FAQ
- Apple Developer Connection: Mac OS Runtime for Java
- Java on the Macintosh
- Jake…javacなどのビジュアルなフロントエンド．
- 新居雅行: Macintosh Java Report
MASS Laboratory (Seoul National University): LaTTE
SPARC / Solaris / JDK 1.1相当
ダウンロード可．ソースコード公開．
http://latte.snu.ac.kr/
- VLaTTE…VLIWマシン用JITコンパイラ (開発中)
FreeBSD, Inc.: JDK 1.1 for FreeBSD
i386 / FreeBSD 2.2以降 / JDK 1.1
ダウンロード可
http://www.freebsd.org/java/
JDK 1.1.5 port to NetBSD
NetBSD / i386 / JDK 1.1
ダウンロード可
http://www.quick.com.au/java/
Transvirtual Technologies, Inc.: Kaffe
各種CPU / 各種OS / PersonalJava 1.1.1相当
http://www.transvirtual.com/products/
Kaffe Core Team: Kaffe OpenVM
各種CPU / 各種OS / JDK 1.1相当 + JDK 1.2の一部
ダウンロード可，オープンソース
http://www.kaffe.org/
BeKaffe
BeOS
ダウンロード可
http://bekaffe.sourceforge.net
Insignia Solutions: JEODE
各種CPU / 各種OS / EmbeddedJava 1.1.6相当
http://www.insignia.com/4.0/products/jeode.htm
- White Paper
Appeal Software Solutions: JRockit
Windows NT & 2000 / JDK 1.2 & 1.3
ダウンロード可
http://www.jrockit.com/

■ Java VM (AOTコンパイラ)

Tower Technology Corporation: TOWER J
HP-UX, Tru64 Unix, Solaris, Windows NT, IRIX DG/UX, Linux
評価版が無料でダウンロード可．サーバ用．
http://www.towerj.com/
- White Paper
Hewlett-Packard: Chai
Windows NT, HP-UX / JDK 1.1相当
無料試用化．ソースコード入手可．
- ChaiVM
- TurboChaiコンパイラ…AOTコンパイラ
http://www.chai.hp.com/
NewMonics, Inc.: PERC
各種CPU / 各種リアルタイムOS / JDK 1.1相当
QuickPERCコンパイラ(AOTコンパイラ)
http://www.newmonics.com/PERC/
- FAQ
Wind River Systems: Personal JWorks
VxWorks / PersonalJava 3.0
TurboJをAOTコンパイラとして使用．
http://www.wrs.com/internet/html/pjps.html
IRISA Compose Group: Harissa
Linux 2.0, Solaris 5.5, SunOS 4.1.4 / JDK 1.0相当
旧称Salsa．コンパイラはC言語で記述され，バイトコードをC言語に変換する． class hierarchy analysysをおこなって，static method call に変換する． method inlining可能．index checkを省略できる．ダウンロード可．
http://www.irisa.fr/compose/harissa/harissa.html

■ Java VM (コンパイラなし)

Sun MicroSystems: K Virtual Machine (KVM)
Java 2 MEの中核となる軽量Java VM．
http://java.sun.com/products/kvm/
http://www.sun.co.jp/software/consumer-embedded/kvm/index.html (日本語訳)
- The K Virtual Machine A white Paper
- KVMホワイトペーパー (日本語訳)
- KAWT…KVM用AWT
- Lokust…KVM用ウィンドウツールキット
- jSyncManager
- 藤沢淳: KVM for Palmチュートリアル
Sun Microsystems: Spotless System
3COM Pilot
ダウンロード可
Sun Labsで開発されたKVMの元になったシステム．
http://www.sun.com/research/spotless/
- Antero Taivalsaari, Bill Bush, Doug Simon: The Spotless System: Implementing a Java System for the Palm Connected Organizer, TR-99-73, 1999.
Sun Microsystems: JavaInJava
Sun Labsで開発されたJavaで記述されたJava VM．
- Antero Taivalsaari : Implementing a Java Virtual Machine in the Java Programming Language, TR-98-64, 1999.
IBM: VisualAge for Embedded Systems
各種CPU / QNS/NeutrinoリアルタイムOS / JDK 1.2のサブセット
http://www-4.ibm.com/software/ad/embedded/
アプリックス: JBlend
各種CPU / ITRON仕様OS / JavaOS 1.1
JTRON仕様．
http://www.JBlend.com/vision/index.html
- 技術情報, FAQ
- FFT…Java VMの高速化技術
- JTRON…ITRON仕様のリアルタイムOS上のJava実行環境のインタフェース仕様
アクセス: JV-Lite
各種CPU/各種リアルタイムOS / JDK 1.0.2相当 + JDK 1.1の一部
評価版入手可．
http://www.access.co.jp/product/proline/jvlite.htm
- JV Lite SDK for M32R/D
- JV Lite SdK for SH-3
WabaSoft: Waba
PalmOS, MacOS, Windows CE / Javaのサブセット
ダウンロード可
http://www.wabasoft.com/
- Waba WORLD…Wabaに関する日本語情報源．
マイクロウェアシステムズ: personalJava Solution for OS-9
OS-9 / PersonalJava 3.0
http://www.microware.ne.jp/news/news_release/991028-3.html
Japhar
i386 or SPARC / Unix系OS / JDK 1.1相当
ダウンロード可．LGPL．
http://www.japhar.org/
- サポートされているプラットフォーム
Mach J Company: Mach J
C++で記述された組み込み用VM．インクリメンタルGC．ソースコード・ライセンス
http://www.machj.com/more.htm
TimeSys Corporation: RT/Java
RT-Linux
http://www.timesys.com/ (Added by 酒井)

■ Javaコンパイラ

Java言語をJavaバイトコードに変換するコンパイラである．このリストは，Java言語を拡張した場合も含んでいる．

Sun Microsystems: javac
Javaで記述されたJavaコンパイラ．JDKに付属．
- JDK 1.0 ( Solaris, Windows)
- JDK 1.1 ( Solaris Windows)
- JDK 1.2 ( Solaris Windows)
- JDK 1.3 ( Solaris Windows)
IBM: Jikes
C++で記述されたJavaコンパイラ．オープンソース．
http://www.research.ibm.com/jikes/
- FAQ
- ポーティング状況
PIZZA A substantial companion to Java
Javaの言語仕様を拡張．parametric polymorphism, first-class function．ダウンロード可, ソースコード(Java)公開
http://wwwipd.ira.uka.de/~pizza/
Team GJ: GJ (A Generic Java Language Extension)
Java言語のGeneric Typeの拡張．GJコンパイラがダウンロード可．
http://wwwipd.ira.uka.de/%7Epizza/gj/
The KOPI Project: KJC (Kopi Java Compiler)
Javaで記述されたJavaコンパイラ．拡張可能．
http://www.dms.at/kopi/kjc.html
- XKJC(eXtended Kopi Java Compiler)…embedded SQLを扱うように拡張されたJKC
Detlef Hoeffner: JUMP compiler
Windows, LINUX
operator overload, class templateをサポート．ダウンロード可．
http://ourworld.compuserve.com/homepages/DeHoeffner/jump.htm
Programming Methodology Group (MIT LCS): PolyJ
C++で記述されたguavacの拡張．parameterized typeをサポート．ダウンロード可．
http://www.pmg.lcs.mit.edu/polyj/
KIEV
pizzaの拡張． Prologのコードを埋め込み可．
http://forestro.com/kiev/

■ JIT(Just-In-Time)コンパイラ

クラスをロードした後にネイティブコードに変換するコンパイラである．

Borland: JBuilder Java 2 JIT for Linux
Linuxで利用できるJITコンパイラ．ダウンロード可．
http://www.borland.com/jbuilder/linux/
Metrowerks: Java Acceleration Technology for PowerPC
PowerPC上のLinux用JITコンパイラ
http://www.metrowerks.com/news/index.taf?function=PR&ID=201
SYMANTEC: Excalibur
Visual Cafeで使用される適応コンパイラのホワイトペーパー．
http://www.symantec.com/domain/cafe/jit/excalibur.html
Mozilla Organization: ElectricalFire
Windows NT, 95, 98, x86 Linux, FreeBSD
http://www.mozilla.org/projects/ef/
- FAQ
首藤一幸 : shuJIT
Linux (x86), FreeBSD / JDK 1.1
ダウンロード可．ソースコード公開．strictfpをサポート．
http://www.shudo.net/jit/index-j.html (added by 首藤)
TYA
Linux (x86), FreeBSD / JDK 1.1
ダウンロード可, ソースコード公開
http://www.dragon1.net/software/tya/ (added by 首藤)
IBM: Java(tm) JIT Compiler Project Home Page
OS/2, AIX, Windows 95/NT, OS/390, Java OS / JDK 1.1
ダウンロード可
http://www.trl.ibm.co.jp/projects/jit/index.htm
- Overview of the IBM Java Just-in-Time Compiler
CACAO
ALPHA / JDK 1.0.2
ダウンロード可．64bit JIT
http://www.complang.tuwien.ac.at/java/cacao/ (added by 高木)
The OpenJIT project: OpenJIT
SPARC / Solaris, x86 / Linux, x86 / FreeBSD
ダウンロード可．Reflectionを適用して、動的に拡張可能なJIT
http://www.openjit.org/

■ AOTコンパイラ (VM必要)

Javaバイトコードを，動的にロードできるネイティブコードを生成し，Java VMと組み合わせて使用する．ここでは，一度Cなど他の汎用言語に変換してから，ネイティブコードにコンパイルするものも含んでいる．

Intel: VTune Performance Analyzer
Javaアプリケーションの性能を分析して，ボトルネックを改善するためのツール． AOTコンパイラも含んでいる． http://www.intel.com/vtune/analyzer/
http://www.intel.co.jp/jp/developer/vtune/v4/analyzer/index.htm (日本語)
The Open Group: TurboJ
HP-UX, Linux
JavaバイトコードをCのソースコードに変換し，プラットフォームのCコンパイラをネイティブコードに変換する．クラスのロード時に変換するようなJITコンパイラ的使用法だけでなく，TurboChaiのようなAOTコンパイラとしても使用されている．すべてJavaで記述されている，なお，現在下記のリンクでは見ることができない(新しいリンクをご存じの方はぜひご一報を)．
http://www.camb.opengroup.org/openitsol/turboj/
SGI CosmoCode
SGI(MIPS)用のネイティブコードが作成可能．
http://www.sgi.com/developers/devtools/languages/cosmojava.html (added by 安藤)

■ AOTコンパイラ (VM不必要)

Javaソースコード，またはバイトコードから，直接ネイティブコードを生成する．直接実行できるバイナリを生成する半面，動的にクラスをダウンロードしてロードできないなど，Javaのすべての機能を利用できない．

Free Software Foundation: GCC
ダウンロード可，ランタイムライブラリは別に配布
http://www.gnu.org/software/gcc/gcc.html
Instantiations: JOVE Super Optimizing Deployment Environment
バイトコードをネイティブコードに変換．評価版をダウンロード可
http://www.instantiations.com/jove/product/thejovesystem.htm
NaturalBridge LLC : BulletTrain
Windows NT, 95, 98 / JDK 1.2
バイトコードをネイティブコードに変換．strictfpをサポート．
http://www.naturalbridge.com/bullettrain.html
- 詳しい解説

■ Javaバイトコードから他の言語(Cなど)へのトランスレータ

UW Cecil/Vortex Project
(Vortex intermediate code に変換(Javelin)して、これを Vortex が最適化し C に変換する。automatic inlining, interprocedual static class analysis, class hierarchy analysis, class hierarchy based static class prediction, dynamic profile guided class prediction がなされる。)
(ソース(C: Javelin, Cecil: Vortex) あり)
http://www.cs.washington.edu/research/projects/cecil/www/cecil-home.html
Toba: A Java-to-C Translator
Java言語で記述されたJavaからC言語へのトランスレータ．ソースコードあり．
http://www.cs.arizona.edu/sumatra/toba/
Nik Shaylor: JCC - A Java to C converter
Java言語で記述されたJavaからC言語へのトランスレータ．ソースコードあり．
http://www.geocities.com/CapeCanaveral/Hangar/4040/jcc.html

■ Javaインタープリタ

Stephane Hillion: DynamicJava
Java言語で書かれた，Java言語のインタープリタ．ダウンロード可．ソースコード公開．
http://www.inria.fr/koala/djava/

■ Java言語から他言語へのトランスレータ

飯田陽彦: Janus
JavaとC++の仕様の共有サブセットをJanusとして定義し、それからC++のソースコードへ変換する。メモリ管理は自分でおこない、例外処理、スレッドなどは使用できない。
http://www.java-conf.gr.jp/event/grandprix/97/sakuhin/T/TI3970/

■ Javaで実装された他言語のインタプリタ

戸松豊和: Pnuts
型宣言なしでJavaのクラスが何でも使えるスクリプト言語のインタプリタ。
「Java製品紹介」セミナー(12/10)レポート
 http://www.etale.com/pnuts/index-j.html (added by 紀)
Scriptics Corporation: Jacl
100% Pure JavaなTcl処理系
http://www.scriptics.com/products/java/ (added by 鈴木@OTSL)
Chuck McManis: Java In Depth
1. How to build an interpreter in Java, Part 1: The BASICs http://www.javaworld.com/javaworld/jw-05-1997/jw-05-indepth.html
2. How to build an interpreter in Java, Part 2: The structure http://www.javaworld.com/javaworld/jw-05-1997/jw-05-indepth.html
3. Build an interpreter in Java -- Implement the execution engine http://www.javaworld.com/javaworld/jw-07-1997/jw-07-indepth.html

■ 他言語からJavaバイトコードへのコンパイラ

NetREXX
REXX言語からJavaバイトコードへのコンパイラ
http://www2.hursley.ibm.com/netrexx/ (added by Tadashi Ohmura)
Programming Languages for the Java Virtual Machine
Lisp系、Basic系、Prolog系とか、Tcl, Ada, Forthなどを集めたリンク集
http://grunge.cs.tu-berlin.de/~tolk/vmlanguages.html (added by 紀)

■ 他言語からJava言語へのトランスレータ

jProlog
Prolog言語からJava言語への変換
JDK 1.02で動作
http://www.cs.kuleuven.ac.be/%7Ebmd/PrologInJava/

■ 他言語とJavaのインターフェース

JPL (Perl Interface to Java)
PerlとJavaの相互呼び出しをするためのインターフェイス．
http://www.perl.com/pace/pub/perldocs/1998/12/jpl-announce.html (added by 上原潤二)
Java Ruby Interface
RubyからJavaのクラスライブラリを利用するためのインターフェイス．
ftp://ftp.netlab.co.jp/pub/lang/ruby/contrib/java-module-0_5.README
ftp://ftp.netlab.co.jp/pub/lang/ruby/contrib/java-module-0_5.tar.gz (added by 上原潤二)
Java Python Interface (JPI)
Python言語からJavaへのインターフェース．
http://www.ndim.edrc.cmu.edu/dougc/jpi/Introduction.html (added by 紀)
JIPL
Java言語からのPrologの述語の呼び出し、PrologからのJavaのメソッドの呼び出しが可能．
JDK 1.1上で動作
http://Prolog.isac.co.jp/jipl/

■ Java コンパイラフロントエンド、プリプロセッサ

JPP - A preprocessor for the Java language
http://www.geocities.com/CapeCanaveral/Hangar/4040/jpp.html
JAVAR - A prototype restructuring compiler for Java
http://www.extreme.indiana.edu/~ajcbik/JAVAR/index.html
EPP (EPP自身を使って書かれた拡張可能 Java プリプロセッサ by 一杉@ETL)
http://www.etl.go.jp/~epp/j-index.html

■ Java パーザジェネレータ

Java Parser Generatorへ

■ ベンチマークと比較

SPECjvm98
http://java.sun.com/pr/1998/08/pr980819.html
http://www.specbench.org/osg/jvm98/
JMark 2.0
http://www.zdnet.com/zdbop/jmark/jmark.html
Java Performance Report (CaffeineMark)
http://www.webfayre.com/pendragon/jpr/index.html
Volano LLC: VolanoMark
サーバ側のJavaプログラムのベンチマーク
http://www.volano.com/mark.html
cnetの参考記事
Java Optimization
(Resources ページには benchmarks などいろいろ集められている)
http://www.cs.cmu.edu/~jch/java/optimization.html
Java Pro
http://www.java-pro.com/
Linpack Benchmark -- Java Version
http://www.netlib.org/benchmark/linpackjava/
CaffeineMark Java Benchmark
(AWT なども含めた総合的な Java benchmark)
http://www.pendragon-software.com/pendragon/cm3/index.html
Javaperf
http://playground.sun.com/pub/prasadw/javaperf/
Just In Time Compiler Performance Analysis
(SYMANTECのベンチマークプログラムとその結果)
http://www.symantec.com/jit/jit_pa.html
BYTE: BYTEmark
(BYTEmarkのJava版)
http://www.byte.com/bmark/bmark.htm
i-Bench
Webブラウザの総合的なベンチマーク(Javaのベンチマークを含む)
http://i-bench.zdnet.com/ibench/i-bench.htm
CFD Benchmark
CFDベンチマークができるJavaアプレット
http://ccwins.nifs.ac.jp/demo/CFD-Benchmark/CFDBenchmark.html
Jstones
GUIのベンチマーク
http://129.13.11.104/~jsteck/Jstones.html
岡田哲哉: Dhrystone Benchmark in Java
Dhrystoneのアプレット
http://www.c-creators.co.jp/persons/okayan/DhrystoneApplet/
Satoshi Sekine: Java Engine
xengineのJava版アプレット
http://www.inh.co.jp/~sekine/Java/JavaEngine/JavaEngine.html
中田宏明: Java Benchmark Applet
ジュリア集合の計算と描画を使ったベンチマークアプレット
http://www.ta.chiba-u.ac.jp/~nakata/Benchmark_JAVA/Benchmark.html
植木章夫: Javaオブジェクトパフォーマンスの評価
二次元FFTでの地形生成を使ったベンチマークアプレット http://www.softbank.co.jp/softbank/publishing/dosvstart/javabench.htm

■ アセンブラ，逆アセンブラ

Markus Dahm: Java Class API
Javaクラスファイルを生成，アセンブル，逆アセンブルするためのツール．
http://www.inf.fu-berlin.de/~dahm/JavaClass/
John Meyer: Jasmin
バイトコードのアセンブラ．Java CupとJASを内部で使用．
http://www.cat.nyu.edu/meyer/jasmin/
- 命令のリファレンス
JAS
バイトコードのアセンブラ．
http://www.sbktech.org/jas.html
Shawn Silverman: D-Java
Cで記述された逆アセンブラ．Jasmin形式で出力．
http://mrl.nyu.edu/meyer/jvm/djava/
Project Kimera: Kimera Disassembler
オンラインで使用できる逆アセンブラ．Jasmin形式で出力．
http://kimera.cs.washington.edu/disassembler.html
Jason Hunt: Java(tm) Bytecode Assembler
アセンブラ
http://siesta.cs.wustl.edu/~djh4/

■ 逆コンパイラ

WingSoft Corporation: WingDis
逆コンパイラ．
http://www.wingsoft.com/javadis202.shtml
Hanpeter van Vliet: Mocha
逆コンパイラ．開発者はすでに亡くなっている．
http://www.brouhaha.com/~eric/computers/mocha.html
Sourcetec Software: SourceTec Java Decompiler
逆コンパイラ．Mochaの制限をなくすパッチ．
http://www.srctec.com/decompiler.htm
Pavel Kouznetsov: Jad
C++で記述された逆コンパイラ．
http://www.geocities.com/SiliconValley/Bridge/8617/jad.html
Pete Ryland: Homebrew Decompiler
Cで記述された逆コンパイラ．
http://www.pdr.cx/hbd/

■ profile 処理

ProfileViewer
http://www.capital.net/~dittmer/profileviewer/

■ クラスファイル操作のJavaコードを含むもの(ソース付き)

Dumping Java Class Files
http://www.professionals.com/~cmcmanis/java/dump/index.html
ClassViewer
http://www.intac.com/~robraud/classinfo.html
A graphically .classic utility.
http://www.easynet.it/~jhl/apps/jclass/ClassBrowser.html
Hashjava
http://www.sbktech.org/hashjava.html
Java Class Info viewer
http://www.oasis.leo.org/java/development/bytecode/java-classviewer.dsc.html
ClassExplorer
http://www.netgate.net/~sandip/ClassExplorer.html
ClassGlass
http://www.st.rim.or.jp/~mineharu/java/
HORB Home Page
http://ring.etl.go.jp/openlab/horb/
teikade
http://www.pfu.co.jp/teikade/
Chuck McManis: http://www.javaworld.com/javaworld/jw-08-1997/jw-08-indepth.html, Java In Depth, JavaWorld August, 1997.

■ JITの動作の検証

JIT Validation Test Suit
http://www.sun.com/workshop/java/jit/test_suite/index.html

■ 最適化コンパイル技法

Steve Meloan: The Java HotSpot Performance Engine: An In-Depth Look
http://developer.java.sun.com/developer/technicalArticles/Networking/HotSpot/index.html
オブジェクト指向言語におけるメッセージ送信の高速化技法
小野寺民也 (日本アイ・ビー・エム)
pp.301 - 309, 情報処理, Vol.38 No.4, 1997.
Self
HotSpotで採用された適応コンパイル(Adaptive Compilation)は，最初Selfの処理系で実装された．
http://www.sun.com/research/self/
Recent publications of OOCSB members
http://www.cs.ucsb.edu/oocsb/papers.shtml
UW Cecil/Vortex Project Papers
http://www.cs.washington.edu/research/projects/cecil/www/Papers/papers.html
Javaでのプログラミング・スタイル(OO-style vs non OO-style)と性能に関するベンチマークについての解説
http://self.sunlabs.com/~mario/java_benchmarking/index.html
http://self.sunlabs.com/~mario/java_benchmarking/richards/richards.html
Bilha Mendelson: Java Compilers - JIT HotSpot and JNI -
JIT, HotSpot, JNIに関する簡単な解説．
http://cs.haifa.ac.il/courses/java/jit.pdf

■ Java言語仕様の参考文書

The Java Language Specification, 2nd Edition
Java言語仕様の第二版．

http://java.sun.com/docs/books/jls/second_edition/html/j.title.doc.html
INSTAC NGC/WG3: Java言語規定, (翻訳作業中)
Java言語仕様第二版の日本語訳のJISの標準情報(TR)．
http://www.y-adagio.com/public/standards/tr_javalang2/jTOC.doc.html
James Gosling, Bill Joy, Guy Steele : The Java Language Specification
Java言語の仕様書の第一版．実際には，以下の文書も併せて読む必要があった．今後は，第二版を読むべき．第二版では第一版の付属ドキュメントをまとめた(API部分は削除)上で内容を更新している．
http://java.sun.com/docs/books/jls/html/index.html
- Changes for JDK 1.1
  Java言語の仕様書に対する補足1
  http://java.sun.com/docs/books/jls/html/1.1Update.html
- Clarifications and Amendments to The Java Language Specification
  Java言語の仕様書に対する補足2
  http://java.sun.com/docs/books/jls/clarify.html
- Inner Classes Specification
  内部クラスの仕様書．
  http://java.sun.com/products/jdk/1.1/docs/guide/innerclasses/spec/innerclasses.doc.html
- Clarifications and Amendments to the Inner Classes Specification
  内部クラスの仕様書の補足．
  http://java.sun.com/docs/books/jls/nested-class-clarify.html
- Updates to the Java Language Specification for JDK Release 1.2 Floating Point
  浮動小数点演算関連の変更点(strictfpキーワードの導入)．
  http://java.sun.com/docs/books/jls/strictfp-changes.pdf
INSTAC MH/WG4: Java言語規定, JIS/TR X 0005-1997, 1998.
Java言語仕様の日本語訳のJISの標準情報(TR)．これは第一版なので，第二版の方を読むこと．
http://www.y-adagio.com/public/standards/tr_javalang/index.htm
Roly Perera, Peter Bertelsen: Java Spec Report
Java言語仕様と内部クラス仕様，JavaVM仕様の問題点に関するレポート．仕様書がおかしいと思った場合は，ここかBugParadeをチェックするとよい．
http://www.ergnosis.com/jsr/
Microsoft: Delegates in Visual J++6.0
Microsoftのbound method pointerの提案．
http://msdn.microsoft.com/visualj/technical/articles/delegates/
- Sunの反論
JSR-000014 Add Generic Types To The Java Programming Language
JCPのJava言語のGeneric Type拡張の提案
http://java.sun.com/aboutJava/communityprocess/jsr/jsr_014_gener.html

■ VM 作成のための参考文書

Tim Lindholm, Frank Yellin : "The Java Virtual Machine Specification Second Edition"
Java VMの仕様書
http://java.sun.com/docs/books/vmspec/index.html
Jon Meyer, Troy Downing : "Java Virtual Machine", O'Reilly, 1997.
Java VMについての解説書
http://www.ora.com/catalog/javavm/noframes.html
Joshua Engel : "Programming for the Java Virtual Machine", Addison Wesley, 1999.
Java VMを実装するための解説書
http://cseng.aw.com/bookpage.taf?ISBN=0-201-30972-6&ptype=0&catpage=&ctype=isbn&ISBN=0201309726
Frank Yellin, Tim Lindholm: Java^(TM) Runtime Internals, JavaOne, 1997.
Java VMの内部構造についてのプレゼンテーション資料
http://www.javasoft.com/javaone/sessions/slides/TT27/startit.html
Avi Teperman (IBM Haifa Research Laboratory): The Java Virtual Machine and the class file,
Java VMに関するやさしい解説．Java VM仕様を読む前に目を通しておくとよい．
http://cs.haifa.ac.il/courses/java/jvm.pdf
Java's new virtual machine by Gregory S. Smith
http://www.javaworld.com/javaworld/jw-05-1997/jw-05-jo-vm.html
"Under the Hood" by Bill Venners (JavaWorld)
JavaWorldのJava VM関連の解説の連載
- The lean, mean virtual machine (1996年6月) -- Java VMの解説
- The Java class file lifestyle (1996年7月) -- Javaクラスファイルとそのフォーマットの概要
- Java's garbage-collected heap (1996年8月) -- ガベージコレクションの一般的な概要とJava VMのGC対象のヒープについての解説
- Bytecode basics (1996年9月) -- 主にプリミティブな型、型変換、スタック操作を中心にしたJava VMのバイトコードの解説
- Floating-point arithmetic (1996年10月) -- Java VMにおける浮動少数点演算とそれを処理するバイトコードについての解説
- Logic and integer arithmetic (1996年11月) -- Java VMにおける論理演算と整数演算とそれを処理するバイトコードについての解説
- Objects and Arrays (1996年12月) -- Java VMのオブジェクトと配列の処理とそのバイトコードの解説
- How the Java virtual machine handles exceptions (1997年1月)-- Java VMの例外処理とそのバイトコード列の解説
- Try-finally clauses defined and demonstated (1997年2月) -- Java VMにおけるtry-finally節の実装とそのバイトコードの解説
- Control flow (1997年3月) -- Java VMの制御フローの実装とそのバイトコードの解説
- The architecture of aglets (1997年4月) --IBMのJavaエージェント技術であるAgletsの内部動作の解説
- Solve real problems with aglets, a type of mobile agent (1997年5月) --Agletsに代表されるモバイルエージェントの問題についての解説
- How the Java virtual machine handles method invocation and return (1997年6月) --メソッドの呼び出しと終了に使われるバイトコードについての解説
- How the Java virtual machine performs thread synchronization (1997年7月) -- スレッドや共有データやロックについての解説
- Java's security archtecture (1997年8月) -- JVMのセキュリティモデルの概要と、その組み込みこまれている安全対策の機能についての解説
- Security and the class loader architecture (1997年9月) -- JVMの全体のセキュリティモデルの中でclass loaderが果たす役割についての解説
- Security and the class verifier (1997年10月) --JVMのセキュリティモデルの中のclass verifierの役割についての解説
- Java security: How to install the security manager and customize your security policy (1997年11月) --security managerとJava APIの関係、そしてJVMアーキテクチャではサポートできない問題についての解説
The Belgian Java User's Group: Java Code Engineering & Reverse Engneering
Javaのバイトコード操作関連のリンク集
http://www.meurrens.org/ip-Links/Java/CodeEngineering/
The TUNES Review Subproject: Review of Virtual Machines
VM関連のリンク集
http://www.tunes.org/Review/VMs.html (by 酒井)

■ GC 作成のための参考文書

情報処理学会: 特集「ごみ集めの基礎と最近の動向」, 情報処理, Vol. 35, No. 11, November, 1994.
GCのさまざまな分野の解説。一読の価値あり。
1. 日比野靖: ごみ集めの基本アルゴリズム, pp. 992 - 999
2. 寺田実: ごみ集めの研究動向, pp. 1000 - 1003
3. 湯浅太一: 実時間ごみ集め, pp. 1006 - 1013
4. 中西正和, 田中詠子: 世代別ごみ集め, pp. 1006 - 1013
5. 小野寺民也: 保守的ごみ集め, pp. 1014 - 1019
6. 市吉伸行: 分散ごみ集め, pp. 1020 - 1026
Hillel Kolodner (IBM Haifa Research Labratory): Garbage Collection
JavaのGCを支える技術と、JDK 1.1のVMの実装に関する解説．
http://cs.haifa.ac.il/courses/java/gc.pdf
Alexandre Petit-Bianco: Java Garbage Collection for Real-Time Systems, Dr. Dobb's Journal, October, 1998.
JavaのGCの解説とインクリメンタルGCの実装についての記事．
http://www.ddj.com/articles/1998/9810/9810a/9810a.htm
Richard L. Hudson and J. Eliot B. Moss: Incremental Collection of Mature Objects, Proceedings of International Workshop on Memory Management, volume 637 of Lecture Notes in Computer Science, St Malo, France, 16--18 September 1992, Springer-Verlag
HotSpot VMの世代別GCで採用されているTrainアルゴリズムの論文．
ftp://ftp.cs.umass.edu/pub/osl/papers/iwmm92.ps.Z
John D. Howard: Gargage collection on Java 1.1.8 JVMs, 2000.
IBMのJDK 1.1.8のVMのGCについての解説．
http://www-4.ibm.com/software/developer/library/garbage-collection.html
Eriz Petrank (IBM Haifa Research Labratory: An Advanced Memory Management Seminar
GCやメモリ管理関連のリンク集．
http://www.haifa.il.ibm.com/projects/systech/paper_list.html
Garbage Collection
GC関連の論文などのリンク集．
http://accent88.jcamp.com/gc/

■ JIT 作成のための参考文書

The JIT Compiler Interface Specification 1.0.2
http://www.javasoft.com/docs/jit_interface.html
JNI - Java Native Interface
http://www.javasoft.com/products/jdk/1.1/docs/guide/jni/
Bilha Mendelson (IBM Haifa Research Laboratory): Java Compiler - JIT
JITコンパイラとJNIに関するやさしい解説．
http://www.haifa.il.ibm.com/Technion/bilha.htm
[JavaHouse-Brewers:9393] tiny java method tracing tool(using JDK JIT interface)
(JIT interface の利用サンプル(コンパイラではない))
http://java-house.center.nitech.ac.jp/ml/archive/j-h-b/009393.html#body
ジャストインタイム・コンパイル -Javaアプリケーション強化技術- (Digital Cats)
JITの解説
http://www.javacats.com/jp/articles/chuckmcmanis091696.html
Java JIT Compiler Overview
JITのやさしい解説
http://www.sun.com/workshop/java/jit/explanation.html

■ Javaメモリモデルの参考文書

JSR-133 Java Memory Model and Thread Specification Revision
Javaメモリモデルやスレッド関連の新しい仕様
http://jcp.org/jsr/detail/133.jsp
William Pugh: The Java Memory Model
JLSの17章のJavaメモリモデルの改良に関するリンク集．現在JCPのJSR 133で作業がおこなわれている．
http://www.cs.umd.edu/~pugh/java/memoryModel/

■ 関連会議

Java Grande Conference
Java Grande ForumによるJava技術に関する会議．
http://www.javagrande.org/
1996, 1997, 1998, 1999, 2000 (added by 高木)
JVM (Java Virtual Machine Research and Technology Symposium)
USENIXのJava VMに関する会議．
2001 (added by 酒井)
OOPSLA (Conference on Object Oriented Programming Systems, Languages and Applications)
ACM SIGPLANのオブジェクト指向プログラミングに関する会議．
http://www.informatik.uni-trier.de/~ley/db/conf/oopsla/
1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999 2000
COOTS (Conference on Object-Oriented Technologies)
Usenixのオブジェクト指向技術とシステムの会議．
http://www.usenix.org/events/bytopic/coots.html
1995, 1996, 1997, 1998, 1999, 2001
ISMM/IWMM (International Symposium/Workshop on Memory Management)
メモリ管理に関する会議．
1992, 1995, 1998, 2000
JavaOne Conference
Sunが主催するJava開発者のための会議．
http://java.sun.com/javaone/
1996, 1997, 1998, 1999, 2000
Java Community Process
Javaの新しい仕様に関しての討論．
http://java.sun.com/aboutJava/communityprocess/
Java Developer Connection
Sunが提供するJavaの開発者のための情報のWebサーバ．オンラインでの討論や，バグ情報データベースなどが提供されている．
http://developer.java.sun.com/developer/

著者: 高木浩光＠電子技術総合研究所 http://www.etl.go.jp/~takagi/
(メンテナンス担当: 風間一洋)