1.1 --- a/src/os/windows/vm/osThread_windows.hpp Fri May 18 09:15:15 2012 -0700
1.2 +++ b/src/os/windows/vm/osThread_windows.hpp Tue May 22 10:11:53 2012 +0200
1.3 @@ -25,12 +25,13 @@
1.4 #ifndef OS_WINDOWS_VM_OSTHREAD_WINDOWS_HPP
1.5 #define OS_WINDOWS_VM_OSTHREAD_WINDOWS_HPP
1.6
1.7 -typedef void* HANDLE;
1.8 + typedef void* HANDLE;
1.9 + public:
1.10 + typedef unsigned long thread_id_t;
1.11
1.12 private:
1.13 // Win32-specific thread information
1.14 HANDLE _thread_handle; // Win32 thread handle
1.15 - unsigned long _thread_id; // Win32 thread id
1.16 HANDLE _interrupt_event; // Event signalled on thread interrupt
1.17 ThreadState _last_state;
1.18
1.19 @@ -42,9 +43,6 @@
1.20 HANDLE interrupt_event() const { return _interrupt_event; }
1.21 void set_interrupt_event(HANDLE interrupt_event) { _interrupt_event = interrupt_event; }
1.22
1.23 -
1.24 - static size_t thread_id_size() { return sizeof(unsigned long); }
1.25 - unsigned long thread_id() const { return _thread_id; }
1.26 #ifndef PRODUCT
1.27 // Used for debugging, return a unique integer for each thread.
1.28 int thread_identifier() const { return _thread_id; }
1.29 @@ -56,8 +54,6 @@
1.30 return false;
1.31 }
1.32 #endif // ASSERT
1.33 - void set_thread_id(unsigned long thread_id) { _thread_id = thread_id; }
1.34 -
1.35 bool is_try_mutex_enter() { return false; }
1.36
1.37 // This is a temporary fix for the thread states during
