Add a threadID function

Core/src/Thread.h

@@ -118,6 +118,7 @@ class TCThread : public TCThreadBase {
   TCThread(TCCallable &);
   
   static void Yield();
+  static uint64 ThreadID();
   void Join();
 };
 

Core/src/ThreadBoost.cpp

@@ -103,6 +103,15 @@ void TCThread::Yield() {
   boost::thread::yield();
 }
 
+uint64 TCThread::ThreadID() {
+  boost::thread::id thisID = boost::this_thread::get_id();
+  std::stringstream ss;
+  ss << thisID;
+  uint64 retID;
+  ss >> retID;
+  return retID;
+}
+
 ////////////////////////////////////////////////////////////////////////////////
 //
 // Mutex Implementation

Core/src/ThreadPThread.cpp

@@ -134,6 +134,10 @@ void TCThread::Yield() {
   }
 }
 
+uint64 TCThread::ThreadID() {
+  return static_cast<uint64>(pthread_self());
+}
+
 ////////////////////////////////////////////////////////////////////////////////
 //
 // Mutex Implementation