static void * stack_allocate(size_t size)
{
- return malloc(size);
+ return userMalloc(size);
}
static void stack_free(void *stack)
{
- free(stack);
+ userFree(stack);
}
Thread * thread_current(void)
}
}
+void * Thread::operator new(size_t size) {
+ return userMalloc(size);
+}
+
+void Thread::operator delete(void *ptr) {
+ userFree(ptr);
+}
+
Thread::Thread(thrd_t *t, void (*func)(), void *a) {
int ret;
/* Wait for all threads to complete */
thread_wait_finish();
-
- model->print_trace();
} while (model->next_execution());
delete th;