jax.lax.gather

jax.lax.gather(operand, start_indices, dimension_numbers, slice_sizes, *, unique_indices=False, indices_are_sorted=False, mode=None, fill_value=None)

Gather 运算符。

包装 XLA 的 Gather 运算符。

gather() 是一个复杂的底层运算符，大多数 JAX 用户永远不需要直接调用它。相反，您应该更喜欢使用 Numpy 样式的索引，和/或 jax.numpy.ndarray.at()，可能与 jax.vmap() 结合使用。

参数:

• operand (ArrayLike) – 应该从中提取切片的数组

• start_indices (ArrayLike) – 应该提取切片的索引

• dimension_numbers (GatherDimensionNumbers) – 一个 lax.GatherDimensionNumbers 对象，描述了 operand、start_indices 和输出的维度如何相关。

• slice_sizes (Shape) – 每个切片的大小。必须是一个非负整数序列，其长度等于 ndim(operand)。

• indices_are_sorted (bool) – 是否已知 indices 已排序。如果为 true，可能会提高某些后端的性能。

• unique_indices (bool) – 是否保证从 operand 中收集的元素彼此不重叠。如果为 True，这可能会提高某些后端的性能。JAX 不会检查此承诺：如果元素重叠，则行为未定义。

• mode (str | GatherScatterMode | None) – 如何处理越界索引：当设置为 'clip' 时，索引将被钳制，以便切片在边界内；当设置为 'fill' 或 'drop' 时，gather 将返回一个充满 fill_value 的切片，用于受影响的切片。当设置为 'promise_in_bounds' 时，越界索引的行为是实现定义的。

• fill_value – 当 mode 为 'fill' 时，为越界切片返回的填充值。否则将被忽略。对于非精确类型，默认为 NaN；对于有符号类型，默认为最大的负值；对于无符号类型，默认为最大的正值；对于布尔值，默认为 True。

返回:

一个包含 gather 输出的数组。

返回类型:

数组

示例

如上所述，您基本上永远不应该直接使用 gather()，而是使用 NumPy 样式的索引表达式从数组中收集值。

例如，以下是如何使用直接索引语义提取特定索引处的值，这将降低到 XLA 的 Gather 运算符

>>> import jax.numpy as jnp
>>> x = jnp.array([10, 11, 12])
>>> indices = jnp.array([0, 1, 1, 2, 2, 2])

>>> x[indices]
Array([10, 11, 11, 12, 12, 12], dtype=int32)

为了控制 indices_are_sorted、unique_indices、mode 和 fill_value 等设置，您可以使用 jax.numpy.ndarray.at 语法

>>> x.at[indices].get(indices_are_sorted=True, mode="promise_in_bounds")
Array([10, 11, 11, 12, 12, 12], dtype=int32)

相比之下，这是使用 gather() 直接调用的等效函数，这不是典型用户需要做的

>>> from jax import lax
>>> lax.gather(x, indices[:, None], slice_sizes=(1,),
...            dimension_numbers=lax.GatherDimensionNumbers(
...                offset_dims=(),
...                collapsed_slice_dims=(0,),
...                start_index_map=(0,)),
...            indices_are_sorted=True,
...            mode=lax.GatherScatterMode.PROMISE_IN_BOUNDS)
Array([10, 11, 11, 12, 12, 12], dtype=int32)