Exactly.  As I said the original coarse mutex was simply stop-gap that would need to be fixed.  OTOH, we most likely *would not want concurrent iterators running over the disk*.  This is something I would prefer to see semaphore-bound so that we could actually trial this behavior a bit more than the microbenchmarking we did a while back, which both of us suspect to having a few anomalies.