Add some more debugging info to threads.
Declare registry_perf value as volatile.
Remove useless __sync_synchronize().
Reset as well timeticks perf in registry_perf_reset().