Summary: Take lock conditionally (in asynchronous mode only) when updating the dead-object map.
Reviewed-by: jmasa

Summary: In verification take into account partial coverage of a region by a card and expansion of the card table.
Reviewed-by: ysr, apetrusenko