ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cuda.h File Reference
#include "cuda_error.h"
#include "sm_atomic_functions.h"
#include "curand_kernel.h"
#include "curand.h"
#include "call_kernel.h"
#include "vector_types.h"
#include "device_launch_parameters.h"
#include <stddef.h>
#include <cstdlib>
#include <string.h>
#include <pthread.h>
#include <assert.h>
#include <new>
Include dependency graph for cuda.h:

Go to the source code of this file.

Classes

struct  threadsList

Typedefs

typedef struct threadsList threadsList_t

Functions

void cudaInsertThread (pthread_t threadAux)

Variables

threadsList_t * cudaThreadList = NULL
pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER
pthread_cond_t cond
int count = 0

Typedef Documentation

◆ threadsList_t

typedef struct threadsList threadsList_t

Function Documentation

◆ cudaInsertThread()

void cudaInsertThread ( pthread_t threadAux)

Variable Documentation

◆ cond

◆ count

int count = 0

◆ cudaThreadList

threadsList_t* cudaThreadList = NULL

◆ mutex