模块  java.base
软件包  java.lang

Class ClassValue<T>


  • public abstract class ClassValue<T>extends Object
    懒惰地将计算值与(可能)每种类型相关联。 例如,如果动态语言需要为消息发送调用站点遇到的每个类构造消息调度表,则可以使用ClassValue来缓存为遇到的每个类快速执行消息发送所需的信息。
    从以下版本开始:
    1.7
    • 构造方法详细信息

      • 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方法。

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

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

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

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

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

        丢弃和重试是一个重要的附带条件,否则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的先前动作重复多次
        • 同时,相关的计算值随时间而变化: V1V2 ,...
        • ...同时, T醒来并尝试安装V0 ; 这必须失败
        我们可以假设在上面的场景中CV.computeValue使用锁来正确观察时间依赖状态,因为它计算V1等。这不会消除陈旧值的威胁,因为在返回computeValue之间有一个时间窗口T并安装新值。 在此期间无法进行用户同步。
        参数
        type - 必须删除其类值的类型
        异常
        NullPointerException - if the argument is null