How to get high precision timer in python?

[甜瓜]

Howdy,

I use python2.5 in WindowsXP. If using time.time() as timer, it seems
the maximum precision is about 10-12ms. Maybe this is caused by
the time slice defined in process scheduler. However, in my project,
I have to get timer percision up to 1ms. What should I do?  Do I have
to call Win32 API? Or simply promote python thread priority?

Regards,

ShenLei