Transformer training costs

Computation and memory usage for transformers

Compute Requirements

The basic equation giving the cost to train a transformer model is given by:

𝐶𝜏𝑇=6𝑃𝐷𝐶≈𝜏𝑇=6𝑃𝐷

where:

  • (C)( C ) is the total compute required to train the transformer model, measured in floating point operations (FLOPs): C=Cforward+Cbackward C = C_{\text{forward}} + C_{\text{backward}}

  • (Cforward)( C_{\text{forward}} ) is the compute required for the forward pass: Cforward2×P×D C_{\text{forward}} \approx 2 \times P \times D

  • (Cbackward)( C_{\text{backward}} ) is the compute required for the backward pass: Cbackward4×P×D C_{\text{backward}} \approx 4 \times P \times D

  • (τ)( \tau ) represents the aggregate throughput of your hardware setup: [τ=(No. of GPUs)×(Actual FLOPs per GPU)][ \tau = (\text{No. of GPUs}) \times (\text{Actual FLOPs per GPU}) ]

  • (T)( T ) is the time spent training the model, in seconds: [T=Cτ] [ T = \frac{C}{\tau} ]

  • (P)( P ) is the number of parameters in the transformer model.

  • (D)( D ) is the dataset size, measured in tokens.

Sources

It's important to discuss the units of (C)( C ).

(C)( C ) is a measure of total compute and can be quantified in various units such as:

  • FLOP-seconds, which combines the number of floating point operations per second with the duration of computation: [FLOP-seconds=[Floating Point Operations per Second]×[Seconds]] [ \text{FLOP-seconds} = [\text{Floating Point Operations per Second}] \times [\text{Seconds}] ]

  • GPU-hours, which multiplies the number of GPUs by the time in hours: [GPU-hours=[No. of GPUs]×[Hours]][ \text{GPU-hours} = [\text{No. of GPUs}] \times [\text{Hours}] ]

  • PetaFLOP-days, often used in scaling laws papers, measures the total floating point operations over days, specifically: [PetaFLOP-days=1015×24×3600 total floating point operations][ \text{PetaFLOP-days} = 10^{15} \times 24 \times 3600 \text{ total floating point operations} ]

These units provide different ways to conceptualise and quantify the computational effort required to train models, depending on the context and scale of the operations.

One useful distinction to keep in mind is the concept of Actual FLOPs.

While GPU accelerator whitepapers usually advertise their theoretical FLOPs, these are never met in practice (especially in a distributed setting).

Some common reported values of Actual FLOPs in a distributed training setting are reported below in the Computing Costs section.

Parameter vs Dataset Tradeoffs

Although strictly speaking you can train a transformer for as many tokens as you like, the number of tokens trained can highly impact both the computing costs and the final model performance making striking the right balance important.

Let’s start with the elephant in the room: “compute optimal” language models.

Often referred to as “Chinchilla scaling laws” after the model series in the paper that gave rise to current beliefs about the number of parameters, a compute optimal language model has a number of parameters and a dataset size that satisfies the approximation 𝐷=20𝑃.

This is optimal in one very specific sense: in a resource regime where using 1,000 GPUs for 1 hour and 1 GPU for 1,000 hours cost you the same amount, if your goal is to maximise performance while minimising the cost in GPU-hours to train a model you should use the above equation.

We do not recommend training a LLM for less than 200B tokens.

Although this is “chinchilla optimal” for many models, the resulting models are typically quite poor.

For almost all applications, we recommend determining what inference cost is acceptable for your use case and training the largest model you can to stay under that inference cost for as many tokens as you can.

Engineering Takeaways for Compute Costs

Computing costs for transformers are typically listed in GPU-hours or FLOP-seconds.

  • GPT-NeoX achieves 150 TFLOP/s/A100 with normal attention and 180 TFLOP/s/A100 with Flash Attention. This is in line with other highly optimized libraries at scale, for example Megatron-DS reports between 137 and 163 TFLOP/s/A100.

  • As a general rule of thumb, you should always be able to achieve approximately 120 TFLOP/s/A100. If you are seeing below 115 TFLOP/s/A100 there is probably something wrong with your model or hardware configuration.

  • With high-quality interconnect such as InfiniBand, you can achieve linear or sublinear scaling across the data parallel dimension (i.e. increasing the data parallel degree should increase the overall throughput nearly linearly). Shown below is a plot from testing the GPT-NeoX library on Oak Ridge National Lab’s Summit supercomputer. Note that V100s are on the x-axis, while most of the numerical examples in the post are for A100s.

GPT-NeoX scaling

Memory Requirements

Transformers are typically described in terms of their size in parameters.

However, when determining what models can fit on a given set of computing resources you need to know how much space in bytes the model will take up.

This can tell you how large a model will fit on your local GPU for inference, or how large a model you can train across your cluster with a certain amount of total accelerator memory.

Inference

Model Weights

Different floating point formats and their relative bits for precision and range

Most transformers are trained in mixed precision, either fp16 + fp32 or bf16 + fp32.

This cuts down on the amount of memory required to train the models, and also the amount of memory required to run inference.

We can cast language models from fp32 to fp16 or even int8 without suffering a substantial performance hit.

These numbers refer to the size in bits a single parameter requires. Since there are 8 bits in a Byte, we divide this number by 8 to see how many Bytes each parameter requires

  • In int8, memorymodel=(1 byte/param)⋅(No. params)

  • In fp16 and bf16, memorymodel=(2 bytes/param)⋅(No. params)

  • In fp32, memorymodel=(4 bytes/param)⋅(No. params)

There is also a small amount of additional overhead, which is typically irrelevant to determining the largest model that will fit on your GPU. In our experience this overhead is ≤ 20%.

Total Inference Memory

In addition to the memory needed to store the model weights, there is also a small amount of additional overhead during the actual forward pass. In our experience this overhead is ≤ 20% and is typically irrelevant to determining the largest model that will fit on your GPU.

In total, a good heuristic answer for “will this model fit for inference” is:

Total MemoryInference≈(1.2)×Model Memory

We will not investigate the sources of this overhead in this blog post and leave it to other posts or locations for now, instead focusing on memory for model training in the rest of this post. If you’re interested in learning more about the calculations required for inference, check out this fantastic blog post covering inference in depth. Now, on to training!

Training

In addition to the model parameters, training requires the storage of optimiser states and gradients in device memory.

This is why asking “how much memory do I need to fit model X” immediately leads to the answer “this depends on training or inference.” Training always requires more memory than inference, often very much more!

Model Parameters

First off, models can be trained in pure fp32 or fp16:

  • Pure fp32, memorymodel=(4 bytes/param)⋅(No. params)

  • Pure fp16, memorymodel=(2 bytes/param)⋅(No. params)

In addition to the common model weight datatypes discussed in Inference, training introduces mixed-precision training such as AMP.

This technique seeks to maximise the throughput of GPU tensor cores while maintaining convergence.

The modern DL training landscape frequently uses mixed-precision training because:

1) fp32 training is stable, but has a high memory overhead and doesn’t exploit NVIDIA GPU tensor cores, and

2) fp16 training is stable but difficult to converge.

  • Mixed-precision (fp16/bf16 and fp32), memorymodel=(2 bytes/param)⋅(No. params)

plus an additional size (4 bytes/param)⋅(#params) copy of the model that we count within our optimizer states.

Optimizer States

Adam is magic, but it’s highly memory inefficient. In addition to requiring you to have a copy of the model parameters and the gradient parameters, you also need to keep an additional three copies of the gradient parameters. Therefore,

  • For vanilla AdamW, memoryoptimizer=(12 bytes/param)⋅(No. params)

    • fp32 copy of parameters: 4 bytes/param

    • Momentum: 4 bytes/param

    • Variance: 4 bytes/param

  • For 8-bit optimizers like bitsandbytes, memoryoptimizer=(6 bytes/param)⋅(No. params)

    • fp32 copy of parameters: 4 bytes/param

    • Momentum: 1 byte/param

    • Variance: 1 byte/param

  • For SGD-like optimizers with momentum, memoryoptimizer=(8 bytes/param)⋅(No. params)

    • fp32 copy of parameters: 4 bytes/param

    • Momentum: 4 bytes/param

Gradients

Gradients can be stored in fp32 or fp16 (Note that the gradient datatype often matches the model datatype. We see that it therefore is stored in fp16 for fp16 mixed-precision training), so their contribution to memory overhead is given by:

  • In fp32, memorygradients=(4 bytes/param)⋅(No. params)

  • In fp16, memorygradients=(2 bytes/param)⋅(No. params)

Activations and Batch Size

Modern GPUs are typically bottlenecked by memory, not FLOPs, for LLM training.

Therefore activation recomputation/checkpointing is an extremely popular method of trading reduced memory costs for extra compute costs.

Activation recomputation/checkpointing works by recomputing activations of certain layers instead of storing them in GPU memory.

The reduction in memory depends on how selective we are when deciding which layers to clear, but Megatron’s selective recomputation scheme is depicted in the figure below:

The dashed red line indicates the memory capacity of an A100-80GB GPU, and “present work” indicates the memory requirements after applying selective activation recomputation.

See Reducing Activation Recomputation in Large Transformer Models for further details and the derivation of the equations below

The basic equation giving the memory required to store activations for a transformer model is given by:

memoryactivationsNo Recomputation=𝑠𝑏ℎ𝐿(10+24𝑡+5𝑎⋅𝑠ℎ⋅𝑡) bytes

memoryactivationsSelective Recomputation=𝑠𝑏ℎ𝐿(10+24𝑡) bytes

memoryactivationsFull Recomputation=2⋅𝑠𝑏ℎ𝐿 bytes

where:

  • 𝑠 is the sequence length, in tokens

  • 𝑏 is the batch size per GPU

  • ℎ is the dimension of the hidden size within each transformer layer

  • 𝐿 is the number of layers in the transformer model

  • 𝑎 is the number of attention heads in the transformer model

  • 𝑡 is the degree of tensor parallelism being used (1 if not)

  • We assume no sequence parallelism is being used

  • We assume that activations are stored in fp16

The additional recomputation necessary also depends on the selectivity of the method, but it’s bounded above by a full additional forward pass. Hence the updated cost of the forward pass is given by:

2𝑃𝐷𝐶forward4𝑃𝐷2𝑃𝐷≤𝐶forward≤4𝑃𝐷

Total Training Memory

Therefore, a good heuristic answer for “will this model fit for training” is:

Total MemoryTraining=Model Memory+Optimiser Memory+Activation Memory+Gradient Memory

Distributed Training

Sharded Optimizers

The massive memory overheads for optimizers is the primary motivation for sharded optimizers such as ZeRO and FSDP.

Such sharding strategies reduce the optimizer overhead by a factor of No. GPUs, which is why a given model configuration may fit at large scale but OOM at small scales.

If you’re looking to calculate the memory overhead required by training using a sharded optimizer, you will need to include the equations from the figure below.

For some sample calculations of sharded optimisation, see the following figure from the ZeRO paper (Note that 𝑃𝑜𝑠 𝑃𝑜𝑠+𝑔 and 𝑃𝑜𝑠+𝑔+𝑝 are commonly denoted as ZeRO-1, ZeRO-2, ZeRO-3, respectively. ZeRO-0 commonly means “ZeRO disabled”):

In the language of this blog post (assuming mixed-precision and the Adam optimizer):

  • For ZeRO-1,

Total MemoryTraining≈Model Memory+Optimizer memory(No. GPUs)+Activation Memory+Gradient Memory

  • For ZeRO-2,

Total MemoryTraining≈Model Memory+Activation Memory+Optimizer Memory+Gradient Memory(No. GPUs)

  • For ZeRO-3,

Total MemoryTraining≈Activation Memory+Model Memory+Optimizer Memory+Gradient Memory(No. GPUs)+(ZeRO-3 Live Params)

Where (DP Degree) is just (No. GPUs) unless pipeline and/or tensor parallelism are applied. See Sharded Optimizers + 3D Parallelism for details.

Note that ZeRO-3 introduces a set of live parameters. This is because ZeRO-3 introduces a set of config options (stage3_max_live_parameters, stage3_max_reuse_distance, stage3_prefetch_bucket_size, stage3_param_persistence_threshold) that control how many parameters are within GPU memory at a time (larger values take more memory but require less communication). Such parameters can have a significant effect on total GPU memory.

Note that ZeRO can also partition activations over data parallel ranks via ZeRO-R. This would also bring the memoryactivations above the tensor parallelism degree 𝑡. For more details, read the associated ZeRO paper and config options (note in GPT-NeoX, this is the partition_activations flag). If you are training a huge model, you would like to trade some memory overhead for additional communication cost, and activations become a bottleneck. As an example of using ZeRO-R along with ZeRO-1:

Total MemoryTraining≈Model Memory+Optimizer Memory(No. GPUs)+Activation Memory(Tensor-Parallel-Size)+Gradient Memory

3D Parallelism

Parallelism for LLMs comes in 3 primary forms:

Data parallelism: Split the data among (possibly model-parallel) replicas of the model

Pipeline or Tensor/Model parallelism: These parallelism schemes split the parameters of the model across GPUs. Such schemes require significant communication overhead, but their memory reduction is approximately:

memorymodelw/ parallelism≈Model Memory(Pipe-Parallel-Size)×(Tensor-Parallel-Size)

memorygradientsw/ parallelism≈Gradient Memory(Pipe-Parallel-Size)

Note that this equation is approximate due to the facts that (1) pipeline parallelism doesn’t reduce the memory footprint of activations, (2) pipeline parallelism requires that all GPUs store the activations for all micro-batches in-flight, which becomes significant for large models, and (3) GPUs need to temporarily store the additional communication buffers required by parallelism schemes.

Sharded Optimizers + 3D Parallelism

When ZeRO is combined with tensor and/or pipeline parallelism, the resulting parallelism strategy forms a mesh like the following:

As an important aside, the DP degree is vital for use in calculating the global batch size of training. The data-parallel degree depends on the number of complete model replicas:

DP Degree = No. GPUs(Pipe-Parallel-Size)×(Tensor-Parallel-Size)

Pipeline parallelism and tensor parallelism are compatible with all stages of ZeRO. However, it's difficult to maintain efficiency when combining pipeline parallelism with ZeRO-2/3's gradient sharding (Because ZeRO-2 shards the gradients, but pipeline parallelism accumulates them. It's possible to carefully define a pipeline schedule and overlap communication to maintain efficiency, but it's difficult to the point that DeepSpeed currently forbids it: https://github.com/microsoft/DeepSpeed/blob/v0.10.1/deepspeed/runtime/pipe/engine.py#L71). Tensor parallelism, however, is complementary to all stages of ZeRO because on each rank:

  • ZeRO-3 gathers the full layer parameters from other ranks, processes a full input on the now-local full layer, then frees the memory that was allocated to hold the remote ranks' parameters.

  • Tensor Parallelism gathers the remote activations for the local input from other ranks, processes a partition of the input using the local layer partition, then sends the next layer's activations to remote ranks

For the majority of Eleuther's work, we train with pipeline and tensor parallelism along with ZeRO-1. This is because we find ZeRO-3 to be too communication-heavy for our hardware at large scales, and instead use pipeline parallelism across nodes along with tensor parallelism within nodes.

Putting everything together for a typical 3D-parallel ZeRO-1 run with activation partitioning:

Total MemoryTraining≈Model Memory(Pipe-Parallel-Size)×(Tensor-Parallel-Size)+Optimizer Memory(No. GPUs)+Activation Memory(Tensor-Parallel-Size)+Gradient Memory(Pipe-Parallel-Size)

Conclusion

EleutherAI engineers frequently use heuristics like the above to plan efficient model training and to debug distributed runs. We hope to provide some clarity on these often-overlooked implementation details, and would love to hear your feedback at contact@eleuther.ai if you would like to discuss or think we’ve missed anything!

Last updated

Logo

Continuum - Accelerated Artificial Intelligence

Continuum WebsiteAxolotl Platform

Copyright Continuum Labs - 2023