more robust transaction_lock: avoid overlapping data spaces;
clarified modules;