inline bool operator >(const ModelAction& act) const {
return get_seq_number() > act.get_seq_number();
}
- MEMALLOC
+
+ MEMALLOC
private:
action_type type;
memory_order order;
int switch_to_master(ModelAction *act);
bool next_execution();
- MEMALLOC
+
+ MEMALLOC
private:
int next_thread_id;
int used_sequence_numbers;
Thread * next_thread(void);
Thread * get_current_thread(void);
void print();
- MEMALLOC
+
+ MEMALLOC
private:
std::list<Thread *, MyAlloc< Thread * > > readyList;
Thread *current;
/* This method just gets around makecontext not being 64-bit clean */
void thread_startup() {
- Thread * curr_thread=thread_current();
+ Thread * curr_thread = thread_current();
curr_thread->start_routine(curr_thread->arg);
}
thread_id_t get_id();
thrd_t get_thrd_t() { return *user_thread; }
Thread * get_parent() { return parent; }
- friend void thread_startup();
- MEMALLOC
+
+ friend void thread_startup();
+
+ MEMALLOC
private:
int create_context();
Thread *parent;