finer grained synchronization in TraceLog. Profiling indicates that this speeds up adding log entries quite considerably.