projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Adding STL stuff and operator news of snapshot to model-checker. Need to actuallly...
[model-checker.git]
/
threads.h
diff --git
a/threads.h
b/threads.h
index 345f42077a2372510d5922cd31d26420ed274cd7..b592804db95959445d5c4f967f449121e2d59bad 100644
(file)
--- a/
threads.h
+++ b/
threads.h
@@
-2,7
+2,7
@@
#define __THREADS_H__
#include <ucontext.h>
#define __THREADS_H__
#include <ucontext.h>
-
+#include "mymemory.h"
#include "libthreads.h"
typedef int thread_id_t;
#include "libthreads.h"
typedef int thread_id_t;
@@
-18,8
+18,6
@@
typedef enum thread_state {
class Thread {
public:
class Thread {
public:
- void * operator new(size_t size);
- void operator delete(void *ptr);
Thread(thrd_t *t, void (*func)(), void *a);
~Thread();
void complete();
Thread(thrd_t *t, void (*func)(), void *a);
~Thread();
void complete();
@@
-32,6
+30,7
@@
public:
thread_id_t get_id();
thrd_t get_thrd_t() { return *user_thread; }
Thread * get_parent() { return parent; }
thread_id_t get_id();
thrd_t get_thrd_t() { return *user_thread; }
Thread * get_parent() { return parent; }
+ MEMALLOC
private:
int create_context();
Thread *parent;
private:
int create_context();
Thread *parent;