| // Copyright 2014 The Bazel Authors. All rights reserved. |
| // |
| // Licensed under the Apache License, Version 2.0 (the "License"); |
| // you may not use this file except in compliance with the License. |
| // You may obtain a copy of the License at |
| // |
| // http://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, software |
| // distributed under the License is distributed on an "AS IS" BASIS, |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| // See the License for the specific language governing permissions and |
| // limitations under the License. |
| package com.google.devtools.build.skyframe; |
| |
| import com.google.devtools.build.lib.bugreport.BugReport; |
| import com.google.devtools.build.lib.concurrent.PooledInterner; |
| import com.google.devtools.build.lib.concurrent.ThreadSafety; |
| import com.google.devtools.build.lib.util.TestType; |
| import com.google.errorprone.annotations.CanIgnoreReturnValue; |
| import java.io.Serializable; |
| import javax.annotation.Nullable; |
| |
| /** |
| * A {@link SkyKey} is effectively a pair (type, name) that identifies a Skyframe value. |
| * |
| * <p>SkyKey implementations are heavily used as map keys. Thus, they should have fast {@link |
| * #hashCode} implementations (cached if necessary). The same SkyKey may be created multiple times |
| * by different {@code SkyFunction}s requesting it, and so it should have effective interning. There |
| * will likely be more SkyKeys on the JVM heap than any other non-native type, so be mindful of |
| * memory usage (in particular object wrapper size and memory alignment)! Typically the |
| * implementation should have a fixed {@link #functionName} implementation and return itself as the |
| * {@link #argument} in order to reduce the cost of wrapper objects. |
| */ |
| public interface SkyKey extends Serializable { |
| |
| /** Returns the canonical representation of the key as a string. */ |
| default String getCanonicalName() { |
| return String.format("%s:%s", functionName(), argument().toString().replace('\n', '_')); |
| } |
| |
| SkyFunctionName functionName(); |
| |
| default Object argument() { |
| return this; |
| } |
| |
| /** |
| * Returns {@code true} if this key produces a {@link SkyValue} that can be reused across builds. |
| * |
| * <p>Values may be unshareable because they are just not serializable, or because they contain |
| * data that cannot safely be reused as-is by another invocation, such as stamping information or |
| * "flaky" values like test statuses. |
| * |
| * <p>Unshareable data should not be serialized, since it will never be reused. Attempts to fetch |
| * a key's serialized data will call this method and only perform the fetch if it returns {@code |
| * true}. |
| * |
| * <p>The result of this method only applies to non-error values. In case of an error, {@link |
| * ErrorInfo#isTransitivelyTransient()} can be used to determine shareability. |
| */ |
| default boolean valueIsShareable() { |
| return true; |
| } |
| |
| /** |
| * Returns {@code true} if previously requested deps values are not eagerly batch prefetched when |
| * the {@link SkyFunctionEnvironment} to evaluate this {@link SkyKey} is created. |
| * |
| * <p>Please note that {@link SkyKey}s which supports partial reevaluation should always skip |
| * batch prefetch. |
| */ |
| // TODO: b/324948927#comment8 - Remove this method in the future when skipping batch prefetching |
| // is determined during environment creation. |
| default boolean skipsBatchPrefetch() { |
| return supportsPartialReevaluation(); |
| } |
| |
| /** |
| * Returns {@code true} if this key's {@link SkyFunction} would like Skyframe to schedule its |
| * reevaluation when any of its previously requested unfinished deps completes. Otherwise, |
| * Skyframe will schedule reevaluation only when all previously requested unfinished deps |
| * complete. |
| */ |
| default boolean supportsPartialReevaluation() { |
| return false; |
| } |
| |
| @Nullable |
| default SkyKeyInterner<?> getSkyKeyInterner() { |
| return null; |
| } |
| |
| static <T extends SkyKey> SkyKeyInterner<T> newInterner() { |
| return new SkyKeyInterner<>(); |
| } |
| |
| /** {@link PooledInterner} for {@link SkyKey}s. */ |
| final class SkyKeyInterner<T extends SkyKey> extends PooledInterner<T> { |
| @Nullable static Pool<? extends SkyKey> globalPool = null; |
| |
| /** |
| * Sets the {@link Pool} to be used for interning. |
| * |
| * <p>The pool is strongly retained until it is cleared, which can be accomplished by passing |
| * {@code null} to this method. |
| */ |
| @ThreadSafety.ThreadCompatible |
| static void setGlobalPool(@Nullable Pool<SkyKey> pool) { |
| // No synchronization is needed. Setting global pool is guaranteed to happen sequentially |
| // since only one build can happen at the same time. |
| if (pool != null |
| && globalPool != null |
| && (!TestType.isInTest() || TestType.getTestType() == TestType.SHELL_INTEGRATION)) { |
| BugReport.sendNonFatalBugReport( |
| new IllegalStateException("Global SkyKey pool not cleared before setting another")); |
| } |
| globalPool = pool; |
| } |
| |
| @Override |
| @SuppressWarnings("unchecked") |
| protected Pool<T> getPool() { |
| return (Pool<T>) globalPool; |
| } |
| |
| /** |
| * Call {@link #weakInternUnchecked(SkyKey)} on {@link SkyKeyInterner} returned by {@code |
| * key.getSkyKeyInterner}. This method is created to remove casts and |
| * {@code @SuppressWarnings("unchecked")} in callers and put them in one place. |
| */ |
| @CanIgnoreReturnValue |
| @SuppressWarnings("unchecked") |
| T weakInternUnchecked(SkyKey sample) { |
| return weakIntern((T) sample); |
| } |
| } |
| } |