1 /* SimGrid's pthread interposer. Actual implementation of the symbols (see the comment in sthread.h) */
4 #include <simgrid/actor.h>
5 #include <simgrid/s4u/Actor.hpp>
6 #include <simgrid/s4u/Engine.hpp>
7 #include <simgrid/s4u/Mutex.hpp>
8 #include <simgrid/s4u/NetZone.hpp>
10 #include <xbt/sysdep.h>
12 #include "src/internal_config.h"
13 #include "src/sthread/sthread.h"
17 #include <semaphore.h>
23 XBT_LOG_NEW_DEFAULT_CATEGORY(sthread, "pthread intercepter");
24 namespace sg4 = simgrid::s4u;
26 static sg4::Host* lilibeth = nullptr;
28 int sthread_main(int argc, char** argv, char** envp, int (*raw_main)(int, char**, char**))
30 std::ostringstream id;
31 id << std::this_thread::get_id();
33 XBT_DEBUG("sthread main() is starting in thread %s", id.str().c_str());
35 sg4::Engine e(&argc, argv);
36 auto* zone = sg4::create_full_zone("world");
37 lilibeth = zone->create_host("Lilibeth", 1e15);
40 /* Launch the user's main() on an actor */
42 sg4::ActorPtr main_actor = sg4::Actor::create("tid 0", lilibeth, raw_main, argc, argv, envp);
44 XBT_INFO("Starting the simulation.");
45 sg4::Engine::get_instance()->run();
46 XBT_INFO("All threads exited. Terminating the simulation.");
51 struct sthread_mutex {
55 static void thread_create_wrapper(void* (*user_function)(void*), void* param)
66 int sthread_create(unsigned long int* thread, const void* /*pthread_attr_t* attr*/, void* (*start_routine)(void*),
71 XBT_VERB("Create thread %d", TID);
75 MPI_Comm_rank(MPI_COMM_WORLD, &rank);
77 std::string name = simgrid::xbt::string_printf("%d:%d", rank, TID);
78 sg4::ActorPtr actor = sg4::Actor::init(name.c_str(), lilibeth);
79 actor->start(thread_create_wrapper, start_routine, arg);
81 intrusive_ptr_add_ref(actor.get());
82 *thread = reinterpret_cast<unsigned long>(actor.get());
85 int sthread_join(sthread_t thread, void** /*retval*/)
87 sg4::ActorPtr actor(reinterpret_cast<sg4::Actor*>(thread));
89 intrusive_ptr_release(actor.get());
94 int sthread_mutex_init(sthread_mutex_t* mutex, const void* /*pthread_mutexattr_t* attr*/)
96 auto m = sg4::Mutex::create();
97 intrusive_ptr_add_ref(m.get());
99 mutex->mutex = m.get();
103 int sthread_mutex_lock(sthread_mutex_t* mutex)
105 static_cast<sg4::Mutex*>(mutex->mutex)->lock();
109 int sthread_mutex_trylock(sthread_mutex_t* mutex)
111 return static_cast<sg4::Mutex*>(mutex->mutex)->try_lock();
114 int sthread_mutex_unlock(sthread_mutex_t* mutex)
116 static_cast<sg4::Mutex*>(mutex->mutex)->unlock();
119 int sthread_mutex_destroy(sthread_mutex_t* mutex)
121 intrusive_ptr_release(static_cast<sg4::Mutex*>(mutex->mutex));
126 int sem_init(sem_t *sem, int pshared, unsigned int value) {
129 res=raw_sem_init(sem,pshared,value);
133 int sem_wait(sem_t *sem) {
136 res = raw_sem_wait(sem);
140 int sem_post(sem_t *sem) {
141 return raw_sem_post(sem);
144 int pthread_join(pthread_t thread, void **retval) {
145 sg_actor_join(thread, -1);
149 int pthread_cond_init(pthread_cond_t *cond, pthread_condattr_t *cond_attr) {
150 *cond = sg_cond_init();
154 int pthread_cond_signal(pthread_cond_t *cond) {
155 sg_cond_notify_one(*cond);
159 int pthread_cond_broadcast(pthread_cond_t *cond) {
160 sg_cond_notify_all(*cond);
164 int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex) {
165 sg_cond_wait(*cond, *mutex);
169 int pthread_cond_destroy(pthread_cond_t *cond) {
170 sg_cond_destroy(*cond);