SqueakOnJava

13.7.2007 22:57 | Přečteno: 1081× |

Je to už nějaký čas, kdy Dan Ingalls zveřejnil demonstrační verzi svého malého projeku SqueakOnJava, což je implementace smalltalkovského virtuálního stroje v Javě. Bohužel od té doby se nedostal ke zveřejnění zdrojových kódů.

Protože se nezdá, že by k jejich zveřejnění mělo brzy dojít, zkusil jsem využít jedné z pozitivních vlastností Javy, kterou zdědila po Smalltalku - čitelný dekompilovaný kód. Binární třídy jsem tedy prohnal programem jad.

Původně jsem měl za to, že Dan vytvořil translator Smalltalku na Javu a nechal kód interpretu vygenerovat podobně, jako se to dělá pro jazyk C. Alespoň se jsem tak odvozoval od nijak oslňující rychlosti výsledného virtuálního stroje. SqueakOnJava je ale zcela samostatná implementace od nuly. Narozdíl od JPythonu, JRuby apod. nepoužívá překlad přímo do bytekódu Javy, ale smalltalkovský bytekód jednoduše interpretuje.

Samotný výstup z jadu není sice dokonalý (neumí si dobře poradit např. se zanořenými třídami či návěstími), ale úprav skutečně mnoho nepotřebuje. Celý tento virtuální stroj má cca 5500 řádků dobře čitelného kódu. Současná implementace má ještě řadu nedostatků. Neumí ukládat image, má problémy se čtením image s jiným endianem, implementuje minimum primitiv apod. Ovšem k puštění a provozování malé MVC image postačuje.

Krom toho, že to jednoho zarytého smalltalkera přinutilo zase jednou pustit Netbeans, to zatím k ničemu užitečnému asi dobré není, ale minimálně pro případ, kdy potřebujete provozovat Smalltalk někde, kde nelze nainstalovat nativní virtuální stroj, to může být v budoucnu dobrý pomocník.

Download: SqueakOnJava.zip

       

Komentáře

[Lukáš Zapletal]

Možnost dekompilace není vlastností Javy, ale vlastností s JDK dodávaného překladače javac. Dá se jednoduše zajistit, abyste z bytekódu nepřečetl zpětně nic, pouze samotné instrukce.

[alblaho]

Ne, bytecode jde zpět na javu relativně dobře (oproti překladu z assembleru do céčka). Začíná to tím, že každá třída je uložena v extra souboru. Veřejná rozhraní jsou čitelná, pač jsou přístupná přes i reflexi. Takže jediné, co nejde dohledat jsou názvy lokálních proměnných.

Tedy pokud se nepoužije obfuskátor, ale jeho použití bych od zastánce ST nečekal

[Pavel Křivánek]

nejnovější Ingallsův vynález

http://www.youtube.com/watch?v=Rj4moeKDGY4

[alblaho]

JRuby nepřekládá do java bytecode. Ruby totiž ani žádný bytecode nemám, originální interpreter interpretuje AST.

JPython (Jython?) si myslím je taky jen reimplementace CPythonu v Javě.

[Ladicek]

JRuby nepřekládá do java bytecode.

Zatím. Ale chtějí to, bohopytelně z výkonových důvodů.

[alblaho]

Existuje nějaký akademický překladač Ruby do CIL, ale je to dost zběsilé. Znamená to generovat hromadu CIL tříd pro kde co, moc se mi to nelíbilo.