projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5ead912
)
fixup more id vs. thread_id_t
author
Brian Norris
<banorris@uci.edu>
Thu, 4 Oct 2012 00:12:59 +0000
(17:12 -0700)
committer
Brian Norris
<banorris@uci.edu>
Thu, 4 Oct 2012 00:14:00 +0000
(17:14 -0700)
schedule.cc
patch
|
blob
|
history
threads.cc
patch
|
blob
|
history
diff --git
a/schedule.cc
b/schedule.cc
index b1b41c3d88d579a766d5cd45ccf26815bc551a1e..88200a81cc650617044b4b0449477fbed1afb4e9 100644
(file)
--- a/
schedule.cc
+++ b/
schedule.cc
@@
-36,7
+36,7
@@
void Scheduler::set_enabled(Thread *t, bool enabled_status) {
*/
void Scheduler::add_thread(Thread *t)
{
*/
void Scheduler::add_thread(Thread *t)
{
- DEBUG("thread %d\n",
t->get_id(
));
+ DEBUG("thread %d\n",
id_to_int(t->get_id()
));
set_enabled(t, true);
}
set_enabled(t, true);
}
@@
-119,7
+119,7
@@
Thread * Scheduler::get_current_thread() const
void Scheduler::print() const
{
if (current)
void Scheduler::print() const
{
if (current)
- DEBUG("Current thread: %d\n",
current->get_id(
));
+ DEBUG("Current thread: %d\n",
id_to_int(current->get_id()
));
else
DEBUG("No current thread\n");
}
else
DEBUG("No current thread\n");
}
diff --git
a/threads.cc
b/threads.cc
index 09efcae619c06b78ed5c2668473c2b8143b9ea71..ca4b28b1bc850c9ea5bcab709e2d27a9e74e2581 100644
(file)
--- a/
threads.cc
+++ b/
threads.cc
@@
-105,7
+105,7
@@
int Thread::swap(ucontext_t *ctxt, Thread *t)
void Thread::complete()
{
if (!is_complete()) {
void Thread::complete()
{
if (!is_complete()) {
- DEBUG("completed thread %d\n",
get_id(
));
+ DEBUG("completed thread %d\n",
id_to_int(get_id()
));
state = THREAD_COMPLETED;
if (stack)
stack_free(stack);
state = THREAD_COMPLETED;
if (stack)
stack_free(stack);