80e4dbdce7
This serialize to the driver thread and so it may block for a while. So if it is in the benchmark, we get noticed if it happens too often.