#!/usr/bin/env python # coding: utf-8 # # Data Parallelism # # 이번 세션에는 데이터 병렬화 기법에 대해 알아보겠습니다. # # ## 1. `torch.nn.DataParallel` # 가장 먼저 우리에게 친숙한 `torch.nn.DataParallel`의 동작 방식에 대해 알아봅시다. `torch.nn.DataParallel`은 single-node & multi-GPU에서 동작하는 multi-thread 모듈입니다. # ### 1) Forward Pass # # 1. 입력된 mini-batch를 **Scatter**하여 각 디바이스로 전송. # 2. GPU-1에 올라와 있는 모델의 파라미터를 GPU-2,3,4로 **Broadcast**. # 3. 각 디바이스로 복제된 모델로 **Forward**하여 Logits을 계산 함. # 4. 계산된 Logits을 **Gather**하여 GPU-1에 모음. # 5. Logits으로부터 **Loss**를 계산함. (with loss reduction) # # ![](../images/dp_forward.png) # #
# # 코드로 나타내면 아래와 같습니다. # In[ ]: import torch.nn as nn def data_parallel(module, inputs, labels, device_ids, output_device): inputs = nn.parallel.scatter(inputs, device_ids) # 입력 데이터를 device_ids들에 Scatter함 replicas = nn.parallel.replicate(module, device_ids) # 모델을 device_ids들에 복제함. logit = nn.parallel.parallel_apply(replicas, inputs) # 각 device에 복제된 모델이 각 device의 데이터를 Forward함. logits = nn.parallel.gather(outputs, output_device) # 모델의 logit을 output_device(하나의 device)로 모음 return logits # ### 2) Backward Pass # # 1. 계산된 Loss를 각 디바이스에 **Scatter**함. # 2. 전달받은 Loss를 이용해서 각 디바이스에서 **Backward**를 수행하여 Gradients 계산. # 3. 계산된 모든 Gradient를 GPU-1로 **Reduce**하여 GPU-1에 전부 더함. # 4. 더해진 Gradients를 이용하여 GPU-1에 있는 모델을 업데이트. # # ![](../images/dp_backward.png) # # # #### 혹시나 모르시는 분들을 위해... # - `loss.backward()`: 기울기를 미분해서 Gradient를 계산 # - `optimizer.step()`: 계산된 Gradient를 이용해서 파라미터를 업데이트 # - Computation cost는 `backward()` > `step()`. # # ![](../images/backward_step.png) # # In[ ]: """ src/data_parallel.py """ from torch import nn from torch.optim import Adam from torch.utils.data import DataLoader from transformers import BertForSequenceClassification, BertTokenizer from datasets import load_dataset # 1. create dataset datasets = load_dataset("multi_nli").data["train"] datasets = [ { "premise": str(p), "hypothesis": str(h), "labels": l.as_py(), } for p, h, l in zip(datasets[2], datasets[5], datasets[9]) ] data_loader = DataLoader(datasets, batch_size=128, num_workers=4) # 2. create model and tokenizer model_name = "bert-base-cased" tokenizer = BertTokenizer.from_pretrained(model_name) model = BertForSequenceClassification.from_pretrained(model_name, num_labels=3).cuda() # 3. make data parallel module # device_ids: 사용할 디바이스 리스트 / output_device: 출력값을 모을 디바이스 model = nn.DataParallel(model, device_ids=[0, 1, 2, 3], output_device=0) # 4. create optimizer and loss fn optimizer = Adam(model.parameters(), lr=3e-5) loss_fn = nn.CrossEntropyLoss(reduction="mean") # 5. start training for i, data in enumerate(data_loader): optimizer.zero_grad() tokens = tokenizer( data["premise"], data["hypothesis"], padding=True, truncation=True, max_length=512, return_tensors="pt", ) logits = model( input_ids=tokens.input_ids.cuda(), attention_mask=tokens.attention_mask.cuda(), return_dict=False, )[0] loss = loss_fn(logits, data["labels"].cuda()) loss.backward() optimizer.step() if i % 10 == 0: print(f"step:{i}, loss:{loss}") if i == 300: break # In[2]: get_ipython().system('python ../src/data_parallel.py') # ![](../images/dp_training.png) # # Multi-GPU에서 학습이 잘 되는군요. 그런데 문제는 0번 GPU에 Logits이 쏠리다보니 GPU 메모리 불균형 문제가 일어납니다. 이러한 문제는 0번 device로 Logits이 아닌 Loss를 Gather하는 방식으로 변경하면 어느정도 완화시킬 수 있습니다. Logits에 비해 Loss는 Scalar이기 때문에 크기가 훨씬 작기 때문이죠. 이 작업은 [당근마켓 블로그](https://medium.com/daangn/pytorch-multi-gpu-%ED%95%99%EC%8A%B5-%EC%A0%9C%EB%8C%80%EB%A1%9C-%ED%95%98%EA%B8%B0-27270617936b)에 소개되었던 [PyTorch-Encoding](https://github.com/zhanghang1989/PyTorch-Encoding)의 `DataParallelCriterion`과 동일합니다. 블로그에 꽤나 복잡하게 설명되어 있는데, 복잡한 방법 대신 간단하게 **forward 함수를 오버라이드 하는 것** 만으로 동일 기능을 쉽게 구현 할 수 있습니다. # # ![](../images/dp_forward_2.png) # #
# # 핵심은 Loss Computation과 Loss가 reduction을 multi-thread 안에서 작동 시키는 것입니다. 모델의 forward 함수는 multi-thread에서 작동되고 있기 때문에 Loss Computation 부분을 forward 함수 안에 넣으면 매우 쉽게 구현할 수 있겠죠. # # 한가지 특이한 점은 이렇게 구현하면 Loss의 reduction이 2번 일어나게 되는데요. multi-thread에서 batch_size//4개에서 4개로 reduction 되는 과정(그림에서 4번)이 한번 일어나고, 각 디바이스에서 출력된 4개의 Loss를 1개로 Reduction 하는 과정(그림에서 5번)이 다시 일어나게 됩니다. 그렇다고 하더라도 Loss computation 부분을 병렬화 시킬 수 있고, 0번 GPU에 가해지는 메모리 부담이 적기 때문에 훨씬 효율적이죠. # In[ ]: """ src/custom_data_parallel.py """ from torch import nn # logits을 출력하는 일반적인 모델 class Model(nn.Module): def __init__(self): super().__init__() self.linear = nn.Linear(768, 3) def forward(self, inputs): outputs = self.linear(inputs) return outputs # forward pass에서 loss를 출력하는 parallel 모델 class ParallelLossModel(Model): def __init__(self): super().__init__() def forward(self, inputs, labels): logits = super(ParallelLossModel, self).forward(inputs) loss = nn.CrossEntropyLoss(reduction="mean")(logits, labels) return loss # 운이 좋게도 우리가 자주 사용하는 Huggingface Transformers 모델들은 forward pass에서 곧 바로 Loss를 구하는 기능을 내장하고 있습니다. 따라서 이러한 과정 없이 transformers의 기능을 이용하여 진행하겠습니다. 아래의 코드는 Transformers 모델의 `labels`인자에 라벨을 입력하여 Loss를 바로 출력합니다. # In[ ]: """ src/efficient_data_parallel.py """ # 1 ~ 4까지 생략... # 5. start training for i, data in enumerate(data_loader): optimizer.zero_grad() tokens = tokenizer( data["premise"], data["hypothesis"], padding=True, truncation=True, max_length=512, return_tensors="pt", ) loss = model( input_ids=tokens.input_ids.cuda(), attention_mask=tokens.attention_mask.cuda(), labels=data["labels"], ).loss loss = loss.mean() # (4,) -> (1,) loss.backward() optimizer.step() if i % 10 == 0: print(f"step:{i}, loss:{loss}") if i == 300: break # In[3]: get_ipython().system('python ../src/efficient_data_parallel.py') # #
# # ## 2. `torch.nn.DataParallel`의 문제점 # # # ### 1) 멀티쓰레드 모듈이기 때문에 Python에서 비효율적임. # Python은 GIL (Global Interpreter Lock)에 의해 하나의 프로세스에서 동시에 여러개의 쓰레드가 작동 할 수 없습니다. 따라서 근본적으로 멀티 쓰레드가 아닌 **멀티 프로세스 프로그램**으로 만들어서 여러개의 프로세스를 동시에 실행하게 해야합니다. # #
# # ### 2) 하나의 모델에서 업데이트 된 모델이 다른 device로 매 스텝마다 복제되어야 함. # 현재의 방식은 각 디바이스에서 계산된 Gradient를 하나의 디바이스로 모아서(Gather) 업데이트 하는 방식이기 때문에 업데이트된 모델을 매번 다른 디바이스들로 복제(Broadcast)해야 하는데, 이 과정이 꽤나 비쌉니다. 그러나 Gradient를 Gather하지 않고 각 디바이스에서 자체적으로 `step()`을 수행한다면 모델을 매번 복제하지 않아도 되겠죠. 어떻게 이 것을 구현 할 수 있을까요? # #
# # ### Solution? ➝ All-reduce!! 👍 # ![](../images/allreduce.png) # # 정답은 앞서 배웠던 All-reduce 연산입니다. 각 디바이스에서 계산된 Gradients를 모두 더해서 모든 디바이스에 균일하게 뿌려준다면 각 디바이스에서 자체적으로 `step()`을 수행 할 수 있습니다. 그러면 매번 모델을 특정 디바이스로부터 복제해 올 필요가 없겠죠. 따라서 All-reduce를 활용하는 방식으로 기존 방식을 개선해야 합니다. # #
# # ### 그러나... 🤔 # 그러나 All-reduce는 매우 비용이 높은 연산에 속합니다. 왜 그럴까요? All-reduce의 세부 구현을 살펴봅시다. # #
# # ### Reduce + Broadcast 구현 방식 # ![](../images/allreduce_1.png) # #
# # ### All to All 구현 방식 # ![](../images/allreduce_2.png) # #

# ## 3. `torch.nn.parallel.DistributedDataParallel` (이하 DDP) # # ### Ring All-reduce 💍 # Ring All-reduce는 2017년에 바이두의 연구진이 개발한 새로운 연산입니다. 기존의 방식들에 비해 월등히 효율적인 성능을 보여줬기 때문에 DDP 개발의 핵심이 되었죠. # # - https://github.com/baidu-research/baidu-allreduce # # ![](../images/ring_allreduce.gif) # #
# # ![](../images/ring_allreduce.png) # #
# # ### DDP란? # DDP는 기존 DataParallel의 문제를 개선하기 위해 등장한 데이터 병렬처리 모듈이며 single/multi-node & multi-GPU에서 동작하는 multi-process 모듈입니다. All-reduce를 활용하게 되면서 마스터 프로세스의 개념이 없어졌기 때문에 학습 과정이 매우 심플하게 변합니다. # # ![](../images/ddp.png) # #
# # In[ ]: """ src/ddp.py """ import torch import torch.distributed as dist from torch.nn.parallel import DistributedDataParallel from torch.optim import Adam from torch.utils.data import DataLoader, DistributedSampler from transformers import BertForSequenceClassification, BertTokenizer from datasets import load_dataset # 1. initialize process group dist.init_process_group("nccl") rank = dist.get_rank() world_size = dist.get_world_size() torch.cuda.set_device(rank) device = torch.cuda.current_device() # 2. create dataset datasets = load_dataset("multi_nli").data["train"] datasets = [ { "premise": str(p), "hypothesis": str(h), "labels": l.as_py(), } for p, h, l in zip(datasets[2], datasets[5], datasets[9]) ] # 3. create DistributedSampler # DistributedSampler는 데이터를 쪼개서 다른 프로세스로 전송하기 위한 모듈입니다. sampler = DistributedSampler( datasets, num_replicas=world_size, rank=rank, shuffle=True, ) data_loader = DataLoader( datasets, batch_size=32, num_workers=4, sampler=sampler, shuffle=False, pin_memory=True, ) # 4. create model and tokenizer model_name = "bert-base-cased" tokenizer = BertTokenizer.from_pretrained(model_name) model = BertForSequenceClassification.from_pretrained(model_name, num_labels=3).cuda() # 5. make distributed data parallel module model = DistributedDataParallel(model, device_ids=[device], output_device=device) # 5. create optimizer optimizer = Adam(model.parameters(), lr=3e-5) # 6. start training for i, data in enumerate(data_loader): optimizer.zero_grad() tokens = tokenizer( data["premise"], data["hypothesis"], padding=True, truncation=True, max_length=512, return_tensors="pt", ) loss = model( input_ids=tokens.input_ids.cuda(), attention_mask=tokens.attention_mask.cuda(), labels=data["labels"], ).loss loss.backward() optimizer.step() if i % 10 == 0 and rank == 0: print(f"step:{i}, loss:{loss}") if i == 300: break # 멀티프로세스 애플리케이션이기 때문에 `torch.distributed.launch`를 사용합니다. # In[2]: get_ipython().system('python -m torch.distributed.launch --nproc_per_node=4 ../src/ddp.py') # ### 그런데 잠깐, All-reduce를 언제 수행하는게 좋을까요? # - All-reduce를 `backward()`연산과 함께 하는게 좋을까요? # - 아니면 `backward()`가 모두 끝나고 `step()` 시작 전에 하는게 좋을까요? # # ![](../images/ddp_analysis_1.png) # #
# # ### 결과적으로 `backward()`와 `all-reduce`를 중첩시키는 것이 좋습니다. # # 결과적으로 `backward()`와 `all-reduce`를 중첩시키는 것이 가장 효율적인 방식입니다. `all_reduce`는 네트워크 통신, `backward()`, `step()` 등은 GPU 연산이기 때문에 동시에 처리할 수 있죠. 이들을 중첩시키면 즉, computation과 communication이 최대한으로 overlap 되기 때문에 연산 효율이 크게 증가합니다. # # ![](../images/ddp_analysis_2.png) # #
# # 분석 결과 `backward()`와 `step()`을 비교해보면 `backward()`가 훨씬 무거운 연산이였습니다. # # ![](../images/ddp_analysis_3.png) # #
# # 당연히 더 무거운 연산을 중첩시킬 수록 전체 학습 과정을 수행하는 시간이 짧아집니다. 분석 결과 `backward()`가 끝날때 까지 기다리는 것 보다 `all-reduce`를 함께 수행하는 것이 훨씬 빨랐습니다. # # ![](../images/ddp_analysis_4.png) # #
# # ### 이 때, 생길 수 있는 궁금증들... # - Q1: `backward()` 연산 중에 Gradient가 모두 계산되지 않았는데 어떻게 `all-reduce`를 수행합니까? # - A1: `backward()`는 뒤쪽 레이어부터 순차적으로 이루어지기 때문에 계산이 끝난 레이어 먼저 전송하면 됩니다. # #
# # - Q2: 그렇다면 언제마다 `all-reduce`를 수행하나요? 레이어마다 이루어지나요? # - A2: 아닙니다. Gradient Bucketing을 수행합니다. Bucket이 가득차면 All-reduce를 수행합니다. # #
# # ### Gradient Bucekting # Gradient Bucekting는 Gradient를 일정한 사이즈의 bucket에 저장해두고 가득차면 다른 프로세스로 전송하는 방식입니다. 가장 먼저 `backward()` 연산 도중 뒤쪽부터 계산된 Gradient들을 차례대로 bucket에 저장하다가 bucket의 용량이 가득차면 All-reduce를 수행해서 각 device에 Gradient의 합을 전달합니다. 그림 때문에 헷갈릴 수도 있는데, bucket에 저장되는 것은 모델의 파라미터가 아닌 해당 레이어에서 출력된 Gradient입니다. 모든 bucket은 일정한 사이즈를 가지고 있으며 `bucket_size_mb` 인자를 통해 mega-byte 단위로 용량을 설정 할 수 있습니다. # # ![](../images/ddp_analysis_5.png) #