# Bytecode Enhancement

In each plugin main module of Sermant plugin, some enhancement logic can be declared to enhance bytecode for certain methods of the host application in order to achieve a certain function, so it is an important topic to describe what class and class methods to enhance.

# Enhanced Statement

In plugin development, the bytecode enhancement declaration needs to be defined in the main module of the plugin, declaring the plugin bytecode enhancement logic requires implementing PluginDeclarer (opens new window) interface, which consists of three interface methods:

After the implementation is complete, you need to add the SPI profile of the PluginDeclarer interface:

  • Add META-INF/services file in resources directory.
  • Add io.sermant.core.plugin.agent.declarer.PluginDeclarer profile file in META-INF/services.
  • In the above file, separated by exchange behavior, type the fully qualified names of all the classes in the plugin package that implement the PluginDeclarer interface.

# Class Matcher

For ClassMatcher (opens new window), two types of matchers are provided in the core module:

ClassTypeMatcher (opens new window)(Class type matcher)

  • Matching by name, which is the most common method of locating, can be obtained by the following methods:

    ClassMatcher.nameEquals("${class reference}");
    

    ${class reference} is the fully qualified name of the enhanced class.

  • Matches multiple classes by name, belonging to the plural version of nameEquals, which can be obtained by the following method:

    ClassMatcher.nameContains("${class reference array}");
    

    ${class reference array} is a fully qualified mutable array of the enhanced class.

ClassFuzzyMatcher (opens new window)(Fuzzy matcher of class)

  • The enhanced class is located by the fully qualified name prefix, which can be obtained by the following method:

    ClassMatcher.namePrefixedWith("${prefix}");
    

    ${prefix} is a fully qualified name prefix.

  • The fully qualified name suffix is used to locate the enhanced class, which can be obtained by the following method:

    ClassMatcher.nameSuffixedWith("${suffix}")
    

    ${suffix} is a fully qualified name suffix.

  • The enhanced class is located by a fully qualified name infix, which can be obtained by the following method:

    ClassMatcher.nameinfixedWith("${infix}")
    

    ${infix} is a fully qualified name infix.

  • Locate the enhanced class by matching the fully qualified name with a regular expression, which can be obtained by the following methods:

    ClassMatcher.nameMatches("${pattern}")
    

    ${pattern} is a regular expression.

  • The annotation is used to locate the class that is modified by the annotation, which can be obtained by:

    ClassMatcher.isAnnotationWith("${annotation reference array}");
    

    ${annotation reference array} a fully qualified mutable array for annotations.

  • The superclass locates the subclass of the class, which can be obtained by the following method:

    ClassMatcher.isExtendedFrom("${super class array}");
    

    ${super class array} is a superclass variable array. Due to Java's inheritance rules, this array can only have one Class and the rest must be all interfaces.

  • A logical operation that matches is true if none of the matchers match:

    ClassMatcher.not("${class matcher array}")
    

    ${class matcher array} is a variable length array for matchers.

  • A logical operation that matches is true when all matchers match:

    ClassMatcher.and("${class matcher array}")
    

    ${class matcher array} is a variable length array for matchers.

  • The logical operation of matching, where one of the matchers matches is true:

    ClassMatcher.or("${class matcher array}")
    

    ${class matcher array} is a variable length array for matchers.

# Method Matcher

For MethodMatcher (opens new window), a variety of matching methods are provided:

  • Full matching:

    MethodMatcher.any();
    
  • Name matching:

    MethodMatcher.nameEquals("${method name}");
    

    ${method name} is method name。

  • Matching static method:

    MethodMatcher.isStaticMethod();
    
  • Matching constructor:

    MethodMatcher.isConstructor();
    
  • Matching multiple methods:

    MethodMatcher.nameContains("${method name array}");
    

    ${method name array} is an array of method names.

  • Match by method name prefix:

    MethodMatcher.namePrefixedWith("${method name prefix}");
    

    ${method name prefix} is a method name prefix.

  • Match by method name suffix:

    MethodMatcher.nameSuffixedWith("${method name suffix}");
    

    ${method name suffix} is a method name suffix.

  • Match by method name infix:

    MethodMatcher.nameinfixedWith("${method name infix}");
    

    ${method name infix} is a method name infix.

  • Match according to regular expression:

    MethodMatcher.nameMatches("${pattern}");
    

    ${pattern} is regular expression.

  • Matches the method modified by the incoming annotation:

    MethodMatcher.isAnnotatedWith("${annotations array}");
    

    ${annotations array} is annotation set.

  • Matches the method with the specified number of inputs:

    MethodMatcher.paramCountEquals("${param count}");
    

    ${param count} is the specified number of inputs.

  • Matches the method of the specified input type:

    MethodMatcher.paramTypeEquals("${param type array}");
    

    ${param type array} is an input type set.

  • Matches a method of the specified return value type:

    MethodMatcher.resultTypeEquals("${result type}");
    

    ${result type} is return value type.

  • Logical operation, the result is true if the method matcher set does not match at all:

    MethodMatcher.not("${element matcher array}");
    

    ${element matcher array} is method matcher set.

  • Logical operation, the result is true if the method matcher set matches all:

    MethodMatcher.and("${element matcher array}");
    

    ${element matcher array} is method matcher set.

  • Logical operation where the result is true if one of the method matchers in the set matches:

    MethodMatcher.or("${element matcher array}");
    

    ${element matcher array} is method matcher set.

For more method matching methods, see the method with the MethodDescription generic in byte-buddy (opens new window).

# Native Class Enhancement

There is no difference between enhancing native classes and enhancing ordinary classes in terms of enhancement definition and interceptor writing, but it is desirable for plugin developers to enhance native classes as little as possible for two reasons:

  • Enhancing native classes may lead to unpredictable errors. Since native classes are widely used during development, enhancing them could potentially impact other plugins or host functions that rely on these classes.
  • Enhancing certain native class methods used during the enhancement of Sermant may result in class circular dependency errors. For example, the Sermant class loader uses the java.net.URL class when loading classes. If the constructor of the URL class is enhanced in a plugin, the JVM may throw a ClassCircularityError after the host application mounts the Agent and starts.

To sum up, The ability to enhance Java native classes is provided in Sermant core function module (opens new window), but it is not recommended to enhance them without restriction, if there are multiple enhancement points to choose from, the common class is preferred.

In the Sermant Framework FAQ, we have listed the known native classes that Sermant does not support for enhancement.

# Interceptor

Interceptors are used to define the enhancement logic for the classes being enhanced. In Sermant's interceptors, the three phases—Before, After, and Throw—together form the complete lifecycle of an interceptor, providing general capabilities such as skipping method execution, modifying method parameters, altering method return values, and modifying thrown exceptions.

  • Interceptor (opens new window): The interceptor interface contains three methods—before, after, and onThrow—which correspond to the three phases of the interceptor's lifecycle. The ExecuteContext parameter represents the execution context of the plugin, encapsulating all the parameters needed for the interceptor to operate:
    • before: The pre-method, corresponding to the Before phase of the interceptor lifecycle. This method is executed before the interception point. Using the ExecuteContext parameter, you can modify method arguments, skip the execution of the host method at the interception point, and perform other operations. Note that when enhancing constructors, the execution of the constructor cannot be skipped.
    • after: The post-method, corresponding to the After phase of the interceptor lifecycle. The after method is executed after the interception point has completed execution, and the method's return value can be modified through the ExecuteContext parameter.
    • onThrow: The exception handling method, corresponding to the Throw phase of the interceptor lifecycle. This method is triggered only when an exception is thrown at the interception point. If the exception is caught within the method, the onThrow method cannot be triggered. In the onThrow method, the thrown exception can be modified using the ExecuteContext parameter. If the exception is set to null, the method will no longer throw an exception.
Last Updated: 10/18/2024, 1:29:22 AM