Refactor task-manager tid counter to generic lockfree algorithm.

2 files changed, 26 insertions, 3 deletions

diff --git a/src/include/kernel/taskmgr.H b/src/include/kernel/taskmgr.H
index 2bdb39c16..3cf036f37 100644
--- a/src/include/kernel/taskmgr.H
+++ b/src/include/kernel/taskmgr.H
@@ -2,6 +2,7 @@
 #define __KENREL_TASKMGR_H
 
 #include <kernel/types.h>
+#include <util/lockfree/counter.H>
 
 class TaskManager
 {
@@ -20,9 +21,8 @@ class TaskManager
 	static task_t* createIdleTask();
 
     private:
-	tid_t getNextTid();
-
-	tid_t iv_nextTid;
+	tid_t getNextTid() { return iv_nextTid.next(); };
+	Util::Lockfree::Counter<tid_t> iv_nextTid;
 
 	static void idleTaskLoop(void*);
 	task_t* _createIdleTask();
diff --git a/src/include/util/lockfree/counter.H b/src/include/util/lockfree/counter.H
new file mode 100644
index 000000000..1ff61fc77
--- /dev/null
+++ b/src/include/util/lockfree/counter.H
@@ -0,0 +1,23 @@
+#ifndef __UTIL_LOCKFREE_COUNTER_H
+#define __UTIL_LOCKFREE_COUNTER_H
+
+namespace Util
+{
+    namespace Lockfree
+    {
+	template <typename _T>
+	class Counter
+	{
+	    public:
+		Counter() : value(_T()) {};
+
+		_T next() { return __sync_fetch_and_add(&value, 1); };
+
+	    private:
+		_T value;
+	};
+    };
+};
+
+
+#endif