projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d1ea44c
)
nodestack: move has_priority() out of header
author
Brian Norris
<banorris@uci.edu>
Wed, 3 Oct 2012 20:50:51 +0000
(13:50 -0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 3 Oct 2012 20:53:02 +0000
(13:53 -0700)
nodestack.cc
patch
|
blob
|
history
nodestack.h
patch
|
blob
|
history
diff --git
a/nodestack.cc
b/nodestack.cc
index d5425e335dad86614b4e09db71717e0b00dfe2d2..c6ca076d734aa2460ed9efa1aa25cbe1aca04afa 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-273,6
+273,11
@@
bool Node::is_enabled(thread_id_t tid)
return thread_id < num_threads && enabled_array[thread_id];
}
return thread_id < num_threads && enabled_array[thread_id];
}
+bool Node::has_priority(thread_id_t tid)
+{
+ return fairness[id_to_int(tid)].priority;
+}
+
/**
* Add an action to the may_read_from set.
* @param act is the action to add
/**
* Add an action to the may_read_from set.
* @param act is the action to add
diff --git
a/nodestack.h
b/nodestack.h
index 8df67838c87c362518bdd3100bddcd4663254475..421890f4f998c57d3ce4364263c0adaa631ad36c 100644
(file)
--- a/
nodestack.h
+++ b/
nodestack.h
@@
-64,7
+64,7
@@
public:
bool is_enabled(Thread *t);
bool is_enabled(thread_id_t tid);
ModelAction * get_action() { return action; }
bool is_enabled(Thread *t);
bool is_enabled(thread_id_t tid);
ModelAction * get_action() { return action; }
- bool has_priority(thread_id_t tid)
{return fairness[id_to_int(tid)].priority;}
+ bool has_priority(thread_id_t tid)
;
int get_num_threads() {return num_threads;}
/** @return the parent Node to this Node; that is, the action that
* occurred previously in the stack. */
int get_num_threads() {return num_threads;}
/** @return the parent Node to this Node; that is, the action that
* occurred previously in the stack. */