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