Book

Design Doc: Fluid Distributed Training Architecture

Abstract

PaddlePaddle version 0.10.0 uses the "trainer-parameter server" architecture. We run multiple instances of trainers (where each trainer runs the same model) and parameter servers for distributed training. This architecture serves well, but has few limitations:

There is a need to write special code that handles tasks which should only be run on a single trainer. E.g., initializing the model, saving the model etc.

Model parallelism is hard: It would need all the if-else branches conditioned on the trainer ID to partition the model onto the trainers, and eventually manually writing out the inter-model-shard communication code to communicate between different trainers.

The user can not directly specify the parameter update rule: This would need to modify the parameter server code and compile a new binary. This makes things more complicated for researchers: A lot of extra effort is required to make this work. Besides, the training job submission program may not allow running arbitrary binaries.

Analysis

The assumption is that the user writes the trainer program in either Python or C++.

Limitation 1

There are two basic functionalities in the trainer program:

The training logic such as loading / saving the model and printing out the logs.

The neural network definition such as the definition of the data layer, the fully connected layer, the cost function and the
optimizer.

When we train using PaddlePaddle v0.10.0 in a distributed fashion, multiple instances of the same Python code are run on different nodes, hence both: the
training logic as well as the neural network computation logic, is replicated.

The tasks that only need to be run once belong to the training logic. Hence if we only replicate the neural network computation part, and do not
replicate the training logic, the limitation mentioned above can be avoided.

Limitation 2

Model parallelism means that a single model is partitioned into different components and each node runs one of the component separately. This comes at the extra cost of managing the
inter-model-shard communication between nodes.

PaddlePaddle should ideally be able to modify the neural network computation and figure out the support for model parallelism automatically. However, the
computation is only specified in Python code which sits outside of PaddlePaddle, hence PaddlePaddle can not support the feature in this setup.

Similar to how a compiler uses an intermediate representation (IR) so that the programmer does not need to manually optimize their code for most of the cases, we can have an intermediate representation in PaddlePaddle as well. The compiler optimizes the IR as follows:

PaddlePaddle can support model parallelism by converting the IR so that the user no longer needs to manually perform the computation and operations in the Python component:

The IR for PaddlePaddle after refactoring is called a Block, it specifies the computation dependency graph and the variables used in the computation.

Limitation 3

The user can not directly specify the parameter update rule for the parameter server in the Python module, since the parameter server does not use the same computation definition as the trainer. Instead, the update rule is baked inside the parameter server. The user can not specify the update rule explicitly.

This could be fixed by making the parameter server also run an IR, which can be different to the trainer side
For a detailed explanation, refer to this document -
Design Doc: Parameter Server

Distributed Training Architecture

The revamped distributed training architecture can address the above discussed limitations. Below is the illustration of how it does so:

The code above is a typical local training program, the "Training Program" is built using helper functions such as
fluid.layer.fc. The training is done by calling Executor.run
iteratively.

For more details, the implementation of IR is Program, and ProgramDesc is the protobuf type.

Executor simply runs the ProgramDesc. For local training you generally use
Executor to run the program locally. For any kind of distributed training, you can use
RemoteExecutor to specify desired distributed training method with some optional arguments.

Distributed Transpiler

The Distributed Transpiler automatically converts the IR (in protobuf format) to partitioned IRs. Then
the Remote Executor dispatches the new IRs to Remote Executors across the cluster.
Below are the steps that are followed :

User only need to change Executor to RemoteExecutor to change local program to distributed program.

RemoteExecutor calls Distributed Transpiler to "transpile" user's program to several IRs representing a
distributed training program:

Parse configurations from RemoteExecutor.

Determine the type of distributed program, can be DataParallelism, ModelParallelism or Streaming.

Partition the ProgramDesc according to type and add send / recv OP pair on the boundaries. Take
DataParallelism type for example, it removes the optimization operators and add a send OP to the
"trainer" role, then add the optimization operators to the parameter server role within the recv OP.

Dispatch the partitioned graph to different RemoteExecutor in the cluster.

RemoteExecutor on each node run the received ProgramDesc utill the end.

RemoteExecutor

As shown in the graph, RemoteExecutor.run sends the IR to the cluster for Execution.
You can also use parameter fetch_list to interactively fetch variable back to local for
log printing.

JobDesc object describe the distributed job resource specification to run on
Cluster environment.

RemoteExecutor.run sends the ProgramDesc and
TrainingJob
to a server in the cluster which executes RemoteExecutor.listen. This server is responsible
to start the final Kubernetes Jobs to run the different role of ProgramDesc from ConfigMap.

Placement Algorithm

Our first implementation will only support "trainer-parameter server" placement: the parameters, initializers, and optimizers are all placed on the PaddlePaddle runtimes with the parameter server role. Everything else will be placed on the PaddlePaddle runtimes with the trainer role. This has the same functionality as the "trainer-parameter server" architecture of PaddlePaddle v0.10.0, but is more generic and flexible.

In the future, a more general placement algorithm should be implemented, which makes placements according to the input IR, and a model of device computation time and device communication time. Model parallelism requires the generic placement algorithm.

Local Training Architecture

The local training architecture will be the same as the distributed training architecture, the difference is that everything runs locally, and there is just one PaddlePaddle runtime:

Training Data

In PaddlePaddle v0.10.0, training data is typically read
with data reader from Python. This approach is
no longer efficient when training distributedly since the Python
process no longer runs on the same node with the trainer processes,
the Python reader will need to read from the distributed filesystem
(assuming it has the access) and send to the trainers, doubling the
network traffic.

When doing distributed training, the user can still use Python data
reader: the training data are sent with Executor.run. However, should
be used for debugging purpose only. The users are encouraged to use
the read data OPs.