DAGScheduler会将Job的RDD划分到不同的Stage,并构建这些Stage的依赖关系。这样可以使得没有依赖关系的Stage并行执行,并保证有依赖关系的Stage顺序执行。并行执行能够有效利用集群资源,提升运行效率,而串行执行则适用于那些在时间和数据资源上存在强制依赖的场景。Stage分为需要处理Shuffle的ShuffleMapStage和最下游的ResultStage。上游Stage先于下游Stage执行,ResultStage是最后执行的Stage。Stage的属性如下:
- id:Stage的身份标识
- rdd:当前Stage包含的RDD
- numTasks:当前Stage的Task数量
- parents:当前Stage的父Stage列表。说明一个Stage可以有一个到多个父Stage
- firstJobId:第一个提交当前Stage的Job的身份标识(即Job的id)。当使用FIFO调度时,通过firstJobId首先计算来自较早Job的Stage,或者在发生故障时更快地恢复
- callSite:应用程序中与当前Stage相关联的调用栈信息
- numPartitions:当前Stage的分区数量。实际为rdd的分区的数量
- jobIds:当前Stage所属的Job的身份标识集合。说明一个Stage可以属于一到多个Job
- pendingPartitions:存储待处理分区的索引的集合
- nextAttemptId:用于生成Stage下一次尝试的身份标识
- _latestInfo:Stage最近一次尝试的信息,即StageInfo
- fetchFailedAttemptIds:发生过FetchFailure的Stage尝试的身份标识的集合。此属性用于避免在发生FetchFailure后无止境的重试
下面来学习一下Stage的方法
- clearFailures:清空fetchFialedAttemptIds
- failedOnFetchAndShouldAbort:用于将发生FetchFailure的Stage尝试的身份标识添加到fetchFailedAttemptIds中,并返回发生FetchFailure的次数是否已经超过了允许发生FetchFailure的次数的状态。允许发生FetchFailure的次数固定为4
- latestInfo:返回最近一次Stage尝试的StageInfo,即返回_latestInfo
- findMissingPartitions:找到还未执行完成的分区
- mekeNewStageAttempt:用于创建新的Stage尝试
//org.apache.spark.scheduler.Stage
def makeNewStageAttempt(
numPartitionsToCompute: Int,
taskLocalityPreferences: Seq[Seq[TaskLocation]] = Seq.empty): Unit = {
val metrics = new TaskMetrics
metrics.register(rdd.sparkContext)
_latestInfo = StageInfo.fromStage(
this, nextAttemptId, Some(numPartitionsToCompute), metrics, taskLocalityPreferences)
nextAttemptId += 1
}
其执行步骤如下:
- 1)调用StageInfo的fromStage方法创建新的StageInfo
- 2)增加nextAttemptId
抽象类Stage有两个实现子类,分别为ShuffleMapStage和ResultStage
1 ResultStage的实现
ResultStage可以使用指定的函数对RDD中的分区进行计算并得出最终结果。ResultStage是最后执行的Stage,此阶段主要进行作业的收尾工作(例如,对各个分区的数据收拢、打印到控制台或写入到HDFS)。ResultStage除继承自父类Stage的属性外,还包括以下属性:
- func:即对RDD的分区进行计算的函数。func是ResultStage的构造器参数,指定了函数的形式必须满足:
(TaskContext, Iterator[_]) => _
- partitions:由RDD的各个分区的索引组成的数组
- _activeJob:ResultStage处理的ActiveJob
还提供了一些方法
//org.apache.spark.scheduler.ResultStage
def activeJob: Option[ActiveJob] = _activeJob
def setActiveJob(job: ActiveJob): Unit = {
_activeJob = Option(job)
}
def removeActiveJob(): Unit = {
_activeJob = None
}
override def findMissingPartitions(): Seq[Int] = {
val job = activeJob.get
(0 until job.numPartitions).filter(id => !job.finished(id))
}
findMissingPartitions用于找出当前Job的所有分区中还没有完成的分区的索引。ResultStage判断一个分区是否完成,是通过AcitveJob的Boolean类型数组finished,因为finished记录了每个分区是否完成。
2 ShuffleMapStage的实现
ShuffleMapStage是DAG调度流程的中间Stage,它可以包括一到多个ShuffleMapTask,这些ShuffleMapTask将生成用于Shuffle的数据。ShuffleMapStage一般是ResultStage或者其它ShuffleMapStage的前置Stage,ShuffleMapTask则通过Shuffle与下游Stage中的Task串联起来。从ShuffleMapStage的命名可以看出,它将对Shuffle的数据映射到下游Stage的各个分区中。ShuffleMapStage除继承自父类Stage的属性外,还包括以下属性:
- shuffleDep:与ShuffleMapStage相关联的ActiveJob的列表
- _mapStageJobs:与ShuffleMapStage相关联的ActiveJob的列表
- _numAvailableOutputs:ShuffleMapStage可用的map任务的输出数量,这也代表了执行成功的map任务数
- outputLocs:ShuffleMapStage的各个map任务与其对应的MapStatus列表的映射关系。由于map任务可能会运行多次,因而可能会有多个MapStatus
ShuffleMapStage还提供了一些方法:
- mapStageJobs:即读取_mapStageJobs的方法
- addActiveJob与removeActiveJob:向ShuffleMapStage相关联的ActiveJob的列表中添加或删除ActiveJob。
//org.apache.spark.scheduler.ShuffleMapStage
def addActiveJob(job: ActiveJob): Unit = {
_mapStageJobs = job :: _mapStageJobs
}
def removeActiveJob(job: ActiveJob): Unit = {
_mapStageJobs = _mapStageJobs.filter(_ != job)
}
- numAvailableOutputs:即读取_numAvailableOutputs的方法
- isAvailable:当_numAvailableOutputs与numPartitions相等时为true。也就是说,ShuffleMapStage的所有分区的map任务都执行成功后,ShuffleMapStage才是可用的
- findMissingPartitions:找到所有还未执行成功而需要计算的分区
//org.apache.spark.scheduler.ShuffleMapStage
override def findMissingPartitions(): Seq[Int] = {
val missing = (0 until numPartitions).filter(id => outputLocs(id).isEmpty)
assert(missing.size == numPartitions - _numAvailableOutputs,
s"${missing.size} missing, expected ${numPartitions - _numAvailableOutputs}")
missing
}
- addOutputLoc:当某一分区的任务执行完成后,首先将分区与MapStatus的对应关系添加到outputLocs中,然后将可用的输出数加一
//org.apache.spark.scheduler.ShuffleMapStage
def addOutputLoc(partition: Int, status: MapStatus): Unit = {
val prevList = outputLocs(partition)
outputLocs(partition) = status :: prevList
if (prevList == Nil) {
_numAvailableOutputs += 1
}
}
3 StageInfo
StageInfo用于描述Stage信息,并可以传递给SparkListener。StageInfo包括以下属性:
- stageId:Stage的id
- attemptId:当前Stage尝试的id
- name:当前Stage的名称
- numTasks:当前Stage的Task数量
- rddInfos:RDD信息(即RDDInfo)的序列
- parentIds:当前Stage的父亲Stage的身份标识序列
- details:详细的线程栈信息
- taskMetrics:Task的度量信息
- taskLocalityPreferences:类型为Seq[Seq[TaskLocation]],用于存储任务的本地性偏好
- submissionTime:DAGScheduler将当前Stage提交给TaskScheduler的时间
- completionTime:当前Stage中的所有Task完成的时间(即Stage完成的时间)或者Stage被取消的时间
- failureReason:如果Stage失败了,用于记录失败的原因
- accumulables:存储了所有聚合器计算的最终值
在StageInfo的伴生对象中还提供了构建StageInfo的方法
//org.apache.spark.scheduler.ShuffleMapStage
def fromStage(
stage: Stage,
attemptId: Int,
numTasks: Option[Int] = None,
taskMetrics: TaskMetrics = null,
taskLocalityPreferences: Seq[Seq[TaskLocation]] = Seq.empty
): StageInfo = {
val ancestorRddInfos = stage.rdd.getNarrowAncestors.map(RDDInfo.fromRdd)
val rddInfos = Seq(RDDInfo.fromRdd(stage.rdd)) ++ ancestorRddInfos
new StageInfo(
stage.id,
attemptId,
stage.name,
numTasks.getOrElse(stage.numTasks),
rddInfos,
stage.parents.map(_.id),
stage.details,
taskMetrics,
taskLocalityPreferences)
}
根据代码,其执行步骤如下:
- 1)调用当前Stage的RDD的getNarrowAncesstors方法,获取RDD的祖先依赖中属于窄依赖的RDD序列
- 2)对上一步中获得的RDD序列中的每个RDD,调用RDDInfo伴生对象的fromRdd方法创建RDDInfo对象
- 3)给当前Stage的RDD创建对应的RDDInfo对象,将上一步中创建的所有RDDInfo对象与此RDDInfo对象放入序列rddInfos中
- 4)创建StageInfo