1 /* Copyright (c) 2002-2023. The SimGrid Team. All rights reserved. */
3 /* This program is free software; you can redistribute it and/or modify it
4 * under the terms of the license (GNU LGPL) which comes with this package. */
6 /* SimGrid's pthread interposer. Intercepts most of the pthread and semaphore calls to model-check them.
8 * Intercepting on pthread is somewhat complicated by the fact that pthread is used everywhere in the system headers.
9 * To reduce definition conflicts, our redefinitions of the pthread symbols (in sthread.c) load as little headers as
10 * possible. Thus, the actual implementations are separated in another file (sthread_impl.cpp) and are used as black
11 * boxes by our redefinitions.
13 * The sthread_* symbols are those actual implementations, used in the pthread_* redefinitions. */
15 #ifndef SIMGRID_STHREAD_H
16 #define SIMGRID_STHREAD_H
21 #if defined(__cplusplus)
25 // Launch the simulation. The old main function (passed as a parameter) is launched as an actor
26 int sthread_main(int argc, char** argv, char** envp, int (*raw_main)(int, char**, char**));
27 XBT_PUBLIC void sthread_enable(void); // Start intercepting all pthread calls
28 XBT_PUBLIC void sthread_disable(void); // Stop intercepting all pthread calls
30 typedef unsigned long int sthread_t;
31 int sthread_create(sthread_t* thread, const /*pthread_attr_t*/ void* attr, void* (*start_routine)(void*), void* arg);
32 int sthread_join(sthread_t thread, void** retval);
37 int sthread_mutex_init(sthread_mutex_t* mutex, const /*pthread_mutexattr_t*/ void* attr);
38 int sthread_mutex_lock(sthread_mutex_t* mutex);
39 int sthread_mutex_trylock(sthread_mutex_t* mutex);
40 int sthread_mutex_unlock(sthread_mutex_t* mutex);
41 int sthread_mutex_destroy(sthread_mutex_t* mutex);
46 int sthread_sem_init(sthread_sem_t* sem, int pshared, unsigned int value);
47 int sthread_sem_destroy(sthread_sem_t* sem);
48 int sthread_sem_post(sthread_sem_t* sem);
49 int sthread_sem_wait(sthread_sem_t* sem);
50 int sthread_sem_trywait(sthread_sem_t* sem);
51 int sthread_sem_timedwait(sthread_sem_t* sem, const struct timespec* abs_timeout);
53 int sthread_gettimeofday(struct timeval* tv);
54 void sthread_sleep(double seconds);
56 #if defined(__cplusplus)