ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cudaDeviceProp Struct Reference

#include <driver_types.h>

Public Attributes

char name [256]
 ASCII string identifying device.
size_t totalGlobalMem
 Global memory available on device in bytes.
size_t sharedMemPerBlock
 Shared memory available per block in bytes.
int regsPerBlock
 32-bit registers available per block
int warpSize
 Warp size in threads.
size_t memPitch
 Maximum pitch in bytes allowed by memory copies.
int maxThreadsPerBlock
 Maximum number of threads per block.
int maxThreadsDim [3]
 Maximum size of each dimension of a block.
int maxGridSize [3]
 Maximum size of each dimension of a grid.
int clockRate
 Clock frequency in kilohertz.
size_t totalConstMem
 Constant memory available on device in bytes.
int major
 Major compute capability.
int minor
 Minor compute capability.
size_t textureAlignment
 Alignment requirement for textures.
size_t texturePitchAlignment
 Pitch alignment requirement for texture references bound to pitched memory.
int deviceOverlap
 Device can concurrently copy memory and execute a kernel.
int multiProcessorCount
 Number of multiprocessors on device.
int kernelExecTimeoutEnabled
 Specified whether there is a run time limit on kernels.
int integrated
 Device is integrated as opposed to discrete.
int canMapHostMemory
 Device can map host memory with cudaHostAlloc/cudaHostGetDevicePointer.
int computeMode
 Compute mode (See ::cudaComputeMode).
int maxTexture1D
 Maximum 1D texture size.
int maxTexture1DMipmap
 Maximum 1D mipmapped texture size.
int maxTexture1DLinear
 Maximum size for 1D textures bound to linear memory.
int maxTexture2D [2]
 Maximum 2D texture dimensions.
int maxTexture2DMipmap [2]
 Maximum 2D mipmapped texture dimensions.
int maxTexture2DLinear [3]
 Maximum dimensions (width, height, pitch) for 2D textures bound to pitched memory.
int maxTexture2DGather [2]
 Maximum 2D texture dimensions if texture gather operations have to be performed.
int maxTexture3D [3]
 Maximum 3D texture dimensions.
int maxTexture3DAlt [3]
 Maximum alternate 3D texture dimensions.
int maxTextureCubemap
 Maximum Cubemap texture dimensions.
int maxTexture1DLayered [2]
 Maximum 1D layered texture dimensions.
int maxTexture2DLayered [3]
 Maximum 2D layered texture dimensions.
int maxTextureCubemapLayered [2]
 Maximum Cubemap layered texture dimensions.
int maxSurface1D
 Maximum 1D surface size.
int maxSurface2D [2]
 Maximum 2D surface dimensions.
int maxSurface3D [3]
 Maximum 3D surface dimensions.
int maxSurface1DLayered [2]
 Maximum 1D layered surface dimensions.
int maxSurface2DLayered [3]
 Maximum 2D layered surface dimensions.
int maxSurfaceCubemap
 Maximum Cubemap surface dimensions.
int maxSurfaceCubemapLayered [2]
 Maximum Cubemap layered surface dimensions.
size_t surfaceAlignment
 Alignment requirements for surfaces.
int concurrentKernels
 Device can possibly execute multiple kernels concurrently.
int ECCEnabled
 Device has ECC support enabled.
int pciBusID
 PCI bus ID of the device.
int pciDeviceID
 PCI device ID of the device.
int pciDomainID
 PCI domain ID of the device.
int tccDriver
 1 if device is a Tesla device using TCC driver, 0 otherwise
int asyncEngineCount
 Number of asynchronous engines.
int unifiedAddressing
 Device shares a unified address space with the host.
int memoryClockRate
 Peak memory clock frequency in kilohertz.
int memoryBusWidth
 Global memory bus width in bits.
int l2CacheSize
 Size of L2 cache in bytes.
int maxThreadsPerMultiProcessor
 Maximum resident threads per multiprocessor.
int streamPrioritiesSupported
 Device supports stream priorities.
int globalL1CacheSupported
 Device supports caching globals in L1.
int localL1CacheSupported
 Device supports caching locals in L1.
size_t sharedMemPerMultiprocessor
 Shared memory available per multiprocessor in bytes.
int regsPerMultiprocessor
 32-bit registers available per multiprocessor
int managedMemory
 Device supports allocating managed memory on this system.
int isMultiGpuBoard
 Device is on a multi-GPU board.
int multiGpuBoardGroupID
 Unique identifier for a group of devices on the same multi-GPU board.

Member Data Documentation

◆ asyncEngineCount

int cudaDeviceProp::asyncEngineCount

Number of asynchronous engines.

◆ canMapHostMemory

int cudaDeviceProp::canMapHostMemory

Device can map host memory with cudaHostAlloc/cudaHostGetDevicePointer.

◆ clockRate

int cudaDeviceProp::clockRate

Clock frequency in kilohertz.

◆ computeMode

int cudaDeviceProp::computeMode

Compute mode (See ::cudaComputeMode).

◆ concurrentKernels

int cudaDeviceProp::concurrentKernels

Device can possibly execute multiple kernels concurrently.

◆ deviceOverlap

int cudaDeviceProp::deviceOverlap

Device can concurrently copy memory and execute a kernel.

Deprecated. Use instead asyncEngineCount.

◆ ECCEnabled

int cudaDeviceProp::ECCEnabled

Device has ECC support enabled.

◆ globalL1CacheSupported

int cudaDeviceProp::globalL1CacheSupported

Device supports caching globals in L1.

◆ integrated

int cudaDeviceProp::integrated

Device is integrated as opposed to discrete.

◆ isMultiGpuBoard

int cudaDeviceProp::isMultiGpuBoard

Device is on a multi-GPU board.

◆ kernelExecTimeoutEnabled

int cudaDeviceProp::kernelExecTimeoutEnabled

Specified whether there is a run time limit on kernels.

◆ l2CacheSize

int cudaDeviceProp::l2CacheSize

Size of L2 cache in bytes.

◆ localL1CacheSupported

int cudaDeviceProp::localL1CacheSupported

Device supports caching locals in L1.

◆ major

int cudaDeviceProp::major

Major compute capability.

◆ managedMemory

int cudaDeviceProp::managedMemory

Device supports allocating managed memory on this system.

◆ maxGridSize

int cudaDeviceProp::maxGridSize[3]

Maximum size of each dimension of a grid.

◆ maxSurface1D

int cudaDeviceProp::maxSurface1D

Maximum 1D surface size.

◆ maxSurface1DLayered

int cudaDeviceProp::maxSurface1DLayered[2]

Maximum 1D layered surface dimensions.

◆ maxSurface2D

int cudaDeviceProp::maxSurface2D[2]

Maximum 2D surface dimensions.

◆ maxSurface2DLayered

int cudaDeviceProp::maxSurface2DLayered[3]

Maximum 2D layered surface dimensions.

◆ maxSurface3D

int cudaDeviceProp::maxSurface3D[3]

Maximum 3D surface dimensions.

◆ maxSurfaceCubemap

int cudaDeviceProp::maxSurfaceCubemap

Maximum Cubemap surface dimensions.

◆ maxSurfaceCubemapLayered

int cudaDeviceProp::maxSurfaceCubemapLayered[2]

Maximum Cubemap layered surface dimensions.

◆ maxTexture1D

int cudaDeviceProp::maxTexture1D

Maximum 1D texture size.

◆ maxTexture1DLayered

int cudaDeviceProp::maxTexture1DLayered[2]

Maximum 1D layered texture dimensions.

◆ maxTexture1DLinear

int cudaDeviceProp::maxTexture1DLinear

Maximum size for 1D textures bound to linear memory.

◆ maxTexture1DMipmap

int cudaDeviceProp::maxTexture1DMipmap

Maximum 1D mipmapped texture size.

◆ maxTexture2D

int cudaDeviceProp::maxTexture2D[2]

Maximum 2D texture dimensions.

◆ maxTexture2DGather

int cudaDeviceProp::maxTexture2DGather[2]

Maximum 2D texture dimensions if texture gather operations have to be performed.

◆ maxTexture2DLayered

int cudaDeviceProp::maxTexture2DLayered[3]

Maximum 2D layered texture dimensions.

◆ maxTexture2DLinear

int cudaDeviceProp::maxTexture2DLinear[3]

Maximum dimensions (width, height, pitch) for 2D textures bound to pitched memory.

◆ maxTexture2DMipmap

int cudaDeviceProp::maxTexture2DMipmap[2]

Maximum 2D mipmapped texture dimensions.

◆ maxTexture3D

int cudaDeviceProp::maxTexture3D[3]

Maximum 3D texture dimensions.

◆ maxTexture3DAlt

int cudaDeviceProp::maxTexture3DAlt[3]

Maximum alternate 3D texture dimensions.

◆ maxTextureCubemap

int cudaDeviceProp::maxTextureCubemap

Maximum Cubemap texture dimensions.

◆ maxTextureCubemapLayered

int cudaDeviceProp::maxTextureCubemapLayered[2]

Maximum Cubemap layered texture dimensions.

◆ maxThreadsDim

int cudaDeviceProp::maxThreadsDim[3]

Maximum size of each dimension of a block.

◆ maxThreadsPerBlock

int cudaDeviceProp::maxThreadsPerBlock

Maximum number of threads per block.

◆ maxThreadsPerMultiProcessor

int cudaDeviceProp::maxThreadsPerMultiProcessor

Maximum resident threads per multiprocessor.

◆ memoryBusWidth

int cudaDeviceProp::memoryBusWidth

Global memory bus width in bits.

◆ memoryClockRate

int cudaDeviceProp::memoryClockRate

Peak memory clock frequency in kilohertz.

◆ memPitch

size_t cudaDeviceProp::memPitch

Maximum pitch in bytes allowed by memory copies.

◆ minor

int cudaDeviceProp::minor

Minor compute capability.

◆ multiGpuBoardGroupID

int cudaDeviceProp::multiGpuBoardGroupID

Unique identifier for a group of devices on the same multi-GPU board.

◆ multiProcessorCount

int cudaDeviceProp::multiProcessorCount

Number of multiprocessors on device.

◆ name

char cudaDeviceProp::name[256]

ASCII string identifying device.

◆ pciBusID

int cudaDeviceProp::pciBusID

PCI bus ID of the device.

◆ pciDeviceID

int cudaDeviceProp::pciDeviceID

PCI device ID of the device.

◆ pciDomainID

int cudaDeviceProp::pciDomainID

PCI domain ID of the device.

◆ regsPerBlock

int cudaDeviceProp::regsPerBlock

32-bit registers available per block

◆ regsPerMultiprocessor

int cudaDeviceProp::regsPerMultiprocessor

32-bit registers available per multiprocessor

◆ sharedMemPerBlock

size_t cudaDeviceProp::sharedMemPerBlock

Shared memory available per block in bytes.

◆ sharedMemPerMultiprocessor

size_t cudaDeviceProp::sharedMemPerMultiprocessor

Shared memory available per multiprocessor in bytes.

◆ streamPrioritiesSupported

int cudaDeviceProp::streamPrioritiesSupported

Device supports stream priorities.

◆ surfaceAlignment

size_t cudaDeviceProp::surfaceAlignment

Alignment requirements for surfaces.

◆ tccDriver

int cudaDeviceProp::tccDriver

1 if device is a Tesla device using TCC driver, 0 otherwise

◆ textureAlignment

size_t cudaDeviceProp::textureAlignment

Alignment requirement for textures.

◆ texturePitchAlignment

size_t cudaDeviceProp::texturePitchAlignment

Pitch alignment requirement for texture references bound to pitched memory.

◆ totalConstMem

size_t cudaDeviceProp::totalConstMem

Constant memory available on device in bytes.

◆ totalGlobalMem

size_t cudaDeviceProp::totalGlobalMem

Global memory available on device in bytes.

◆ unifiedAddressing

int cudaDeviceProp::unifiedAddressing

Device shares a unified address space with the host.

◆ warpSize

int cudaDeviceProp::warpSize

Warp size in threads.


The documentation for this struct was generated from the following file: