/* Main functions */
-xbt_os_thread_t xbt_os_thread_create(pvoid_f_pvoid_t start_routine,void* param) {
+xbt_os_thread_t xbt_os_thread_create(const char*name,pvoid_f_pvoid_t start_routine,void* param) {
xbt_backtrace_display_current();
xbt_die("No pthread in SG when compiled against the ucontext (xbt_os_thread_create)");
}
xbt_die("No pthread in SG when compiled against the ucontext (xbt_os_mutex_init)");
}
-void xbt_os_mutex_lock(xbt_os_mutex_t mutex){
+void xbt_os_mutex_acquire(xbt_os_mutex_t mutex){
xbt_backtrace_display_current();
- xbt_die("No pthread in SG when compiled against the ucontext (xbt_os_mutex_lock)");
+ xbt_die("No pthread in SG when compiled against the ucontext (xbt_os_mutex_acquire)");
}
-void xbt_os_mutex_unlock(xbt_os_mutex_t mutex){
+void xbt_os_mutex_release(xbt_os_mutex_t mutex){
xbt_backtrace_display_current();
- xbt_die("No pthread in SG when compiled against the ucontext (xbt_os_mutex_unlock)");
+ xbt_die("No pthread in SG when compiled against the ucontext (xbt_os_mutex_release)");
}
void xbt_os_mutex_destroy(xbt_os_mutex_t mutex){