Класс SwitchPoint

SwitchPoint — это объект, который может публиковать переходы состояний для других потоков. Точка переключения изначально находится в допустимом (valid) состоянии, но в любой момент может быть переведена в недопустимое (invalid) состояние. Инвалидацию нельзя отменить. Точка переключения может объединять защищённую пару (guarded pair) дескрипторов методов в защищённый делегатор (guarded delegator). Защищённый делегатор — это дескриптор метода, который делегирует вызов одному из исходных дескрипторов методов. Состояние точки переключения определяет, какой из них двоих получает делегирование.

Одна точка переключения может использоваться для управления любым количеством дескрипторов методов. (Следовательно, косвенно она может управлять любым количеством мест вызова.) Это достигается за счёт использования одной точки переключения в качестве фабрики для объединения любого количества пар защищённых дескрипторов методов в защищённые делегаторы.

Когда защищённый делегатор создаётся из защищённой пары, пара оборачивается в новый дескриптор метода M, который постоянно связан с создавшей его точкой переключения. Каждая пара состоит из целевого дескриптора T и резервного дескриптора F. Пока точка переключения действительна, вызовы к M делегируются T. После её инвалидации вызовы делегируются F.

Инвалидация является глобальной и немедленной, как если бы точка переключения содержала переменную volatile boolean, проверяемую при каждом вызове M. Инвалидация также является постоянной, что означает, что точка переключения может изменить состояние только один раз. Точка переключения всегда будет делегировать вызовы F после инвалидации. В этот момент guardWithTest может проигнорировать T и вернуть F.

Вот пример использования точки переключения в действии:

MethodHandle MH_strcat = MethodHandles.lookup()
    .findVirtual(String.class, "concat", MethodType.methodType(String.class, String.class));
SwitchPoint spt = new SwitchPoint();
assert(!spt.hasBeenInvalidated());
// the following steps may be repeated to re-use the same switch point:
MethodHandle worker1 = MH_strcat;
MethodHandle worker2 = MethodHandles.permuteArguments(MH_strcat, MH_strcat.type(), 1, 0);
MethodHandle worker = spt.guardWithTest(worker1, worker2);
assertEquals("method", (String) worker.invokeExact("met", "hod"));
SwitchPoint.invalidateAll(new SwitchPoint[]{ spt });
assert(spt.hasBeenInvalidated());
assertEquals("hodmet", (String) worker.invokeExact("met", "hod"));

Обсуждение: Точки переключения полезны и без создания подклассов. Они также могут наследоваться. Это может быть полезно для связывания специфичной для приложения логики инвалидации с точкой переключения. Обратите внимание, что постоянной связи между точкой переключения и дескрипторами методов, которые она производит и потребляет, нет. Сборщик мусора может собирать дескрипторы методов, созданные или используемые точкой переключения, независимо от времени жизни самой точки переключения.

Примечание по реализации: Точка переключения ведёт себя так, как будто она реализована поверх MutableCallSite, приблизительно следующим образом:

public class SwitchPoint {
    private static final MethodHandle
        K_true  = MethodHandles.constant(boolean.class, true),
        K_false = MethodHandles.constant(boolean.class, false);
    private final MutableCallSite mcs;
    private final MethodHandle mcsInvoker;
    public SwitchPoint() {
        this.mcs = new MutableCallSite(K_true);
        this.mcsInvoker = mcs.dynamicInvoker();
    }
    public MethodHandle guardWithTest(
            MethodHandle target, MethodHandle fallback) {
        // Note:  mcsInvoker is of type ()boolean.
        // Target and fallback may take any arguments, but must have the same type.
        return MethodHandles.guardWithTest(this.mcsInvoker, target, fallback);
    }
    public static void invalidateAll(SwitchPoint[] spts) {
        List<MutableCallSite> mcss = new ArrayList<>();
        for (SwitchPoint spt : spts)  mcss.add(spt.mcs);
        for (MutableCallSite mcs : mcss)  mcs.setTarget(K_false);
        MutableCallSite.syncAll(mcss.toArray(new MutableCallSite[0]));
    }
}