PetscDeviceGetDeviceId#

Get the device ID for a PetscDevice

Synopsis#

#include <petscdevice.h> 
PetscErrorCode PetscDeviceGetDeviceId(PetscDevice device, PetscInt *id)

Not Collective

Input Parameter#

Output Parameter#

  • id - The id

Notes#

The returned ID may have been assigned by the underlying device backend. For example if the backend is CUDA then id is exactly the value returned by cudaGetDevice() at the time when this device was configured.

See Also#

PetscDevice, PetscDeviceCreate(), PetscDeviceGetType()

Level#

beginner

Location#

src/sys/objects/device/interface/device.cxx

Edit on GitLab

Index of all Sys routines
Table of Contents for all manual pages
Index of all manual pages