使用Java的AtomicStampedReference类，它可以把一个元素与一个状态标记捆绑在一起，确保操作的原子性和可见性，同时避免易变值带来的成本问题。下面给出一个代码示例：

import java.util.concurrent.atomic.AtomicStampedReference;

public class Example {
    // 初始化元素和状态标记
    private static final String INITIAL_VALUE = "initial value";
    private static final int INITIAL_STAMP = 0;
    private static AtomicStampedReference reference = new AtomicStampedReference<>(INITIAL_VALUE, INITIAL_STAMP);

    public static void main(String[] args) {
        String annotatedValue = "annotated value";
        int newStamp = 1;
        
        // 获取当前元素和状态标记
        String currentValue = reference.getReference();
        int currentStamp = reference.getStamp();
        System.out.println("Current value: " + currentValue + ", current stamp: " + currentStamp);
        
        // 尝试修改元素和状态标记
        boolean success = reference.compareAndSet(currentValue, annotatedValue, currentStamp, newStamp);
        System.out.println("Update success: " + success);
        
        // 获取修改后的元素和状态标记
        String updatedValue = reference.getReference();
        int updatedStamp = reference.getStamp();
        System.out.println("Updated value: " + updatedValue + ", updated stamp: " + updatedStamp);
    }
}

在上面的示例中，我们使用AtomicStampedReference类来维护一个字符串元素，并用状态标记来记录元素的版本。在修改元素时，我们使用compareAndSet方法来进行原子操作，其中需要传入当前元素值、当前状态标记、新元素值和新状态标记。如果修改成功，compareAndSet方法会返回true，否则返回false。在示例中，我们首先获取了当前元素和状态标记，然后尝试将元素从初始值修改为“annotated value”，并将状态标记从0修改为1。最后，我们获取修改后的元素和状态标记，并将它们打印出来。