Класс 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]));
     }
 }