I\'ve got a fairly large linux x64 system with lots of threads and heavy resource usage. We recently discovered that, occasionally, notify_all() was taking upward of 2ms, an