author | jrose |
Fri, 11 Feb 2011 01:26:28 -0800 | |
changeset 8346 | 3b891698c4ec |
parent 7562 | a0ad195efe2c |
child 8821 | 2836ee97ee27 |
permissions | -rw-r--r-- |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
1 |
/* |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
2 |
* Copyright (c) 2010, 2011, Oracle and/or its affiliates. All rights reserved. |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
4 |
* |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
5 |
* This code is free software; you can redistribute it and/or modify it |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
7 |
* published by the Free Software Foundation. Oracle designates this |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
8 |
* particular file as subject to the "Classpath" exception as provided |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
9 |
* by Oracle in the LICENSE file that accompanied this code. |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
10 |
* |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
11 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
12 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
13 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
14 |
* version 2 for more details (a copy is included in the LICENSE file that |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
15 |
* accompanied this code). |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
16 |
* |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
17 |
* You should have received a copy of the GNU General Public License version |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
18 |
* 2 along with this work; if not, write to the Free Software Foundation, |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
19 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
20 |
* |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
21 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
22 |
* or visit www.oracle.com if you need additional information or have any |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
23 |
* questions. |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
24 |
*/ |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
25 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
26 |
package java.dyn; |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
27 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
28 |
import java.util.WeakHashMap; |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
29 |
import java.util.concurrent.atomic.AtomicInteger; |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
30 |
import java.util.concurrent.atomic.AtomicReference; |
7562
a0ad195efe2c
7001424: implement JSR 292 EG adjustments, November 2010
jrose
parents:
7054
diff
changeset
|
31 |
import java.lang.reflect.UndeclaredThrowableException; |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
32 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
33 |
/** |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
34 |
* Lazily associate a computed value with (potentially) every type. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
35 |
* For example, if a dynamic language needs to construct a message dispatch |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
36 |
* table for each class encountered at a message send call site, |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
37 |
* it can use a {@code ClassValue} to cache information needed to |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
38 |
* perform the message send quickly, for each class encountered. |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
39 |
* @author John Rose, JSR 292 EG |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
40 |
*/ |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
41 |
public abstract class ClassValue<T> { |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
42 |
/** |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
43 |
* Compute the given class's derived value for this {@code ClassValue}. |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
44 |
* <p> |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
45 |
* This method will be invoked within the first thread that accesses |
7562
a0ad195efe2c
7001424: implement JSR 292 EG adjustments, November 2010
jrose
parents:
7054
diff
changeset
|
46 |
* the value with the {@link #get get} method. |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
47 |
* <p> |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
48 |
* Normally, this method is invoked at most once per class, |
7562
a0ad195efe2c
7001424: implement JSR 292 EG adjustments, November 2010
jrose
parents:
7054
diff
changeset
|
49 |
* but it may be invoked again if there has been a call to |
a0ad195efe2c
7001424: implement JSR 292 EG adjustments, November 2010
jrose
parents:
7054
diff
changeset
|
50 |
* {@link #remove remove}. |
a0ad195efe2c
7001424: implement JSR 292 EG adjustments, November 2010
jrose
parents:
7054
diff
changeset
|
51 |
* <p> |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
52 |
* If this method throws an exception, the corresponding call to {@code get} |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
53 |
* will terminate abnormally with that exception, and no class value will be recorded. |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
54 |
* |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
55 |
* @param type the type whose class value must be computed |
7562
a0ad195efe2c
7001424: implement JSR 292 EG adjustments, November 2010
jrose
parents:
7054
diff
changeset
|
56 |
* @return the newly computed value associated with this {@code ClassValue}, for the given class or interface |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
57 |
* @see #get |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
58 |
* @see #remove |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
59 |
*/ |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
60 |
protected abstract T computeValue(Class<?> type); |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
61 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
62 |
/** |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
63 |
* Returns the value for the given class. |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
64 |
* If no value has yet been computed, it is obtained by |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
65 |
* an invocation of the {@link #computeValue computeValue} method. |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
66 |
* <p> |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
67 |
* The actual installation of the value on the class |
7562
a0ad195efe2c
7001424: implement JSR 292 EG adjustments, November 2010
jrose
parents:
7054
diff
changeset
|
68 |
* is performed atomically. |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
69 |
* At that point, if several racing threads have |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
70 |
* computed values, one is chosen, and returned to |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
71 |
* all the racing threads. |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
72 |
* <p> |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
73 |
* The {@code type} parameter is typically a class, but it may be any type, |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
74 |
* such as an interface, a primitive type (like {@code int.class}), or {@code void.class}. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
75 |
* <p> |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
76 |
* In the absence of {@code remove} calls, a class value has a simple |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
77 |
* state diagram: uninitialized and initialized. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
78 |
* When {@code remove} calls are made, |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
79 |
* the rules for value observation are more complex. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
80 |
* See the documentation for {@link #remove remove} for more information. |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
81 |
* |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
82 |
* @param type the type whose class value must be computed or retrieved |
7562
a0ad195efe2c
7001424: implement JSR 292 EG adjustments, November 2010
jrose
parents:
7054
diff
changeset
|
83 |
* @return the current value associated with this {@code ClassValue}, for the given class or interface |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
84 |
* @throws NullPointerException if the argument is null |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
85 |
* @see #remove |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
86 |
* @see #computeValue |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
87 |
*/ |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
88 |
public T get(Class<?> type) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
89 |
ClassValueMap map = getMap(type); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
90 |
if (map != null) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
91 |
Object x = map.get(this); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
92 |
if (x != null) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
93 |
return (T) map.unmaskNull(x); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
94 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
95 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
96 |
return setComputedValue(type); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
97 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
98 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
99 |
/** |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
100 |
* Removes the associated value for the given class. |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
101 |
* If this value is subsequently {@linkplain #get read} for the same class, |
7562
a0ad195efe2c
7001424: implement JSR 292 EG adjustments, November 2010
jrose
parents:
7054
diff
changeset
|
102 |
* its value will be reinitialized by invoking its {@link #computeValue computeValue} method. |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
103 |
* This may result in an additional invocation of the |
7562
a0ad195efe2c
7001424: implement JSR 292 EG adjustments, November 2010
jrose
parents:
7054
diff
changeset
|
104 |
* {@code computeValue computeValue} method for the given class. |
a0ad195efe2c
7001424: implement JSR 292 EG adjustments, November 2010
jrose
parents:
7054
diff
changeset
|
105 |
* <p> |
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
106 |
* In order to explain the interaction between {@code get} and {@code remove} calls, |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
107 |
* we must model the state transitions of a class value to take into account |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
108 |
* the alternation between uninitialized and initialized states. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
109 |
* To do this, number these states sequentially from zero, and note that |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
110 |
* uninitialized (or removed) states are numbered with even numbers, |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
111 |
* while initialized (or re-initialized) states have odd numbers. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
112 |
* <p> |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
113 |
* When a thread {@code T} removes a class value in state {@code 2N}, |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
114 |
* nothing happens, since the class value is already uninitialized. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
115 |
* Otherwise, the state is advanced atomically to {@code 2N+1}. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
116 |
* <p> |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
117 |
* When a thread {@code T} queries a class value in state {@code 2N}, |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
118 |
* the thread first attempts to initialize the class value to state {@code 2N+1} |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
119 |
* by invoking {@code computeValue} and installing the resulting value. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
120 |
* <p> |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
121 |
* When {@code T} attempts to install the newly computed value, |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
122 |
* if the state is still at {@code 2N}, the class value will be initialized |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
123 |
* with the computed value, advancing it to state {@code 2N+1}. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
124 |
* <p> |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
125 |
* Otherwise, whether the new state is even or odd, |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
126 |
* {@code T} will discard the newly computed value |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
127 |
* and retry the {@code get} operation. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
128 |
* <p> |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
129 |
* Discarding and retrying is an important proviso, |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
130 |
* since otherwise {@code T} could potentially install |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
131 |
* a disastrously stale value. For example: |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
132 |
* <ul> |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
133 |
* <li>{@code T} calls {@code CV.get(C)} and sees state {@code 2N} |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
134 |
* <li>{@code T} quickly computes a time-dependent value {@code V0} and gets ready to install it |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
135 |
* <li>{@code T} is hit by an unlucky paging or scheduling event, and goes to sleep for a long time |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
136 |
* <li>...meanwhile, {@code T2} also calls {@code CV.get(C)} and sees state {@code 2N} |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
137 |
* <li>{@code T2} quickly computes a similar time-dependent value {@code V1} and installs it on {@code CV.get(C)} |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
138 |
* <li>{@code T2} (or a third thread) then calls {@code CV.remove(C)}, undoing {@code T2}'s work |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
139 |
* <li> the previous actions of {@code T2} are repeated several times |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
140 |
* <li> also, the relevant computed values change over time: {@code V1}, {@code V2}, ... |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
141 |
* <li>...meanwhile, {@code T} wakes up and attempts to install {@code V0}; <em>this must fail</em> |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
142 |
* </ul> |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
143 |
* We can assume in the above scenario that {@code CV.computeValue} uses locks to properly |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
144 |
* observe the time-dependent states as it computes {@code V1}, etc. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
145 |
* This does not remove the threat of a stale value, since there is a window of time |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
146 |
* between the return of {@code computeValue} in {@code T} and the installation |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
147 |
* of the the new value. No user synchronization is possible during this time. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
148 |
* |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
149 |
* @param type the type whose class value must be removed |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
150 |
* @throws NullPointerException if the argument is null |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
151 |
*/ |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
152 |
public void remove(Class<?> type) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
153 |
ClassValueMap map = getMap(type); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
154 |
if (map != null) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
155 |
synchronized (map) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
156 |
map.remove(this); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
157 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
158 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
159 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
160 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
161 |
/// Implementation... |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
162 |
|
8346
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
163 |
// The hash code for this type is based on the identity of the object, |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
164 |
// and is well-dispersed for power-of-two tables. |
3b891698c4ec
7012650: implement JSR 292 EG adjustments through January 2010
jrose
parents:
7562
diff
changeset
|
165 |
/** @deprecated This override, which is implementation-specific, will be removed for PFD. */ |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
166 |
public final int hashCode() { return hashCode; } |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
167 |
private final int hashCode = HASH_CODES.getAndAdd(0x61c88647); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
168 |
private static final AtomicInteger HASH_CODES = new AtomicInteger(); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
169 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
170 |
private static final AtomicInteger STORE_BARRIER = new AtomicInteger(); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
171 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
172 |
/** Slow path for {@link #get}. */ |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
173 |
private T setComputedValue(Class<?> type) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
174 |
ClassValueMap map = getMap(type); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
175 |
if (map == null) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
176 |
map = initializeMap(type); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
177 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
178 |
T value = computeValue(type); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
179 |
STORE_BARRIER.lazySet(0); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
180 |
// All stores pending from computeValue are completed. |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
181 |
synchronized (map) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
182 |
// Warm up the table with a null entry. |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
183 |
map.preInitializeEntry(this); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
184 |
} |
7562
a0ad195efe2c
7001424: implement JSR 292 EG adjustments, November 2010
jrose
parents:
7054
diff
changeset
|
185 |
STORE_BARRIER.lazySet(0); |
7054
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
186 |
// All stores pending from table expansion are completed. |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
187 |
synchronized (map) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
188 |
value = (T) map.initializeEntry(this, value); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
189 |
// One might fear a possible race condition here |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
190 |
// if the code for map.put has flushed the write |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
191 |
// to map.table[*] before the writes to the Map.Entry |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
192 |
// are done. This is not possible, since we have |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
193 |
// warmed up the table with an empty entry. |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
194 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
195 |
return value; |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
196 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
197 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
198 |
// Replace this map by a per-class slot. |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
199 |
private static final WeakHashMap<Class<?>, ClassValueMap> ROOT |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
200 |
= new WeakHashMap<Class<?>, ClassValueMap>(); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
201 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
202 |
private static ClassValueMap getMap(Class<?> type) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
203 |
return ROOT.get(type); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
204 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
205 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
206 |
private static ClassValueMap initializeMap(Class<?> type) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
207 |
synchronized (ClassValue.class) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
208 |
ClassValueMap map = ROOT.get(type); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
209 |
if (map == null) |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
210 |
ROOT.put(type, map = new ClassValueMap()); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
211 |
return map; |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
212 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
213 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
214 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
215 |
static class ClassValueMap extends WeakHashMap<ClassValue, Object> { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
216 |
/** Make sure this table contains an Entry for the given key, even if it is empty. */ |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
217 |
void preInitializeEntry(ClassValue key) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
218 |
if (!this.containsKey(key)) |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
219 |
this.put(key, null); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
220 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
221 |
/** Make sure this table contains a non-empty Entry for the given key. */ |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
222 |
Object initializeEntry(ClassValue key, Object value) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
223 |
Object prior = this.get(key); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
224 |
if (prior != null) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
225 |
return unmaskNull(prior); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
226 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
227 |
this.put(key, maskNull(value)); |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
228 |
return value; |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
229 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
230 |
|
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
231 |
Object maskNull(Object x) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
232 |
return x == null ? this : x; |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
233 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
234 |
Object unmaskNull(Object x) { |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
235 |
return x == this ? null : x; |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
236 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
237 |
} |
fee2fbaf3293
6982752: dynamic languages need to decorate types with runtime information
jrose
parents:
diff
changeset
|
238 |
} |