Github user pwendell commented on a diff in the pull request:

    https://github.com/apache/spark/pull/2746#discussion_r19195340
  
    --- Diff: 
core/src/main/scala/org/apache/spark/scheduler/ExecutorAllocationManager.scala 
---
    @@ -0,0 +1,345 @@
    +/*
    + * Licensed to the Apache Software Foundation (ASF) under one or more
    + * contributor license agreements.  See the NOTICE file distributed with
    + * this work for additional information regarding copyright ownership.
    + * The ASF licenses this file to You 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 org.apache.spark.scheduler
    +
    +import scala.collection.mutable
    +
    +import org.apache.spark.{Logging, SparkException}
    +import org.apache.spark.scheduler.cluster.CoarseGrainedSchedulerBackend
    +
    +/**
    + * An agent that dynamically allocates and removes executors based on the 
workload.
    + *
    + * The add policy depends on the number of pending tasks. If the queue of 
pending tasks is not
    + * drained in N seconds, then new executors are added. If the queue 
persists for another M
    + * seconds, then more executors are added and so on. The number added in 
each round increases
    + * exponentially from the previous round until an upper bound on the 
number of executors has
    + * been reached.
    + *
    + * The rationale for the exponential increase is twofold: (1) Executors 
should be added slowly
    + * in the beginning in case the number of extra executors needed turns out 
to be small. Otherwise,
    + * we may add more executors than we need just to remove them later. (2) 
Executors should be added
    + * quickly over time in case the maximum number of executors is very high. 
Otherwise, it will take
    + * a long time to ramp up under heavy workloads.
    + *
    + * The remove policy is simpler: If an executor has been idle for K 
seconds (meaning it has not
    + * been scheduled to run any tasks), then it is removed. This requires 
starting a timer on each
    + * executor instead of just starting a global one as in the add case.
    + *
    + * There is no retry logic in either case. Because the requests to the 
cluster manager are
    + * asynchronous, this class does not know whether a request has been 
granted until later. For
    + * this reason, both add and remove are treated as best-effort only.
    + *
    + * The relevant Spark properties include the following:
    + *
    + *   spark.dynamicAllocation.enabled - Whether this feature is enabled
    + *   spark.dynamicAllocation.minExecutors - Lower bound on the number of 
executors
    + *   spark.dynamicAllocation.maxExecutors - Upper bound on the number of 
executors
    + *
    + *   spark.dynamicAllocation.addExecutorThresholdSeconds - How long before 
new executors are added
    + *   spark.dynamicAllocation.addExecutorIntervalSeconds - How often to add 
new executors
    + *   spark.dynamicAllocation.removeExecutorThresholdSeconds - How long 
before an executor is removed
    + *
    + * Synchronization: Because the schedulers in Spark are single-threaded, 
contention should only
    + * arise when new executors register or when existing executors are 
removed, both of which are
    + * relatively rare events with respect to task scheduling. Thus, 
synchronizing each method on the
    + * same lock should not be expensive assuming biased locking is enabled in 
the JVM (on by default
    + * for Java 6+). This may not be true, however, if the application itself 
runs multiple jobs
    + * concurrently.
    + *
    + * Note: This is part of a larger implementation (SPARK-3174) and 
currently does not actually
    + * request to add or remove executors. The mechanism to actually do this 
will be added separately,
    + * e.g. in SPARK-3822 for Yarn.
    + */
    +private[scheduler] class ExecutorAllocationManager(scheduler: 
TaskSchedulerImpl) extends Logging {
    +  import ExecutorAllocationManager._
    +
    +  private val conf = scheduler.conf
    +
    +  // Lower and upper bounds on the number of executors. These are required.
    +  private val minNumExecutors = 
conf.getInt("spark.dynamicAllocation.minExecutors", -1)
    +  private val maxNumExecutors = 
conf.getInt("spark.dynamicAllocation.maxExecutors", -1)
    +  if (minNumExecutors < 0 || maxNumExecutors < 0) {
    +    throw new SparkException("spark.dynamicAllocation.{min/max}Executors 
must be set!")
    +  }
    +
    +  // How frequently to add and remove executors (seconds)
    +  private val addThresholdSeconds =
    +    conf.getLong("spark.dynamicAllocation.addExecutorThresholdSeconds", 60)
    +  private val addIntervalSeconds =
    +    conf.getLong("spark.dynamicAllocation.addExecutorIntervalSeconds", 
addThresholdSeconds)
    +  private val removeThresholdSeconds =
    +    conf.getLong("spark.dynamicAllocation.removeExecutorThresholdSeconds", 
600)
    +
    +  // Number of executors to add in the next round
    +  private var numExecutorsToAdd = 1
    +
    +  // Number of executors that have been requested but have not registered 
yet
    +  private var numExecutorsPendingToAdd = 0
    +
    +  // Executors that have been requested to be removed but have not been 
killed yet
    +  private val executorsPendingToRemove = new mutable.HashSet[String]
    +
    +  // Keep track of all executors here to decouple us from the logic in 
TaskSchedulerImpl
    +  private val executorIds = new mutable.HashSet[String]
    +
    +  // A timestamp of when the add timer should be triggered, or NOT_STARTED 
if the timer is not
    +  // started. This timer is started when there are pending tasks built up, 
and canceled when
    +  // there are no more pending tasks.
    +  private var addTime = NOT_STARTED
    +
    +  // A timestamp for each executor of when the remove timer for that 
executor should be triggered.
    +  // Each remove timer is started when the executor first registers or 
when the executor finishes
    +  // running a task, and canceled when the executor is scheduled to run a 
new task.
    +  private val removeTimes = new mutable.HashMap[String, Long]
    +
    +  // A timestamp of when all pending add requests should expire
    +  private var pendingAddExpirationTime = NOT_STARTED
    +
    +  // A timestamp for each executor of when the pending remove request for 
the executor should expire
    +  private val pendingRemoveExpirationTimes = new mutable.HashMap[String, 
Long]
    +
    +  // How long before expiring pending requests to add or remove executors 
(seconds)
    +  private val pendingAddTimeoutSeconds = 300 // 5 min
    +  private val pendingRemoveTimeoutSeconds = 300
    +
    +  // Polling loop interval (ms)
    +  private val intervalMillis = 100
    +
    +  // Scheduler backend through which requests to add/remove executors are 
made
    +  // Note that this assumes the backend has already initialized when this 
is first used
    +  // Otherwise, an appropriate exception is thrown
    +  private lazy val backend = scheduler.backend match {
    +    case b: CoarseGrainedSchedulerBackend => b
    +    case null =>
    +      throw new SparkException("Scheduler backend not initialized yet!")
    +    case _ =>
    +      throw new SparkException(
    +        "Dynamic allocation of executors is not applicable to fine-grained 
schedulers. " +
    +        "Please set spark.dynamicAllocation.enabled to false.")
    +  }
    +
    +  initialize()
    +
    +  /**
    +   * Start the main polling thread that keeps track of when to add and 
remove executors.
    +   * During each loop interval, this thread checks if any of the timers 
have timed out, and,
    +   * if so, triggers the relevant timer actions.
    +   */
    +  def initialize(): Unit = {
    +    val thread = new Thread {
    +      override def run(): Unit = {
    +        while (true) {
    +          ExecutorAllocationManager.this.synchronized {
    +            val now = System.currentTimeMillis
    +            try {
    +              // If the add timer has timed out, add executors and refresh 
the timer
    +              if (addTime != NOT_STARTED && now >= addTime) {
    +                addExecutors()
    +                logDebug(s"Restarting add executor timer " +
    +                  s"(to be triggered in $addIntervalSeconds seconds)")
    +                addTime += addIntervalSeconds * 1000
    +              }
    +
    +              // If a remove timer has timed out, remove the executor and 
cancel the timer
    +              removeTimes.foreach { case (executorId, triggerTime) =>
    +                if (now > triggerTime) {
    +                  removeExecutor(executorId)
    +                  cancelRemoveTimer(executorId)
    +                }
    +              }
    +
    +              // Expire any outstanding pending add requests that have 
timed out
    +              if (pendingAddExpirationTime != NOT_STARTED && now >= 
pendingAddExpirationTime) {
    +                logDebug(s"Expiring all pending add requests because they 
have " +
    +                  s"not been fulfilled after $pendingAddTimeoutSeconds 
seconds")
    +                numExecutorsPendingToAdd = 0
    +                pendingAddExpirationTime = NOT_STARTED
    +              }
    +
    +              // Expire any outstanding pending remove requests that have 
timed out
    +              pendingRemoveExpirationTimes.foreach { case (executorId, 
expirationTime) =>
    +                if (now > expirationTime) {
    +                  logDebug(s"Expiring pending request to remove executor 
$executorId because " +
    +                    s"it has not been fulfilled after 
$pendingRemoveTimeoutSeconds seconds")
    +                  executorsPendingToRemove.remove(executorId)
    +                  pendingRemoveExpirationTimes.remove(executorId)
    +                }
    +              }
    +            } catch {
    +              case e: Exception => logError("Exception in dynamic executor 
allocation thread!", e)
    +            }
    +          }
    +          Thread.sleep(intervalMillis)
    +        }
    +      }
    +    }
    +    thread.setName("spark-dynamic-executor-allocation")
    +    thread.setDaemon(true)
    +    thread.start()
    +  }
    +
    +  /**
    +   * Request a number of executors from the scheduler backend.
    +   * If the cap on the number of executors is reached, give up and reset 
the
    +   * number of executors to add next round instead of continuing to double 
it.
    +   */
    +  private def addExecutors(): Unit = synchronized {
    +    // Do not request more executors if we have already reached the upper 
bound
    +    val numExistingExecutors = executorIds.size + numExecutorsPendingToAdd
    +    if (numExistingExecutors >= maxNumExecutors) {
    +      logDebug(s"Not adding executors because there are already " +
    +        s"$maxNumExecutors executor(s), which is the limit")
    +      numExecutorsToAdd = 1
    +      return
    +    }
    +
    +    // Request executors with respect to the upper bound
    +    val actualNumExecutorsToAdd =
    +      math.min(numExistingExecutors + numExecutorsToAdd, maxNumExecutors) 
- numExistingExecutors
    --- End diff --
    
    This expression is quite complicated, so I'd break it up a bit:
    ```
    // Number to add if continuing exponential increase
    val targetNumExecutors = executorIds.size + numExecutorsPending + 
numExecutorsToAdd
    // Take into account max
    val adjustedTargetNumExecutors = math.min(targetNumExecutors, 
maxNumExecutors) 
    // Compute delta
    val adjustedNumExecutorsToAdd = adjustedTargetNumExecutors - 
numExistingExecutors
    ```


---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastruct...@apache.org or file a JIRA ticket
with INFRA.
---

---------------------------------------------------------------------
To unsubscribe, e-mail: reviews-unsubscr...@spark.apache.org
For additional commands, e-mail: reviews-h...@spark.apache.org

Reply via email to