Performance and Stability of Barrier Mode Parallel Systems with Heterogeneous and Redundant Jobs

TL;DR

This paper analyzes the performance and stability impacts of barrier synchronization in parallel systems, especially in heterogeneous workloads like Spark, providing bounds, models, and empirical validation.

Contribution

It introduces a comprehensive analysis of barrier system stability and performance, including new bounds, models, and empirical validation for Spark workloads.

Findings

Barrier synchronization reduces system stability and performance.

Derived bounds for hybrid barrier systems with mixed workloads.

Validated models accurately predict overhead and performance impacts.

Abstract

In some models of parallel computation, jobs are split into smaller tasks and can be executed completely asynchronously. In other situations the parallel tasks have constraints that require them to synchronize their start and possibly departure times. This is true of many parallelized machine learning workloads, and the popular Apache Spark processing engine has recently added support for Barrier Execution Mode, which allows users to add such barriers to their jobs. These barriers necessarily result in idle periods on some of the workers, which reduces their stability and performance, compared to equivalent workloads with no barriers. In this paper we will consider and analyze the stability and performance penalties resulting from barriers. We include an analysis of the stability of $(s,k,l)$ barrier systems that allow jobs to depart after $l$ out of $k$ of their tasks complete. We also derive and evaluate performance bounds for hybrid barrier systems servicing a mix of jobs, both with and without barriers, and with varying degrees of parallelism. For the purely 1-barrier case we compare the bounds and simulation results to benchmark data from a standalone Spark system. We study the overhead in the real system, and based on its distribution we attribute it to the dual event and polling-driven mechanism used to schedule barrier-mode jobs. We develop a model for this type of overhead and validate it against the real system through simulation.