|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#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>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 struct threadsList threadsList_t |
| void cudaInsertThread | ( | pthread_t | threadAux | ) |
| pthread_cond_t cond |
| int count = 0 |
| threadsList_t* cudaThreadList = NULL |