diff options
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/BuildView.java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/analysis/BuildView.java | 1056 |
1 files changed, 1056 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/analysis/BuildView.java b/src/main/java/com/google/devtools/build/lib/analysis/BuildView.java new file mode 100644 index 0000000000..052d0a2a9a --- /dev/null +++ b/src/main/java/com/google/devtools/build/lib/analysis/BuildView.java @@ -0,0 +1,1056 @@ +// Copyright 2014 Google Inc. 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.lib.analysis; + +import com.google.common.annotations.VisibleForTesting; +import com.google.common.base.Function; +import com.google.common.base.Preconditions; +import com.google.common.base.Predicate; +import com.google.common.cache.LoadingCache; +import com.google.common.collect.ImmutableList; +import com.google.common.collect.ImmutableMap; +import com.google.common.collect.ImmutableSet; +import com.google.common.collect.Iterables; +import com.google.common.collect.ListMultimap; +import com.google.common.collect.Lists; +import com.google.common.collect.Multimaps; +import com.google.common.collect.Sets; +import com.google.common.eventbus.EventBus; +import com.google.devtools.build.lib.actions.Action; +import com.google.devtools.build.lib.actions.ActionGraph; +import com.google.devtools.build.lib.actions.Artifact; +import com.google.devtools.build.lib.actions.ArtifactFactory; +import com.google.devtools.build.lib.actions.PackageRootResolver; +import com.google.devtools.build.lib.actions.Root; +import com.google.devtools.build.lib.analysis.DependencyResolver.Dependency; +import com.google.devtools.build.lib.analysis.ExtraActionArtifactsProvider.ExtraArtifactSet; +import com.google.devtools.build.lib.analysis.config.BinTools; +import com.google.devtools.build.lib.analysis.config.BuildConfiguration; +import com.google.devtools.build.lib.analysis.config.BuildConfigurationCollection; +import com.google.devtools.build.lib.analysis.config.ConfigMatchingProvider; +import com.google.devtools.build.lib.collect.nestedset.NestedSetBuilder; +import com.google.devtools.build.lib.collect.nestedset.Order; +import com.google.devtools.build.lib.concurrent.ThreadSafety.ThreadCompatible; +import com.google.devtools.build.lib.concurrent.ThreadSafety.ThreadSafe; +import com.google.devtools.build.lib.events.DelegatingEventHandler; +import com.google.devtools.build.lib.events.Event; +import com.google.devtools.build.lib.events.EventHandler; +import com.google.devtools.build.lib.events.EventKind; +import com.google.devtools.build.lib.events.StoredEventHandler; +import com.google.devtools.build.lib.events.WarningsAsErrorsEventHandler; +import com.google.devtools.build.lib.packages.Attribute; +import com.google.devtools.build.lib.packages.NoSuchPackageException; +import com.google.devtools.build.lib.packages.NoSuchTargetException; +import com.google.devtools.build.lib.packages.NoSuchThingException; +import com.google.devtools.build.lib.packages.PackageIdentifier; +import com.google.devtools.build.lib.packages.PackageSpecification; +import com.google.devtools.build.lib.packages.RawAttributeMapper; +import com.google.devtools.build.lib.packages.Rule; +import com.google.devtools.build.lib.packages.Target; +import com.google.devtools.build.lib.packages.TargetUtils; +import com.google.devtools.build.lib.packages.Type; +import com.google.devtools.build.lib.pkgcache.LoadingPhaseRunner.LoadingResult; +import com.google.devtools.build.lib.pkgcache.PackageManager; +import com.google.devtools.build.lib.rules.test.CoverageReportActionFactory; +import com.google.devtools.build.lib.skyframe.ConfiguredTargetKey; +import com.google.devtools.build.lib.skyframe.CoverageReportValue; +import com.google.devtools.build.lib.skyframe.SkyframeBuildView; +import com.google.devtools.build.lib.skyframe.SkyframeExecutor; +import com.google.devtools.build.lib.syntax.EvalException; +import com.google.devtools.build.lib.syntax.Label; +import com.google.devtools.build.lib.util.RegexFilter; +import com.google.devtools.build.lib.vfs.Path; +import com.google.devtools.build.lib.vfs.PathFragment; +import com.google.devtools.build.skyframe.SkyKey; +import com.google.devtools.common.options.Option; +import com.google.devtools.common.options.OptionsBase; + +import java.util.Collection; +import java.util.HashMap; +import java.util.HashSet; +import java.util.LinkedHashSet; +import java.util.List; +import java.util.Map; +import java.util.Set; +import java.util.concurrent.ExecutionException; +import java.util.logging.Logger; + +import javax.annotation.Nullable; + +/** + * <p>The BuildView presents a semantically-consistent and transitively-closed + * dependency graph for some set of packages. + * + * <h2>Package design</h2> + * + * <p>This package contains the Blaze dependency analysis framework (aka + * "analysis phase"). The goal of this code is to perform semantic analysis of + * all of the build targets required for a given build, to report + * errors/warnings for any problems in the input, and to construct an "action + * graph" (see {@code lib.actions} package) correctly representing the work to + * be done during the execution phase of the build. + * + * <p><b>Configurations</b> the inputs to a build come from two sources: the + * intrinsic inputs, specified in the BUILD file, are called <em>targets</em>. + * The environmental inputs, coming from the build tool, the command-line, or + * configuration files, are called the <em>configuration</em>. Only when a + * target and a configuration are combined is there sufficient information to + * perform a build. </p> + * + * <p>Targets are implemented by the {@link Target} hierarchy in the {@code + * lib.packages} code. Configurations are implemented by {@link + * BuildConfiguration}. The pair of these together is represented by an + * instance of class {@link ConfiguredTarget}; this is the root of a hierarchy + * with different implementations for each kind of target: source file, derived + * file, rules, etc. + * + * <p>The framework code in this package (as opposed to its subpackages) is + * responsible for constructing the {@code ConfiguredTarget} graph for a given + * target and configuration, taking care of such issues as: + * <ul> + * <li>caching common subgraphs. + * <li>detecting and reporting cycles. + * <li>correct propagation of errors through the graph. + * <li>reporting universal errors, such as dependencies from production code + * to tests, or to experimental branches. + * <li>capturing and replaying errors. + * <li>maintaining the graph from one build to the next to + * avoid unnecessary recomputation. + * <li>checking software licenses. + * </ul> + * + * <p>See also {@link ConfiguredTarget} which documents some important + * invariants. + */ +public class BuildView { + + /** + * Options that affect the <i>mechanism</i> of analysis. These are distinct from {@link + * com.google.devtools.build.lib.analysis.config.BuildOptions}, which affect the <i>value</i> + * of a BuildConfiguration. + */ + public static class Options extends OptionsBase { + + @Option(name = "keep_going", + abbrev = 'k', + defaultValue = "false", + category = "strategy", + help = "Continue as much as possible after an error. While the " + + "target that failed, and those that depend on it, cannot be " + + "analyzed (or built), the other prerequisites of these " + + "targets can be analyzed (or built) all the same.") + public boolean keepGoing; + + @Option(name = "analysis_warnings_as_errors", + defaultValue = "false", + category = "strategy", + help = "Treat visible analysis warnings as errors.") + public boolean analysisWarningsAsErrors; + + @Option(name = "discard_analysis_cache", + defaultValue = "false", + category = "strategy", + help = "Discard the analysis cache immediately after the analysis phase completes. " + + "Reduces memory usage by ~10%, but makes further incremental builds slower.") + public boolean discardAnalysisCache; + + @Option(name = "keep_forward_graph", + deprecationWarning = "keep_forward_graph is now a no-op and will be removed in an " + + "upcoming Blaze release", + defaultValue = "false", + category = "undocumented", + help = "Cache the forward action graph across builds for faster " + + "incremental rebuilds. May slightly increase memory while Blaze " + + "server is idle." + ) + public boolean keepForwardGraph; + + @Option(name = "experimental_extra_action_filter", + defaultValue = "", + category = "experimental", + converter = RegexFilter.RegexFilterConverter.class, + help = "Filters set of targets to schedule extra_actions for.") + public RegexFilter extraActionFilter; + + @Option(name = "experimental_extra_action_top_level_only", + defaultValue = "false", + category = "experimental", + help = "Only schedules extra_actions for top level targets.") + public boolean extraActionTopLevelOnly; + + @Option(name = "version_window_for_dirty_node_gc", + defaultValue = "0", + category = "undocumented", + help = "Nodes that have been dirty for more than this many versions will be deleted" + + " from the graph upon the next update. Values must be non-negative long integers," + + " or -1 indicating the maximum possible window.") + public long versionWindowForDirtyNodeGc; + } + + private static Logger LOG = Logger.getLogger(BuildView.class.getName()); + + private final BlazeDirectories directories; + + private final SkyframeExecutor skyframeExecutor; + private final SkyframeBuildView skyframeBuildView; + + private final PackageManager packageManager; + + private final BinTools binTools; + + private BuildConfigurationCollection configurations; + + private final ConfiguredRuleClassProvider ruleClassProvider; + + private final ArtifactFactory artifactFactory; + + /** + * A factory class to create the coverage report action. May be null. + */ + @Nullable private final CoverageReportActionFactory coverageReportActionFactory; + + /** + * A union of package roots of all previous incremental analysis results. This is used to detect + * changes of package roots between incremental analysis instances. + */ + private final Map<PackageIdentifier, Path> cumulativePackageRoots = new HashMap<>(); + + /** + * Used only for testing that we clear Skyframe caches correctly. + * TODO(bazel-team): Remove this once we get rid of legacy Skyframe synchronization. + */ + private boolean skyframeCacheWasInvalidated = false; + + /** + * If the last build was executed with {@code Options#discard_analysis_cache} and we are not + * running Skyframe full, we should clear the legacy data since it is out-of-sync. + */ + private boolean skyframeAnalysisWasDiscarded = false; + + @VisibleForTesting + public Set<SkyKey> getSkyframeEvaluatedTargetKeysForTesting() { + return skyframeBuildView.getEvaluatedTargetKeys(); + } + + /** The number of targets freshly evaluated in the last analysis run. */ + public int getTargetsVisited() { + return skyframeBuildView.getEvaluatedTargetKeys().size(); + } + + /** + * Returns true iff Skyframe was invalidated during the analysis phase. + * TODO(bazel-team): Remove this once we do not need to keep legacy in sync with Skyframe. + */ + @VisibleForTesting + boolean wasSkyframeCacheInvalidatedDuringAnalysis() { + return skyframeCacheWasInvalidated; + } + + public BuildView(BlazeDirectories directories, PackageManager packageManager, + ConfiguredRuleClassProvider ruleClassProvider, + SkyframeExecutor skyframeExecutor, + BinTools binTools, CoverageReportActionFactory coverageReportActionFactory) { + this.directories = directories; + this.packageManager = packageManager; + this.binTools = binTools; + this.coverageReportActionFactory = coverageReportActionFactory; + this.artifactFactory = new ArtifactFactory(directories.getExecRoot()); + this.ruleClassProvider = ruleClassProvider; + this.skyframeExecutor = Preconditions.checkNotNull(skyframeExecutor); + this.skyframeBuildView = + new SkyframeBuildView( + new ConfiguredTargetFactory(ruleClassProvider), + artifactFactory, + skyframeExecutor, + new Runnable() { + @Override + public void run() { + clear(); + } + }, + binTools); + skyframeExecutor.setSkyframeBuildView(skyframeBuildView); + } + + /** Returns the action graph. */ + public ActionGraph getActionGraph() { + return new ActionGraph() { + @Override + public Action getGeneratingAction(Artifact artifact) { + return skyframeExecutor.getGeneratingAction(artifact); + } + }; + } + + /** + * Returns whether the given configured target has errors. + */ + @VisibleForTesting + public boolean hasErrors(ConfiguredTarget configuredTarget) { + return configuredTarget == null; + } + + /** + * Sets the configurations. Not thread-safe. DO NOT CALL except from tests! + */ + @VisibleForTesting + void setConfigurationsForTesting(BuildConfigurationCollection configurations) { + this.configurations = configurations; + } + + public BuildConfigurationCollection getConfigurationCollection() { + return configurations; + } + + /** + * Clear the graphs of ConfiguredTargets and Artifacts. + */ + @VisibleForTesting + public void clear() { + cumulativePackageRoots.clear(); + artifactFactory.clear(); + } + + public ArtifactFactory getArtifactFactory() { + return artifactFactory; + } + + @VisibleForTesting + WorkspaceStatusAction getLastWorkspaceBuildInfoActionForTesting() { + return skyframeExecutor.getLastWorkspaceStatusActionForTesting(); + } + + /** + * Returns a corresponding ConfiguredTarget, if one exists; otherwise throws an {@link + * NoSuchConfiguredTargetException}. + */ + @ThreadSafe + private ConfiguredTarget getConfiguredTarget(Target target, BuildConfiguration config) + throws NoSuchConfiguredTargetException { + ConfiguredTarget result = + getExistingConfiguredTarget(target.getLabel(), config); + if (result == null) { + throw new NoSuchConfiguredTargetException(target.getLabel(), config); + } + return result; + } + + /** + * Obtains a {@link ConfiguredTarget} given a {@code label}, by delegating + * to the package cache and + * {@link #getConfiguredTarget(Target, BuildConfiguration)}. + */ + public ConfiguredTarget getConfiguredTarget(Label label, BuildConfiguration config) + throws NoSuchPackageException, NoSuchTargetException, NoSuchConfiguredTargetException { + return getConfiguredTarget(packageManager.getLoadedTarget(label), config); + } + + public Iterable<ConfiguredTarget> getDirectPrerequisites(ConfiguredTarget ct) { + return getDirectPrerequisites(ct, null); + } + + public Iterable<ConfiguredTarget> getDirectPrerequisites(ConfiguredTarget ct, + @Nullable final LoadingCache<Label, Target> targetCache) { + if (!(ct.getTarget() instanceof Rule)) { + return ImmutableList.of(); + } + + class SilentDependencyResolver extends DependencyResolver { + @Override + protected void invalidVisibilityReferenceHook(TargetAndConfiguration node, Label label) { + // The error must have been reported already during analysis. + } + + @Override + protected void invalidPackageGroupReferenceHook(TargetAndConfiguration node, Label label) { + // The error must have been reported already during analysis. + } + + @Override + protected Target getTarget(Label label) throws NoSuchThingException { + if (targetCache == null) { + return packageManager.getLoadedTarget(label); + } + + try { + return targetCache.get(label); + } catch (ExecutionException e) { + // All lookups should succeed because we should not be looking up any targets in error. + throw new IllegalStateException(e); + } + } + } + + DependencyResolver dependencyResolver = new SilentDependencyResolver(); + TargetAndConfiguration ctgNode = + new TargetAndConfiguration(ct.getTarget(), ct.getConfiguration()); + return skyframeExecutor.getConfiguredTargets( + dependencyResolver.dependentNodes(ctgNode, getConfigurableAttributeKeys(ctgNode))); + } + + /** + * Returns ConfigMatchingProvider instances corresponding to the configurable attribute keys + * present in this rule's attributes. + */ + private Set<ConfigMatchingProvider> getConfigurableAttributeKeys(TargetAndConfiguration ctg) { + if (!(ctg.getTarget() instanceof Rule)) { + return ImmutableSet.of(); + } + Rule rule = (Rule) ctg.getTarget(); + ImmutableSet.Builder<ConfigMatchingProvider> keys = ImmutableSet.builder(); + RawAttributeMapper mapper = RawAttributeMapper.of(rule); + for (Attribute attribute : rule.getAttributes()) { + for (Label label : mapper.getConfigurabilityKeys(attribute.getName(), attribute.getType())) { + if (Type.Selector.isReservedLabel(label)) { + continue; + } + try { + ConfiguredTarget ct = getConfiguredTarget(label, ctg.getConfiguration()); + keys.add(Preconditions.checkNotNull(ct.getProvider(ConfigMatchingProvider.class))); + } catch (NoSuchPackageException e) { + // All lookups should succeed because we should not be looking up any targets in error. + throw new IllegalStateException(e); + } catch (NoSuchTargetException e) { + // All lookups should succeed because we should not be looking up any targets in error. + throw new IllegalStateException(e); + } catch (NoSuchConfiguredTargetException e) { + // All lookups should succeed because we should not be looking up any targets in error. + throw new IllegalStateException(e); + } + } + } + return keys.build(); + } + + public TransitiveInfoCollection getGeneratingRule(OutputFileConfiguredTarget target) { + return target.getGeneratingRule(); + } + + @Override + public int hashCode() { + throw new UnsupportedOperationException(); // avoid nondeterminism + } + + /** + * Return value for {@link BuildView#update} and {@code BuildTool.prepareToBuild}. + */ + public static final class AnalysisResult { + + public static final AnalysisResult EMPTY = new AnalysisResult( + ImmutableList.<ConfiguredTarget>of(), null, null, null, + ImmutableList.<Artifact>of(), + ImmutableList.<ConfiguredTarget>of(), + ImmutableList.<ConfiguredTarget>of(), + null); + + private final ImmutableList<ConfiguredTarget> targetsToBuild; + @Nullable private final ImmutableList<ConfiguredTarget> targetsToTest; + @Nullable private final String error; + private final ActionGraph actionGraph; + private final ImmutableSet<Artifact> artifactsToBuild; + private final ImmutableSet<ConfiguredTarget> parallelTests; + private final ImmutableSet<ConfiguredTarget> exclusiveTests; + @Nullable private final TopLevelArtifactContext topLevelContext; + + private AnalysisResult( + Collection<ConfiguredTarget> targetsToBuild, Collection<ConfiguredTarget> targetsToTest, + @Nullable String error, ActionGraph actionGraph, + Collection<Artifact> artifactsToBuild, Collection<ConfiguredTarget> parallelTests, + Collection<ConfiguredTarget> exclusiveTests, TopLevelArtifactContext topLevelContext) { + this.targetsToBuild = ImmutableList.copyOf(targetsToBuild); + this.targetsToTest = targetsToTest == null ? null : ImmutableList.copyOf(targetsToTest); + this.error = error; + this.actionGraph = actionGraph; + this.artifactsToBuild = ImmutableSet.copyOf(artifactsToBuild); + this.parallelTests = ImmutableSet.copyOf(parallelTests); + this.exclusiveTests = ImmutableSet.copyOf(exclusiveTests); + this.topLevelContext = topLevelContext; + } + + /** + * Returns configured targets to build. + */ + public Collection<ConfiguredTarget> getTargetsToBuild() { + return targetsToBuild; + } + + /** + * Returns the configured targets to run as tests, or {@code null} if testing was not + * requested (e.g. "build" command rather than "test" command). + */ + @Nullable + public Collection<ConfiguredTarget> getTargetsToTest() { + return targetsToTest; + } + + public ImmutableSet<Artifact> getAdditionalArtifactsToBuild() { + return artifactsToBuild; + } + + public ImmutableSet<ConfiguredTarget> getExclusiveTests() { + return exclusiveTests; + } + + public ImmutableSet<ConfiguredTarget> getParallelTests() { + return parallelTests; + } + + /** + * Returns an error description (if any). + */ + @Nullable public String getError() { + return error; + } + + /** + * Returns the action graph. + */ + public ActionGraph getActionGraph() { + return actionGraph; + } + + public TopLevelArtifactContext getTopLevelContext() { + return topLevelContext; + } + } + + + /** + * Returns the collection of configured targets corresponding to any of the provided targets. + */ + @VisibleForTesting + static Iterable<? extends ConfiguredTarget> filterTestsByTargets( + Collection<? extends ConfiguredTarget> targets, + final Set<? extends Target> allowedTargets) { + return Iterables.filter(targets, + new Predicate<ConfiguredTarget>() { + @Override + public boolean apply(ConfiguredTarget rule) { + return allowedTargets.contains(rule.getTarget()); + } + }); + } + + private void prepareToBuild(PackageRootResolver resolver) throws ViewCreationFailedException { + for (BuildConfiguration config : configurations.getTargetConfigurations()) { + config.prepareToBuild(directories.getExecRoot(), getArtifactFactory(), resolver); + } + } + + @ThreadCompatible + public AnalysisResult update(LoadingResult loadingResult, + BuildConfigurationCollection configurations, Options viewOptions, + TopLevelArtifactContext topLevelOptions, EventHandler eventHandler, EventBus eventBus) + throws ViewCreationFailedException, InterruptedException { + + // Detect errors during analysis and don't attempt a build. + // + // (Errors reported during the previous step, package loading, that do + // not cause the visitation of the transitive closure to abort, are + // recoverable. For example, an error encountered while evaluating an + // irrelevant rule in a visited package causes an error to be reported, + // but visitation still succeeds.) + ErrorCollector errorCollector = null; + if (!viewOptions.keepGoing) { + eventHandler = errorCollector = new ErrorCollector(eventHandler); + } + + // Treat analysis warnings as errors, to enable strict builds. + // + // Warnings reported during analysis are converted to errors, ultimately + // triggering failure. This check needs to be added after the keep-going check + // above so that it is invoked first (FIFO eventHandler chain). This way, detected + // warnings are converted to errors first, and then the proper error handling + // logic is invoked. + WarningsAsErrorsEventHandler warningsHandler = null; + if (viewOptions.analysisWarningsAsErrors) { + eventHandler = warningsHandler = new WarningsAsErrorsEventHandler(eventHandler); + } + + skyframeBuildView.setWarningListener(eventHandler); + skyframeExecutor.setErrorEventListener(eventHandler); + + LOG.info("Starting analysis"); + pollInterruptedStatus(); + + skyframeBuildView.resetEvaluatedConfiguredTargetKeysSet(); + + Collection<Target> targets = loadingResult.getTargets(); + eventBus.post(new AnalysisPhaseStartedEvent(targets)); + + skyframeCacheWasInvalidated = false; + // Clear all cached ConfiguredTargets on configuration change. We need to do this explicitly + // because we need to make sure that the legacy action graph does not contain multiple actions + // with different versions of the same (target/host/etc.) configuration. + // In the future the action graph will be probably be keyed by configurations, which should + // obviate the need for this workaround. + // + // Also if --discard_analysis_cache was used in the last build we want to clear the legacy + // data. + if ((this.configurations != null && !configurations.equals(this.configurations)) + || skyframeAnalysisWasDiscarded) { + skyframeExecutor.dropConfiguredTargets(); + skyframeCacheWasInvalidated = true; + clear(); + } + skyframeAnalysisWasDiscarded = false; + ImmutableMap<PackageIdentifier, Path> packageRoots = loadingResult.getPackageRoots(); + + if (buildHasIncompatiblePackageRoots(packageRoots)) { + // When a package root changes source artifacts with the new root will be created, but we + // cannot be sure that there are no references remaining to the corresponding artifacts + // with the old root. To avoid that scenario, the analysis cache is simply dropped when + // a package root change is detected. + LOG.info("Discarding analysis cache: package roots have changed."); + + skyframeExecutor.dropConfiguredTargets(); + skyframeCacheWasInvalidated = true; + clear(); + } + cumulativePackageRoots.putAll(packageRoots); + this.configurations = configurations; + setArtifactRoots(packageRoots); + + // Determine the configurations. + List<TargetAndConfiguration> nodes = nodesForTargets(targets); + + List<ConfiguredTargetKey> targetSpecs = + Lists.transform(nodes, new Function<TargetAndConfiguration, ConfiguredTargetKey>() { + @Override + public ConfiguredTargetKey apply(TargetAndConfiguration node) { + return new ConfiguredTargetKey(node.getLabel(), node.getConfiguration()); + } + }); + + prepareToBuild(new SkyframePackageRootResolver(skyframeExecutor)); + skyframeBuildView.setWarningListener(warningsHandler); + skyframeExecutor.injectWorkspaceStatusData(); + Collection<ConfiguredTarget> configuredTargets; + try { + configuredTargets = skyframeBuildView.configureTargets( + targetSpecs, eventBus, viewOptions.keepGoing); + } finally { + skyframeBuildView.clearInvalidatedConfiguredTargets(); + } + + int numTargetsToAnalyze = nodes.size(); + int numSuccessful = configuredTargets.size(); + boolean analysisSuccessful = (numSuccessful == numTargetsToAnalyze); + if (0 < numSuccessful && numSuccessful < numTargetsToAnalyze) { + String msg = String.format("Analysis succeeded for only %d of %d top-level targets", + numSuccessful, numTargetsToAnalyze); + eventHandler.handle(Event.info(msg)); + LOG.info(msg); + } + + postUpdateValidation(errorCollector, warningsHandler); + + AnalysisResult result = createResult(loadingResult, topLevelOptions, + viewOptions, configuredTargets, analysisSuccessful); + LOG.info("Finished analysis"); + return result; + } + + // Validates that the update has been done correctly + private void postUpdateValidation(ErrorCollector errorCollector, + WarningsAsErrorsEventHandler warningsHandler) throws ViewCreationFailedException { + if (warningsHandler != null && warningsHandler.warningsEncountered()) { + throw new ViewCreationFailedException("Warnings being treated as errors"); + } + + if (errorCollector != null && !errorCollector.getEvents().isEmpty()) { + // This assertion ensures that if any errors were reported during the + // initialization phase, the call to configureTargets will fail with a + // ViewCreationFailedException. Violation of this invariant leads to + // incorrect builds, because the fact that errors were encountered is not + // properly recorded in the view (i.e. the graph of configured targets). + // Rule errors must be reported via RuleConfiguredTarget.reportError, + // which causes the rule's hasErrors() flag to be set, and thus the + // hasErrors() flag of anything that depends on it transitively. If the + // toplevel rule hasErrors, then analysis is aborted and we do not + // proceed to the execution phase of a build. + // + // Reporting errors directly through the Reporter does not set the error + // flag, so analysis may succeed spuriously, allowing the execution + // phase to begin with unpredictable consequences. + // + // The use of errorCollector (rather than an ErrorSensor) makes the + // assertion failure messages more informative. + // Note we tolerate errors iff --keep-going, because some of the + // requested targets may have had problems during analysis, but that's ok. + StringBuilder message = new StringBuilder("Unexpected errors reported during analysis:"); + for (Event event : errorCollector.getEvents()) { + message.append('\n').append(event); + } + throw new IllegalStateException(message.toString()); + } + } + + /** + * Skyframe implementation of {@link PackageRootResolver}. + * + * <p> Note: you should not use this class inside of any SkyFunction. + */ + @VisibleForTesting + public static final class SkyframePackageRootResolver implements PackageRootResolver { + private final SkyframeExecutor executor; + + public SkyframePackageRootResolver(SkyframeExecutor executor) { + this.executor = executor; + } + + @Override + public Map<PathFragment, Root> findPackageRoots(Iterable<PathFragment> execPaths) { + return executor.getArtifactRoots(execPaths); + } + } + + private AnalysisResult createResult(LoadingResult loadingResult, + TopLevelArtifactContext topLevelOptions, BuildView.Options viewOptions, + Collection<ConfiguredTarget> configuredTargets, boolean analysisSuccessful) + throws InterruptedException { + Collection<Target> testsToRun = loadingResult.getTestsToRun(); + Collection<ConfiguredTarget> allTargetsToTest = null; + if (testsToRun != null) { + // Determine the subset of configured targets that are meant to be run as tests. + allTargetsToTest = Lists.newArrayList( + filterTestsByTargets(configuredTargets, Sets.newHashSet(testsToRun))); + } + + skyframeExecutor.injectTopLevelContext(topLevelOptions); + + Set<Artifact> artifactsToBuild = new HashSet<>(); + Set<ConfiguredTarget> parallelTests = new HashSet<>(); + Set<ConfiguredTarget> exclusiveTests = new HashSet<>(); + Collection<Artifact> buildInfoArtifacts; + buildInfoArtifacts = skyframeExecutor.getWorkspaceStatusArtifacts(); + // build-info and build-changelist. + Preconditions.checkState(buildInfoArtifacts.size() == 2, buildInfoArtifacts); + artifactsToBuild.addAll(buildInfoArtifacts); + addExtraActionsIfRequested(viewOptions, artifactsToBuild, configuredTargets); + if (coverageReportActionFactory != null) { + Action action = coverageReportActionFactory.createCoverageReportAction( + allTargetsToTest, + getBaselineCoverageArtifacts(configuredTargets), + artifactFactory, + CoverageReportValue.ARTIFACT_OWNER); + if (action != null) { + skyframeExecutor.injectCoverageReportData(action); + artifactsToBuild.addAll(action.getOutputs()); + } + } + + // Note that this must come last, so that the tests are scheduled after all artifacts are built. + scheduleTestsIfRequested(parallelTests, exclusiveTests, topLevelOptions, allTargetsToTest); + + String error = !loadingResult.hasLoadingError() + ? (analysisSuccessful + ? null + : "execution phase succeeded, but not all targets were analyzed") + : "execution phase succeeded, but there were loading phase errors"; + return new AnalysisResult(configuredTargets, allTargetsToTest, error, getActionGraph(), + artifactsToBuild, parallelTests, exclusiveTests, topLevelOptions); + } + + private static ImmutableSet<Artifact> getBaselineCoverageArtifacts( + Collection<ConfiguredTarget> configuredTargets) { + Set<Artifact> baselineCoverageArtifacts = Sets.newHashSet(); + for (ConfiguredTarget target : configuredTargets) { + BaselineCoverageArtifactsProvider provider = + target.getProvider(BaselineCoverageArtifactsProvider.class); + if (provider != null) { + baselineCoverageArtifacts.addAll(provider.getBaselineCoverageArtifacts()); + } + } + return ImmutableSet.copyOf(baselineCoverageArtifacts); + } + + private void addExtraActionsIfRequested(BuildView.Options viewOptions, + Set<Artifact> artifactsToBuild, Iterable<ConfiguredTarget> topLevelTargets) { + NestedSetBuilder<ExtraArtifactSet> builder = NestedSetBuilder.stableOrder(); + for (ConfiguredTarget topLevel : topLevelTargets) { + ExtraActionArtifactsProvider provider = topLevel.getProvider( + ExtraActionArtifactsProvider.class); + if (provider != null) { + if (viewOptions.extraActionTopLevelOnly) { + builder.add(ExtraArtifactSet.of(topLevel.getLabel(), provider.getExtraActionArtifacts())); + } else { + builder.addTransitive(provider.getTransitiveExtraActionArtifacts()); + } + } + } + + RegexFilter filter = viewOptions.extraActionFilter; + for (ExtraArtifactSet set : builder.build()) { + boolean filterMatches = filter == null || filter.isIncluded(set.getLabel().toString()); + if (filterMatches) { + Iterables.addAll(artifactsToBuild, set.getArtifacts()); + } + } + } + + private static void scheduleTestsIfRequested(Collection<ConfiguredTarget> targetsToTest, + Collection<ConfiguredTarget> targetsToTestExclusive, TopLevelArtifactContext topLevelOptions, + Collection<ConfiguredTarget> allTestTargets) { + if (!topLevelOptions.compileOnly() && !topLevelOptions.compilationPrerequisitesOnly() + && allTestTargets != null) { + scheduleTests(targetsToTest, targetsToTestExclusive, allTestTargets, + topLevelOptions.runTestsExclusively()); + } + } + + + /** + * Returns set of artifacts representing test results, writing into targetsToTest and + * targetsToTestExclusive. + */ + private static void scheduleTests(Collection<ConfiguredTarget> targetsToTest, + Collection<ConfiguredTarget> targetsToTestExclusive, + Collection<ConfiguredTarget> allTestTargets, + boolean isExclusive) { + for (ConfiguredTarget target : allTestTargets) { + if (target.getTarget() instanceof Rule) { + boolean exclusive = + isExclusive || TargetUtils.isExclusiveTestRule((Rule) target.getTarget()); + Collection<ConfiguredTarget> testCollection = exclusive + ? targetsToTestExclusive + : targetsToTest; + testCollection.add(target); + } + } + } + + @VisibleForTesting + List<TargetAndConfiguration> nodesForTargets(Collection<Target> targets) { + // We use a hash set here to remove duplicate nodes; this can happen for input files and package + // groups. + LinkedHashSet<TargetAndConfiguration> nodes = new LinkedHashSet<>(targets.size()); + for (BuildConfiguration config : configurations.getTargetConfigurations()) { + for (Target target : targets) { + nodes.add(new TargetAndConfiguration(target, + BuildConfigurationCollection.configureTopLevelTarget(config, target))); + } + } + return ImmutableList.copyOf(nodes); + } + + /** + * Detects when a package root changes between instances of incremental analysis. + * + * <p>This case is currently problematic for incremental analysis because when a package root + * changes, source artifacts with the new root will be created, but we can not be sure that there + * are no references remaining to the corresponding artifacts with the old root. + */ + private boolean buildHasIncompatiblePackageRoots(Map<PackageIdentifier, Path> packageRoots) { + for (Map.Entry<PackageIdentifier, Path> entry : packageRoots.entrySet()) { + Path prevRoot = cumulativePackageRoots.get(entry.getKey()); + if (prevRoot != null && !entry.getValue().equals(prevRoot)) { + return true; + } + } + return false; + } + + /** + * Returns an existing ConfiguredTarget for the specified target and + * configuration, or null if none exists. No validity check is done. + */ + @ThreadSafe + public ConfiguredTarget getExistingConfiguredTarget(Target target, BuildConfiguration config) { + return getExistingConfiguredTarget(target.getLabel(), config); + } + + /** + * Returns an existing ConfiguredTarget for the specified node, or null if none exists. No + * validity check is done. + */ + @ThreadSafe + private ConfiguredTarget getExistingConfiguredTarget( + Label label, BuildConfiguration configuration) { + return Iterables.getFirst( + skyframeExecutor.getConfiguredTargets( + ImmutableList.of(new Dependency(label, configuration))), + null); + } + + @VisibleForTesting + ListMultimap<Attribute, ConfiguredTarget> getPrerequisiteMapForTesting(ConfiguredTarget target) { + DependencyResolver resolver = new DependencyResolver() { + @Override + protected void invalidVisibilityReferenceHook(TargetAndConfiguration node, Label label) { + throw new RuntimeException("bad visibility on " + label + " during testing unexpected"); + } + + @Override + protected void invalidPackageGroupReferenceHook(TargetAndConfiguration node, Label label) { + throw new RuntimeException("bad package group on " + label + " during testing unexpected"); + } + + @Override + protected Target getTarget(Label label) throws NoSuchThingException { + return packageManager.getLoadedTarget(label); + } + }; + TargetAndConfiguration ctNode = new TargetAndConfiguration(target); + ListMultimap<Attribute, Dependency> depNodeNames; + try { + depNodeNames = resolver.dependentNodeMap(ctNode, null, getConfigurableAttributeKeys(ctNode)); + } catch (EvalException e) { + throw new IllegalStateException(e); + } + + final Map<LabelAndConfiguration, ConfiguredTarget> depMap = new HashMap<>(); + for (ConfiguredTarget dep : skyframeExecutor.getConfiguredTargets(depNodeNames.values())) { + depMap.put(LabelAndConfiguration.of(dep.getLabel(), dep.getConfiguration()), dep); + } + + return Multimaps.transformValues(depNodeNames, new Function<Dependency, ConfiguredTarget>() { + @Override + public ConfiguredTarget apply(Dependency depName) { + return depMap.get(LabelAndConfiguration.of(depName.getLabel(), + depName.getConfiguration())); + } + }); + } + + /** + * Sets the possible artifact roots in the artifact factory. This allows the + * factory to resolve paths with unknown roots to artifacts. + * <p> + * <em>Note: This must be called before any call to + * {@link #getConfiguredTarget(Label, BuildConfiguration)} + * </em> + */ + @VisibleForTesting // for BuildViewTestCase + void setArtifactRoots(ImmutableMap<PackageIdentifier, Path> packageRoots) { + Map<Path, Root> rootMap = new HashMap<>(); + Map<PackageIdentifier, Root> realPackageRoots = new HashMap<>(); + for (Map.Entry<PackageIdentifier, Path> entry : packageRoots.entrySet()) { + Root root = rootMap.get(entry.getValue()); + if (root == null) { + root = Root.asSourceRoot(entry.getValue()); + rootMap.put(entry.getValue(), root); + } + realPackageRoots.put(entry.getKey(), root); + } + // Source Artifact roots: + artifactFactory.setPackageRoots(realPackageRoots); + + // Derived Artifact roots: + ImmutableList.Builder<Root> roots = ImmutableList.builder(); + + // build-info.txt and friends; this root is not configuration specific. + roots.add(directories.getBuildDataDirectory()); + + // The roots for each configuration - duplicates are automatically removed in the call below. + for (BuildConfiguration cfg : configurations.getAllConfigurations()) { + roots.addAll(cfg.getRoots()); + } + + artifactFactory.setDerivedArtifactRoots(roots.build()); + } + + /** + * Returns a configured target for the specified target and configuration. + * This should only be called from test cases, and is needed, because + * plain {@link #getConfiguredTarget(Target, BuildConfiguration)} does not + * construct the configured target graph, and would thus fail if called from + * outside an update. + */ + @VisibleForTesting + public ConfiguredTarget getConfiguredTargetForTesting(Label label, BuildConfiguration config) + throws NoSuchPackageException, NoSuchTargetException { + return getConfiguredTargetForTesting(packageManager.getLoadedTarget(label), config); + } + + @VisibleForTesting + public ConfiguredTarget getConfiguredTargetForTesting(Target target, BuildConfiguration config) { + return skyframeExecutor.getConfiguredTargetForTesting(target.getLabel(), config); + } + + /** + * Returns a RuleContext which is the same as the original RuleContext of the target parameter. + */ + @VisibleForTesting + public RuleContext getRuleContextForTesting(ConfiguredTarget target, + StoredEventHandler eventHandler) { + BuildConfiguration config = target.getConfiguration(); + CachingAnalysisEnvironment analysisEnvironment = + new CachingAnalysisEnvironment(artifactFactory, + new ConfiguredTargetKey(target.getLabel(), config), + /*isSystemEnv=*/false, config.extendedSanityChecks(), eventHandler, + /*skyframeEnv=*/null, config.isActionsEnabled(), binTools); + RuleContext ruleContext = new RuleContext.Builder(analysisEnvironment, + (Rule) target.getTarget(), config, ruleClassProvider.getPrerequisiteValidator()) + .setVisibility(NestedSetBuilder.<PackageSpecification>create( + Order.STABLE_ORDER, PackageSpecification.EVERYTHING)) + .setPrerequisites(getPrerequisiteMapForTesting(target)) + .setConfigConditions(ImmutableSet.<ConfigMatchingProvider>of()) + .build(); + return ruleContext; + } + + /** + * Tests and clears the current thread's pending "interrupted" status, and + * throws InterruptedException iff it was set. + */ + protected final void pollInterruptedStatus() throws InterruptedException { + if (Thread.interrupted()) { + throw new InterruptedException(); + } + } + + /** + * Drops the analysis cache. If building with Skyframe, targets in {@code topLevelTargets} may + * remain in the cache for use during the execution phase. + * + * @see BuildView.Options#discardAnalysisCache + */ + public void clearAnalysisCache(Collection<ConfiguredTarget> topLevelTargets) { + // TODO(bazel-team): Consider clearing packages too to save more memory. + skyframeAnalysisWasDiscarded = true; + skyframeExecutor.clearAnalysisCache(topLevelTargets); + } + + /******************************************************************** + * * + * 'blaze dump' related functions * + * * + ********************************************************************/ + + /** + * Collects and stores error events while also forwarding them to another eventHandler. + */ + public static class ErrorCollector extends DelegatingEventHandler { + private final List<Event> events; + + public ErrorCollector(EventHandler delegate) { + super(delegate); + this.events = Lists.newArrayList(); + } + + public List<Event> getEvents() { + return events; + } + + @Override + public void handle(Event e) { + super.handle(e); + if (e.getKind() == EventKind.ERROR) { + events.add(e); + } + } + } +} |