高可靠性账本采用乐观并发控制（OCC）配合不可变追加约束，或在账户指针记录上使用悲观行级锁定（SELECT ... FOR UPDATE）。