你可能知道事务的四大特性，但是你不一定知道事务的实现原理