Damien Martin-Guillerez | f88f4d8 | 2015-09-25 13:56:55 +0000 | [diff] [blame] | 1 | // Copyright 2014 The Bazel Authors. All rights reserved. |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | // you may not use this file except in compliance with the License. |
| 5 | // You may obtain a copy of the License at |
| 6 | // |
| 7 | // http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | // |
| 9 | // Unless required by applicable law or agreed to in writing, software |
| 10 | // distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | // See the License for the specific language governing permissions and |
| 13 | // limitations under the License. |
| 14 | package com.google.devtools.build.lib.skyframe; |
| 15 | |
emilyguo | 91c1f9f | 2022-02-28 11:39:38 -0800 | [diff] [blame] | 16 | import com.google.devtools.build.lib.bugreport.BugReport; |
Lukacs Berki | 6e91eb9 | 2015-09-21 09:12:37 +0000 | [diff] [blame] | 17 | import com.google.devtools.build.lib.cmdline.Label; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 18 | import com.google.devtools.build.lib.collect.nestedset.NestedSet; |
| 19 | import com.google.devtools.build.lib.collect.nestedset.NestedSetBuilder; |
Mark Schaller | 6b6d8a9 | 2015-10-23 01:00:28 +0000 | [diff] [blame] | 20 | import com.google.devtools.build.lib.events.Event; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 21 | import com.google.devtools.build.lib.events.EventHandler; |
nharmata | f2b26ad | 2019-03-06 09:37:00 -0800 | [diff] [blame] | 22 | import com.google.devtools.build.lib.packages.AdvertisedProviderSet; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 23 | import com.google.devtools.build.lib.packages.NoSuchPackageException; |
| 24 | import com.google.devtools.build.lib.packages.NoSuchTargetException; |
Eric Fellheimer | b5c9884 | 2015-08-12 23:24:21 +0000 | [diff] [blame] | 25 | import com.google.devtools.build.lib.packages.NoSuchThingException; |
Janak Ramakrishnan | 0a4c6e4 | 2015-09-17 00:37:58 +0000 | [diff] [blame] | 26 | import com.google.devtools.build.lib.packages.Package; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 27 | import com.google.devtools.build.lib.packages.Rule; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 28 | import com.google.devtools.build.lib.packages.Target; |
Mark Schaller | 6b6d8a9 | 2015-10-23 01:00:28 +0000 | [diff] [blame] | 29 | import com.google.devtools.build.lib.packages.TargetUtils; |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 30 | import com.google.devtools.build.lib.skyframe.TransitiveTargetFunction.TransitiveTargetValueBuilder; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 31 | import com.google.devtools.build.skyframe.SkyKey; |
| 32 | import com.google.devtools.build.skyframe.SkyValue; |
emilyguo | 91c1f9f | 2022-02-28 11:39:38 -0800 | [diff] [blame] | 33 | import com.google.devtools.build.skyframe.SkyframeLookupResult; |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 34 | import javax.annotation.Nullable; |
| 35 | |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 36 | /** |
| 37 | * This class builds transitive Target values such that evaluating a Target value is similar to |
| 38 | * running it through the LabelVisitor. |
| 39 | */ |
jhorvitz | 0ace4c7 | 2021-10-04 15:20:52 -0700 | [diff] [blame] | 40 | final class TransitiveTargetFunction |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 41 | extends TransitiveBaseTraversalFunction<TransitiveTargetValueBuilder> { |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 42 | |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 43 | @Override |
ulfjack | dc73a1d | 2017-10-30 07:05:53 -0400 | [diff] [blame] | 44 | Label argumentFromKey(SkyKey key) { |
| 45 | return ((TransitiveTargetKey) key).getLabel(); |
| 46 | } |
| 47 | |
| 48 | @Override |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 49 | SkyKey getKey(Label label) { |
ulfjack | dc73a1d | 2017-10-30 07:05:53 -0400 | [diff] [blame] | 50 | return TransitiveTargetKey.of(label); |
Marian Lobur | fdd788e | 2015-03-25 09:36:28 +0000 | [diff] [blame] | 51 | } |
| 52 | |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 53 | @Override |
janakr | 8cd101d | 2020-11-16 13:12:58 -0800 | [diff] [blame] | 54 | TransitiveTargetValueBuilder processTarget(TargetAndErrorIfAny targetAndErrorIfAny) { |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 55 | Target target = targetAndErrorIfAny.getTarget(); |
| 56 | boolean packageLoadedSuccessfully = targetAndErrorIfAny.isPackageLoadedSuccessfully(); |
janakr | 8cd101d | 2020-11-16 13:12:58 -0800 | [diff] [blame] | 57 | return new TransitiveTargetValueBuilder(target, packageLoadedSuccessfully); |
Greg Estren | 531fc04 | 2015-05-26 22:37:44 +0000 | [diff] [blame] | 58 | } |
| 59 | |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 60 | @Override |
Janak Ramakrishnan | 3c0adb2 | 2016-08-15 21:54:55 +0000 | [diff] [blame] | 61 | void processDeps( |
| 62 | TransitiveTargetValueBuilder builder, |
| 63 | EventHandler eventHandler, |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 64 | TargetAndErrorIfAny targetAndErrorIfAny, |
emilyguo | 91c1f9f | 2022-02-28 11:39:38 -0800 | [diff] [blame] | 65 | SkyframeLookupResult depEntries, |
| 66 | Iterable<? extends SkyKey> depKeys) { |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 67 | boolean successfulTransitiveLoading = builder.isSuccessfulTransitiveLoading(); |
| 68 | Target target = targetAndErrorIfAny.getTarget(); |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 69 | |
emilyguo | 91c1f9f | 2022-02-28 11:39:38 -0800 | [diff] [blame] | 70 | for (SkyKey skyKey : depKeys) { |
| 71 | Label depLabel = ((TransitiveTargetKey) skyKey).getLabel(); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 72 | TransitiveTargetValue transitiveTargetValue; |
| 73 | try { |
emilyguo | 91c1f9f | 2022-02-28 11:39:38 -0800 | [diff] [blame] | 74 | transitiveTargetValue = |
| 75 | (TransitiveTargetValue) |
| 76 | depEntries.getOrThrow( |
| 77 | skyKey, NoSuchPackageException.class, NoSuchTargetException.class); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 78 | } catch (NoSuchPackageException | NoSuchTargetException e) { |
| 79 | successfulTransitiveLoading = false; |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 80 | maybeReportErrorAboutMissingEdge(target, depLabel, e, eventHandler); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 81 | continue; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 82 | } |
emilyguo | 91c1f9f | 2022-02-28 11:39:38 -0800 | [diff] [blame] | 83 | if (transitiveTargetValue == null) { |
| 84 | BugReport.sendBugReport( |
| 85 | new IllegalStateException( |
| 86 | "TransitiveTargetValue " + skyKey + " was missing, this should never happen")); |
| 87 | continue; |
| 88 | } |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 89 | builder.getTransitiveTargets().addTransitive(transitiveTargetValue.getTransitiveTargets()); |
janakr | 8cd101d | 2020-11-16 13:12:58 -0800 | [diff] [blame] | 90 | if (transitiveTargetValue.encounteredLoadingError()) { |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 91 | successfulTransitiveLoading = false; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 92 | if (transitiveTargetValue.getErrorLoadingTarget() != null) { |
| 93 | maybeReportErrorAboutMissingEdge(target, depLabel, |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 94 | transitiveTargetValue.getErrorLoadingTarget(), eventHandler); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 95 | } |
| 96 | } |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 97 | } |
jhorvitz | 0ace4c7 | 2021-10-04 15:20:52 -0700 | [diff] [blame] | 98 | |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 99 | builder.setSuccessfulTransitiveLoading(successfulTransitiveLoading); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 100 | } |
| 101 | |
| 102 | @Override |
Googler | 3e1bf5c | 2019-11-04 12:41:49 -0800 | [diff] [blame] | 103 | public SkyValue computeSkyValue( |
| 104 | TargetAndErrorIfAny targetAndErrorIfAny, TransitiveTargetValueBuilder builder) { |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 105 | NoSuchTargetException errorLoadingTarget = targetAndErrorIfAny.getErrorLoadingTarget(); |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 106 | return builder.build(errorLoadingTarget); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 107 | } |
| 108 | |
nharmata | f2b26ad | 2019-03-06 09:37:00 -0800 | [diff] [blame] | 109 | @Nullable |
Googler | 119b15f | 2016-07-22 19:22:48 +0000 | [diff] [blame] | 110 | @Override |
nharmata | f2b26ad | 2019-03-06 09:37:00 -0800 | [diff] [blame] | 111 | protected AdvertisedProviderSet getAdvertisedProviderSet( |
emilyguo | 91c1f9f | 2022-02-28 11:39:38 -0800 | [diff] [blame] | 112 | Label toLabel, SkyValue toVal, Environment env) throws InterruptedException { |
Eric Fellheimer | e27d063 | 2015-09-25 21:35:26 +0000 | [diff] [blame] | 113 | SkyKey packageKey = PackageValue.key(toLabel.getPackageIdentifier()); |
nharmata | f2b26ad | 2019-03-06 09:37:00 -0800 | [diff] [blame] | 114 | Target toTarget; |
Eric Fellheimer | e27d063 | 2015-09-25 21:35:26 +0000 | [diff] [blame] | 115 | try { |
| 116 | PackageValue pkgValue = |
| 117 | (PackageValue) env.getValueOrThrow(packageKey, NoSuchPackageException.class); |
| 118 | if (pkgValue == null) { |
nharmata | f2b26ad | 2019-03-06 09:37:00 -0800 | [diff] [blame] | 119 | return null; |
Eric Fellheimer | b5c9884 | 2015-08-12 23:24:21 +0000 | [diff] [blame] | 120 | } |
Eric Fellheimer | e27d063 | 2015-09-25 21:35:26 +0000 | [diff] [blame] | 121 | Package pkg = pkgValue.getPackage(); |
| 122 | if (pkg.containsErrors()) { |
nharmata | f2b26ad | 2019-03-06 09:37:00 -0800 | [diff] [blame] | 123 | // Do nothing interesting. This error was handled when we computed the corresponding |
Eric Fellheimer | e27d063 | 2015-09-25 21:35:26 +0000 | [diff] [blame] | 124 | // TransitiveTargetValue. |
nharmata | f2b26ad | 2019-03-06 09:37:00 -0800 | [diff] [blame] | 125 | return null; |
Eric Fellheimer | e27d063 | 2015-09-25 21:35:26 +0000 | [diff] [blame] | 126 | } |
nharmata | f2b26ad | 2019-03-06 09:37:00 -0800 | [diff] [blame] | 127 | toTarget = pkgValue.getPackage().getTarget(toLabel.getName()); |
Eric Fellheimer | e27d063 | 2015-09-25 21:35:26 +0000 | [diff] [blame] | 128 | } catch (NoSuchThingException e) { |
nharmata | f2b26ad | 2019-03-06 09:37:00 -0800 | [diff] [blame] | 129 | // Do nothing interesting. This error was handled when we computed the corresponding |
Eric Fellheimer | e27d063 | 2015-09-25 21:35:26 +0000 | [diff] [blame] | 130 | // TransitiveTargetValue. |
nharmata | f2b26ad | 2019-03-06 09:37:00 -0800 | [diff] [blame] | 131 | return null; |
Eric Fellheimer | b5c9884 | 2015-08-12 23:24:21 +0000 | [diff] [blame] | 132 | } |
nharmata | f2b26ad | 2019-03-06 09:37:00 -0800 | [diff] [blame] | 133 | if (!(toTarget instanceof Rule)) { |
| 134 | // Aspect can be declared only for Rules. |
| 135 | return null; |
| 136 | } |
| 137 | return ((Rule) toTarget).getRuleClassObject().getAdvertisedProviders(); |
Eric Fellheimer | 85fe061 | 2015-08-18 21:09:54 +0000 | [diff] [blame] | 138 | } |
| 139 | |
Janak Ramakrishnan | 3c0adb2 | 2016-08-15 21:54:55 +0000 | [diff] [blame] | 140 | private static void maybeReportErrorAboutMissingEdge( |
lberki | 231d77d | 2019-01-03 11:18:11 -0800 | [diff] [blame] | 141 | Target target, Label depLabel, NoSuchThingException e, EventHandler eventHandler) { |
Mark Schaller | 6b6d8a9 | 2015-10-23 01:00:28 +0000 | [diff] [blame] | 142 | if (e instanceof NoSuchTargetException) { |
| 143 | NoSuchTargetException nste = (NoSuchTargetException) e; |
| 144 | if (depLabel.equals(nste.getLabel())) { |
| 145 | eventHandler.handle( |
| 146 | Event.error( |
| 147 | TargetUtils.getLocationMaybe(target), |
| 148 | TargetUtils.formatMissingEdge(target, depLabel, e))); |
| 149 | } |
| 150 | } else if (e instanceof NoSuchPackageException) { |
| 151 | NoSuchPackageException nspe = (NoSuchPackageException) e; |
| 152 | if (nspe.getPackageId().equals(depLabel.getPackageIdentifier())) { |
| 153 | eventHandler.handle( |
| 154 | Event.error( |
| 155 | TargetUtils.getLocationMaybe(target), |
| 156 | TargetUtils.formatMissingEdge(target, depLabel, e))); |
| 157 | } |
| 158 | } |
| 159 | } |
| 160 | |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 161 | /** |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 162 | * Holds values accumulated across the given target and its transitive dependencies for the |
| 163 | * purpose of constructing a {@link TransitiveTargetValue}. |
| 164 | * |
| 165 | * <p>Note that this class is mutable! The {@code successfulTransitiveLoading} property is |
| 166 | * initialized with the {@code packageLoadedSuccessfully} constructor parameter, and may be |
| 167 | * modified if a transitive dependency is found to be in error. |
| 168 | */ |
| 169 | static class TransitiveTargetValueBuilder { |
| 170 | private boolean successfulTransitiveLoading; |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 171 | private final NestedSetBuilder<Label> transitiveTargets; |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 172 | |
janakr | 8cd101d | 2020-11-16 13:12:58 -0800 | [diff] [blame] | 173 | public TransitiveTargetValueBuilder(Target target, boolean packageLoadedSuccessfully) { |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 174 | this.transitiveTargets = NestedSetBuilder.stableOrder(); |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 175 | this.successfulTransitiveLoading = packageLoadedSuccessfully; |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 176 | transitiveTargets.add(target.getLabel()); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 177 | } |
| 178 | |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 179 | public NestedSetBuilder<Label> getTransitiveTargets() { |
| 180 | return transitiveTargets; |
| 181 | } |
| 182 | |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 183 | public boolean isSuccessfulTransitiveLoading() { |
| 184 | return successfulTransitiveLoading; |
| 185 | } |
| 186 | |
| 187 | public void setSuccessfulTransitiveLoading(boolean successfulTransitiveLoading) { |
| 188 | this.successfulTransitiveLoading = successfulTransitiveLoading; |
| 189 | } |
| 190 | |
| 191 | public SkyValue build(@Nullable NoSuchTargetException errorLoadingTarget) { |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 192 | NestedSet<Label> loadedTargets = transitiveTargets.build(); |
Mark Schaller | b25759c | 2015-07-29 17:09:18 +0000 | [diff] [blame] | 193 | return successfulTransitiveLoading |
jhorvitz | 0ace4c7 | 2021-10-04 15:20:52 -0700 | [diff] [blame] | 194 | ? TransitiveTargetValue.successfulTransitiveLoading(loadedTargets) |
| 195 | : TransitiveTargetValue.unsuccessfulTransitiveLoading(loadedTargets, errorLoadingTarget); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 196 | } |
| 197 | } |
| 198 | } |