Класс SwitchPoint

SwitchPoint — это объект, который может публиковать переходы состояния для других потоков. Точка переключения изначально находится в действительном состоянии, но в любой момент может быть переведена в недействительное состояние. Отмена действия недействительного состояния невозможна. Точка переключения может объединить защищённую пару дескрипторов методов в защищённый делегатор. Защищённый делегатор — это дескриптор метода, который делегирует вызов одному из исходных дескрипторов методов. Состояние точки переключения определяет, которому из двух будет делегирован вызов.

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

При создании защищённого делегатора из защищённой пары эта пара оборачивается в новый дескриптор метода 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]));
    }
}