jax.experimental.shard_map.shard_map

jax.experimental.shard_map.shard_map(f, mesh, in_specs, out_specs, check_rep=True, auto=frozenset({}))

将函数映射到数据的分片上。

注意

shard_map 是一个实验性的 API，仍然可能发生变化。有关分片数据的介绍，请参阅 并行计算入门。有关使用 shard_map 的更深入了解，请参阅 使用 shard_map 实现 SPMD 多设备并行。

参数:

• f (Callable) – 要映射的可调用对象。f 的每次应用，或 f 的“实例”，将映射的参数的分片作为输入，并生成输出的分片。

• mesh (Mesh | AbstractMesh) – 一个 jax.sharding.Mesh，表示分片数据的设备阵列以及执行 f 实例的设备阵列。Mesh 的名称可以在 f 中的集体通信操作中使用。这通常由实用函数（如 jax.experimental.mesh_utils.create_device_mesh()）创建。

• in_specs (Specs) – 一个 pytree，其叶子节点为 PartitionSpec 实例，其树结构是要映射的参数元组的树前缀。类似于 NamedSharding，每个 PartitionSpec 表示相应的参数（或参数子树）应如何沿 mesh 的命名轴进行分片。在每个 PartitionSpec 中，在某个位置提及 mesh 轴名称表示沿该位置轴对相应的参数数组轴进行分片；不提及轴名称表示复制。如果参数或参数子树具有对应的 None 规范，则该参数不分片。

• out_specs (Specs) – 一个 pytree，其叶子节点为 PartitionSpec 实例，其树结构是 f 输出的树前缀。每个 PartitionSpec 表示应如何连接相应的输出分片。在每个 PartitionSpec 中，在某个位置提及 mesh 轴名称表示沿相应位置轴连接该 mesh 轴的分片。不提及 mesh 轴名称表示承诺输出值沿该 mesh 轴相等，并且不是连接，而是只应产生单个值。

• check_rep (bool) – 如果为 True（默认），则启用额外的有效性检查和自动微分优化。有效性检查关注的是未在 out_specs 中提及的任何 mesh 轴名称是否与 f 的输出的复制方式一致。如果在 f 中使用 Pallas 内核，则必须设置为 False。

• auto (frozenset[AxisName]) – （实验性）一个可选的 mesh 中的轴名称集合，我们不通过这些轴名称对数据进行分片或映射函数，而是允许编译器控制分片。这些名称不能在 in_specs、out_specs 或 f 中的通信集合中使用。

返回:

一个可调用对象，它根据 mesh 和 in_specs 在分片的数据上应用输入函数 f。

示例

有关示例，请参阅 并行计算入门 或 使用 shard_map 实现 SPMD 多设备并行。