from typing import List, Union, Callable, Any from contextlib import nullcontext from itertools import repeat from collections import UserDict import logging import torch from torch import nn, Tensor from torch.cuda.amp import GradScaler, autocast from src.grad_cache.context_managers import RandContext logger = logging.getLogger(__name__) class GradCache: """ Gradient Cache class. Implements input chunking, first graph-less forward pass, Gradient Cache creation, second forward & backward gradient computation. Optimizer step is not included. Native torch automatic mixed precision is supported. User needs to handle gradient unscaling and scaler update after a gradeitn cache step. """ def __init__( self, models: List[nn.Module], chunk_sizes: Union[int, List[int]], loss_fn: Callable[..., Tensor], split_input_fn: Callable[[Any, int], Any] = None, get_rep_fn: Callable[..., Tensor] = None, fp16: bool = False, scaler: GradScaler = None, process_fn: Callable = None, ): """ Initialize the Gradient Cache class instance. :param models: A list of all encoder models to be updated by the current cache. :param chunk_sizes: An integer indicating chunk size. Or a list of integers of chunk size for each model. :param loss_fn: A loss function that takes arbitrary numbers of representation tensors and arbitrary numbers of keyword arguments as input. It should not in any case modify the input tensors' relations in the autograd graph, which are later relied upon to create the gradient cache. :param split_input_fn: An optional function that split generic model input into chunks. If not provided, this class will try its best to split the inputs of supported types. See `split_inputs` function. :param get_rep_fn: An optional function that takes generic model output and return representation tensors. If not provided, the generic output is assumed to be the representation tensor. :param fp16: If True, run mixed precision training, which requires scaler to also be set. :param scaler: A GradScaler object for automatic mixed precision training. """ self.models = models if isinstance(chunk_sizes, int): self.chunk_sizes = [chunk_sizes for _ in range(len(models))] else: self.chunk_sizes = chunk_sizes self.split_input_fn = split_input_fn self.process_fn = process_fn self.get_rep_fn = get_rep_fn self.loss_fn = loss_fn if fp16: assert scaler is not None, "mixed precision training requires a gradient scaler passed in" self.fp16 = fp16 self.scaler = scaler self._get_input_tensors_strict = False def _is_ddp(self, model: nn.Module) -> bool: return isinstance(model, nn.parallel.DistributedDataParallel) def __call__(self, *args, **kwargs): """ Call the cache_step function. :return: Current step loss. """ return self.cache_step(*args, **kwargs) def split_inputs(self, model_input, chunk_size: int) -> List: """ Split input into chunks. Will call user provided `split_input_fn` if specified. Otherwise, it can handle input types of tensor, list of tensors and dictionary of tensors. :param model_input: Generic model input. :param chunk_size: Size of each chunk. :return: A list of chunked model input. """ # delegate splitting to user provided function if self.split_input_fn is not None: return self.split_input_fn(model_input, chunk_size) if isinstance(model_input, (dict, UserDict)) and all(isinstance(x, Tensor) for x in model_input.values()): keys = list(model_input.keys()) chunked_tensors = [model_input[k].split(chunk_size, dim=0) for k in keys] return [dict(zip(kk, tt)) for kk, tt in zip(repeat(keys), zip(*chunked_tensors))] elif isinstance(model_input, list) and all(isinstance(x, Tensor) for x in model_input): chunked_x = [t.split(chunk_size, dim=0) for t in model_input] return [list(s) for s in zip(*chunked_x)] elif isinstance(model_input, Tensor): return list(model_input.split(chunk_size, dim=0)) elif isinstance(model_input, tuple) and list(map(type, model_input)) == [list, dict]: args_chunks = self.split_inputs(model_input[0], chunk_size) kwargs_chunks = self.split_inputs(model_input[1], chunk_size) return list(zip(args_chunks, kwargs_chunks)) else: raise NotImplementedError(f'Model input split not implemented for type {type(model_input)}') def get_input_tensors(self, model_input) -> List[Tensor]: """ Recursively go through model input and grab all tensors, which are then used to record current device random states. This method will do its best to parse types of Tensor, tuple, list, dict and UserDict. Other types will be ignored unless self._get_input_tensors_strict is set to True, in which case an exception will be raised. :param model_input: input to model :return: all torch tensors in model_input """ if isinstance(model_input, Tensor): return [model_input] elif isinstance(model_input, (list, tuple)): return sum((self.get_input_tensors(x) for x in model_input), []) elif isinstance(model_input, (dict, UserDict)): return sum((self.get_input_tensors(x) for x in model_input.values()), []) elif self._get_input_tensors_strict: raise NotImplementedError(f'get_input_tensors not implemented for type {type(model_input)}') else: return [] def model_call(self, model: nn.Module, model_input): """ Literally call the model's __call__ method. :param model: model to be called :param model_input: input to the model call :return: model output """ with autocast() if self.fp16 else nullcontext(): if isinstance(model_input, Tensor): return model(model_input) elif isinstance(model_input, list): return model(*model_input) elif isinstance(model_input, (dict, UserDict)): return model(**model_input) elif isinstance(model_input, tuple) and list(map(type, model_input)) == [list, dict]: model_args, model_kwargs = model_input return model(*model_args, **model_kwargs) else: raise NotImplementedError def get_reps(self, model_out) -> Tensor: """ Return representation tensor from generic model output :param model_out: generic model output :return: a single tensor corresponding to the model representation output """ if self.get_rep_fn is not None: return self.get_rep_fn(model_out) else: return model_out def compute_loss(self, *reps: Tensor, **loss_kwargs) -> Tensor: """ Compute the loss based on the representation tensors. The tensors should be ordered same as the list of models registered in this GradCache class instance. :param reps: Representations for computing the loss. :param loss_kwargs: Keyword arguments input to the loss function. :return: the loss tensor. """ loss = self.loss_fn(*reps, **loss_kwargs) return loss def forward_no_grad( self, model: nn.Module, model_inputs, ) -> [Tensor, List[RandContext]]: """ The first forward pass without gradient computation. :param model: Encoder model. :param model_inputs: Model input already broken into chunks. :return: A tuple of a) representations and b) recorded random states. """ rnd_states = [] model_reps = [] with torch.no_grad(): for x in model_inputs: rnd_states.append(RandContext(*self.get_input_tensors(x))) y = self.model_call(model, x) model_reps.append(self.get_reps(y)) # concatenate all sub-batch representations model_reps = torch.cat(model_reps, dim=0) return model_reps, rnd_states def build_cache(self, *reps: Tensor, **loss_kwargs) -> [List[Tensor], Tensor]: """ Compute the gradient cache :param reps: Computed representations from all encoder models :param loss_kwargs: Extra keyword arguments to the loss function :return: A tuple of a) gradient cache for each encoder model, and b) loss tensor """ reps = [r.detach().requires_grad_() for r in reps] with autocast() if self.fp16 else nullcontext(): loss = self.compute_loss(*reps, **loss_kwargs) if self.fp16: self.scaler.scale(loss).backward() else: loss.backward() cache = [r.grad for r in reps] return cache, loss.detach() def forward_backward( self, model: nn.Module, model_inputs, cached_gradients: List[Tensor], random_states: List[RandContext], no_sync_except_last: bool = False ): """ Run the second forward and the backward pass to compute gradient for a model. - 在 DDP 且 no_sync_except_last=True 时,前 n-1 个子批使用 model.no_sync();否则使用 nullcontext - 非 DDP 场景自动退化为 nullcontext """ num_chunks = len(model_inputs) for i, (x, state, gradient) in enumerate(zip(model_inputs, random_states, cached_gradients)): use_no_sync = (no_sync_except_last and i < (num_chunks - 1) and self._is_ddp(model)) ctx = model.no_sync() if use_no_sync else nullcontext() with ctx: with state: y = self.model_call(model, x) reps = self.get_reps(y) surrogate = torch.dot(reps.flatten(), gradient.flatten()) surrogate.backward() def cache_step( self, *model_inputs, no_sync_except_last: bool = False, **loss_kwargs ) -> Tensor: """ Run a cached step to compute gradient over the inputs. :param model_inputs: Input to each encoder model. Should be in similar order as the class's model. :param no_sync_except_last: If True, under distributed setup, for each model, only trigger gradient reduction across processes for the last sub-batch's forward-backward pass. :param loss_kwargs: Additional keyword arguments to the loss function. :return: The current's loss. """ all_reps = [] all_rnd_states = [] if no_sync_except_last: all_ddp = all(self._is_ddp(m) for m in self.models) if not all_ddp: logger.warning( "GradCache: no_sync_except_last=True but some/all models are not DDP; " "disabling no_sync for this step." ) no_sync_except_last = False model_inputs = [self.split_inputs(x, chunk_size) for x, chunk_size in zip(model_inputs, self.chunk_sizes)] if self.process_fn: # each minibatch -> self.process_fn(minibatch) _model_inputs = [] for arg_group in model_inputs: _arg_groups = [] for key2val_dict in arg_group: _key2val_dict = {} for arg_key, arg_val in key2val_dict.items(): _key2val_dict[arg_key] = self.process_fn(arg_val) _arg_groups.append(_key2val_dict) _model_inputs.append(_arg_groups) model_inputs = _model_inputs for model, x in zip(self.models, model_inputs): model_reps, rnd_states = self.forward_no_grad(model, x) all_reps.append(model_reps) all_rnd_states.append(rnd_states) cache, loss = self.build_cache(*all_reps, **loss_kwargs) cache = [c.split(chunk_size) for c, chunk_size in zip(cache, self.chunk_sizes)] for model, x, model_cache, rnd_states in zip( self.models, model_inputs, cache, all_rnd_states): self.forward_backward(model, x, model_cache, rnd_states, no_sync_except_last=no_sync_except_last) return loss