构造方法详细信息

• ClassValue

  protected ClassValue()

  唯一的构造函数。 （对于子类构造函数的调用，通常是隐式的。）

方法详细信息

• computeValue

  protected abstract T computeValue​(类<?> type)

  计算此ClassValue的给定类的派生值。

  将使用get方法在第一个访问该值的线程中调用此方法。

  通常，每个类最多调用一次此方法，但如果调用remove ，则可以再次调用此方法。

  如果此方法抛出异常，则对该异常的相应调用get将异常终止，并且不会记录任何类值。

  参数

  type - 必须计算其类值的类型

  结果

  对于给定的类或接口，与此 ClassValue关联的新计算值

  另请参见：

  get(java.lang.Class<?>) ， remove(java.lang.Class<?>)

• get

  public T get​(类<?> type)

  返回给定类的值。 如果尚未计算任何值，则通过调用computeValue方法获得该值 。

  类的实际安装是以原子方式执行的。 此时，如果几个赛车线程具有计算值，则选择一个，并返回到所有赛车线程。

  type参数通常是一个类，但它可以是任何类型，例如接口，基本类型（如int.class ）或void.class 。

  在没有remove调用的情况下，类值具有简单的状态图：未初始化和初始化。 当进行remove调用时，值观察的规则更复杂。 有关更多信息，请参阅remove的文档。

  参数

  type - 必须计算或检索其类值的类型

  结果

  对于给定的类或接口，与此 ClassValue关联的当前值

  异常

  NullPointerException - 如果参数为null

  另请参见：

  remove(java.lang.Class<?>) ， computeValue(java.lang.Class<?>)

• remove

  public void remove​(类<?> type)

  删除给定类的关联值。 如果该值随后是同一类的read ，则将通过调用其computeValue方法重新初始化其值。 这可能导致为给定类额外调用computeValue方法。

  为了解释get和remove调用之间的交互，我们必须对类值的状态转换进行建模，以考虑未初始化状态和初始化状态之间的交替。 为此，请从零开始按顺序对这些状态进行编号，并注意未初始化（或已移除）状态用偶数编号，而初始化（或重新初始化）状态具有奇数。

  当一个线程T消除状态类值2N ，什么都不会发生，因为类值已经初始化。 否则，状态以原子方式提前到2N+1 。

  当线程T查询状态2N的类值时，线程首先尝试通过调用computeValue并安装结果值来将类值初始化为状态2N+1 。

  当T尝试安装新计算的值时，如果状态仍为2N ，则将使用计算值初始化类值，将其提前到状态2N+1 。

  否则，无论新状态是偶数还是奇数， T将丢弃新计算的值get试get操作。

  丢弃和重试是一个重要的附带条件，否则T可能会安装一个灾难性的陈旧值。 例如：

  • T致电CV.get(C)并查看州2N
  • T快速计算与时间相关的值V0并准备安装它
  • T被不幸的分页或调度事件击中，并长时间进入休眠状态
  • ...同时， T2也拨打CV.get(C)并看到州2N
  • T2快速计算一个类似的时间依赖值V1并安装在CV.get(C)
  • T2 （或第三个线程）然后调用CV.remove(C) ，撤消T2的工作
  • T2的先前动作重复多次
  • 同时，相关的计算值随时间而变化： V1 ， V2 ，...
  • ...同时， T醒来并尝试安装V0 ; 这必须失败

  我们可以假设在上面的场景中CV.computeValue使用锁来正确观察时间依赖状态，因为它计算V1等。这不会消除陈旧值的威胁，因为在返回computeValue之间有一个时间窗口T并安装新值。 在此期间无法进行用户同步。

  参数

  type - 必须删除其类值的类型

  异常

  NullPointerException - if the argument is null