1. Introduction
Java 9 brought a number of new useful features for developers.
One of those is the java.lang.invoke.VarHandle API – representing variable handles – which we’re going to explore in this article.
2. What are Variable Handles?
Generally, a variable handle is just a typed reference to a variable. The variable can be an array element, instance or static field of the class.
The VarHandle class provides write and read access to variables under specific conditions.
VarHandles are immutable and have no visible state. What’s more, they cannot be sub-classed.
Each VarHandle has :
- a generic type T, which is the type of every variable represented by this VarHandle
- a list of coordinate types CT, which are types of coordinate expressions, that allow locating variable referenced by this VarHandle
The list of coordinate types may be empty.
The goal of VarHandle is to define a standard for invoking equivalents of java.util.concurrent.atomic and sun.misc.Unsafe operations on fields and array elements.
Those operations are in majority atomic or ordered operations. For example, atomic field incrementation.
3. Creating Variable Handles
To use the VarHandle, we need to have variables first.
Let’s declare a simple class with different variables of type int that we’ll use in our examples:
public class VariableHandlesTest {
public int publicTestVariable = 1;
private int privateTestVariable = 1;
public int variableToSet = 1;
public int variableToCompareAndSet = 1;
public int variableToGetAndAdd = 0;
public byte variableToBitwiseOr = 0;
}
3.1. Variable Handles for Public Variables
Now we can get a VarHandle for our publicTestVariable using the findVarHandle() method:
VarHandle publicIntHandle = MethodHandles.lookup() .in(VariableHandlesTest.class) .findVarHandle(VariableHandlesTest.class, "publicTestVariable", int.class); assertThat( publicIntHandle.coordinateTypes().size() == 1); assertThat( publicIntHandle.coordinateTypes().get(0) == VariableHandles.class);
We can see that coordinateTypes of this VarHandle isn’t empty and has one element, which is our VariableHandlesTest class.
3.2. Variable Handles for Private Variables
If we have a private member and we need a variable handle for such variable we can obtain this using the privateLookupIn() method:
VarHandle privateIntHandle = MethodHandles .privateLookupIn(VariableHandlesTest.class, MethodHandles.lookup()) .findVarHandle(VariableHandlesTest.class, "privateTestVariable", int.class); assertThat(privateIntHandle.coordinateTypes().size() == 1); assertThat(privateIntHandle.coordinateTypes().get(0) == VariableHandlesTest.class);
Here, we chose the privateLookupIn() method which has broader access than the normal lookup(). This allows us to get access to private, public or protected variables.
Before Java 9, the equivalent API for this operation was the Unsafe class and the setAccessible() method from the Reflection API.
However, this approach has its disadvantages. For example, it will only work for the specific instance of the variable.
VarHandle is a better and faster solution in such cases.
3.3. Variable Handles for Arrays
We could use the previous syntax to obtain array fields.
However, we can also get the VarHandle for an array of specific type:
VarHandle arrayVarHandle = MethodHandles.arrayElementVarHandle(int[].class); assertThat(arrayVarHandle.coordinateTypes().size() == 2); assertThat(arrayVarHandle.coordinateTypes().get(0) == int[].class);
We can now see that such VarHandle has two coordinate types int and [], which represent an array of int primitives.
4. Invoking VarHandle Methods
Most of the VarHandle methods expect a variable number of arguments of type Object. Using Object… as an argument disables static argument checking.
All the argument checking is done at runtime. Also, different methods expect to have a different number of arguments of different types.
If we fail to give a proper number of arguments with proper types, the method call will throw a WrongMethodTypeException.
For example get() will expect at least one argument, which helps to locate variable, but set() expects one more argument that is the value to be assigned to the variable.
5. Variable Handles Access Modes
Generally, all the methods of the VarHandle class fall to five different access modes.
Let’s go through each of them in the next sub-sections.
5.1. Read Access
Methods with reading access level allow getting the value of the variable under specified memory ordering effects. There are several methods with this access mode like: get(), getAcquire(), getVolatile() and getOpaque().
We can easily use get() method on our VarHandle:
assertThat((int) publicIntHandle.get(this) == 1);
The get() method takes only CoordinateTypes as parameters, so we can simply use this in our case.
5.2. Write Access
Methods with writing access level allow us to set the value of the variable under specific memory ordering effects.
Similarly to methods with read access, we have several methods with write access: set(), setOpaque(), setVolatile() and setRelease().
We can use the set() method on our VarHandle:
publicIntHandle.set(this, 15); assertThat((int) publicIntHandle.get(this) == 15);
The set() method expects at least two arguments. The first one will help locate the variable, while the second is the value to be set to the variable.
5.3. Atomic Update Access
Methods with this access level can be used to atomically update the value of the variable.
Let’s use the compareAndSet() method to see the effects:
publicIntHandle.compareAndSet(this, 1, 100); assertThat((int) publicIntHandle.get(this) == 100);
Apart from the CoordinateTypes, the compareAndSet() method takes two additional values: oldValue and newValue. The method sets the value of the variable if it was equal to oldVariable or leaves it unchanged otherwise.
5.4. Numeric Atomic Update Access
These methods allow performing numeric operations such as getAndAdd() under specific memory ordering effects.
Let’s see how we can perform atomic operations using a VarHandle:
int before = (int) publicIntHandle.getAndAdd(this, 200); assertThat(before == 0); assertThat((int) publicIntHandle.get(this) == 200);
Here, the getAndAdd() method first returns the value of the variable, then adds the provided value.
5.5. Bitwise Atomic Update Access
Methods with this access allow to atomically perform bitwise operations under specific memory ordering effects.
Let’s see an example of using the getAndBitwiseOr() method:
byte before = (byte) publicIntHandle.getAndBitwiseOr(this, (byte) 127); assertThat(before == 0); assertThat(variableToBitwiseOr == 127);
This method will get the value of our variable and perform a bitwise OR operation on it.
The method call will throw an IllegalAccessException if it fails to match the access mode required by the method with the one allowed by the variable.
For example, this will happen if we try to use a set() method on a final variable.
6. Memory Ordering Effects
We previously mentioned that VarHandle methods allow access to variables under specific memory ordering effects.
For most of the methods there are 4 memory ordering effects:
- Plain reads and writes guarantee bitwise atomicity for references and primitives under 32 bits. Also, they impose no ordering constraints with respect to the other traits.
- Opaque operations are bitwise atomic and coherently ordered with respect to access to the same variable.
- Acquire and Release operations obey Opaque properties. Also, Acquire reads will be ordered only after matching Release mode writes.
- Volatile operations are fully ordered with respect to each other.
It’s very important to remember that access modes will override previous memory ordering effects. This means that, for example, if we use get() it will be a plain read operation, even if we declared our variable as volatile.
Because of that, developers must use extreme caution when they use VarHandle operations.
7. Conclusion
In this tutorial, we presented variable handles and how to use them.
This topic is quite complicated since variable handles aim to allow low-level manipulation and they should not be used unless necessary.
As always, the code samples are available over on GitHub.