概述¶
TensorDict 使得组织数据和编写可重用的、通用的 PyTorch 代码变得容易。最初为 TorchRL 开发,我们已将其分离为一个独立的库。
TensorDict 主要是一个字典,但也是一个类似张量的类:它支持多种与形状和存储相关的张量操作。它被设计为可以高效地在节点之间或进程之间序列化或传输。最后,它附带了自己的 tensordict.nn
模块,该模块与 functorch
兼容,旨在使模型集成和参数操作更加容易。
在本页中,我们将介绍TensorDict
的动机,并提供一些它可以做什么的示例。
动机¶
TensorDict 允许您编写可跨范式重用的通用代码模块。例如,以下循环可以在大多数 SL、SSL、UL 和 RL 任务中重复使用。
>>> for i, tensordict in enumerate(dataset):
... # the model reads and writes tensordicts
... tensordict = model(tensordict)
... loss = loss_module(tensordict)
... loss.backward()
... optimizer.step()
... optimizer.zero_grad()
通过其tensordict.nn
模块,该包提供了许多工具,可以在代码库中轻松使用TensorDict
。
在多处理或分布式设置中,tensordict
允许您无缝地将数据分发给每个工作进程:
>>> # creates batches of 10 datapoints
>>> splits = torch.arange(tensordict.shape[0]).split(10)
>>> for worker in range(workers):
... idx = splits[worker]
... pipe[worker].send(tensordict[idx])
TensorDict 提供的一些操作也可以通过 tree_map 完成,但复杂度更高:
>>> td = TensorDict(
... {"a": torch.randn(3, 11), "b": torch.randn(3, 3)}, batch_size=3
... )
>>> regular_dict = {"a": td["a"], "b": td["b"]}
>>> td0, td1, td2 = td.unbind(0)
>>> # similar structure with pytree
>>> regular_dicts = tree_map(lambda x: x.unbind(0))
>>> regular_dict1, regular_dict2, regular_dict3 = [
... {"a": regular_dicts["a"][i], "b": regular_dicts["b"][i]}
... for i in range(3)]
嵌套的情况更加引人注目:
>>> td = TensorDict(
... {"a": {"c": torch.randn(3, 11)}, "b": torch.randn(3, 3)}, batch_size=3
... )
>>> regular_dict = {"a": {"c": td["a", "c"]}, "b": td["b"]}
>>> td0, td1, td2 = td.unbind(0)
>>> # similar structure with pytree
>>> regular_dicts = tree_map(lambda x: x.unbind(0))
>>> regular_dict1, regular_dict2, regular_dict3 = [
... {"a": {"c": regular_dicts["a"]["c"][i]}, "b": regular_dicts["b"][i]}
... for i in range(3)
在使用pytree时,如果在应用unbind操作后,将输出字典分解为三个结构相似的字典,很快就会变得非常繁琐。使用tensordict,我们为希望解绑或拆分嵌套结构的用户提供了一个简单的API,而不是计算嵌套的拆分/解绑嵌套结构。
功能¶
一个TensorDict
是一个类似字典的张量容器。要实例化一个TensorDict
,你必须指定键值对以及批量大小。TensorDict
中任何值的前导维度必须与批量大小兼容。
>>> import torch
>>> from tensordict import TensorDict
>>> tensordict = TensorDict(
... {"zeros": torch.zeros(2, 3, 4), "ones": torch.ones(2, 3, 4, 5)},
... batch_size=[2, 3],
... )
设置或检索值的语法与常规字典非常相似。
>>> zeros = tensordict["zeros"]
>>> tensordict["twos"] = 2 * torch.ones(2, 3)
还可以沿着其batch_size索引一个tensordict,这使得只需几个字符即可获得一致的数据切片(请注意,使用tree_map和省略号索引前n个主要维度需要更多的编码):
>>> sub_tensordict = tensordict[..., :2]
也可以使用带有inplace=True
的set方法或set_
方法来就地更新内容。
前者是后者的容错版本:如果未找到匹配的键,它将写入一个新的键。
现在可以集体操作TensorDict的内容。 例如,要将所有内容放置到特定设备上,只需执行以下操作
>>> tensordict = tensordict.to("cuda:0")
要重塑批次维度,可以这样做
>>> tensordict = tensordict.reshape(6)
该类支持许多其他操作,包括squeeze、unsqueeze、view、permute、unbind、stack、cat等。如果某个操作不存在,TensorDict.apply方法通常会提供所需的解决方案。
命名维度¶
TensorDict 及相关类也支持维度名称。 名称可以在构建时指定,也可以在之后进行细化。其语义与 torch.Tensor 的维度名称功能类似:
>>> tensordict = TensorDict({}, batch_size=[3, 4], names=["a", None])
>>> tensordict.refine_names(..., "b")
>>> tensordict.names = ["z", "y"]
>>> tensordict.rename("m", "n")
>>> tensordict.rename(m="h")
嵌套的TensorDicts¶
TensorDict
中的值本身可以是 TensorDicts(下面示例中的嵌套字典将被转换为嵌套的 TensorDicts)。
>>> tensordict = TensorDict(
... {
... "inputs": {
... "image": torch.rand(100, 28, 28),
... "mask": torch.randint(2, (100, 28, 28), dtype=torch.uint8)
... },
... "outputs": {"logits": torch.randn(100, 10)},
... },
... batch_size=[100],
... )
访问或设置嵌套键可以使用字符串元组来完成
>>> image = tensordict["inputs", "image"]
>>> logits = tensordict.get(("outputs", "logits")) # alternative way to access
>>> tensordict["outputs", "probabilities"] = torch.sigmoid(logits)
惰性求值¶
对TensorDict
的一些操作会延迟执行,直到访问项目。例如,堆叠、压缩、解压缩、排列批次维度和创建视图不会立即在TensorDict
的所有内容上执行。相反,当访问TensorDict
中的值时,它们会延迟执行。如果TensorDict
包含许多值,这可以节省大量不必要的计算。
>>> tensordicts = [TensorDict({
... "a": torch.rand(10),
... "b": torch.rand(10, 1000, 1000)}, [10])
... for _ in range(3)]
>>> stacked = torch.stack(tensordicts, 0) # no stacking happens here
>>> stacked_a = stacked["a"] # we stack the a values, b values are not stacked
它还有一个优势,我们可以在堆栈中操作原始的tensordicts:
>>> stacked["a"] = torch.zeros_like(stacked["a"])
>>> assert (tensordicts[0]["a"] == 0).all()
需要注意的是,get方法现在变成了一个昂贵的操作,如果重复多次,可能会导致一些开销。可以通过在执行stack后简单地调用tensordict.contiguous()来避免这种情况。为了进一步缓解这个问题,TensorDict自带了一个元数据类(MetaTensor),它跟踪字典中每个条目的类型、形状、dtype和设备,而无需执行昂贵的操作。
延迟预分配¶
假设我们有一些函数 foo() -> TensorDict,并且我们执行了以下操作:
>>> tensordict = TensorDict({}, batch_size=[N])
>>> for i in range(N):
... tensordict[i] = foo()
当 i == 0
时,空的 TensorDict
将自动填充为批大小为 N 的空张量。在循环的后续迭代中,所有更新都将就地写入。
TensorDict模块¶
为了使TensorDict
更容易集成到代码库中,我们提供了一个tensordict.nn包,允许用户将TensorDict
实例传递给nn.Module
对象。
TensorDictModule
包装了 nn.Module
并接受一个 TensorDict
作为输入。您可以指定底层模块应从何处获取输入,以及它应将输出写入何处。这是我们能够编写可重用、通用的高级代码(如动机部分中的训练循环)的关键原因。
>>> from tensordict.nn import TensorDictModule
>>> class Net(nn.Module):
... def __init__(self):
... super().__init__()
... self.linear = nn.LazyLinear(1)
...
... def forward(self, x):
... logits = self.linear(x)
... return logits, torch.sigmoid(logits)
>>> module = TensorDictModule(
... Net(),
... in_keys=["input"],
... out_keys=[("outputs", "logits"), ("outputs", "probabilities")],
... )
>>> tensordict = TensorDict({"input": torch.randn(32, 100)}, [32])
>>> tensordict = module(tensordict)
>>> # outputs can now be retrieved from the tensordict
>>> logits = tensordict["outputs", "logits"]
>>> probabilities = tensordict.get(("outputs", "probabilities"))
为了便于采用这个类,也可以将张量作为kwargs传递:
>>> tensordict = module(input=torch.randn(32, 100))
这将返回一个与前面代码框中相同的TensorDict
。
多个PyTorch用户的一个关键痛点是无法使用nn.Sequential处理具有多个输入的模块。使用基于键的图可以轻松解决这个问题,因为序列中的每个节点都知道需要读取什么数据以及在哪里写入。
为此,我们提供了TensorDictSequential
类,它通过一系列TensorDictModules
传递数据。序列中的每个模块从原始的TensorDict
中获取输入,并将其输出写入原始的TensorDict
,这意味着序列中的模块可以忽略其前驱的输出,或者根据需要从tensordict中获取额外的输入。以下是一个示例。
>>> class Net(nn.Module):
... def __init__(self, input_size=100, hidden_size=50, output_size=10):
... super().__init__()
... self.fc1 = nn.Linear(input_size, hidden_size)
... self.fc2 = nn.Linear(hidden_size, output_size)
...
... def forward(self, x):
... x = torch.relu(self.fc1(x))
... return self.fc2(x)
...
... class Masker(nn.Module):
... def forward(self, x, mask):
... return torch.softmax(x * mask, dim=1)
>>> net = TensorDictModule(
... Net(), in_keys=[("input", "x")], out_keys=[("intermediate", "x")]
... )
>>> masker = TensorDictModule(
... Masker(),
... in_keys=[("intermediate", "x"), ("input", "mask")],
... out_keys=[("output", "probabilities")],
... )
>>> module = TensorDictSequential(net, masker)
>>> tensordict = TensorDict(
... {
... "input": TensorDict(
... {"x": torch.rand(32, 100), "mask": torch.randint(2, size=(32, 10))},
... batch_size=[32],
... )
... },
... batch_size=[32],
... )
>>> tensordict = module(tensordict)
>>> intermediate_x = tensordict["intermediate", "x"]
>>> probabilities = tensordict["output", "probabilities"]
在这个例子中,第二个模块将第一个模块的输出与存储在TensorDict
中的(“inputs”, “mask”)下的掩码结合起来。
TensorDictSequential
提供了许多其他功能:可以通过查询 in_keys 和 out_keys 属性来访问输入和输出键的列表。还可以通过使用所需的输入和输出键集查询 select_subsequence()
来请求子图。这将返回另一个 TensorDictSequential
,其中仅包含满足这些要求所必需的模块。TensorDictModule
也与 vmap
和其他 functorch
功能兼容。
函数式编程¶
我们提供了一个API来结合使用TensorDict
和functorch
。例如,TensorDict
使得连接模型权重以进行模型集成变得容易:
>>> from torch import nn
>>> from tensordict import TensorDict
>>> from tensordict.nn import make_functional
>>> import torch
>>> from torch import vmap
>>> layer1 = nn.Linear(3, 4)
>>> layer2 = nn.Linear(4, 4)
>>> model = nn.Sequential(layer1, layer2)
>>> # we represent the weights hierarchically
>>> weights1 = TensorDict(layer1.state_dict(), []).unflatten_keys(separator=".")
>>> weights2 = TensorDict(layer2.state_dict(), []).unflatten_keys(separator=".")
>>> params = make_functional(model)
>>> # params provided by make_functional match state_dict:
>>> assert (params == TensorDict({"0": weights1, "1": weights2}, [])).all()
>>> # Let's use our functional module
>>> x = torch.randn(10, 3)
>>> out = model(x, params=params) # params is the last arg (or kwarg)
>>> # an ensemble of models: we stack params along the first dimension...
>>> params_stack = torch.stack([params, params], 0)
>>> # ... and use it as an input we'd like to pass through the model
>>> y = vmap(model, (None, 0))(x, params_stack)
>>> print(y.shape)
torch.Size([2, 10, 4])
功能API即使不比当前在functorch
中实现的FunctionalModule
快,也至少是相当的。