Interactions comment
Comment tweaks
advance the idea of no overhead on regular insertions
Fairness comments
Penalty comments
Huge refactoring.  Always heavyweight lock first.

It seems preferable to have a good protocol for doing locking/unlocking of
values.  HW lock first, then buffer lock seems like a good one.