セーブルVM

セーブルVM
開発者	マギル大学セーブル研究グループ
最終リリース	1.13 / 2007年3月30日; 17年前
リポジトリ	sourceforge.net/projects/sablevm/files/ ;
オペレーティング·システム	クロスプラットフォーム
タイプ	Java仮想マシン
ライセンス	GNU 劣等一般公衆利用許諾書
Webサイト	sablevm.org

SableVM は、Java 仮想マシン( VM ) 仕様の第 2 版を実装したJava バイトコードインタープリタのクリーンルーム実装でした。SableVM は、堅牢で、移植性が高く、効率的で、仕様に完全準拠 (JVM 仕様、 Java Native Interface、呼び出しインターフェイス、デバッグインターフェイスなど) し、保守と拡張が容易な Java 仮想マシンとなるように設計されました。^[^要出典^]現在は保守されていません。

この実装は、2000年代初頭にJavaエコシステムをサン・マイクロシステムズの支配から解放するための取り組みの一環であった。 ^[1]^[2]^[3]

概要

コアエンジンは、画期的な技術を使用して「単純な」ジャストインタイム（JIT）コンパイラに匹敵するパフォーマンスを提供するインタープリタであり、移植性、保守性、シンプルさといったインタープリタのソフトウェアエンジニアリングの利点を維持しています。^[4]^[5]このシンプルさにより、SableVMのソースコードは新しいユーザー/プログラマにとって非常にアクセスしやすく、理解しやすいものになっています。

SableVM はフリーソフトウェアです。GNU Lesser General Public License ( LGPL )に基づいてライセンスされています。また、リンク例外付き GNU General Public Licenseに基づいてライセンスされているGNU Classpath ( FSFが著作権を所有)も使用しています。

SableVM は、 JVMDI (Java 仮想マシンデバッグインターフェイス) とJDWP (Java デバッグワイヤプロトコル)のサポートを含む、Java 用の最初のオープンソース仮想マシンです。 ^[^{引用が必要}^]これらの標準 Java デバッグインターフェイスは、たとえばEclipseによって使用され、機能豊富でユーザーフレンドリな Java 開発環境を提供します。

Java中間言語

SableVMのいくつかのバージョンは、 Javaプログラムの型構造を表現する中間言語（ XMLのサブセット）であるJava中間言語を使用しています。この言語は、スケーラビリティと優れたパフォーマンスを目標としたJavaプログラムの分析を支援するために、2002年1月にマギル大学のSableVMチームによって提案されました。^[6]^[7]この言語は広く採用されていません。

次の Java コードを検討してください。

パブリックMyClass はMyInterfaceを実装し、MySupperClassを拡張します{ int MyField ;      
   

  void MyMethod ( double x 、double y ) { double z ; z = x + y ; this . MyField = z } }

この作品は、言語で次のように表現できます。

<jil> 
<class name= "MyClass" extends= "MySupperClass" > <modifiers><modifier name= "public" /></modifiers> <interfaces><interface name= "myinterface" /></interfaces> <fields> <field name= "MyField" type= "int" /> </fields>  
    
    
    
  
       
  

  <methods> 
<method name= "MyMethod" returntype= "void" > <parameters> <parameter name= "x" type= "double" /> <parameter name= "y" type= "double" /> </parameters> <locals> <local name= "z" type= "double" /> </locals> <statements> <!-- 各ステートメントは、3 つのアドレス コードのようなコード ジェネレーターの中間形式で表現されます           。以下では、           baf と呼ばれる言語が使用されています。 --> <baf> <![CDATA[           $r2 = $r0 + $r1;           this.MyField = (double) $r2;         ]]> <!-- ここでは、x が $r0、y が $r1、z が $r2 として表現されていると仮定しています。 --> </baf> </statements> </method> </methods> </class> </jil>

参照

参考文献

^ 「Sun 承認のオープンソース Java が進歩」。The Inquirer。2006 年 3 月 31 日。2009 年 12 月 3 日時点のオリジナルよりアーカイブ。2012 年 12 月 2 日に閲覧。{{cite web}}: CS1 メンテナンス: 不適切 URL (リンク)
^ 「O'Reilly Network が Jolt を獲得、SNAP Platform が Jolted」。Onlamp.com。2016 年 3 月 3 日時点のオリジナルよりアーカイブ。2012 年 12 月 2 日閲覧。
^ 「Barbarians at the Gate | SYS-CON.TV」 Tv.sys-con.com. 2006年9月22日. 2012年12月2日閲覧。
^ Gagnon, Etienne M.、および Laurie J. Hendren。「SableVM: Java バイトコードの効率的な実行のための研究フレームワーク」。Java 仮想マシン研究技術シンポジウムの議事録。第 1 巻。2001 年。
^ Prokopski, Gregory B.、Etienne M. Gagnon、Christian Arcand。SableVM コードコピーエンジンのバイトコードテストフレームワーク。技術レポート SABLETR-2007-9、Sable Research Group、School of Computer Science、McGill University、モントリオール、ケベック、カナダ、2007 年。
^ Eng, David. 「JIL: 拡張可能な中間言語」 Sable Research Group、マギル大学 (2002)。
^ Eng, David. コードの視覚化における静的データと動的データの組み合わせ。第 28 巻、第 1 号。ACM、2002 年。

外部リンク

公式サイト
SableVM 開発サブサイト
SableVMとEclipseを使用したデバッグに関する情報
Java中間言語

[1] 「Sun 承認のオープンソース Java が進歩」。The Inquirer。2006 年 3 月 31 日。2009 年 12 月 3 日時点のオリジナルよりアーカイブ。2012 年 12 月 2 日に閲覧。{{cite web}}: CS1 メンテナンス: 不適切 URL (リンク)

[2] 「O'Reilly Network が Jolt を獲得、SNAP Platform が Jolted」。Onlamp.com。2016 年 3 月 3 日時点のオリジナルよりアーカイブ。2012 年 12 月 2 日閲覧。

[3] 「Barbarians at the Gate | SYS-CON.TV」 Tv.sys-con.com. 2006年9月22日. 2012年12月2日閲覧。

[4] Gagnon, Etienne M.、および Laurie J. Hendren。「SableVM: Java バイトコードの効率的な実行のための研究フレームワーク」。Java 仮想マシン研究技術シンポジウムの議事録。第 1 巻。2001 年。

[5] Prokopski, Gregory B.、Etienne M. Gagnon、Christian Arcand。SableVM コードコピーエンジンのバイトコードテストフレームワーク。技術レポート SABLETR-2007-9、Sable Research Group、School of Computer Science、McGill University、モントリオール、ケベック、カナダ、2007 年。

[6] Eng, David. 「JIL: 拡張可能な中間言語」 Sable Research Group、マギル大学 (2002)。

[7] Eng, David. コードの視覚化における静的データと動的データの組み合わせ。第 28 巻、第 1 号。ACM、2002 年。