Let's make TabooManager thread-safe.