Improve description of device handling, add array.to_device

spec/API_specification/array_object.md

@@ -1138,3 +1138,24 @@ Evaluates `self_i ^ other_i` for each element of an array instance with the resp
 
 Element-wise results must equal the results returned by the equivalent element-wise function [`bitwise_xor(x1, x2)`](elementwise_functions.md#bitwise_xorx1-x2-).
 ```
+
+(method-to_device)=
+### to\_device(self, device, /)
+
+Move the array to the given device.
+
+#### Parameters
+
+-   **self**: _<array>_
+
+    -   array instance.
+
+-   **device**: _<device>_
+
+    -   a `device` object (see {ref}`device-support`).
+
+#### Returns
+
+-   **out**: _<array>_
+
+    -   an array with the same data and dtype, located on the specified device.

spec/design_topics/device_support.md

@@ -4,12 +4,15 @@
 
 For libraries that support execution on more than a single hardware device - e.g. CPU and GPU, or multiple GPUs - it is important to be able to control on which device newly created arrays get placed and where execution happens. Attempting to be fully implicit doesn't always scale well to situations with multiple GPUs.
 
-Existing libraries employ one or more of these three methods to exert such control:
+Existing libraries employ one or more of these three methods to exert such control over data placement:
+
 1. A global default device, which may be fixed or user-switchable.
 2. A context manager to control device assignment within its scope.
-3. Local control via explicit keywords and a method to transfer arrays to another device.
+3. Local control for data allocation target device via explicit keywords, and a method to transfer arrays to another device.
+
+Libraries differ in how execution is controlled, via a context manager or with the convention that execution takes place on the same device where all argument arrays are allocated. And they may or may not allow mixing arrays on different devices via implicit data transfers.
 
-This standard chooses to add support for method 3 (local control), because it's the most explicit and granular, with its only downside being verbosity. A context manager may be added in the future - see {ref}`device-out-of-scope` for details.
+This standard chooses to add support for method 3 (local control), with the convention that execution takes place on the same device where all argument arrays are allocated. The rationale for choosing method 3 is because it's the most explicit and granular, with its only downside being verbosity. A context manager may be added in the future - see {ref}`device-out-of-scope` for details.
 
 
 ## Intended usage