如何在 jit 编译的 jax 代码中执行非整数索引算法？

Question

如果我们对数组索引执行非整数计算（然后转换为 int() ），似乎我们仍然无法将结果用作 jit 编译的 jax 代码中的有效索引。我们如何解决这个问题？

以下是一个最小示例。具体问题：命令 jnp.diag_indices(d) 是否可以在不向 fun()

传递额外参数的情况下运行

运行这在木星细胞中：

import jax.numpy as jnp
from jax import jit

@jit
def fun(t):
    d = jnp.sqrt(t.size**2)
    d = jnp.array(d,int)
    
    jnp.diag_indices(t.size)   # this line works
    jnp.diag_indices(d)        # this line breaks. Comment it out to see that d and t.size have the same dtype=int32 

    return t.size, d
    
fun(jnp.array([1,2]))

Answer 1

问题不在于 d 的类型，而是 d 是 jax 操作的结果，因此 traced一个 JIT 上下文。在 JAX 中，数组的形状和大小不能依赖于跟踪的数量，这就是您的代码导致错误的原因。

要解决此问题，一个有用的模式是使用 np 操作而不是 jnp 操作以确保 d 是静态的且未被跟踪：

import jax.numpy as jnp
from jax import jit

@jit
def fun(t):
    d = np.sqrt(t.size**2)
    d = np.array(d, int)
    
    jnp.diag_indices(t.size)
    jnp.diag_indices(d)

    return t.size, d
    
print(fun(jnp.array([1,2])))
# (DeviceArray(2, dtype=int32), DeviceArray(2, dtype=int32))

有关跟踪、静态值和类似主题的简要背景，How To Think In JAX 文档页面可能会有帮助。

如何在 jit 编译的 jax 代码中执行非整数索引算法？

How to perform non-integer index arithmetic in jit-compiled jax code?

python

jax