INDY工具的使用:如何生成invokedynamic指令

什么是INDY

由于invokedynamic指令所面对的使用者并非java语言，而是其他java虚拟机支持的动态语言，因此仅依靠java语言的编译器javac没有办法生成带有invokedynamic指令的字节码，所以要使用java语言来演示invokedynamic指令只能用一些变通的办法。John Rose编写了一个把程序的字节码转换未使用invokedynamic的简单工具INDY来完成这件事情，我们要用这个工具来产生最终要的字节码。

INDY的使用

先来看一下项目结构

1.将/home/fox/workcode/openjdk-7-src/jdk/test/java/lang/invoke/indify/Indify.java文件拷贝到项目中
2.编写需要转换的文件InvokeDynamicTest

package indify;

import static java.lang.invoke.MethodHandles.lookup;

import java.lang.invoke.CallSite;
import java.lang.invoke.ConstantCallSite;
import java.lang.invoke.MethodHandle;
import java.lang.invoke.MethodHandles;
import java.lang.invoke.MethodType;

public class InvokeDynamicTest {

    public static void main(String[] args) throws Throwable {
        INDY_BootstrapMethod().invokeExact("icyfenix");
    }

    public static void testMethod(String s) {
        System.out.println("hello String:" + s);
    }
    
    public static CallSite BootstrapMethod(MethodHandles.Lookup lookup, String name, MethodType mt) throws Throwable {
        return new ConstantCallSite(lookup.findStatic(InvokeDynamicTest.class, name, mt));
    }

    private static MethodType MT_BootstrapMethod() {
        return MethodType
                .fromMethodDescriptorString(
                        "(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;",
                        null);
    }

    private static MethodHandle MH_BootstrapMethod() throws Throwable {
        return lookup().findStatic(InvokeDynamicTest.class, "BootstrapMethod", MT_BootstrapMethod());
    }

    private static MethodHandle INDY_BootstrapMethod() throws Throwable {
        CallSite cs = (CallSite) MH_BootstrapMethod().invokeWithArguments(lookup(), "testMethod",
                MethodType.fromMethodDescriptorString("(Ljava/lang/String;)V", null));
        return cs.dynamicInvoker();
    }
}

3.编写转换规则文件ExampleTest

package indify;

import org.junit.Test;

/**
 *
 * @author John Rose <john.rose at sun.com>
 */
public class ExampleTest {
    @Test 
    public void testMain() throws Throwable {
        System.out.println("main");
        Indify.main("--verify-specifier-count=1",
        		/*INDY工具将Example.class转换成等效的class文件存放路径*/
        		"--dest=INDY/", 
                "--verbose",
                "--expand-properties", "--classpath", "${java.class.path}",
                 /*输入class文件Example.class的全路径,然后使用javap打开该文件*/
                 "/home/fox/workspace/testRunInMain/bin/indify/InvokeDynamicTest.class");
        //Example.main();
    }
}

4.使用junit进行单元测试，输出内容如下

main
expanding ${java.class.path} => /home/fox/workspace/testRunInMain/bin:/home/fox/share_folder/install_package_ubuntu/eclipse/plugins/org.junit_4.12.0.v201504281640/junit.jar:/home/fox/share_folder/install_package_ubuntu/eclipse/plugins/org.hamcrest.core_1.3.0.v201303031735.jar:/home/fox/share_folder/install_package_ubuntu/eclipse/configuration/org.eclipse.osgi/213/0/.cp/:/home/fox/share_folder/install_package_ubuntu/eclipse/configuration/org.eclipse.osgi/212/0/.cp/
reading /home/fox/workspace/testRunInMain/bin/indify/InvokeDynamicTest.class
scan MT_BootstrapMethod()L for pattern=T
scan MH_BootstrapMethod()L for pattern=H
scan INDY_BootstrapMethod()L for pattern=I
adding BSM specifier: 119[]
patching indify/InvokeDynamicTest.main(L)V
0:invokestatic 19 INDY_BootstrapMethod()L;...; 5:invokevirtual 25 => invokedynamic 123:InvokeDynamic[0, 121]
pattern methods removed: [MT_BootstrapMethod()L, MH_BootstrapMethod()L, INDY_BootstrapMethod()L]
created INDY
created INDY/indify
wrote INDY/indify/InvokeDynamicTest.class

5.之后使用javap命令查看class文件即可

$ ~/workspace/testRunInMain/INDY/indify$ javap -c -v InvokeDynamicTest.class

附：

Indify使用例子：

--dest 输出路径 转换的源Class文件，exp:
$ java Indify --dest c:\temp\ D:\_DevSpace\WorkSpaces\jdk7\JDK7_Feature\bin\org\fenixsoft\InvokeDynamicTest.class