src/jdk/internal/dynalink/ChainedCallSite.java

Tue, 26 Jan 2016 08:38:37 -0800

author
asaha
date
Tue, 26 Jan 2016 08:38:37 -0800
changeset 1845
f0507b7c27f2
parent 963
e2497b11a021
child 1205
4112748288bb
permissions
-rw-r--r--

Added tag jdk8u40-b33 for changeset 0130b5cb16e0

attila@90 1 /*
attila@90 2 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
attila@90 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
attila@90 4 *
attila@90 5 * This code is free software; you can redistribute it and/or modify it
attila@90 6 * under the terms of the GNU General Public License version 2 only, as
attila@90 7 * published by the Free Software Foundation. Oracle designates this
attila@90 8 * particular file as subject to the "Classpath" exception as provided
attila@90 9 * by Oracle in the LICENSE file that accompanied this code.
attila@90 10 *
attila@90 11 * This code is distributed in the hope that it will be useful, but WITHOUT
attila@90 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
attila@90 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
attila@90 14 * version 2 for more details (a copy is included in the LICENSE file that
attila@90 15 * accompanied this code).
attila@90 16 *
attila@90 17 * You should have received a copy of the GNU General Public License version
attila@90 18 * 2 along with this work; if not, write to the Free Software Foundation,
attila@90 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
attila@90 20 *
attila@90 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
attila@90 22 * or visit www.oracle.com if you need additional information or have any
attila@90 23 * questions.
attila@90 24 */
attila@90 25
attila@90 26 /*
attila@90 27 * This file is available under and governed by the GNU General Public
attila@90 28 * License version 2 only, as published by the Free Software Foundation.
attila@90 29 * However, the following notice accompanied the original version of this
attila@90 30 * file, and Oracle licenses the original version of this file under the BSD
attila@90 31 * license:
attila@90 32 */
attila@90 33 /*
attila@90 34 Copyright 2009-2013 Attila Szegedi
attila@90 35
attila@90 36 Licensed under both the Apache License, Version 2.0 (the "Apache License")
attila@90 37 and the BSD License (the "BSD License"), with licensee being free to
attila@90 38 choose either of the two at their discretion.
attila@90 39
attila@90 40 You may not use this file except in compliance with either the Apache
attila@90 41 License or the BSD License.
attila@90 42
attila@90 43 If you choose to use this file in compliance with the Apache License, the
attila@90 44 following notice applies to you:
attila@90 45
attila@90 46 You may obtain a copy of the Apache License at
attila@90 47
attila@90 48 http://www.apache.org/licenses/LICENSE-2.0
attila@90 49
attila@90 50 Unless required by applicable law or agreed to in writing, software
attila@90 51 distributed under the License is distributed on an "AS IS" BASIS,
attila@90 52 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
attila@90 53 implied. See the License for the specific language governing
attila@90 54 permissions and limitations under the License.
attila@90 55
attila@90 56 If you choose to use this file in compliance with the BSD License, the
attila@90 57 following notice applies to you:
attila@90 58
attila@90 59 Redistribution and use in source and binary forms, with or without
attila@90 60 modification, are permitted provided that the following conditions are
attila@90 61 met:
attila@90 62 * Redistributions of source code must retain the above copyright
attila@90 63 notice, this list of conditions and the following disclaimer.
attila@90 64 * Redistributions in binary form must reproduce the above copyright
attila@90 65 notice, this list of conditions and the following disclaimer in the
attila@90 66 documentation and/or other materials provided with the distribution.
attila@90 67 * Neither the name of the copyright holder nor the names of
attila@90 68 contributors may be used to endorse or promote products derived from
attila@90 69 this software without specific prior written permission.
attila@90 70
attila@90 71 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
attila@90 72 IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
attila@90 73 TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
attila@90 74 PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDER
attila@90 75 BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
attila@90 76 CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
attila@90 77 SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
attila@90 78 BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
attila@90 79 WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
attila@90 80 OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
attila@90 81 ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
attila@90 82 */
attila@90 83
attila@90 84 package jdk.internal.dynalink;
attila@90 85
attila@90 86 import java.lang.invoke.MethodHandle;
attila@90 87 import java.lang.invoke.MethodHandles;
attila@90 88 import java.util.Iterator;
attila@90 89 import java.util.LinkedList;
attila@90 90 import java.util.concurrent.atomic.AtomicReference;
attila@90 91 import jdk.internal.dynalink.linker.GuardedInvocation;
attila@90 92 import jdk.internal.dynalink.support.AbstractRelinkableCallSite;
attila@488 93 import jdk.internal.dynalink.support.Lookup;
attila@90 94
attila@90 95 /**
attila@90 96 * A relinkable call site that maintains a chain of linked method handles. In the default implementation, up to 8 method
attila@90 97 * handles can be chained, cascading from one to the other through
attila@90 98 * {@link MethodHandles#guardWithTest(MethodHandle, MethodHandle, MethodHandle)}. When this call site has to link a new
attila@90 99 * method handle and the length of the chain is already at the maximum, it will throw away the oldest method handle.
attila@90 100 * Switchpoint-invalidated handles in the chain are removed eagerly (on each linking request, and whenever a
attila@90 101 * switchpoint-invalidated method handle is traversed during invocation). There is currently no profiling
attila@90 102 * attached to the handles in the chain, so they are never reordered based on usage; the most recently linked method
attila@90 103 * handle is always at the start of the chain.
attila@90 104 */
attila@90 105 public class ChainedCallSite extends AbstractRelinkableCallSite {
attila@963 106 private static final MethodHandle PRUNE_CATCHES =
attila@963 107 MethodHandles.insertArguments(
attila@963 108 Lookup.findOwnSpecial(
attila@963 109 MethodHandles.lookup(),
attila@963 110 "prune",
attila@963 111 MethodHandle.class,
attila@963 112 MethodHandle.class,
attila@963 113 boolean.class),
attila@963 114 2,
attila@963 115 true);
attila@963 116
attila@963 117 private static final MethodHandle PRUNE_SWITCHPOINTS =
attila@963 118 MethodHandles.insertArguments(
attila@963 119 Lookup.findOwnSpecial(
attila@963 120 MethodHandles.lookup(),
attila@963 121 "prune",
attila@963 122 MethodHandle.class,
attila@963 123 MethodHandle.class,
attila@963 124 boolean.class),
attila@963 125 2,
attila@963 126 false);
attila@488 127
attila@90 128 private final AtomicReference<LinkedList<GuardedInvocation>> invocations = new AtomicReference<>();
attila@90 129
attila@90 130 /**
attila@90 131 * Creates a new chained call site.
attila@90 132 * @param descriptor the descriptor for the call site.
attila@90 133 */
attila@962 134 public ChainedCallSite(final CallSiteDescriptor descriptor) {
attila@90 135 super(descriptor);
attila@90 136 }
attila@90 137
attila@90 138 /**
attila@90 139 * The maximum number of method handles in the chain. Defaults to 8. You can override it in a subclass if you need
attila@90 140 * to change the value. If your override returns a value less than 1, the code will break.
attila@90 141 * @return the maximum number of method handles in the chain.
attila@90 142 */
attila@90 143 protected int getMaxChainLength() {
attila@90 144 return 8;
attila@90 145 }
attila@90 146
attila@90 147 @Override
attila@962 148 public void relink(final GuardedInvocation guardedInvocation, final MethodHandle fallback) {
attila@963 149 relinkInternal(guardedInvocation, fallback, false, false);
attila@90 150 }
attila@90 151
attila@90 152 @Override
attila@962 153 public void resetAndRelink(final GuardedInvocation guardedInvocation, final MethodHandle fallback) {
attila@963 154 relinkInternal(guardedInvocation, fallback, true, false);
attila@90 155 }
attila@90 156
attila@963 157 private MethodHandle relinkInternal(final GuardedInvocation invocation, final MethodHandle relink, final boolean reset, final boolean removeCatches) {
attila@90 158 final LinkedList<GuardedInvocation> currentInvocations = invocations.get();
attila@90 159 @SuppressWarnings({ "unchecked", "rawtypes" })
attila@90 160 final LinkedList<GuardedInvocation> newInvocations =
attila@90 161 currentInvocations == null || reset ? new LinkedList<>() : (LinkedList)currentInvocations.clone();
attila@90 162
attila@963 163 // First, prune the chain of invalidated switchpoints, we always do this
attila@963 164 // We also remove any catches if the remove catches flag is set
attila@962 165 for(final Iterator<GuardedInvocation> it = newInvocations.iterator(); it.hasNext();) {
attila@963 166 final GuardedInvocation inv = it.next();
attila@963 167 if(inv.hasBeenInvalidated() || (removeCatches && inv.getException() != null)) {
attila@90 168 it.remove();
attila@90 169 }
attila@90 170 }
attila@90 171
attila@90 172 // prune() is allowed to invoke this method with invocation == null meaning we're just pruning the chain and not
attila@90 173 // adding any new invocations to it.
attila@90 174 if(invocation != null) {
attila@90 175 // Remove oldest entry if we're at max length
attila@90 176 if(newInvocations.size() == getMaxChainLength()) {
attila@90 177 newInvocations.removeFirst();
attila@90 178 }
attila@90 179 newInvocations.addLast(invocation);
attila@90 180 }
attila@90 181
attila@90 182 // prune-and-invoke is used as the fallback for invalidated switchpoints. If a switchpoint gets invalidated, we
attila@90 183 // rebuild the chain and get rid of all invalidated switchpoints instead of letting them linger.
attila@963 184 final MethodHandle pruneAndInvokeSwitchPoints = makePruneAndInvokeMethod(relink, getPruneSwitchpoints());
attila@963 185 final MethodHandle pruneAndInvokeCatches = makePruneAndInvokeMethod(relink, getPruneCatches());
attila@90 186
attila@90 187 // Fold the new chain
attila@90 188 MethodHandle target = relink;
attila@962 189 for(final GuardedInvocation inv: newInvocations) {
attila@963 190 target = inv.compose(target, pruneAndInvokeSwitchPoints, pruneAndInvokeCatches);
attila@90 191 }
attila@90 192
attila@90 193 // If nobody else updated the call site while we were rebuilding the chain, set the target to our chain. In case
attila@90 194 // we lost the race for multithreaded update, just do nothing. Either the other thread installed the same thing
attila@90 195 // we wanted to install, or otherwise, we'll be asked to relink again.
attila@90 196 if(invocations.compareAndSet(currentInvocations, newInvocations)) {
attila@90 197 setTarget(target);
attila@90 198 }
attila@90 199 return target;
attila@90 200 }
attila@90 201
attila@90 202 /**
attila@963 203 * Get the switchpoint pruning function for a chained call site
attila@963 204 * @return function that removes invalidated switchpoints tied to callsite guard chain and relinks
attila@963 205 */
attila@963 206 protected MethodHandle getPruneSwitchpoints() {
attila@963 207 return PRUNE_SWITCHPOINTS;
attila@963 208 }
attila@963 209
attila@963 210 /**
attila@963 211 * Get the catch pruning function for a chained call site
attila@963 212 * @return function that removes all catches tied to callsite guard chain and relinks
attila@963 213 */
attila@963 214 protected MethodHandle getPruneCatches() {
attila@963 215 return PRUNE_CATCHES;
attila@963 216 }
attila@963 217
attila@963 218 /**
attila@90 219 * Creates a method that rebuilds our call chain, pruning it of any invalidated switchpoints, and then invokes that
attila@90 220 * chain.
attila@90 221 * @param relink the ultimate fallback for the chain (the {@code DynamicLinker}'s relink).
attila@90 222 * @return a method handle for prune-and-invoke
attila@90 223 */
attila@963 224 private MethodHandle makePruneAndInvokeMethod(final MethodHandle relink, final MethodHandle prune) {
attila@90 225 // Bind prune to (this, relink)
attila@963 226 final MethodHandle boundPrune = MethodHandles.insertArguments(prune, 0, this, relink);
attila@90 227 // Make it ignore all incoming arguments
attila@90 228 final MethodHandle ignoreArgsPrune = MethodHandles.dropArguments(boundPrune, 0, type().parameterList());
attila@90 229 // Invoke prune, then invoke the call site target with original arguments
attila@90 230 return MethodHandles.foldArguments(MethodHandles.exactInvoker(type()), ignoreArgsPrune);
attila@90 231 }
attila@90 232
attila@90 233 @SuppressWarnings("unused")
attila@963 234 private MethodHandle prune(final MethodHandle relink, final boolean catches) {
attila@963 235 return relinkInternal(null, relink, false, catches);
attila@90 236 }
attila@101 237 }

mercurial