-xbt_thread_t xbt_thread_create(pvoid_f_pvoid_t start_routine,
- void* param) {
- return (xbt_thread_t)xbt_os_thread_create(start_routine,param);
+ xbt_thread_t res = xbt_new0(s_xbt_thread_t,1);
+ res->userparam = param;
+ res->code = code;
+ DEBUG1("Create thread %p",res);
+ res->os_thread = xbt_os_thread_create(name,xbt_thread_create_wrapper,res);
+ return res;
+}
+
+const char* xbt_thread_name(xbt_thread_t t) {
+ return xbt_os_thread_name(t->os_thread);
+}
+
+const char* xbt_thread_self_name(void) {
+ return xbt_os_thread_self_name();