I'm reading JAX documentation on jax.local_devices and in it, it is written:
Like jax.devices(), but only returns devices local to a given process.
And in jax.devices() it is written:
Returns a list of all devices for a given backend.
I don't know what exactly are these local and non-local devices. Could you please elaborate on the difference between these?