#define __THREADS_MODEL_H__
#include <stdint.h>
-
#include "mymemory.h"
#include "threads.h"
#include "modeltypes.h"
#include "stl-model.h"
#include "context.h"
#include "classlist.h"
+#include "pthread.h"
struct thread_params {
thrd_start_t func;
* @see Thread::pending */
void set_pending(ModelAction *act) { pending = act; }
+ bool just_woken_up() { return wakeup_state; }
+ void set_wakeup_state(bool state) { wakeup_state = state; }
+
Thread * waiting_on() const;
bool is_waiting_on(const Thread *t) const;
bool is_model_thread() const { return model_thread; }
+ void * get_stack_addr() { return stack; }
+ ClockVector * get_acq_fence_cv() { return acq_fence_cv; }
+
friend void thread_startup();
+#ifdef TLS
+ friend void setup_context();
+ friend void * helper_thread(void *);
+ friend void finalize_helper_thread();
+#endif
/**
* Intentionally NOT allocated with MODELALLOC or SNAPSHOTALLOC.
/** @brief The parent Thread which created this Thread */
Thread * const parent;
+ /** @brief Acquire fence cv */
+ ClockVector *acq_fence_cv;
+
/** @brief The THREAD_CREATE ModelAction which created this Thread */
ModelAction *creation;
*/
ModelAction *pending;
+ /** @brief True if this thread was just woken up */
+ bool wakeup_state;
+
void (*start_routine)(void *);
void *(*pstart_routine)(void *);
void *arg;
ucontext_t context;
void *stack;
+ uint32_t stack_size;
#ifdef TLS
+ void * helper_stack;
+public:
char *tls;
+ ucontext_t helpercontext;
+ pthread_mutex_t mutex;
+ pthread_mutex_t mutex2;
+ pthread_t thread;
+private:
#endif
thrd_t *user_thread;
thread_id_t id;
#ifdef TLS
uintptr_t get_tls_addr();
+void tlsdestructor(void *v);
#endif
Thread * thread_current();
void thread_startup();
+void initMainThread();
static inline thread_id_t thrd_to_id(thrd_t t)
{
return id;
}
+int real_pthread_mutex_init(pthread_mutex_t *__mutex, const pthread_mutexattr_t *__mutexattr);
+int real_pthread_mutex_lock (pthread_mutex_t *__mutex);
+int real_pthread_mutex_unlock (pthread_mutex_t *__mutex);
+int real_pthread_create (pthread_t *__restrict __newthread, const pthread_attr_t *__restrict __attr, void *(*__start_routine)(void *), void *__restrict __arg);
+int real_pthread_join (pthread_t __th, void ** __thread_return);
+void real_pthread_exit (void * value_ptr) __attribute__((noreturn));
+void real_init_all();
+
#endif /* __THREADS_MODEL_H__ */