Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make sthread_inside_simgrid static into libsthread in the (vain) hope that it'll...
[simgrid.git] / src / sthread / sthread.h
1 /* SimGrid's pthread interposer. Intercepts most of the pthread and semaphore calls to model-check them.
2  *
3  * Intercepting on pthread is somewhat complicated by the fact that pthread is used everywhere in the system headers.
4  * To reduce definition conflicts, our redefinitions of the pthread symbols (in sthread.c) load as little headers as
5  * possible. Thus, the actual implementations are separated in another file (sthread_impl.cpp) and are used as black
6  * boxes by our redefinitions.
7  *
8  * The sthread_* symbols are those actual implementations, used in the pthread_* redefinitions. */
9
10 #ifndef SIMGRID_STHREAD_H
11 #define SIMGRID_STHREAD_H
12
13 #if defined(__ELF__)
14 #define XBT_PUBLIC __attribute__((visibility("default")))
15 #else
16 #define XBT_PUBLIC
17 #endif
18
19 #if defined(__cplusplus)
20 extern "C" {
21 #endif
22
23 // Launch the simulation. The old main function (passed as a parameter) is launched as an actor
24 int sthread_main(int argc, char** argv, char** envp, int (*raw_main)(int, char**, char**));
25 XBT_PUBLIC void sthread_enable(void);  // Start intercepting all pthread calls
26 XBT_PUBLIC void sthread_disable(void); // Stop intercepting all pthread calls
27
28 typedef unsigned long int sthread_t;
29 int sthread_create(sthread_t* thread, const /*pthread_attr_t*/ void* attr, void* (*start_routine)(void*), void* arg);
30 int sthread_join(sthread_t thread, void** retval);
31
32 typedef struct {
33   void* mutex;
34 } sthread_mutex_t;
35 int sthread_mutex_init(sthread_mutex_t* mutex, const /*pthread_mutexattr_t*/ void* attr);
36 int sthread_mutex_lock(sthread_mutex_t* mutex);
37 int sthread_mutex_trylock(sthread_mutex_t* mutex);
38 int sthread_mutex_unlock(sthread_mutex_t* mutex);
39 int sthread_mutex_destroy(sthread_mutex_t* mutex);
40
41 #if defined(__cplusplus)
42 }
43 #endif
44
45 #endif