commit c6ed6136c563f9836670ff740388e7b6fcdf8c83
author Mark Schaller <mschaller@google.com> Tue Nov 24 15:45:40 2015 +0000
committer Philipp Wollermann <philwo@google.com> Wed Nov 25 10:00:13 2015 +0000
tree 41d1cab3d0598ff72a7ad82fa0ca358cd5849a5a
parent 5b3290016a29fa2cf01a68cd0025d8982a432882

Make support for interruptibility optional during dirtying

Reduces the amount of work needed when interruptibility isn't needed.

--
MOS_MIGRATED_REVID=108611609

src/main/java/com/google/devtools/build/skyframe/EagerInvalidator.java

diff --git a/src/main/java/com/google/devtools/build/skyframe/EagerInvalidator.java b/src/main/java/com/google/devtools/build/skyframe/EagerInvalidator.java
index cb2a8cc..49bcfa0 100644
--- a/src/main/java/com/google/devtools/build/skyframe/EagerInvalidator.java
+++ b/src/main/java/com/google/devtools/build/skyframe/EagerInvalidator.java
@@ -88,12 +88,18 @@
       EvaluationProgressReceiver invalidationReceiver,
       InvalidationState state,
       DirtyKeyTracker dirtyKeyTracker,
-      ForkJoinPool forkJoinPool) {
+      ForkJoinPool forkJoinPool,
+      boolean supportInterruptions) {
     state.update(diff);
     return state.isEmpty()
         ? null
         : new DirtyingNodeVisitor(
-            graph, invalidationReceiver, state, dirtyKeyTracker, forkJoinPool);
+            graph,
+            invalidationReceiver,
+            state,
+            dirtyKeyTracker,
+            forkJoinPool,
+            supportInterruptions);
   }
 
   /**
@@ -126,11 +132,18 @@
       EvaluationProgressReceiver invalidationReceiver,
       InvalidationState state,
       DirtyKeyTracker dirtyKeyTracker,
-      ForkJoinPool forkJoinPool)
+      ForkJoinPool forkJoinPool,
+      boolean supportInterruptions)
       throws InterruptedException {
     DirtyingNodeVisitor visitor =
         createInvalidatingVisitorIfNeeded(
-            graph, diff, invalidationReceiver, state, dirtyKeyTracker, forkJoinPool);
+            graph,
+            diff,
+            invalidationReceiver,
+            state,
+            dirtyKeyTracker,
+            forkJoinPool,
+            supportInterruptions);
     if (visitor != null) {
       visitor.run();
     }