From: Brian Norris <banorris@uci.edu>
Date: Thu, 15 Mar 2012 18:12:44 +0000 (-0700)
Subject: schedule: use STL 'queue' instead of 'list'
X-Git-Tag: pldi2013~571
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3ad29c55c8a1647b1f6d753d08d8838e8a636e1f;p=model-checker.git

schedule: use STL 'queue' instead of 'list'
---

diff --git a/schedule.cc b/schedule.cc
index b938828..0dae851 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -6,7 +6,7 @@
 void DefaultScheduler::add_thread(struct thread *t)
 {
 	DEBUG("thread %d\n", t->id);
-	queue.push_back(t);
+	queue.push(t);
 }
 
 struct thread *DefaultScheduler::next_thread(void)
@@ -15,7 +15,7 @@ struct thread *DefaultScheduler::next_thread(void)
 		return NULL;
 
 	current = queue.front();
-	queue.pop_front();
+	queue.pop();
 
 	return current;
 }
diff --git a/schedule.h b/schedule.h
index aa291ef..8e30675 100644
--- a/schedule.h
+++ b/schedule.h
@@ -1,7 +1,7 @@
 #ifndef __SCHEDULE_H__
 #define __SCHEDULE_H__
 
-#include <list>
+#include <queue>
 
 #include "libthreads.h"
 #include "model.h"
@@ -19,7 +19,7 @@ public:
 	struct thread * next_thread(void);
 	struct thread * get_current_thread(void);
 private:
-	std::list<struct thread *> queue;
+	std::queue<struct thread *> queue;
 	struct thread *current;
 };