Класс SwitchPoint

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

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

Когда защищённый делегат создаётся из защищённой пары, пара упаковывается в новый обработчик методов M, который постоянно ассоциируется с переключателем, который его создал. Каждая пара состоит из целевого обработчика T и резервного F. Пока переключатель имеет состояние valid, вызовы к 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]));
     }
 }